[過去ログ]
ガロア第一論文と乗数イデアル他関連資料スレ13 (1002レス)
ガロア第一論文と乗数イデアル他関連資料スレ13 http://rio2016.5ch.net/test/read.cgi/math/1738367013/
上
下
前次
1-
新
通常表示
512バイト分割
レス栞
抽出解除
レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索
歴削→次スレ
栞削→次スレ
過去ログメニュー
7: 132人目の素数さん [] 2025/02/01(土) 08:48:01.67 ID:lDxwqd7y つづき 数学者の日常 小平の消滅定理の一般化 ホッジ構造 非特異射影多様体のコホモロジーにはホッジ構造と呼ばれる構造が入ります。これは純ホッジ構造と呼ばれるものになっています。一般の代数多様体のコホモロジーには純ホッジ構造は入らないのですが、混合ホッジ構造と呼ばれる純ホッジ構造を拡張したものが入ります。 (引用終り) 以上 なお、 おサル=サイコパス*のピエロ(不遇な「一石」https://textream.yahoo.co.jp/personal/history/comment?user=_SrJKWB8rTGHnA91umexH77XaNbpRq00WqwI62dl 表示名:ムダグチ博士 Yahoo! ID/ニックネーム:hyperboloid_of_two_sheets**) (Yahoo!でのあだ名が、「一石」) <*)サイコパスの特徴> (参考)http://blog.goo.ne.jp/grzt9u2b/e/c1f41fcec7cbc02fea03e12cf3f6a00e サイコパスの特徴、嘘を平気でつき、人をだまし、邪悪な支配ゲームに引きずり込む 2007年04月06日 (**)注;https://en.wikipedia.org/wiki/Hyperboloid Hyperboloid Hyperboloid of two sheets :https://upload.wikimedia.org/wikipedia/commons/thumb/f/f2/Hyperboloid2.png/150px-Hyperboloid2.png https://ja.wikipedia.org/wiki/%E5%8F%8C%E6%9B%B2%E9%9D%A2 双曲面 二葉双曲面 :https://upload.wikimedia.org/wikipedia/commons/thumb/b/b5/HyperboloidOfTwoSheets.svg/180px-HyperboloidOfTwoSheets.svg.png おサルさんの正体判明!(^^) スレ12 https://rio2016.5ch.net/test/read.cgi/math/1671460269/923 より ”「ガロア理論 昭和で分からず 令和でわかる #平成どうしたw」 昭和の末期に、どこかの大学の数学科 多分、代数学の講義もあったんだ でも、さっぱりで、落ちこぼれ卒業して 平成の間だけでも30年、前後を加えて35年か” ”(修士の)ボクの専攻は情報科学ですね”とも 可哀想に、数学科のオチコボレで、鳥無き里のコウモリ***)そのもので、威張り散らし、誰彼無く噛みつくアホ 本来お断り対象だが、他のスレでの迷惑が減るように、このスレで放し飼いとするw(^^ 注***)鳥無き里のコウモリ:自分より優れた数学DRやプロ数学者が居ないところで、たかが数学科のオチコボレが、威張り散らす姿は、哀れなり〜!(^^; なお 低脳幼稚園児のAAお絵かき 小学レベルとバカプロ固定 は、お断りです 小学生がいますので、18金(禁)よろしくね!(^^ つづく http://rio2016.5ch.net/test/read.cgi/math/1738367013/7
50: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/02/02(日) 19:58:40.30 ID:5scbwZz/ >>44 (引用開始) >3)つまり、あなたの選択関数と、私が(思う)選択する選択関数w > は、異なって良いのです!!ww ;p) だからと言って勝手な選択関数は作れない。 もし作れるならそもそも選択公理は不要。 だから >すきな順番に整列できる は嘘デタラメ。 (引用終り) ふっふ、ほっほ ・それ、自爆発言ですね ・自ら、>>47のJechの証明 あるいは >>14の alg-d 壱大整域氏 の証明が ちゃんと 理解出来ていないと 自白しているに 等しい!w ・もし ちゃんと 理解出来ているならば 選択公理(選択関数)には 大きな自由度(任意度)があるのが分るはずです おサルさん>>7-10、 証明を読むときに 私が 心がけているのが 数学の証明は、その背後の数学的構造を反映する鏡であり 数学の証明を理解することは、背後の数学的構造を理解することだと そう思って証明を見ています あなたは、真に Jechの証明 あるいは >>14の alg-d 壱大整域氏 の証明が ちゃんと 理解出来ては いない!!www ;p) http://rio2016.5ch.net/test/read.cgi/math/1738367013/50
58: 132人目の素数さん [] 2025/02/02(日) 22:29:53.96 ID:7z4Dw9JT >おサルさん>>7-10、 おサルさんは君 >証明を読むときに 私が 心がけているのが 君には証明なんて読めないよ。 ∃と∀の区別が分からない人がなんで証明読めるの? >数学の証明は、その背後の数学的構造を反映する鏡であり >数学の証明を理解することは、背後の数学的構造を理解することだと >そう思って証明を見ています いや、∃と∀の区別が分からない人の講釈は無用。 >あなたは、真に Jechの証明 あるいは >>14の alg-d 壱大整域氏 の証明が >ちゃんと 理解出来ては いない!!www ;p) それが君。 なぜなら、ちゃんと理解出来てる人は >すきな順番に整列できる などという嘘デタラメ言わないので。 http://rio2016.5ch.net/test/read.cgi/math/1738367013/58
61: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/02/02(日) 23:15:32.24 ID:5scbwZz/ >>55 >>57-59 >わからない ID:bvvTKD+8 は、御大か 夜の巡回ご苦労さまです ID:7z4Dw9JTは、おサル>>7-10 プロ数学者から ダメ出し されちゃたねw ;p) >つまり、直積の何らかの元が存在すると主張している。これは論理記号で書けば∃fであって∀fではない。 >大きな任意度があーと言ってる君は∃と∀の区別が分かってないだけ。 ”∃と∀の区別が分かってない”のは、あなた いま Xを無限集合としよう その要素xについて ∀x∈X で 何かの命題を証明したとする。反例は ただ一つ ∃x∈X あれば良い つまり、∀x∈Xと言ったら 100%正しくないといけない。0.1%でも例外は許されない 一方、∃x∈Xについて 何かの命題を証明したとする それは ただ一つの∃x∈Xを意味しない。二つあっても良いし、場合によれば 100%(つまり∀x∈X)でも良い! (∀x∈X は、反例を構成しない!) ∃x∈Xを否定するには、反証を すべての ∀x∈X について しなければならない!! >箱入り無数目の確率は、ある箱の中身を当てる確率ではなく、当たりの箱を選ぶ確率。それを10年かかってどうしても理解できないのが君。 もし、君が神様で 箱を開けずに 中の数を透視できるならば、箱を開けずに 箱の中身(=任意の実数)を当てられる しかし、任意の実数の1点は ルベーグ測度で 零集合で ルベーグ測度は0しか与えられないのだよ? 矛盾でしょ? ああ、君は数学科1年か2年で詰んでいてw ルベーグ測度が分らないのかな?ww ;p) http://rio2016.5ch.net/test/read.cgi/math/1738367013/61
141: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/02/04(火) 16:04:09.21 ID:+HgMDnV2 皆さま お楽しみ中、お邪魔です ;p) >>118 >◆yH25M02vWFhPは、次元定理の「背後の数学の構造」が全く分かってない >だから>>115みたいなことを平気で言う >次元定理のステートメント、確認してみ? >おまえが想像してるものと全然違うから >https://ja.wikipedia.org/wiki/%E9%9A%8E%E6%95%B0%E3%83%BB%E9%80%80%E5%8C%96%E6%AC%A1%E6%95%B0%E3%81%AE%E5%AE%9A%E7%90%86 えーと、おサルさん>>7-10 いきなり 難しい定理のサイトに飛んで 消化不良ですよ まず 順番として 下記 高校数学の美しい物語 次元定理の意味,具体例,証明 さらに 数学の風景 線形写像の次元定理dim V = rank f + dim ker fの証明 を見なさい。後者は、図解が美しいよ。 その上で 英 wikipedia ”等しい有限次元のベクトル空間の線型変換の場合、単射性または全射性のいずれかが全単射性を意味することになります。 (原文 It follows that for linear transformations of vector spaces of equal finite dimension, either injectivity or surjectivity implies bijectivity.)” が、キモです。百回音読しましょうねw ;p) (参考) https://manabitimes.jp/math/1077 高校数学の美しい物語 次元定理の意味,具体例,証明 2021/03/07 行列における次元定理 A を m×n 実行列とするとき, rankA+dim(KerA)=n 目次 次元定理について 具体例 次元定理のイメージ 次元定理の証明 次元定理について rankA は A のランク(階数)です。→行列のランクの意味(8通りの同値な定義) dim は次元, KerA は A のカーネル(核)です。→行列のカーネル(核)の性質と求め方 「ランク,次元,カーネルってなんだ,全部初耳だよ」って方は,以下の具体例とイメージを見てなんとなく雰囲気をつかんでください。 次元定理は行列に対してではなく一般の線形写像について述べられることも多いです。ただし意味はほとんど同じなので,行列の場合できちんと理解しておけばOKです。 Wikipediaでは「階数・退化次数の定理」と呼ばれています。 次元定理の証明(分かり易い 原文参照請う) 略す https://mathlandscape.com/rank-ker-dim/ 数学の風景 線形写像の次元定理dim V = rank f + dim ker fの証明 2023.05.10 証明 Imf,Kerf はベクトル空間であったことに注意(→ 線形写像の像(Im),核(Ker)の定義とそれが部分空間になる証明)。 V の基底になっていることを示すには, それらが一次独立であること 任意の v∈V がそれらの一次結合でかけること を示せばよい。順番に示していこう。 略す つづく http://rio2016.5ch.net/test/read.cgi/math/1738367013/141
167: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/02/04(火) 18:21:51.18 ID:+HgMDnV2 >>100-101 >治らないコピペ癖 ID:oyw47Vnz >ほっとけ ID:pX4W9Cg1 ID:pX4W9Cg1は、御大ね ID:oyw47Vnzは、おサル>>7-10 かな? 1)院試合格までは、数学の実力は主に試験で測られる 限られた場所で、カンニング無しで、限られた時間内で どれだけ解けるか 2)しかし、院試合格の後の 数学の実力は なんでもあり カンニングありで、誰に相談しても 聞いても良い 時間制約は、あっても年単位 3)社会人でも、上記2)と似たようなもの 特に、”カンニングありで、誰に相談しても 聞いても良い” さて、ここ 天下の落書き 便所板で 多くの人が タネ本があるのに それを隠して あたかも 自分が 考えたように 書いている 院試の答案のように で、しばしば エラーが混じる 赤ペンが必要だ 自分が、そのようにして 赤ペンが必要な エラー混じりのカキコをして しかし、タネ本を隠して 自分の実力のように見せて ハナタカしている だが、ハナタカできるのは 独自の数学理論を創出して 論文書いて、教科書(テキスト)を書いて、大学で講義したり そういう人だけでしょ? なんか、タネ本でカンニングしているのに そこを偽装して、ハナタカしている それって、見え見え。たいがい 底が見えていますww ;p) http://rio2016.5ch.net/test/read.cgi/math/1738367013/167
192: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/02/05(水) 11:10:23.00 ID:hl9U/ln8 ”<公開処刑 続く> (『 ZF上で実数は どこまで定義可能なのか?』に向けて と (あほ二人の”アナグマの姿焼き") に向けてww ;p) rio2016.5ch.net/test/read.cgi/math/1736907570/”] >>185-188 >あきらめたらそこで試合終了ですよ ふっふ、ほっほ こっちは、<公開処刑 続く> (あほ二人の”アナグマの姿焼き")のつもり しかし、低レベルのバトルでは、観客も面白くないだろうから いまは おサル>>7-10の、選択公理(選択関数)の誤解・無理解を 徹底的に あぶりだしているのですw ;p) おサルにしたら あきらめたらそこで試合終了 だわなw がんばれよ、おサルww ;p) さて >>185 (引用開始) > ある空間の 基底の存在定理、次元定理から > 具体的な 基底候補が、実際の基底として採用できることが分る じゃ、RをQ上の線形空間としてみたときの基底を、具体的に構成してみてくれる? できるものならな (引用終り) ・いま、”具体的な 基底候補”があれば という話だ それに対して、具体的に構成できないことを持ち出しても 反論になってないぞw ;p) ・RをQ上の線形空間としてみたときの基底 (R/Qで) すべての基底を 具体的に明示することはできないが ある有限n個の 無理数で 基底 b1,b2,・・,bn を選んで、それらが Q上 一次独立にはできそうだな そして、残りの部分を 存在定理に丸投げすれば、良い n → 可算無限 にできそうな気がする (すぐには 成否の判断ができないが) そして、残りの部分を 存在定理に丸投げすれば、良いw http://rio2016.5ch.net/test/read.cgi/math/1738367013/192
198: 132人目の素数さん [] 2025/02/05(水) 11:57:33.27 ID:wxM+XkyV >>192 >いまは おサル>>7-10の、選択公理(選択関数)の誤解・無理解を >徹底的に あぶりだしているのですw ;p) 好きな順番で整列できるだの、aαでfを定義するだのこそ誤解・無理解 http://rio2016.5ch.net/test/read.cgi/math/1738367013/198
202: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/02/05(水) 13:33:23.30 ID:hl9U/ln8 <公開処刑 続く> (『 ZF上で実数は どこまで定義可能なのか?』に向けて と (あほ二人の”アナグマの姿焼き") に向けてww ;p) rio2016.5ch.net/test/read.cgi/math/1736907570/”] >>199 (引用開始) >n → 可算無限 にできそうな気がする (すぐには 成否の判断ができないが) >mとnの2重数学的帰納法で証明できるかも・・、しらんけど できません。 数学的帰納法の結論は「任意の自然数に関する命題P(n)が真」です。 高校数学からやり直した方が良いのでは? (引用終り) ふっふ、ほっほ それ、下記の”F線形空間F[x]は任意の自然数より大きい次元の部分空間を持つから無限次元である” の証明 by 都築暢夫 広島大 (いま東北大) が間違っていると? それ 都築暢夫先生に教えてあげてね!w ;p) なお、おサルさん>>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
204: 132人目の素数さん [] 2025/02/05(水) 13:44:27.12 ID:wxM+XkyV >>202 >なお、おサルさん>>7-10は >存在を示す 選択公理(選択関数)のポジティブな面を見ようとせず >ネガティブな面のみを強調するが、それ 自分の数学レベルの低さを自白しているに等しい 好きな順番で整列できるだの、aαでfを定義するだのほざいてる人こそ自分の数学レベルの低さを自白しているに等しい http://rio2016.5ch.net/test/read.cgi/math/1738367013/204
276: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/02/06(木) 11:58:40.59 ID:kjKecCBk おサルさん>>7-10の 本音・正体丸見えだね おサルさん、数学科の1〜2年 で詰んで オチコボレさん 不遇な人生で、慰めのために、5ch天下の落書き 便所板で 必死に自分より下をさがしているんだね ルサンチマン 丸出しw (^^ ja.wikipedia.org/wiki/%E3%83%AB%E3%82%B5%E3%83%B3%E3%83%81%E3%83%9E%E3%83%B3 http://rio2016.5ch.net/test/read.cgi/math/1738367013/276
305: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/02/06(木) 20:29:26.67 ID:6JYRwlF9 <公開処刑 続く> (『 ZF上で実数は どこまで定義可能なのか?』に向けて と (あほ二人の”アナグマの姿焼き") に向けてww ;p) rio2016.5ch.net/test/read.cgi/math/1736907570/”] >>302-303 (引用開始) >各区間の実数の整列は、整列可能定理で整列させる え??? 整列定理使うの? じゃ好きな順番で整列できないじゃん あなたは馬鹿なんですか? >各区間の・・・その先頭部分は、各人が好きにしてよい じゃ好きにしてみて 口でよいと言うんじゃなく実際にやってみてよ ちなみに区間は無限個あるので先頭も無限個だけど好きにできるのね? もしそうなら区間を考える意味とは? Rから直接好きな順に選べばいいじゃん (引用終り) ふっふ、ほっほ おサルさんたち>>7-10 そもそも、「数学の公理とは?」が理解できていない! 数学の公理とは?:人(=人類)が、数学の理論を展開するためのルールです。 数学の公理がなぜ必要?:カントールの展開した素朴(ナイーブ)な集合論は、矛盾にぶち当たった。矛盾にぶち当たるのを回避するためには、簡素なルール(即ち公理)が必要だってこと 良い公理とは?:良い公理とは、簡潔であること。その中で分かり易いこと。いままでの数学理論(ZFCの誕生当時なら20世紀初頭の数学理論、いま2025年なら今の数学理論)が、自由自在に展開できることだね 数学の公理は変えて良いか?:当然変えて良い。ZFC公理系以外にも、提案されている公理系が沢山ある。また、公理を追加してよい。ZFCGとか。但し、ZFC公理系が基礎論屋さんに重宝されるのは、強制法との相性が良いということがあるらしい by 渕野先生の受売り ja.wikipedia.org/wiki/%E5%BC%B7%E5%88%B6%E6%B3%95 (引用開始) つーか好きな順番に整列できるなら、通常の大小関係の小さい順に並べればいいじゃん。 しかしこれは整列順序ではない。実際部分集合(0,1]には通常の大小関係の最小値は存在しない。仮に最小値mが存在するとすると0<m/2<mで矛盾なので。 反例が存在するからあなたの持論「好きな順番に整列できる」が間違いであることが証明されますた。残念! (引用終り) ふっふ、ほっほ おサルさん、全然反論になってないんですが・・・www ;p) http://rio2016.5ch.net/test/read.cgi/math/1738367013/305
313: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/02/06(木) 22:09:21.36 ID:6JYRwlF9 >>312 <公開処刑 続く> (『 ZF上で実数は どこまで定義可能なのか?』に向けて と (あほ二人の”アナグマの姿焼き") に向けてww ;p) rio2016.5ch.net/test/read.cgi/math/1736907570/”] >「任意の正方行列には逆行列がある」の1は あほサルが、まだいうかw >>7-10 いま、英語圏では Invertible matrix だ(下記) 「Invertible matrix は、逆行列を持つ」 語感から言えば、同義反復だが 分かり易い ;p) 仏語も”Matrice inversible”だ(下記) 独語が、”Reguläre Matrix” 多分、和語は 戦前の独語の影響で、正則行列が専門用語だが、世界の趨勢に遅れているかもね ;p) (参考) en.wikipedia.org/wiki/Invertible_matrix Invertible matrix In linear algebra, an invertible matrix is a square matrix which has an inverse. 仏語 fr.wikipedia.org/wiki/Matrice_inversible Matrice inversible En mathématiques et plus particulièrement en algèbre linéaire, une matrice inversible (ou régulière ou encore non singulière) est une matrice carrée A pour laquelle il existe une matrice B de même taille n avec laquelle les produits AB et BA sont égaux à la matrice identité. 独語 de.wikipedia.org/wiki/Regul%C3%A4re_Matrix Reguläre Matrix Eine reguläre, invertierbare oder nichtsinguläre Matrix ist in der Mathematik eine quadratische Matrix, die eine Inverse besitzt. Reguläre Matrizen können auf mehrere äquivalente Weisen charakterisiert werden. http://rio2016.5ch.net/test/read.cgi/math/1738367013/313
337: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/02/07(金) 15:47:44.72 ID:2sO/8ukw >>335-336 話は逆だろ? あほサル>>7-10のヤクザ因縁だろ?w ;p) 例えばテンプレ>>10がその典型で 列 {}∈{{}}∈{{{}}}∈{{{{}}}}∈・・・で Thomas Jechの 証明 >>47のように 順序数の付番をして 順序数との対と考えて ({},0)<({{}},1)<({{{}}},2)<({{{{}}}},3)<・・・ この順序は、順序数でつけられた順序 0 < 1 < 2 < 3 < ・・・ であると考える (>>47のThomas Jechの 証明の通りです ) だから、({},0) < ({{{}}},2) で、順序は 0 < 2 により従うとして問題なし! (^^ ところが、あほサルのヤクザは 『{{}}∈{{{}}} は真だが、{}∈{{{}}} は偽』>>9 などと、てめえの低能の脳内妄想全開の ヤクザ因縁w ;p) 完全にアホの”パープリン”(下記) 笑えます (^^ (参考) https://ja.wikipedia.org/wiki/%E6%9D%B1%E5%A4%A7%E4%B8%80%E7%9B%B4%E7%B7%9A 東大一直線 パープリン 「パーなのでまるで脳がプリン」を意味する。 http://rio2016.5ch.net/test/read.cgi/math/1738367013/337
340: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/02/07(金) 16:33:40.75 ID:2sO/8ukw >>111 >うん、人の意思があーとか言う前に∀と∃の違いからやり直すべき 分って無いんか? "∃" (存在記号)について、下記あり 『(少なくとも1つは)存在する』ですね おサルさんは>>7-10、 ”少なくとも1つ(以上)”と強く読まれることをお勧めします "∃" は、英語では 単数の不定冠詞a と、複数 some 、それに 全称 all の すべてのケースを含みます ("∃" と書いてある公理があったとして、ある特殊なケースで その対象全てが("∀"に)当てはまったとしても かまいません(場合分けする必要は 全くありません!!)) 選択公理の選択関数は、”少なくとも1つ(以上)”で なんら問題なし 選択関数が、100あろうが、1000あろうが・・、可算無限あろうが、非可算無限あろうが、問題なし! w ;p) (参考) https://www.nli-research.co.jp/report/detail/id=64337?site=nli シンクタンクならニッセイ基礎研究所 > 数学記号の由来について(4) −論理記号(∀、∃、∴、∵等)− 中村 亮一 コラム2020年04月30日 「∃」(存在記号)の使用及び由来 一方で、「∃」という記号は、「存在記号」、英語で「existential quantifier」と呼ばれている。「∃x;P(x)」と書いて、「P(x)が成り立つxが(少なくとも1つは)存在する」ということを意味することになる。 この記号についても、先のラッセルとホワイトヘッドの著「Principia Mathematica」の中では、「P(x)が成り立つxが存在する」ことを、「(E(x))P(x)」と表記している。 これに対して、ゲンツェンは、Eと言う文字が他にも(確率の期待値等)使用されていることから、「∀」と類似の考え方から、存在を意味するドイツ語の「Existieren」の頭文字のE(これは、存在を意味する英語の「Exist」の頭文字でもある)を反転させて、「∃」の記号を使うようになった、とのことである。 http://rio2016.5ch.net/test/read.cgi/math/1738367013/340
358: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/02/08(土) 10:47:01.45 ID:23ITt7NX >>352 >選択関数が無限個あったらダメ >と、誰ひとりとして言ってないんだが、おサルさんは一体誰と戦ってるの? ふっふ、ほっほ >>204 より (引用開始) >なお、おサルさん>>7-10は >存在を示す 選択公理(選択関数)のポジティブな面を見ようとせず >ネガティブな面のみを強調するが、それ 自分の数学レベルの低さを自白しているに等しい 好きな順番で整列できるだの、aαでfを定義するだのほざいてる人こそ自分の数学レベルの低さを自白しているに等しい (引用終り) ここに戻ろう >>347より ”数学での抽象化と具体化の行き来” ”JAXAで欠かせない数学は、具象と抽象のあいだを行き来する学問” 『抽象的な選択関数を使って 具体的な対象を構成する』 好きなだけ、可能な範囲でね 2025年の数学の能力で不可能な場合は、別としてね 普通の数学徒は、それができないと、(超天才は別として) ”数学での抽象化と具体化の行き来”が出来ないと、オチコボレさんだわw ;p) http://rio2016.5ch.net/test/read.cgi/math/1738367013/358
361: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/02/08(土) 11:02:47.59 ID:23ITt7NX >>358 補足 >”数学での抽象化と具体化の行き来” >”JAXAで欠かせない数学は、具象と抽象のあいだを行き来する学問” 数学科 1〜2年で詰んでしまって、オチコボレさんのおサル>>7-10 君に送る 下記 河野玄斗”数学力が劇的に伸びる思考法”抽象論”とは” おサルの場合、大学学部数学の”抽象論から→具体的対象に落とし 当て嵌める” そして、抽象論に戻って、理解を深める このサイクルが弱い気がする 抽象論から→抽象論 で終わってしまって、上滑りだった気がするよw ;p) (参考) ヨーツベ/X14mYj39r7c?t=1 (URLが通らないので 各自検索たのむ) 【苦手克服】数学力が劇的に伸びる思考法”抽象論”とは 河野塾チャンネル 河野玄斗 2024/05/20 文字起こし 0:00 はいどうも皆さんこんにちは河野塾イズム 塾長の河野です数学の勉強 めちゃくちゃしてるはずなのになかなかね 初見の問題が解けるようにならない方全員 集合してくださいもうせっかくね数学の 勉強時間かけてしてるのに成績伸びないの はもったいないですし特にそれでね数学が 面白くないっていう風にね思ってしまうの はもうあまりにももったいないです 今回は そんな皆さんが数学を得意に変えるため 意識するべきことの1つ数学の抽象化に ついて出題形式で解説していきます <203 件のコメント> @n_m_n_l_Dragons 8 か月前 抽象化ができるようになるためには、「思考の言語化」をすると良いと思います。 問題を解いた後、30秒程度でいいのでこの問題をどう解いたか、思考のプロセスを日本語で説明してみましょう。 すると、理解が甘いところはあやふやな説明になってしまうはずです。 友達に教えるでもいいですが、自分で授業するつもりになる「セルフレクチャー」を練習していくと、思考が整理・言語化され、抽象化に繋がります。 @にーと-m1e 8 か月前 塾講師のバイトしてて感じるけど、解答丸暗記してる子って応用が解けなかったり、解けたとしても遠回りしてたりするから、この動画みたいになんで解けるかとか抽象化するの大事なんだよね。数学得意な子は自然とこれが出来ているように見える http://rio2016.5ch.net/test/read.cgi/math/1738367013/361
367: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/02/08(土) 11:19:17.08 ID:23ITt7NX >>360 >>順序数全体の集まりは集合でない。 >順序数全体のクラスOを集合と仮定する。 >このときOも順序数だからO∈O。正則性公理に反するから仮定は偽、すなわちOは集合でない。 アホなおサルと>>7-10、 10分議論をする暇があったら 下記のen.wikipedia Ordinal number を、3分黙読する方が、よほど有益だわw ;p) (日wikipediaには、順序数のクラスの記述はないけどね (^^) (参考) https://ja.wikipedia.org/wiki/%E9%A0%86%E5%BA%8F%E6%95%B0 順序数(じゅんじょすう、英: ordinal number)とは、整列集合同士の“長さ”を比較するために、自然数[1]を拡張させた概念である。 https://en.wikipedia.org/wiki/Ordinal_number Ordinal number In set theory, an ordinal number, or ordinal, is a generalization of ordinal numerals (first, second, nth, etc.) aimed to extend enumeration to infinite sets.[1] Definitions Well-ordered sets Essentially, an ordinal is intended to be defined as an isomorphism class of well-ordered sets: that is, as an equivalence class for the equivalence relation of "being order-isomorphic". There is a technical difficulty involved, however, in the fact that the equivalence class is too large to be a set in the usual Zermelo–Fraenkel (ZF) formalization of set theory. But this is not a serious difficulty. The ordinal can be said to be the order type of any set in the class. Definition of an ordinal as an equivalence class The original definition of ordinal numbers, found for example in the Principia Mathematica, defines the order type of a well-ordering as the set of all well-orderings similar (order-isomorphic) to that well-ordering: in other words, an ordinal number is genuinely an equivalence class of well-ordered sets. This definition must be abandoned in ZF and related systems of axiomatic set theory because these equivalence classes are too large to form a set. However, this definition still can be used in type theory and in Quine's axiomatic set theory New Foundations and related systems (where it affords a rather surprising alternative solution to the Burali-Forti paradox of the largest ordinal). Von Neumann definition of ordinals See also: Set-theoretic definition of natural numbers and Zermelo ordinals Rather than defining an ordinal as an equivalence class of well-ordered sets, it will be defined as a particular well-ordered set that (canonically) represents the class. Thus, an ordinal number will be a well-ordered set; and every well-ordered set will be order-isomorphic to exactly one ordinal number. http://rio2016.5ch.net/test/read.cgi/math/1738367013/367
376: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/02/08(土) 13:02:49.91 ID:23ITt7NX >>358 戻る (引用開始) >なお、おサルさん>>7-10は >存在を示す 選択公理(選択関数)のポジティブな面を見ようとせず >ネガティブな面のみを強調するが、それ 自分の数学レベルの低さを自白しているに等しい 好きな順番で整列できるだの、aαでfを定義するだのほざいてる人こそ自分の数学レベルの低さを自白しているに等しい (引用終り) 『抽象的な選択関数を使って 具体的な対象を構成する』 好きなだけ、可能な範囲でね 2025年の人類の数学の能力で不可能な場合は、別としてね 具体例で論じよう 下記 ヴィタリ集合を取り上げる ja.wikipedia.org/wiki/%E3%83%B4%E3%82%A3%E3%82%BF%E3%83%AA%E9%9B%86%E5%90%88 ヴィタリ集合 構成と証明 有理数体 Q は実数体 R の普通の加法についての部分群を成す。なので加法の商群 R/Q (つまり、有理数分の差を持つ実数同士を集めた同値類による剰余群) は有理数集合の互いに交わらない"平行移動コピー"によって出来ている。この群の任意の元はある r ∈ R についての Q + r として書ける R/Q の元は R の分割の1ピースである。そのピースは不可算個あり、各ピースはそれぞれ R の中で稠密である。R/Q の元はどれも [0, 1] と交わっており、選択公理によって [0, 1] の部分集合で、R/Q の代表系になっているものが取れる このようにして作られた集合がヴィタリ集合と呼ばれているものである すなわち、ヴィタリ集合 V は [0, 1] の部分集合で、各 r ∈ R に対して v − r が有理数になるような一意的な v を要素に持つものであるヴィタリ集合 V は不可算であり、 u,v∈V,u≠v であれば v − u は必ず無理数である ヴィタリ集合は非可測である これを示すために V が可測だったとして矛盾を導く。q1, q2, ... を [−1, 1] の有理数の数え上げとする(有理数集合は可算なのでこれは可能)。V の構成から、平行移動による集合 Vk=V+qk={v+qk:v∈V}, k = 1, 2, ... はそれぞれ互いに交わらない さらに、 [0,1]⫅⨄kVk⫅[−1,2] である。ここで、ルベーグ測度のσ-加法性を使うと: 1≦?k=1∞λ(Vk)≦3. である。ルベーグ測度は平行移動について不変なので λ(Vk)=λ(V) である ゆえに、 1≦?k=1∞λ(V)≦3. であるが、これは不可能である 一つの定数の無限和は 0 であるか無限大に発散するので、いずれにせよ [1, 3] の中には入らない すなわち V は可測ではない。つまりルベーグ測度 λ はいかなる値も λ(V) の値として定義できない[3][4] (引用終り) つづく http://rio2016.5ch.net/test/read.cgi/math/1738367013/376
550: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/02/10(月) 10:31:14.63 ID:S2+qg66P <公開処刑 続く> (『 ZF上で実数は どこまで定義可能なのか?』に向けて と (あほ二人の”アナグマの姿焼き") に向けてww ;p) rio2016.5ch.net/test/read.cgi/math/1736907570/”) いや、褒め殺しのつもりだったんだよね、 >>487より ”数の歴史とは、ないなら作ってしまえ、という歴史の積み重ね”>>404 これは、良いことを一つ言ったな。ないなら、集合を一つ作ってしまえ! だね と ところが、おサル>>7-10 が スベリまくるから 公開処刑になったw ;p) >>488-489 >はい、矛盾 >濃度1なら、要素が1つ存在するから、その唯一の要素が前者とならざるを得ない > 「集合論の公理に矛盾せずして」が抜けた > 貴様の馬鹿定義は思いっきり公理と矛盾する ふっふ、ほっほ 1)まず、歴史的な実例をあげよう ・虚数=英: imaginary number は、数とは認められていなかった しかし、だんだん認められるようになった 当時は 数とは 即実数だった。二乗して負になる数は存在しない! それは 数ではない と思われた ・無限大 ∞ も、数ではないと思われていた しかし、だんだん認められるようになった 多分、射影幾何の影響もあったろうが www.ms.u-tokyo.ac.jp/tambara/docs/mc4h2023-Sakasai.pdf (射影幾何の考えかた 逆井卓也∗ 2023 年10月9日 ∗東京大学大学院数理科学研究科.令和5年度群馬県高校生数学キャンプ「2次曲線」における講演.) リーマンの導入した リーマン球面とリーマン面の影響が大きかった気がする manabitimes.jp/math/2663 高校数学の美しい物語 リーマン球面と無限遠点 2022/07/21 2)かように、数学は 従来の概念と異なる対象を いろいろ導入して、数学が発展してきた歴史がある 3){・・{{{}}}・・}_ω >>487 が、うんたらかんたらの 従来の従来の集合概念と 矛盾するから 集合と認められないwww?? それ、ガリレオ裁判の裁判長と同じだよ(頭が固い)w ;p) 以上 http://rio2016.5ch.net/test/read.cgi/math/1738367013/550
554: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/02/10(月) 10:52:22.89 ID:S2+qg66P >>496-500 >ウンウン唸って考えること好きだろ? >プロ棋士になると厳しい職業だけど、 >将棋や囲碁などの勝負事もその一つ >楽しみ方が人それぞれであることも >面白い ご苦労様です これは至言だね ID:YxzqkN0Rは、おっちゃんか お元気そうで何よりです。 ID:91wxmWNwは、御大 巡回ご苦労様です こういう発言と対比すると おサル>>7-10の発言を見ると、そのキチ外ぶりがよくわかる 正義漢ぶっているが、その実 某私大 数学科に進学するも 1〜2年で詰んで オチコボレさんになった 不遇のルサンチマンが、憂さ晴らしのために 5ch便所板で 暴れる図だなw アホを見透かされているとww 気付けない アホだwww ;p) http://rio2016.5ch.net/test/read.cgi/math/1738367013/554
759: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/02/12(水) 10:19:29.67 ID:rAcOLHcf >>757 >全く興味ない 猫に小判 おサルに数学 >>7-10 w ;p) http://rio2016.5ch.net/test/read.cgi/math/1738367013/759
810: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/02/12(水) 21:08:20.88 ID:rx78Rip+ >>802-808 >>永遠に馬鹿でありつづける >そのような自由を認めてあげてもよかろう ID:zktcB9iZ は、御大か 巡回ご苦労さまです 昔 囲碁の木谷實先生が、日本棋院の会議で 納得できず 反対を唱えて 皆が説得するも 納得せず (https://ja.wikipedia.org/wiki/%E6%9C%A8%E8%B0%B7%E5%AF%A6) 「だれか、おれを納得させてくれ」と言ったそうな 「筋が通らない。納得できない」ってことでしょうね これ、日本人では珍しいかも 西洋では、irrational=意味は、不合理 or 理不尽 (unreasonable = 理由になってないw) なのです。木谷實先生はこれかも。私も、理不尽、不合理に、譲る必要を 全く感じないw ;p) >あららw >永遠の馬鹿と名誉教授に認定されちゃったよ雑談くんw 別に構わん いろんな意見があっていい!w ;p) けど おサルさん>>7-10、 グダグダ言っているが、 もう皆さんには バレバレと思うよ あなたは 数学のオチコボレさんって!ww ;p) 目くそ鼻くそ 五十歩百歩 おサルさんとおれは、良い勝負と思うが 多分、数学はオレの方が、上だろうよwww ;p) おサルさん、あなたは囲碁で言えばアマ初級者だねw 数学文献の大人読みができないでしょ? ガキンチョ 読み しか出来ないw 手足を動かして 一歩一歩って 小学校&中学校で教わったかな?ww 大人は、まず その数学の文献が 今読む価値があるかどうか?(あるいは今読むべきか。速読か熟読か?) その判断が速くできないと行けないよ ww (多分、もし御大が 他人の論文の査読を頼まれたら、最初から一歩一歩でなく、 表題と著者、つぎアブスト、そして最後に飛んで 何が書いてあるか を見て 章立てを眺めて いまから査読する論文の全体構成と論文の流れを 掴む。 大体は、この流れで、論文を読み出すのは その後だろう。多分 Siu先生と同じように、証明を読む前に 命題を見て 成り立つか? 反例がありそうか?を判断する。証明を読むのはその後(最後の方)だな きっと。プロはそれが出来る。私は、その真似が できる ;p ) まあ、おサルさん ガンバッテくれな おサルさんよwww ;p) http://rio2016.5ch.net/test/read.cgi/math/1738367013/810
837: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/02/13(木) 11:10:18.45 ID:mxQOAQvq >>831-832 > 高校どこ? 名も無い公立? >な、全然違うだろ? >東京大学2024年 大学合格者 高校別ランキング >https://univ-online.com/success/tokyo/u126/ 意味わからんw ;p) おサルさん>>7-10 私立w大 数学科入学という ならば、おそらく東大を受けて 不合格なんだろうね その くやしさ 怨念が にじみ出ているとしか思えない おれは、高校までは 都内の一流校で 偏差値は、トップクラスだった! えっへん!! って??? ;p) 微笑ましいね、ガキンチョだね〜www >>835 >オレは、プロの真似が できる」 囲碁でも、まず プロの打ち方を真似するんだ もちろん、ヨミの深さが違う それでも良い。そこからが スタートだよw ;p) (参考) https://www.otemae.ed.jp/information/20230310-30967/ 大手前丸亀中学校・高等学校 トップページ 大手前丸亀からのお知らせ > お知らせ 学ぶ=まねぶ(コラム) 学ぶ=まねぶ(コラム) 更新日:2023年03月10日 古語では「学ぶ」を「まねぶ」と読みます。まねぶ=名詞「まね」に動詞をつくる接尾語「ぶ」がついたものです。 https://dictionary.goo.ne.jp/word/%E5%AD%A6%E3%81%B6_%28%E3%81%BE%E3%81%AD%E3%81%B6%29/ 学ぶ(まねぶ) とは? 意味・読み方・使い方 goo辞書 [動バ四]《「まなぶ」と同語源》 1 まねをする。まねをしていう。 「鸚鵡、かねて聞きしことある大隊長のこと葉を—・びしなりけり」〈鴎外・文づかひ〉 「みどりごの絶えず—・ぶも」〈かげろふ・上〉 3 教えを受けて身につける。習得する。 「琴、はたまして、さらに—・ぶ人なくなりにたりとか」〈源・若菜下〉 http://rio2016.5ch.net/test/read.cgi/math/1738367013/837
872: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/02/13(木) 16:59:52.83 ID:mxQOAQvq >>870 >「正方行列の群」は何度読んでも馬鹿発言だなあとしみじみ思うけど ふっ まだ言ってら〜 おサルさんw >>7-10 正方行列の群 ↓ 正方行列の(成す)群 とでも補えば なんということもないw 群の定義に当てはめて、自然に逆元の存在と、単位元e が含まれる いま、簡便に 行列の成分を 実数R or 複素数Cに限る すると、ある nxn (nは2以上) の 正方行列全体 は、環Rを成す その環Rの中の 乗法の成す部分を群Gとして R\G の部分が、零因子行列でしょ? >>8の「零因子行列のことだろ?知っているよ」は、 これを一言で言ったんだよ!w これが、分からなかった人がいるけどね・・ ww ;p) http://rio2016.5ch.net/test/read.cgi/math/1738367013/872
975: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/02/15(土) 18:10:16.33 ID:XknlDm4+ 所詮、数学科といえども 学部や修士レベルでは どうせ 講義やゼミのタネ本ありの 他人の受け売りにすぎない!w ;p) それを、”自分の言葉”だと錯覚する オチコボレさんのおサル>>7-10 あわれwww ;p) http://rio2016.5ch.net/test/read.cgi/math/1738367013/975
メモ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.038s