その他 【代数学】群の逆元の一意性
群の逆元の一意性定理（群の逆元の一意性）$(G, *)$ を 群 ，$a$ を 群 $G$ の任意の元とする．このとき，
その他 位相空間 【位相空間】距離空間の定義
距離空間の定義定義（距離空間）$M$ を空でない集合とし，$d：M \times M \to \mathbb{R}^{\geq0}$ を写像とする．$d$ が次の条件 $\text{(M1)}$ 〜 $\text{(M3)}$ を満たすとき...
代数学 【代数学】零因子の定義
代数学 【代数学】部分群の定義
部分群の定義定義（部分群）$G$ を群とし，$H$ を $G$ の部分集合とする．$H$ が $G$ の二項演算について群になっているとき，$H$ を $G$ の部分群という．
代数学 【代数学】環の定義
環の定義定義（環）$R$ を集合とする．$R$ 上に2つの二項演算 $+$（加法）と $*$（乗法）が定義されていて，次の $\text{(R1)}$ 〜 $\text{(R4)}$ を満たすとき，組 $(R, +, *)$ を環という．$...
Latex 【Latex】記号の打ち方
記号名前コマンド
代数学 【代数学】有限群・無限群の定義
数学 【集合・写像・論理】集合の定義
集合の定義定義（集合）ものの集まりのことを集合という．【集合・写像・論理】の記事一覧【集合・写像・論理】集合の定義
位相空間 【位相空間】位相空間上の開集合・閉集合の定義
位相空間上の開集合・閉集合の定義定義（位相空間上の開集合・閉集合）$(S, \mathcal{O})$ を位相空間とする．このとき，$\mathcal{O}$ の元を位相空間 $(S, \mathcal{O})$ の開集合という． 開集合の...
位相空間 【位相空間】位相空間の定義
位相空間の定義定義（位相空間）$S$ を空でない集合とする．$S$ の部分集合系 $\mathcal{O}$ が次の（O1）〜（O3）を満たすとき，$\mathcal{O}$ を $S$ の位相といい，組 $(S, \mathcal{O})...
