Properties of the Ordinals ...

  • #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 Theorem 1.4.3 ...

Theorem 1.4.3 reads as follows:


?temp_hash=bccb60496862d56962ecb212d49f4113.png

?temp_hash=bccb60496862d56962ecb212d49f4113.png




In the above proof by Searcoid we read the following:

"... ... Then ##\beta \subseteq \alpha## so that ##\beta## is also well ordered by membership. ... ...


To conclude that ##\beta## is also well ordered by membership, don't we have to show that a subset of an ordinal is well ordered?

Indeed, how would we demonstrate formally and rigorously that ##\beta## is also well ordered by membership. ... ... ?





*** EDIT ***

I have been reflecting on the above post on the ordinals ...


Maybe to show that that ##\beta## is also well ordered by membership, we have to demonstrate that since every subset of ##\alpha## has a minimum element then every subset of ##\beta## has a minimum element ... but then that would only be true if every subset of ##\beta## was also a subset of ##\alpha## ...

Is the above chain of thinking going in the right direction ...?

Still not sure regarding the original question ...

Peter

*** FINISH EDIT ***




Help will be appreciated ...

Peter



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


It may help Physics Forums readers of the above post to have access to the start of Searcoid's section on the ordinals ... so I am providing the same ... as follows:


?temp_hash=bccb60496862d56962ecb212d49f4113.png




It may also help Physics Forums readers to have access to Searcoid's definition of a well order ... so I am providing the text of Searcoid's Definition 1.3.10 ... as follows:




?temp_hash=bccb60496862d56962ecb212d49f4113.png

?temp_hash=bccb60496862d56962ecb212d49f4113.png





Hope that helps,

Peter
 

Attachments

  • Searcoid - 1 -  Theorem 1.4.3 ... ... PART 1 ... .....png
    Searcoid - 1 - Theorem 1.4.3 ... ... PART 1 ... .....png
    8.7 KB · Views: 282
  • Searcoid - 2 -  Theorem 1.4.3 ... ... PART 2 ... ......png
    Searcoid - 2 - Theorem 1.4.3 ... ... PART 2 ... ......png
    64.4 KB · Views: 283
  • Searcoid - 1 -  Start of section on Ordinals  ... ... PART 1 ... .....png
    Searcoid - 1 - Start of section on Ordinals ... ... PART 1 ... .....png
    55.5 KB · Views: 276
  • Searcoid - Definition 1.3.10 ... .....png
    Searcoid - Definition 1.3.10 ... .....png
    39.8 KB · Views: 277
  • Searcoid - 2 - Definition 1.3.10 ... .....PART 2 ... ....png
    Searcoid - 2 - Definition 1.3.10 ... .....PART 2 ... ....png
    44.2 KB · Views: 265
  • ?temp_hash=bccb60496862d56962ecb212d49f4113.png
    ?temp_hash=bccb60496862d56962ecb212d49f4113.png
    8.7 KB · Views: 204
  • ?temp_hash=bccb60496862d56962ecb212d49f4113.png
    ?temp_hash=bccb60496862d56962ecb212d49f4113.png
    64.4 KB · Views: 207
  • ?temp_hash=bccb60496862d56962ecb212d49f4113.png
    ?temp_hash=bccb60496862d56962ecb212d49f4113.png
    55.5 KB · Views: 187
  • ?temp_hash=bccb60496862d56962ecb212d49f4113.png
    ?temp_hash=bccb60496862d56962ecb212d49f4113.png
    39.8 KB · Views: 198
  • ?temp_hash=bccb60496862d56962ecb212d49f4113.png
    ?temp_hash=bccb60496862d56962ecb212d49f4113.png
    44.2 KB · Views: 189

Answers and Replies

  • #2
andrewkirk
Science Advisor
Homework Helper
Insights Author
Gold Member
3,894
1,460
Hello Peter!

##\alpha## is an ordinal, hence is well-ordered, hence any subset of ##\alpha## has a minimum element.
We have also deduced that ##\beta\subseteq \alpha##on line 1, from the fact that ##\alpha## is an ordinal and that##\beta\in\alpha##.

Now consider an arbitrary subset ##C## of ##\beta##. Since ##\beta\subseteq\alpha## it follows that ##C\subseteq\alpha## and hence it must have a minimum element.

If you wanted to be especially rigorous, you could prove the transitivity of the subset property, which we used here, ie that

$$C\subseteq\beta\subseteq \alpha\Rightarrow C\subseteq\alpha$$

It's pretty easy, just using the definition of a subset.
 
  • Like
Likes Math Amateur
  • #3
Math Amateur
Gold Member
1,067
47
Thanks Andrew ...

I appreciate your help ...

Peter
 

Related Threads on Properties of the Ordinals ...

Replies
2
Views
675
Replies
2
Views
614
Replies
4
Views
708
  • Last Post
Replies
3
Views
939
  • Last Post
Replies
9
Views
9K
Replies
5
Views
882
  • Last Post
Replies
1
Views
949
Replies
4
Views
2K
Top