目次
- 初めに
- 基本近傍系について
- 稠密について
- メイントピック
初めに この記事では、完全不連結コンパクトハウスドルフ位相群 の部分群 が において稠密となる必要十分条件について書きます⭐
基本近傍系について 以下の定義は
【Mathpedia】定義 2.5 (基本近傍系)
を参考にさせていただきました。
基本近傍系
位相空間 の部分集合族 が の基本近傍系であるとは、以下の条件を満たすことをいう:
任意の は の近傍である。
の任意の近傍 に対して、 となる が存在する。
次の補題によって完全不連結コンパクトハウスドルフ位相群の基本近傍系がわかります。
を完全不連結コンパクトハウスドルフ位相群、 を の正規開部分群全体とする。このとき、 は の単位元 の基本近傍系である。
単位元の基本近傍系 は重要です。 とすると同相写像 によって から の基本近傍系 が定まるからです。
稠密について 以下の定義は、
【Mathpedia】定義 4.10 (稠密)
と
【Mathpedia】命題 4.11 (部分集合が稠密であることの言い換え)
を参考にさせていただきました。
稠密
位相空間 の部分集合 が において稠密であるとは、 の空でない任意の開集合 に対して が成り立つことをいう。
これはどんな開集合を選んでもその中に の元が入り込んでくることを表しています。 のどの点に対してもその点のかなり近いところに の点がいるようなイメージです。(「 が において稠密 の閉包は に等しい」が成り立ちます。)
メイントピック以下の命題は参考文献[1] p.190 定理7.17証明中を参考にさせていただきました。
を完全不連結コンパクトハウスドルフ位相群、 を の部分群、 を の正規開部分群全体とする。このとき、以下は同値である:
任意の に対して である。
は において稠密である。
◆
を の空でない任意の開集合とすると、 となるような と正規開部分群 が存在する。 より となるような が存在する。 でもあるから となる。したがって は において稠密である。
◆
は において稠密であるから、任意の に対して となる。よって である。