2021-05-03から1日間の記事一覧
$(X, \leq)$を順序集合とする。 次の定義をする: $\text{Uf}(X)$ $:\equ$ $\Set{ F \subseteq X }{ F \text{は}X\text{の極大filter} }$ $\text{Ngb} : X \rightarrow \text{Pow}( \text{Uf}(X) ), x \mapsto \Set{ F \in \text{Uf}(X) }{ x \in F }$ $\math…
$(X, \leq)$を順序集合とする。 次の定義をする: $\text{Uf}(X)$ $:\equ$ $\Set{ F \subseteq X }{ F \text{は}X\text{の極大filter} }$ $\text{Ngb} : X \rightarrow \text{Pow}( \text{Uf}(X) ), x \mapsto \Set{ F \in \text{Uf}(X) }{ x \in F }$ $\math…