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:
“Our institutions have a potent digestion, and may in time convert and assimilate to good all elements thrown in, however originally alien.”
—Herman Melville (1819–1891)
“Ye learned sisters which have oftentimes
Beene to me ayding, others to adorne:
Whom ye thought worthy of your gracefull rymes,
That even the greatest did not greatly scorne
To heare theyr names sung in your simple layes,”
—Edmund Spenser (1552?–1599)
“Lisa Fremont: Surprise is the most important element of attack. And besides, you’re not up on your private eye literature. When they’re in trouble it’s always their girl Friday who gets them out of it.
L.B. Jeffries: Well, is she the girl who saves him from the clutches of the seductive show girls and the over passionate daughters of the rich?
Lisa Fremont: The same.
L.B. Jeffries: That’s the one, huh? But he never ends up marrying her, does he? That’s strange.”
—John Michael Hayes (b. 1919)