Верно ли утверждение: если две случайные величины X и Y имеют нулевое математическое ожидание и нулевую ковариацию, то X и Y независимы? Приведите примеры и разъясните различие между нулевой ковариацией и независимостью
Краткий ответ: неверно в общем случае. Нулевая ковариация некоррелированностьнекоррелированностьнекоррелированность не равносильна независимости, она лишь означает отсутствие линейной связи между величинами.
Почему независимость => нулевая ковариация:
Если X и Y независимы и оба имеют конечные ожидания, то EXYXYXY = EXXXEYYY, отсюда CovX,YX,YX,Y = EXYXYXY − EXXXEYYY = 0.
Однако обратное неверно — нулевая ковариация не гарантирует независимость. Примеры.
Пример 1 простаядискретнаяпростая дискретнаяпростаядискретная: положим X принимает значения −1, 0, 1 с вероятностями 1/4, 1/2, 1/4 соответственно, и положим Y = X^2. Тогда
EXXX = 0 симметриясимметриясимметрия,EYYY = EX2X^2X2 = 1/2,EXYXYXY = EX3X^3X3 = 0 симметриясимметриясимметрия, значит CovX,YX,YX,Y = 0. Но X и Y зависимы: знание Y говорит о модуле X еслиY=0,тоX=0;еслиY=1,тоX=±1если Y = 0, то X = 0; если Y = 1, то X = ±1еслиY=0,тоX=0;еслиY=1,тоX=±1, т. е. распределение X при условии Y отличается от безусловного.
Пример 2 непрерывный,«геометрический»непрерывный, «геометрический»непрерывный,«геометрический»: возьмём θ равномерно на 0,2π),положимX=cosθ,Y=sinθ.ТогдаE[X0,2π), положим X = cos θ, Y = sin θ. Тогда E[X0,2π),положимX=cosθ,Y=sinθ.ТогдаE[X = EYYY = 0 и EXYXYXY = E(1/2)sin2θ(1/2) sin 2θ(1/2)sin2θ = 0, следовательно CovX,YX,YX,Y = 0. Но X и Y зависимы, поскольку X^2 + Y^2 = 1 — знание X ограничивает возможные значения Y.
Ещё простой пример: возьмите X ~ N0,10,10,1 и Y = X^2. Тогда EXXX = 0, EXYXYXY = EX3X^3X3 = 0, но Y полностью определяется X.
Интуиция и различие:
Ковариация/корреляция фиксирует только линейную связь между X и Y. Если связь нелинейная напримерквадратичнаянапример квадратичнаянапримерквадратичная, ковариация может быть нулевой при сильной зависимости.Независимость означает, что знание одной переменной не меняет распределение другой всемоментыифункциифакторизуютсявсе моменты и функции факторизуютсявсемоментыифункциифакторизуются: p_{X,Y}x,yx,yx,y = p_Xxxxp_Yyyy. Это гораздо более сильное условие.
Когда нулевая ковариация означает независимость:
Если X,YX,YX,Y имеют совместное нормальное гауссовогауссовогауссово распределение, то нулевая ковариация эквивалентна независимости. В общем случае негауссовонегауссовонегауссово это не так.
Вывод: ноль ковариации — это признак отсутствия линейной зависимости, но не гарантия независимости.
Краткий ответ: неверно в общем случае. Нулевая ковариация некоррелированностьнекоррелированностьнекоррелированность не равносильна независимости, она лишь означает отсутствие линейной связи между величинами.
Почему независимость => нулевая ковариация:
Если X и Y независимы и оба имеют конечные ожидания, то EXYXYXY = EXXXEYYY, отсюда CovX,YX,YX,Y = EXYXYXY − EXXXEYYY = 0.Однако обратное неверно — нулевая ковариация не гарантирует независимость. Примеры.
Пример 1 простаядискретнаяпростая дискретнаяпростаядискретная: положим X принимает значения −1, 0, 1 с вероятностями 1/4, 1/2, 1/4 соответственно, и положим Y = X^2. Тогда
EXXX = 0 симметриясимметриясимметрия,EYYY = EX2X^2X2 = 1/2,EXYXYXY = EX3X^3X3 = 0 симметриясимметриясимметрия,значит CovX,YX,YX,Y = 0. Но X и Y зависимы: знание Y говорит о модуле X еслиY=0,тоX=0;еслиY=1,тоX=±1если Y = 0, то X = 0; если Y = 1, то X = ±1еслиY=0,тоX=0;еслиY=1,тоX=±1, т. е. распределение X при условии Y отличается от безусловного.
Пример 2 непрерывный,«геометрический»непрерывный, «геометрический»непрерывный,«геометрический»: возьмём θ равномерно на 0,2π),положимX=cosθ,Y=sinθ.ТогдаE[X0,2π), положим X = cos θ, Y = sin θ. Тогда E[X0,2π),положимX=cosθ,Y=sinθ.ТогдаE[X = EYYY = 0 и
EXYXYXY = E(1/2)sin2θ(1/2) sin 2θ(1/2)sin2θ = 0,
следовательно CovX,YX,YX,Y = 0. Но X и Y зависимы, поскольку X^2 + Y^2 = 1 — знание X ограничивает возможные значения Y.
Ещё простой пример: возьмите X ~ N0,10,10,1 и Y = X^2. Тогда EXXX = 0, EXYXYXY = EX3X^3X3 = 0, но Y полностью определяется X.
Интуиция и различие:
Ковариация/корреляция фиксирует только линейную связь между X и Y. Если связь нелинейная напримерквадратичнаянапример квадратичнаянапримерквадратичная, ковариация может быть нулевой при сильной зависимости.Независимость означает, что знание одной переменной не меняет распределение другой всемоментыифункциифакторизуютсявсе моменты и функции факторизуютсявсемоментыифункциифакторизуются: p_{X,Y}x,yx,yx,y = p_Xxxxp_Yyyy. Это гораздо более сильное условие.Когда нулевая ковариация означает независимость:
Если X,YX,YX,Y имеют совместное нормальное гауссовогауссовогауссово распределение, то нулевая ковариация эквивалентна независимости. В общем случае негауссовонегауссовонегауссово это не так.Вывод: ноль ковариации — это признак отсутствия линейной зависимости, но не гарантия независимости.