ﾚｽ書き込み

ガロア第一論文と乗数イデアル他関連資料スレ13

PC,ｽﾏﾎ,PHSは ULA べっかんこ公式(ｽﾏﾎ) 公式(PC) で書き込んでください｡

名前
ﾒｰﾙ
引用切替：ﾚｽｱﾝｶｰのみ

>>180
> >>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
> テキストである 関数解析入門２０１７ の三分の二程を、 進度予定表に沿って行う
> https://www.math.nagoya-u.ac.jp/~yamagami/teaching/functional/hilbert2017.pdf
> 関数解析入門 山上滋 2017
> 目次
> 略す
> 
> 作用素解析とのつながりを意識した関数解析入門である。予備知識としては、フーリエ解析とルベーグ積分の初歩を仮定する。例えば、次の講義ノート程度のことを知っていれば十分であろう
> （URL二つ略す）
> 予備知識以上に大事なのが利用のしかたである。これは、知識とか技能を習得するためのものではない。数学を実践するための題材提供が主たる目的なので、各自の問題意識に応じて、緩急自在にいくつかある課題に取り組んで欲しい。他は、それに至る準備に過ぎない
> 
> 1．道の糧など
> このように、関数の間に「距離」を設定すると、ベクトル空間における内積から導入されるそれと形式上よく似たものであることがわかってくる。このことをより組織的に行うと、微積分の線型代数化、あるいは無限次元線型代数としての解析学、といった側面が見えてくる。これが、関数解析学の基本的なアイデアである。さて、ユークリッド空間の位相については知っていることであろうが、そもそもユークリッド空間とは何か説明できるだろうか
> 
> これは、いうなれば、高校以来慣れ親しんできた幾何ベクトルとその内積を逆算的に用いて定義としたもので、卑怯といえば卑怯な方法である。しかし、こう割り切ることで、ユークリッド空間およびその幾何学が実数の性質に帰着するものであることが容易に把握できるようになる。悪くない定義だと思うのだがどうだろうか。なお、こういった形式的な定義が、物理現象（主に光）に由来する空間認識と一致すべき先験的な理由は何もないのだが、非常に良く幾何学的直感となじんでいるのも事実
> 
> Ｐ26
> 略 をみたすとき、正規直交基底と呼ぶ
> すぐ後でみるように、この逆も成り立つ
> 
> 命題4.5.ヒルベルト空間の正規直交基底は必ず存在する（全然一意的ではないが）
> Proof.基本的なアイデアはの直交化であるが、正式にはのZorn補題を使う。各自、確かめよ
> 
> 正規直交基底の濃度を考えているヒルベルト空間Ｈの次元といい、dim Ｈで表す
> 正規直交基底の濃度は正規直交基底のとり方によらないのであるが、その確認には多少の議論を要する
> 以下ではとくに断らない限り可算次元のヒルベルト空間を扱うものとする
> 
> つづく

ﾛｰｶﾙﾙｰﾙ SETTING.TXT

他の携帯ﾌﾞﾗｳｻﾞのﾚｽ書き込みﾌｫｰﾑはこちら｡書き込み設定で書き込みｻｲﾄの設定ができます｡
・ULA
・べっかんこ(身代わりの術)
・べっかんこ(通常)
・公式(ｽﾏﾎ)
・公式(PC)[PC,ｽﾏﾎ,PHS可]

書き込み設定(板別)で板別の名前とﾒｰﾙを設定できます｡

上下板覧索設栞歴

ぬこの手ぬこTOP 0.012s