18/09/25 21:41:00.40 n/GFgogk.net
集合Sに対して、P(S)でSの巾集合を表す。
Fin(S) ：= {A∈P(S)|Aは有限集合} とする。
Xを集合とする。
S⊆P(X)とする。
O(S)でSによって生成される開集合系とする。
O(S)を具体的に表したい。
O(S) = { ∪_{T ∈ F} ∩T | F ⊆ Fin(S) }
でいいんですかね？
18/09/25 21:41:00.40 n/GFgogk.net
集合Sに対して、P(S)でSの巾集合を表す。
Fin(S) ：= {A∈P(S)|Aは有限集合} とする。
Xを集合とする。
S⊆P(X)とする。
O(S)でSによって生成される開集合系とする。
O(S)を具体的に表したい。
O(S) = { ∪_{T ∈ F} ∩T | F ⊆ Fin(S) }
でいいんですかね？