[過去ﾛｸﾞ]
ガロア第一論文と乗数イデアル他関連資料スレ13 (1002ﾚｽ)
ガロア第一論文と乗数イデアル他関連資料スレ13 http://rio2016.5ch.net/test/read.cgi/math/1738367013/
上
下
前
次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
163: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/02/04(火) 18:03:46.42 ID:+HgMDnV2 >>156-158 選択公理および選択関数について トンチンカンな発言をしている人がいた だから、当たり前のことを、強調しただけですよ （＾＾ >だから命題ごとに個別に規定要（理論ごと規定する場合は「以下、断り無き場合〇〇公理を前提とする」などと表記） 大体は、ほぼ ZFCベース だから、特に断りがない場合は、ZFCベースがデフォ（デフォルト）ですよ たまに、「この証明には、選択公理が必要」とか、後出しで 注意を書く場合あり （＾＾ http:
//rio2016.5ch.net/test/read.cgi/math/1738367013/163
164: １３２人目の素数さん [] 2025/02/04(火) 18:07:42.95 ID:kyySIsuH >>163 >選択公理および選択関数について >トンチンカンな発言をしている人がいた 妄想でないならレス番号教えて http://rio2016.5ch.net/test/read.cgi/math/1738367013/164
165: １３２人目の素数さん [] 2025/02/04(火) 18:08:56.13 ID:kyySIsuH >>163 >選択公理および選択関数について >トンチンカンな発言をしている人がいた 好きな順番に整列できるとか、aαを使ってfを定義するとか言ってる人ならいましたけど http://rio2016.5ch.net/test/read.cgi/math/1738367013/165
166: １３２人目の素数さん [] 2025/02/04(火) 18:10:32.86 ID:kyySIsuH >>163 >大体は、ほぼ ZFCベース >だから、特に断りがない場合は、ZFCベースがデフォ（デフォルト）ですよ 治らない妄想癖 http://rio2016.5ch.net/test/read.cgi/math/1738367013/166
167: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/02/04(火) 18:21:51.18 ID:+HgMDnV2 >>100-101 >治らないコピペ癖 ID:oyw47Vnz >ほっとけ ID:pX4W9Cg1 ID:pX4W9Cg1は、御大ね ID:oyw47Vnzは、おサル>>7-10 かな？ １）院試合格までは、数学の実力は主に試験で測られる 限られた場所で、カンニング無しで、限られた時間内で どれだけ解けるか ２）しかし、院試合格の後の 数学の実力は なんでもあり カンニングありで、誰に相談しても 聞いても良い 時間制約は、あっても年単位 ３）社会人でも、上記２）と似たようなも
の 特に、”カンニングありで、誰に相談しても 聞いても良い” さて、ここ 天下の落書き 便所板で 多くの人が タネ本があるのに それを隠して あたかも 自分が 考えたように 書いている 院試の答案のように で、しばしば エラーが混じる 赤ペンが必要だ 自分が、そのようにして 赤ペンが必要な エラー混じりのカキコをして しかし、タネ本を隠して 自分の実力のように見せて ハナタカしている だが、ハナタカできるのは 独自の数学理論を創出して 論文書いて、教科書（テキスト）を書いて、大学で講義したり そういう人だけでしょ？ なんか、タ
ネ本でカンニングしているのに そこを偽装して、ハナタカしている それって、見え見え。たいがい 底が見えていますｗｗ ；ｐ） http://rio2016.5ch.net/test/read.cgi/math/1738367013/167
168: １３２人目の素数さん [] 2025/02/04(火) 18:28:16.96 ID:vSANYI5/ 自分の言葉で語れる者はわずかであり あとはこだまのようなもの と A. Weilは岡に語ったあと、人懐っこい笑顔を 浮かべながら 「あなたが文化勲章を貰われたので 奥さんはすっかりご機嫌ですね」 と言った。 http://rio2016.5ch.net/test/read.cgi/math/1738367013/168
169: １３２人目の素数さん [] 2025/02/04(火) 18:33:05.14 ID:kyySIsuH >>167 >院試合格までは 大学一年4月に落ちこぼれた人がなんか言ってますね >タネ本でカンニングしているのに カンニングしても嘘デタラメ書いちゃう人がなんか言ってますね http://rio2016.5ch.net/test/read.cgi/math/1738367013/169
170: １３２人目の素数さん [] 2025/02/04(火) 18:36:03.07 ID:vSANYI5/ わからない http://rio2016.5ch.net/test/read.cgi/math/1738367013/170
171: １３２人目の素数さん [] 2025/02/04(火) 18:59:05.43 ID:PFLhGe5c >>167 >院試合格までは、数学の実力は主に試験で測られる 次元定理がチョームズいとか 泣き言言ってる落ちこぼれに 数学の院試は絶対受からんよ http://rio2016.5ch.net/test/read.cgi/math/1738367013/171
172: １３２人目の素数さん [] 2025/02/04(火) 19:00:50.33 ID:PFLhGe5c >>167 >院試合格の後の 数学の実力は なんでもあり >カンニングありで、誰に相談しても 聞いても良い カンニングで間違える大●●野郎 http://rio2016.5ch.net/test/read.cgi/math/1738367013/172
173: １３２人目の素数さん [] 2025/02/04(火) 19:04:45.62 ID:PFLhGe5c >>167 >タネ本でカンニング オチコボレはそもそも教科書が正しく読めず 初歩から盛大に間違える 院試？いやいや大学１年の微積と線形代数の単位落としてるだろ 次元定理もわかんない●●じゃ仕方ない http://rio2016.5ch.net/test/read.cgi/math/1738367013/173
174: １３２人目の素数さん [] 2025/02/04(火) 19:10:39.27 ID:PFLhGe5c >>167 次元定理もわからん奴がハナタカするとかマジ🌲違い http://rio2016.5ch.net/test/read.cgi/math/1738367013/174
175: １３２人目の素数さん [] 2025/02/04(火) 19:14:13.27 ID:PFLhGe5c 🐎🦌は理解してないことをコピペで誤魔化すが 🐎🦌はともかくウソをつくのが人でなし http://rio2016.5ch.net/test/read.cgi/math/1738367013/175
176: １３２人目の素数さん [] 2025/02/04(火) 19:19:09.06 ID:PFLhGe5c 次元定理がムズいようじゃ 陰関数定理なんかワケワカメだろな http://rio2016.5ch.net/test/read.cgi/math/1738367013/176
177: １３２人目の素数さん [] 2025/02/04(火) 19:30:38.18 ID:PFLhGe5c 🌲違いが●った時に言う言葉 院試 カンニング タネ本 ハナタカ ま、どうせ院試で落ちて 社奴に成り下がった 屈辱が忘れられず 「実社会ではカンニングOK！ タネ本もろコピべでも ハナタカしまくりだぜ」 とか喚いて、チラ読みで 必要な前提全部削りまくって 正方行列は正則行列で正規行列とか ウソ800吠えまくるwww http://rio2016.5ch.net/test/read.cgi/math/1738367013/177
178: １３２人目の素数さん [] 2025/02/04(火) 20:56:35.08 ID:04gi+31b わからん http://rio2016.5ch.net/test/read.cgi/math/1738367013/178
179: １３２人目の素数さん [sage] 2025/02/04(火) 21:04:06.67 ID:Ic3SxmhU 資源工学冶金学の鍛冶屋さん 日夜トンチンカントンチンカン http://rio2016.5ch.net/test/read.cgi/math/1738367013/179
180: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/02/05(水) 00:12:42.77 ID:Md2R2j9H >>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 Ｈで表す 正規直交基底の濃度は正規直交基底のとり方によらないのであるが、その確認には多少の議論を要する 以下ではとくに断らない限り可算次元のヒルベルト空間を扱うものとする つづく http://rio2016.5ch.net/test/read.cgi/math/1738367013/180
181: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/02/05(水) 00:13:06.95 ID:Md2R2j9H つづき 付録E Kuratowski-Zornの定理 略す https://www.ms.u-tokyo.ac.jp/~yasuyuki/surikagaku.htm 河東泰之の「数理科学」古い記事リスト https://www.ms.u-tokyo.ac.jp/~yasuyuki/suri1909.pdf 20 河東泰之， ヒルベルト空間と作用素環，「数理科学」 Vol.57-9, pp.29-35, サイエンス社，2019． 2. 有限次元空間から無限次元へ 略す (引用終り) 以上 http://rio2016.5ch.net/test/read.cgi/math/1738367013/181
182: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/02/05(水) 07:51:08.42 ID:Md2R2j9H >>180 >>任意のベクトルを無限個のベクトルの線形結合で表すことである．ヒルベルト空間では，これを実現する正規直交基底を取ることがいつでもでき，有限次元空間とよく似た話が無限次元でも展開できる．フーリエ級数はその具体例として大変重要なものである． >これ、選択公理を使うだろうと思って調べていた >下記 山上滋先生 名大 関数解析入門 『命題4.5.ヒルベルト空間の正規直交基底は必ず存在する。（全然一意的ではないが。） >P
roof.基本的なアイデアはの直交化であるが、正式にはのZorn補題を使う。各自、確かめよ』 >ですね （＾＾ ＜補足＞ 1）Zorn補題は、選択公理と同値 2）Zorn補題（選択公理）で、通常のベクトル空間(基底の有限和)から 基底の無限個のベクトルの線形結合を使う ヒルベルト空間まで その空間の基底の存在と、次元（ベクトル空間の場合 基底の集合の濃度を意味する。可算にする場合が多いらしい）が決められる 3）『全然一意的ではないが』 by 山上滋先生 名大 存在のみのZorn補題（選択公理）で、言える 4）その存在定理の典型的な、使い方が&
gt;>110だね 同様に、例えば、ヒルベルト空間で ある特別な基底候補を使いたいとき まず、上記 命題4.5 に照らしてみれば良い そうすれば、その基底候補が、実際に基底として使えることが分る フーリエ級数が、典型例>>160 "Zorn補題（選択公理）は、存在しか言えないから 具体的なこと言えない"と思った あなた それ勘違いですよ 存在の公理（定理）だから、適用範囲が広い そして、ある空間の 基底の存在定理、次元定理から 具体的な 基底候補が、実際の基底として採用できることが分る http://rio2016.5ch.net/tes
t/read.cgi/math/1738367013/182
183: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/02/05(水) 07:52:48.99 ID:Md2R2j9H >>182 タイポ訂正 その空間の基底の存在と、次元（ベクトル空間の場合 基底の集合の濃度を意味する。可算にする場合が多いらしい）が決められる ↓ その空間の基底の存在と、次元（ヒルベルト空間の場合 基底の集合の濃度を意味する。可算にする場合が多いらしい）が決められる http://rio2016.5ch.net/test/read.cgi/math/1738367013/183
184: １３２人目の素数さん [] 2025/02/05(水) 08:18:00.45 ID:5j19JkQh >>182 > Zorn補題（選択公理）で、 > 線形空間の基底の存在と、 > 次元（基底の集合の濃度を意味する）が決められる > 基底の存在定理の典型的な、使い方が>>110だね >>111な 三ケタの数字を覚えられんのか？ この昭和耄碌爺 で、>>112は解けたのか？ 線形空間が有限次元なら、選択公理なんか使わんでも、 次元定理なんか直接証明できるぞ●● 大学１年の線型代数で習わんかったか？ ああ、論理がわからんので全く理解できんかった
か？ 計算方法覚えることしかできん●●公の工学部卒社奴 http://rio2016.5ch.net/test/read.cgi/math/1738367013/184
185: １３２人目の素数さん [] 2025/02/05(水) 08:21:10.28 ID:5j19JkQh >>182 > ある空間の 基底の存在定理、次元定理から > 具体的な 基底候補が、実際の基底として採用できることが分る じゃ、RをQ上の線形空間としてみたときの基底を、具体的に構成してみてくれる？ できるものならな http://rio2016.5ch.net/test/read.cgi/math/1738367013/185
186: １３２人目の素数さん [] 2025/02/05(水) 08:48:38.36 ID:DBPzopUM >>185 そういう理屈が通じない相手であることがわからないということが わからない http://rio2016.5ch.net/test/read.cgi/math/1738367013/186
187: １３２人目の素数さん [] 2025/02/05(水) 08:55:17.33 ID:xZiVkAA/ >>186 > そういう理屈が通じない相手であることが わかってる > わからないということがわからない あきらめたらそこで試合終了ですよ https://dic.pixiv.net/a/%E3%81%82%E3%81%8D%E3%82%89%E3%82%81%E3%81%9F%E3%82%89%E3%81%9D%E3%81%93%E3%81%A7%E8%A9%A6%E5%90%88%E7%B5%82%E4%BA%86%E3%81%A7%E3%81%99%E3%82%88 http://rio2016.5ch.net/test/read.cgi/math/1738367013/187
188: １３２人目の素数さん [] 2025/02/05(水) 09:03:51.28 ID:E9rrHVSa ●●公がここに書くのを諦めないなら 我々も彼に対する「教育」を諦めない どこぞの大学の●●名誉教授様とは違う http://rio2016.5ch.net/test/read.cgi/math/1738367013/188
189: １３２人目の素数さん [] 2025/02/05(水) 10:18:00.51 ID:DBPzopUM 勝手に書かせておけと思えない理由が わからない http://rio2016.5ch.net/test/read.cgi/math/1738367013/189
190: １３２人目の素数さん [] 2025/02/05(水) 10:48:57.32 ID:wxM+XkyV >>113 誰かさんはギブアップのようなので。 >問１ (2,-1,-1),(-1,2,-1),(-1,-1,2)は、線形独立？ [定義]体F上の線型空間Vの元v1,・・・,vnが線型独立：∀f1,・・・,fn∈F.Σ[k=1,n]fkvk=0⇒f1=・・・=fn=0。線型独立でなければ線型従属。 [証明] (2,-1,-1)+(-1,2,-1)+(-1,-1,2)=(0,0,0)なので線型従属。 >問２ R^nの次元がｎであることはどうやって証明される？ [定義]線型空間Vの部分集合Bが線型独立性と全域性を満たすときBはVの基底。Vの次元=|B|。 [証明]
i∈I:={1,2,・・・,n} とする。 ei∈R^n をi番目の成分=1且つ他の成分=0である元とする。{ei|i∈I} は自明に線型独立。（線型独立性） ∀r∈R^n の i番目の成分を ri と書く。このとき r=Σ[i∈I]riei であるから {ei|i∈I} は R^n を張る。（全域性） 以上から {ei|i∈I} は R^n の基底であり、R^n の次元はn。 >問３ 直接法からどんな手間が省けるか、どんな手間が省けないか それぞれ具体的に示せる？ 省ける手間：全域性の証明。省けない手間：線型独立性の証明。 http://rio2016.5ch.net/test/read.cgi/math/1738367013/190
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 dim
ension (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 certai
n 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 L
max 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 dimens
ion 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 o
f 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
192: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/02/05(水) 11:10:23.00 ID:hl9U/ln8 ”＜公開処刑 続く＞ （『 ZF上で実数は どこまで定義可能なのか？』に向けて と (あほ二人の”アナグマの姿焼き") に向けてｗｗ ；ｐ） rio2016.5ch.net/test/read.cgi/math/1736907570/”] >>185-188 >あきらめたらそこで試合終了ですよ ふっふ、ほっほ こっちは、＜公開処刑 続く＞ (あほ二人の”アナグマの姿焼き")のつもり しかし、低レベルのバトルでは、観客も面白くないだろうから いまは おサル>>7-10の、選択公理（選
択関数）の誤解・無理解を 徹底的に あぶりだしているのですｗ ；ｐ） おサルにしたら あきらめたらそこで試合終了 だわなｗ がんばれよ、おサルｗｗ ；ｐ） さて >>185 (引用開始) > ある空間の 基底の存在定理、次元定理から > 具体的な 基底候補が、実際の基底として採用できることが分る じゃ、RをQ上の線形空間としてみたときの基底を、具体的に構成してみてくれる？ できるものならな (引用終り) ・いま、”具体的な 基底候補”があれば という話だ それに対して、具体的に構成できないことを持ち出しても 反論になってな
いぞｗ ；ｐ） ・RをQ上の線形空間としてみたときの基底 （R/Qで） すべての基底を 具体的に明示することはできないが ある有限n個の 無理数で 基底 b1,b2,・・,bn を選んで、それらが Q上 一次独立にはできそうだな そして、残りの部分を 存在定理に丸投げすれば、良い n → 可算無限 にできそうな気がする （すぐには 成否の判断ができないが） そして、残りの部分を 存在定理に丸投げすれば、良いｗ http://rio2016.5ch.net/test/read.cgi/math/1738367013/192
ﾒﾓ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 810 ﾚｽあります
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.030s