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

[過去ﾛｸﾞ] ガロア第一論文と乗数イデアル他関連資料スレ13 (1002ﾚｽ)
上下前次 1-新
通常表示 512ﾊﾞｲﾄ分割ﾚｽ栞

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

191: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [] 2025/02/05(水) 10:50:53.01 ID:hl9U/ln8

>>182 補足

・Hilbert spaceの Hilbert dimension は、下記
"As a consequence of Zorn's lemma, every Hilbert space admits an orthonormal basis; furthermore, any two orthonormal bases of the same space have the same cardinality, called the Hilbert dimension of the space.[94]"
(which may be a finite integer, or a countable or uncountable cardinal number).
・”The Hilbert dimension is not greater than the Hamel dimension (the usual dimension of a vector space).”
　”As a consequence of Parseval's identity,[95] 略 ”
・なお、>>146-147 "Proof that every vector space has a basis"では、有限和は 陽には使われていない
　なので ”The set X is nonempty since the empty set is an independent subset of V, and it is partially ordered by inclusion, which is denoted, as usual, by ⊆.
　Let Y be a subset of X that is totally ordered by ⊆, and let LY be the union of all the elements of Y (which are themselves certain subsets of V).
　Since (Y, ⊆) is totally ordered, every finite subset of LY is a subset of an element of Y, which is a linearly independent subset of V, and hence LY is linearly independent. Thus LY is an element of X. Therefore, LY is an upper bound for Y in (X, ⊆): it is an element of X, that contains every element of Y.
　As X is nonempty, and every totally ordered subset of (X, ⊆) has an upper bound in X, Zorn's lemma asserts that X has a maximal element. In other words, there exists some element Lmax of X satisfying the condition that whenever Lmax ⊆ L for some element L of X, then L = Lmax.”
　とやっているので、⊆ による順序は Hilbert space でも そのまま使える
　あとは、直交基底と 位相的な収束の話を 色付けすれば、よさそうだ

(参考)
https://en.wikipedia.org/wiki/Hilbert_space
Hilbert space

Hilbert dimension
As a consequence of Zorn's lemma, every Hilbert space admits an orthonormal basis; furthermore, any two orthonormal bases of the same space have the same cardinality, called the Hilbert dimension of the space.[94] For instance, since l^2(B) has an orthonormal basis indexed by B, its Hilbert dimension is the cardinality of B (which may be a finite integer, or a countable or uncountable cardinal number).

The Hilbert dimension is not greater than the Hamel dimension (the usual dimension of a vector space).

As a consequence of Parseval's identity,[95] if {ek}k ∈ B is an orthonormal basis of H, then the map Φ : H → l^2(B) defined by Φ(x) = ⟨x, ek⟩k∈B is an isometric isomorphism of Hilbert spaces: it is a bijective linear mapping such that
⟨Φ(x),Φ(y)⟩l^2(B)=⟨x,y⟩H
for all x, y ∈ H. The cardinal number of B is the Hilbert dimension of H. Thus every Hilbert space is isometrically isomorphic to a sequence space l^2(B) for some set B.

http://rio2016.5ch.net/test/read.cgi/math/1738367013/191

202: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [] 2025/02/05(水) 13:33:23.30 ID:hl9U/ln8

＜公開処刑 続く＞
（『 ZF上で実数は どこまで定義可能なのか？』に向けて と
　 (あほ二人の”アナグマの姿焼き") に向けてｗｗ ；ｐ） rio2016.5ch.net/test/read.cgi/math/1736907570/”]

>>199
(引用開始)
>n → 可算無限 にできそうな気がする （すぐには 成否の判断ができないが）
>mとnの２重数学的帰納法で証明できるかも・・、しらんけど
できません。
数学的帰納法の結論は「任意の自然数に関する命題P(n)が真」です。
高校数学からやり直した方が良いのでは？
(引用終り)

ふっふ、ほっほ
それ、下記の”F線形空間F[x]は任意の自然数より大きい次元の部分空間を持つから無限次元である”
の証明 by 都築暢夫 広島大 (いま東北大)
が間違っていると？ それ 都築暢夫先生に教えてあげてね！ｗ ；ｐ）

なお、おサルさん>>7-10は
存在を示す 選択公理（選択関数）のポジティブな面を見ようとせず
ネガティブな面のみを強調するが、それ 自分の数学レベルの低さを自白しているに等しい

(参考)
（rio2016.5ch.net/test/read.cgi/math/1736907570/16 より再録）
www.math.sci.hiroshima-u.ac.jp/algebra/member/files/tsuzuki/04-21.pdf
代数学I 都築暢夫 広島大
F を体とする
P3
例3.2.多項式環F[x]. F[x]nは1,x,··· ,xnを基底に持つn+1次元線形空間である
F線形空間F[x]は任意の自然数より大きい次元の部分空間を持つから無限次元である
証明. 1,x,··· ,xnがF[x]nの基底になること: 1,x,··· ,xnがF[x]nを生成することは明らか
a0,··· ,an∈Fに対してa0+a1x+···+anxn=0とするとき、a0=a1=···an=0となることをnに関する帰納法で証明する
n=0のときは明らか。n−1まで成り立つとする。x=0とすると、a0=0である
(a1+ a2x+···+anxn−1)x=0より、a1+a2x+···+anxn−1=0である
帰納法の仮定から、a1=···an=0となる。よって、1,x,··· ,xnは一次独立である
したがって、1,x,··· ,xnはF[x]nの基底になる■
(引用終り)

http://rio2016.5ch.net/test/read.cgi/math/1738367013/202

209: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [] 2025/02/05(水) 21:48:23.72 ID:Md2R2j9H

メモ貼ります

https://ja.wikipedia.org/wiki/%E5%A4%9A%E9%A0%85%E5%BC%8F%E7%92%B0
多項式環
体上の一変数多項式環 K[X]
冪級数
→詳細は「形式冪級数」を参照
非零の項を無限個含むことも許すという別の方向で冪指数を一般化することにより、冪級数が定義される。ここではコーシー積における和が有限和であることを保証するために、冪指数に用いるモノイド N に対していくつかの仮定を課す必要がある。あるいは環のほうに位相を導入して、無限和を収束するものだけに限ることもできる。N として標準的な非負整数全体を選ぶならば問題は何もなく、形式冪級数環を N から環 R への写像全体として定義することができ、和は成分ごと、積はコーシー積で入れることができる。形式冪級数環は多項式環の完備化と見ることができる。

https://ja.wikipedia.org/wiki/%E5%BD%A2%E5%BC%8F%E7%9A%84%E5%86%AA%E7%B4%9A%E6%95%B0
形式的冪級数
多項式が有限個の項しか持たないのに対し、形式的冪級数は項が有限個でなくてもよい
形式的冪級数全体からなる集合 A[[X]] に和と積を定義して環の構造を与えることができ、これを形式的冪級数環という。

http://yuyamatsumoto.com/
Yuya MATSUMOTO Junior Associate Professor at Department of Mathematics, Faculty of Science and Technology, Tokyo University of Science (2023/04 –).
http://yuyamatsumoto.com/ed/kanron.pdf
環論講義ノート
松本雄也(matsumoto.yuya) 2023年03月05日

6 B.2形式冪級数環と収束冪級数環. . . . . 67

B.2 形式冪級数環と収束冪級数環
本小節では環は可換とする． Aを環とする．直積集合A[[X]] := AN に対し，多項式環と同様に加法と乗法を定める

B.2.2 収束冪級数環
Aに適切な構造が入っていれば，冪級数の収束や収束半径を考えることができる．ここではA=Cの場合のみ考える．Cの原点上の近傍での正則関数を考えると，そのTaylor展開が考えられ，収束半径は正の実数または無限大である．r>0に対し，Br :={ n≥0anzn |収束半径はr以上である} とする（条件を言い換えると，limsupn→∞(an)1/n ≤ 1 r である）．Br はC[[z]] の（真の）部分環であり，r < r′ のときBr ⊋ Br′である．また，r≥0に対し，Br+:= s>rBsとおくと，Br+もC[[z]]の（真の）部分環であり，r>0に対しBr ⊋Br+である．これらの環の元に有限個の負冪の項を加えた級数からなる環も考えられる（形式ローラン級数の場合と同様に，1元zによる局所化でもある）．

http://rio2016.5ch.net/test/read.cgi/math/1738367013/209

上下前次 1-新書関写板覧索設栞歴

あと 741 ﾚｽあります
ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ AAｻﾑﾈｲﾙ

ぬこの手ぬこTOP 0.019s