59.1. Пусть

- множество элементов

Расстоянием (метрикой) между элементами

множества

называется неотрицательная функция

, удовлетворяющая следующим трем аксиомам:

, причем

.

.

.
Вторая аксиома называется условием симметрии, а третья – неравенством треугольника. Если аксиому 1 ослабить:

, тогда

называется псевдометрикой. Для псевдометрики из условия

не обязательно следует

.
Пусть

- множество случайных величин. Для каждой пары

элементов этого множества можно также ввести расстояние

вида

. (59.1)
Покажем, что функция

является псевдометрикой. Аксиома 1 – очевидна:

, причем из условия

следует

. Аксиома 2 также очевидна. Рассмотрим аксиому 3. Справедливы следующие преобразования:
(59.2)
Пусть

- корреляция двух случайных величин

и

. Известно, что

удовлетворяет неравенству (55.2)

. (59.3)
Подставим (59.3) в (59.2), тогда

, (59.4)
что и доказывает третью аксиому.
59.2. Пусть

,

(59.5)
- нормированные случайные величины. Рассмотрим квадрат расстояния между ними:

, (59.6)
где

- коэффициент корреляции случайных величин

и

. Из (59.6) следует равенство

(59.7)
которое можно рассматривать как закон сохранения: величина

- постоянная для любых случайных величин

и

. Это равенство позволяет дать интерпретацию коэффициента корреляции

как величины, дополняющей расстояние

до единицы.
Во многих приложениях теории вероятностей возникает необходимость рассматривать совокупность

случайных величин

, которая называется многомерной (

- мерной) случайной величиной

или

-мерным случайным вектором

. Полное вероятностное описание

- мерного случайного вектора задается функцией распределения вероятностей

(или плотностью вероятности

, или характеристической функцией

). Функция

аргументов

(60.1)
называется функцией распределения вероятностей случайного вектора

. Здесь случайное событие

(60.2)
- представляет пересечение

событий вида

. В записях вида (60.1) для краткости символ пересечения

принято заменять запятой.
Рассмотрим основные свойства функции распределения вероятностей.
1. Пусть

- независимые случайные величины, тогда события

,

, - независимы и формула (60.1) принимает вид

, (60.3)
где

- функция распределения вероятностей случайной величины

. Таким образом, для независимых случайных величин их совместная функция распределения

представима произведением одномерных функций

.
Для любого

. (60.4)
Доказательство следует из определения (60.1). Событие

является невозможным, поэтому и событие (60.2) - невозможное, его вероятность равна нулю, следовательно выполняется соотношение (60.4).
Для любого

. (60.5)
Это равенство также следует из определения. Событие

- достоверное и в пересечении вида (60.2) это событие можно опустить, после чего из (60.1) следует (60.5).
Если

для всех

, то