[過去ﾛｸﾞ] ガロア第一論文と乗数イデアル他関連資料スレ13 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
347(5): 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/02/07(金) 17:34:56.44 ID:2sO/8ukw(5/6) AAS
>>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」になるという性質があるんだとわかった時点で、本質的には物事を抽象化しているんですよ。
つづく
352(1): １３２人目の素数さん [] 2025/02/07(金) 17:42:43.46 ID:Q/S64BiQ(11/13) AAS
>>347 >>348
選択関数が無限個あったらダメ
と、誰ひとりとして言ってないんだが、おサルさんは一体誰と戦ってるの？
353: １３２人目の素数さん [] 2025/02/07(金) 17:44:43.08 ID:Q/S64BiQ(12/13) AAS
>>347 >>348
選択公理の主張は「選択関数全体の集合は空でない」なんだから、無限個有ってもよいのは自明。
自明なことをわざわざ声高に主張しておサルさんはいったい何がしたいの？
354: １３２人目の素数さん [] 2025/02/07(金) 17:50:02.33 ID:Q/S64BiQ(13/13) AAS
>>347 >>348
おサルさんはマウント取りたい欲求が満たされず幻覚でも見えてるの？
そんなにマウント取りたければ猿山でどうぞー
358(4): 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/02/08(土) 10:47:01.45 ID:23ITt7NX(1/8) AAS
>>352
>選択関数が無限個あったらダメ
>と、誰ひとりとして言ってないんだが、おサルさんは一体誰と戦ってるの？
ふっふ、ほっほ
>>204 より
(引用開始)
>なお、おサルさん>>7-10は
>存在を示す 選択公理（選択関数）のポジティブな面を見ようとせず
>ネガティブな面のみを強調するが、それ 自分の数学レベルの低さを自白しているに等しい
好きな順番で整列できるだの、aαでfを定義するだのほざいてる人こそ自分の数学レベルの低さを自白しているに等しい
(引用終り)
ここに戻ろう >>347より
”数学での抽象化と具体化の行き来”
”JAXAで欠かせない数学は、具象と抽象のあいだを行き来する学問”
『抽象的な選択関数を使って
具体的な対象を構成する』
好きなだけ、可能な範囲でね
2025年の数学の能力で不可能な場合は、別としてね
普通の数学徒は、それができないと、（超天才は別として）
”数学での抽象化と具体化の行き来”が出来ないと、オチコボレさんだわｗ ；ｐ）
417: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/02/09(日) 11:44:56.26 ID:lz6oAIdr(7/12) AAS
>>387 つづき
>ヴィタリ集合 加法の商群 R/Q (つまり、有理数分の差を持つ実数同士を集めた同値類による剰余群)
>で、Q→U ( 10進の有限小数環（有限小数の"U"ね）) を考える
Q→U ( 10進の有限小数環（有限小数の"U"ね）) を考えるのは、布石でして
”数学での抽象化と具体化の行き来”>>347 の応用で
まず、抽象的な 下記の game1を、まず扱う （game1は、箱入り無数目と同じ rio2016.5ch.net/test/read.cgi/math/1736907570/ ）
”Player 1 chooses a countably infinite sequence x = (xn)n∈N of real numbers”
ここで
x = (xn)n∈N を、形式的冪級数に移して考える（余談：形式的冪級数は、数え上げで有用（下記））
記号を、下記にならって
R係数の 形式的冪級数R[[X]]、多項式環 R[X] とする
下記の game1のしっぽ同値は、f1[[x]],f2[[x]] ∈R[[X]]で
f1[[x]] - f2[[x]] :＝f(x)∈R[X]（多項式）となることだ
つまり、f1[[x]],f2[[x]]で ある n+1次より上の項が一致していて 差を取ると、n次多項式f(x)に落ちる
決定番号とは、f1[[x]],f2[[x]] で ある項から上が一致していることだから
それは n+1次より上の項の一致で、決定番号d:=n+1 です
（下記 game1 では "Let X = R^N be the set of countable infinite sequences of real numbers. Consider the equivalence relation on X where x ∼ x′ if and only if there is N such that xn = x′ n for all n ≥ N (i.e., x and x′ coincide except for finitely many coordinates). "の部分。なお R^Nとn ≥ Nとで Nは別物で PDF上ではフォントを変えて記述しているよ）
なので、決定番号d:=n+1 を考えることは、即ち n次多項式f(x) の次数nを考えることだ
ところで、下記 都築暢夫 広島大によれば、”多項式環F[x]. F[x]nは1,x,··· ,xnを基底に持つn+1次元線形空間である
F線形空間F[x]は任意の自然数より大きい次元の部分空間を持つから無限次元である”
とある
だから、多項式環F[x]から 何も考えずに 一つ多項式f(x)を選ぶことは
即ち、無限次元の線形空間から 一つのベクトルを選ぶことで
それって、普通に 無限次元ベクトル（＝いかなる 任意有限n より大という意味）で
多項式の次数は 普通に 無限次（＝いかなる 任意有限n より大という意味）で
すよねｗ
一旦、ここまでを枕とするｗ ；ｐ）
(参考)
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
P1
Consider the following two-person game game1:1 • Player 1 chooses a countably infinite sequence x = (xn)n∈N of real numbers, and puts them in boxes labeled 1,2, ...
つづく
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.054s