PlanetMath (more info)
 Math for the people, by the people.
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
sections
Encyclopædia
Papers
Books
Expositions

meta
Requests (210)
Orphanage
Unclass'd (1)
Unproven (473)
Corrections (37)
Classification

talkback
Polls
Forums
Feedback
Bug Reports

downloads
Snapshots
PM Book

information
News
Docs
Wiki
ChangeLog
TODO List
Legalese
About
Owner confidence rating: Very low Entry average rating: No information on entry rating
[parent] proof that $\omega$ has the tree property (Proof)

Let $ T$ be a tree with finite levels and an infinite number of elements. Then consider the elements of $ T_0$. $ T$ can be partitioned into the set of descendants of each of these elements, and since any finite partition of an infinite set has at least one infinite partition, some element $ x_0$ in $ T_0$ has an infinite number of descendants. The same procedure can be applied to the children of $ x_0$ to give an element $ x_1\in T_1$ which has an infinite number of descendants, and then to the children of $ x_1$, and so on. This gives a sequence $ X=\langle x_0, x_1,\ldots \rangle$. The sequence is infinite since each element has an infinite number of descendants, and since $ x_{i+1}$ is always of child of $ x_i$, $ X$ is a branch, and therefore an infinite branch of $ T$.



"proof that $\omega$ has the tree property" is owned by Henry.
(view preamble)

View style:

Other names:  proof that omega has the tree property, proof that infinity has the tree property

This object's parent.
Log in to rate this entry.
(view current ratings)

Cross-references: branch, child, sequence, children, partition, descendants, infinite, levels, finite, tree

This is version 2 of proof that $\omega$ has the tree property, born on 2002-07-27, modified 2002-08-02.
Object id is 3218, canonical name is ProofThatOmegaHasTheTreeProperty.
Accessed 2959 times total.

Classification:
AMS MSC: 05C05 (Combinatorics :: Graph theory :: Trees)
 03E05 (Mathematical logic and foundations :: Set theory :: Other combinatorial set theory)
Pending Errata and Addenda
None.
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | add example | add (any)