Proper Subsets of Ordinals ... ... Searcoid, Theorem 1.4.4 .

  • #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.4 ...

Theorem 1.4.4 reads as follows:



?temp_hash=4bda424fad298c1e9971999ab230fc84.png





In the above proof by Searcoid we read the following:

"... ... Now, for each ##\gamma \in \beta## , we have ##\gamma \in \alpha## by 1.4.2, and the minimality with respect to ##\in## of ##\beta## in ##\alpha \text{\\} x## ensures that ##\gamma \in x##. ... ...


Ca someone please show formally and rigorously that the minimality with respect to ##\in## of ##\beta## in ##\alpha \text{\\} x## ensures that ##\gamma \in x##. ... ...

*** EDIT ***

Is the argument simply that since ##\beta## is the least element of ##\alpha \text{\\} x## ... then if ##\gamma \in \beta## ... then ##\gamma## cannot belong to ##\alpha \text{\\} x## .... otherwise ##\gamma## would be the least element ... and so ##\gamma## must belong to ##x## ...

*** *** ***


Help will be appreciated ...

Peter




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


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



?temp_hash=4bda424fad298c1e9971999ab230fc84.png





It may also help Physics Forum 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=4bda424fad298c1e9971999ab230fc84.png

?temp_hash=4bda424fad298c1e9971999ab230fc84.png




Hope that helps ...

Peter
 

Attachments

  • Searcoid - Theorem 1.4.4 ... ....png
    Searcoid - Theorem 1.4.4 ... ....png
    80.1 KB · Views: 318
  • Searcoid - 1 -  Start of section on Ordinals  ... ... PART 1 ... .....png
    Searcoid - 1 - Start of section on Ordinals ... ... PART 1 ... .....png
    55.5 KB · Views: 280
  • Searcoid - Definition 1.3.10 ... .....png
    Searcoid - Definition 1.3.10 ... .....png
    39.8 KB · Views: 280
  • Searcoid - 2 - Definition 1.3.10 ... .....PART 2 ... ....png
    Searcoid - 2 - Definition 1.3.10 ... .....PART 2 ... ....png
    44.2 KB · Views: 275
  • Searcoid - 2 - Definition 1.3.10 ... .....PART 2 ... ....png
    Searcoid - 2 - Definition 1.3.10 ... .....PART 2 ... ....png
    44.2 KB · Views: 182
  • ?temp_hash=4bda424fad298c1e9971999ab230fc84.png
    ?temp_hash=4bda424fad298c1e9971999ab230fc84.png
    80.1 KB · Views: 221
  • ?temp_hash=4bda424fad298c1e9971999ab230fc84.png
    ?temp_hash=4bda424fad298c1e9971999ab230fc84.png
    55.5 KB · Views: 216
  • ?temp_hash=4bda424fad298c1e9971999ab230fc84.png
    ?temp_hash=4bda424fad298c1e9971999ab230fc84.png
    39.8 KB · Views: 201
  • ?temp_hash=4bda424fad298c1e9971999ab230fc84.png
    ?temp_hash=4bda424fad298c1e9971999ab230fc84.png
    44.2 KB · Views: 205
Last edited:

Answers and Replies

  • #2
andrewkirk
Science Advisor
Homework Helper
Insights Author
Gold Member
3,894
1,460
Is the argument simply that since ##\beta## is the least element of ##\alpha \text{\\} x## ... then if ##\gamma \in \beta## ... then ##\gamma## cannot belong to ##\alpha \text{\\} x## .... otherwise ##\gamma## would be the least element ... and so ##\gamma## must belong to ##x## ...
Almost. Just replace '##\gamma## would be the least element' by '##\gamma## would be less than ##\beta##, so ##\beta## could not be the least element'
 
  • Like
Likes Math Amateur
  • #3
Math Amateur
Gold Member
1,067
47
Thanks Andrew ...

Appreciate your help ...

Peter
 

Related Threads on Proper Subsets of Ordinals ... ... Searcoid, Theorem 1.4.4 .

Replies
2
Views
675
Replies
2
Views
614
Replies
4
Views
708
  • Last Post
Replies
2
Views
607
Replies
2
Views
834
  • Last Post
Replies
8
Views
2K
  • Last Post
Replies
9
Views
2K
  • Last Post
Replies
3
Views
2K
Replies
4
Views
3K
Top