1
大学数学基礎解説
文献あり

閉じた性質がなす完備束について

455
0

集合 C の部分集合の性質が”閉じている”性質であるとは,
(1) C がその性質を持っている.
(2) 閉じている性質を持つ部分集合の共通集合がその性質を持っている.
ときにいいます.

順序集合 L の任意の部分集合 XL において上限, 下限をもつとき, L は完備であるという.

順序集合 L が完備であるとき, L は完備束である

完備な順序集合 L の任意のふたつの元 x,y からなる部分集合 {x,y} も, 仮定から上限 sup{x,y}=xy, 下限 inf{x,y}=xy をもつから束である.

完備束 L の部分集合 S が次の条件を満たしているとする.
(i) L の最大元 I について, IS
(ii) TS ならば infTS
この条件は閉じている. なぜならば 完備束 L 自身は (i), (ii) を満たしており, (i), (ii)を満たす部分集合からなる共通集合 Sα も (i), (ii) を満たすからである.

このとき S は完備束となる.
[証明] S の任意の部分集合 T について, (ii) より infTS. 次に S の部分集合 UT の上界全部からなる集合とする. (i) から IUU は空でない. したがって (ii) より infUS となる. このとき infUT の上限である. すなわち infU=supT. なぜならば任意の tTU の下界であり, 下限の定義から tinfU が任意の tT について成り立ち, infUT の上界である. さらに任意の uU に対して infUu であるから, T に対する最小の上界となっている. 以上から S の任意の部分集合 T に対して infT,supTS が成り立つので S は完備束である.
(証明終)

closure property: 閉じた性質 は次のように特徴づけられます.

集合 I の部分集合からなる集合族 F が Moore family (ムーア(集合)族)であるとは次の条件を満たすものをいう.
(i) IF
(ii) XαFXαF

また, 閉じた性質は 次の閉じた"作用"と結びつきます.

集合 I における closure operation (閉包作用子, または閉包演算)とは I のべき集合 P(I) からそれ自身への写像
cl:P(I)XXP(I)
で, 次の条件を満たすものをいう.
任意の X,YI について,
(C1) XX
(C2) X=X
(C3) XYXY
また, このように与えられた closure operation について XI が,
X=X
であるとき, X は closed (閉集合) であるという.

closure property という概念と, closure operation という概念は同じであることを示します. すなわち,

集合 I に与えられた closure operation による closed な部分集合族は Moore family をなし, 逆に Moore family はある閉包作用子をなす.

集合 I にある closure operation が与えられ, F を closed な I の部分集合からなる集合系とする. この意味で, F について,
XFXは closed
である.
F が Moore family であることを示したいので,
(i) IF
(ii) XαFXαF
を確認する. まず (C1) から II. また, IP(I) なので II. よって I=I となり I は closed であるので IF.
次に Xλ(λΛ) を closed な部分集合, すなわち λΛ,XλF とし, λΛXλ=D とおく. このとき λΛ,DXλ であり, (C3) から λΛ,DXλ.
Xλ=Xλ であったから, λΛ,DXλ. よって DλΛXλ=D. 一方, (C1) より DD なので, D=D, すなわち D は closed であって D=λΛXλF. 以上より F は Moore family である.
逆に FI の Moore family とし, XI について XFαF の共通集合 FαX と定義する. F は Moore family で, (i) から IF なので少なくともそのような集合は存在する. このように定めた X が,
(C1) XX
(C2) X=X
(C3) XYXY
を満たすことを示す.
まず, 任意の FαX を含むので XFα=X となり, (C1) が成り立つ.
次に FαX を含む任意の F の元とする. XF なので X{Fα}. よって FαX, すなわち XX.
最後に XYI として, FαX を含む F の元, EβY を含む F の元とする.
Eβ,YEβ より, YEβF. XY であったから Eβ{Fα}. よって FαEβXY.
すなわち (C3) が成り立つ. (証明終)

ところでわたしは一般教養(?) として位相論の初歩を学びましたが, 松坂和夫先生の「集合・位相入門」の p.158, 159 にこの閉包作用子について書かれていることに気が付きました. そこでは次のように説明がされています.
S を空でない集合とし, 写像
cl:P(S)MMP(S)
が次の性質を持つとき, S にある位相が導入される.
[K i] =
[K ii] MP(S),MM
[K iii] M,NP(S),MN=MN
[K iv] MP(S),M=M
このような閉包作用子は Kuratowski の閉包作用子 とよばれて, 一方 [K i] が除かれて, [K ii] と [K iv] と,
[K iii'] M,NP(S),MNMN
を満たす閉包作用子のことを Moore の閉包作用子とよびます.
Kuratowski の閉包作用子が位相をなすのに対して, Moore の閉包作用子は先にみたように Moore family という位相の閉集合系の性質を部分的にもつ(弱い?)集合系をなします. ここで疑問なのですが, Moore の閉包作用子は位相をつくることができるのでしょうか. Moore の閉包作用子は 台集合 S に対して S=S が成り立ちますが, = は成り立つでしょうか. もちろん Kuratowski の閉包作用子については [K i] からそれがいえますが, [K i] を除いた Moore の閉包作用子について, [K i] は成り立つでしょうか.
ただここでは Moore family についてだけ考えればよいので, この疑問はちょっと脇道にそれた質問です.

集合 I に与えられた Moore family F は包含関係において完備束をなす.

FI の Moore family とし, {Xα} をその部分集合とする. 示したいのは, inf{Xα},sup{Xα}F であること.
まず inf{Xα} がなにかというと, Xα である. 丁寧にそのことを示すと, 任意の Xα に対して, XαXα であるから Xα{Xα} の下界である. また, LF{Xα} の任意の下界であるとすると, すなわち Xα,LXα とすると, 任意の lL について lXα,Xα であって, それはつまり lXα であるから, LXα. よって Xα{Xα} の最大の下界, 下限である. では inf{Xα}=XαF に属するだろうか. それは Moore family の定義からいえる;
{Xα}F[XαFXαF]
次に sup{Xα} について考える. 最初にいうと
supF{Xα}=Xα
である. 与えられた Moore family F について導入された Moore の閉包作用子 P(I)XXP(I) の性質から, 任意の Xα について,
XαXαXα
が成り立つから Xα{Xα} の上界である. また UF{Xα} の上界として
XαU
であることを示したい. Xα とはなにかというと, 定義から, XαFλ をみたす FλF の共通集合である;
Xα=Fλ
いま U{Xα}F におけるひとつの上界としたから, 任意の Xα に関して XαU であるので, XαU である. また, UF であるので, U{Fλ} のひとつの元であるので, FλU が成り立つ. すなわち XαU. つまり Xα{Xα}F における最小の上界, 上限である. また Moore family の定義から明らかに XαF である. (*)
以上から F の任意の部分集合 {Xα} には上限と下限が存在するので, F は完備束である.(証明終)

(*) これはよくわからなかったのですが, 一般的に XαF であるかどうかはわかりません. ただ, その閉集合 Xα はたしかに F の元となります. つまりなにが言いたいかというと, XαF とか,
supP(I){Xα}=XαsupF{Xα}=Xα
であることがある, ということです.

最後にひとつ疑問なのですが, 集合に入れられた Moore family から導入される Moore の閉包作用子が, 再びつくる Moore family はもとの Moore family と一致するのでしょうか. つまり集合 I の Moore family FP(I) が与えられたとき, XP(I) に対するその閉集合 X を, XFα をみたす部分集合の共通集合 Fα として定めるときの Moore の閉包作用子 P(I)XXP(I) について, 集合系 F={XP(I)|X=X} をつくったとして, F=F か, ということです. これは
XFX=X
であるかとういことで, Moore family という閉集合系っぽい集合系の元は閉集合か, ということにもなります. そう考えてみるとあたりまえというか, そうであってほしいと思いますし, 純粋に証明できると思うのですが, 今日は雨なのでわたしはもう眠ることにします.

起きました. ちょっとわかったような気がします.
XFX=X
についてなのですが, 問題なのは XF であるときがある, ということです. 整理すると, FP(I) が与える Moore の閉包作用子 X というのは X を含む “FαF” の共通集合のことで, X それ自身が {Fα} に入っているか, つまり XF かはまだわからない, ということです. しかしもし XF なら, X それ自身は X を含む F の元 Fα のひとつとなる, つまり X{Fα}F となるので, 当然 FαX となり, これはすなわち XX を意味します. XX は 閉包作用子の性質からいえるので X=X が成り立ちます. よって,
XFX=X
が成り立ちます.
逆の
X=XXF
は次のように簡単に示すことができるとおもいます.
FαFX を含む部分集合とすると, 上でも整理したように X=Fα であって, これがもし X それ自身と等しいなら, X=Fα を意味して, F は Moore family なのでその定義から FαF, よって XF.

もしこの証明が正しければ, 与えられた Moore family によって導入される Moore の閉包作用子が再びなす Moore family はもとの Moore family と一致することがいえます. なにかまちがっているところがあったらぜひ教えてください.

参考文献

[1]
G. Birkhoff, Lattice Theory, AMERICAN MATHEMATICAL SOCIETY, 1940, pp. 111-112
[2]
松坂和夫, 集合・位相入門, 岩波書店, 1968, pp. 158-159
[3]
岩村聯, 復刊 束論, 共立出版, 1966, pp.38
投稿日:202174
OptHub AI Competition

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。
バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

isumi
isumi
6
1934

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中