Линейность математического ожидания — различия между версиями

Материал из Викиконспекты
Перейти к: навигация, поиск
Строка 2: Строка 2:
 
{{Утверждение
 
{{Утверждение
 
|statement=
 
|statement=
Математическое ожыдание <tex>E(\xi+\eta)</tex> линейно
+
Математическое ожыдание <tex>E(\xi)</tex> линейно, где <tex>\xi</tex> - случайная величина
 
+
|proof=
<tex>\frac12qf(x) \leq g(x) \leq \frac32qf(x)</tex>.
+
1. <tex>E(\xi+\eta)={\sum \atop w}(\xi(w)+\eta(w))p(w)={\sum \atop w}\xi(w)p(w)+{\sum \atop w}\eta(w)p(w)=E(\xi)+E(\eta) </tex>
 +
2. <tex>E(\alpha\xi)</tex>.
  
 
Тогда, по первому пункту этого утверждения, так как неравенство двойное, требуемое доказано.
 
Тогда, по первому пункту этого утверждения, так как неравенство двойное, требуемое доказано.
 
}}
 
}}
 
 
1.<tex>f(x+y)=f(x)+f(y)</tex>
 
 
{
 
|proof=
 
}
 
 
2.<tex>f(\alpha x)=\alpha f(x)</tex>
 
Рассмотрим множество <tex>K = \{f_g : g \in G\}</tex>. По доказанному выше, оно является подгруппой симметрической группы. Осталось доказать, что <tex>G</tex> и <tex>K</tex>  изоморфны. Для этого рассмотрим функцию <tex>T : G \rightarrow K,\, T(x) = f_x</tex>. Заметим, что
 
 
*<tex>T(g)\circ T(h) = T(g*h)</tex>.
 
 
Действительно, для всех <tex>x \in G \quad(f_g \circ f_h)(x) = f_g(f_h(x)) = f_g(h * x) = g*(h*x) = (g*h)*x = f_{(g*h)}(x)</tex>, а тогда <tex>T(g)\circ T(h) = f_g \circ f_h = f_{(g*h)} = T(g*h)</tex>.
 
 
*<tex>T</tex> - инъекция, потому что <tex>f_g(x) = f_{g'}(x) \Rightarrow g = f_g(x)*x^{-1} = f_{g'}(x)*x^{-1} = g'</tex>.
 
*Сюрьективность <tex>T</tex> очевидна из определения <tex>K</tex>.
 
 
То есть <tex>T</tex> - гомоморфизм, а значит изоморфизм <tex>G</tex> и <tex>K</tex> установлен.
 
 
}}
 
 
==Источники==
 
* [http://en.wikipedia.org/wiki/Cayley's_theorem Cayley's theorem - Wikipedia, the free encyclopedia]
 
'''Полужирное начертание'''
 

Версия 03:51, 17 декабря 2010

Линейность

Утверждение:
Математическое ожыдание [math]E(\xi)[/math] линейно, где [math]\xi[/math] - случайная величина
[math]\triangleright[/math]

1. [math]E(\xi+\eta)={\sum \atop w}(\xi(w)+\eta(w))p(w)={\sum \atop w}\xi(w)p(w)+{\sum \atop w}\eta(w)p(w)=E(\xi)+E(\eta) [/math] 2. [math]E(\alpha\xi)[/math].

Тогда, по первому пункту этого утверждения, так как неравенство двойное, требуемое доказано.
[math]\triangleleft[/math]