カテゴリー: 数学

テューキーの補題

有限性をもつ空でない集合族$\mathcal{A}$に対し、包含関係を順序とする半順序集合$\left(\mathcal{A},\subseteq\right)$に極大元が存在する。

写像の標準分解

\[ f:X\stackrel{f'}{\longrightarrow}X/R_{f}\stackrel{g}{\longrightarrow}\ran\left(f\right)\stackrel{I_{g}}{\longrightarrow}Y \]