第1可算公理
from 内田 5章 位相空間
任意の位相空間$ (X,\mathcal O)にて、$ \forall x\in X\exist\mathcal N^*\in\mathscr N^*(x):|\mathcal N^*|\le\aleph_0を満たすとき、$ (X,\mathcal O)は第1可算公理を満たすという
$ \mathscr N^*(x):$ xの基本近傍系全体の集合
距離位相空間は常に第1可算公理を満たす
#2026-05-12 13:37:23
#2025-06-03 07:47:01
#2025-02-22 11:27:16