スレタイ箱入り無数目を語る部屋4

[過去ﾛｸﾞ] スレタイ箱入り無数目を語る部屋4 (1002ﾚｽ)
上下前次1-新
通常表示 512ﾊﾞｲﾄ分割ﾚｽ栞
抽出解除ﾚｽ栞

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

ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡

252: １３２人目の素数さん [] 2022/10/29(土) 20:02:01.24 ID:TJ1yzMer

>>243-244
>∪R^n(n∈N) 　⊂　l2　⊂　R^N

"∪R^n(n∈N) 　⊂　l2"が違うだろ
∪R^n(n∈N) は、完備でない無限次元線形空間で可算なハメル基底を持つもの>>239 とする

つまり、これは
”多項式環 F[x]：任意の自然数より大きい次元の部分空間を持つから無限次元である（都築 暢夫 広島大）”>>32
”多項式空間 K[x] や形式的冪級数の空間 K[[x]] は無限次元.”柳田伸太郎 名古屋大学 >>33
に相当する

いま、各座標の値がaである(a,a,・・,a,・・)∈∪R^n(n∈N)  を考える
二乗総和を考えると
Σn=1→∞ a^2 →∞
つまり、二乗総和は収束しない
従って、"∪R^n(n∈N) 　⊂　l2"は、不成立！

(参考)
https://ja.wikipedia.org/wiki/%E6%95%B0%E5%88%97%E7%A9%BA%E9%96%93
数列空間
数列空間（英: sequence space）とは、実数あるいは複素数の無限列を元とするベクトル空間のことを言う。またそれと同値であるが、自然数から実あるいは複素数体 K への関数を元とする関数空間のことでもある。そのような関数すべてからなる集合は、K に元を持つ無限列すべてからなる集合であると自然に認識され、関数の点ごとの和および点ごとのスカラー倍の作用の下で、ベクトル空間と見なされる。すべての数列空間は、この空間の線型部分空間である。通常、数列空間はノルムを備えるものであり、そうでなくとも少なくとも位相ベクトル空間の構造を備えている。

解析学におけるもっとも重要な数列空間のクラスは、p-乗総和可能数列からなる関数空間 ｌ^p である。それらの空間は p-ノルムを備え、自然数の集合上の数え上げ測度に対するL^p空間の特別な場合と見なされる。収束列や零列のような他の重要な数列のクラスも数列空間を構成し、それらの場合はそれぞれ c および c0 と表記され、上限ノルムが備えられる。任意の数列空間は各点収束の位相を備えるものでもあり、その位相の下でのそれらの空間は、FK空間（英語版）と呼ばれるフレシェ空間の特殊な場合となる。

つづく

http://rio2016.5ch.net/test/read.cgi/math/1666352731/252

309: １３２人目の素数さん [] 2022/10/30(日) 14:49:42.75 ID:S1FiB990

>>238-239 補足
>無限次元空間に対してこれら異種の基底が優先されるのは、バナッハ空間においてはハメル基底は「大きすぎる」という事実によるものである。即ち、X が完備な無限次元ノルム空間（つまりバナッハ空間）のとき、X の任意のハメル基底が非可算となることがベールの範疇定理から従う。先の主張における完備性の仮定は無限次元の仮定同様に重要である。実際、有限次元空間は定義により有限な基底を持つし、また完備でない無限次元ノルム空間で可算なハメル基底を持つものが存在する。

ここを補足すると
１）数論系では：
有限小数環FD⊂有理数環Q⊂実数環R(or 複素数環C)
（注：有限小数 Finite decimalより、FDとした ）
ここで
・有限小数環と有理数環とは、基底は可算無限
・実数環と複素数環とは、基底は非可算無限（ハメル基底）
（なお、有限小数が和と積で閉じてて、環を成すことは容易に分かる）
・実数環は完備で、有理数環と有限小数環は完備ではない
（なお、有理数環と有限小数環とも、その内部でコーシー列を作り、完備な実数環を構成できる）

２）関数解析系では：（>>32-35ご参照）
多項式環F[x]⊂有理式環RF[x]⊂形式的冪級数環F{[x]}
（有理式環：任意の二つの多項式f1(x),f2(x)の商f1(x)/f2(x)を含む。但しf2(x)≠0。f1(x)/f2(x)が、和と積で閉じていることは見やすい）
（注：有理式 rational function より、RF[x]とした ）
ここで
・多項式環は、基底は可算無限次元の線形空間になる （x^0,x^1,x^2,・・,x^n,・・ が、標準的な基底になる）
・形式的冪級数環は、基底は非可算無限（実数のハメル基底と類似が成り立つ）
・形式的冪級数環は完備で、多項式環と有理式環は完備ではない
（なお、多項式環と有理式環とも、その内部でコーシー列を作り、完備な実数環を構成できる）

３）つまり
・多項式環は、基底は可算無限の線形空間を成す
・形式的冪級数環は、基底は非可算無限(実数のハメル基底と類似)の線形空間を成す

つづく

http://rio2016.5ch.net/test/read.cgi/math/1666352731/309

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

ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ AAｻﾑﾈｲﾙ

ぬこの手ぬこTOP 0.041s