2016-02-20

一様空間１

数学ジェネトポ

一様空間に関して勉強したことのまとめを作っているのですが、（まだ何もかけてないですが）ひと段落ついたので第一弾としてブログに載せます。

これからたくさん書き足していきますが、その都度ひと段落ついたらブログに載せる、みたいにしようと思います。

今の段階で書いてあること：一様空間の定義と、ゲージ化、埋め込み、位相群に関するBirkhoff-角谷の定理、らへんです。

少しだけ訂正とかをしました.

2016-02-12

Čech完備の話

数学ジェネトポ

ツイッターで話題になっていたので、定義や簡単な性質や面白い話題（完備距離化可能性）などをまとめようと思います。

これから考える空間はすべて完全正則ハウスドルフです。

※あとで前提知識のところを補う記事を書きます。

〜〜〜〜〜〜

《前提知識》

（１）完全正則空間 ${X}$ からコンパクトハウスドルフ空間 ${Y}$ への任意の連続写像 ${f:X\to Y}$ がStone-Čechコンパクト化上の連続写像 ${\beta f :\beta X \to Y}$ に一意に拡張されます。また、任意のコンパクト化 ${\alpha X}$ に対し、 ${X}$ の点を動かさない連続写像 ${f:\beta X\to \alpha X}$ があります。この写像を射影と言います。 ${f:\beta X\to \alpha X}$ が射影のとき、 ${f(\beta X \setminus X ) = \alpha X \setminus X}$ となることが知られています。Stone-Čechコンパクト化についてはこちらが参考になると思います→

（２）距離空間は全体正規です。これに関してはこちらの記事のpdfに書いてあります→パラコンパクト

（３）Alexandroff-Uryshonの距離化定理を軽く使います。正規列を成す展開列を持つ空間は距離化可能というものです。位相空間 ${X}$ の正規列とは、開被覆の列 ${\mathcal{U}_n}$ であって、各 ${n}$ について星形集合 ${\mathcal{U}_{n+1}^{\Delta} = \{ \mathrm{St}(x, \mathcal{U}_{n+1} ) : x\in X \} }$ （ただし、 ${\mathrm{St}(x, \mathcal{U}_{n+1} ) = \bigcup\{ U : x\in U\in \mathcal{U}_{n+1} \} }$ ）が ${\mathcal{U}_n}$ を細分するようなものです。展開列とは、開被覆の列 ${\mathcal{U}_n}$ であって ${\{ \mathrm{St}( x,\mathcal{U}_n ) : n \in \mathbb{N} \} }$ が各 ${x}$ の基本近傍系を成すものです。意識さんのブログのこの記事が参考になると思います→距離化可能定理part1:Alexandroff-Urysohn-Tukey

（４）正規列に対して、その正規列をある意味測るような擬距離が定義されます。詳しく述べると次のようになります：空間 ${X}$ の正規列 ${\mathcal{U}_n , }$ に対し、 ${X}$ 上の擬距離 ${d}$ であって、 ${\mathcal{U}_{2(n+1)}^\Delta \lt \{ S_d(x,2^{-n} ) : n\in \mathbb{N} \} \lt \mathcal{U}_{2n}^\Delta }$ となるものがある。ここで ${S_d(x:2^{-n} )=\{ y \in X: d(x,y) \lt 2^{-n} \} }$ はこの擬距離での開球。これに関してはこちらが参考になると思います→一様空間１ - yujitomoのブログ

（５）集合 ${X}$ の有限交叉性を持つ空でない部分集合の族 ${\mathcal{F}}$ を ${\mathcal{F}}$ をフィルターベースと言い、フィルターベースがさらに ${A\in \mathcal{F} , A\subset B \Rightarrow B\in \mathcal{F}}$ と ${A,B\in \mathcal{F} \Rightarrow A\cap B\in \mathcal{F} }$ を満たすときにフィルターと言います。フィルター全体には包含関係で順序が入り、Zornの補題から極大フィルターの存在を知ります。また、フィルターベースは自然に極大フィルターを生成します。極大フィルターは任意の部分集合 ${A}$ について ${A}$ か ${A}$ の補集合の一方を含みます。

例えば位相空間である点の近傍系などはフィルターです（近傍フィルターと言います）。位相空間のフィルター ${\mathcal{F}}$ がある点 ${x}$ の近傍系を部分集合に含むとき、フィルター ${\mathcal{F}}$ は ${x}$ に収束すると言います。容易に分かることですが、コンパクト空間であることと任意の極大フィルターが収束することは同値です。

${ \bigcap \overline{\mathcal{F}} = \bigcap \{ \overline{F} : F\in \mathcal{F} \} }$ の点をフィルター ${\mathcal{F}}$ の触点と言い、これが空でないときにフィルターは触点を持つと言います。容易にわかることですが、ハウスドルフ空間の近傍フィルターの触点は一点集合からなります。

これだけの前提知識を仮定しておけば一応読めると思います。一様空間の完備性に関してコーシーフィルターの話がありますが、今回はその知識は必要ないでしょう。フィルターは結構使います。

〜〜〜〜〜〜

【定義１】

・完全正則空間 ${X}$ について、 ${X}$ がStone-Čechコンパクト化 ${\beta X}$ の中でGδ集合となるとき、Čech完備（Čech-Complete）であると言う。

・完全正則空間 ${X}$ は、任意の拡張空間（ ${X}$ を稠密部分集合として含む空間） ${Y}$ の中でGδ集合であるとき、絶対Gδ（absolute Gδ）であると言う。■

例えば、これは手頃な演習問題ですが、局所コンパクトであれば任意の拡張空間の中で開なので絶対GδでありČech完備となります。

次の命題は、これからの話の中で中心的役割を果たす命題です：

【命題１】

完全正則空間 ${X}$ について、次はすべて同値：

（１） ${X}$ はČech完備。

（２） ${X}$ はあるコンパクト化の中でGδ。

（３） ${X}$ は任意のコンパクト化の中でGδ。

（４） ${X}$ は絶対Gδ。

（５）次を満たす開被覆の列 ${\mathcal{U}_n}$ がある： ${\forall n \in \mathbb{N} , \mathcal{U}_n \cap \mathcal{F} \neq \emptyset }$ となるフィルター ${\mathcal{F}}$ は触点を持つ。

（証明）

（４）⇒（３）、（３）⇒（２）は自明。（２）⇒（１）は、あるコンパクト化 ${\alpha X}$ でGδであるとき、射影 ${f:\beta X \to \alpha X}$ で引き戻すことを考えれば ${\beta X}$ でもGδとなることがわかるのでほぼ自明。

（１）⇒（５）

${X}$ は ${\beta X}$ でGδなので、 ${\beta X}$ の可算個の開集合 ${W_n}$ があって ${X=\bigcap_n W_n }$ と書ける。

各点 ${x\in X}$ に対して ${x\in W_n(x) \subset \mathrm{Cl}_{\beta X}(W_n(x)) \subset W_n}$ となる ${W(x)}$ をとり、 ${\mathcal{U}_n =\{ U_n(x) : x\in X \} , U_n(x)=W_n(x)\cap X }$ と置く。この ${\mathcal{U}_n}$ が条件を満たすことを言えば良い。

${\mathcal{F}}$ を（５）の条件を満たすフィルターとすると、有限交叉性から ${y\in \bigcap\mathrm{Cl}_{\beta X}\mathcal{F} }$ が取れる（ ${\beta X}$ はコンパクト）。ここで ${\mathcal{F}}$ は（５）の条件を満たすから、任意の ${n}$ に対してある ${x}$ があって ${y\in \mathrm{Cl}_{\beta X}(U_n(x))}$ となるが、 ${ \mathrm{Cl}_{\beta X}(U_n(x)) \subset W_n }$ であるから、 ${y\in \bigcap_n W_n =X}$ がわかる。従って ${y\in \bigcap \mathrm{Cl}_{\beta X}\mathcal{F} \cap X = \mathrm{Cl}_X\mathcal{F} }$ 、つまり ${y}$ は $\mathcal{F}$ の触点となる。

（５）⇒（４）

${Y}$ を ${X}$ の拡張空間とする。（５）の条件を満たす開被覆の列 ${\mathcal{U}_n}$ をとり、各 ${U\in \mathcal{U}_n}$ に対して ${Y}$ の開集合 ${U'}$ を ${U=U'\cap X}$ となるようとる。 ${Y}$ の開集合の列を ${W_n=\bigcup \{ U' : U\in \mathcal{U}_n \} }$ で定める。

${\bigcap_n W_n \subset X}$ を示せば良いから、 ${y\in \bigcap_n W_n \setminus X}$ をとる。 ${y}$ の近傍フィルターを ${\mathcal{V} }$ とすれば、 ${\mathcal{V}\cap X = \{ V\cap X : V\in \mathcal{V} \} }$ は（５）の条件を満たすので触点 ${z \in \bigcap \mathrm{Cl}_X ( \mathcal{V}\cap X) }$ がある。ここで ${\bigcap \mathrm{Cl}_X ( \mathcal{V}\cap X) \subset \bigcap \mathcal{Cl}_{\beta X} \mathcal{V} }$ であるから ${z}$ は近傍フィルター ${\mathcal{V} }$ の ${\beta X}$ での触点となるが、先に述べた通りハウスドルフ空間の近傍フィルターの触点は一点に限るから ${z=y}$ となる。これは ${z\in X , y\not\in X}$ に反する。□

この命題の（１）⇔（５）と前提知識（３）を合わせて使うことで、完備距離化可能性などの興味深い性質を導くことができます。

Čech完備空間の基本的な性質については次が知られています：

【命題２】

（１）Čech完備空間の閉集合はまたČech完備。

（２）Čech完備空間のGδ集合はまたČech完備。特に開集合はČech完備。

（３）Čech完備空間可算個の積空間はまたČech完備。

（証明）

（１）と（２）は同時に示せる。 ${F}$ をČech完備空間 ${X}$ の閉またはGδ集合とする。命題１（１）⇔（２）から、 ${\mathrm{Cl}_{\beta X}(F) }$ で ${F}$ がGδとなることを示せば良い。 ${X}$ はČech完備であるから、 ${\beta X}$ の可算個の開集合 ${W_n}$ で ${X=\bigcap_n W_n}$ となる。

${F}$ が閉なら、 ${F=X\cap \mathrm{Cl}_{\beta X}(F)}$ なので ${F=\bigcap_n (W_n \cap \mathrm{Cl}_{\beta X} (F) ) }$ となる。

${F}$ がGδなら ${F=\bigcap_n V_n}$ なる ${X}$ の開集合 ${V_n}$ をとって ${V_n=U_n\cap X}$ となる ${\beta X}$ の開集合 ${U_n}$ をとれば、 ${F=\bigcap_n ( U_n\cap W_n \cap \mathrm{Cl}_{\beta X} (F) }$ となる。

以上より閉、Gδのどちらの場合でも ${\mathrm{Cl}_{\beta X}(F)}$ でGδとなることが示された。

（３）は容易。 ${X_n}$ をČech完備空間の可算族とすれば、 ${\prod_n X_n}$ は ${\prod_n \beta X_n}$ でGδなので命題１（１）⇔（２）により示された。◻︎

さて、次は今回のメインテーマであるところの、完備性です。

【完備距離化可能性】

距離空間 ${X}$ について、次は同値：

（１） ${X}$ は完備距離化可能。つまり ${X}$ にはもとの距離以外に、位相の合致する完備な距離が存在する。

（２） ${X}$ はČech完備。

（３） ${X}$ はそれを含む任意の距離空間でGδ。

（証明）

（１）⇒（２）は命題１（１）⇔（５）を使う。 ${d}$ を完備な距離として ${\mathcal{U}_n = \{ S_d(x, 1/2^n ) : x \in X \} }$ が完備性から命題（５）の条件を満たすことを見る。 ${\mathcal{F}}$ を命題（５）の条件を満たすフィルターとすれば、各 ${n}$ についてある ${x_n\in X}$ があって ${S_d(x_n :1/2^n ) \in \mathcal{F} }$ となるがこのとき ${(x_n)}$ はコーシー列となって極限点はこのフィルターの触点である。以上で示された。

（２）⇒（３）は命題１（１）⇔（４）から明らか。（３）⇒（２）を示すために ${X}$ の完備化 ${X^*}$ をとれば、この定理の（１）⇒（２）より ${X^*}$ はČech完備なので命題２（２）から ${X}$ もČech完備となる。従ってあとは（２）⇒（１）が示せれば良い。

（２）⇒（１）。

まず命題１（５）の条件を満たす開被覆の列 ${\mathcal{W}_n}$ をとる。前提知識（２）から距離空間は全体正規なので、正規列となる展開列 ${\mathcal{U}_n}$ により ${\mathcal{U}_n^{\Delta} \lt \mathcal{W}_n }$ の形でそれぞれ細分できる。この正規列に対して前提知識（３）を満たす擬距離 ${d}$ をとれば、展開列をなすことからこれは ${X}$ の位相に合致する距離となる（前提知識（４）Alexandroff-Urysohnの距離化定理）。これが完備な距離であることを示そう。命題１（５）の条件を使う。

コーシー列 ${(x_n)}$ を任意にとれば、各 ${n}$ に対してある ${i_n}$ があって ${j \geq i_n \Rightarrow d(x_j ,x_{i_n} ) \lt 2^{-(n+1)} }$ となり、このとき ${x_j\in \mathrm{St}( x_{i_n}, \mathcal{U}_{2n} ) }$ である。従って ${V_n = \mathrm{St}( x_{i_n}, \mathcal{U}_{2n} ) }$ とおけば ${\{ V_n \} }$ はフィルターベースであり、これが生成するフィルター ${\mathcal{F}}$ は ${\mathcal{U}_{2n}^{\Delta} \lt \mathcal{U}_{n}^{\Delta} \lt \mathcal{W}_{n} }$ から命題１（５）の条件を満たす。したがって触点 ${x}$ を持つがこれは明らかに ${x_n}$ の収束先である。◻︎

完備距離空間に対してはベールの範疇定理が知られていますが、これは局所コンパクト空間でも成立するものでした。Čech完備空間はある意味で完備距離空間と局所コンパクト空間を包括する概念ですから、Čech完備空間に対して似た定理が成立することが予想されます。これについて述べてこの記事は終わりにします。

【定義】

${X}$ を位相空間、 ${A}$ をその部分集合とする。

・ ${A}$ の閉包に内点がないとき、 ${A}$ を全疎（nowhere dense）という。つまり ${\mathrm{Int}(\mathrm{Cl}(A)) = \emptyset }$ のときに ${A}$ を全疎という。

・ ${A}$ が全疎集合の可算和となるとき、第１類（first category）集合という。

・第１類でない集合を第２類（second category）という。

・任意の空でない開集合が第２類である空間はベールの性質（Baire property）を持つといわれる。■

【定理４】

Čech完備空間はベールの性質を持つ。

（証明）

Čech完備空間の開部分集合はČech完備であるからČech完備空間それ自身が第２類であることを言えば良い。

全疎な閉集合可算個で ${X=\bigcup_n F_n}$ となっていたとする。 ${X=\bigcap_n U_n}$ となる ${\beta X}$ の可算個の開集合 ${U_n}$ をとる。 ${\mathrm{Cl}_{\beta X}(F_0) }$ はもし全疎でなければ ${\mathrm{Int}_{\beta X}\mathrm{Cl}_{\beta X}(F_0) \cap X}$ が ${F_0}$ の内点になるから、 ${\mathrm{Cl}_{\beta X}(F_0)}$ は全疎。

従って点 ${x_0 \in U_0 \setminus \mathrm{Cl}_{\beta X}(F_0) }$ が取れる。このとき ${ x_0\in W_0 \subset \mathrm{Cl}_{\beta X}(W_0 )\subset U_0 \setminus \mathrm{Cl}_{\beta X}(F_0) }$ となる開集合 ${W_0}$ が取れる。

次に、点 ${x_n}$ と空でない開集合 ${x_n\in W_n}$ がとれていたとき、同様にして点 ${x_{n+1}\in U_n\cap W_n \setminus \mathrm{Cl}_{\beta X}(F_{n+1}) }$ と開集合 ${x_{n+1}\in W_{n+1} \subset \mathrm{Cl}_{\beta X}(W_{n+1} ) \subset U_n\cap W_n \setminus \mathrm{Cl}_{\beta X}(F_{n+1}) }$ が取れる。

さて、 ${F=\bigcap_n W_n = \bigcap_n \mathrm{Cl}_{\beta X}(W_n) }$ と置く。 ${\{ W_n \} }$ は単調減少に構成しているのでこれは有限交叉性を持って ${F}$ は空でない（ ${\beta X}$ はコンパクト）。また ${ W_n \subset U_n }$ であるから ${F\subset X}$ 。一方で ${W_n \cap \mathrm{Cl}_{\beta X}(F_n)= \emptyset }$ であるから ${ F\cap \bigcup_n \mathrm{Cl}_{\beta X}(F_n) =\emptyset }$ 。これは仮定 ${X=\bigcup_n \mathrm{Cl}_{\beta X}(F_n)}$ に反する。□

【系：ベールの範疇定理】

完備距離空間と局所コンパクト空間はそれぞれベールの性質を持つ。

〜〜〜〜〜〜

なんか思ったより長くなったのですが、可算乗法性についてほとんど触れれなかったのでまた今度やろうと思います。（本当はこれを書こうと思って前提知識のとこに完全写像に関して少し書いていたのですが不必要になってしまったので消したりしました。これでちょっと番号がずれたとこがあるかもしれないです。）

実は擬コンパクト空間もベールの性質を持つことが知られています。

〜〜〜〜〜〜

なんかいろいろあっていろいろありましたが元気です。今日は週に唯一の自主ゼミの日なので、頑張って起きます。では。

【参考文献】

・児玉之宏, 永見啓応『位相空間論』岩波書店（1974）

・Vladimir V. Tkachuk , A ${C_p}$ -theory ploblem book Topological and Function Spaces , Springer（2010）

A Cp-Theory Problem BookTopological and Functio…
価格：6,909円

2016-02-10

Arhangel'skiĭの不等式

数学ジェネトポ

アルハンゲルスキーの不等式です（カタカナで書いておけば検索した時にこのブログがヒットするようになるかなと思って加筆しました）。

Beautiful Inequalityと言われているらしいです。日本語で読める証明って結構探さないとない（ってかあるの？）と思うので書きます。

〜〜〜〜〜

【定義】

${X}$ を位相空間とする。

・各 ${x\in X}$ に対して、 ${x}$ の基本近傍系の濃度の最小値を ${x}$ での近傍濃度または指標といい、 ${\chi (x , X)}$ で表す。

・ ${\chi (X) = \min \{ \chi (x, X) : x\in X\} }$ と置き、これを ${X}$ の近傍濃度または指標という。

・次を満たす濃度 ${\mathfrak{m}}$ の最小値と ${\aleph _0}$ の大きい方を ${X}$ のリンデレーフ数と言い、 ${L(X)}$ で表す； ${X}$ の任意の開被覆は濃度 ${\mathfrak{m}}$ の部分被覆を持つ。つまり

　 ${L(X)=\aleph _0 + \min\{ \mathfrak{m} : \mbox{任意の開被覆}\mathcal{U}\mbox{が濃度}\mathfrak{m}\mbox{の部分被覆を持つ} \}}$

【定理：Arhangel'skiĭの不等式】

ハウスドルフ空間 ${X}$ に対し、不等式 ${|X|\leq 2^{\chi (X) L(X)}}$ が成り立つ。ただし ${|X|}$ により ${X}$ の濃度を表す。

（証明）

点 ${x \in X}$ の基本近傍系であって、濃度が ${\chi (X) }$ 以下であるものを ${\mathcal{U}_x}$ と置く。 ${\tau}$ を濃度が ${\chi (X)L(X)}$ より大となる最小の順序数とする。つまり ${ \tau = ( \chi (X)L(X) )^+ }$ 。

証明は二つの部分に分かれる。まずは ${X}$ の閉集合であって濃度が ${2^{\chi (X)L(X)}}$ 以下のものの ${\tau }$ 個の単調増加な族であって、諸々の条件を満たすものを構成する。次にそれらが ${X}$ を被覆することを示して ${X}$ の濃度を評価する。

まずは第一段階。

${X}$ の閉集合の族 ${F_{\beta}, 0 \leq \beta \lt \tau }$ であって、次を満たすものを超限帰納法により構成する；

　(1) ${ 0 \leq \alpha \lt \beta \lt \tau }$ のとき ${F_{\alpha} \subset F_{\beta}}$

　(2) 任意の ${\beta}$ について ${|F_{\beta}| \leq 2^{\chi (X)L(X)}}$

　(3) ${\mathcal{U} \subset \bigcup \{ \mathcal{U}_x : x\in \bigcup_{\alpha \lt \beta }F_{\alpha} \} , |\mathcal{U}| \leq L(X) , X-\bigcup \mathcal{U} \neq \emptyset}$ のとき ${F_{\beta}-\bigcup \mathcal{U} \neq \emptyset }$

まず ${X}$ の点 ${p}$ を適当にとって、 ${F_0 = \{ p \} }$ とする。

${0 \lt \beta \lt \tau }$ について、すべての ${\alpha \lt \beta }$ に対して上の(1),(2),(3)を満たす ${F_{\alpha}}$ が構成されているとする。

　 ${\mathcal{O} = \bigcup \{ \mathcal{U}_x : x\in \bigcup_{\alpha \lt \beta }F_{\alpha} \} }$

　 ${\mathcal{U}' = \{ X-\bigcup\mathcal{U} : \mathcal{U} \subset \mathcal{O} , |\mathcal{U}| \leq L(X) , X-\bigcup\mathcal{U} \neq \emptyset \} }$

と置く。

(2)より ${|\mathcal{O}| \leq 2^{\chi (X)L(X)} }$ であり、よって ${|\mathcal{U}'| \leq |\mathcal{O}|^{L(X)} = 2^{\chi (X)L(X)} }$ となる。

各 ${V \in \mathcal{U}' }$ に対してその元 ${p(V) \in V}$ を選び ${E = \{ p(V) : V \in \mathcal{U}' \} }$ と置けば

　 ${|E| = |\mathcal{U}'| \leq 2^{\chi (X)L(X)} }$

であり、従って

　 ${\left| E \cup \left( \bigcup_{\alpha \lt \beta} F_{\alpha} \right) \right| \leq 2^{\chi (X)L(X)} }$

となる。

${E \cup \left( \bigcup_{\alpha \lt \beta} F_{\alpha} \right) }$ の閉包の点の任意の近傍はまた ${E \cup \left( \bigcup_{\alpha \lt \beta} F_{\alpha} \right) }$ の点の近傍となっていることから、

　 ${\left| \overline{E \cup \left( \bigcup_{\alpha \lt \beta} F_{\alpha} \right) }\right| \leq (2^{\chi (X)L(X)} )^{\chi (X)} = 2^{\chi (X)L(X)} }$

がわかる。そこで ${F_{\beta } = \overline{E \cup \left( \bigcup_{\alpha \lt \beta} F_{\alpha} \right) } }$ と置く。

このとき(1),(2)は明らかに満たされているから、(3)を満たすことを示そう。

${\mathcal{U} \subset \bigcup \{ \mathcal{U}_x : x\in \bigcup_{\alpha \lt \beta }F_{\alpha} \} , |\mathcal{U}| \leq L(X) , X-\bigcup \mathcal{U} \neq \emptyset }$ となるよう ${\mathcal{U}}$ をとる。すると ${X-\bigcup \mathcal{U} \in \mathcal{U}'}$ であるので、

　 ${p( X-\bigcup \mathcal{U} ) \in E \cap ( X-\bigcup \mathcal{U} ) = E-\bigcup \mathcal{U} \neq \emptyset }$

よって ${F_{\beta } - \bigcup \mathcal{U} \neq \emptyset }$ がわかり、(3)が従う。

これにより超限帰納法が進行し、すべての ${0 \leq \beta \lt \tau }$ に対して(1),(2),(3)を満たす閉集合の族 ${F_{\beta }}$ が構成された。

第二段階。 ${X = \bigcup \{ F_{\alpha } : 0 \leq \alpha \lt \tau \} }$ を示す。

${F = \bigcup \{ F_{\alpha } : 0 \leq \alpha \lt \tau \} }$ と置く。まずはこれが閉であることを示そう。そのために ${x \in \overline{F} }$ を任意に取る。 ${\mathcal{U}_x}$ を ${\mathcal{U}_x = \{ U_{\gamma} : \gamma \in \Gamma \} , |\Gamma| \leq \chi (X) }$ と ${\Gamma }$ で添え字付ける。このとき任意の ${\gamma \in \Gamma }$ に対して ${U_{\gamma }\cap F \neq \emptyset}$ であるから、各 ${\gamma \in \Gamma }$ に対して ${U_{\gamma} \cap F_{a(\gamma )} \neq \emptyset }$ となる ${a(\gamma ) \lt \tau }$ が選べる。

${\beta = \sup \{ a(\gamma ) : \gamma \in \Gamma \} \lt \tau }$ と置く（ ${\Gamma \leq \chi (X) \lt (\chi (X)L(X))^+ = \tau }$ 、つまり ${\tau}$ は後続型基数であるから正則基数、従って ${\beta \lt \tau}$ がわかる）。このとき (1) より、任意の ${\gamma \in \Gamma}$ に対して ${U_{\gamma} \cap F_{\beta} \neq \emptyset }$ であるから、すなわち ${ x \in F_{\beta } \subset F }$ となる。よって ${F}$ は閉。

次に ${y\in X-F }$ を任意に取る。各 ${x \in F }$ に対して ${ U(x) \in \mathcal{U}_x}$ を、 ${y \in X-U(x)}$ となるようにとる。このとき ${F}$ は閉であるから ${L(F) = L(X)}$ なので、 ${G\subset F}$ であって次を満たすものがある；

　 ${\mathcal{U} = \{ U(x) : x \in G \} }$ が ${F}$ の被覆であり ${|G| \leq L(X)}$ となる。

${G \subset F = \bigcup \{ F_{\alpha } : 0 \leq \alpha \lt \tau \} }$ と ${|G| \leq L(X)}$ から、ある ${\alpha \lt \tau }$ について ${G \subset F_{\alpha} }$ となる。 ${\beta = \alpha + 1}$ と置こう。

すると

　 ${\mathcal{U} \subset \bigcup \{ \mathcal{U}_x : x \in F_{\alpha} \} = \bigcup \{ \mathcal{U}_x : x \in \bigcup_{\gamma \lt \beta }F_{\gamma } \} }$

　 ${|\mathcal{U}| \leq L(X) , y \in X-\bigcup \mathcal{U} \neq \emptyset }$

となる。

一方、 ${F_{\beta} \subset F \subset \bigcup \mathcal{U} }$ であるから ${F_{\beta }- \bigcup\mathcal{U} = \emptyset }$ でありこれは (3) に反する。

従って ${X = F}$ がわかった。

最後に、以上より

　 ${|X| = | \bigcup \{ F_{\alpha } : 0 \leq \alpha \lt \tau \} | \leq (\chi (X)L(X))^+ 2^{\chi (X)L(X)} = 2^{\chi (X)L(X)} }$

となり、求める不等式を得る。◻︎

〜〜〜〜〜

ニコニコ大百科に書いたやつをそのままコピペしたものですが、見やすい版もあったほうがいいと思って。

アフィリエイトとかはうまく機能してるんだろうか？期待してないから別にいいのだけどついで程度で。

【参考文献】

・J.Nagata , Modern General Topology Second revised edition , North-Holland (1985)

Modern General Topology【電子書籍】[ J.-I. Nagata ]
価格：29,009円

2016-02-09

Hewitt-Marczewski-Pondiczeryの定理

数学ジェネトポ

の証明を書こうと思います。読み方は、ヒューイット=マルツェフスキ=ポンディツェリ。

〜〜〜〜〜

【定義】

位相空間 ${X}$ に対し、稠密部分集合の濃度の最小値を ${d(X)}$ と書き、 ${X}$ の稠密度という。

【定理：Hewitt-Marczewski-Pondiczeryの定理】

${X_a,a\in A}$ を、２点以上を有するハウスドルフ空間とし、各 ${a\in A}$ について ${d(X_a) \leq \mathfrak{m}}$ であるとする。積空間 ${X=\prod \{ X_a : a\in A\} }$ について、 ${ d(X) \leq \mathfrak{m}}$ となるための必要十分条件は ${|A|\leq 2^\mathfrak{m}}$ である。

（証明）

必要性を示す。

${X_a}$ から二点 ${p_a,q_a}$ をとり、開集合 ${U_a}$ を ${p_a \in U_a \subset \overline{U_a} \subset X_a \setminus \{ q_a \} }$ となるようにとる。 ${\pi _a : X \to X_a}$ を射影とし、 ${P}$ を ${X}$ の稠密部分集合で ${|P|\leq \mathfrak{m}}$ とする。

各 ${a}$ について ${f_a:P\to \{ 0,1\} }$ を、 ${f_a (p)=1 ( \pi _a (p) \in U_a ) , 0 (\pi _a (p) \in X_a\setminus U_a) }$ で定めると、対応 ${a\mapsto f_a }$ は単射であるから、これにより ${|A|\leq |2^P| = 2^\mathfrak{m}}$ がわかる。

十分性を示す。

${X_a}$ はすべて濃度 ${\mathfrak{m}}$ の離散集合、 ${A}$ を濃度 ${2^\mathfrak{m}}$ として、つまり ${A=\{ 0,1\} ^\mathfrak{m}}$ として示せば十分。 ${X}$ は ${A}$ から濃度 ${\mathfrak{m}}$ の離散集合への写像全体に積位相を与えた空間と考える。 ${A}$ は二点の離散空間に積位相を与えた空間とし、 ${Y}$ を濃度 ${\mathfrak{m}}$ の離散空間とする。 ${\mathcal{U}}$ を ${A}$ の濃度 ${\mathfrak{m}}$ の開基として、 ${\mathcal{U}'}$ により ${\mathcal{U}}$ の素な（どの２つも交わらない）有限個の開集合の族全体の集合を表すとする。 ${|\mathcal{U}'|=\mathfrak{m}}$ である。

一点 ${x_0 \in Y}$ を固定する。ある ${\{ U_1,\cdots ,U_n \} \in \mathcal{U}'}$ に対して、各 ${U_i}$ 上で定数であり、 ${z\in A\setminus \displaystyle \bigcup_{i=1}^n U_i}$ のとき ${f(z)=x_0}$ となるような写像 ${f:A\to Y}$ の集合を ${P}$ と置く。 ${|\mathcal{U}'|=\mathfrak{m}}$ であって ${|Y|=\mathfrak{m}}$ であるから ${|P|=\mathfrak{m}\mathfrak{m}=\mathfrak{m}}$ である。この ${P}$ が ${X}$ で稠密であることを示せば良い。

${(x_a ) \in X}$ を任意に取る。相異なる ${a_1,\cdots ,a_n \in A}$ をとれば、 ${A}$ はハウスドルフであって ${\mathcal{U}}$ は ${A}$ の開基であるから ${a_i \in U_i }$ となる ${ \{ U_i \} \in \mathcal{U}'}$ がある。 ${f:A \to Y}$ を ${f(z)=x_{a_i} ( z\in U_i ) i=1,\cdots ,n , x_0 (z \not\in\displaystyle\bigcup_{i=1}^n U_i )}$ と定めると ${f \in P}$ であるから、

　 ${ f \in P \cap \{ ( x'_a) \in X : x'_{a_i}=x_{a_i}, i=1,2,...,n \} \neq \emptyset}$

従って ${(x_a) \in \overline{P}}$ となって ${P}$ は ${X}$ で稠密。◻︎

〜〜〜〜〜

これ可分のときは上の ${A}$ を実数だと思って示すんですよね。そのときは $\mathcal{U}$ に相当するものを端が有理数の開区間として取ってくるのですが、実数であるということを考慮してこの辺をもう少し簡単にできます。

添え字集合に位相を入れて示すこの手法は面白いですよね。

〜〜〜〜〜

昨日ですべての試験が終了したので春休みになります。春休み中は一つだけ自主ゼミをします。

〜〜〜〜〜

おなかすいたぽよぽよ

【参考文献】

・日本数学会『数学辞典第４版』岩波書店 2007

・児玉之宏、永見啓応『位相空間論』岩波書店 1972

・J.Nagata , Modern General Topology , Second revised edition , North Holland , 1985

位相空間論 [ 児玉之宏 ]
価格：5,616円（税込、送料込）

【送料無料】岩波数学辞典 / 日本数学会【辞書・辞典】
価格：18,360円（税込、送料込）

Modern General Topology【電子書籍】[ J.-I. Nagata ]
価格：29,009円

2016-01-30

無理数の集合の完備な距離の例とか

数学ジェネトポ

・ ${(0,1)}$ の完備な距離

　 ${d(x,y)=\left| \displaystyle \frac{1}{x}-\frac{1}{y}+\frac{1}{x-1}-\frac{1}{y-1}\right|}$

とか。

・ ${\mathbb{R}}$ の完備でない距離

　 ${d(x,y)=|e^x-e^y|}$

とか。 ${x_n=-n}$ はコーシー列。

・ ${(0,\infty )}$ の完備な距離

　 ${d(x,y)=\left| \displaystyle \log \frac{x}{y} \right| }$

とか。 ${x_n=1/n}$ はコーシー列でない。

・ ${\mathbb{Q}}$ の完備な距離

存在しない。あったとすればベールの範疇定理（リンクはWiki）から ${\mathbb{Q}}$ は第二類。一方 ${\mathbb{Q}}$ は可算、一点集合は全疎だから即ち ${\mathbb{Q}}$ は第一類。これは矛盾。

・無理数の集合 ${\mathbb{P}=\mathbb{R} \setminus \mathbb{Q}}$ の完備な距離

${\mathbb{Q}}$ を整列して ${\{ q_n : n \in \mathbb{N}\}}$ として、

${d(x,y)=|x-y|+ \displaystyle \sum_{n=1}^\infty \frac{1}{2^n}\min \{ 1 , \left| \max_{i\leq n} \frac{1}{|x-q_i|}-\max_{i\leq n} \frac{1}{|y-q_i|} \right| \} }$

距離になっていることは明らか。

位相が合致していること。任意に ${x\in \mathbb{P} }$ と正の数 ${\varepsilon }$ をとり、 $\sum_{n=k}^\infty \frac{1}{2^n} \lt \displaystyle \frac{\varepsilon }{3}$ となる自然数 ${k}$ をとる。 $\sum_{n=1}^k \frac{1}{2^n}\min \{ 1 , \left| \max_{i\leq n} \frac{1}{|x-q_i|}-\max_{i\leq n} \frac{1}{|y-q_i|} \right| \}$ は連続ゆえ、ある ${\delta '}$ があって、

${|x-y| \lt \delta ' \Rightarrow \displaystyle \sum_{n=1}^k \frac{1}{2^n}\min \{ 1 , \left| \max_{i\leq n} \frac{1}{|x-q_i|}-\max_{i\leq n} \frac{1}{|y-q_i|} \right| \} \lt \frac{\varepsilon }{3} }$

あとは ${ \delta = \min \{ \varepsilon /3 , \delta '\} }$ とおけば、 ${ |x-y|\lt \delta \Rightarrow d(x,y) \lt \varepsilon }$ 。

完備性。この距離でコーシー列なら普通の距離でもコーシー列ゆえ ${\mathbb{R}}$ では収束、従って有理数に収束する無理数の点列がこの距離でコーシー列とならないことを示せば良いがこれはほぼ明らか。

${(x_n)}$ が有理数 ${q}$ に収束する無理数列とし、 ${q=q_N}$ なる自然数をとれば、 ${m\gt N ,k}$ について

$\left| \max_{i\leq m} \frac{1}{|x_j-q_i|}-\max_{i\leq m} \frac{1}{|x_k-q_i|} \right| \to \infty \ (j \to \infty )$

だから各 ${k}$ に対して大きい ${j}$ をとれば ${d(x_j,x_k) \gt 1/2^N }$ 。

2016-01-24

族正規でない完全正規空間

数学ジェネトポ

児玉永見に載っていた例です。

${P}$ を非可算集合とし、 ${Q}$ をそのべき集合とする。 ${Q}$ 上で自然数値（ただし ${0}$ は自然数に含めるとする）をとる写像全体を ${X}$ とする。

${ p \in P }$ に対して、 ${ x_p:Q \to N , q \mapsto 1 \ ( p \in q ) , q \mapsto 0 \ ( p \not \in q ) }$ と定め、 ${X_0=\{ x_p : p\in P \} }$ と置く。 ${Q_0}$ を ${Q}$ の全ての有限部分集合の集合とする。

${X}$ に次で位相を定める；

　・ ${x\not\in X_0}$ の各点はそれ一点が開である。

　・ ${x_p\in X_0}$ と ${r\in Q_0}$ と ${n\in\omega}$ に対して、

　　 ${V(x_p,r,n)=\{ x_p\}\cup \{ x : x(q)\geq n+1 \ (\forall q \in Q) , 2|(x(q) - x_p(q)) \ (q\in r) \}}$

　　と定義して、各 ${r\in Q_0}$ と ${n}$ に対する ${V(x_p,r,n)}$ 全体を ${x_p}$ の近傍ベースとする。

　　ただし、 ${2|(x(q) - x_p(q))}$ は ${2}$ で割り切れること、すなわち ${x(q) - x_p(q)}$ が偶数であることを意味する。

${p,p'\in P, r,r'\in Q_0}$ とする。各 ${q\in r\cap r'}$ に対して ${x_p(q)=x_{p'}(q)}$ が成り立つとき、任意の自然数 ${n,m}$ に対し ${V(x_p,r,n)\cap V(x_{p'},r',m) \neq \emptyset}$ となる（＊１）ことが容易にわかる。

・ ${X}$ が完全正規であることを示す。

${X}$ が ${T_1}$ であることは容易に分かるので、正規であることを言う。 ${H_1,H_2}$ を交わらない閉集合とし、 ${A_i=X_0\cap H_i,i=1,2}$ と置く。

${A_1=\emptyset}$ ならば ${H_1}$ は開かつ閉なのでこのときは良い。 ${A_1,A_2\neq \emptyset}$ とする。

${q_i=\{ p\in q: x_p\in A_i \},r=\{ q_1,q_2 \}}$ と置いて、

　 ${D_i=\bigcup \{ V(x_p,r,1):p\in q_i\} }$

とおけば、これらは ${A_i}$ の ${X}$ での素な近傍であるので、

　 ${U_1=H_1\cup (D_1-H_2),U_2=H_2\cup (D_2-H_1)}$

とすればこれらが ${H_1}$ の素な近傍となる。

完全正規であることを示すために任意に閉集合 ${H}$ をとりGδ集合であることを示す。

${r\in Q_0}$ を任意に取り、

　 ${G_n=\bigcup \{ V(x_p,r,n):x_p\in X_0\cap H \} \cup (H-X_0)}$

とおけば ${H=\bigcap_{n}G_n}$ となるので、以上より ${H}$ はGδ。

これで完全正規であることがわかった。

・族正規でないことを示す。

Δ-システム補題（リンクはWiki）を使う。

${\{ \{ x_p \} : p\in P \} }$ は疎な閉集合族である。この各点の近傍からなる素な族 ${\{ V(x_p,r_p,n_p) : p\in P \} }$ は存在しないことを示そう。任意に ${x_p,r_p,n_p}$ をとり、 ${P_0\subset P}$ に対して ${\mathcal{V}(P_0)=\{ V(x_p,r_p,n_p) : p\in P_0 \}}$ とおく。