|
|
| (One intermediate revision by one other user not shown) |
| Line 1: |
Line 1: |
| In [[measure theory]], the '''factorization lemma''' allows us to express a function ''f'' with another function ''T'' if ''f'' is [[measurable]] with respect to ''T''. An application of this is [[regression analysis]].
| | The name of the writer is Figures. One of the things she enjoys most is to read comics and she'll be beginning some thing else alongside with it. Hiring is his profession. California is our birth location.<br><br>Feel free to surf to my blog post; [http://www.youporntime.com/blog/12800 std testing at home] |
| | |
| ==Theorem==
| |
| Let <math>T:\Omega\rightarrow\Omega'</math> be a function of a set <math>\Omega</math> in a [[measure space]] <math>(\Omega',\mathcal{A}')</math> and let <math>f:\Omega\rightarrow\overline{\mathbb{R}}</math> be a scalar function on <math>\Omega</math>. Then <math>f</math> is measurable with respect to the [[σ-algebra]] <math>\sigma(T)=T^{-1}(\mathcal{A}')</math> generated by <math>T</math> in <math>\Omega</math> if and only if there exists a measurable function <math>g:(\Omega',\mathcal{A}')\rightarrow(\overline{\mathbb{R}},\mathcal{B}(\overline{\mathbb{R}}))</math> such that <math>f=g\circ T</math>, where <math>\mathcal{B}(\overline{\mathbb{R}})</math> denotes the [[Borel set]] of the real numbers. If <math>f</math> only takes finite values, then <math>g</math> also only takes finite values.
| |
| | |
| ==Proof==
| |
| First, if <math>f=g\circ T</math>, then ''f'' is <math>\sigma(T)-\mathcal{B}(\overline{\mathbb{R}})</math> measurable because it is the composition of a <math>\sigma(T)-\mathcal{A}'</math> and of a <math>\mathcal{A}'-\mathcal{B}(\overline{\mathbb{R}})</math> measurable function. The proof of the converse falls into four parts: (1)''f'' is a [[step function]], (2)''f'' is a positive function, (3) ''f'' is any scalar function, (4) ''f'' only takes finite values.
| |
| | |
| ===''f'' is a step function===
| |
| Suppose <math>f=\sum_{i=1}^n\alpha_i 1_{A_i}</math> is a step function, i.e. <math>n\in\mathbb{N}^*, \forall i\in[\![1,n]\!], A_i\in\sigma(T)</math> and <math>\alpha_i\in\mathbb{R}^+</math>. As ''T'' is a measurable function, for all ''i'', there exists <math>A_i'\in\mathcal{A}'</math> such that <math>A_i=T^{-1}(A_i')</math>. <math>g=\sum_{i=1}^n\alpha_i 1_{A_i'}</math> fulfils the requirements.
| |
| | |
| ===''f'' takes only positive values===
| |
| If ''f'' takes only positive values, it is the limit of a sequence <math>(u_n)_{n\in\mathbb{N}}</math> of step functions. For each of these, by (1), there exists <math>g_n</math> such that <math>u_n=g_n\circ T</math>. The function <math>\lim_{n\rightarrow+\infty}g_n</math> fulfils the requirements.
| |
| | |
| ===General case===
| |
| We can decompose ''f'' in a positive part <math>f^+</math> and a negative part <math>f^-</math>. We can then find <math>g_0^+</math> and <math>g_0^-</math> such that <math>f^+=g_0^+\circ T</math> and <math>f^-=g_0^-\circ T</math>. The problem is that the difference <math>g:=g^+-g^-</math> is not defined on the set <math>U=\{x:g_0^+(x)=+\infty\}\cap\{x:g_0^-(x)=+\infty\}</math>. Fortunately, <math>T(\Omega)\cap U=\varnothing</math> because <math>g_0^+(T(\omega))=f^+(\omega)=+\infty</math> always implies <math>g_0^-(T(\omega))=f^-(\omega)=0</math>
| |
| We define <math>g^+=1_{\Omega'\backslash U}g_0^+</math> and <math>g^-=1_{\Omega'\backslash U}g_0^-</math>. <math>g=g^+-g^-</math> fulfils the requirements.
| |
| | |
| ===''f'' takes finite values only===
| |
| If ''f'' takes finite values only, we will show that ''g'' also only takes finite values. Let <math>U'=\{\omega:|g(\omega)|=+\infty\}</math>. Then <math>g_0=1_{\Omega'\backslash U'}g</math> fulfils the requirements because <math>U'\cap T(\Omega)=\varnothing</math>.
| |
| | |
| ===Importance of the measure space===
| |
| If the function <math> f </math> is not scalar, but takes values in a different measurable space, such as <math>\mathbb{R} </math> with its trivial σ-algebra (the empty set, and the whole real line) instead of <math>\mathcal{B}(\mathbb{R}) </math>, then the lemma becomes false (as the restrictions on <math> f </math> are much weaker).
| |
| | |
| ==References==
| |
| * Heinz Bauer, Ed. (1992) ''Maß- und Integrationstheorie''. Walter de Gruyter edition. 11.7 Faktorisierungslemma p. 71-72.
| |
| | |
| [[Category:Measure theory]]
| |
| [[Category:Lemmas]]
| |
The name of the writer is Figures. One of the things she enjoys most is to read comics and she'll be beginning some thing else alongside with it. Hiring is his profession. California is our birth location.
Feel free to surf to my blog post; std testing at home