MHB Outer measure .... Axler, Result 2.14 .... Another Question ....

  • Thread starter Thread starter Math Amateur
  • Start date Start date
  • Tags Tags
    Measure
Math Amateur
Gold Member
MHB
Messages
3,920
Reaction score
48
I am reading Sheldon Axler's book: Measure, Integration & Real Analysis ... and I am focused on Chapter 2: Measures ...

I need further help with the proof of Result 2.14 ...

Result 2.14 and its proof read as follows
Axler - Result  2.14- outer measure of a closed interval .png
In the above proof by Axler we read the following:

" ... ... To get started with the induction, note that 2.15 clearly implies 2.16 if $$n = 1$$ ... "Can someone please demonstrate rigorously that 2.15 clearly implies 2.16 if $$n = 1$$ ...

... in other words, demonstrate rigorously that $$[a, b] \subset I_1 \Longrightarrow l(I_1) \geq b - a$$ ...
My thoughts ... we should be able to use $$(a, b) \subset [a, b]$$ and the fact that if $$A \subset B$$ then $$\mid A \mid \leq \mid B \mid$$ ... ... ... ... but we may have to prove rigorously that $$\mid (a, b) \mid = b - a$$ but how do we express this proof ...
Help will be much appreciated ... ...

Peter=============================================================================================================

Readers of the above post may be assisted by access to Axler's definition of the length of an open interval and his definition of outer measure ... so I am providing access to the relevant text ... as follows:
Axler - Defn 2.1 & 2.2 .png

Hope that helps ...

Peter
 
Last edited:
Physics news on Phys.org
Hi Peter,

Since $I_{1}$ is an open interval containing $[a,b]$, its right endpoint, say $c$, must be larger than $b$ (with infinity being allowed). Similarly, its left endpoint, say $d$, must be less than $a$ (with negative infinity being allowed). Can you proceed from here?
 
GJA said:
Hi Peter,

Since $I_{1}$ is an open interval containing $[a,b]$, its right endpoint, say $c$, must be larger than $b$ (with infinity being allowed). Similarly, its left endpoint, say $d$, must be less than $a$ (with negative infinity being allowed). Can you proceed from here?
Thanks for the help GJA ... appreciate it ... I believe I can now proceed ...

Now ... we wish to show that $$[a, b] \subset I_1 \Longrightarrow l(I_1) \geq b - a$$ ...

... so ... proceed as follows ...

Let $$I_1 = (c, d)$$ where $$c \leq a \lt b \leq d$$ ...

Then $$l(I_1) = d - c \geq b - a$$ ...

Is that correct?

Peter
 
Looks good. Nicely done!
 
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