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

Материал из Викиконспекты
Перейти к: навигация, поиск
Строка 1: Строка 1:
 
1.<tex>f(x+y)=f(x)+f(y)</tex>
 
1.<tex>f(x+y)=f(x)+f(y)</tex>
2.<tex>f(\alpha x)=alphaf(x)</tex> - композиция двух перестановок.
+
 
 +
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>K = \{f_g : g \in G\}</tex>. По доказанному выше, оно является подгруппой симметрической группы. Осталось доказать, что <tex>G</tex> и <tex>K</tex>  изоморфны. Для этого рассмотрим функцию <tex>T : G \rightarrow K,\, T(x) = f_x</tex>. Заметим, что
  

Версия 02:48, 17 декабря 2010

1.[math]f(x+y)=f(x)+f(y)[/math]

2.[math]f(\alpha x)=/alpha f(x)[/math] Рассмотрим множество [math]K = \{f_g : g \in G\}[/math]. По доказанному выше, оно является подгруппой симметрической группы. Осталось доказать, что [math]G[/math] и [math]K[/math] изоморфны. Для этого рассмотрим функцию [math]T : G \rightarrow K,\, T(x) = f_x[/math]. Заметим, что

  • [math]T(g)\circ T(h) = T(g*h)[/math].

Действительно, для всех [math]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)[/math], а тогда [math]T(g)\circ T(h) = f_g \circ f_h = f_{(g*h)} = T(g*h)[/math].

  • [math]T[/math] - инъекция, потому что [math]f_g(x) = f_{g'}(x) \Rightarrow g = f_g(x)*x^{-1} = f_{g'}(x)*x^{-1} = g'[/math].
  • Сюрьективность [math]T[/math] очевидна из определения [math]K[/math].

То есть [math]T[/math] - гомоморфизм, а значит изоморфизм [math]G[/math] и [math]K[/math] установлен.

}}

Источники

Полужирное начертание