誰かこの問題といてー！！

同じ地域を表した５万分の１の地図と、１万分の１の地図があります。
５万分の１の地図を１万分の１の地図の上に、はみださないように重ねるとき、
同じ地点を示す両地図上の点が一致するような地点があることを示せ。

ヒントは適当に基を設定し、１万分の１の地図から５万分の地図へのアフィン変換を構成し、
不動点が地図の内部に存在することを示せ。

という問題です。
誰かお願いします。

No.5 回答者： seven_triton 回答日時： 2002/06/12 12:42

すみません。

自信ありと言っておきながら，不動点が地図の中にあることの説明を忘れてました。

下の方のように収束べき級数に展開してもいいですが，背理法でやれば分かりやすいでしょう。
地図がもし２枚とも無限に広がっていれば不動点はただ一つ存在します。それは下の式を解けばよいです。それが小さい地図の中に（したがって大きい地図の中にも）あることを示したい。もし不動点が小さい地図の中にはなかったと仮定します。そうすると不動点は地図に掲載されている地域の外にあることになりますから，当然大きい地図の外側にあることになります。

ここで三枚目の「さらに大きい地図」を考えましょう。（次の文はちょっと分かりづらいですが，頑張って読んでください。）「さらに大きい地図」は，「大きい地図」を「小さい地図」に重ねるために実行する縮小，回転，平行移動を同じように施せばちょうど「大きい地図」に重なるようにとっておきます。そうすると上の議論と同じようにして，不動点は「さらに大きい地図」よりも外にないといけないことになります。

これでお分かりでしょう。この議論を続ければ，不動点は存在しないことになってしまい，矛盾が生じます。よって不動点は「小さい地図」の中にあることが示されました。

No.4 回答者： seven_triton 回答日時： 2002/06/12 03:05

そんなに難しく考えなくていいですよ。

大きい正方形の上に小さい正方形が乗っているという感じなので，大きい方の正方形を

１．縮小変換　２．回転変換　３．平行移動

すれば小さい正方形と一致させることが出来ます。（一般には地図は長方形ですが，正方形でも問題ないでしょう。）

複素数平面上で考えましょう。
１．の縮小は1/5倍でしたね。２．の回転はθラジアン，３．の平行移動は複素数αに対応するベクトル分，としましょう。
求めたい不動点の複素数をｚとすれば，

z=z×（1/5・e^iθ）+α

となりますよね。この式は大丈夫でしょうか。あとはこれをｚについて解けばいいのです。

No.3 回答者： prome 回答日時： 2001/07/05 13:27

確かこの問題はトポロジーの不動点定理で証明できたはずです。

トポロジーをやっていたのがもうずいぶん前なので覚えていませんが。
「２次元円板ＤからＤへの連続写像は必ず不動点を持つ」が
トポロジーの不動点定理だったはず。

不動点がないと仮定すると、１次元球面（いわゆる円ですが）と
２次元円板が同相（位相が同じ）ということになるけれども、
この２つはホモロジー群が異なるので、矛盾する。
したがってＤからＤへの連続写像は不動点を持つ。
こんな感じかな？
細かいところはトポロジーの初級レベルの本をみれば書いてあります。

この回答へのお礼

トポロジー・・？？？
本探してみます。
ありがとうございました。

お礼日時：2001/07/06 00:00

No.2 回答者： motsuan 回答日時： 2001/07/05 07:18

ちょっと間違えました。

> もとの面ｍの中に変換した面Ａ(ｍ)が、
> 面Ａ(ｍ)の中に 面Ａ^2(ｍ)が、．．．となっていることから
ですがＡはアフィン変換にするべきですね。
Ｔ(v)＝Ａｖ＋ａ
に対して
ｍ⊃Ｔ(ｍ)⊃Ｔ^2(ｍ)⊃Ｔ^3(ｍ)...
となっているから
ａ＋Ａａ＋Ａ^2ａ＋Ａ^3ａ＋．．．
はちゃんとｍの中に収束すると主張するのでしょう。

No.1 回答者： motsuan 回答日時： 2001/07/04 23:45

あるベクトルｖがあって、それが不動点だとすると

アフィン変換を行列Ａとベクトルａで表して
ｖ＝Ａｖ＋ａ
となります。これを解くと
ｖ＝（１－Ａ）^(-1)ａ＝(１＋Ａ＋Ａ^2＋Ａ^3＋．．．）ａ
で
ａ＋Ａａ＋Ａ^2ａ＋Ａ^3ａ＋．．．
とどんどん足していっても、
もとの面ｍ（ベクトルの集合のようなものと思ってください）
の中に変換した面Ａ(ｍ)が、面Ａ(ｍ)の中に
面Ａ^2(ｍ)が、．．．となっていることから、つねにそういう点が存在する
という具合に説明するのではないでしょうか？