記事ソース/集合の元同士を足す・掛ける
メニュー現在 1 名がオンラインです。 最新の25件2026-06-09
2025-10-31
2025-07-20
2025-07-19
2024-05-24
2024-05-23
2023-12-12
2023-11-06
2022-09-14
2022-07-01
2022-06-12
2021-12-03
2021-10-07
2021-08-12
2021-07-26
2021-06-30
2021-06-06
2021-05-02
2021-04-17
2021-03-20
2021-03-19
|
記事ソース/集合の元同士を足す・掛ける†これはrst2hooktailの記事ソース保存・変換用です（詳細）． コンバート公開・更新メニュー ▼▲記事ソースの内容===========================================
集合の元同士を足す・掛ける
===========================================
この記事で勉強するのは、記号の書き方だけですので、特に難しいところは無いと思います。最後に、簡単な演習問題を載せておきます。
集合の元全てに何かを掛ける
------------------------------------------
二つの集合 $K,L$ を考えます。このとき、 $K$ に含まれる元と、 $L$ に含まれる元の積をとり、それらを全部集めた集合を $KL$ もしくは $LK$ のように書きます。 $KL$ と $LK$ が両方あるのは、一般に積は可換ではないので、乗法の順序も重要だからです。
<tex>
KL=\{ kl|k\in K,l \in L \}
</tex>
<tex>
LK=\{ lk|k\in K,l \in L \}
</tex>
特に、 $K$ がたった一つの元 $a$ からだけなる集合 $K=\{a \}$ であった場合には、もう $K$ の代わりに $a$ と書いてしまった方が分かりやすいですから、次のように書きます。 $L$ の全ての元に、左から、もしくは右から $a$ を掛けた集合という意味です。
<tex>
aL=\{ al|l \in L \}
</tex>
<tex>
La=\{ la|l \in L \}
</tex>
一般に、 $K$ や $L$ が群でも、 $KL$ や $LK$ は群にならないことに注意してください。
逆元だけ集める
---------------------------------------------
次も、表記のルールです。集合 $K$ に含まれる各元に対し、その逆元だけを集めた集合を $K^{-1}$ と書きます。
元同士を足す
---------------------------------------------
特に、集合 $K$ と集合 $L$ の元の間に可換演算を考えるとき、この演算を加法の形で表現することができます。これを $K+L$ と書きます。集合同士の和集合 $K\cup L$ とは意味が違いますので注意してください。
<tex>
K+L=\{ k+l|k\in K,l \in L \}
</tex>
引き算も定義できます。
<tex>
K-L=\{ k-l|k\in K,l \in L \}
</tex>
これらは、記法の問題ですから、慣れが肝心です。群の類別を勉強し始めると、こうした書き方の集合がたくさん出てきます。
問題１
^^^^^^^^^^^^^^^^^^^^^^^^^^^
一般に、 $K$ や $L$ が群でも、 $KL$ や $LK$ は群にはならないことを示してください。また、 $KL$ や $LK$ が群になるのはどのような場合でしょうか？
問題２
^^^^^^^^^^^^^^^^^^^^^^^^^^^
もしも $K$ が群ならば、 $K^{-1}$ も群になることを示してください。
問題３
^^^^^^^^^^^^^^^^^^^^^^^^^^^^
群 $G$ が元 $a$ を含みます。このとき、 次のことをそれぞれ確認してみてください。
1. $aG=G$
2. $Ga=G$
3. $ G^{-1}=G$
問題４
^^^^^^^^^^^^^^^^^^^^^^^^^^^^
群 $G$ に含まれる任意の元 $x$ に対し、もし $x^{2}=e$ が成り立つならば、 $G$ は可換群であることを示してください。
.. _三次方程式の解の公式: http://www12.plala.or.jp/ksp/algebra/CubicEquation/
.. _有限巡回群: http://www12.plala.or.jp/ksp/welcome/gismoSpace/
@@author:Joh@@
@@accept: 2006-04-23@@
@@category: 代数学@@
@@id: SetManipulation@@
|
