上方集合
数学において、順序集合 での上方集合 (上向きに閉じている集合などとも呼ばれる)[1]とは部分集合 で次の性質を満たすものである: s が S の元であり、X の元 x が s より大きいなら (すなわち、)、x も S の元である。言い換えると、X の元 x で S のある元に対して であるようなものは全て S の元であるということである。 同様に、下方集合 (下向きに閉じている集合や、始切片とも呼ばれる)も定義され、X の部分集合 S であって、S のある元に対して であるようなものが全て S の元であるという性質を満たすものを指す。
![](http://up.wiki.x.io/wikipedia/commons/thumb/4/44/Upset_210div.svg/220px-Upset_210div.svg.png)
定義
編集を前順序集合とする。 部分集合 が での 上方集合[1] であるとは、
- 任意の と について、 ならば
が成り立つことを言う。
双対な概念として 下方集合 がある。部分集合 で
- 任意の と について、 ならば
を満たすものである。
下方集合の同義語としてイデアルが用いられることがある。[2][3][4] しかし、この用語の選択は束のイデアルを反映していない。というのも、束における下方集合は部分束になるとは限らないからである。[2]
性質
編集- 順序集合はそれ自体が自身における上方集合である。
- 上方集合の族の共通部分と和はまた上方集合である。
- 上方集合の補集合は下方集合である。逆も然り。
- を半順序集合として、 での上方集合全体に包含関係で順序を入れたものは完備束をなし、upper set lattice と呼ばれる。
- 順序集合 の部分集合 に対して、それを含む最小の上方集合は で表される(#上方閉包と下方閉包を参照)。
- 双対的に、 を含む最小の下方集合は で表される。
- シングルトンの下方閉包で作られた下方集合 は principal(単項的)であると呼ばれる。
- 有限順序集合 における下方集合 は の極大元全てを含む最小の下方集合である。
- ここで は の極大元全てからなる集合である。
- 上有向下方集合のことを順序イデアルと呼ぶ。
- 降鎖条件を満たす半順序集合については、反鎖全体と上方集合全体は反鎖に対してその上方閉包を対応させることで全単射の対応がつく; 逆に、上方集合にはその極小元の集合を対応させるのも全単射である。この対応関係は一般の半順序集合には成立しない; 例えば実数全体の集合で と はどちらも空な反鎖に写される。
上方閉包と下方閉包
編集半順序集合 とその元 が与えられたとする。 の上方閉包 (upper closure, upward closure) を で表し、それは で定義される。同様に の下方閉包 (lower closure, downward closure) を で表し、それは で定義される。
さらに一般化して、部分集合 が与えられたときに、 の上方/下方閉包をそれぞれ と で表し、それは で定義される。
このようにすると , であるが、このような形の上方/下方集合は principal(単項的)であるという。集合の上方/下方閉包はそれを含む最小の上方/下方集合である。
上方/下方閉包を取る操作を の冪集合からの自身への関数と見なしたとき、クラトフスキーの閉包公理を全て満たすため、閉包作用素の一例となっている。その結果、ある集合の上方閉包は、その集合を含む全ての上方集合の交叉に等しくなり、下方集合についても同様である。(実際、これは閉包作用素の一般的な現象である。例えば、ある集合の位相的閉包はそれを含む全ての閉集合の交叉であり; ベクトルの集合の線型包はそれらを含む線型部分空間は全ての交叉であり; 群の部分集合から生成される部分群はそれを含む部分群全ての交叉であり; 環の部分集合から生成されるイデアルはそれを含む全てのイデアルの交叉である; など。)
順序数
編集順序数は通常それより小さい順序数全てによる集合で定義される。つまり、各順序数は順序数全体からなるクラスにおける下方集合の形になっている。順序は集合の包含関係による全順序である。
関連項目
編集参考文献
編集- ^ a b Dolecki & Mynard 2016, pp. 27–29.
- ^ a b Brian A. Davey; Hilary Ann Priestley (2002). Introduction to Lattices and Order (2nd ed.). Cambridge University Press. pp. 20, 44. ISBN 0-521-78451-4. LCCN 2001-43910
- ^ Stanley, R.P. (2002). Enumerative combinatorics. Cambridge studies in advanced mathematics. 1. Cambridge University Press. p. 100. ISBN 978-0-521-66351-9
- ^ Lawson, M.V. (1998). Inverse semigroups: the theory of partial symmetries. World Scientific. p. 22. ISBN 978-981-02-3316-7
- Blanck, J. (2000). “Domain representations of topological spaces”. Theoretical Computer Science 247 (1–2): 229–255. doi:10.1016/s0304-3975(99)00045-6 .
- Template:Dolecki Mynard Convergence Foundations Of Topology
- Hoffman, K. H. (2001), The low separation axioms (T0) and (T1)