Метрическое пространство.

Определение. Метрикой на множестве Е называется функция f(x, y), определенная на декартовом произведении Е´Е, значениями которой являются неотрицательные действительные числа, удовлетворяющая при любых значениях х, у, z из множества Е следующим условиям:

1) f(x, y) = f(y, x)

2) f(x, y) + f(y, x) ? f(x, y)

3) f(x, y) = 0 тогда и только тогда, когда х = у.

Определение. Метрическим пространством называется множество Е с заданной на нем метрикой f.

Определение. Число r(x, y), где х ÎЕ и у Î Е – заданные точки, называется расстоянием между этими точками.

Определение. Пусть r – положительное число. Множество {y: r(x, y) < r} называется открытым шаром радиуса r с центром в точке х; множество {y: r(x, y) £ r} – замкнутым шаром радиуса r с центром в точке х.

Например, для трехмерного евклидова пространства R3 метрика определяется как , где х(х1, х2, x3) Î R3 и y(y1, y2, y3) Î R3.