are - eveshower.com

集合の定義定義（集合）ものの集まりのことを集合という．【集合・写像・論理】の記事一覧【集合・写像・論理】集合の定義

位相空間上の開集合・閉集合の定義定義（位相空間上の開集合・閉集合）$(S, \mathcal{O})$ を位相空間とする．このとき，$\mathcal{O}$ の元を位相空間 $(S, \mathcal{O})$ の開集合という． 開集合の...

位相空間の定義定義（位相空間）$S$ を空でない集合とする．$S$ の部分集合系 $\mathcal{O}$ が次の（O1）〜（O3）を満たすとき，$\mathcal{O}$ を $S$ の位相といい，組 $(S, \mathcal{O})...

可換群（アーベル群）の定義定義（可換群（アーベル群））$(G, *)$ を群とする．任意の $a, b \in G$ に対して，$$a * b = b * a$$が成り立つとき，$(G, *)$ を可換群（またはアーベル群）という．

群の単位元の一意性定理（群の単位元の一意性）$(G, *)$ を群とする．このとき，$G$ の単位元はただ1つしかない．（証明）$e_1, e_2$ を 群 $G$ の単位元とする．このとき，単位元の定義より，$$\begin{align*...

「群」「群の単位元」「群の逆元」の定義定義（群）$G$ を空でない集合とする．$G$ 上の二項演算 $*：G \times G \to G$ が存在して次の（G1）〜（G3）を満たすとき，組 $(G, *)$ を群という．$\text{(G...