複製鏈接
請複製以下鏈接發送給好友

有向集

鎖定
一種預序集,其任意有限子集有上界。
中文名
有向集
外文名
directed set
外文名
filtered set
所屬學科
集合論
別    名
濾過集

目錄

有向集定義

一個預序集
(即帶有預序關係集合)是有向集,若滿足下列任一等價條件:
(1)對任意
存在
使得
(2)其任意兩個元有上界
(3)其任意有限子集有上界。 [1] 

有向集例子

  1. 自然數集
    及其上的大小關係是一個有向集.
  2. 為一拓撲空間
    中一點. 考慮
    所有鄰域組成的集合
    , 其上定義關係
    :
    當且僅當
    . 可以驗證
    成為一個有向集.

有向集應用

我們把從有向集映到拓撲空間的映射稱為網,它可以看成數列的推廣,可用它來描述有關拓撲空間的各種命題(如映射的連續性、子集的緊性、判斷是否為開集閉集)等).
參考資料
  • 1.    Saunders Mac Lane.數學工作者必知的範疇學 第2版:Springer,1978