No.1ベストアンサー
- 回答日時:
こんばんは。
こういう質問は質問者の予備知識がわからないので、どの程度までの解説をするべきかいつも悩むのですが、大学生であることは間違いないようですね。数学科ですか?情報系?それともそれ以外の理工系ですか?まさか文系ではないですよね。とりあえず「同値関係」の定義は理解していますか?
集合Xの2つの要素にAとBに対して~という記号で表される何らかの「関係」が定義されているとします。
そしてその「関係」は次の3つの条件(†)を満たしているとします。
1. A~A (反射律)
2. A~B ⇔ B~A (対称律)
3. A~B かつ B~C ⇒ A~C (推移律)
この3つの条件を満たす関係を同値関係と言います。これは普通の言葉で言うところの「同じ」あるいは「等しい」と言う概念を抽象化したものに過ぎません。
各条件は
1.は「自分自身は自分自身に等しい」
2.は「AとBが等しいならばBとAも等しい」
3.は「AとBが等しく、かつBとCが等しいならばAとCも等しい」
ということを意味しています。直観的にも「等しい」という言葉が満たしているべき(あるいは満たしておいて欲しい)条件であることがわかりますね。
逆に直観的には異なるように見える2つのもの対して、上の3条件を満足するような「関係」(すなわち同値関係)が見つけられればその2つは、その同値関係の視点から見る限り「等しい」ということになります。
そこで「図形Aと図形Bは合同(相似、アフィン同型)である」と言う関係が同値関係であることを示すには、その関係が(†)の3条件を満たすことを示してやれば良いのです。
そのためには合同(相似、アフィン同型)の定義をきちんとしておかなければなりません。こういう課題が出たと言うことは chikako-imagawa さんの受けた授業でそれらの定義はされたはずですが、それはどういうものだったでしょうか。
一応ここでは一般的な定義で話を進めます。もし違ったらご自分のノートにある定義で試して下さい。
「合同、相似、アフィン同型」は一般のユークリッド空間で定義されますが、一応2次元ユークリッド空間(つまり平面)での話としておきましょう。
2次元ユークリッド空間で図形AとBが「合同」であるとは、Aに平行移動、(原点を中心とした)回転、鏡映(いわゆる線対称な図形に移すこと)のどれか、あるいはこれらを任意に組み合わせた変換(これらの変換を「合同変換」と呼びます)を施したときにBに一致する、ということです。
注:ここではこれらの操作を「変換」と呼んでいますが、「写像」と呼んでも構いません。
平面上のすべての平行移動、すべての回転、すべての鏡映の集合をそれぞれT、C、Mと書くことにしましょう。また恒等変換(自分自身を自分自身に移す変換)をiと書きます。明らかにiは平行移動、回転、鏡映の特別なものですから、T,C,Mのどれにも属しています。これらの集合から任意に取り出した有限個の要素を合成した変換全体の集合をTCMと書きます。
TCM={ t_1*t_2*…*t_k |t_1,t_2,…,t_k∈T∪C∪M, k≧1 } (*は変換の合成の意味です)
この記号を使えば図形AとBが「合同」であるとは、
t(A)=B
となるようなある合同変換t∈TCMが存在することである、と定義できます。
さて集合TCMが次の3条件(※)
1.恒等変換iを含んでいること。
2.任意のf∈TCMに対し、逆変換f^{-1}が存在し、f^{-1}∈TCMであること。
3.任意のf,g∈TCMに対し、f*g∈TCMであること。
を満たしていることを確認しておきます。(後でわかるように実はこの3条件が同値関係の3条件に対応しています)
1.はi∈Tかつi∈Cかつi∈Mだから明らかですね。
2.平行移動、回転、鏡映にはそれぞれ逆変換が存在し、逆変換もそれぞれ平行移動、回転、鏡映になるので、
f= t_1*t_2*…*t_k (ただしt_1,t_2,…,t_k∈T∪C∪M)
とすると
f^{-1}=(t_k)^{-1}*(t_{k-1})^{-1}*…*(t_1)^{-1} となりかつ(t_k)^{-1},(t_{k-1})^{-1},…,(t_1)^{-1}∈T∪C∪Mですから
f^{-1}∈TCMです。
3.f= f_1*…*t_k ,g=g_1*…*g_m(ただしt_1,…,t_k,g_1,…,g_m∈T∪C∪M)とすると
f*g=f_1*…*t_k*g_1*…*g_m よりf*g∈TCM ■
注意!!:本当のことを言うとここまでの議論は無意味です。なぜなら肝心のこと、つまり変換としての平行移動、回転、鏡映の定義をしていないからです。ですからこのままでは
>iは平行移動、回転、鏡映の特別なもの<
>平行移動、回転、鏡映にはそれぞれ逆変換が存在し、逆変換もそれぞれ平行移動、回転、鏡映になる<
という記述は無意味なので、証明にもなにもならないのです。
ここまでの議論を「証明」にするためには、平行移動、回転、鏡映をきちんと定義し、それらがiを含んでいること、およびそれぞれ逆変換が存在し逆変換も同種の変換になることなどを示しておかなくてはいけません。
chikako-imagawa さんの予備知識や授業の内容などがわからないので、ここではその定義や証明まではやりません。ノートを読み返すなり先生に聞くなりして、ご自分で定義・証明してみて下さい。
線型代数を勉強したのなら、平面を2次元実ベクトル空間R^2と見なし、各変換をR^2上の特別な性質を持つ線型写像と定義するのが一番やりやすいでしょう(もっとも「平行移動」は線型写像ではありませんが)
さて最後に合同関係が(†)を満たしていることを確認します。
1.i∈TCMですからi(A)=A。すなわちAはA自身に合同
2.あるt∈TCMに対してt(A)=BならA=t^{-1}(B)で、t^{-1}∈TCMだから成り立ちます。
3.あるf,g∈TCM に対してf(A)=Bかつg(B)=Cならf*g(A)=C であり、f*g∈TCMだから推移律も成り立つ。
以上で合同関係が同値関係であることが示されました。 ■
議論を見ればわかるように、ある「関係」を定義する「写像」が(※)を満たせばその「関係」は必然的に(†)を満たす。すなわち合同関係である。ことが言えます。
相似、アフィン同型についても、同様にそれらを定義する「変換」が(※)を満たすことを示せればOKです。やり方は全く同様ですから後はご自分でどうぞ。
この回答へのお礼
お礼日時:2002/01/12 22:10
ありがとうございます。
レポートしあげる事が出来ました。
私は大学で情報数学専攻というコースにいて、これは、幾何学序論(3)のレポートで出たものです。
AとBが合同とは
「ヨσ:N実数→N実数 S.t. σ(A)=B」
定義されていました。
これからも頑張って行きたいと思います。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 分からない課題で困っています。 どなたか、教えてください。 変数多項式環R[x]からRに対して φ: 2 2022/07/06 11:28
- 数学 等しい写像のイメージ 等しい写像を座標平面上のグラフでイメージした時、 「定義域と終域が一致」して、 1 2022/06/13 02:03
- 数学 代数の問題教えてください 1 2022/06/12 14:36
- 一眼レフカメラ 「回折現象の画像」と「ピントが合っていない画像」の違いはありますか?(区別できますか?) 7 2022/06/02 21:25
- その他(教育・科学・学問) 関数、写像について 1 2022/04/10 23:45
- 友達・仲間 僕の虚言癖のある友達について 3 2022/11/11 21:31
- 数学 線型性に関して教えてください。f(a,b,c,d)=a,2b,3c,4dという写像について、線型性は 3 2023/06/28 17:06
- 結婚式・披露宴 結婚式に参加してからもやもやします 2 2022/04/05 23:15
- WordPress(ワードプレス) Wordpress 複数プラグインの不具合? 1 2022/10/09 21:52
- 数学 逆像法について 高校生です -1≦X≦2のとき、y=2x-3の値域を求めよ。 この問題を、集合X={ 4 2022/05/01 17:38
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
5進法を10進法への直し方
-
50以下は“50”も入るのですか?
-
8進数から16進数 16進数から8進数
-
偏微分の記号をタイプするため...
-
デジタル信号処理の問題です。...
-
16進小数0.Cを10進数小数に変換...
-
この問題がわかりません
-
2進数の0.101101101101・・・...
-
n進法→m進法への変換
-
dBm/HzからdBm/MHzへの単位変換
-
Excel 16進数
-
ヤコビアン(関数行列式)につ...
-
HEX2BIN関数の使い方。
-
グレイコードの整数への変換方...
-
EXCELで10進数表記をB...
-
10進数の50を2進数で表すといく...
-
自然対数の単調変換について
-
n進数????
-
2進数の重み対応表について
-
楕円Hough変換の式、証明
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
50以下は“50”も入るのですか?
-
5進法を10進法への直し方
-
16進小数0.Cを10進数小数に変換...
-
Excel 16進数
-
HEX2BIN関数の使い方。
-
8進数から16進数 16進数から8進数
-
1分45秒75で289,995円稼ぐA君が...
-
「じじょう」が正しい読み方?
-
偏微分の記号をタイプするため...
-
dBm/HzからdBm/MHzへの単位変換
-
n進法→m進法への変換
-
EXCELで10進数表記をB...
-
dBm→dBμV/mの換算について
-
10進数の50を2進数で表すといく...
-
ヤコビアンが0になってしまう場...
-
算数計算 大至急お願いします
-
ACアダプターの消費電力の件
-
幾何と代数は同じ数学でしょうか
-
フーリエ変換・逆変換の虚数成...
-
二進数の循環小数を十進数に変...
おすすめ情報