Tychonoffの定理

topology

2021-07-09

お気持ち

${}^{\forall }$がコンパクトな位相の積もコンパクト

定義

命題

$(G_i,f_{ij})$:コンパクトな位相群の逆系.

$$G=\stackrel{\lim }{\leftarrow }{G}_i$$

(逆極限)もコンパクト位相群

証明

Tychonoffの定理より