Loading [MathJax]/jax/output/HTML-CSS/jax.js

Sunday, July 8, 2018

R&C Analysis up to prop 1.25


Rudin's Real and Complex Analysis - Review up to prop 1.25

Main thrust of these sections is to establish Integration of positive functions. All the required machinary for Integration was  established in previous sections.

I felt that section 1.13 and Theorem 1.14 actually should have preceded this section. Only one collollary - The limit of every pointwise convergent sequence of complex measurable functions is measurable is used before this section.

Section 1.13 defines upper limit of sequence (an) - called β as β=limsupnan. Lower limit gets defined as negative of upper limit. From real analysis, if (an) converges, then both upper and lower limits will equal to limit of sequence.

Based on these definitions, sup and inf of sequence of functions are defined.
(supnfn)(x)=supn(fn(x))
(limsupnfn)(x)=limsupn(fn(x))

And if
f(x)=limnfn(x)
the limit being assumed to exist at every point xX, then f is called pointwise limit of sequence.

Then Theorem 1.14 asserts for fn:X[,] is measurable function for n=1,2,3, and
g=supn1fn,h=limsupnfn
then g and h are measurable.


Proof is simple. Both the corollaries play a critical role in Integration theory.
(a) The limit of every pointwise convergent sequence of complex measurable functions is measurable.
(b) If f,g are measurable with range in [,], then so are maxf,g and minf,g and in particular, this is true of the functions
f+=max{f,0}
f=min{f,0}
Proof is simple.

Integration of Positive Functions:
Definition starts off the proceedings for a given R - σ algebra and X a measurable space. First order of business to  define Integral of simple functions as this leads to Integral of the given function to which simple functions converge pointwise. Definition pops out very nicely from definition of simple function.
If s:X[0,] is measurable simple function of the form
s=i=1αiχAi where α1,,αn are distinct values of s and if ER, simple function integral is defined as
Esdμ=i=1αiμ(AiE).

Lebesgue Integral:
Since multiple simple functions may approximate a given function, its integral is defined as
Efdμ=supEsdμ.
The sup taken over all measurable simple functions s such that 0sf.

Next all the nice properties of Lebesgue Integral are listed as propostions. Functions and sets are assumed to be measurable.

(a) If 0fg then EfdμEgdμ
(b) If AB and f0 then Afdμbfdμ.
(c) If f0 and c is constant, 0c<, then
Ecfdμ=cEfdμ
(d) If f(x)=0 for all xE, then Efdμ=0 even if μ(E)=.
(e) If μ(E)=0, then Efdμ=0 even if f(x)= for every xX.
(f) If f0, then Efdμ=XχEfdμ.
Last result is nice as it allows to restrict our definition of integration to integrals over all of X, without loosing
generality.


No comments:

Post a Comment

Chain complexes on Hilbert spaces

 Chain complexes are mathematical structures used extensively in algebraic topology, homological algebra, and other areas of mathematics. Th...