2

メモ:集合位相の問題

179
2
$$$$

自分用のメモです.

$C[0,1]$を区間$[0,1]$上で定義された実連続関数の集合とする.$C[0,1]$に距離関数:$d(f,g)=\max_{x\in [0,1]}|f(x)-g(x)|$から定まる距離位相を入れるとき,$C[0,1]$はコンパクトであるか.






解答
コンパクトでない.背理法で示す.
仮定により任意のopen coverが$C[0,1]$を覆う.以下の形のopen coverを考える.

\begin{align} \bigcup_{f\in C[0,1]} B_{1/2}(f)\supset C[0,1] \end{align}
仮定によりこれからfinite open subcoverがとれる.つまり
$f_1,\cdots,f_k$が存在して,

\begin{align} \bigcup_{i=1}^{k} B_{1/2}(f_i)\supset C[0,1] \end{align}
ここで,以下のようにして連続関数$g\in C[0,1]$を構成する.

$f_i(\frac{i}{k})\geq 0$なら$(\frac{i}{k},-1)$,
$f_i(\frac{i}{k})< 0$なら$(\frac{i}{k},1)$

これら$k$個の点と原点の計$k+1$個の点を直線で結んだ関数を$g$とする.

このようにすると,$g$はどの$ B_{1/2}(f_i)$にも入らない.したがって矛盾.

$X$:コンパクトかつハウスドルフな位相空間.
$f:X\rightarrow X$,連続関数とする.このとき,$X$上のコンパクト集合$M$が存在して,$f(M)=M$であることを示せ.






解答

$X$はコンパクトかつハウスドルフだから,閉集合とコンパクト集合が一致する.
$X_0:=X$,$X_{n+1}=f(X_n)$とすると,

\begin{align} X_{n+1}\subset X_n. \end{align}

\begin{align} M:=\bigcap_{n=1}^{\infty}X_n \end{align}
を考えると,これは閉集合で,コンパクト集合.

\begin{align} f(M)=f\left(\bigcap_{n=1}^{\infty}X_n\right)=\bigcap_{n=1}^{\infty}f(X_n)=\bigcap_{n=1}^{\infty}X_{n+1} \end{align}

よって$f(M)=M$.

$(X_n,d_n)_{n\in\mathbb N}$を距離空間の列とし,$X=\prod_{n\in\mathbb N}X_n$上の距離関数$d$
\begin{align} d((x_n)_n,(y_n)_n)=\max_{n \in\mathbb N}\min(d_n(x_n,y_n),\frac{1}{n}) \end{align}
とする.$d$から定まる距離位相$\mathfrak O_d$と積位相$\mathfrak O$が等しいことを示せ.






解答

$U\in\mathfrak O_d,x\in U$をとる.$\exists m\in\mathbb N,x\in B_{\frac{1}{m}}(x)\subset U$である.

\begin{align} B_{\frac{1}{m}}(x)=\{(y_n)_n|d_i(x_i,y_i)<\frac{1}{m},1\leq i\leq m\} \end{align}
は明らかに$\mathfrak O$の元なので,$\mathfrak O_d\subset\mathfrak O$.
次に$U\in\mathfrak O,x\in U$に対し,ある$m$が存在して,

\begin{align} \{(y_n)_n|d_i(x_i,y_i)<\frac{1}{m},1\leq i\leq m\}\subset U \end{align}

$r<\frac{1}{m}$とすれば,
\begin{align} B_{r}(x)\subset \{(y_n)_n|d_i(x_i,y_i)<\frac{1}{m},1\leq i\leq m\} \end{align}
とできるので,$\mathfrak O\subset\mathfrak O_d$も示された.

$X$をコンパクトハウスドルフ集合とし,$C(X):=\{f:X\rightarrow\mathbb R,fは連続\}$とする.写像$T:C(X)\rightarrow \mathbb R$
\begin{align} T(f+g)=T(f)+T(g),T(fg)=T(f)T(g),T(\lambda f)=\lambda T(f),T(1)=1,(\forall f,g\in C(X),\forall \lambda\in\mathbb R) \end{align}

(a)任意の$x\in X$1に対して$g(x)\ne 0$ならば$T(g)\ne 0$であることを示せ.
(b)ある$x_{T}\in X$があって,任意の$f\in C(X)$について$T(f)=f(x_T)$となることを示せ.






解答

(a)$g,\frac{1}{g}$について積の準同型よりわかる.

(b)
\begin{align} X_{f}=\{x\in X|T(f)=f(x)\} \end{align}
と定義する.まず,$X_f\ne \varnothing$は(a)の対偶より分かる.
また,$X_f$は閉集合であることは,
\begin{align} f^{-1}(T(f))=X_f \end{align}
という表示からわかる.

\begin{align} \bigcap_{f\in C(X)}X_{f}\ne \varnothing \end{align}
であることを示せばよいが,

$X$がコンパクトであることから,
\begin{align} \bigcap_{i=1}^{k}X_{f_i}\ne \varnothing \end{align}
であることを示せばよい.(有限交叉性)

\begin{align} g(x)=\sum_{i=1}^{k}(f_i(x)-T(f_i))^2 \end{align}
とすると,
$\exists x_0 \in X,$
\begin{align} T(g)=g(x_0)\Longleftrightarrow \forall i,f_i(x_0)=T(f_i) \end{align}
であることが計算によりわかる.

したがって,
\begin{align} \bigcap_{i=1}^{k}X_{f_i}=X_g \end{align}
である.
任意の$f$に対して$X_f$は空でないから,

\begin{align} \bigcap_{i=1}^{k}X_{f_i}=X_g\ne \varnothing. \end{align}

したがって,$x_0=x_T$としてとれる.

なお,ハウスドルフ性より,ウリゾーンの補題から$x_T$の一意性もわかる.

$X,Y$をコンパクトハウスドルフ集合とし,$C(X):=\{f:X\rightarrow\mathbb R,fは連続\}$とする.($C(Y)$も同様.)写像$T:C(X)\rightarrow C(Y)$
\begin{align} T(f+g)=T(f)+T(g),T(fg)=T(f)T(g),T(\lambda f)=\lambda T(f),T(1)=1,(\forall f,g\in C(X),\forall \lambda\in\mathbb R) \end{align}
なるものを考える.

このとき,連続写像$\phi:Y\rightarrow X$であって,
\begin{align} T(f)(y)=f(\phi(y))(\forall f\in C(X),\forall y\in Y) \end{align}

となるものを存在することを示せ.また,$T$が全単射ならば$\phi$は同相であることを示せ.






解答
問題4より,
\begin{align} T_y(f)=T(f)(y) \end{align}

とすると,$T_y$$C(X)\rightarrow \mathbb R$.これは問題4の条件を満たすので,
$T(f)(y)=f(x_T)$なる$x_T\in X$が(一意に)存在する.このとき,

\begin{align} \phi:y\mapsto x_T \end{align}

と定めると,これは連続写像になる.

$U$$X$の閉集合とすると,

任意の$f$に対して
\begin{align} \phi^{-1}(U)\subset T(f)^{-1}(f(U)) \end{align}
なので,
\begin{align} \phi^{-1}(U)\subset \bigcap_{f\in C(X)}T(f)^{-1}(f(U)) \end{align}
である.

これの逆の包含を示そう.

\begin{align} y\in\bigcap_{f\in C(X)}T(f)^{-1}(f(U)) \end{align}
を任意にとる.
\begin{align} \phi(y)\in U \end{align}
を背理法で示す.

\begin{align} \phi(y)\not\in U \end{align}

を仮定すると$\{y\},U$はともに閉集合なのでウリゾーンの補題より
\begin{align} f_{う}:\phi(y)\mapsto 0,U\ni x \mapsto 1 \end{align}
なる連続写像$f_{う}$が存在.ところで,この$f_{う}$に対して
\begin{align} y\in T(f_{う})^{-1}(f_{う}(U)) \end{align}
すなわち,
\begin{align} T(f_{う})(y)\in f_{う}(U) \end{align}
であるが,$T(f_{う})=f_{う}\circ \phi$なので,
\begin{align} f_{う}(\phi(y))\in f_{う}(U) \end{align}
これは$f_{う} $の作り方に矛盾.よって,

\begin{align} \phi(y)\in U \end{align}

したがって

\begin{align} \phi^{-1}(U)\supset \bigcap_{f\in C(X)}T(f)^{-1}(f(U)) \end{align}

が分かる.

したがって

\begin{align} \phi^{-1}(U)=\bigcap_{f\in C(X)}T(f)^{-1}(f(U)) \end{align}
である.この右辺の$f$は閉写像であるので$f(U)$が閉集合なので右辺は閉集合で,左辺も閉集合.よって$phi$は連続写像である.

投稿日:715
更新日:728
OptHub AI Competition

この記事を高評価した人

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

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

バッジはありません。

投稿者

itou
itou
140
12122
数学勉強中. https://twitter.com/G7UOMb0Zd8V7LdP

コメント

他の人のコメント

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