2018-10-06から1日間の記事一覧
Zornの補題を証明する。 まずは用語の定義から。 $\left( X, \leq \right)$ を順序集合とする。 $c \in X, T \subset X$ とする。 $c$ は、$T \text{のupper bound(上界)}$ $:\Leftrightarrow$ $\all a \in T \; a \leq c$ $T$ は、$\text{totally ordered(…
Zornの補題を証明する。 まずは用語の定義から。 $\left( X, \leq \right)$ を順序集合とする。 $c \in X, T \subset X$ とする。 $c$ は、$T \text{のupper bound(上界)}$ $:\Leftrightarrow$ $\all a \in T \; a \leq c$ $T$ は、$\text{totally ordered(…