[過去ﾛｸﾞ] 現代数学の系譜11 ガロア理論を読む13 [転載禁止]©2ch.net (654ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
245(3): 2015/04/30(木)14:53 ID:PyBj3q1M(3/6) AAS
>>241
(>>244の続き)
[小2段]：x＞0のときf(x)＝x・f(1)なることを示す。点x∈(0,∞)を任意に取る。
{a_k}をxに収束する正の有理数列とする。2つの自然数m、n＞0を任意に取る。
と、f(n)＝f(1＋…＋1)(1はn個)＝n・f(1)。また、1＝m・(1/m)から同様に、
f(1)＝m・f(1/m)であり、f(1/m)＝f(1)/m。よって、f(n/m)＝n・f(1/m)＝n・(f(1)/m)＝(n/m)・f(1)。
自然数m、n＞0は任意だから、m、n＞0を同時に走らせれば、各k＝1,2,…に対してf(a_k)＝a_k・f(1)。
省12
255(1): 2015/05/01(金)03:03 ID:NPJj25Yb(1/13) AAS
あ、>>245の
>[第2段]：cを求めて、任意のx∈Rに対してf(x)＝xなることを示す。
って完全な間違いだったのか。(f(1))^n＝c^n＝c＝f(1) n∈N/{0}は任意
だからc＝1って一意に求めること出来ないのか。
>>241
じゃ、>>243-246、>>248-249は取り下げ。
256(1): 2015/05/01(金)03:32 ID:NPJj25Yb(2/13) AAS
>>251
いや、紙に丁寧に書いていないからよく分からんが、大きな間違いがあるのは>>243-245の第1段終了までのどこかだな。
実数体R上で考えているんだから、>>255のようなことは半ばど〜でもいい。
ところでさ、そもそも、「ワイルド」な自己同型って何? 「ワイルド」って一体どういう意味で使っているのだ？
よく分からないが、広く普及しているいい方である「病的な」という表現を使わずに「ワイルド」と区別して使っている以上、
「ワイルド」の意味のニュアンスと「病的な」の意味のニュアンスとは違うのだろう？
そこらへんをはっきりさせくれ。そうしない以上、証明も論理もヘッタクレもない。
265: 2015/05/01(金)06:25 ID:NPJj25Yb(4/13) AAS
>>260
環同型写像(実関数)f：R→Rがf(x)＝xになることを導けば、
fは恒等関数I_Rに等しくなって、任意のx∈Rに対してx＝x±i・0なんだから、
fの複素共役はf自身になって、fはワイルドでなく、Rのワイルドな
自己同型写像は存在しないことになって終了していると思うんだよね。
その環同型写像(実関数)f：R→Rがf(x)＝xになることの証明をすればいいと。
証明の方針は>>243-246、>>248-249でいい筈なんだよね。
省1
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.038s