[過去ﾛｸﾞ] ガロア第一論文と乗数イデアル他関連資料スレ13 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
147(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 02/04(火)16:34 ID:+HgMDnV2(6/11) AAS
つづき
Proof that every vector space has a basis
Let V be any vector space over some field F. Let X be the set of all linearly independent subsets of V.
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.
省7
148(2): 02/04(火)16:40 ID:R6/c8E8d(2/2) AAS
実数空間RはQ上の線型空間だが、
その基底は選択公理によってその存在が示されるだけであり、
具体的な構成はできない
Hamel基底
外部ﾘﾝｸ:mathlandscape.com
ちなみに上記の基底の濃度は連続体濃度（つまり非可算）
言っておくが、任意の実数は、1,1/2,1/4,…,1/2^n,…の有理数倍の級数で表せるが
線型和は有限和なので、基底が連続体濃度であることとの矛盾は全くない
（有限和と無限和を区別しない素人はギャアギャア騒ぐが
数学理解できない○○なのでほっといてよし）
149(1): 02/04(火)16:55 ID:pcU2dT60(1) AAS
>>148
R上の多項式全体を、R上の線形空間としてみたとき、その基底はあきらかに1,x,x^2,…である 一方
R上の形式的ベキ級数全体を、R上の線形空間としてみたとき、その基底は存在するが誰も書き表せない
そんな馬鹿な？！といった奴は有限和と無限和が全く区別できない正真正銘の馬鹿
150(1): 02/04(火)16:57 ID:qp4hVvDG(1) AAS
線形空間の基底と、線型位相空間の基底は、異なる
前者は有限和しか考えないが、後者は無限和を考える
線形「位相」空間という所以である
151(6): 現代数学の系譜 雑談 ◆yH25M02vWFhP 02/04(火)16:58 ID:+HgMDnV2(7/11) AAS
>>137-140
>＞選択関数を好きに構成できると？
> 「構成」はできない
> ただ、考えられる選択関数は無数にある
ありがとうございます。
１）そもそも、公理とは 条件さえ許せば 無制限に適用できる
存在定理（公理）とは、ある条件の数学対象が存在することを主張する
その数学対象は、存在定理の場合には、具体的な構成が与えられていない
が、具体的な構成が与えられる場合を含んでよい（そうしなければ、構成の有無で 場合分けが必要なるｗ）
有限集合と、無限集合の区別も同様で、選択公理は無限集合限定という制約はない（勝手に無限集合限定の制約があると思い込む人あり）
省3
152: 02/04(火)17:01 ID:6TW5wyv6(2/3) AAS
>>151
＞選択公理は無限集合限定という制約はない
選択公理をつかわなくても証明できる場合に
選択公理をつかうのは工学部卒のオチコボレの貴様だけ
153: 02/04(火)17:02 ID:6TW5wyv6(3/3) AAS
すべってるのは論理がわからんド素人の◆yH25M02vWFhPだけ
154: 02/04(火)17:08 ID:RA31AKiv(1) AAS
このスレは>>1がボケになる漫才になっているね
これが5ちゃんをお笑いにしようとする>>1の狙い
大阪にはそういうお笑いの風土や文化がある
155: 02/04(火)17:20 ID:kyySIsuH(10/19) AAS
>>151
>１）そもそも、公理とは 条件さえ許せば 無制限に適用できる
大間違い
公理とは証明無しで正しいと認める命題
156(1): 02/04(火)17:31 ID:kyySIsuH(11/19) AAS
>>151
>１）そもそも、公理とは 条件さえ許せば 無制限に適用できる
大間違い
公理はその適用対象を何も規定していない
だから命題ごとに個別に規定要（理論ごと規定する場合は「以下、断り無き場合〇〇公理を前提とする」などと表記）
157(1): 02/04(火)17:38 ID:kyySIsuH(12/19) AAS
>>151
>その数学対象は、存在定理の場合には、具体的な構成が与えられていない
>が、具体的な構成が与えられる場合を含んでよい
選択公理は選択関数が存在するとしか主張していないから、具体的に構成できることを否定していないことは自明過ぎて語るに及ばず
あなたは馬鹿なんですか？
158(1): 02/04(火)17:41 ID:kyySIsuH(13/19) AAS
>>151
>存在は、一つに限らない。
選択公理は選択関数が存在するとしか主張していないから、一つに限定していないことは自明過ぎて語るに及ばず
あなたは馬鹿なんですか？
159: 現代数学の系譜 雑談 ◆yH25M02vWFhP 02/04(火)17:48 ID:+HgMDnV2(8/11) AAS
>>148-150
>線形空間の基底と、線型位相空間の基底は、異なる
>前者は有限和しか考えないが、後者は無限和を考える
>線形「位相」空間という所以である
下記だね
ja.wikipedia 基底 (線型代数学) 及び 河東泰之， 線形代数と関数解析学
『かわりに有用なのは，任意のベクトルを無限個のベクトルの線形結合で表すことである．ヒルベルト空間では，これを実現する正規直交基底を取ることがいつでもでき，有限次元空間とよく似た話が無限次元でも展開できる．フーリエ級数はその具体例として大変重要なものである．』
だね
(参考)
外部ﾘﾝｸ:ja.wikipedia.org
省13
160(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 02/04(火)17:48 ID:+HgMDnV2(9/11) AAS
つづき
外部ﾘﾝｸ:www.ms.u-tokyo.ac.jp
河東泰之(かわひがしやすゆき) (Google Scholar Page)
外部ﾘﾝｸ[htm]:www.ms.u-tokyo.ac.jp
河東泰之の「数理科学」古い記事リスト
外部ﾘﾝｸ[pdf]:www.ms.u-tokyo.ac.jp
6.河東泰之， 線形代数と関数解析学，「数理科学」 Vol.46-6, pp.39-43, サイエンス社，2008
1. はじめに
線形代数は線形空間とその上の線形作用素を取り扱う．
ごく基礎的な部分は線形空間が有限次元でも無限次元でも違いはないが，線形代数の中心的な話題，すなわち対角化，ジョルダン標準形，ランクの話などは，線形空間が有限次元でないと話がうまく進まない．
省21
161: 02/04(火)17:49 ID:kyySIsuH(14/19) AAS
>>151
>２）こういう、当たり前の理解が すべって 錯乱している人がいる気がする
妄想が見えるようですね。病院行った方が良いのでは？
162: 02/04(火)17:50 ID:kyySIsuH(15/19) AAS
治らないコピペ癖と妄想癖
163(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 02/04(火)18:03 ID:+HgMDnV2(10/11) AAS
>>156-158
選択公理および選択関数について
トンチンカンな発言をしている人がいた
だから、当たり前のことを、強調しただけですよ （＾＾
>だから命題ごとに個別に規定要（理論ごと規定する場合は「以下、断り無き場合〇〇公理を前提とする」などと表記）
大体は、ほぼ ZFCベース
だから、特に断りがない場合は、ZFCベースがデフォ（デフォルト）ですよ
たまに、「この証明には、選択公理が必要」とか、後出しで 注意を書く場合あり （＾＾
164: 02/04(火)18:07 ID:kyySIsuH(16/19) AAS
>>163
>選択公理および選択関数について
>トンチンカンな発言をしている人がいた
妄想でないならレス番号教えて
165: 02/04(火)18:08 ID:kyySIsuH(17/19) AAS
>>163
>選択公理および選択関数について
>トンチンカンな発言をしている人がいた
好きな順番に整列できるとか、aαを使ってfを定義するとか言ってる人ならいましたけど
166: 02/04(火)18:10 ID:kyySIsuH(18/19) AAS
>>163
>大体は、ほぼ ZFCベース
>だから、特に断りがない場合は、ZFCベースがデフォ（デフォルト）ですよ
治らない妄想癖
上下前次1-新書関写板覧索設栞歴
あと 836 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.956s*