Extension To Infinite Partially Ordered Sets
Dilworth's theorem for infinite partially ordered sets states that a partially ordered set has finite width w if and only if may be partitioned into w chains. For, suppose that an infinite partial order P has width w, meaning that there are at most a finite number w of elements in any antichain. For any subset S of P, a decomposition into w chains (if it exists) may be described as a coloring of the incomparability graph of S (a graph that has the elements of S as vertices, with an edge between every two incomparable elements) using w colors; every color class in a proper coloring of the incomparability graph must be a chain. By the assumption that P has width w, and by the finite version of Dilworth's theorem, every finite subset S of P has a w-colorable incomparability graph. Therefore, by the De Bruijn–Erdős theorem, P itself also has a w-colorable incomparability graph, and thus has the desired partition into chains (Harzheim 2005).
However, the theorem does not extend so simply to partially ordered sets in which the width, and not just the cardinality of the set, is infinite. In this case the size of the largest antichain and the minimum number of chains needed to cover the partial order may be very different from each other. In particular, for every infinite cardinal number κ there is an infinite partially ordered set of width ℵ0 whose partition into the fewest chains has κ chains (Harzheim 2005).
Perles (1963) discusses analogs of Dilworth's theorem in the infinite setting.
Read more about this topic: Dilworth's Theorem
Famous quotes containing the words extension, infinite, partially, ordered and/or sets:
“We are now a nation of people in daily contact with strangers. Thanks to mass transportation, school administrators and teachers often live many miles from the neighborhood schoolhouse. They are no longer in daily informal contact with parents, ministers, and other institution leaders . . . [and are] no longer a natural extension of parental authority.”
—James P. Comer (20th century)
“Something is infinite if, taking it quantity by quantity, we can always take something outside.”
—Aristotle (384–322 B.C.)
“He who gives himself entirely to his fellow-men appears to them useless and selfish; but he who gives himself partially to them is pronounced a benefactor and philanthropist.”
—Henry David Thoreau (1817–1862)
“But one sound always rose above the clamor of busy life and, no matter how much of a tintinnabulation, was never confused and, for a moment lifted everything into an ordered sphere: that of the bells.”
—Johan Huizinga (1872–1945)
“Willing sets you free: that is the true doctrine of will and freedom—thus Zarathustra instructs you.”
—Friedrich Nietzsche (1844–1900)