Maximal Elements and The Greatest Element
It looks like should be a greatest element or maximum but in fact it is not necessarily the case: the definition of maximal element is somewhat weaker. Suppose we find with, then, by the definition of greatest element, so that . In other words, a maximum, if it exists, is the (unique) maximal element.
The converse is not true: there can be maximal elements despite there being no maximum. Example 3 is an instance of existence of many maximal elements and no maximum. The reason is, again, that in general is only a partial order on . If is a maximal element and, it remains the possibility that neither nor .
If there are many maximal elements, they are in some contexts called a frontier, as in the Pareto frontier.
Of course, when the restriction of to is a total order, the notions of maximal element and greatest element coincide. Let be a maximal element, for any either or . In the second case the definition of maximal element requires so we conclude that . In other words, is a greatest element.
Finally, let us remark that being totally ordered is sufficient to ensure that a maximal element is a greatest element, but it is not necessary.
Read more about this topic: Maximal Element
Famous quotes containing the words elements, greatest and/or element:
“Kitsch is the daily art of our time, as the vase or the hymn was for earlier generations. For the sensibility it has that arbitrariness and importance which works take on when they are no longer noticeable elements of the environment. In America kitsch is Nature. The Rocky Mountains have resembled fake art for a century.”
—Harold Rosenberg (1906–1978)
“Once the sin against God was the greatest sin, but God died, and so these sinners died as well. To sin against the earth is now the most terrible thing, and to esteem the entrails of the unknowable more highly than the meaning of the earth.”
—Friedrich Nietzsche (1844–1900)
“Out of the element of participation follows the certainty of faith; out of the element of separation follows the doubt in faith. And each is essential for the nature of faith. Sometimes certainty conquers doubt, but it cannot eliminate doubt. The conquered of today may become the conqueror of tomorrow. Sometimes doubt conquers faith, but it still contains faith. Otherwise it would be indifference.”
—Paul Tillich (1886–1965)