generated at
2/17/2025, 6:56:57 AM
位相空間
topological space
T = \left\lang \mathrm{Topological\ space}\colon X; O \right\rang
where
台集合
U(T) = |T| = X
開集合系
open sets
or
位相
topology
O \subseteq 2^X
:
冪集合
の部分集合
s.t.
有限完備
かつ
余完備
i.e.
有限余直積
と
小直積
をもつ
O
は
有界束
記号の濫用
台集合と同一視される
開集合系の方が本体だと思う
反変冪集合函手
がベースにあるから
この先の定義も逆になったりしてるんじゃ？
ファイバー束
とか
多様体
とか
位相空間 - Wikipedia
