ガロア第一論文と乗数イデアル他関連資料スレ13

[過去ﾛｸﾞ] ガロア第一論文と乗数イデアル他関連資料スレ13 (1002ﾚｽ)
上下前次 1-新
通常表示 512ﾊﾞｲﾄ分割ﾚｽ栞

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

340: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [] 2025/02/07(金) 16:33:40.75 ID:2sO/8ukw

>>111
>うん、人の意思があーとか言う前に∀と∃の違いからやり直すべき

分って無いんか？
"∃" （存在記号）について、下記あり
『（少なくとも１つは）存在する』ですね

おサルさんは>>7-10、
”少なくとも１つ(以上)”と強く読まれることをお勧めします

"∃" は、英語では 単数の不定冠詞a と、複数 some 、それに 全称 all の すべてのケースを含みます
（"∃" と書いてある公理があったとして、ある特殊なケースで その対象全てが("∀"に)当てはまったとしても かまいません（場合分けする必要は 全くありません！！））

選択公理の選択関数は、”少なくとも１つ(以上)”で なんら問題なし
選択関数が、100あろうが、1000あろうが・・、可算無限あろうが、非可算無限あろうが、問題なし！ ｗ ；ｐ）

(参考)
https://www.nli-research.co.jp/report/detail/id=64337?site=nli
シンクタンクならニッセイ基礎研究所 >
数学記号の由来について（4）
−論理記号（∀、∃、∴、∵等）− 中村 亮一 コラム2020年04月30日

「∃」（存在記号）の使用及び由来
一方で、「∃」という記号は、「存在記号」、英語で「existential quantifier」と呼ばれている。「∃x；P（x）」と書いて、「P（x）が成り立つxが（少なくとも１つは）存在する」ということを意味することになる。

この記号についても、先のラッセルとホワイトヘッドの著「Principia Mathematica」の中では、「P（x）が成り立つxが存在する」ことを、「（E(x)）P（x）」と表記している。

これに対して、ゲンツェンは、Eと言う文字が他にも（確率の期待値等）使用されていることから、「∀」と類似の考え方から、存在を意味するドイツ語の「Existieren」の頭文字のE（これは、存在を意味する英語の「Exist」の頭文字でもある）を反転させて、「∃」の記号を使うようになった、とのことである。

http://rio2016.5ch.net/test/read.cgi/math/1738367013/340

347: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [] 2025/02/07(金) 17:34:56.44 ID:2sO/8ukw

>>339 補足
>選択公理の選択関数は、”少なくとも１つ(以上)”で なんら問題なし
>選択関数が、100あろうが、1000あろうが・・、可算無限あろうが、非可算無限あろうが、問題なし！ ｗ ；ｐ）

そして、もう一つ大事なことが 下記
”数学での抽象化と具体化の行き来”
”JAXAで欠かせない数学は、具象と抽象のあいだを行き来する学問”

抽象的な選択関数を使って
具体的な対象を構成する

数学科１〜２年でオチコボレさんで、そういうことが出来ない人がいる
そういうことが出来ないから、オチコボレなのか？

(参考)
https://maruno-jyuku.com/2018/11/17/%E6%95%B0%E5%AD%A6%E3%81%A7%E3%81%AE%E6%8A%BD%E8%B1%A1%E5%8C%96%E3%81%A8%E5%85%B7%E4%BD%93%E5%8C%96%E3%81%AE%E8%A1%8C%E3%81%8D%E6%9D%A5%E3%80%82/
マルの塾
数学での抽象化と具体化の行き来 2018年11月17日

数学は抽象的な科目だと言われますが，それを意識したことはあるでしょうか？
そもそも抽象的とはどういう事でしょう。辞書を引いてみると
「いくつかの事物・表象から共通する性質を引き出し，それを一般化して思考するさま」（明鏡国語辞典より）
とあります。

共通する性質を引き出す？一般化？？思考するさま？？？　ふう。読むだけで疲れる。そうですよね。
では，あれこれ考える前に，
具体的（？）に数学の抽象化の例を挙げてみます。びっくりするほど，あっさりしています。

数学では，偶数（２で割って割り切れる数）をｎを自然数として，２ｎと表します。
これが抽象化です。「え？」と思った人もいるのでは？
たった２ｎと書いただけ。これがあの「いくつかの事物・・・思考するさま」なのでしょうか。

そうです。これでいいのです。（ちなみに２ｎは「２かけるｎ」のことです。）
抽象化を進めれば進めるほど，表現は単純になります。

次は具体化です。抽象化したものは，実際に利用するときは具体化して考えます。
先ほど思い浮かんだ２とか１０とか３６は，具体化した偶数です。

では，抽象化（偶数２ｎ）→具体化（２とか１０とか３６）の手続きは？
２ｎという表現において，ｎは自然数（ものを数えるときの数）なのだから，ｎを１にしてみます。

ｎという抽象的な数を具体的な数１に書きかえることを，ｎに１を代入するといいます。
すると，２×１＝２
具体的な数２が出てきました。

https://forbesjapan.com/articles/detail/41323/page3
2021.05.27 forbesjapan
JAXAで欠かせない数学は、具象と抽象のあいだを行き来する学問
JAXA's（JAXAの機関紙) | Official Columnist

https://forbesjapan.com/articles/detail/41323/page4
相曽　例えば、手前に羊が3匹、遠くに羊が2匹いて、合わせたら羊は5匹。これは数学で表すと「3+2=5」になりますよね。

──はい。その計算はできます（笑）。
相曽　この、「3+2=5」になるという性質があるんだとわかった時点で、本質的には物事を抽象化しているんですよ。

つづく

http://rio2016.5ch.net/test/read.cgi/math/1738367013/347

361: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [] 2025/02/08(土) 11:02:47.59 ID:23ITt7NX

>>358 補足
>”数学での抽象化と具体化の行き来”
>”JAXAで欠かせない数学は、具象と抽象のあいだを行き来する学問”

数学科 1〜2年で詰んでしまって、オチコボレさんのおサル>>7-10
君に送る 下記 河野玄斗”数学力が劇的に伸びる思考法”抽象論”とは”

おサルの場合、大学学部数学の”抽象論から→具体的対象に落とし 当て嵌める”
そして、抽象論に戻って、理解を深める

このサイクルが弱い気がする
抽象論から→抽象論 で終わってしまって、上滑りだった気がするよｗ ；ｐ）

(参考)
ヨーツベ/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分黙読する方が、よほど有益だわｗ ；ｐ）
（日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

387: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [] 2025/02/08(土) 23:30:23.67 ID:23ITt7NX

＜公開処刑 続く＞
（『 ZF上で実数は どこまで定義可能なのか？』に向けて と
　 (あほ二人の”アナグマの姿焼き") に向けてｗｗ ；ｐ） rio2016.5ch.net/test/read.cgi/math/1736907570/”)

>>376 つづき

さて、上記の ヴィタリ集合 加法の商群 R/Q (つまり、有理数分の差を持つ実数同士を集めた同値類による剰余群)
で、Q→U ( 10進の有限小数環（有限小数の"U"ね）) を考える

Uが、環を成すことは u1,u2 ∈U で、u1,u2 の和と積が 集合Uに属することから明らか
当然Uは、U⊂Q で可算。Qは無限小数の循環小数を含むが、Uはあくまで有限小数のみ
よって、Q/Uは Qの無限小数の循環パターンを分類する（なお、無理数が循環少数パターンにならないことは、自明）

R/Uは、当然非可算濃度で、R/Qより多少細かい分類になる
超越数が非可算で 代数的数が可算であることから、
R/Uの代表は、一般的には、
ある超越数τ と 有限小数u ∈U との組合せで
τ+u の 形に 書ける

あとは、後日
請うご期待 （＾＾

(参考)
www.ma.huji.ac.il/hart/
Sergiu Hart
www.ma.huji.ac.il/hart/#puzzle
Some nice puzzles:
www.ma.huji.ac.il/hart/puzzle/choice.pdf
Choice Games November 4, 2013
P2
game2:
・Player 1 chooses a rational number in the interval [0,1] and writes down its infinite decimal expansion3 0.x1x2...xn..., with all xn ∈ {0,1,...,9}.

Remark. When the number of boxes is finite Player 1 can guarantee a win
with probability 1 in game1, and with probability 9/10 in game2, by choosing
the xi independently and uniformly on [0, 1] and {0, 1,..., 9}, respectively.

http://rio2016.5ch.net/test/read.cgi/math/1738367013/387

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

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

ぬこの手ぬこTOP 0.018s