大学入試の数学の問題を解くゲイ2023
■ このスレッドは過去ログ倉庫に格納されています
0412Usagi2023/11/10(金) 01:11:07.53ID:Q9WevY+D0
ていうか f ≡ g (mod P) よね
だからこれって結局>>359に書いたものと同じことよね…
0413陽気な名無しさん2023/11/12(日) 09:04:00.44ID:0xDWsMhK0
>>411
とりあえず（★）は間違っているわ。
>じゃあ（★）の意味でないのなら、（☆）はどういう根拠なのかしら、とききたかった
これを説明すればいいのね。そのためには
>代数的整数同士加法減法乗法したものはやはり代数的整数であることが知られている・・・(a)
これが必要なので、これは認めてね。又は自分で調べてね。（wikiなんかでも参考になるかも）

ではまず、
「αをPの根の一つとしたとき、ℚ[X]/(P)＝ℚ(α) が体ならば、Pはモニックなので、αは代数的整数」
これは代数的整数の定義「モニックの根となる数のことを代数的整数と言う」より、大丈夫よね。
それで、
>ℤ[X]/(P) の元fは整数係数のαのn-1次以下の式で表されるわ。
↑はOKよ。
と書いてくれたので、これを使うわ。
ｆを表している整数係数のαのn-1次以下の式の各項についてみると、
係数は整数だからこれは代数的整数、あとはαのべきだからやはり代数的整数の積。
よって各項は(a)によって代数的整数であることがわかる。
するとｆを表している整数係数のαのn-1次以下の式は各項の和又は差だから、
やはりｆ自体も(a)によって代数的整数であることがわかる。
以上より、ℤ[X]/(P) の元fは必ず代数的整数、つまりあるモニックの根であるので、
ℤ[X]/(P) はℤ上整であることが言える。

かなり丁寧に説明したつもりだけど、これでどうかしら。
ただ、これだと一見、「ℚ[X]/(P)＝ℚ(α) が体ならば」という条件はどこで必要なの？
という疑問が出てくるかもしれないわね。

これについては、
ℚ[X]/(P)＝ℚ(α) が体ならば、ℚ[X]/(P)⊃ℤ[X]/(P)＝ℤ[α] であることが言えるので、
うさぎが認めてくれた
>ℤ[X]/(P) の元fは整数係数のαのn-1次以下の式で表されるわ。
↑はOKよ。
これが確かにOKなの。
でも、ℚ[X]/(P)が体でないならば、Pが既約でないから、
ℚ[X]/(P)にも、ℤ[X]/(P)にも零因子が存在するので、
（P＝P’・P''としたとき、[P']と[P'']は共にℚ[X]/(P)やℤ[X]/(P)の元で
[0]とは異なるが、[P']・[P'']＝[P]=[0]になるわ）
αをPの根の一つとしたときに、整数係数のαのn-1次以下の式で表されるものは零因子ではないから、
（これはαの最少多項式でありPの既約因数であるP’に対してℚ[X]/(P’)が体になり、
ℚ[X]/(P’)＝ℚ(α)や ℤ[X]/(P’)＝ℤ[α] に対しては前半の議論が成り立つわ）
ℤ[X]/(P) の元fの中には整数係数のαのn-1次以下の式で表されないものも存在してしまうのよ。
だから「ℚ[X]/(P)＝ℚ(α) が体ならば」という条件はどうしても必要なの。
0414陽気な名無しさん2023/11/12(日) 12:53:21.48ID:LlqaUPnL0
やっとこのアホの言うことが分かってきたかも…
0415Usagi2023/11/13(月) 04:38:17.28ID:m/ukN7k50
>>413
>「αをPの根の一つとしたとき、ℚ[X]/(P)＝ℚ(α) が体ならば、Pはモニックなので、αは代数的整数」
>これは代数的整数の定義「モニックの根となる数のことを代数的整数と言う」より、大丈夫よね。
ちょっと文章がおかしくなっている気がするんだけど、きっと
・仮定からPは整数係数のモニック多項式なので、αをPの根の一つとすると、αは代数的整数
・ℚ[X]/(P)が体ならば、ℚ[X]/(P)＝ℚ(α) となり、ℤ[X]/(P) の元fは整数係数のαのn-1次以下の式で表される
とおっしゃりたいのよね？
そして代数的整数は単なる「モニック多項式の根」ではなくて「整数係数のモニック多項式の根」よね？
そうなら、前半は理解できたわ。ありがとう。
>>409を読んだ時は、αが代数的整数だということがアタシの頭から抜け落ちていたから分からなかったの。

高木本は持ってないけれど、前スレで紹介していただいた草場（著）「ガロワと方程式」のp. 80に
「2個の代数的数a, bに対してa+b, a-b, ab, a/bも代数的数である」
という定理はあったわ。これの証明を代数的整数に限定してa/bを無視したら、そのまま
「代数的整数同士加法減法乗法したものはやはり代数的整数である」の証明になりそうだわ。
ある行列の行列式 = 0 の話に帰着させている証明なんだけど。
（でもこの本の証明、p. 82に出てくるcたちの添字が間違っている気がするわ。
　本を持ってる人にしか分からないこと書くけど、kが変わればcたちも変わると思うから。）

>αをPの根の一つとしたときに、整数係数のαのn-1次以下の式で表されるものは零因子ではないから、
ここでアタシ混乱しているんだけど、「零因子」って「ℤ[α]の 零因子」という意味かしら？
ちょっと基本的なこと確認させていただきたいのだけれど
ℤ[α]というのは、あくまでαを文字と見た多項式の集合なの？
それとも、そういう多項式のαに特定の値を入れてできる数の集合なの？
例えば P(X) = (X^2-2)(X^2+1) なら根のひとつとしてα=√2を考えることができるけれど
α^2-2 ∈ ℤ[α] はαを文字とする多項式？　それとも α^2-2 = 0 なの？
ℤ[X]/(P)＝ℤ[α]と書かれているから、ℤ[α]の要素としての (α^2-2)(α^2+1) を 0 と同一視しているのかしら？
てことは数として見ていて α^2-2 = 0 ってこと？ でもそれならα^2-2 は零因子よね？
それとも、多項式として見ているってことかしら？
でもそういう解釈ならば、ℤ[α]はn-1次以下に限らず零多項式以外に零因子はないことになるから
「n-1次以下」とか限定して書かれているのは変よね…?
（そもそも、まず零多項式もn-1次以下の多項式で零因子だと理解しているんだけれど、これは除外して考えられているの？）

ところでPが既約でない場合の話だけれど
P = P_1^{n_1}…P_k^{n_k} とℤ上で既約な式の積に分解しておけば
任意の f ∈ ℤ[X] について、あなたの説明から、各 P_i に対してあるモニックの F_i ∈ ℤ[X] があって、
F_i(f) ≡ 0 (mod P_i) となることがすぐわかるのよね。
それならば F = F_1^{n_1}…F_k^{n_k} とおけば、F(f) ≡ 0 (mod P) となるんじゃないかしら？
このことからℤ[X]/(P)はℤ上整であると言えるんじゃない？
0416陽気な名無しさん2023/11/13(月) 10:54:51.05ID:IZkEuANU0
>>415
うさぎ、あなた何ちゅー時間に書き込んでるの？
いつ寝てるのかしら？
まあ、それはそうと、順番に回答していくわね。

文章おかしかったかしら？
でもまあうさぎの解釈でOKだからいいわ。
もちろんモニックといえば整数係数モニックのつもりで書いているわ。
有理数係数ならわざわざモニックって書く意味がないから
整数係数は省略してもわかると思って省略しちゃったわ。

「代数的整数同士加法減法乗法したものはやはり代数的整数である」
の証明については、高木本でも行列式使っていたみたいだから、
多分うさぎの考え通りだと思うわ。
係数を整数に限定して同様にやればいいらしいわ。
アタシは以前この証明をきちんと追った記憶もあるような気がするけど、
今はもう面倒で追う気になれないわ。

「零因子」という言葉について、まずアタシはこの言葉を
「零元以外の者同士の積が零元になるもの」という意味で使っているから、
アタシは零元は零因子とは呼んでいないわ。
>「零因子」って「ℤ[α]の 零因子」という意味かしら？
「ℚ[X]/(P)やℤ[X]/(P)に零因子があるかないか」の話で、
Pが既約な時はℚ[X]/(P)は体で＝ℚ(α)と書けるし、ℤ[X]/(P)も＝ℤ[α]と書けるし、
このときℤ[α]には、もちろんℚ(α)にも零因子はない、だけど
Pが既約でない時はℚ[X]/(P)やℤ[X]/(P)に零因子がある、
ということが言いたかったのだけれど、
そうね、そもそもPが既約でない時は、αなんて持ち出すのはナンセンスだから、
>αをPの根の一つとしたときに、整数係数のαのn-1次以下の式で表されるものは零因子ではないから、
この表現はまずい、というかそもそも
>ℤ[X]/(P) の元fは整数係数のαのn-1次以下の式で表されるわ。
ということ自体が言えないので、>>413 の前半の議論が成り立たない、
というべきだったかもしれないわね。
「そもそもPが既約でない時は、αなんて持ち出すのはナンセンスだから」については
後でまた書くわね。
長くなるから一度切ろうかしら。
0417陽気な名無しさん2023/11/13(月) 10:56:51.32ID:IZkEuANU0
つづき
>ℤ[α]というのは、あくまでαを文字と見た多項式の集合なの？
それとも、そういう多項式のαに特定の値を入れてできる数の集合なの？
この疑問、言われてみて、これは非常に重要な、
ハッキリさせておかなければならないことだと気づいたわ。
基本的にℤ[α]でもℤ[x]でもなんでも、ℤ[（何か文字）]と書けば、
（何か文字）の多項式環なのだけれども、
ℚ[X]/(P)やℤ[X]/(P)においてはdegP以上の次数の多項式は
P=0という関係式でdegP未満の次数の多項式と等しいことになるから、
degP未満の次数の多項式からなる環、ということになるわね。
さらにPが既約であれば、この場合だけは『特別』で、
Pの任意の根αを一つ持ってくれば
ℚ[X]/(P)やℤ[X]/(P)はℚ(α)やℤ[α]（特定の値を入れたもの）
と「自然に同型」になるから、これらを同一視しても構わない、ということ。
Pが既約でない場合、同型が成り立たないから、
ℚ(α)やℤ[α]と同一視することは出来ないわ。
「そもそもPが既約でない時は、αなんて持ち出すのはナンセンスだから」
というのは、そういうこと。

うさぎの出してくれた例で言えば、
P(X) = (X^2-2)(X^2+1) = X^4-X^2-2を考えると、
Pの根は±√２と±i の四つよね。
ℚ[X]/(X^2-2)はℚ(√２)ともℚ(-√２)とも自然に同型、
ℤ[X]/(X^2-2)はℤ[√２]ともℤ[-√２]とも自然に同型になるから、
例えばℚ[X]/(X^2-2) = ℚ(√２)、ℤ[X]/(X^2-2) = ℤ[√２]
と書いてしまっても（勿論√2でなくて-√2でも構わない）代数的には差し支えないけれど、
ℚ[X]/(X^4-X^2-2) や ℤ[X]/(X^4-X^2-2) は、X^4-X^2-2と０を同一視はしているけれど、
(X^2-2)と(X^2+1)のどちらか一方を０と同一視しているわけではなく、
単なるこの環の元である多項式に過ぎないから、
例えばℚ(√2)やℤ[√2]、またはℚ(i)やℤ[i]なんてものを考えても、
それはℚ[X]/(X^4-X^2-2) や ℤ[X]/(X^4-X^2-2) とは全く別物、同型ですらないわ。
ℚ(√2)とℚ(i)、ℤ[√2]とℤ[i]もそれぞれ同型じゃないしね。
それでこの場合、[X^2-2]と[X^2+1]はどちらも零元ではないが、
零因子になるわね。だからℚ[X]/(P) や ℤ[X]/(P) は整域ですらない。

こんな感じで疑問は解消されてくれるかしら。
ちなみに次の段の
>あなたの説明から、各 P_i に対してあるモニックの F_i ∈ ℤ[X] があって、
F_i(f) ≡ 0 (mod P_i) となることがすぐわかる
って、アタシのどの説明から、どうしてそれが言えるのかよくわからないわ。
そもそも多項式環て、多項式を一つの元としてしか見たことなくて、
多項式の変数に他の多項式を代入するなんて、
今回の問題に出会うまで考えたこともなかったわ。
ここ、もう少し丁寧な説明お願いできるかしら。
それからまた一週間くらい書き込み難しくなるかもしれないけど、
時間に余裕ができれば書き込めるかもだけど、そこんとこよろしくね。
0418陽気な名無しさん2023/11/14(火) 18:35:17.12ID:sP28vZPN0
この人の言うことをアタシなりに翻案してみると、以下の通りとなる

ℤ[X]からℤ[α]への準同型をX→αで定める
準同型定理からℤ[X]/(P)≅ℤ[α]
ℤ[α]はℤ上整なのでℤ[X]/(P)もℤ上整


疑問：
どこにℚ[X]/(P)やらℚ(α)が必要なんだ？
0419陽気な名無しさん2023/11/15(水) 09:32:43.84ID:YRgVjec30
今日はそこそこ忙しいんだけれど、
割とすぐにレスできそうだからしちゃうね。

>>418
準同型定理使うとこんなにシンプルにできるんだ？
って一瞬思ったけど、いやいやそんなに簡単な話ではないと思い、
ちょっとちゃんと読み返してみたら、あなたちょっと雑よ。
あなた長文があまり好きではなさそうだから、
できるだけシンプルに問題点を書こうと思うけど、できるかしら。
問題点を書いてる中に、あなたの疑問に対する回答も出てくる予定よ。

問題点は、ざっくり２つ。
１．Pは何？
２．ℤ[α]はℤ上整はなぜ言える？

まず１．Pは何？だけど、これまでの流れででてきたPは2種類あるのよ。
一つは元々の問題で出てきた、「整数係数のモニック」。
もう一つは「整数係数のモニックで、かつ『既約』なもの」。
この２つは決定的に重要な違いがあって、
二つ目の定義ならあなたの説明は真だけど、
一つ目の定義だと偽になってしまうわ。
αはPの任意の根を一つ選んで決めたものだと思うけど、
それだとあなたの準同型写像、全射はまあ自明と言っていいと思うけど、
Kerはαの最少多項式で生成されるイデアルよ。
もしPが『既約』ならこれは(P)で正しいけれど、
そうでないならこれは(P)ではないので、あなたの説明は成り立たないわ。

次に２．ℤ[α]はℤ上整はなぜ言える？について、
これは正しいのだけれど、自明なことではないのよ。
αがℤ上整なのは定義より自明なんだけれど、
だからといってℤ[α]のすべての元がℤ上整だというのは少し手間がかかるの。
これまでにやってきている
「代数的整数同士の和、差、積は代数的整数である」
という定理を利用することによって、
やっとℤ[α]のすべての元がℤ上整だと言えるのよ。
この定理を証明するには代数体の整数環の話になるから、
それでℚ[X]/(P)やらℚ(α)が顔を出したのよ。
Pが『既約』ならばℚ[X]/(P)はℚ(α)と同型で同一視できる。
だからℤ[X]/(P)は代数体ℚ(α)の整数環ℤ[α]と同一視できる。
といった感じにね。
まあ定理の証明自体は本にお任せで省略させてもらったけれども。

以上で回答としてはOKかしら。
これまでうさぎにいろいろレスしてきたから
この問題に関しては結構頭の中が整理されていて、
それで割とすぐ返答出来たわ。良かったわ。
0420陽気な名無しさん2023/11/15(水) 09:57:47.32ID:yEvQ+Ztj0
>>419
アンタちょっとオツムが弱いんじゃない？
0421陽気な名無しさん2023/11/15(水) 12:38:13.43ID:K+HQeVZv0
このババア、なんでアタシが間違ってるような感じを醸し出してくるのかしら
ほとんど至る所稠密に誤解と脱線が散りばめられたアンタの取り止めもない与太話から辛うじて論理の胎動が認められる箇所をより抜いて翻訳要約再構成したらこうなるだろ？って話よ？
だから、
＞もしPが『既約』ならこれは(P)で正しいけれど、
＞そうでないならこれは(P)ではないので、あなたの説明は成り立たないわ。
アンタにこんなこと言われる筋合い毛頭ないわ
Pを既約だと思い込んでたのはアンタでしょうよ

Pは整係数既約モニック、αは根
ℤ[X]からℤ[α]への準同型をX→αで定める
準同型定理からℤ[X]/(P)≅ℤ[α]
ℤ[α]はℤ上整(証明は成書に委ねる)なのでℤ[X]/(P)もℤ上整

アンタの言ってることってこうじゃないの？
0422陽気な名無しさん2023/11/15(水) 21:23:22.47ID:5u42BBv50
頭が良い人って使う言葉が面白いわねw
面白いというか興味深いというか
他のスレでは絶対に見られないような単語
0424陽気な名無しさん2023/11/18(土) 12:59:31.80ID:8mLhZAjn0
このスレどうしたらいいんだろうね
せっかく問題作って出してもうさぎとその金魚の糞は意味不明なスト起こしてるし
うさぎが孤独を感じないように何か話でも聞いてやるスレにでもしたらいいのかしら

うさぎは小さい頃習い事何かしてたの？
初恋はいつ？どんな人だった？
0425Usagi2023/11/19(日) 02:15:55.68ID:Fy2g79nZ0
>>416
丁寧にどうもありがとう。そしてお返事遅くてごめんなさいね。
>文章おかしかったかしら？
そうね…
>「αをPの根の一つとしたとき、ℚ[X]/(P)＝ℚ(α) が体ならば、Pはモニックなので、αは代数的整数」
だと「ℚ[X]/(P)＝ℚ(α) が体であること」が
「Pはモニックであること」の理由となっている、または
「（Pはモニックなので）αは代数的整数であること」の理由となっている、
のどちらかを意味しているように見えるわ。
でもおっしゃりたかったのは、そのどちらでもなく、「ℚ[X]/(P)が体であること」は
「ℤ[X]/(P) の元は整数係数のαのn-1次以下の式で表される」の理由となっている、ってことでしょう？
それから、ℚ(α) はℚにαを添加して得られる体だから、定義上、体に決まっているけれど
ℚ[X]/(P)は体とは限らないわけだから、「ℚ[X]/(P)＝ℚ(α) が体ならば」という言い方もおかしいわよね。
「ℚ[X]/(P)が体ならば、ℚ[X]/(P)＝ℚ(α) となるので」ならわかるけれど。

>有理数係数ならわざわざモニックって書く意味がないから
>整数係数は省略してもわかると思って省略しちゃったわ。
たしかにそう言われるとそうね。

>アタシは零元は零因子とは呼んでいないわ。
Wikipediaを調べたら、それをいう場合は「0でない零因子」または「非自明な零因子」と呼ばれる、とあるわ。

すんごい細かいことをごちゃごちゃ書いてしまって申し訳ないけれど
おそらく、あなたみたいに代数を専門的に勉強した人同士なら
こういう細かい部分を自然に脳内補完しあって話が通じるんだと思うけど
アタシは部分的に齧ってるだけでちゃんと勉強していないから
よく知らない用語をネットで調べながら字義通りに理解しようすることしかできないのよ。
それでなんか変と思っても、それが自分の理解が足りないせいなのかわからなくて混乱しちゃうのよね。

でもおかげで理解したわ。
0426Usagi2023/11/19(日) 02:17:55.99ID:Fy2g79nZ0
>>417
結局、ℤ[α]は多項式（の同値類）の集合じゃなくて数の集合ってことになるわけね？
ℤ[√２]という書き方さえするわけでしょ。
√２は文字じゃないから、これはどう考えても多項式（の同値類）の集合じゃないわよね。
ℤ[X]/(X^2-2) ≅ ℤ[√２]
というのは、つまり (√２)^2-2 と 0 が ℤ[√２] の要素として区別されないということだものね。
要するに、ℤ[α]のαは単に√２とかのある具体的な数を表しているだけで
ℤ[X]のX（こちらは多項式の関数の引数を表す）とは別物ってことね。

数学って時々こういうところがいい加減で嫌ね。
たとえば x^2 + y^2 という表現は、ある具体的なひとつの数を表しているとも読めるし
xの関数とも読めるし、yの関数とも読めるわよね。
アタシ論理学を少し齧ってるんだけど、論理学では x^2 + y^2 がある具体的なひとつの数を表すのに対し
xの関数としてなら λx. x^2 + y^2、yの関数としてなら λy. x^2 + y^2 というふうに
ラムダ項というもので書き分けるのよね。
関数型プログラミングとかされている人はよくご存知でしょうけれど。
でもふつうの数学の本でこういう書き分けしてるのって見たことないのよね。
上の例で言えば、ℤ[λX. X]とℤ[α]みたいに書きわければ混乱しないのに～とか思ったわ。

>>あなたの説明から、各 P_i に対してあるモニックの F_i ∈ ℤ[X] があって、
>F_i(f) ≡ 0 (mod P_i) となることがすぐわかる
>って、アタシのどの説明から、どうしてそれが言えるのかよくわからないわ。
これは>>365が>>354の書き換えであるということに戻っただけよ。
あなたはP(X)が既約の場合、ℤ[X]/(P(X)) ≅ ℤ[α] がℤ上整であることが
（代数的整数の集合が環となることを前提とすれば）すぐわかると言っているわけでしょう。
つまり、P(X)が既約の場合、任意の [f(X)] ∈ ℤ[X]/(P(X)) ≅ ℤ[α] について
あるモニックの F(Y) ∈ ℤ[Y] があって F([f(X)]) = (P(X))、つまり
F(f(X)) ≡ 0 (mod P(X)) であることがすぐわかるということでしょう。
アタシも多項式の変数に他の多項式を代入するなんて考えたことなかったけれど、
多項式の変数に ℤ[α] の元を代入することはふつうに考えるわけで、ℤ[X]/(P(X)) ≅ ℤ[α] なんだから、
多項式の変数に ℤ[X]/(P(X)) の元を代入しても結果的に同じことになるわよね。
0427Usagi2023/11/19(日) 02:46:11.25ID:Fy2g79nZ0
>>418
あなたの「疑問」は、修辞疑問文（反語）なんだけど、ものぐささんは本当の疑問文だと思っちゃったのよね。
でも、あなたの言いたいことはわかったし、ものぐささんの説明と合わせて理解が深まったわ。
Pが既約のとき ℚ[X]/(P) ≅ ℚ(α) となることも、X→αにより定まる体の準同型と準同型定理から来ていたわけね。
それでℤ[α]がℚ(α)の部分環だから、ℤ[X]/(P)もℚ[X]/(P)の部分環なのね。
でも確かに言われると、わざわざ体のℚ[X]/(P)とℚ(α)を介さずに、直接、環の準同型の話をすれば済むわね。
「代数的整数同士の和、差、積は代数的整数である」という話も、体を出さずに環の話だけで完結すると思うわ。
https://math.stackexchange.com/questions/2133205/set-of-algebraic-integer-form-a-ring
0428Usagi2023/11/19(日) 02:54:11.91ID:Fy2g79nZ0
>>424
ストって何？ >>373を無視していることを言ってるの？
アタシは>>365の話が完結するまで次に行きたくなかっただけよ。
そもそも時間を見つけて趣味でここに書き込んでいるだけで
ここの問題を解くことはアタシの仕事でもなんでもないの。
なんでアタシが解くことが前提になってて、すぐに解かないとストだとか批判されなきゃいけないの？

>うさぎが孤独を感じないように何か話でも聞いてやるスレにでもしたらいいのかしら
>
>うさぎは小さい頃習い事何かしてたの？
>初恋はいつ？どんな人だった？
これは何よ。アタシに対する嫌味のつもり？
だったらアタシもう書き込むのやめるわ
0429陽気な名無しさん2023/11/21(火) 11:39:22.28ID:0DHQcTR10
>>421
あなたの口が悪いのはいいとして、
っていうか口が悪いからって一々気分を害していたら、
このスレではうさぎとしか会話できなくなってしまうから諦めたわ。
ご指摘の通りアタシは最初Pを既約だと勘違いしていたわ。
それでも勘違いに気づいて以降は既約かそうでないか、
その都度ごとにわかるように明記してきたつもりよ。
その流れの中で、どちらかを明記しないのはやっぱり良くないと思うわ。
それからあなたはアタシの言っていることを要約してくれたそうだけど、
とても簡潔にまとめてくれたのは本当にありがたいんだけど、
アタシの言っていたこととはちょっと違うのよね。
アタシは準同型定理を使うことは、あなたが書き込みしてくれるまで
全く頭の中になかったのよ。
ℚ(α)の整数環だからℤ[α]という考え方しかしていなかったの。
もちろんうさぎが
>Pが既約のとき ℚ[X]/(P) ≅ ℚ(α) となることも、X→αにより定まる体の準同型と準同型定理から来ていた
って言ってくれて思い出したんだけど、
そういえばℚ[X]/(P) ≅ ℚ(α) を当たり前に使っていたけど、
ここにも準同型定理使われていたのをすっかり忘れていたわ。

>>うさぎ
文章については、感覚で文章書くとおかしな文章になるのね。
「αをPの根の一つとしたとき、ℚ[X]/(P)＝ℚ(α) が体ならば、Pはモニックなので、αは代数的整数」
というのは、アタシの無意識の感覚で
「αをPの根の一つとしたとき、ℚ[X]/(P)＝ℚ(α) が成り立つ、すなわち体になるとする」
という、議論を始める大前提と、
「Pはモニックなので、αは代数的整数」
という議論をスタートさせた最初の部分をいっしょくたにしてしまったということみたいだわ。

零因子はもちろん厳密にいえばwikiの言う通りなんだけど、
言葉のニュアンスとして「零でないのに積が零になる不思議なもの」みたいな、
なにか普通のものではないイメージがあるので、
アタシは零因子というときは非自明なものをイメージしていたのよ。
「零因子はない」「零因子はある」というときに「零以外の」を頭につければいいんだけど、
面倒だし、「不思議なもの」のあるなしの話だから通じるわよね？と思ってしまったのよ。

ℤ[α]は、αが数なら数の集合だし、αが文字なら多項式の集合よ。
論理学の書き分け方については初めて聞いたわ。なるほどね。

>各 P_i に対してあるモニックの F_i ∈ ℤ[X] があって、F_i(f) ≡ 0 (mod P_i) となることがすぐわかる
について、納得したわ。
Pが既約でなくても>>415 の論法でOKっぽいわね。
0430陽気な名無しさん2023/11/21(火) 11:40:53.19ID:0DHQcTR10
>>427
「代数的整数同士の和、差、積は代数的整数である」という話が、
体を出さずに環の話だけで完結するのはそのとおりなのよ。
だけどアタシが勉強した時に、環論やって体論やって、
それでガロア理論やって、って順番で勉強して、具体例として代数体が出てきて、
その後に代数的整数いろいろやり始めたから、
代数的整数といえばある代数体の整数環の元、ってイメージがアタシにとっては強いのよ。
だから代数的整数の説明をするときに、つい代数体経由で説明してしまうのよね。
代数体経由で説明するのは、そういう順番で勉強したアタシ流の説明であって、
体を使わずに説明する人がいてもそれを否定するつもりは全くないわ。
その方が簡潔だからその方が優れた説明だと言われればその通りかも知れないし。

>>428
>>424 は完全にスルーすべき書き込みだと思うわよ。
このスレは口が悪い人だけではなく根っから意地悪な人もいるから、
いちいち相手にする必要ないわよ。
そもそもこのスレで問題解いているのは大部分がうさぎだし、
残りの少しアタシも以前解いたこともあったけど、
それよりもっと昔解いてくれていたリサ姐さん達も今はいないみたいだし、
このスレが辛うじて良スレだと思えるのはうさぎのおかげよ。
問題出すより解く方が大変なのに、
出しておいて解答解説しないのも無責任な出題だと思うから、
基本的に問題の出し逃げみたいな問題はスルーして構わないと思うわよ。
もちろん解けそうなら解いてもいいと思うけど。
0431陽気な名無しさん2023/11/21(火) 20:10:10.20ID:HfcHPnuV0
それは違うんじゃないかしら

そりゃ>>150みたいなつまらん問題出すだけなら簡単だろうけど、この問題や>>321のように議論が盛り上がり、そして参加した人が皆それぞれに勉強になるような問題を出すのは、実は難しいことだと思うわ
入試問題を見て一般化に挑戦したり、代数学の教科書の演習問題をできるだけ易しい方法で解けないか試行錯誤したり、そういう地道な努力があってはじめてこのような出題が可能となる気がするの
出題する側にこそ学力が必要なのよ

また、出題の仕方にも丹精しているのでは、と気付かされたわ
スレに居る人の特徴をよく観察して、その人たちに興味を持ってもらえるように問題を表現する、そうすることで活発な議論が巻き起こり、スレが活性化するの
例えば、うさぎの神経逆撫でするようなスパイスの効いた問題文も天晴れよね
うさぎがペダントリイに堕した性格なのを知り抜いてるからこそ、あえてうさぎが突っ込みたくなる問題文にして、うさぎの学識誇示欲を刺激し、ここを余スレをもって代えがたい豊穣なスレにしている
洞察力の賜物よ

>>150や>>225みたいなコクものどごしもない、なんの味わい深さあったもんじゃないゴミを並べていれば、いずれスレは死ぬわ
このスレを辛うじて良スレならしめているのは、なんとかして質の高い問題を出そうと努力してくれている人のおかげなのよ
少しでも想像力があれば問題出すより解く方が大変なんて口が腐っても言えないはずよ
0432陽気な名無しさん2023/11/21(火) 21:06:00.54ID:0DHQcTR10
>>431
それならある程度盛り上がったら、出題者から想定していた解法や、
盛り上がりに対する何らかのコメント等があってもいいはずよね。
偶然盛り上がったのではなく、努力して盛り上がるような問題を作ったのなら、
ぜひその盛り上がりのまとめのネタばらしまで出題者自身がやるべきだと思うわ。
問題の出し逃げはダメよ。

その前にそもそもスレタイは完全無視なのね。
>>150や>>225みたいな問題こそ、正にスレタイそのものなのにゴミ呼ばわりですものね。

そもそもあなたの言う「盛り上がり」って、うさぎを含む、
大学数学を少しでもかじった人でないとついていけないのよ。
このスレは大学数学はやっていないけど大学受験までは理系だった、
って人が本来の対象のスレだったはずよ。
>代数学の教科書の演習問題をできるだけ易しい方法で解けないか
これは完全にスレ違いの発想だと思うわ。

うさぎが頑張るからスレ違いの発想が暴走してしまっているけど、
数年前はもっとたくさんの人が解けるような問題を出して、
もっとたくさんの人が解いていたと記憶しているわ。
それこそがこのスレの本来の姿だと思うわ。
そのためにも>>150や>>225みたいな問題がいいんだと思うわ。
他にも例えば、中学入試の問題だけど、
大学入試を理系でやった人でもちょっと戸惑うような問題なんかもいいかもしれない。
話の流れで大学数学の話にまで話が膨らむのはまだいいとしても、
最初から大学数学レベル狙いで出題するのはやめてほしいわ。
0433Usagi2023/11/22(水) 22:39:47.86ID:u4RMVQ+J0
>>429
零因子という用語についてもうちょっと調べてみたの。
零因子に0を含めるWikipediaの定義は、ブルバキによるものみたいだわ。
零因子の英語はzero divisorだから「零を割るもの」「零の約数」って意味なのね。
そして、0でない零因子は nonzero zero divisor、零因子でない元は non-zero-divisor、と非常に紛らわしいわ。

で、本棚の肥やしになってた MacLane & Birkhoff (AMS) を調べてみたら、0を含まないように零因子が定義されていたわ。
気になったから、とあるサイトでいろいろな代数の本（Lang, Hungerford, Dummit & Foote, Herstein）を
ダウンロードして調べたら、すべて0を除外する定義だったわ！
だからきっとブルバキ原理主義者以外には、あなたの用語の使い方の方が標準的なんだと思うわ。

別の本棚の肥やし Michael Artin著 “Algebra” 第１版 (1991) はブルバキと同じで0を含めていて、
そこに興味深いコメント（これもおそらくブルバキのぱくり）があったわ。

The term “zero divisor” is traditional, but it has been poorly chosen, because actually every a∈R divides zero: 0 = a0.
（zero divisor という用語は伝統的だが、お粗末に選ばれた用語だ。なぜなら、どの a∈R も0を割るからだ。）

でもネットでArtinの第２版 (2010) をダウンロードししたら、0を除外する定義に変わってて、上のコメントも無くなってたの！
確かにいつも nonzero zero divisor とか早口言葉みたいなもの言ってられないものね。
同じ数学用語でも、本や人によって意味が微妙に変わる場合もあるという例ね。

354 = 365 の問題は、二通りの全然違う解き方ができて
ものぐささんのおかげでアタシは環論にも少し触れることができて勉強になって良かったわ。
だけど、365の人は >>366 ですでにひとつの答えを出していて、これも気になってたのよね。
https://ja.wikipedia.org/wiki/有限生成加群
を見ると、
・Aを有限生成R加群である
・AはR上有限生成環かつRの整拡大である
のふたつが同値である、と書かれてて、366のリンク先はこれを利用しているのよね。
で、Wikipediaで引用されている Kaplansky をダウンロードしてちょっと見てみたの。
おそらくだけど、ℤ[X]/(P) がℤ上整である証明は、ℤ[α]がℤ上整であることの証明と同様にできるっぽいわ。
ℤ[α]がℤ上整であることを示すには、1, α, …, α^{n-1} が基底となる（有限次元になる）ことを使うわけで
上の議論では、ℤ[X]/(P(X)) ≅ ℤ[α] であることを言うために、Pが既約であることを要求したのよね。
でもℤ[X]/(P) の元はすべて n-1次以下の多項式と同一視できるから、1, x, …, x^{n-1} がℤ[X]/(P)の基底となって
あとはℤ[α]のときの証明と同様にできるっぽいわ。この場合、Pが既約かどうかは関係ないのよ。
0434Usagi2023/11/22(水) 22:53:20.61ID:u4RMVQ+J0
>>431
あんたの言葉使いのセンスは面白いわね。そこは認めるわw
で、褒められてるんだが貶されているんだかわからないけれど

>うさぎの神経逆撫でするようなスパイスの効いた問題文も天晴れよね
>あえてうさぎが突っ込みたくなる問題文にして

これはおかしいわ。深読みしすぎだし捻くれてて倫理観が崩壊しているわ。
アタシは、>>321とか>>354みたいなのは、単純に、
数学板ではないここでは大多数の人に理解できない書き方だからやめてほしいと言っているだけなの。
こういう書き方への苦情は、アタシとものぐささん以外からはほとんどないように見えるかもしれないけれど
それは、理解できない人が書き込みにくい雰囲気にこのスレがなってしまったせいだと思うわ。
こういう書き方のおかげでアタシの書き込み意欲が増すということは全くないの。
むしろ正反対よ。
本当は無視したいんだけど、そしたら問題の意味がわからない人がわからないままになるから
ふつうの日本語に翻訳してあげなきゃ、と思って書き込んでいるところもあるわ。
でも、こういう書き込みをやめてほしい、という怒りの説明文を書くのもすごく大変でストレスを感じるし
日本語への翻訳も二度手間でアタシが疲れるだけだし、本当に嫌なの。
だけど、苦情を書くだけで解かないと
「逃げた」とか「解けないくせに」とかコメントが来てまた嫌な思いをしそうだし
いずれにせよアタシが解かないと誰も解きそうもないし、そしたらスレが廃れて落ちるだけだし
とか思って、スレ民の信用を得る目的もあって解いているのよ。
0435Usagi2023/11/22(水) 22:53:47.80ID:u4RMVQ+J0
>>321も相手にしないつもりだったけれど、>>324で日本語を話せる人だとわかったから、相手してあげることにしたのよ。
>>365も流そうと思ってたけれど、>>371でものぐささんが書き込んでくれたから、アタシはそれに反応しただけなの。
>>354の問題だって、書き込まれてすぐにアタシは>>359の解き方を思いついたわ。
でも一週間も経ってから書き込んだのは、相手にするのが嫌だったし>>358みたいなものを書くのが嫌だったからよ。
だからくれぐれも勘違いしないでほしいわ。
最初から誰にでもわかるような日本語で書かれていたら、アタシはいろいろ嫌な思いをしないで済んで
純粋な気持ちで取り組めて、書き込み意欲もずっと高くなるわよ。
上にも書いたけど、今後はもうこういうのは相手にしないわ。

洞察力の賜物、ってアタシは実験観察対象の動物扱いなの？
うさぎはモルモットじゃないの！
アタシは、321や354が、故意にアタシをイラつかせようとしてそういう書き方をしたとは考えたくないわ。
その考えは捻くれすぎよ。
それに、故意に特定の個人に嫌な思いをさせても、自分が楽しめる or 全体の利益となるなら良いと考えて、
そういうやり方（実際にはしていないと思うけど）を賞賛するなんて倫理観が崩壊しているわ。

疲れた…
0436陽気な名無しさん2023/11/23(木) 17:36:38.94ID:GRjP6KSQ0
>>433
あらまあわざわざ調べてくれたのね、ありがとう。
ブルバキだったのね、なるほど納得だわ。
ブルバキといえば自然数の定義にも０を入れてたわよね。
確かに自然数は０を入れないのは加法に関する半群で、
入れたのは単位的半群になるから
入れたほうが数学的により美しいのは確かにわかるわ。
でも、自然数って、人間が一番最初に素朴に持った数の概念でしょ。
だったら０は入れないで１からとすべきよね。
だって０は１，２，３，・・・の概念が出来てから
かな～り経ってから発明？発見？されたものでしょ。
歴史的にはやっぱり自然数に０は入れるべきではないと思うわ。

有限生成加群についてなんだけど、
アタシ何度か言っているように、群、環、体ガロの順に勉強して、
加群は飛ばしちゃったから、ちょっと苦手意識があるのよね。
でもせっかくうさぎがいろいろ調べてくれて、
なんかわかりそうな気になったから、アタシも調べてみたわ。
wikiの整拡大のところを見ると（https://ja.wikipedia.org/wiki/整拡大）
B を環とし、A をその部分環とする。このとき B の元 b について次は同値。
b は A 上整
部分環 A[b] ⊂ B は A-加群として有限生成
A[b] は有限生成 A-加群である部分環 C ⊂ B に含まれる
（以下略）
なんてのもあったわ。
まあうさぎが調べてくれたのと同じような内容で、
加群メインで書いてあるのと、環メインでかいてあるのが違うくらいかしら。
あと他に、https://detail.chiebukuro.yahoo.co.jp/qa/question_detail/q12239745397
こんなところに「Bの元xはA上整 ⇔ A[x] はA上整」の証明があったわ。
この証明がOKならば、ℤ[X]/(P) の元XはモニックであるPの解なんだから、
既約かどうか関係なくB=ℤ[X]/(P) とみなせばXはℤ上整であり、B=A[x]となって、
証明したかったことが完全に証明されてるのではないかしら。
この証明、行列式＝０とか使っていて、代数的整数同士の和、差、積が
代数的整数になることの証明と似てるわよね。
その証明（二人目の補題２）のチェックは面倒だから
というか、忘れてる線型代数見直さないと、ｔって何？状態なので、
チェックはお任せしてよろしいかしら？
0437Usagi2023/11/23(木) 18:19:14.32ID:YgW66qYv0
まだ詳しく読んでいないけれど、^t は転置を表しているものだと思うわよ
(a_1,...,a_n) は本当は縦ベクトルなんだけど、ネットだとそのまま書けないから
横ベクトルで書いて、その前に ^t をつけることで本当は縦ベクトルって言いたいだけだと思うわ
0438Usagi2023/11/24(金) 12:48:55.32ID:q2UzmVkH0
知恵袋読んだわ。ていうか知恵袋にこんなものまであるなんてビックリね！

これって、FullHouseさんが「整閉包が環をなす」ことを用いて問題に答えたから
それを受けて、りっきぃさんが「整閉包が環をなす」ことを証明したって流れなのかしらね？
でも、実はりっきぃさんみたい書いてくれるなら、この【定理】まで言わなくても
【補題２】まででこの問題に答えるのには十分よね？
環RとしてAを、そして環SとしてA[x]をとればいいから。

で、あたしも余因子行列とか詳しくないから調べたけど、要するに
Mを正方行列、単位行列をEとすると、(Mの余因子行列) × M = (det M) E となるらしいわね。
でもこんなややこしいやり方をしなくても、草場本の証明を参考にすると
零ベクトルでない縦ベクトル (a_1, …, a_n) に行列 aE-A を作用させたら零ベクトルになるのだから
det(aE-A) = 0 ってすぐ言えるんじゃないのかしら？

あなたのおっしゃる通りで、これって本質的に
「代数的整数同士の和、差、積が代数的整数になる」つまり「代数的整数の集合が環をなす」
ことの証明と同じだと思うわ。
https://math.stackexchange.com/questions/2133205/set-of-algebraic-integer-form-a-ring
上にも出したリンクだけれど、行列の具体例が見やすいから参考になると思うわ。
これも最後の部分でまた違うやり方をしていて、アタシも線型代数詳しくないからよくわかってないけど
行列Mの固有多項式をχとするとχ(M) = O（零行列）となる、というのはケイリー・ハミルトンの定理よね。
で、この場合、MB = pB から M^i B = p^i B なので、零ベクトル = OB = χ(M)B =χ(p)B となるから
χ(p) = 0 がわかるってことかしら？
ともかくχ(p) = 0 なら det(pE-M) = 0 となるわね。

高木本はどういうやり方なのかしら？

一般的に、α, βを環R上整、そしてαとβのR上の最小多項式の次数をそれぞれ n, m とすると
R[α, β]は有限集合 { α^i β^k | 0 ≤ i < n, 0 ≤ j < m } を生成集合とするR上の加群となるわけよね？
それで、知恵袋の【補題２】の {a_1, …, a_n} を { α^i β^j | 0 ≤ i < n, 0 ≤ j < m } にすれば直接【定理】が証明されるわ。
草場本や上のリンクはそういう流れよね。
細かいことを書くと草場本では { α^i β^k | 0 ≤ i < n, 0 ≤ j < m } を直接使うんじゃなくて
高々有限次元だからその基底を u_1, …, u_l として、それらが作るベクトルに行列をかけているんだけど
もし { α^i β^j | 0 ≤ i < n, 0 ≤ j < m } が基底になっていない、
つまり一次独立でなかったとしても特に議論に差し障りはないわよね？
{ α^i β^j | 0 ≤ i < n, 0 ≤ j < m } の元がすべて 0 なわけでないから問題ないと思うんだけど…

話が戻るけど、上にも書いたように R[x]が環となることを言うには、整閉包の話まで一般化する必要はなくて
【補題２】の {a_1, …, a_n} を { 1, x, …, x^{n-1} } とすればもうそれで十分だと思うわ。
0439Usagi2023/11/24(金) 13:27:32.51ID:q2UzmVkH0
>>436
>ブルバキといえば自然数の定義にも０を入れてたわよね。
それは知らなかったけれど、自然数に0を入れるのは数学基礎論（論理学や集合論）では一般的よ。
数学のすべてを集合で表現しようって考えだから、自然数とかの数もすべて集合で定義するの。
自然数の集合論定義はいくつかあるらしいけど、一番有名なのはフォン・ノイマンによるもので
0 := ∅
n+1 := n ∪ {n}
と帰納的に定義するの。すると
1 = {∅}
2 = {∅, {∅}}
3 = {∅, {∅}, {∅, {∅}}}
4 = {∅, {∅}, {∅, {∅}}, {∅, {∅}, {∅, {∅}}}}
てな感じになるわ。
すると、|n| = n （集合nの要素の個数はn個）となるのよ。
あと n < m ⇔ n ⊊ m ⇔ n ∈ m なんて関係も成り立って便利なのよね。
もし自然数を1から始めたら、自然数の集合論的定義がきわめて不自然なものになってしまって
理論全体が大変なことになってしまうと思うわ。

0の発見っていうのも、10進法とかで数を表記する時に空の位に書くものを発明した、という意味じゃないかしら？
0がないと、数字が無限に必要になってしまうから。
数としての0の概念自体は、人間の中に普通にあるもののような気もするわ。
実際、正の自然数と同様、0は自然言語で表現可能なことじゃないかしら。

うさぎはいちごをひとつ食べた。
うさぎはいちごを（まったく）食べなかった。

そこへいくと、負の数は自然言語では表現しようがないわ。
0440陽気な名無しさん2023/12/03(日) 11:49:19.54ID:kFj7X8sB0
>>うさぎ
お待たせしたわね。
最近忙しくて、今日やっと時間が取れたわ。

>>437
そうね、^t は確かに転置ね。
それですっと意味が通ったわ。

>>438
そうそう、補題２までで十分よ。
det(aE-A) = 0 がすぐ言えて、だからaは
モニック多項式 det(xE-A)∈ R[x] の根、でいいわよね？
「代数的整数同士の和、差、積が代数的整数になる」の高木本の証明は、
見た感じあなたの書いた草場本と同じような感じみたいね。
{ α^i β^k | 0 ≤ i < n, 0 ≤ j < m } や u_1, …, u_l のことを、
基底なんて一言も書いていなくて、
基底かどうか関係なく、式変形を追って行けば導かれるっぽいわよ。
0441陽気な名無しさん2023/12/03(日) 11:50:00.87ID:kFj7X8sB0
>>439
自然数については、wikiに説明があるわ。（https://ja.wikipedia.org/wiki/自然数）
これ０入れる考え方も入れない考え方もちゃんと説明されてて結構いいわ。
アタシは自然数の形式的定義はペアノの公理でやったから
0は入れない1からの定義が自然だと感じるし、wikiにもあるように
歴史的にも１～は古代からあったけど０の概念は628年だそうよ。
集合論、論理学で主流らしい０を入れる定義も載っていて、
それはあなたが書いたのと同じようなものだけど、
それは後世になっていろんな数の概念が出来てから定型化したもので、
歴史的なことは関係のない、理論的整合性に重きを置いた定義だと思うわ。
理論的整合性で考えれば０を入れるのが当然ですもの。
もちろんペアノの公理も後世になって作られたものだけど、
こちらはきっと自然数の概念は歴史的にこのように発生したのでは、
ということに重きを置いたものだと思われるわ。
うさぎの言う、自然言語で表現可能かどうか、という考え方って、
後世になっていろんな数の概念が出来てから考えられたものであり、
628年より前は「無い」という概念はあっただろうけど、
数の概念と結びついていなかったものと思われるわ。

本当かどうか知らないけど、アタシのきいた話では、
原始時代数の概念が最初にできた時は、「１，２，３，たくさん」
だったとかいう話よ。４以上は認識されなかった時代の話ね。
勿論この時代に０の概念なんてなかったと思われるわ。

それで、０を入れたものを非負整数と呼んだり、
０を入れないものを正整数と呼んだりするけど、
自然数という言葉は、自然発生的に、
歴史的に最初に認識された数、と解釈するのが自然だと思うから、
アタシはやっぱり自然数には０は入れない方を支持するわ。
実際使うときは自然数と呼ばずに、必要に応じて
正整数とか非負整数と呼べばいいのよ。
もちろん自然数をどっちと考えるかは人それぞれだから、
学問的に議論することではないと思うわ。
0442Usagi2023/12/07(木) 22:27:01.84ID:pxoB+5/s0
>>441
Wiki読んだわ。いろいろ複雑ね。
よく読むと、10進法とかの空の位を表す数字としての0は１世紀頃からあったけれど
数としての0は628年からって書いているわね。
つまり0という数「字」はあっても、それを単独で数として使うと言う発想がなかったってことなのかしら。
つまり 1 + 0 = 1 みたいな計算は考えなかったって意味かしらね。

他にも古代ギリシアでは数は2からで1も数じゃなかったとか書いてあって面白いわね。

ペアノの公理についてもアタシは論理学の本で読んだから0から始まるものと思ってたわ。
https://ja.wikipedia.org/wiki/ペアノの公理
これ↑見ると、実際0も入っているんだけど
「歴史」のところを読むと、ペアノ自身が考えたときは1から始めてたみたいね。

アタシ思うんだけど、自然数は0からか1からか、はたまた古代ギリシア風に2からか、とかって
最初にどう習うかの影響が大きい気がするのよね。
中学高校で自然数は1からって刷り込まれるから、そのイメージを壊すのが難しいだけの気がするのよね。
実際アタシも最初に自然数が0から始まっている本を読んだ時すごく抵抗あったんだけど
なんで抵抗あるのか考えてみたら、中学高校でそう習ったって以外に理由が見つからなかったの。
結局、数学は理論的に一番綺麗であるべきだと思うから、今はアタシの中では自然数は0からになってるのw

自然言語で表現できるかというアタシの考察はちょっと適当過ぎたかもしれないわ。
実際「ひとつ」「ふたつ」「みっつ」と、1以上の数を表す単語は昔からあるのに
0個を表す単語についてはそうではないものね。
確かに「何もない」ことを表現できることと、数としての0の概念をもっていることは別のことかもしれないわね。

>原始時代数の概念が最初にできた時は、「１，２，３，たくさん」
>だったとかいう話よ。４以上は認識されなかった時代の話ね。
>勿論この時代に０の概念なんてなかったと思われるわ。

原始時代と言わず、現代でもブラジルのアマゾンに住んでいる「ピダハン族」の言語では
「少ない」「多い」のような表現はあるけれど、数を表す言葉がないらしいの。
そして、この部族の人に数をマッチングさせる課題をやらせると
要素の数が4以上になるとパフォーマンスが低下するらしいわ。
これを説明している面白い動画があったから貼っておくわね。
https://www.youtube.com/watch?v=Xv-3HB8b1as
動画によると、数を表す言葉を覚える前の赤ちゃんも4以上の数を把握できないらしいわ。
でもこれを見て思ったのだけれど、おそらく赤ちゃんに
1 - 1 = 0 を実演しても驚かないと思うし、2 - 1 = 0 をトリックで実演したら驚きそうな気がするのよ。
少なくともピダハン族の大人はそういう反応をすると予想するわ。
とすると、こういった実験の結果を動画が説明するように
数の概念を理解しているかどうかとして解釈できるならば
0は誰もが概念として持っていると言えるんじゃないかしらとも思ったのよ。
もしこの考え方で「自然」数を考えるなら、(0,) 1, 2, 3 だけが自然数になりそうね。

取り留めのないことつらつらと書いたけれど、一言で 0 と言ってもいろいろな理解の仕方があるわけね。
数「字」としてなのか数（概念）としてなのか、
概念といっても、言葉で表せるという意味か、引き算の実演で間違いに驚くと言う意味か、
はたまた加法の単位元としてなのか、
結論も何もなくてごめんなさいねw
0443Usagi2023/12/08(金) 00:03:51.05ID:yeo6heGD0
ちなみに、この「ピダハン」という呼称は誤りなの。
これはポルトガル語で Pirahã だから「ピラハン」の方が正しいわ。
（ã は鼻母音だから最後の音節は正確には異なるが「ハン」に近い）
この言語の研究は、ほぼすべてがダニエル・エヴェレットというアメリカ人の現地調査に基づくもので
この人が一般向けに書いた本が10年程前に日本語に翻訳されたのよ。
（『ピダハン「言語本能」を超える文化と世界観』）
その際に（失礼ながら）無能な翻訳者が「ピダハン」としたために、この呼称で知られるようになってしまったの。
どうしてこうなったかと言うと、エヴェレットの原著では
アメリカ人読者に Pirahã の発音の仕方が分かるように pee-da-HAN と表記してあるの。
ポルトガル語の Pirahã の r は日本語のラ行と同じで、舌先で歯茎をはじく「はじき音」という子音で発音されるの。
でも英語の r は、はじき音ではないわよね。
そのかわり、アメリカ英語ではアクセントのない音節の頭の d がはじき音に変化するから、
アメリカ英語の話者が pee-da-HAN を読むと、自然にこの da はちょうどブラジル人の ra = 日本人の「ラ」の発音になるのよ。
つまり、エヴェレットはあくまでアメリカ英語話者が読むとポルトガル語の発音に似るように書いただけなの。
ところが、この本の翻訳者はそんな基本的なことも理解できなかったので
pee-da-HAN をそのまま日本語のカタカナにして「ピダハン」としてしまったの。
この本はかなり話題になったから、日本では完全に「ピダハン」で定着してしまったわ。
アタシ、こういうのってかなり罪深いと思うのよ。
こういうふうに誤りが世の中に広がっていくのね、って思ったわ。
日本でまだよく知られていないことの翻訳を出す時って、それなりの責任が伴うと思うの。
きちんとできない人がやると、誤りを広めたりして迷惑だとアタシは思ってしまうの。
ていうか、アタシ気になったから、今回この翻訳書を図書館で借りてきたの。
そしたら訳者あとがきにこう↓書かれていたわ。

　ちなみに、「Pirahã」については「ピラハ」「ピラァ」といった表記を見るが、本書の説明によると、
　あえてカタカナに直すとすれば「ピーダハーン（ハーンの部分に強勢がくる）」のような音になるらしく、
　迷った末に「ピダハン」と表記することに落ち着いた。カタカナ表記については日本でも研究が進み、
　適確な表記法が工夫されることを切に願う。

本当に無能で無責任で驚き呆れるわ。
Pirahãというのはブラジル人がこの部族を呼ぶ時の名称だから単純にポルトガル語の発音の問題であって
Pirahã語の発音の問題じゃないから、研究の余地もクソもないのよね。
Pirahãの人たち自身は自分たちのことを Hiáitihí と呼んで、自分たちの言語を Apáitisí と呼ぶそうよ。

別の話だけど、アタシだいぶ前に Steve Awodey の Category Theory を
少数人数の読書会で読んだことがあって（結局最初の１章くらいしかできなかったけど…）
アタシは英語読めるから原著を読んでたけど、他の人は日本語の翻訳書を使ってたの。
それを見せてもらったら誤訳だらけで意味不明だったの！
例えば the と書いたら「唯一の」と言いたいわけだけど、「まさにその」だか何だか意味不明な訳になってたり
とにかく翻訳者が明らかに全然英語を読めていなくて、数学の内容を理解しているのかも疑問に思ったわ。
特に当時は日本語での圏論の情報がすごく少なかったのに
せっかく見つけた本がデタラメ翻訳書だったら笑えないし本当に迷惑よね、と思ったわ。
0444Usagi2023/12/09(土) 03:23:39.15ID:OSxWAmwv0
最後にスレの趣旨に合わせて>>354の問題を大学入試問題風にしたら例えばこんな感じかしら

a, b, c, d, e は整数で、d^2 < 4e とする。
この時、ある整数 p, q があって、関数 f(x) = x^2+px+q が
「すべての自然数nに対して f(an^2+bn+c)/(n^2+dn+e) が整数である」
という条件を満たすことを示せ。

なんだかすごく難しそうね
ほとんどの受験生に解けなさそう…

ちなみにfの中身を1次式にして
f(an+b)/(n^2+dn+e) の形の問題だと (nの2次式)/(nの2次式) だから
これがいつも整数ということは = a^2 ってばれちゃうから割と解けそう
0445Usagi2023/12/09(土) 03:47:48.18ID:OSxWAmwv0
だいぶ遅くなったけど>>373解いてみるわ
(1) 0 < arg z < π/4 なので 0 < arg z^2 < π/2 つまり z^2 ∈ { a + bi | a > 0, b > 0 }
したがって w^2 = 1 - z^2 ∈ { 1 - (a + bi) | a > 0, b > 0 } = { c + di | c < 1, d < 0 }
w = x + yi と表すと w^2 = x^2 - y^2 + 2xyi なので
x^2 - y^2 < 1 であり、さらに 2xy < 0 つまり (x < 0 かつ y > 0) または (x > 0 かつ y < 0)
を満たす点の集合でいいかしら。

(2) w = x + yi とすると z^2 = 1 - w^2 = (1-x^2+y^2) - 2xyi
|z| = 1 ⇔ |z^2| = 1 ⇔ |(1-x^2+y^2) - 2xyi| = 1 ⇔ (1-x^2+y^2)^2 + (2xy)^2 = 1
これを整理すると
x^4 + 2x^2y^2 + y^4 - 2x^2 + 2y^2 = 0
となるんだけど、これを図示するのって難しいわよね

だからおそらく w = r(cosθ + i sinθ) と極形式を使うのよね
すると w^2 = r^2(cos2θ + i sin2θ) だから
|z^2| = 1 ⇔ |1 - w^2| = 1 ⇔ (1 - r^2 cos2θ)^2 + (r^2 sin2θ)^2 = 1
これを整理すると r^2(r^2 - 2cos 2θ) = 0
したがって r = 0 または (r ≠ 0 かつ r^2 = 2cos2θ) となるわ
では r ≠ 0 の場合を考えることにするわ
r^2 = 2cos2θから 0 < r^2 ≤ 2 ね
そして cos 2θ > 0 なので
0 ≤ θ < π/4 または 3π/4 < θ < 5π/4 または 7π/4 < θ < 2π ね
さて、x = r cosθ だから
r^4 = 2r^2 cos2θ = 2r^2(2cos^2θ -1) = 4x^2 - 2r^2
したがって x^2 = (1/4)r^4 + (1/2)r^2 で
これは r^2 = 2 のとき最大値 2 をとるわ
xの最大値は √2 で、r = √2から、y = 0、つまり w = √2, θ = 0 の時
（xの最小値は -√2 で、r = √2から、y = 0、つまり w = -√2, θ = π の時）
また y = r sinθ だから
r^4 = 2r^2 cos2θ = 2r^2(1 - 2sin^2) = 2r^2 - 4y^2
したがって y^2 = -(1/4)r^4 + (1/2)r^2 = -(1/4)(r^2 - 1)^2 + 1/4 で
これは r^2 = 1 のとき最大値 1/4 をとるわ
yの最大値は 1/2 で、r = 1から、x = ±√{1^2-(1/2)^2} = ±√3/2
つまり w = √3/2 + (1/2)i, θ = π/6 または w = -√3/2 + (1/2)i, θ = 5π/6 の時
（yの最小値は -1/2 で、r = 1から、x = ±√{1^2-(-1/2)^2} = ±√3/2
　つまり w = √3/2 - (1/2)i, θ = 11π/6 または w = -√3/2 - (1/2)i, θ = 7π/6 の時）

偏角が 0 ≤ θ < π/4, 3π/4 < θ < 5π/4, 7π/4 < θ < 2π の範囲で動いて
θがπ/4, 3π/4, 5π/4, 7π/4に近づく時は r^2 = 2cos2θだから r は 0 に近づく
r = 0 で原点を通る
あと上で調べた最大値最小値のポイントを通るように描いていくと ∞ みたいになるかしら
こんな適当な解き方でいいのかしら？

微分とかするのかしら、とも思ったけど
x^4 + 2x^2y^2 + y^4 - 2x^2 + 2y^2 = 0
みたいな陰関数っていうの？を微分する方法アタシ分からないわ
と思ってWiki見てたら、2変数のものは陰伏曲線というらしくて、この問題の例が出てたわ！
カッシーニの卵形線（これはその特殊な場合でレムニスケート）ていうらしいわね
ところでWikiに陰伏の読み方が「いんふく」って書いてあるんだけど「いんぷく」よね？？
0446陽気な名無しさん2023/12/13(水) 17:51:38.10ID:V9XS6v6M0
>>442
見直したら、アタシがやったテキストにあるペアノの公理も、0から始まっていたわ。
でもよくわからない、というかこの著者何を考えているのかしら、と思うのが、
同じ著者、同じシリーズのテキストで、一方は自然数に０を入れていて、
もう一方は自然数に0を入れていないのよ。

具体的に言うわ。松坂和夫という先生の、岩波書店のシリーズで、
集合・位相入門という本では、自然数には0は入れていないの。
P.3に、「自然数全体の集合ℕは　{1,2,3,4,・・・,n,・・・}　と表わされる.」とあるわ。
でも同じ松坂和夫先生の、岩波書店のシリーズの、代数系入門には
やっぱりP.3に、「正の整数と０とを合わせて自然数とよび、」とあって、
巻末にペアノの公理の説明があって、そこでも０が入っているの。
松坂先生にとっての自然数の解釈はどっちなのかしら？
それに、wikiの自然数の項には
>19世紀、自然数の集合論的な定義がなされた。この定義によれば零を自然数に含める方がより便利である。
>集合論、論理学などの分野ではこの流儀に従うことが多い一方、
>数論などの分野では 0 を自然数には含めない流儀が好まれることが多い。
とあるから、異なる定義をするなら逆じゃないの？
集合・位相入門の方０入れて、代数系入門の方０入れないべきじゃないのじゃないの？
松坂先生が何を考えているのかわからないわ。

ピダハン族の話は面白いわね。動画も拝見したわ。
数の広がった順は、
①まず３まで
②指を見て５，１０，２０まで
③指の本数を一つのまとまりとしてさらに大きな自然数まで
②か③くらいまでは原始時代にすでにあったものだと思うわ。
その後628年にインドで
④０の発明
といった感じではないかしら。
自然数に対するアタシの感覚は、この順のどこまでの過程を自然数に含めるか、
という感覚で考えていることが改めて分かった気がするわ。
原始時代にすでにあったものを「自然」数と呼ぶのが妥当だと思うから、
アタシは自然数に０を入れない派なんだわ。
あなたのトリック実演の話では、「無い」ということに関して驚くか驚かないか、
というこに関する話だと思うけど、
「無い」という概念があることと、「無い」ことを「０」という数の概念として持っていることは、
別ではないかしら。

まあアタシとしては、個人的には自然数には０は含めないけど、含めると考える人もいるし、
どちらが正しくてどちらが間違っているということではないと思うわ。
コミュニケーションや著作等においては、０を含めようが含めまいが全く支障ないならば、
特に自然数に０を含めるかどうか前置きしなくても構わないけど、
必要がある場合は、どちらの立場で自然数という言葉を使うかを前置きする、
又は自然数という言葉を使わず、非負整数、正整数などの言葉を使えばいいと思うわ。
0447陽気な名無しさん2023/12/13(水) 17:52:04.57ID:V9XS6v6M0
>>443
このほとんどはアタシは個人的にあまり興味がないわ。
ただ最後のところ、数学書の原著と日本語訳についてはアタシも覚えがあるわ。
個人的に英語のテキスト使っていた時があって、でもアタシ英語苦手だから苦労して、
ふと日本語訳版の本があることに気づいて入手したの。
でもその時は「数学の勉強＝英語本の翻訳作業」みたいになっていたから、
日本語版の本は自分で訳したのとの比較参考に使っていたの。
そうしたら日本語版も、英語版も、それぞれにめちゃくちゃなところがたくさんあって笑ったわ。
でも突き合せたおかげで、著者が言いたいことがわかったわ。一冊だけならわからなかったかもしれない。
著者はフランス人だから多分原著はフランス語なんでしょ。
それで英語版に訳した時も誤訳やミスプリがいっぱいあって、
日本語版はたぶんフランス語版の原著から訳したのね（英語版と全然違ったりしてたから）、
それも誤訳やミスプリがあって、それで突き合わせるとめちゃくちゃになっていたんだと思うわ。
最近の翻訳ではそういうことはたぶん少なくなってきてはいると思うけど、
それでもやっぱり数学の勉強は出来れば原著で、
それが出来なければ複数の翻訳版を突き合せないと結構信用できなかったりするわ。
0448陽気な名無しさん2023/12/13(水) 17:56:09.48ID:V9XS6v6M0
>>445
>>373 のリンク先、もう見れなくなっているわ。
どんな問題だったかしら。
さほど難しくない問題だったような記憶がおぼろげに、状態だわ。
0449Usagi2023/12/14(木) 20:38:00.49ID:rfcoGIyP0
>>446
>同じ著者、同じシリーズのテキストで、一方は自然数に０を入れていて、
>もう一方は自然数に0を入れていないのよ。
あら、それは不思議ね。けっこうテキトーなのかしら。
アタシはそれらの本は持ってないけれど、松坂和夫先生著の「数学読本」っていう
中高生向けのシリーズの最初の１巻くらいを中学の時に読んだ気がするわ。
内容がしっかりしていて、ちゃんと勉強したら中高の数学がばっちりになりそうな雰囲気の本だったわ。
おそらくだけど、その「集合・位相入門」の本では
自然数を集合として定義していないんじゃないかしら。
アタシの理解では、自然数を例えば>>439みたいに集合として定義するなら0から始めるのがほぼ必然となるけれど
自然数を他のもので定義されない原始的な存在として扱うなら
0から始まっていなくても別に困らないんだと思うわ。
集合論や論理学で自然数が0を含むことが多いのは、
単に自然数を集合で定義することの結果にすぎないと思うわ。
アタシは逆にWikiの「数論では0を入れない方が好まれる」っていうのが
単なる伝統なのかそれとも数学的な理由があるのかが気になるわね。

>>447
スレチで他の人たちが興味ないこといっぱい書いちゃってごめんなさいね。
Pirahãの話題を出したかったけど
誤った呼称が広まるのをアタシが手伝うことになるのが嫌だったからw
説明書いてたら例によって長くなっちゃったの。

あなたの読んでた本がどうだったのかはわからないけれど
一般的にはフランス語→英語の翻訳だと言語構造が近いから、誤訳ってそんなに起きないと思うのよね。
ほぼ単語変換で意味が通じることが多そうだし。
だから英語版がおかしいなら、フランス語の原著がすでにおかしかった可能性もあったかもしれないわね。
やはりヨーロッパ語→日本語みたいに、全然似てない言語間の翻訳の場合の方が
誤訳が生じる可能性は圧倒的に高いと思うわ。
それに、例えば日本語話者が仏語に熟達するのは
英語話者が仏語に熟達するより遥かに難しいから
きちんとした翻訳をできる人の絶対数って
言語の組み合わせごとにかなり違うと思うのよね。

でも翻訳書の方が、原著の誤りまで訂正していて
原著よりもむしろ良いとかもたまにあるらしいから
翻訳書の出来って、ほんと翻訳者次第で天と地なんだと思うわ。
0450Usagi2023/12/14(木) 20:40:21.80ID:rfcoGIyP0
>>448
あら消えちゃったのね。こういう問題だったの↓

複素数 z, w は z^2 + w^2 = 1 を満たすとする。

(1) z ≠ 0 であり, z の偏角をαとするとき,
z は 0 < α < π/4 を満たして動くとする。
w がとりうる範囲を複素数平面上に図示せよ。

(2) z は |z| = 1 を満たして動くとする。
w の実部, 虚部のとりうる値の最大値をそれぞれ求めよ。
また, w がとりうる範囲を複素数平面上に図示せよ。
0451陽気な名無しさん2023/12/19(火) 11:16:53.12ID:9V4IuOIs0
>>449
「数論では0を入れない方が好まれる」というのは、
例えば幾つかの（正の）自然数の最小公倍数を考える時、
自然数に０が入っていたら最小公倍数は常に０になるじゃない。
数論だと最小公倍数や最大公約数なんかをよく考えるから、
そういう時に自然数に０が入っていると邪魔なんだと思うわ。
０が入っていなくても、そういう時に特に支障を来すこともないし。
だからではないかしら。

翻訳については、フランス語→英語では、言語的な誤訳というより、
記号や添え字などのミスプリ？転写ミス？みたいのがやたらあったわ。
英語版はGTMっていう、やたら沢山数学書を出しているシリーズなんだけど、
やたら沢山出している分やっつけ仕事的な部分も多少あったのかもしれないわね。
原著の誤りまで訂正している優れた翻訳書は、日本語訳に多い印象だわ。
少しの事例しか見ていないのだけれど。

>>450
ありがとう。
見た感じ解答は>>445 でよさそうね。
陰伏曲線という言葉は初めて聞いたわ。陰関数ならよく聞いたけど。
要するに陰関数のグラフのことよね。
とりあえず陰伏曲線のwikiに接線の方程式が出てたけど、
xの最大値を求めたいときは、接線の傾きが無限大（分母F_yが０）の時、
yの最大値を求めたいときは、接線の傾きが０（分子F_xが０）の時を考えればいいんでしょ。

アタシも解析は苦手だったから詳しくはわからないんだけど、
とりあえず偏微分F_xは、yを定数とみなしてxの関数として微分する、
偏微分F_yは、xを定数とみなしてyの関数として微分する、
で良かったと記憶しているわ。

これで計算すると
F_yが０の時は、F_y=4x^2y+4y^3+4y=0つまりy(x^2+y^2+1)=0で、
これを満たすのはy=0のときのみ。
このときx^2(x^2-2)=0だからx=0またはx=±√２となり、xの最大値√２，最小値-√2がわかるわ。
F_xが０の時は、F_x=4x^3+4y^2x-4x=0 つまりx(x^2+y^2-1)=0で、
これを満たすのはx=0またはx^2+y^2=1のとき。
ここから最初の4次式と連立させて解くんだろうけど面倒だし、
とりあえずレムニスケートと単位円の交点であることがわかって、
うさぎの解答もこの条件を満たしているからうさぎの解答と同じ結果になるんだと思うわ。
0452Usagi2023/12/24(日) 02:02:20.42ID:+4htNgis0
>>451
>数論だと最小公倍数や最大公約数なんかをよく考えるから、
>そういう時に自然数に０が入っていると邪魔なんだと思うわ。
なるほど～
小中学校で習うことって数の計算が主だから、それを考慮すると自然数に0を含まないと習うのも納得だわ。
あなたのレスを読んで、以前、順序集合についての本で読んだことを思い出したわ。
非負整数の集合に
　m ≼ n ⟺ km = n となる非負整数kが存在する
で二項関係 ≼ を定義すると、これは半順序になるわ。
任意の元 a, b に対して sup{a, b} と inf{a, b} が存在する半順序集合を束というわ。
上の例では sup{a, b} = lcm{a, b} そして inf{a, b} = gcd{a, b} となるから、これは束なの。
束の最大元や最小元がある時、それぞれをoneとzeroと呼ぶんだけど
するとこの例ではなんと、oneが0で、zeroが1となるの！

>記号や添え字などのミスプリ？転写ミス？みたいのがやたらあったわ。
それは誰でもチェックできる単純ミスだから酷すぎるわね！
GTMのSpringerは数学系に関しては一番信頼できる出版社だと勝手に思ってたから驚いたわ。

微分使ったやり方教えてくれてありがとう。
なるほどうまく計算できるのね。
Wikiも見たけどアタシ解析関係も勉強不足だから
なぜ接線の傾きが -F_x/F_y となるのか分からないので消化不良だけど…
0453陽気な名無しさん2023/12/30(土) 11:34:41.16ID:FhKxFjlC0
最後の書き込みから一週間近くなってくると、
このスレ落ちないかしら、って心配になってくるわね。

supとかinfとかって、上限下限の意味だったと思うけど、
上限下限って概念、勝手に全順序集合でのイメージでわかった気になっていたわ。
束ってググってみてやっとわかったけど、こんな概念あったのね。知らなかったわ。
って、集合・位相のテキスト見返してみたら、
上限下限は集合の部分に説明があったけど、
「完備束」とかいうものの説明が位相の方にあったわ。
それであとがきで完備束より緩い概念で束ってのがあるけど、
これの説明をすると集合・位相の入門書の範囲を超えるから、とか何とか。
アタシ集合の方はちゃんと読んだけど、位相の方は読んでなかったのよね。
いろいろしらべてうさぎの出した例がやっと違和感なく思えるようになったけど、「
>するとこの例ではなんと、oneが0で、zeroが1となるの！
こんなことが起こらないように（なのかな？）、テキストの例では、
集合｛２，３，４，５，・・・｝に対してうさぎの定義した順序を入れてたわ。

>Springerは数学系に関しては一番信頼できる
これはたぶんその通りだと思うんだけど、
それは数学書の大部分が英語で執筆されているからではないかしら。
Springerではないけど、洋書の日本語訳て結構丁寧なものが多い、
何なら原著にないことまで説明してくれていたりするイメージがあるわ。
だからラクに勉強しようと思ったら、日本語訳を読んで、
よくわからないところだけ英語版や、読めるなら原著を読むのが多分ラクよね。
勉強の範囲を超えて研究のレベルになったら原著でないと、ってことになるだろうけど。

>なぜ接線の傾きが -F_x/F_y となるのか
これについて、「うさぎでもわかる解析」とかいうシリーズがネット上にあったわ。
https://www.momoyama-usagi.com/entry/math-analysis18
このページがPart18　偏微分を用いた陰関数微分・陰関数定理ってなていて、
ちょうど問題となっている、正にその内容だと思うけど、
これの説明がちょっと形式的で、やっぱり不完全燃焼だわ。
だって例題、解説として載っているのが、変数分離タイプで、
xの式とyの式の積になっているような項があったらどうすんのよ、と思ったけど、
適当な例を考えて積の微分法で（高校で習った解き方）でやってみたら、
やっぱり-F_x/F_y になって、一応疑問は解消したわ。
うさぎ、あなた「うさぎでもわかるシリーズ」なんてあるのって、単なる偶然かしら？
かなり面白い偶然ね。
0454Usagi2023/12/31(日) 13:15:56.42ID:inxPlQ/W0
アタシが出した例がWikipediaにあったわ
https://upload.wikimedia.org/wikipedia/commons/thumb/e/e6/Infinite_lattice_of_divisors.svg/1280px-Infinite_lattice_of_divisors.svg.png
こういうのハッセ図っていうんだけど視覚的でとてもわかりやすいのよね

束では、任意の2つの要素からなる集合が上限と下限を持つことが保証されているけれど
このことから帰納法を使えば任意の有限集合が上限と下限を持つことが示せるわ
けれど、無限集合に対しても上限や下限が存在する保証はないのよ
有限集合だけじゃなく任意の無限集合も上限と下限を持つことが保証されているのが完備束よ

ふつう数学で上限・下限が初登場するのは実数の集合の話だと思うけど
実数の間の大小関係は全順序であって
全順序集合では、有限集合の上限と下限が単にその集合の最大限と最小限になるから
上限・下限の意味がかえって理解しにくいの
全順序集合で上限・下限が最大限・最小限と異なる場合を考えるには
無限集合を考える必要があって、
これが実数の集合の場合に考えられるのは実数の集合が完備束だからなのよね
そういうわけで一般的な数学のカリキュラムって
基本概念である有限集合の上限・下限の意義がいまいち納得できない状態で
無限集合の上限・下限のことを考えさせられることになるから
とても理不尽で理解しにくいと思うのよ
上限・下限の意義は半順序集合で考えてこそ理解できるものだと思うわ
その特殊な場合として全順序集合の場合があるだけだから

でもWikipediaにorder theoryの日本語版のページもないくらいだから
順序集合の理論って相当人気ないみたいよねw
アタシもともとこれを勉強してたら例として正規部分群が出てきて
それであなたに正規部分群のことを聞いたのが去年(2022年)だったのよ
具体的にいうと、ある群Gの正規部分群全体のつくる集合は
集合の包含関係⊆によって半順序集合となるけど
実はこれは束になっていて、Gの任意の正規部分群H, K に対して
sup{H, K} = { hk | h ∈ H かつ k ∈ K }
inf{H, K} = H ∩ K
となるわ（これらが正規部分群であることは簡単に確認できるわ）

群Gの部分群全体のつくる集合に⊆を入れたものも束になるけど、その場合は
sup{H, K} = (H ∪ K が生成するGの部分群)
inf{H, K} = H ∩ K
となるわ
アタシ去年は位数12以下の群に対して
その部分群がつくる束をハッセ図に描いて楽しんでたのよw
この子はどんなハッセ図になるのかしらってワクワクしながらやってたわ
0455Usagi2024/01/01(月) 01:44:10.85ID:AIEEN8X10
あけおめ！

束と完備束の間の概念としてσ完備束 (σ-complete lattice) っていうのもあるわ
これは任意の可算集合が上限と下限を持つ束のことよ
つまり非可算集合に対しては上限や下限が存在する保証がないってことね

測度論で可測空間って出てくるじゃない？
可測空間の定義や用語ってちょっとわかりにくことになっていると思うんだけど
英語だとある集合Xとその上のσ-algebraのペアとして定義していることが多いと思うの
σ-algebraのalgebraというのは、実はBoolean algebra（ブール代数 = ブール束）の意味なの
X上のσ-algebraは、Xの冪集合の部分集合で、Xを元に持ち、補集合をとる演算と
可算個の集合に対して和集合や共通部分をとる演算について閉じているものになるわ
和集合が上限、共通部分が下限になるから、これはσ完備束なの

別の流儀だと可測空間は集合Xとその上のσ-ringのペアとして定義されるんだけど
σ-ringはXを元として持つことを要求されないところがσ-algebraとの違いらしいわ

で、どうやらσ-completeのσはこのσ-ring、σ-algebraから来ているみたいで
これはFσ集合のσと同じでフランス語の somme（和）を表していて、
σ-ring、σ-algebraが可算個の集合の和集合をとる演算について閉じている、
ということから来ているらしいわ

またわけわからん長文書いちゃったけど
シグマの由来が気になって調べたことの備忘録だから気にしないでw

ネットで調べてみると日本語では可測空間がXとX上の「完全加法族」のペアとして
定義されていることが結構あるみたいね。
「完全加法族」は completely additive class の訳らしいんだけど
これはどうやら σ-ring の（おそらく古くさくてマイナーな）別名みたいよ
https://encyclopediaofmath.org/wiki/Additive_class_of_sets
個人的には適切な用語とは思えないわね
「完全」じゃ「可算」までの話だってことがわからないし
加法性も、この集合族自体の話ではなく、それに対して定義される測度の話だと思うから


「うさぎでもわかるシリーズ」、実はアタシもちょっと前に偶然見つけて
一瞬「え、アタシ煽られてる？！」って衝撃受けたんだけど
よく考えたらそんなわけないのよねw
見たけどやっぱり証明がよくわからないわ
陰関数定理でググるとヤコビアンがどうのとか出てきて
アタシそこまで勉強してないから、ちゃんと勉強しなきゃと思ったわ
この用語も衒学的なアテクシは気になったから調べてみたんだけど
Jacobian matrixの訳語でヤコビ行列とも言うみたいね
Jacobiはドイツ人だから「ヤコビ行例」は良いけど、
Jacobian は英語の形容詞だから、そんなに英語使いたいならジャコウビアンって言ってほしいわね
ドイツ語ではJacobischeらしいからヤコビッシェって言うならわかるけどw

話変わるけどPINKになってから同サロではスレが落ちなくなったみたいよね
0456Usagi2024/01/01(月) 22:27:31.35ID:AIEEN8X10
大地震起きたけどみなさんご無事かしら
アタシは関東だから影響なくて済んだわ

恥ずかしながら>>454でさらっと大嘘書いてたことに気づいたから訂正するわ
実数の集合は完備束じゃなかったわ
例えば上に有界でない実数の集合にはもちろん上限がないものね
有界な閉集合の任意の部分集合はその閉集合の中に上限や下限があるわよね？
だからこれは完備束
こういうのコンパクトとか言うんでしたかしら？
ここらへんもアタシちゃんと勉強できてないから勉強しなくちゃだわ
0457陽気な名無しさん2024/01/24(水) 08:14:21.43ID:MoTO07CM0
二月になったらこのスレも2024版が新しく経つのかしら
0458陽気な名無しさん2024/01/26(金) 19:26:46.59ID:srJtQFFe0
立て直すにしてもウサギとウサギの同意人形がスレを私物化できないようルールを決めてからの方がよさそう
0459陽気な名無しさん2024/01/27(土) 07:12:29.73ID:BMw4kDF90
大学入試の数学の問題に完全に限定すればいいのよ
0460陽気な名無しさん2024/02/01(木) 20:54:42.30ID:1SlIB51A0
2月になったわね。
次スレはスレタイ通りのスレになるかしら？
0469Usagi2024/03/04(月) 00:54:30.64ID:qYyY1O6E0
>>468
>>463の問題よね？　簡単なの？　
あたしは解けないから教えて欲しいわ
0470陽気な名無しさん2024/03/06(水) 13:37:34.52ID:AA3KRUx50
とりあえず（1）だけなら簡単よ。
ｎ＝1，-3，-7 でしょ。
0471陽気な名無しさん2024/03/06(水) 14:05:19.75ID:AA3KRUx50
（2）も、4個以下であることまではすぐにわかるわね。
3個以下であることはちょっと大変そうだわ。
0472Usagi2024/03/06(水) 21:56:15.17ID:loblAJ060
そうね、アタシも考えたところまでとりあえず書いてみるわ
g(n) = p が素数だとすると p = n(n^2 + an + b) なので n = 1, -1, p, -p の可能性しかないわね
だから g(n) が素数となるとしたら
（イ）g(1) = a + b + 1 が素数である
（ロ）g(-1) = a - b - 1 が素数である
（ハ）g(p) = pとなる素数pがある ⟺ x^2 + ax + b - 1 = 0 が素数解を持つ
（ニ）g(-p) = pとなる素数pがある ⟺ x^2 - ax + b + 1 = 0 が素数解を持つ
の４つの可能性のどれかね

アタシは（ハ）と（ニ）の２次方程式の素数解は合計で高々2個ってことまではわかったわ
ふたつの２次方程式のうち整数解を持つのがひとつ以下なら、これは明らかに成り立つわ
ではどちらの２次方程式も整数解を持つとしましょう
すると（ハ）の判別式D_1 = a^2 - 4b + 4 と（ニ）の判別式D_2 = a^2 - 4b - 4 が両方とも平方数になるわ
なので、ある非負整数 j, k に対して j^2 = a^2 - 4b + 4 かつ k^2 = a^2 - 4b - 4 となるわ
j^2 - k^2 = 8 だけど、もし j = k + 1 なら j^2 - k^2 は奇数になるから、この可能性はないわ
だから j ≥ k + 2 だけど、もし k ≥ 2 なら
j^2 - k^2 = (j - k)(j + k) ≥ 2[(k+2)+k] = 4k + 4 ≥ 4⋅2 + 4 = 12 > 8
だから k = 0 か k = 1 となるけど、k = 0 なら j^2 = 8 となってjが整数でなくなるから、k = 1, j = 3の可能性しかないわ
つまり
D_1 = a^2 - 4b + 4 = 3^2 = 9
D_2 = a^2 - 4b - 4 = 1^2 = 1
ね。b = (a^2 - 5)/4 が整数だからaは奇数ね
そして（ハ）と（ニ）の２次方程式の解は、それぞれ (-a±3)/2 と (a±1)/2 になるわ
・a ≤ -1 なら、 (a±1)/2はどちらも0以下だから素数ではない
・a = 1 なら、（ハ）と（ニ）の２次方程式の解は、1, -2, 1, 0 となってこの中に素数はない
・a ≥ 3 なら、 (-a±3)/2はどちらも0以下だから素数ではない
したがってどの場合でも (-a±3)/2 と (a±1)/2のうち素数は合計で高々２個ね

ここまで書くだけでもかなり面倒くさくて時間がかかったわ
でもこの問題を解くには（イ）と（ロ）が両方成り立つ場合に（ハ）と（ニ）の２次方程式の素数解が合計で高々1個であることを示す必要があって、それが難しいわ…
0473陽気な名無しさん2024/03/07(木) 12:02:03.18ID:Spv5Sd+N0
>>472
あなたの考え方で導かれる結果は、
①（ハ）と（ニ）の２次方程式の素数解は合計で高々2個
だけではなく、さらに
②（ハ）と（ニ）の２次方程式が同時に素数解を持つことはない
ことまで言えていて、というか、まず②が言えてそこから①が導かれるのよね。
②のほうを472の結果としておいた方が、そこから先やることが絞れそうよ。

（イ）と（ロ）が両方成り立つ場合、
a + b + 1 ≧ 2、a - b - 1 ≧ 2 が同時に成り立つから、
これを図示すれば、a ≧ 2 であることがすぐにわかるわ。
だからこの時、（ハ）の二次関数の軸は負になるので、
もし（ハ）の２次方程式に素数解があるとしても１つだけしかありえない。
そしてこの時②より（ニ）の２次方程式には素数解はないことがわかる。

だから、示すべきことは、
（イ）と（ロ）が両方成り立つ場合に（ニ）の２次方程式の素数解が高々1個であること
だけでいいことになるわ。
まあ、それでも難しいとは思うけど。
0474Usagi2024/03/07(木) 15:36:34.24ID:tKm16Krx0
>>473
なるほどね！　おかげでわかったかも
（ニ）の２次方程式がふたつの素数解p, qを持つとすると根と係数の関係から
p + q = a, pq = b + 1
となって、p, q ≥ 2 であることから
a - b - 1 = p + q - pq = 1 - (p - 1)(q - 1) ≤ 1 - (2 - 1)(2 - 1) = 0
となって、これは素数になり得ないから（ロ）は成り立たないわ！

結局、素数ってことを使ってるのって最初の４つの場合分けの時だけで
その後は2以上の整数であるってことしか使わないのね…
場合分けが多くて複雑だしとても25分で解いて解答書けないと思うわw
それとももっと簡単にできるのかしら？
0475陽気な名無しさん2024/03/07(木) 15:52:38.71ID:Spv5Sd+N0
>>474
>（ニ）の２次方程式がふたつの素数解p, qを持つとすると
あたしもこれ考えてできたわ。
（ロ）は成り立たないことを言うのではなく
a - b - 1 ≧ 2 に反することを導いたんだけど、
多分同じくらいの手間でしょうね。
東大だしなにかもっとエレガントな解法があるのかもしれないわね。
0476陽気な名無しさん2024/03/07(木) 15:54:36.23ID:Spv5Sd+N0
って、
（ロ）は成り立たないこと　と　a - b - 1 ≧ 2 に反すること　って、同じことか！
0477陽気な名無しさん2024/03/07(木) 18:25:17.95ID:bFeS51t50
これ答案読む先生も大変ね…
0478Usagi2024/03/07(木) 23:49:40.13ID:tKm16Krx0
ところで>>466の東工大の５番の問題、ちょっと出題ミスじゃないかしら？
前スレの842さんが話題にしてくれたのと同じで、この問題文２通りに読めるわよね？
「あるnがあって、すべてのαに対して…」なのか「すべてのαに対して、あるnがあって…」なのか
この場合結果的にはどちらでも答えは変わらないと思うけど
このせいでどれだけ受験生が戸惑ったり時間を無駄にしたりしたかと思うと許せないわね！

ていうか問題自体なんか引っ掛けっぽくない？
f(x)の根のひとつをα、その共役複素数をα*とすると
f(α*) = (α*)^2 + aα* + b = (α^2)* + (aα)* + b* = (α^2 + aα + b)* = (f(α))* = 0* = 0
だからα*もf(x)の根になるわ

f(x)が実数でない根αを持つならα^n = 1となる正の整数nがあることからαの絶対値は1で
α = cosθ + i sinθ, sinθ≠ 0 と表せて、もうひとつの根はα* = cosθ - i sinθになるわ
根と係数の関係から a = -(α+α*) = -2cosθだけど、これが整数で sinθ≠ 0 であることから、cosθは0か1/2か-1/2ね
したがって
α, α* = ± i で (a, b) = (0, 1) となるか
α, α* = 1/2 ± i √3/2 で (a, b) = (-1, 1) となるか
α, α* = -1/2 ± i √3/2 で (a, b) = (1, 1) となるかね

けれどf(x)の根がすべて実数の場合は、根が1か-1かであればいいから
f(x) = (x-1)^2 で (a, b) = (-2, 1)
f(x) = (x-1)(x+1) で (a, b) = (0, -1)
f(x) = (x+1)^2 で (a, b) = (2, 1)
の3つの可能性があるわ

だからこの6つの組が答えよね

でも問題文の「複素数の範囲の」を読んで「実数でない」と読んでしまう人結構いそうじゃないかしら？
そう読んでしまうと答えは「 (0, 1), (-1, 1), (1, 1), および a^2 - 4b ≥ 0 を満たすすべての整数の組(a, b)」になるわね！
（でも読み間違った人でこう解答した人ってほとんどいなそう…）

勘違いされないような問題文にすることはできるはずなのに、これじゃ数学の問題っていうより国語の問題よ！
0479陽気な名無しさん2024/03/09(土) 11:05:38.81ID:sjcf/xa90
東工大ってその程度の学校なのよ
学生も教授もショボちん
この問題も有名問題の劣化版だし
0480Usagi2024/03/09(土) 14:57:27.82ID:TDVzPs0X0
あら、有名問題ってどんなのかしら？
この問題は聞かれていることを理解できれば、あとは簡単だけど
東工大って国語の試験がないから、数学が国語の試験を兼ねているのかしら？とか思ったわw
いうても東大京大に次ぐポジションだと思うけど
最近は万個枠をつくったり、医科歯科と合体して東京科学大学とかいうマンガに出てきそうな大学名になるとか面白いわよね
0481Usagi2024/03/09(土) 15:03:46.70ID:TDVzPs0X0
思ったけど性同一性障害の人は万個枠で受験できるはずよね
お茶の水女子大も性同一性障害の人が受験できるんだものね
性別ごとの枠があるのって結局は平等の名を掲げた差別じゃないかしら
オカマ枠も作りなさいよね！
0482陽気な名無しさん2024/03/12(火) 00:51:19.22ID:g6ge3Tcw0
ならビアン枠も作れって？
性的なことだけ枠を作るのは不公平だから、他の特性、
例えば障害者枠も作れとか、血液型Rhマイナス枠も作れとか、
言い出したらキリがないわ
そもそも○○枠とかいう枠なんて存在すべきではないと思うわ

ってか、スレチよ
0483陽気な名無しさん2024/03/12(火) 12:24:32.76ID:jmyCh1Bf0
p,q,r,sはいずれも絶対値が1の複素数であるが、
p+q+r+s,
pq+pr+ps+qr+qs+rs,
pqr+pqs+prs+qrs,
pqrs
はみな整数である。
p^n=1
をみたす正の整数nを何かひとつ求めなさい。
0484陽気な名無しさん2024/03/12(火) 12:25:38.37ID:jmyCh1Bf0
東工大が元ネタにしたであろう命題から無理やり問題こさえたけど、
東工大ならこれくらいでもいいんじゃない！？
問題として成立してなかったらごめん遊ばせ
0485陽気な名無しさん2024/03/13(水) 02:35:37.38ID:sXyH6jL+0
>>483
これを満たすp,q,r,sはいく通りかの選び方があるけど、
選び方によってnの候補もいろいろよね。
最小の正の整数nとは言ってないから、
選び方によらず成り立つようなものを答えればいいのかしら？
どんなに大きくてもいいのよね。
あるnが正解なら、そのnの正の整数倍もすべて正解になるものね。
0486陽気な名無しさん2024/03/13(水) 18:53:29.30ID:dvtPxuhH0
そうよ
こういうときどんなに大きくてもいいと聞いてすぐ1兆とか1京とか言い出すのって中高一貫男子校出身者の特徴なんですって
0487陽気な名無しさん2024/03/13(水) 20:45:16.34ID:sXyH6jL+0
>選び方によらず成り立つようなもの
だとしたら6の倍数でなきゃだから、
>1兆とか1京とか
は不適よねぇ。
0489Usagi2024/03/14(木) 03:19:03.47ID:73oD7prG0
ひゃだ！
この問題面白すぎてアタシ大興奮よ
入試に出たら大学受験生に解くのはたぶん無理よ
どのpでもp^n=1となる最小のnは120だと思うわ！
アタシは力技で解いたけど、きっともっと本質的でエレガントな解法があるに違いないわ
誰かこの問題の神秘を解き明かして！

>>486
そんな特徴いったいどこで聞いたのよw
0490陽気な名無しさん2024/03/14(木) 09:47:12.83ID:B2WNhsl50
>>489
120ってどうやって求めたの？
特に素因数5がなぜ必要なのか全然わからないわ
教えて！
0492Usagi2024/03/15(金) 22:13:39.00ID:QByfmoco0
>>490
まず力技で高校生的に解いたやり方を説明するわ
p, q, r, sは、x^4の係数が1で他の係数が整数のある4次式f(x)の根になるわよね
>>478の考え方から、もし実数でない根α = cosθ + i sinθがあるなら、その共役複素数α* = cosθ - i sinθも根となって
f(x)は (x-α)(x-α*) = x^2 - (α+α*)x + αα* = x^2 - 2 cosθx + 1 で割り切れるわね
そう考えると次の３つの可能性があるわ

（イ）f(x) = (x ± 1)(x ± 1)(x ± 1)(x ± 1)
（ロ）f(x) = (x ± 1)(x ± 1)(x^2 + cx + 1)　ここでcは整数
（ハ）f(x) = (x^2 + ax + 1)(x^2 + bx + 1)　

（ロ）のx^2 + cx + 1の根は、478に書いた6つ（1の原始3乗根, 原始4乗根, 原始6乗根）のどれかになるわね

（ハ）の場合は、展開すると
f(x) = x^4 + (a+b)x^3 + (ab+2)x^2 + (a+b)x + 1
でこの係数が全て整数であることから
u = a+b
v = ab
が共に整数となるわね。a = - 2cosθだったことを思い出すと、-2 < a, b < 2 だから
方程式 g(t) = t^2 - ut + v = 0 が -2 < t < 2 となる実数根を持つ条件を考えると
D = u^2 - 4v ≥ 0　⟺　v ≤ (1/4)u^2
軸: -2 < u/2 < 2　⟺　-4 < u < 4
g(-2) > 0　⟺　v > -2u - 4
g(2) > 0　⟺　v > 2u - 4
これをuv平面に図示してみると、その領域内にある格子点は
(u, v) = (±1, 0), (0, 0), (0, -1), (0, -2), (0, -3), (-1, -1), (1, -1)
となるの。
0493Usagi2024/03/15(金) 22:14:07.11ID:QByfmoco0
・(u, v) = (±1, 0) の場合
a, b は t^2 ± t = 0 の根だから a, b = 0, ±1 で
f(x) = (x^2 + 1)(x^2 ± x + 1) だから、その根は478で出たものの中にあるわ

・(u, v) = (0, 0) の場合
a, b は t^2 = 0 の根だから a = b = 0 で
f(x) = (x^2 + 1)^2 だから、その根は478で出たものの中にあるわ

・(u, v) = (0, -1) の場合
a, b は t^2 - 1 = 0 の根だから a, b = ±1 で
f(x) = (x^2 - x + 1)(x^2 + x + 1) だから、その根は478で出たものの中にあるわ

・(u, v) = (0, -2) の場合
a, b は t^2 - 2 = 0 の根だから a, b = ±√2 で
f(x) = (x^2 - √2x + 1)(x^2 + √2x + 1)
これを解くと x = (±1±i)/√2 = e^{±πi/4}, e^{±3πi/4} で、これらは1の原始8乗根よ

・(u, v) = (0, -3) の場合
a, b は t^2 - 3 = 0 の根だから a, b = ±√3 で
f(x) = (x^2 - √3x + 1)(x^2 + √3x + 1)
これを解くと x = (±√3±i)/2 = e^{±πi/6}, e^{±5πi/6} で、これらは1の原始12乗根よ

・(u, v) = (-1, -1) の場合
a, b は t^2 + t - 1 = 0 の根だから a, b = (-1±√5)/2 で
f(x) = (x^2 - {(-1+√5)/2} x + 1)(x^2 - {(-1-√5)/2} x + 1) を解くと
x = {-1+√5 ± i √(10+2√5)}/4 = e^{±2πi/5} または
x = {-1-√5 ± i √(10-2√5)}/4 = e^{±4πi/5} で、これらは1の原始5乗根

・(u, v) = (1, -1) の場合
a, b は t^2 - t - 1 = 0 の根だから a, b = (1±√5)/2 で
f(x) = (x^2 - {(1+√5)/2} x + 1)(x^2 - {(1-√5)/2} x + 1) を解くと
x = {1+√5 ± i √(10-2√5)}/4 = e^{±πi/5} または
x = {1-√5 ± i √(10+2√5)}/4 = e^{±3πi/5} で、これらは1の原始10乗根

最後のふたつの場合については、もちろんこんな値覚えていないからWikiを参照したわw
https://en.wikipedia.org/wiki/Exact_trigonometric_values

というわけで p の可能性としては、1の原始1, 2, 3, 4, 5, 6, 8, 10, 12乗根の可能性があるから、その最小公倍数の120が答えよ
0494Usagi2024/03/15(金) 22:23:43.36ID:QByfmoco0
それで、考えたら秘密の一端が分かったかもしれないから書いてみるわ

ある自然数mについて、1の原始m乗根の数はφ(m)個になるわ
ここでφはオイラーの関数で、φ(m)はm以下でmと互いに素な自然数の数よ
1の原始m乗根φ(m)個の全てを根に持つモニック多項式Φ_m(x)は円分多項式といって、整数係数になることが知られているわ
もしφ(m) ≤ 4 なら f(x) = Φ_m(x) (x-1)^{4 - φ(m)} とおけば
これは整数係数の4次式だから、1の原始m乗根は問題のpでありうるわね

逆にφ(m) > 4 ならば、1の原始m乗根は整数係数の4次式f(x)の根ではありえないわ
なぜなら、Φ_m(x)は1の原始m乗根の最小多項式であることが知られているので
もしf(x)が1の原始m乗根を根に持つなら、5次以上のΦ_m(x)が4次のf(x)を割り切らなければいけないことになって矛盾するわ

つまり、もし問題の条件を満たすpが1のm乗根のものに限られるなら話が早いのよ
求める答えは LCM = { m | φ(m) ≤ 4 } となるわ
ここで右の集合が有限になるのか気になるところだけど、調べたらオイラーの関数には下界があるそうなの
一番詳しいのはlogが入り組んだ複雑なやつがあるみたいだけど、簡単なのだと
φ(m) ≥ √(m/2)
ってのがあるわ。
https://arxiv.org/pdf/0806.2068.pdf
もう少し便利なのだと、m ≠ 2, 6 なら
φ(m) ≥ √m
だって。
https://artofproblemsolving.com/community/c1610044h2360114_problem_331
φ(2)とφ(6)はわかるから、これを使えば、m > 16 なら φ(m) ≥ √m > √16 = 4 となるからφ(16)までを調べれば十分なの
結局 LCM { m | φ(m) ≤ 4 } = LCM {1, 2, 3, 4, 5, 6, 8, 10, 12} = 120 となるわ

ただ、うさぎがわからないのは、問題の条件を満たすpは1の整数乗根に限られるとすぐわかるのかということ
ここを誰か教えてくれないかしら？
0495Usagi2024/03/15(金) 22:35:21.13ID:QByfmoco0
（誤）　求める答えは LCM = { m | φ(m) ≤ 4 } となるわ
（正）　求める答えは n = LCM { m | φ(m) ≤ 4 } となるわ
0496陽気な名無しさん2024/03/16(土) 10:25:51.04ID:Bw1V77PI0
>>492-495
さすがによく考えてるわね

懐かしいわね
昔φ(n)→∞(n→∞)やったわよね
あのときもガミガミ言われたのよねアタシ
せっかくスレを盛り上げようとしたのに
なんの悪意もなかったのよ？
ただ、盛り上げようとした だけ だったのに
PTSD発症したわよ
0498陽気な名無しさん2024/03/22(金) 21:01:28.74ID:VH1Q8cNv0
受験雑誌読んできたわ
このスレで扱った東大の問題は超難問、東工大の問題は難問で、どちらも良問の判定だった
アタシ東大のそんなに難しくないと思ったんだけど受験報告読むと殆ど出来てないわねえ
素数を小さい方からp[1],p[2],…,p[n],…とするとき
n≧12⇒p[n]>3n
を示すのが阪大にあるんだけどこれも超難問と判定されてたわ
これは良問にはなってなかった
0499Usagi2024/03/23(土) 02:27:52.07ID:V0Fuiiih0
>>497
あら、出典教えてくれてありがとう
証明を見たけどわからないところがあるのよね
まずαの冪の既約多項式(irreducible polynomials)って書かれているけど、これはαの冪の最小多項式って意味でいいのかしら
こういう言葉遣いもするの？そうだとして話をすすめるけど
αの最小多項式の根をα, β, γ, …などとすると、α^k, β^k, γ^k, …を根とする多項式の係数は
根と係数の関係と対称式の基本定理を使えばαの最小多項式の係数から作れるから整数になるのよね
その既約成分を取り出せばα^kの最小多項式が作れて、その係数は整数になるってことよね
で、こういう係数の取りうる値は有界であって、その範囲はαのℚ上の次数に応じて決まるって書かれていると思うけど、ここがわからないの
なんで有界なの？誰か教えてくれると嬉しいわ
0500Usagi2024/03/23(土) 03:09:03.52ID:V0Fuiiih0
>>498
個人的にはあんまり納得いかない評価ね
東大のは、あたしには解けないくらい難しかったのは確かね
でも複雑なだけで美しさとかは感じないわ。素数っていうことは最初の部分でしか使わないし。
入試問題としては部分点を上げやすいとかそういうのが良いところなのかもしれないけど
東工大のは国語的にひどいから絶対に良問じゃないわ

阪大の問題は面白いわね
これを解くには、6で割った余りが0, 2, 3, 4の数は2か3で割り切れるから
2, 3以外の素数は6で割ると必ず1か5余るってことに気づくのがポイントね
5以降のどの素数についても、そのふたつ先の素数は必ず6以上大きくなることになるから
n ≥ 12が偶数なら p[n] ≥ p[12] + 6×(n-12)/2 = 37 + 3n - 36 = 3n + 1 > 3n
n ≥ 12が奇数なら p[n] ≥ p[13] + 6×(n-13)/2 = 41 + 3n - 39 = 3n + 2 > 3n
となるわね
この問題はスッキリした解き味で美しさを感じられるわ
0501陽気な名無しさん2024/03/23(土) 14:26:14.53ID:Mi1uN1rQ0
α[1],α[2],α[3],…,α[n]はみな絶対値が1なので、n変数のk次基本対称式P[k](x[1],…,x[n])に代入したときに、その絶対値がnCkで抑えられる
(したがってnC0,nC1,…,nCnのうち最大のものをとればαの次数nだけで決まる量によって|P[k](α[1],…,α[n])|が評価できる)
そして鳩ノ巣原理により1の冪根になると

上の問題について具体的に書けば
p,q,r,sはいずれも絶対値が1の複素数で
p+q+r+s,
pq+pr+ps+qr+qs+rs,
pqr+pqs+prs+qrs,
pqrs
はみな整数のとき、これらはある整数係数多項式の根である
それらの冪乗p^n,q^n,r^n,s^nを根とする4次多項式も整数係数である
その整数係数に現れる整数には実は制約があってp,q,r,sは絶対値が1であることから
|p^n+q^n+r^n+s^n|≦4
|p^nq^n+p^nr^n+p^ns^n+q^nr^n+q^ns^n+r^ns^n|≦6
|p^nq^r^n+p^nq^ns^n+p^nr^ns^n+q^nr^ns^n|≦4
|p^nq^nr^ns^n|≦1
となる範囲にしかその整数は存在しない
つまり、どのようなnについても、p^n,q^n,r^n,s^n を根とする整数係数多項式は必ず
x^4-4x^3-6x^2-4x-1
から
x^4+4x^3+6x^2+4x+1
まで
のうちのどれかになる(こういう書き方するか知らんけど)
0502Usagi2024/03/24(日) 02:48:58.55ID:uH/BWTOw0
なるほどね！
とてもわかりやすいわ。どうもありがとう
そうすると、この本の証明みたいに話を既約多項式に限定する必要ないわよね
例えばpがℚ上4次なら (x - p^i)(x - q^i)(x - r^i)(x - s^i) を考えれば良くて、別にこれが既約じゃなくても関係ないものね
作れる4次式が有限個しかないから、当然 p^i を根に持つ既約な因数を取り出しても有限個しかないけれど。
因数分解した時の因数の係数がどうなるのかは、よくわからないわ？
一般的に、因数分解すると現れる係数の絶対値って小さくなるものかしら？
まあ有限個しかないから、いずれにぜよ有界なんだけど
この本の証明、なんか無駄にわかりにくい気がするわ
0504陽気な名無しさん2024/04/08(月) 21:22:49.24ID:bw9WTlLe0
>>503
見た感じ大学入試か模試か何かのように見えるけど、
そこまで難しくないように見えるけど、
それでも出典は書いておくべきではないかしら。
何か一言あるとなおいいと思うわ。
0505Usagi2024/04/12(金) 22:09:54.17ID:RVcs+8RO0
>>504
これは>>465で出ているのと同じだから、今年の阪大の問題なんじゃないかしら
こんなふうに、オイラーの関数そのものが出題されるなんて驚いたわ
難しくないの？　あたしには相当難しい問題に思えるけど
だって(1)は中国の剰余定理を証明せよ、というのと同じことでしょ？
それを15分くらいで証明して解答を書き上げなきゃいけないわけよね
はっきり言ってほとんどの人には不可能じゃないかしら
(2)は別に難しくないけど…
なんか、良い問題を思いつかなかったから、大学数学を安易に流用しただけに見えるわ
こういうのは大学入試問題として非常に悪問だと思うわ
ていうか高校までで習うことで厳密に証明を書けるのかあたし疑問なんだけど
0508陽気な名無しさん2024/04/18(木) 20:11:42.34ID:bAdmkEHl0
>>507
アンタじゃ無理でしょ
うさ子の方が知能高いと思うわよ
0510陽気な名無しさん2024/04/28(日) 20:24:07.77ID:ZIe1gFBT0
オイラ関数
0511陽気な名無しさん 転載ダメ2024/04/28(日) 21:34:55.04ID:ZIe1gFBT0
Slot オイラー
🌸🌸💯
💯🎴🍜
🎴💰😜
(LA: 3.93, 3.83, 2.97)
■ このスレッドは過去ログ倉庫に格納されています
ニューススポーツなんでも実況