序理論- 維基百科，自由的百科全書

1 背景和動機 · 2 基礎定義. 2.1 偏序集合 · 3 參考文獻 · 4 外部連結 · 5 參見 ... 序理論 維基百科，自由的百科全書 跳至導覽 跳至搜尋 60的所有除數的集合的哈斯圖，按整除性部分有序 序理論是研究捕獲數學排序的直覺概念的各種二元關係的數學分支。

目次 1背景和動機 2基礎定義 2.1偏序集合 3參考文獻 4外部連結 5參見 背景和動機[編輯] 次序無所不在——至少在數學和相關領域比如計算機科學是這樣。

你典型遇到的第一個次序是小學數學教育中的自然數的次序。

這個直覺概念很容易擴展到其他數的集合的排序，比如整數和實數。

實際上大於或小於另一個數的概念一般是數系統的基本直覺（儘管你通常還感興趣於兩個數實際的差，它不能由這個次序給出）。

排序的另一個非常熟悉的例子是詞典中詞典次序。

上述類型的次序有特殊性質：每個元素都是可以「比較」於另一個元素，就是說，它或者大於、或者小於、或者等於另一個元素。

但是，這不總是想要的要求。

一個周知的例子是集合的子集排序。

如果一個集合 A {\displaystyleA} 包含集合 B {\displaystyleB} 的所有元素，則 B {\displaystyleB} 被稱為小於等於 A {\displaystyleA} 。

然而有些集合不能在這種方式來比較，因為其中每個都包含著其他集合中不存在的某些元素。

所以，子集包含是偏次序，對立了前面給出的全次序。

序理論在一般性架構下捕獲了上述例子引發的直覺次序。

這是通過指定關係 ≤ {\displaystyle\leq} 必須是數學上次序的一些性質來完成的。

這種更加抽象的方式更有意義，因為你可以從一般性架構推導出各種定理，而不用關心任何特定次序的細節。

這種洞察可以容易的轉換到很多具體應用中。

由次序的各種實踐使用所驅動，已經定義了多個特殊種類的有序集合，其中某些已經發展出自己的數學領域。

此外，序理論不限制於各種種類的排序關係，還考慮在它們之間的適當的函數。

函數的序理論的性質的一個簡單例子來自在數學分析中常見的單調函數。

基礎定義[編輯] 此部分我們建立一些概念作為導引：集合論、算術和二元關係。

偏序集合[編輯] 序是特別的二元關係。

假定 P {\displaystyleP} 是一集合，且 ≤ {\displaystyle\leq} 是在 P {\displaystyleP} 的關係，則 ≤ {\displaystyle\leq} 是個偏序當他是自反的，反對稱的，且遞移的，則，對於所有 a , b {\displaystylea,b} 和 c {\displaystylec} 於 P {\displaystyleP} ，皆能滿足： a ≤ a {\displaystylea\leqa} （自反的） 如果 a ≤ b {\displaystylea\leqb} 並且 b ≤ a {\displaystyleb\leqa} 則 a = b {\displaystylea=b} （反對稱性） 如果 a ≤ b {\displaystylea\leqb} 並且 b ≤ c {\displaystyleb\leqc} 則 a ≤ c {\displaystylea\leqc} （遞移性） 一個偏序性質的集合稱為偏序集合、poset或是有序集合（當其所強調的意指明確）。

藉由查看這些性質，我們能知道在自然數、整數、有理數、以致於實數皆有明確的序關係。

當然，它們還有額外的性質成為全序，即在 P {\displaystyleP} 中對於每一個a和b皆能滿足： a ≤ b {\displaystylea\leqb} 或 b ≤ a {\displaystyleb\leqa} （全序性） 這些序又稱為線性序或鏈。

當許多典型序為線性，集合內的有序子集合會發生不滿足此性質的例子。

另一個例子為給定一個整除性關係" | {\displaystyle|} "。

對於兩個數 n {\displaystylen} 和 m {\displaystylem} ，當 m {\displaystylem} 除以 n {\displaystylen} 未留餘數時，我們書寫為 n | m {\displaystylen|m} ，我們可輕易的明白這是一個偏序關係。

非常多進階的性質主要在於非線性序中。

參考文獻[編輯] B.A.DaveyandH.A.Priestley,2002.IntroductiontoLatticesandOrder,2nded.CambridgeUniversityPress.ISBN0-521-78451-4 Agoodcontemporaryintroductiontothesubject.Suitableforundergraduates. G.Gierz,K.H.Hofmann,K.Keimel,J.D.Lawson,M.Mislove,andD.S.Scott,2003,"ContinuousLatticesandDomains,"inEncyclopediaofMathematicsanditsApplications,Vol.93,CambridgeUniversityPress.ISBN0-521-80338-1 Thecomprehensivenewversionofthefamous"Compendium"ofcontinuouslattices.Assumessomeadvancedmathematicalbackground. S.N.BurrisandH.P.Sankappanavar,1981.ACourseinUniversalAlgebra.（頁面存檔備份，存於網際網路檔案館）SpringerVerlag. Afreeonlineintroductiontouniversalalgebra,withmuchmaterialonlattices. 外部連結[編輯] OrdersatProvenMath（頁面存檔備份，存於網際網路檔案館）partialorder,linearorder,wellorder,initialsegment;formaldefinitionsandproofswithintheaxiomsofsettheory. 參見[編輯] 數學主題 格(數學) 域理論 偏序關係 全序關係 預序關係 取自「https://zh.wikipedia.org/w/index.php?title=序理论&oldid=68429249」 分類：序理論數學結構隱藏分類：使用ISBN魔術連結的頁面 導覽選單 個人工具 沒有登入討論貢獻建立帳號登入 命名空間 條目討論 臺灣正體 已展開 已摺疊 不转换简体繁體大陆简体香港繁體澳門繁體大马简体新加坡简体臺灣正體 查看 閱讀編輯檢視歷史 更多 已展開 已摺疊 搜尋 導航 首頁分類索引特色內容新聞動態近期變更隨機條目資助維基百科 說明 說明維基社群方針與指引互助客棧知識問答字詞轉換IRC即時聊天聯絡我們關於維基百科 工具 連結至此的頁面相關變更上傳檔案特殊頁面靜態連結頁面資訊引用此頁面維基數據項目 列印/匯出 下載為PDF可列印版 其他專案 維基共享資源 其他語言 العربيةБългарскиCatalàČeštinaDanskΕλληνικάEnglishEspañolفارسیHrvatskiBahasaIndonesiaItaliano한국어BahasaMelayuNederlandsPortuguêsРусскийSimpleEnglishSlovenčinaSlovenščinaTürkçeУкраїнська粵語 編輯連結