[過去ログ]
ガロア第一論文と乗数イデアル他関連資料スレ13 (1002レス)
ガロア第一論文と乗数イデアル他関連資料スレ13 http://rio2016.5ch.net/test/read.cgi/math/1738367013/
上
下
前次
1-
新
通常表示
512バイト分割
レス栞
抽出解除
レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索
歴削→次スレ
栞削→次スレ
過去ログメニュー
180: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/02/05(水) 00:12:42.77 ID:Md2R2j9H >>160 >任意のベクトルを無限個のベクトルの線形結合で表すことである.ヒルベルト空間では,これを実現する正規直交基底を取ることがいつでもでき,有限次元空間とよく似た話が無限次元でも展開できる.フーリエ級数はその具体例として大変重要なものである. これ、選択公理を使うだろうと思って調べていた 下記 山上滋先生 名大 関数解析入門 『命題4.5.ヒルベルト空間の正規直交基底は必ず存在する。(全然一意的ではないが。) Proof.基本的なアイデアはの直交化であるが、正式にはのZorn補題を使う。各自、確かめよ』 ですね (^^ (参考) https://www.math.nagoya-u.ac.jp/~yamagami/teaching/teaching.html 授業記録 山上滋 名大 https://www.math.nagoya-u.ac.jp/~yamagami/teaching/functional/zokuron2017.html 解析学 2017 テキストである 関数解析入門2017 の三分の二程を、 進度予定表に沿って行う https://www.math.nagoya-u.ac.jp/~yamagami/teaching/functional/hilbert2017.pdf 関数解析入門 山上滋 2017 目次 略す 作用素解析とのつながりを意識した関数解析入門である。予備知識としては、フーリエ解析とルベーグ積分の初歩を仮定する。例えば、次の講義ノート程度のことを知っていれば十分であろう (URL二つ略す) 予備知識以上に大事なのが利用のしかたである。これは、知識とか技能を習得するためのものではない。数学を実践するための題材提供が主たる目的なので、各自の問題意識に応じて、緩急自在にいくつかある課題に取り組んで欲しい。他は、それに至る準備に過ぎない 1.道の糧など このように、関数の間に「距離」を設定すると、ベクトル空間における内積から導入されるそれと形式上よく似たものであることがわかってくる。このことをより組織的に行うと、微積分の線型代数化、あるいは無限次元線型代数としての解析学、といった側面が見えてくる。これが、関数解析学の基本的なアイデアである。さて、ユークリッド空間の位相については知っていることであろうが、そもそもユークリッド空間とは何か説明できるだろうか これは、いうなれば、高校以来慣れ親しんできた幾何ベクトルとその内積を逆算的に用いて定義としたもので、卑怯といえば卑怯な方法である。しかし、こう割り切ることで、ユークリッド空間およびその幾何学が実数の性質に帰着するものであることが容易に把握できるようになる。悪くない定義だと思うのだがどうだろうか。なお、こういった形式的な定義が、物理現象(主に光)に由来する空間認識と一致すべき先験的な理由は何もないのだが、非常に良く幾何学的直感となじんでいるのも事実 P26 略 をみたすとき、正規直交基底と呼ぶ すぐ後でみるように、この逆も成り立つ 命題4.5.ヒルベルト空間の正規直交基底は必ず存在する(全然一意的ではないが) Proof.基本的なアイデアはの直交化であるが、正式にはのZorn補題を使う。各自、確かめよ 正規直交基底の濃度を考えているヒルベルト空間Hの次元といい、dim Hで表す 正規直交基底の濃度は正規直交基底のとり方によらないのであるが、その確認には多少の議論を要する 以下ではとくに断らない限り可算次元のヒルベルト空間を扱うものとする つづく http://rio2016.5ch.net/test/read.cgi/math/1738367013/180
182: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/02/05(水) 07:51:08.42 ID:Md2R2j9H >>180 >>任意のベクトルを無限個のベクトルの線形結合で表すことである.ヒルベルト空間では,これを実現する正規直交基底を取ることがいつでもでき,有限次元空間とよく似た話が無限次元でも展開できる.フーリエ級数はその具体例として大変重要なものである. >これ、選択公理を使うだろうと思って調べていた >下記 山上滋先生 名大 関数解析入門 『命題4.5.ヒルベルト空間の正規直交基底は必ず存在する。(全然一意的ではないが。) >Proof.基本的なアイデアはの直交化であるが、正式にはのZorn補題を使う。各自、確かめよ』 >ですね (^^ <補足> 1)Zorn補題は、選択公理と同値 2)Zorn補題(選択公理)で、通常のベクトル空間(基底の有限和)から 基底の無限個のベクトルの線形結合を使う ヒルベルト空間まで その空間の基底の存在と、次元(ベクトル空間の場合 基底の集合の濃度を意味する。可算にする場合が多いらしい)が決められる 3)『全然一意的ではないが』 by 山上滋先生 名大 存在のみのZorn補題(選択公理)で、言える 4)その存在定理の典型的な、使い方が>>110だね 同様に、例えば、ヒルベルト空間で ある特別な基底候補を使いたいとき まず、上記 命題4.5 に照らしてみれば良い そうすれば、その基底候補が、実際に基底として使えることが分る フーリエ級数が、典型例>>160 "Zorn補題(選択公理)は、存在しか言えないから 具体的なこと言えない"と思った あなた それ勘違いですよ 存在の公理(定理)だから、適用範囲が広い そして、ある空間の 基底の存在定理、次元定理から 具体的な 基底候補が、実際の基底として採用できることが分る http://rio2016.5ch.net/test/read.cgi/math/1738367013/182
メモ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.031s