開集合系
位相と同義
使いやすいように、開集合系全体の集合を作る函数を定義しておく
\mathrm{OpenSetsFamilies}:X\mapsto\{\tau\in2^X|X,\varnothing\in\tau\land\forall \mathcal{O}\subseteq\tau;\bigcup\mathcal{O}\in\tau\land\forall O_0,O_1\in\tau;O_0\cap O_1\in\tau\}\in2^{2^X}
……函数名が長いな
\mathcal O(X)という書き方を見つけたので、そちらにしたい
利用している文献をここに載せる
#2023-12-15 05:11:57
#2021-11-02 16:20:33
#2021-08-26 14:23:19