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

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

415
0
$$$$

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

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

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

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

完備束 $L$ の部分集合 $S$ が次の条件を満たしているとする.
(i) $L$ の最大元 $I$ について, $I \in S$
(ii) $T \subset S$ ならば $\inf{T} \in S$
この条件は閉じている. なぜならば 完備束 $L$ 自身は (i), (ii) を満たしており, (i), (ii)を満たす部分集合からなる共通集合 $\bigcap S_{\alpha}$ も (i), (ii) を満たすからである.

このとき $S$ は完備束となる.
[証明] $S$ の任意の部分集合 $T$ について, (ii) より $\inf{T} \in S$. 次に $S$ の部分集合 $U$$T$ の上界全部からなる集合とする. (i) から $I \in U$$U$ は空でない. したがって (ii) より $\inf{U} \in S$ となる. このとき $\inf{U}$$T$ の上限である. すなわち $\inf{U} = \sup{T}$. なぜならば任意の $t \in T$$U$ の下界であり, 下限の定義から $t \leqq \inf{U}$ が任意の $t \in T$ について成り立ち, $\inf{U}$$T$ の上界である. さらに任意の $u \in U$ に対して $\inf{U} \leqq u$ であるから, $T$ に対する最小の上界となっている. 以上から $S$ の任意の部分集合 $T$ に対して $\inf{T}, \sup{T} \in S$ が成り立つので $S$ は完備束である.
(証明終)

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

集合 $I$ の部分集合からなる集合族 $\mathcal{F}$ が Moore family (ムーア(集合)族)であるとは次の条件を満たすものをいう.
(i) $I \in \mathcal{F}$
(ii) $X_{\alpha} \in \mathcal{F} \Rightarrow \bigcap X_{\alpha} \in \mathcal{F}$

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

集合 $I$ における closure operation (閉包作用子, または閉包演算)とは $I$ のべき集合 $\mathfrak{P} (I)$ からそれ自身への写像
$$ cl : \mathfrak{P}(I) \ni X \mapsto \overline{X} \in \mathfrak{P}(I) $$
で, 次の条件を満たすものをいう.
任意の $X, Y \subset I$ について,
(C1) $X \subset \overline{X}$
(C2) $\overline{\overline{X}} = \overline{X}$
(C3) $X \subset Y \Rightarrow \overline{X} \subset \overline{Y}$
また, このように与えられた closure operation について $X \subset I$ が,
$$\overline{X} = X$$
であるとき, $X$ は closed (閉集合) であるという.

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

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

集合 $I$ にある closure operation が与えられ, $\mathcal{F}$ を closed な $I$ の部分集合からなる集合系とする. この意味で, $\mathcal{F}$ について,
$$X \in \mathcal{F} \Leftrightarrow X \, \mbox{は closed}$$
である.
$\mathcal{F}$ が Moore family であることを示したいので,
(i) $I \in \mathcal{F}$
(ii) $X_{\alpha} \in \mathcal{F} \Rightarrow \bigcap X_{\alpha} \in \mathcal{F}$
を確認する. まず (C1) から $I \subset \overline{I}$. また, $\overline{I} \in \mathfrak{P}(I)$ なので $\overline{I} \subset I$. よって $\overline{I} = I$ となり $I$ は closed であるので $I \in \mathcal{F}$.
次に $X_{\lambda} \, (\lambda \in \Lambda)$ を closed な部分集合, すなわち $\forall \lambda \in \Lambda, X_{\lambda} \in \mathcal{F}$ とし, $\displaystyle \bigcap_{\lambda \in \Lambda} X_{\lambda} = D$ とおく. このとき $\forall \lambda \in \Lambda, D \subset X_{\lambda}$ であり, (C3) から $\forall \lambda \in \Lambda, \overline{D} \subset \overline{X_{\lambda}}$.
$\overline{X_{\lambda}} = X_{\lambda}$ であったから, $\forall \lambda \in \Lambda, \overline{D} \subset X_{\lambda}$. よって $\overline{D} \subset \displaystyle \bigcap_{\lambda \in \Lambda} X_{\lambda} = D$. 一方, (C1) より $D \subset \overline{D}$ なので, $D = \overline{D}$, すなわち $D$ は closed であって $D = \displaystyle \bigcap_{\lambda \in \Lambda} X_{\lambda} \in \mathcal{F}$. 以上より $\mathcal{F}$ は Moore family である.
逆に $\mathcal{F}$$I$ の Moore family とし, $X \subset I$ について $ X \subset F_{\alpha} \in \mathcal{F}$ の共通集合 $\bigcap F_{\alpha}$$\overline{X}$ と定義する. $\mathcal{F}$ は Moore family で, (i) から $I \in \mathcal{F}$ なので少なくともそのような集合は存在する. このように定めた $\overline{X}$ が,
(C1) $X \subset \overline{X}$
(C2) $\overline{\overline{X}} = \overline{X}$
(C3) $X \subset Y \Rightarrow \overline{X} \subset \overline{Y}$
を満たすことを示す.
まず, 任意の $F_{\alpha}$$X$ を含むので $X \subset \bigcap F_{\alpha} = \overline{X}$ となり, (C1) が成り立つ.
次に $F_{\alpha}$$\overline{X}$ を含む任意の $\mathcal{F}$ の元とする. $\overline{X} \in \mathcal{F}$ なので $\overline{X} \in \{ F_{\alpha} \}$. よって $\bigcap F_{\alpha} \subset \overline{X}$, すなわち $\overline{\overline{X}} \subset \overline{X}$.
最後に $X \subset Y \subset I$ として, $F_{\alpha}$$X$ を含む $\mathcal{F}$ の元, $E_{\beta}$$Y$ を含む $\mathcal{F}$ の元とする.
$\forall E_{\beta}, \, Y \subset E_{\beta}$ より, $Y \subset \bigcap E_{\beta} \in \mathcal{F}$. $X \subset Y$ であったから $\bigcap E_{\beta} \in \{ F_{\alpha} \}$. よって $\bigcap F_{\alpha} \subset \bigcap E_{\beta} \Leftrightarrow \overline{X} \subset \overline{Y}$.
すなわち (C3) が成り立つ. (証明終)

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

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

$\mathcal{F}$$I$ の Moore family とし, $\{ X_{\alpha} \}$ をその部分集合とする. 示したいのは, $\inf{\{X_{\alpha}\}}, \sup{\{X_{\alpha}\}} \in \mathcal{F}$ であること.
まず $\inf{\{X_{\alpha}\}}$ がなにかというと, $\bigcap X_{\alpha}$ である. 丁寧にそのことを示すと, 任意の $X_{\alpha}$ に対して, $\bigcap X_{\alpha} \subset X_{\alpha}$ であるから $\bigcap X_{\alpha}$$\{ X_{\alpha} \}$ の下界である. また, $L \in \mathcal{F}$$\{ X_{\alpha} \}$ の任意の下界であるとすると, すなわち $\forall X_{\alpha} \, , L \subset X_{\alpha}$ とすると, 任意の $l \in L$ について $l \in X_{\alpha} \, , \, \forall X_{\alpha}$ であって, それはつまり $l \in \bigcap X_{\alpha}$ であるから, $L \subset \bigcap X_{\alpha}$. よって $\bigcap X_{\alpha}$$\{ X_{\alpha} \}$ の最大の下界, 下限である. では $\inf{\{ X_{\alpha} \}} = \bigcap X_{\alpha}$$\mathcal{F}$ に属するだろうか. それは Moore family の定義からいえる;
$$\{ X_{\alpha} \} \subset \mathcal{F} \Rightarrow [\forall X_{\alpha} \in \mathcal{F} \Rightarrow \bigcap X_{\alpha} \in \mathcal{F}]$$
次に $\sup{\{ X_{\alpha} \}}$ について考える. 最初にいうと
$$\sup_{\mathcal{F}}{\{ X_{\alpha} \}} = \overline{\bigcup X_{\alpha}}$$
である. 与えられた Moore family $\mathcal{F}$ について導入された Moore の閉包作用子 $\mathfrak{P}(I) \ni X \mapsto \overline{X} \in \mathfrak{P}(I)$ の性質から, 任意の $X_{\alpha}$ について,
$$X_{\alpha} \subset \bigcup X_{\alpha} \subset \overline{\bigcup X_{\alpha}}$$
が成り立つから $\overline{\bigcup X_{\alpha}}$$\{ X_{\alpha} \}$ の上界である. また $U \in \mathcal{F}$$\{ X_{\alpha} \}$ の上界として
$$\overline{\bigcup X_{\alpha}} \subset U$$
であることを示したい. $\overline{\bigcup X_{\alpha}}$ とはなにかというと, 定義から, $\bigcup X_{\alpha} \subset F_{\lambda}$ をみたす $F_{\lambda} \in \mathcal{F}$ の共通集合である;
$$\overline{\bigcup X_{\alpha}} = \bigcap F_{\lambda}$$
いま $U$$\{ X_{\alpha} \}$$\mathcal{F}$ におけるひとつの上界としたから, 任意の $X_{\alpha}$ に関して $X_{\alpha} \subset U$ であるので, $\bigcup X_{\alpha} \subset U$ である. また, $U \in \mathcal{F}$ であるので, $U$$\{ F_{\lambda} \}$ のひとつの元であるので, $\bigcap F_{\lambda} \subset U$ が成り立つ. すなわち $\overline{\bigcup X_{\alpha}} \subset U$. つまり $\overline{\bigcup X_{\alpha}}$$\{ X_{\alpha} \}$$\mathcal{F}$ における最小の上界, 上限である. また Moore family の定義から明らかに $\overline{\bigcup X_{\alpha}} \in \mathcal{F}$ である. (*)
以上から $\mathcal{F}$ の任意の部分集合 $\{ X_{\alpha} \}$ には上限と下限が存在するので, $\mathcal{F}$ は完備束である.(証明終)

(*) これはよくわからなかったのですが, 一般的に $\bigcup X_{\alpha} \in \mathcal{F}$ であるかどうかはわかりません. ただ, その閉集合 $\overline{\bigcup X_{\alpha}}$ はたしかに $\mathcal{F}$ の元となります. つまりなにが言いたいかというと, $\bigcup X_{\alpha} \notin \mathcal{F}$ とか,
$$\sup_{\mathfrak{P}(I)}{\{ X_{\alpha} \}} = \bigcup X_{\alpha} \neq \sup_{\mathcal{F}}{\{ X_{\alpha} \}} = \overline{\bigcup X_{\alpha}}$$
であることがある, ということです.

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

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

もしこの証明が正しければ, 与えられた 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

この記事を高評価した人

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

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

バッジはありません。

投稿者

isumi
isumi
6
1696

コメント

他の人のコメント

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