「集合論」の版間の差分

削除された内容 追加された内容
152 行
<math> A/ \sim = \{ C(a) | a \in A \} </math>
 
集合は同値関係にある元を同じものとして同一視した集合であると言える
 
;例
<math>A</math> を三次元ユークリッド空間内の有向線分全体の集合とする。この集合 <math>A</math> に同値関係<math>/sim</math> を<math>v \sim w \iff v, w</math> の方向が同じでかつ長さが等しい で定める。
このとき、商集合<math>A/\sim</math>は空間ベクトル全体の集合である。
 
=== 自然な写像 ===