Ordinals ... Searcoid, Corollary 1.4.5 ... ...

  • #1
Math Amateur
Gold Member
1,067
47
I am reading Micheal Searcoid's book: "Elements of Abstract Analysis" ... ...

I am currently focused on understanding Chapter 1: Sets ... and in particular Section 1.4 Ordinals ...

I need some help in fully understanding the Corollary to Theorem 1.4.4 ...

Theorem 1.4.4 and its corollary read as follows:


?temp_hash=9906c1123e18fde7daf9d16d07355c4b.png




Searcoid gives no proof of Corollary 1.4.5 ...

To prove Corollary 1.4.5 we need to show ##\beta \in \alpha \Longleftrightarrow \beta \subset \alpha## ... ...



Assume that ##\beta \in \alpha## ...

Then by Searcoid's definition of an ordinal (Definition 1.4.1 ... see scanned text below) we have ##\beta \subseteq \alpha## ...

But it is supposed to follow that ##\beta## is a proper subset of ##\alpha## ... !

Is Searcoid assuming that ##\beta \neq \alpha##? ... ... if not how would it follow that \beta \subset \alpha ... ?



Hope someone can help ...

Peter




============================================================================


It may help readers of the above post if the start of the section on ordinals was accessible ... so I am providing that text as follows:



?temp_hash=9906c1123e18fde7daf9d16d07355c4b.png




Hope that helps ...

Peter
 

Attachments

  • Searcoid - Theorem 1.4.4 ... ....png
    Searcoid - Theorem 1.4.4 ... ....png
    80.1 KB · Views: 282
  • Searcoid - 1 -  Start of section on Ordinals  ... ... PART 1 ... .....png
    Searcoid - 1 - Start of section on Ordinals ... ... PART 1 ... .....png
    55.5 KB · Views: 257
  • ?temp_hash=9906c1123e18fde7daf9d16d07355c4b.png
    ?temp_hash=9906c1123e18fde7daf9d16d07355c4b.png
    80.1 KB · Views: 246
  • ?temp_hash=9906c1123e18fde7daf9d16d07355c4b.png
    ?temp_hash=9906c1123e18fde7daf9d16d07355c4b.png
    55.5 KB · Views: 229

Answers and Replies

  • #2
andrewkirk
Science Advisor
Homework Helper
Insights Author
Gold Member
3,893
1,460
For the forward direction ##\Rightarrow## of the equivalence ##\Leftrightarrow##, having ##\beta=\alpha## together with ##\beta\in\alpha## would give us ##\alpha\in\alpha##, which would contradict Theorem 1.4.3.

For the reverse direction we just use ##\beta\subset\alpha\to \beta\subseteq\alpha## and proceed from there.
 
  • Like
Likes Math Amateur
  • #3
Math Amateur
Gold Member
1,067
47
Thanks Andrew ...

Just another question ... the Corollary goes on to state that, in particular, if ##\alpha \neq 0## then ##0 \in \alpha## ... can you help with the proof of this ... ?


Thanks again,

Peter
 
  • #4
andrewkirk
Science Advisor
Homework Helper
Insights Author
Gold Member
3,893
1,460
0 is the empty set, which is a subset of every set, so in particular ##0\subseteq\alpha##. Putting this together with ##\alpha\neq 0## gives ##0\subset\alpha##. Applying the corollary to that with the arrow pointing left gives us ##0\in\alpha##.
 
  • Like
Likes Math Amateur
  • #5
Math Amateur
Gold Member
1,067
47
Thanks Andrew,

Peter
 

Related Threads on Ordinals ... Searcoid, Corollary 1.4.5 ... ...

Replies
2
Views
675
  • Last Post
Replies
6
Views
1K
Replies
3
Views
2K
Replies
18
Views
1K
  • Last Post
Replies
2
Views
606
Replies
2
Views
613
Top