[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む79 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
103(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 2019/11/23(土) 06:57:04.18 ID:iKDSmfWl(5/31) AAS
>>102
つづき
完備性
さて「ヒルベルト空間」はまだなのかと待っていることと思うが、ここまでの話にもう一つ条件を加えるだけでいい。
内積空間が完備性を持つとき、「ヒルベルト空間」という。
ノルム空間が完備性を持つとき、「バナッハ空間」という。
バナッハ空間については今回の話とは関係ないが、まぁ、数学ではこんな具合に分類されて名前が付いているんだよ、という雰囲気をつかめるように書いておいた。
な。物理学者は「ヒルベルト空間」なんて言葉でカッコつけなくてもいいんだよ。他の数学的空間の性質と区別する必要があるときにだけ使えばいいんだからさ。
で、気になっていることと思うが、「完備性」とは何だろうか。
コーシー列が収束する時、完備性を持つのだそうだ。ではコーシー列とは何かと言えば、集合から好きな要素を取り出して並べた時に、あるところより先の要素を見ると必ず、それらの要素間の距離がどんな狭い範囲にでも収まってしまう、そんなところが必ずある、という並びのことらしい。ああ！数学ってのは七面倒くさい！！！とにかく、どこまでも狭い範囲に収まって行くような並びのことだ。
それで、狭い範囲に収まって行くのなら収束していると言えるのではないか、というと、そういう意味ではない。例えば √２ に限りなく近付くコーシー列があったとしても、この空間内に √２ という無理数が定義されていなければ √２ に収束するとは言えないわけだ。
数学的な表現はやめて、分かりやすく言い直そう。これはベクトルが連続であることを定義しているのである。この性質は微分などを定義するためには是非とも必要なものだ。そして、それはもっと分かりやすく言えば、このベクトルの要素は実数か複素数の範囲でなければならないという意味である。初めからそう言えよ、って？私もそう思う。
つづく
104: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 2019/11/23(土) 06:57:21.13 ID:iKDSmfWl(6/31) AAS
>>103
つづき
こんなもんなんだよ
なんだ、それだけか？結局、ぶっちゃけて言えば、「取り敢えずの計算に困らないベクトル空間」というくらいの意味だったということだ。実に他愛のない話だ。だからこそ一度知ってしまうと今度は逆に、これくらいは知ってないと恥ずかしいと思えてしまうわけで。
まあ、奥は深いのだが、これだけ知ってるだけでもしばらくは困らない。さあ、立場の弱い友達の所へ行って知ったかぶりをするのだ！（笑
ま、この程度のものは黙ってた方が恥かかなくて済むかとも思うのだが、・・・判断はお任せしよう。
波動関数がどうして無限次元複素ヒルベルト空間内のベクトルなのかを説明しないのかって？それは本文中できっちりやるつもりだ。取り敢えず、こういう本質ではない部分は脇へよけておきたかったのである。
(引用終り)
以上
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.037s