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

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

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

238: １３２人目の素数さん [] 2022/10/29(土) 15:48:12.15 ID:TJ1yzMer

>>237
つづき

https://ja.wikipedia.org/wiki/%E5%9F%BA%E5%BA%95_(%E7%B7%9A%E5%9E%8B%E4%BB%A3%E6%95%B0%E5%AD%A6)
基底 (線型代数学)

任意のベクトル空間は基底を持つ（このことの証明には選択公理が必要である）。一つのベクトル空間では、全ての基底が同じ濃度（元の個数）を持ち、その濃度をそのベクトル空間の次元と呼ぶ。この事実は次元定理と呼ばれる（証明には、選択公理のきわめて弱い形である超フィルター補題が必要である）。

順序基底と座標系
V は体 F 上の n-次元ベクトル空間であるものとする。V の順序基底を一つ選ぶことは、数ベクトル空間 Fn （座標全体のなすベクトル空間と考えられる）から V への線型同型写像 φ を一つ選ぶことと等価である。これを見るのに Fn の標準基底が順序基底であることが利用できる。

ベクトル v を各成分 aj(v) へ写す各写像は、φ-1 が線型ゆえ、V から F への線型写像になる。即ちこれらは線型汎函数であり、またこれらは V の双対空間の基底を成し、双対基底と呼ばれる。

関連概念
解析学
無限次元の実または複素線型空間に関する文脈では、本項でいう意味での基底を表すのに、しばしばハメル基底（ゲオルク・ハメルに由来[12]）や代数基底という用語が用いられる。（ハメル基底は R の Q-基底を意味することもある。）これは、付加的な構造を備えた無限次元線型空間における別の種類の「基底」の概念との区別のためである。そのような基底の概念で極めて重要なものとしては、ヒルベルト空間上の正規直交基底やノルム線型空間上のシャウダー基底およびマルクシェヴィチ基底が挙げられる。

これらの基底概念に共通する特徴は、全体空間を生成するのに基底ベクトルの無限線型結合までを許すことである。これにはもちろん、無限和が意味を持つような空間（位相線型空間）を考えることが必要である。位相線型空間は非常に広範なベクトル空間のクラスであり、例えばヒルベルト空間やバナッハ空間あるいはフレシェ空間といったものを含む。

つづく

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

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

266: １３２人目の素数さん [] 2022/10/29(土) 23:32:05.06 ID:TJ1yzMer

>>236 補足の続き

１）非正則分布とは？
　>>13の通り 確率の和(積分)が1ではない
　つまり、全事象が無限大に発散して、全事象を1とすることができない
（コルモゴロフの確率公理を満たすことができない分布のこと）
２）要するに、非正則分布は、例えば、一様分布の範囲を無限に広げた分布である（一様事前分布）>>28
　範囲が無限であっても、正規分布のように、指数関数的に減衰する場合は、積分は発散せず、正当に扱える
　類似で、裾の重い分布がある
　分布の裾が、xの-1乗より早く減衰すれば、積分は発散しない
（積分 ∫x=1～∞ x^-1 dx が発散して∞になることは、よく知られている）>>13
３）では、時枝の決定番号はどうか？
　決定番号は、多項式環の多項式の次数+1と解せられる>>161
　いま、箱にサイコロの目1～6を入れる
　1次式 a0+a1x で6^2通り
　2次式 a0+a1xa2x^2 で6^3通り
　n次式 a0+a1xa2x^2・・ で6^(n+1)通り

４）つまり、決定番号は減衰するどころか、
　増大するという とんでもない分布になっている
５）さらに、1～mの数字を入れれば、n次式でm^(n+1)通り
　mが全ての自然数Nを渡るならば、n次式でN^(n+1)通り
　全ての実数Rを渡るならば、n次式でR^(n+1)通り
６）そして、多項式環は無限次元線形空間を成すから>>32-33
　結局、多項式の次数の分布は、無限次元線形空間R^N内のベクトルの分布
　（増加も破天荒で、非可算無限倍で増加）

７）無限次元線形空間R^N内から、無作為にベクトルを取れば、それは無限次元であって
　従って、それは無限次の式を意味するってこと
８）だから、時枝氏の決定番号は非正則分布で、多項式環＝無限次元線形空間R^N だから>>32-34
　有限次の多項式100個を選んだら、それは無作為だとは、言えないってこと
　よって、無作為性が否定され、その確率計算は、正当化されないのです>>261
　（強いて言えば、条件付き確率計算になる>>105）

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

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-新書関写板覧索設栞歴

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

ぬこの手ぬこTOP 0.025s