Tree (set theory)

(Redirected from Tree (set theoretic))

In set theory, a tree is a partially ordered set (T, <) such that for each tT, the set {sT : s < t} is well-ordered by the relation <. Frequently trees are assumed to have only one root (i.e. minimal element), as the typical questions investigated in this field are easily reduced to questions about single-rooted trees.

A branch (highlighted green) of a set-theoretic tree. Here dots represent elements, arrows represent the order relation, and ellipses and dashed arrows represent (possibly infinite) un-pictured elements and relationships.

Definition

edit
 
Small finite examples: The three partially ordered sets on the left are trees (in blue); one branch of one of the trees is highlighted (in green). The partially ordered set on the right (in red) is not a tree because x1 < x3 and x2 < x3, but x1 is not comparable to x2 (dashed orange line).

A tree is a partially ordered set (poset) (T, <) such that for each tT, the set {sT : s < t} is well-ordered by the relation <. In particular, each well-ordered set (T, <) is a tree. For each tT, the order type of {sT : s < t} is called the height of t, denoted ht(tT). The height of T itself is the least ordinal greater than the height of each element of T. A root of a tree T is an element of height 0. Frequently trees are assumed to have only one root. Trees in set theory are often defined to grow downward making the root the greatest node.[citation needed]

Trees with a single root may be viewed as rooted trees in the sense of graph theory in one of two ways: either as a tree (graph theory) or as a trivially perfect graph. In the first case, the graph is the undirected Hasse diagram of the partially ordered set, and in the second case, the graph is simply the underlying (undirected) graph of the partially ordered set. However, if T is a tree of height > ω, then the Hasse diagram definition does not work. For example, the partially ordered set   does not have a Hasse Diagram, as there is no predecessor to ω. Hence a height of at most ω is required in this case.

A branch of a tree is a maximal chain in the tree (that is, any two elements of the branch are comparable, and any element of the tree not in the branch is incomparable with at least one element of the branch). The length of a branch is the ordinal that is order isomorphic to the branch. For each ordinal α, the α-th level of T is the set of all elements of T of height α. A tree is a κ-tree, for an ordinal number κ, if and only if it has height κ and every level has cardinality less than the cardinality of κ. The width of a tree is the supremum of the cardinalities of its levels.

Any single-rooted tree of height   forms a meet-semilattice, where meet (common ancestor) is given by maximal element of intersection of ancestors, which exists as the set of ancestors is non-empty and finite well-ordered, hence has a maximal element. Without a single root, the intersection of parents can be empty (two elements need not have common ancestors), for example   where the elements are not comparable; while if there are an infinite number of ancestors there need not be a maximal element – for example,   where   are not comparable.

A subtree of a tree   is a tree   where   and   is downward closed under  , i.e., if   and   then  .[citation needed]

Set-theoretic properties

edit

There are some fairly simply stated yet hard problems in infinite tree theory. Examples of this are the Kurepa conjecture and the Suslin conjecture. Both of these problems are known to be independent of Zermelo–Fraenkel set theory. By Kőnig's lemma, every ω-tree has an infinite branch. On the other hand, it is a theorem of ZFC that there are uncountable trees with no uncountable branches and no uncountable levels; such trees are known as Aronszajn trees. Given a cardinal number κ, a κ-Suslin tree is a tree of height κ which has no chains or antichains of size κ. In particular, if κ is singular then there exists a κ-Aronszajn tree and a κ-Suslin tree. In fact, for any infinite cardinal κ, every κ-Suslin tree is a κ-Aronszajn tree (the converse does not hold).

The Suslin conjecture was originally stated as a question about certain total orderings but it is equivalent to the statement: Every tree of height ω1 has an antichain of cardinality ω1 or a branch of length ω1.

If (T,<) is a tree, then the reflexive closure ≤ of < is a prefix order on T. The converse does not hold: for example, the usual order ≤ on the set Z of integers is a total and hence a prefix order, but (Z,<) is not a set-theoretic tree since e.g. the set {nZ: n < 0} has no least element.

Examples of infinite trees

edit
 
Set-theoretic tree of height   and width  . Each node corresponds to a junction point of a red and a green line. Due to space restrictions, only branches with a prefix (0,0,0,...) or (1,1,1,...) are shown in full length.
  • Let   be an ordinal number, and let   be a set. Let   be set of all functions   where  . Define   if the domain of   is a proper subset of the domain of   and the two functions agree on the domain of  . Then   is a set-theoretic tree. Its root is the unique function on the empty set, and its height is  . The union of all functions along a branch yields a function from   to  , that is, a generalized sequence of members of  . If   is a limit ordinal, none of the branches has a maximal element ("leaf"). The picture shows an example for   and  .
  • Each tree data structure in computer science is a set-theoretic tree: for two nodes  , define   if   is a proper descendant of  . The notions of root, node height, and branch length coincide, while the notions of tree height differ by one.
  • Infinite trees considered in automata theory (see e.g. tree (automata theory)) are also set-theoretic trees, with a tree height of up to  .
  • A graph-theoretic tree can be turned into a set-theoretic one by choosing a root node   and defining   if   and   lies on the (unique) undirected path from   to  .

See also

edit

References

edit
  • Jech, Thomas (2002). Set Theory. Springer-Verlag. ISBN 3-540-44085-2.
  • Kunen, Kenneth (1980). Set Theory: An Introduction to Independence Proofs. North-Holland. ISBN 0-444-85401-0. Chapter 2, Section 5.
  • Monk, J. Donald (1976). Mathematical Logic. New York: Springer-Verlag. p. 517. ISBN 0-387-90170-1.
  • Hajnal, András; Hamburger, Peter (1999). Set Theory. Cambridge: Cambridge University Press. ISBN 9780521596671.
  • Kechris, Alexander S. (1995). Classical Descriptive Set Theory. Graduate Texts in Mathematics 156. Springer. ISBN 0-387-94374-9. ISBN 3-540-94374-9.
edit