1

Kuratowski-Mrówkaの定理(射影の閉性によるコンパクト性の特徴づけ)

580
2
$$\newcommand{Aut}[0]{\mathrm{Aut}} \newcommand{C}[0]{\mathbb{C}} \newcommand{char}[0]{{\bf char}} \newcommand{comp}[0]{\circ} \newcommand{core}[0]{\rm{core}} \newcommand{gen}[1]{\langle #1 \rangle} \newcommand{imply}[0]{\Rightarrow} \newcommand{iso}[0]{\simeq} \newcommand{lnormal}[0]{\triangleleft } \newcommand{N}[0]{\mathbb{N}} \newcommand{pr}[0]{{\rm{pr}}} \newcommand{Q}[0]{\mathbb{Q}} \newcommand{R}[0]{\mathbb{R}} \newcommand{rnormal}[0]{\triangleright} \newcommand{semiprod}[3]{{#1}\ltimes_{#2}#3} \newcommand{Z}[0]{\mathbb{Z}} $$

Kuratowski-Mrówkaの定理のストレートな証明が見当たらなかったので作りました。既出だったら教えてください。

Kuratowski-Mrówkaの定理

任意の位相空間$Y$に対し、射影$\pr:X\times Y\to Y$が閉写像
$\iff$ $X$がコンパクト

$f_{!}(U)=\{y|f^{-1}(\{y\})\subset U\}$と置く。
$f_{!}(U)=Y\setminus f(X\setminus U)$より、$f$が閉写像であることと「$U$が開$\implies f_{!}(U)$が開」は同値である。
$\Leftarrow)$ $W\subset X\times Y$が開、$p\in \pr_{!}(W)$とし、$U\times Y\subset W$を満たす$p$の開近傍$U$が存在することを示す。積位相の定義より、任意の$x\in X$に対し$p$の開近傍$U_x$、および$x$の開近傍$V_x$が存在し、$U_x\times V_x\subset W$となる。コンパクト性より$(V_{x})_{x_\in \Lambda}$$X$の開被覆になる有限集合$\Lambda$がとれる。$U=\cap_{x\in\Lambda} U_x$とおけばこれは条件を満たす。
$\Rightarrow)$ $(U_i)_{i\in I}$$X$の任意の開被覆とする。$J\subset I$に対し$P(I)\supset [J]:=\{K|K\supset J\}$と定義し、$P(I)$$\{[J]|J\text{は有限集合}\}$を開基とする位相を入れる。このとき、$U:=\cup_i U_i\times [\{i\}]\subset X\times P(I)$は開なので、$\pr_{!}(U)=\{J|\cup_{i\in J} U_i=X\}$も開。$I\in \pr_{!}(U)$より$\pr_{!}(U)$は非空なので、$P(I)$への位相の入れかたを思い出すと、$\pr_{!}(U)\supset [J]$となる有限集合$J$をとれる。この$J$に対し, $\cup_{i\in J} U_i=X $なので示された。

投稿日:2022513
更新日:827
OptHub AI Competition

この記事を高評価した人

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

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

バッジはありません。

投稿者

bd
59
11402

コメント

他の人のコメント

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