The Complete Free Lattice
Another corollary is that the complete free lattice "does not exist", in the sense that it is instead a proper class. The proof of this follows from the word problem as well. To define a complete lattice in terms of relations, it does not suffice to use the finitary relations of meet and join; one must also have infinitary relations defining the meet and join of infinite subsets. For example, the infinitary relation corresponding to "join" may be defined as
Here, f is a map from the elements of a cardinal N to FX; the operator denotes the supremum, in that it takes the image of f to its join. This is, of course, identical to "join" when N is a finite number; the point of this definition is to define join as a relation, even when N is an infinite cardinal.
The axioms of the pre-ordering of the word problem may be adjoined by the two infinitary operators corresponding to meet and join. After doing so, one then extends the definition of to an ordinally indexed given by
when is a limit ordinal. Then, as before, one may show that is strictly greater than . Thus, there are at least as many elements in the complete free lattice as there are ordinals, and thus, the complete free lattice cannot exist as a set, and must therefore be a proper class.
Read more about this topic: Free Lattice
Famous quotes containing the words complete and/or free:
“‘Tis very certain that each man carries in his eye the exact indication of his rank in the immense scale of men, and we are always learning to read it. A complete man should need no auxiliaries to his personal presence.”
—Ralph Waldo Emerson (1803–1882)
“Piety practised in solitude, like the flower that blooms in the desert, may give its fragrance to the winds of heaven, and delight those unbodied spirits that survey the works of God and the actions of men; but it bestows no assistance upon earthly beings, and however free from taints of impurity, yet wants the sacred splendour of beneficence.”
—Samuel Johnson (1709–1784)