Membership Chains: Why Length Is at Most Omega

  • Context: Graduate 
  • Thread starter Thread starter Dragonfall
  • Start date Start date
Click For Summary
SUMMARY

Membership chains in set theory can exceed length \(\omega\), as demonstrated by the axiom of infinity, which allows for a chain such as \(\varnothing \in \{\varnothing\} \in \cdots \in \omega\), resulting in a length of \(\omega + 1\). However, when considering the relation \(a \ni b \ni c \ni \cdots\), the axiom of regularity ensures that all chains within \(\omega\) are finite. This distinction clarifies the limitations and properties of membership chains in set theory.

PREREQUISITES
  • Understanding of set theory concepts, particularly membership relations.
  • Familiarity with the axiom of infinity and its implications in set construction.
  • Knowledge of the axiom of regularity and its role in defining finite chains.
  • Basic comprehension of ordinal numbers and their properties.
NEXT STEPS
  • Research the implications of the axiom of infinity in set theory.
  • Explore the axiom of regularity and its applications in defining set membership.
  • Study ordinal numbers and their relationships within set theory.
  • Examine examples of infinite sets and their properties in mathematical logic.
USEFUL FOR

Mathematicians, logicians, and students of set theory seeking to deepen their understanding of membership chains and their properties within the framework of axiomatic set theory.

Dragonfall
Messages
1,023
Reaction score
5
Why do membership chains ([tex]a\in b\in c\in ...[/tex]) have length at most [tex]\omega[/tex]?
 
Physics news on Phys.org
They don't. The axiom of infinity gives us a chain [itex]\varnothing\in\{\varnothing\}\in\cdots\in\omega,[/itex], but [itex]\omega\in\{\omega,\cup\omega\}.[/itex] That's a chain of length [itex]\omega+1.[/itex]

Perhaps you mean [itex]a\ni b\ni c\ni\cdots[/itex], which has length less than [itex]\omega[/itex] by the axiom of regularity/foundation?
 
All chains in [tex]\omega[/tex] are finite.
 

Similar threads

Graduate Maybe it is not necessary to define set membership?
  • · Replies 13 ·
Replies
13
Views
2K
Graduate Defining the membership relation in set theory?
  • · Replies 14 ·
Replies
14
Views
6K
Undergrad How to determine if a set is a semiring or a ring?
  • · Replies 2 ·
Replies
2
Views
4K
U-shaped length of chain falling when one end is released
  • · Replies 30 ·
2
Replies
30
Views
3K
Undergrad Limits of Two Ordinal Sequences
  • · Replies 14 ·
Replies
14
Views
2K
MHB Model the situation with a Laplace room
  • · Replies 18 ·
Replies
18
Views
2K
Timing Marks on Engine, Timing Chain - Conceptual Question
  • · Replies 3 ·
Replies
3
Views
3K
MHB How to Show Equality of Probabilities?
  • · Replies 5 ·
Replies
5
Views
1K
MHB Why can we write the set as $\{ m \in \omega: T_m=\omega \}$?
  • · Replies 11 ·
Replies
11
Views
3K
Undergrad Making Sense of Notation Confusion in Statistical Digital Signal Processing
  • · Replies 6 ·
Replies
6
Views
2K