集合 の部分集合の性質が”閉じている”性質であるとは,
(1) がその性質を持っている.
(2) 閉じている性質を持つ部分集合の共通集合がその性質を持っている.
ときにいいます.
順序集合 の任意の部分集合 が において上限, 下限をもつとき, は完備であるという.
完備な順序集合 の任意のふたつの元 からなる部分集合 も, 仮定から上限 , 下限 をもつから束である.
完備束 の部分集合 が次の条件を満たしているとする.
(i) の最大元 について,
(ii) ならば
この条件は閉じている. なぜならば 完備束 自身は (i), (ii) を満たしており, (i), (ii)を満たす部分集合からなる共通集合 も (i), (ii) を満たすからである.
このとき は完備束となる.
[証明] の任意の部分集合 について, (ii) より . 次に の部分集合 を の上界全部からなる集合とする. (i) から で は空でない. したがって (ii) より となる. このとき は の上限である. すなわち . なぜならば任意の は の下界であり, 下限の定義から が任意の について成り立ち, は の上界である. さらに任意の に対して であるから, に対する最小の上界となっている. 以上から の任意の部分集合 に対して が成り立つので は完備束である.
(証明終)
closure property: 閉じた性質 は次のように特徴づけられます.
集合 の部分集合からなる集合族 が Moore family (ムーア(集合)族)であるとは次の条件を満たすものをいう.
(i)
(ii)
また, 閉じた性質は 次の閉じた"作用"と結びつきます.
集合 における closure operation (閉包作用子, または閉包演算)とは のべき集合 からそれ自身への写像
で, 次の条件を満たすものをいう.
任意の について,
(C1)
(C2)
(C3)
また, このように与えられた closure operation について が,
であるとき, は closed (閉集合) であるという.
closure property という概念と, closure operation という概念は同じであることを示します. すなわち,
集合 に与えられた closure operation による closed な部分集合族は Moore family をなし, 逆に Moore family はある閉包作用子をなす.
集合 にある closure operation が与えられ, を closed な の部分集合からなる集合系とする. この意味で, について,
である.
が Moore family であることを示したいので,
(i)
(ii)
を確認する. まず (C1) から . また, なので . よって となり は closed であるので .
次に を closed な部分集合, すなわち とし, とおく. このとき であり, (C3) から .
であったから, . よって . 一方, (C1) より なので, , すなわち は closed であって . 以上より は Moore family である.
逆に を の Moore family とし, について の共通集合 を と定義する. は Moore family で, (i) から なので少なくともそのような集合は存在する. このように定めた が,
(C1)
(C2)
(C3)
を満たすことを示す.
まず, 任意の は を含むので となり, (C1) が成り立つ.
次に を を含む任意の の元とする. なので . よって , すなわち .
最後に として, を を含む の元, を を含む の元とする.
より, . であったから . よって .
すなわち (C3) が成り立つ. (証明終)
ところでわたしは一般教養(?) として位相論の初歩を学びましたが, 松坂和夫先生の「集合・位相入門」の p.158, 159 にこの閉包作用子について書かれていることに気が付きました. そこでは次のように説明がされています.
を空でない集合とし, 写像
が次の性質を持つとき, にある位相が導入される.
[K i]
[K ii]
[K iii]
[K iv]
このような閉包作用子は Kuratowski の閉包作用子 とよばれて, 一方 [K i] が除かれて, [K ii] と [K iv] と,
[K iii']
を満たす閉包作用子のことを Moore の閉包作用子とよびます.
Kuratowski の閉包作用子が位相をなすのに対して, Moore の閉包作用子は先にみたように Moore family という位相の閉集合系の性質を部分的にもつ(弱い?)集合系をなします. ここで疑問なのですが, Moore の閉包作用子は位相をつくることができるのでしょうか. Moore の閉包作用子は 台集合 に対して が成り立ちますが, は成り立つでしょうか. もちろん Kuratowski の閉包作用子については [K i] からそれがいえますが, [K i] を除いた Moore の閉包作用子について, [K i] は成り立つでしょうか.
ただここでは Moore family についてだけ考えればよいので, この疑問はちょっと脇道にそれた質問です.
集合 に与えられた Moore family は包含関係において完備束をなす.
を の Moore family とし, をその部分集合とする. 示したいのは, であること.
まず がなにかというと, である. 丁寧にそのことを示すと, 任意の に対して, であるから は の下界である. また, を の任意の下界であるとすると, すなわち とすると, 任意の について であって, それはつまり であるから, . よって は の最大の下界, 下限である. では は に属するだろうか. それは Moore family の定義からいえる;
次に について考える. 最初にいうと
である. 与えられた Moore family について導入された Moore の閉包作用子 の性質から, 任意の について,
が成り立つから は の上界である. また を の上界として
であることを示したい. とはなにかというと, 定義から, をみたす の共通集合である;
いま を の におけるひとつの上界としたから, 任意の に関して であるので, である. また, であるので, は のひとつの元であるので, が成り立つ. すなわち . つまり は の における最小の上界, 上限である. また Moore family の定義から明らかに である. (*)
以上から の任意の部分集合 には上限と下限が存在するので, は完備束である.(証明終)
(*) これはよくわからなかったのですが, 一般的に であるかどうかはわかりません. ただ, その閉集合 はたしかに の元となります. つまりなにが言いたいかというと, とか,
であることがある, ということです.
最後にひとつ疑問なのですが, 集合に入れられた Moore family から導入される Moore の閉包作用子が, 再びつくる Moore family はもとの Moore family と一致するのでしょうか. つまり集合 の Moore family が与えられたとき, に対するその閉集合 を, をみたす部分集合の共通集合 として定めるときの Moore の閉包作用子 について, 集合系 をつくったとして, か, ということです. これは
であるかとういことで, Moore family という閉集合系っぽい集合系の元は閉集合か, ということにもなります. そう考えてみるとあたりまえというか, そうであってほしいと思いますし, 純粋に証明できると思うのですが, 今日は雨なのでわたしはもう眠ることにします.
起きました. ちょっとわかったような気がします.
についてなのですが, 問題なのは であるときがある, ということです. 整理すると, が与える Moore の閉包作用子 というのは を含む “” の共通集合のことで, それ自身が に入っているか, つまり かはまだわからない, ということです. しかしもし なら, それ自身は を含む の元 のひとつとなる, つまり となるので, 当然 となり, これはすなわち を意味します. は 閉包作用子の性質からいえるので が成り立ちます. よって,
が成り立ちます.
逆の
は次のように簡単に示すことができるとおもいます.
を を含む部分集合とすると, 上でも整理したように であって, これがもし それ自身と等しいなら, を意味して, は Moore family なのでその定義から , よって .
もしこの証明が正しければ, 与えられた Moore family によって導入される Moore の閉包作用子が再びなす Moore family はもとの Moore family と一致することがいえます. なにかまちがっているところがあったらぜひ教えてください.