MHB Proving Absolute Convergence of a Real-Valued Function on a Sigma Algebra

Fermat1
Messages
180
Reaction score
0
Let R be a sigma algebra and let $f$ be a real value function on R such that for a sequence
($A_{n}$) of disjoint members of R, we have that the sum of $f$($A_{n}$) over all n is equal to the image of the countable union under $f$. Prove that the sum of $f$($A_{n}$) is in fact absolutely convergent.
 
Physics news on Phys.org
Since $f$ is a real-valued function, it must be bounded. That is, there exists a constant M such that |$f$($A_{n}$)| $\leq$ M for all n. By the Principle of Finite Sums, we know that the sum of a sequence of finitely many non-negative real numbers is convergent if and only if the sequence of partial sums is increasing and bounded above. Since the sum of $f$($A_{n}$) over all n is equal to the image of the countable union under $f$, the sequence of partial sums is increasing and bounded above by M. Therefore, the sum of $f$($A_{n}$) is absolutely convergent.
 
A sphere as topological manifold can be defined by gluing together the boundary of two disk. Basically one starts assigning each disk the subspace topology from ##\mathbb R^2## and then taking the quotient topology obtained by gluing their boundaries. Starting from the above definition of 2-sphere as topological manifold, shows that it is homeomorphic to the "embedded" sphere understood as subset of ##\mathbb R^3## in the subspace topology.
Back
Top