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:
“There surely is a being who presides over the universe; and who, with infinite wisdom and power, has reduced the jarring elements into just order and proportion. Let speculative reasoners dispute, how far this beneficent being extends his care, and whether he prolongs our existence beyond the grave, in order to bestow on virtue its just reward, and render it fully triumphant.”
—David Hume (1711–1776)
“Reading any collection of a man’s quotations is like eating the ingredients that go into a stew instead of cooking them together in the pot. You eat all the carrots, then all the potatoes, then the meat. You won’t go away hungry, but it’s not quite satisfying. Only a biography, or autobiography, gives you the hot meal.”
—Christopher Buckley, U.S. author. A review of three books of quotations from Newt Gingrich. “Newtie’s Greatest Hits,” The New York Times Book Review (March 12, 1995)
“The element running through entire nature, which we popularly call Fate, is known to us as limitation. Whatever limits us, we call Fate.”
—Ralph Waldo Emerson (1803–1882)