位相空間
topological space
definition.icon
$ 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.
有限余直積
と
小直積
をもつ
out-of.icon
$ O
は
有界束
etc.icon
記号の濫用
台集合と同一視される
dragoon8192.icon
開集合系の方が本体だと思う
反変冪集合函手
がベースにあるから
この先の定義も逆になったりしてるんじゃ？
ファイバー束
とか
多様体
とか
Ref.icon
位相空間 - Wikipedia