數學分支序理論中,預序集子集的極大元(英語:maximal elements)不小於的任何元素。極小元(minimal elements)可對偶地定義,其不大於的任何元素。
![](http://upload.wikimedia.org/wikipedia/commons/thumb/2/2d/Lattice_of_the_divisibility_of_60_narrow_1%2C2%2C3%2C4.svg/220px-Lattice_of_the_divisibility_of_60_narrow_1%2C2%2C3%2C4.svg.png)
極大和極小的條件比最大和最小弱。預序集的子集的最大元需要「大於或等於」的全體元素(最小元同樣為其對偶),極大元則衹需「不小於」(例如不可比較)。若將預序集限縮至偏序集,則至多衹有一個最大元和一個最小元,但極大、極小元皆可有多於一個。[1][2]但在全序集上,最大等價於極大,最小亦等價於極小。
以集族
為例,其上的偏序為包含關係。當中極小,因為不包含族中任何其他集合,反之極大,因為不被其他集合包含。則既非極小亦非極大,但同時為極小、極大。相比之下,無最大元和最小元。
定義
設為預序集,又設,則中關於的極大元定義為滿足以下性質的元素:
- 若有使 則必有
與之類似,中關於的極小元是滿足以下性質的元素:
- 若有使 則必有
等價地,亦可將關於的極小元定義為關於的極大元,其中對任意,當且僅當。
若無明示子集,則所謂極大元預設是的極大元。
若預序集實為偏序集[註 1],或者限縮到是偏序集,則為極大當且僅當無嚴格較大的元素。換言之,不存在使及 將本段的號一律換成就得到極小元的描述。
存在性
極大/極小元不必存在。
但在某些情況下,極大/極小元保證存在。
唯一性
![]() | 此章節需要擴充。 |
極大/極小元不必唯一。
各領域例子
- 帕累托效率中,「帕累托最優」的狀態即是帕累托改善偏序下的極大元,此類極大元的集合又稱為「帕累托前緣」(Pareto frontier)。
- 決策論中,可容決策規則是優勢偏序下的極大元。
- 現代投資組合理論中,風險(以低為優)與回報(以高為優)的積序[註 2]下,極大元稱為效率投資組合(efficient portfolio),組成的集合則為效率前緣。
- 集合論中,某集合為有限當且僅當其任意非空子集族(以包含關係為偏序)皆有極小元。[註 3]
- 抽象代數中,需要將最大公因數的概念推廣為極大公因子,因為某些數系中,若干個元素的公因子集合可能有多於一個極大元(整除意義下)。
- 計算幾何中,點集的極大元是逐分量比較[註 2]下的極大元。
註
參考文獻
Wikiwand in your browser!
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.