- #1
complexnumber
- 62
- 0
Homework Statement
Given a [tex]\sigma[/tex]-algebra [tex](X,\mathcal{A})[/tex], let [tex]f_n : X \to
[-\infty,\infty][/tex] be a sequence of measurable functions. Prove that
the set [tex]\{ x \in X | \lim f_n (x) \text{ exists} \}[/tex] is in
[tex]\mathcal{A}[/tex].
Homework Equations
Let [tex](X,\mathcal{A})[/tex] be a [tex]\sigma[/tex]-algebra and [tex]M_{+}(X) := [/tex] set
of all functions [tex]f : X \to [0,\infty][/tex] which are
[tex]\mathcal{A}[/tex]-measurable. Let [tex]f_n \in M_+(X)[/tex], then if [tex]\displaystyle \lim_{n \to \infty} f_n(x) \exists[/tex] [tex]\forall
x \in X[/tex], then [tex]\displaystyle f := \lim_{n \to \infty} f_n \in
M_+(X)[/tex].
Any [tex]f : X \to [-\infty,\infty][/tex] can be written [tex]f = f_+ - f_-[/tex]
where [tex]f_+(x) := \sup \{ f(x), 0 \}[/tex], [tex]f_-(x) := - \inf \{ f(x), 0
\}[/tex]. So [tex]f[/tex] is [tex]\mathcal{A}[/tex]-measurable iff [tex]f_+, f_- \in M_+(X)[/tex].
The Attempt at a Solution
Should I use the above two facts to show that there exists a measurable [tex]\displaystyle f = \lim_{n \to \infty} f_n[/tex] and hence anything [tex]f^{-1}(E) \in \mathcal{A}, E \in \mathbb{R}[/tex]?