- 904 名前： ◆f9MqJhdxlg [05/01/23 19:40:52 ]
- Ｚを整数全体の集合とし，Ｓ＝｛(m，n) | m，n∈Z,n≠0｝とする．
Ｓに関係〜を以下のように定義する．
(m，n)〜(m'，n') ⇔ mn'＝m'n
C(m，n)で，(m，n)を含むこの関係による同値類を表す．
【問題】
同値類に対する演算@を，
C(m，n)@C(m'，n')＝C(mm'，nn')
と定義する．これはwell-definedであることを示せ．
well-dfinedであることを示すには、まずどういうことをすればいいんでしょうか？
何をすればいいのかわからないので証明ができません・・・、ご教授お願いします。
