Proposition III.7.8 (有限安定収束と束フィルター)
- Proposition III.7.8 (有限安定収束と束フィルター) #Card
- 有限安定収束 $\xi$ の $\xi^-(x)$ はどんな構造を持つか。
If $\xi$ is a finitely stable convergence on $X$, then $\xi^-(x)$ is a lattice-filter for each $x \in X$(フィルター全体の束 $(\mathbb{F}X, \subset)$ 上で:(isotone) が上方閉性、(finitely stable) が meet 閉性を与える).