  |
はてなキーワード: 有理数とは
それに照らせばラノベと非ラノベの分類が万人が納得いく形で行われるような定義は不可能であるにせよ、これはラノベではないといった消極的定義（いわゆる無理数は有理数でないものというような形）やラノベと言われるものがほぼ確実に持っている特徴を抽出することはできる。
・ラノベはジュブナイル性を持っている。これはハリーポッターのような（娯楽性が高い）児童文学と住み分けされるために意識的に盛り込まれた特徴だろう
・これは条件というよりも上の条件の系というべきものだが、ラノベは中二的な要素を持っている。ラノベがどちらかというと現役中高生よりも成人オタクに読まれるのも成人オタクが中二的な感性を保持していることが多いと考えればむしろ自然だし、この特徴によってロードス島だろうが涼宮ハルヒだろうがなろうだろうがカバーできる。
dorawiiより
-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 https://anond.hatelabo.jp/20251103002551# -----BEGIN PGP SIGNATURE----- iHUEARYKAB0WIQTEe8eLwpVRSViDKR5wMdsubs4+SAUCaQg2zAAKCRBwMdsubs4+ SP8CAQD1ZbNuL3q0uLqWCqnDhLfM58sU692hECdaE75VAXVAtAD/aMn8GydWrdbW /bF78vrVt6ouKpuiSM7ke14wF8pr1gA= =cIDI -----END PGP SIGNATURE-----
『√3は有理数か？』
ってよくある奴を、よくある整数分の整数と表して云々の背理法で示してて、いや、理解は出来るんだけど、学生のころから「互いに素」の扱いでめっちゃ引っ掛かるのよね
どこが引っ掛かるってるのか自分でもよく分からないんだけど（笑）、整数分の整数で表すことと「互いに素」は別の話やーんというか、背理法使うなら「互いに素」も仮定として扱わなきゃいかんのじゃないんかーい、「互いに素」が間違ってる場合を考えなくてもいいんかーい、とか考え出して、よく分からなくなるのよね
割っていけば、結局「互いに素」になるんだから仮定じゃないってことなんだろうけど、めちゃくちゃ引っ掛かるのよね
なんなんだろ
無限は数ではないってことをいままで信じていたけど
自然数全体の集合に最大元として∞を追加したものと、一番最初に∞含めなんらかの元を設定したあとに自然数を順に並べたものとでは順序型が違う
ってことが書いてあるといよいよよくわからなくなるね
そもそも上で言っていることは、もし∞が数じゃないとするならだが、数の集合に数じゃないものを混入させてそれを並べることができると言っている。
無限も数って言ってくれた方がまだ理解できるよね。有理数を実数に拡張するのが数の拡張であるのと同様(そして両者ともに順序付けられる)、自然数に∞という要素を加えることも数の拡張って言われる方がしっくり来るよね。
-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 https://anond.hatelabo.jp/20250728163544# -----BEGIN PGP SIGNATURE----- iHUEARYKAB0WIQTEe8eLwpVRSViDKR5wMdsubs4+SAUCaIcoUgAKCRBwMdsubs4+ SJWjAQCxlLvDVJ6twyXPytZ4vVaOAnWijw7iYdyvIcSHofZYKQEA09m25JTd3G8/ dAeEcdgTO8Z6K/3vascSDBy1raUZBAU= =QBaW -----END PGP SIGNATURE-----
数学的帰納法で成り立つと言えることが無限で成り立つとは言えないことへの分からなさ。
これがなぜか論理的でもありながらわかりやすく(これが重要)教えてくれる人がいないから数学が嫌いになるんだよね。
たとえば一般項がan=Σ[k=1,n]k^-2だと証明しても、n=無限ではπ/6。一般項自体は有理数の形になっているのに無限の場合は無理数になるから成り立たないってことだ。
と、具体例を押し付けられても結局なんで論理的にそんなことが言えるのかの「わかりやすい」説明は見つからない。ちょっと深く理解しようと思ったら数理論理の難解な羅列の資料しかなくて投げるしかない。
この数列anを集合としてみたときは言い換えれば自然数全体の集合Nを添え字集合とした{an}n∈Nと書けるはず。
任意の自然数で成り立つと証明した以上添え字nは自然数全体を走らなければならないはず。
一方A1、A２…An…という集合を要素を持つ集合、つまり{An}n∈Nの要素全ての和集合は刃ッと帰納法で成り立つと言えることが無限で成り立つとは言えないことへの分からなさ。
これがなぜか論理的でもありながらわかりやすく(これが重要)教えてくれる人がいないから数学が嫌いになるんだよね。
たとえば一般項がan=Σ[k=1,n]k^-2だと証明しても、n=無限ではπ/6。一般項自体は有理数の形になっているのに無限の場合は無理数になるから成り立たないってことだ。
と、具体例を押し付けられても結局なんで論理的にそんなことが言えるのかの「わかりやすい」説明は見つからない。ちょっと深く理解しようと思ったら数理論理の難解な羅列の資料しかなくて投げるしかない。
この数列anを集合としてみたときは言い換えれば自然数全体の集合Nを添え字集合とした{an}n∈Nと書けるはず。
任意の自然数で成り立つと証明した以上添え字nは自然数全体を走らなければならないはず。
一方A1、A２…An…という集合を要素を持つ集合、つまり{An}n∈Nの要素全ての和集合は∩[n=1,∞]Anと記述される。
もしこのAnが任意の自然数nについてAn⊂An+1の関係を持つ閉区間であるとすれば∩[n=1,∞]Anは一点になるという定理がある。
そのようなAnの具体例にAn=[-1/n,1/n]がある。位相数学では{∩[n=1,k]An|k<∞}なんていう集合を考えることがあるが、Anが先述のものだとした場合、この集合(族)に∩[n=1,∞]An=0は含まれないことになっている。
なぜなら∩[n=1,∞]Anは無限個の集合の和集合だが、{∩[n=1,k]An|k<∞}に含まれる任意の要素は有限個の集合の和集合だから、ということになっている。添え字に関する条件k<∞を満たさない∩[n=1,k]Anすなわち∩[n=1,∞]An含まれないことになっているというイメージ。
一方で添え字に関する条件k<∞に対していかなる自然数でも正しいのだから、任意の自然数Nに関する∩[n=1,N]ANはこの集合に含まれるはず。
この図式は任意の自然数nについてあることが成り立っていると主張する数学的帰納法と同じにしか見えない。
つまり任意のaNは{an}n∈Nに含まれるし逆に{an}n∈Nの要素でaNではない要素は存在しない。
このaNが実は∈について言っていたANなら、数学的帰納法で任意の自然数N(<∞)で依存する形([-1/N,1/N]など)で表されると証明された全てのANの集合の別の表現はただちに{AN}N∈自然数、になる。
そしてこの集合の要素全ての和集合をとったら、定義からそれは∪[N=1,∞]ANになると思う。N<∞という条件を満たす集合だけ集めてその和集合をとったのに、矛盾しているように思う。
もう一つはっきりおかしさをあげられる例はイプシロンエヌ論法。
どんなに小さなεをとったとしても、あるN以上のnで満たすべき不等式が成り立つことが言えればいいということだけど、このあるNは結局いかなるときでも絶対に「任意の自然数のうちのどれか」だよね。
εを小さくとればとるほどNも大きくなるけど、結局N<∞のなかで閉じているといいうことは帰納法と同じだと思う。
この論法で有限の自然数のなかで閉じていないというなら、帰納法だって項番号が無限のときでも成り立っていないとおかしい、と感じるのは自然な疑問だと思う。
なぜ自然数のなかでの閉じた議論にしか見えない論法が無限大に飛ばしたときの極限の論法として通用すると言えるのか、というおかしさ。
結局自分を含めこのような無限に対して数学的な正しい扱い方を理解できる程度の論理的思考力を持つ人さえ数学科じゃなければ本当に少ないと思う。どんなに教えられても一笑理解できない人も全く稀ではないと思う。
そんな人が政治家としてもっともらしい論理的に見える何かを吐いて政策決定をしたり裁判官として人を裁いている立場にかなり混じっているはずだ。
我々はいかにも感情論に見えることを言うと最初から相手にされないから、感情語をできるだけ取り除いて接続詞とか使って論理的な主張を発信しようと努めている。
しかし無限さえ正しく扱えない人が本当に論理的に整合性があることを言えているとは思えないんだよね。
たぶん、論理記号を出鱈目に並べたものと本質的に差が無い「音の並び/文字の並び」をぶつけあっているだけになっている場合が大半かもしれない。ようは本当に鳴き声の応酬をしているだけ。
いやー虚無感がすごいわ。
-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 https://anond.hatelabo.jp/20250724174244# -----BEGIN PGP SIGNATURE----- iHUEARYKAB0WIQTEe8eLwpVRSViDKR5wMdsubs4+SAUCaIHyBwAKCRBwMdsubs4+ SMieAQCdW6/ZyPe+rjukRDsuHZpqZKO6OVwSVIX2Qymt1CzdVwD+LyCLS16mlsKf 8/8bLYQJ8dSKrnJyQfyIcCLPmPIqqgU= =mkc6 -----END PGP SIGNATURE-----
人が少ないうちは、ある人に似ている別の人はいないこともある、という意味で、そのある人には個性があると言えるような状況があり得る。
しかしどんどん人が多くなるか、比較対象として勘定する母数を増やすと、誰を指定しても、その誰かに似通った人がいる可能性が限りなく高くなっていくと考えられる。
これは整数の範囲で考えていたらある数にその距離が近い数というのを考えたときその近さの条件を厳しくすると近い数が自分自身以外になくなってしまう場合が出てくるのに対して、有理数や実数に範囲を広げるとどんなに条件を厳しくしても必ず存在するというのと感覚的には同じだろう。
そういう絶対的前提のなかで考えてみると、個性がない人なんていないと考えるのが正しいのではないか。
pixivには無個性化というシチュがあるが、そんなことが現実にあり得ない限りは絶対に誰もが誰に対しても差異を持っている。
逆に言えばどんなに個性があると思う人を挙げてみても、その人に似ている人は絶対に選び出せるほど人間は既に多い。
野球の大谷が個性があるように見えるとしたらそれは「一位」だからだろう。
なんでも１位から２位のその位を決する基準となる要素の差は微々たるものだろうし2位以降もビリまで大勢が互いに僅差であって全体としてほとんど連続的に分布しているような状況であり、
そういう点で誰をとってもそれに近い成績の人はいるといえるのだが、我々は１番手だけを個性的な人だとする。
本来、１位は飛びぬけているという幻想から、それをもって個性だと言い慣わしていたように思えるが、事実上、社会的には個性があるとはある(ある程度その社会にとって存在感がある)界隈で一番手であると定義されているようなものに感じる。
増田で個性がない人も当然いないののである。ただ母数が多いから誰にでも似ている人が存在するだけだ。
-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 https://anond.hatelabo.jp/20250708150432# -----BEGIN PGP SIGNATURE----- iHUEARYKAB0WIQTEe8eLwpVRSViDKR5wMdsubs4+SAUCaGy08gAKCRBwMdsubs4+ SIMFAQDs0KgFYG0OvzlMiQuujK9mwFZMvhjnyRRcuKeT5OKDSQD/UXerbKHgJrwH DEQ/3ilUetRSTqFPiCtKnSWSBSetMwY= =kRZJ -----END PGP SIGNATURE-----
端的に言えば、ある物理理論におけるAブレーンが作る世界の構造（圏）と、その双対理論におけるBブレーンが作る世界の構造（圏）が一致するという物理的な要請が、数学上の「幾何学的ラングランズ対応」という予想そのものを導き出す、という驚くべき対応関係が存在する。
AブレーンとBブレーンは、超弦理論において「D-ブレーン」と呼ばれる時空に広がる膜のようなオブジェクトの特殊なもの。
これらはホモロジカルミラー対称性という予想の文脈で役割を果たす。
シンプレクティック幾何学における「ラグランジアン部分多様体」に対応。これは、時空の「位置」に関する情報を主に捉える対象。
Aブレーン全体の集まりは、「深谷圏 (Fukaya category)」と呼ばれる数学的な圏を構成。
代数幾何学における「正則部分多様体」や「連接層」に対応。これは、時空の「複素構造」やその上の場の状態に関する情報を捉える対象。
Bブレーン全体の集まりは、「連接層の導来圏 (derived category of coherent sheaves)」と呼ばれる圏を構成。
ある空間（カラビ・ヤウ多様体 X）のAブレーンが作る世界（深谷圏）が、それとは見た目が全く異なる「ミラー」な空間 Y のBブレーンが作る世界（導来圏）と、数学的に完全に等価（同値）である、という予想。
ラングランズプログラムは、現代数学で最も重要な予想の一つで、「数論」と「表現論（解析学）」という二つの大きな分野の間に、深い対応関係があることを主張。
1. 数論側: 曲線 C 上の「G-局所系」の圏。ここで G はリー群。これはガロア表現の幾何学的な類似物と見なせる。
2. 表現論側: 曲線 C 上の「ᴸG-D-加群」の圏。ここで ᴸG は G のラングランズ双対群。これは保型形式の幾何学的な類似物。
つまり、C上のG-局所系の圏 ≅ C上のᴸG-D-加群の圏 というのが、幾何学的ラングランズ対応。
この一見無関係な二つの世界を結びつけたのが、物理学者アントン・カプスティンとエドワード・ウィッテンの研究。
彼らは、N=4 超対称ゲージ理論という物理理論を用いることで、幾何学的ラングランズ対応が物理現象として自然に現れることを示した。
彼らが考えたのは、リーマン面（代数曲線）C 上のゲージ理論。
これは、ゲージ群が G で結合定数が g の理論と、ゲージ群がラングランズ双対群 ᴸG で結合定数が 1/g の理論が、物理的に全く同じ現象を記述するというもの。
このゲージ理論には、「ループ演算子」と呼ばれる重要な物理量が存在し、それらがブレーンに対応。
S-双対性は、G 理論と ᴸG 理論が物理的に等価であることを保証。
したがって、一方の理論の物理的な対象は、もう一方の理論の何らかの物理的な対象に対応しなければならない。
カプスティンとウィッテンが示したのは、このS-双対性によって、G 理論の A-ブレーン ( 't Hooft ループ) の世界と、その双対である ᴸG 理論の B-ブレーン(Hecke固有層) の世界が、入れ替わるということ。
物理的に等価である以上、この二つの圏は数学的にも同値でなければならない。そして、この圏の同値性こそが、数学者が予想していた幾何学的ラングランズ対応そのものだった。
このようにして、弦理論の幾何学的な概念であるAブレーンとBブレーンは、ゲージ理論のS-双対性を媒介として、純粋数論の金字塔であるラングランズプログラムと深く結びつけられた。
今日息子と一緒に考えたテーマは「無理数に覆われた世界」です。
高さと底辺をそれぞれ1とする直角二等辺三角形を作図することで数直線上に√2をとることができます。
またそのようなことをしなくても有理数である1と1.1の間に無数の無理数を見出すことができます。
息子はショックを受けましたが、半日間一生懸命うんうんと色々考えていました。
デデキント切断を知らない息子がそのメソッドを捉えるか捉えないかのところで一生懸命考える様子に、子供の無限の可能性を見出すことができました。
これまでの数に対する認識を改める良いきっかけになったと感じています。
中学受験を終え、息子の友人や同級生は中学校の数学と英語を1日でも早く終えようと息巻いていますが、私の場合、息子には「当たり前」と思っている物事に対して常に「なぜ？」を持ち、考える習慣を身につけて欲しいと思っています。
公式や問題の解き方のみを頭に入れて自分を知的能力の高い人間と思い込む「参考書の猿山の大将」になってほしくないのです。
そこで、その自称数学ができるゴミクズは実数が無限個存在するのに、「自然数が無限個存在するから」といい始めた。
これは明らかにこれは間違っていて、
まず「集合Aの真部分集合Bが無限集合のとき、Aが無限集合」であることを証明しろ、言ったら「自明ですよね」といったので、
「自明は明らかだから説明いりませんのね、の意味であって証明が不要であるって意味じゃねえよ」と喧嘩になった。
次に、自然数が無限個だから、有理数は数え上げで無限集合と飛躍させても良いかもしれないが、
この話になったときは、「有理数が無限個あるんだから、無理数が有限個しかなくても、実数は無限個ありますよね」と言い始めた。
無理数が無限個なのか有限個なのかわからない状態で実数の研究やって一体何の意味があるんだ。
虚数と実数は、複素数の部分集合であり、互いに排他的ではない。
また、虚数は実数直線上にはないが、複素数平面上では実軸と垂直な虚軸に沿って表される。
したがって、虚数と実数は全く別のものではなく、複素数という枠組みの中で共存している。
一方、chatGPT（人工知能）と人間（天然知能）は、知能の種類や性質が異なるものである。
chatGPTはプログラムされたルールやデータに基づいて会話を生成するが、人間は自然言語や感情や経験に基づいて会話を行う。
chatGPTは人間の言語や文化を模倣することができるが、人間の思考や感覚を本質的に理解することはできない。
したがって、chatGPTと人間は全く異なるものであり、知能という枠組みの中で対立している。
以上のように、この文章は虚数と実数の関係を誤って用いており、chatGPTと人間の関係を正しく表現していない。
むしろ、chatGPTと人間の関係は、虚数と実数ではなく、有理数と無理数に例える方が適切である。
有理数と無理数は、実数の部分集合であり、互いに排他的である。
また、√2は無理数であり、有理数ではない。また、有理数は分母と分子によって表されるが、無理数は小数点以下が無限に続くために表せない。
したがって、有理数と無理数は全く別のものであり、実数という枠組みの中で対立している。
このように考えると、chatGPT（人工知能）は有理数に例えられる。
chatGPTはプログラムやデータによって表されるが、その範囲や精度に限界がある。
一方、人間（天然知能）は無理数に例えられる。人間は言語や感情や経験によって表されるが、その深さや広さに限界がない。
p進ホッジ理論とか、俺は数学専門じゃないので全然わからないけど、解説を見るともし頑張って勉強すればある程度は理解できそうとは感じる。
https://ja.wikipedia.org/wiki/P%E9%80%B2%E3%83%9B%E3%83%83%E3%82%B8%E7%90%86%E8%AB%96
なんとなくこういうことかなと想像すると、p進ホッジ理論は、p進数という実数でない数構造がたくさんあってそいつらを何らかの基準の下に分類する手段を与えるもので、それがホッジ理論つまりその数構造の上で定義される幾何的なオブジェクトの性質によって作れるよと言ってる気がする。
一方で、p進数はそれを定義した時点で自然な足し算や掛け算の演算が定まってるっぽいんだけど（有理数を完備化するときにp進距離というもので完備化するものなので、有理数上で定義されている足し算や掛け算をp進距離完備化と矛盾しないように拡張する方法が一意かわからんけど何か定まるんだろう）、
この辺の解説を読む限り、IUT論文に出てくるHodge theatreという概念はその演算自体を変形することを考えてるっぽいな。そうするとそうやって演算を変形した数構造はたぶんもはやp進数ではないと思うんだけど、それでもホッジ理論に基づくある種の分類基準は定義可能ということなんじゃないか。そうするとホッジ理論ひとつに対して数構造が1個付随してるんじゃなくて可能な変形の全体が付随してる感じになるということなのかなと想像する。それがtheatreということなんじゃないか。
しらんけど。
そう考えると
https://www.kurims.kyoto-u.ac.jp/~motizuki/Inter-universal%20Teichmuller%20Theory%20I.pdf
のFig. I1.4とか、あーなんかそういう感じの話か〜みたいな雰囲気はしてくるな。なんかこうある種の対称性を備えていることを「演算」の定義として、その対称性を通常のものから拡張していってる感じがする。Fうんたらという記号の意味は1ミリもわからんけど。
https://anond.hatelabo.jp/20210907184611 の続き
たとえば、以下のような問題を考えます。演習問題に限らず、教科書の本文や、解答の一文一文も「証明問題」だと捉えてこのような態度で読み解く必要があります。
x2 - 2a|x| - b = 0
それほど典型的な問題ではありません。少なくとも、何か簡単な公式があって2aやbなどを代入すれば答えが出てくる、というものではありません。
この問題を解くには、左辺の式が何を意味しているのか理解していなければいけません。これは、何か上手いやり方があって機械的に解ける場合でもそうです。
とxの二次式になるので、既に知られた方法で解の個数を求めることができます。ただし、たとえば方程式f≧0(x) = 0の解は、x≧0を満たすものだけを数えることに注意が必要です。したがって、単に判別式の符号を調べるだけでなく、二次関数f≧0(x)のx≧0の範囲での増減を調べる必要があります。x＜0の場合も同様です。
結局、この問題を解くには
ということができる必要があります。特に前者を理解していないのは、問題文の式が何を意味しているのか分かっていないということですから、解法を覚えるとか言う以前の問題です。当然、これらが分からなければ調べたり他人に聞く必要があります。その際は、定義の数式を形式的に覚えたり当て嵌めたりするだけではなく、具体例を通じて、その意味を理解する必要があります。絶対値記号|x|であれば、xが正の数ならどうなるのか、負の数ならどうなるのか、y = |ax + b|や、y = |ax2 + bx + c|のグラフの概形はどうなるのか、等。
もし二次関数を調べた際に平方完成が分からなければ、それも調べる必要があります。平方完成を調べて文字式の展開で分からないところがあれば、それも調べる必要があります。そもそも、二次方程式を解く際になぜ（一次方程式では必要無かった）平方完成をするのか。そういった問題が解ける理屈（あるいは類似の問題と同じやり方では解けない理屈）を理解している必要があります。
また、自分で問題を解いて、たとえば場合分けの仕方が解答と異なるならば、それらが本当に同値なのかをきちんと確かめる必要があります。最初のうちは計算ミスをして符号などが逆になることもあるでしょうが、それもどこで間違えたのかをきちんと確かめる必要があります。
そういうことをすべて完璧にこなして初めて、この問題を理解したと言えるのです。
以下、解答例を載せます。匿名ダイアリーなので文字のみですが、実際は図を付けた方が良いでしょう。
f(x) = x2 - 2a|x| - bとおくと、
f(x) = 0の実数解の個数は、y = f(x)のグラフと、y = 0のグラフの交点の数であるから、これを求める。
とおく。y = f≧0(x)のグラフは、(a, -(a2 + b))を頂点とする下に凸な放物線で、y軸との交点は-bである。一方、y = f＜0(x)のグラフは、(-a, -(a2 + b))を頂点とする、下に凸な放物線で、y軸との交点は-bである。
したがって、y = f(x)のグラフは、y = f≧0(x)のグラフのx≧0の部分を、y軸に関して対称に折り返した形をしている。
f(x)は、x = ±aで最小値-(a2 + b)を取る。したがって、y = f(x)のグラフとy = 0のグラフの交点の数は、
f(x)は、x = 0で最小値-bを取る。したがって、y = f(x)のグラフとy = 0の交点の数は
以上、(1-1)〜(1-5), (2-1)〜(2-3)がf(x) = 0の実数解の個数である。
上の解答例ではy = f(x)のグラフの位置関係を用いましたが、もちろん、f≧0(x) = 0、f＜0(x) = 0の解を実際に求めても解けます。
この場合は、それぞれの解がx≧0、x＜0を満たすかどうかを確かめる必要があります。そして、それぞれの場合でf≧0(x) = 0のx≧0を満たす解の個数とf＜0(x) = 0のx＜0を満たす解の個数を足したものが答えになります（x≧0とx＜0に共通部分は無いので、これらを同時に満たすことはありません）。
f≧0(x) = 0の解は、
x = a ± √(a2 + b)
である。同様に、f＜0(x) = 0の解は
x = -a ± √(a2 + b)
である。
とおくと、ra(b)はa2 + b≧0の範囲で定義される。また、ra(b)はbに関して単調増加であり、ra(0) = |a|である。つまり、f≧0(x) = 0およびf＜0(x) = 0の2つの解が同じ符号を持つか否かは、b = 0を境界にして分かれる。
したがって、a2 + b≧0のとき、f≧0(x) = 0の解は
同様に、f＜0(x) = 0の解は、a2 + b≧0のとき、
また、D ＜ 0の場合は、f≧0(x) = 0、f＜0(x) = 0ともに実数解を持たない。
以上をまとめると、f(x) = 0の解の個数は、以下のようになる。
(1-1) a2 + b＜0のとき、0個
(1-2) a2 + b = 0のとき、2個（③と⑥でD = 0場合）
(1-3) a2 + b＞0かつb＜0のとき、4個（③と⑥でD＞0の場合）
(2-2) b = 0のとき、1個（②と⑤で D = 0の場合）
何度も書いているように、たとえばx2 - 2ax - b = (x - a)2 - (a2 + b)などの式変形の意味が分からないのであれば、二次関数の復習をする必要があります。解答文中に出てきた「単調増加」などの用語も分からなければ調べる必要があります。
上記の場合分けが(a, b)のすべての組を網羅しているのか、と言ったことも注意する必要があります。
解答例2の①〜⑥の場合分けは、y = f≧0(x)およびy = f＜0(x) のグラフとy軸との交点を考えています。これの符号と軸の位置で、どの範囲にy = 0の解が存在するかが決まります。たとえば、下に凸な放物線がy軸と負の値で交わるならば、x軸とは必ず正負両方の値で交わらなければいけません。逆に、y軸と正の値で交わるならば、x軸とは交わらない（D＜0）か、放物線の軸がある方で2回交わります（D = 0の場合は1回）。解答例2ではra(b) = √(a2 + b)という関数を用意しましたが、このy軸との交点と軸に関する条件を代わりに説明しても良いです。このように、数式や条件が図形のどのような性質に対応するのかを考えることも数学の勉強では重要です。
また、「二次関数f(x)が下に凸で最小値が0以下であれば、f(x) = 0は実数解を持つ」ということを認めています。これは明らかに思えるでしょうが、極限を習った後であれば
実数値関数fが区間[a, b]で連続であれば、f(a)とf(b)の間の任意の実数γに対して、γ = f(c)となる実数c∈[a, b]が存在する。
という「中間値の定理」を暗に使っていることを見抜けなければいけません。このような定理が出てきたら、Part1でも述べたように、具体的な関数でどうなっているのか（たとえばf(x) = x2 - 2に対して、f(a) = 0となる実数aが存在することなど）、仮定を緩めたら反例があるのか（たとえばfの定義域が有理数ならどうか、連続でなければどうか）などを確認する癖をつけましょう。
y = x2 - 2a|x| - bのグラフとy = 0のグラフの交点を考える代わりに、y = x2 - 2a|x|のグラフとy = bのグラフの交点を考えても良いです。これは、本問と同値な方程式
x2 - 2a|x| = b
を考えていることに相当します。記述量はそれほど変わらないでしょうが、こちらの方が見通しは良いかも知れません。
仮に本問と異なり、aが定数の場合、たとえばa = 1であれば
y = x2 - 2|x|
のグラフは変数に依りませんから、y = bとの交点を考えるのは容易です。
実際、y = x2 - 2|x|のグラフは、頂点が(1, -1)、y軸との交点が0の、下に凸な放物線のx≧0の部分をy軸に関して対称に折り返した形です。
したがって、この場合は
です。
以上のことは、問題を解く際だけに行うのではなく、教科書本文、問題文、解答例の一文一文を「証明問題」だと思って常に意識する必要があります。
本稿では、和田秀樹氏らが提唱している暗記数学というものについて述べます。
受験数学の方法論には「暗記数学」と「暗記数学以外」の二派があるようですが、これは暗記数学が正しいです。後者の話に耳を傾けるのは時間の無駄です。
まず、読者との認識を合わせるために、暗記数学に関するよくある誤解と、それに対する事実を述べます。
暗記数学は、数学の知識を有機的な繋がりを伴って理解するための勉強法です。公式や解法を覚える勉強法ではありません。「暗記」という語は、「ひらめき」とか「才能」などの対比として用いられているのであり、歴史の年号のような丸暗記を意味するわけではありません。このことは、和田秀樹氏の著書でも繰り返し述べられています。
類似の誤解として、
などがあります。これらは事実に反します。むしろ、大学の理学部や工学部で行わていれる数学教育は暗記数学です。実際、たとえば数学科のセミナーや大学院入試の口頭試問などでは、本稿で述べるような内容が非常に重視されます。また、ほとんどの数学者は暗記数学に賛同しています。たまに自他共に認める「変人」がいて、そういう人が反対しているくらいです。大学教育の関係者でない人が思い込みで異を唱えても、これが事実だとしか言いようがありません。
嘘だと思うならば、岩波書店から出ている「新・数学の学び方」を読んで下さい。著者のほとんどが、本稿に書いてあるように「具体例を考えること」「証明の細部をきちんと補うこと」を推奨しています。この本の著者は全員、国際的に著名な業績のある数学者です。
そもそも、暗記数学は別に和田秀樹氏が最初に生み出したわけではなく、多くの教育機関で昔から行われてきたオーソドックスな勉強法です。和田秀樹氏らは、その実践例のひとつを提案しているに過ぎません。
暗記数学の要点を述べます。これらは別に数学の勉強に限ったことではなく、他の科目の勉強でも、社会に出て自分の考えや調べたことを報告する上でも重要なことです。
一番目は、従来数学で重要なものが「ひらめき」や「才能」だと思われてきたことへのアンチテーゼです。実際には、少なくとも高校数学程度であれば、特別な才能など無くとも多くの人は習得できます。そのための方法論も存在し、昔から多くの教育機関で行われています。逆に、「"才能"を伸ばす勉強法」などと謳われるもので効果があると実証されたものは存在しません。
大学入試に限って言えば、入試問題は大学で研究活動をする上で重要な知識や考え方が身についているのかを問うているのであって、決していたずらな難問を出して「頭の柔らかさ」を試したり、「天才」を見出そうとしているわけではありません。
二番目はいわゆる「解法暗記」です。なぜ実例が重要なのかと言えば、数学に限らず、具体的な経験と結びついていない知識は理解することが極めて困難だからです。たとえば、
などを、初学者が読んで理解することは到底不可能です。数学においても、たとえば二次関数の定義だけからその最大・最小値問題の解法を思いついたり、ベクトルの内積の定義や線形性等の性質だけを習ってそれを幾何学の問題に応用することは、非常に難しいです。したがって、それらの基本的な概念や性質が、具体的な問題の中でどのように活用されるのかを理解する必要があります。
これは、将棋における定跡や手筋に似ています。駒の動かし方を覚えただけで将棋が強くなる人はまず居らず、実戦で勝つには、ルールからは直ちには明らかでない駒の活用法を身につける必要があります。数学において教科書を読んだばかりの段階と言うのは、将棋で言えば駒の動かし方を覚えた段階のようなものです。将棋で勝つために定跡や手筋を身につける必要があるのと同様、数学を理解するためにも豊富な実例を通じて概念や定理の使い方を理解する必要があります。そして、将棋において初心者が独自に定跡を思いつくことがほぼ不可能なのと同様、数学の初学者が有益な実例を見出すことも難しいです。したがって、教科書や入試問題に採用された教育効果の高い題材を通じて、数学概念の意味や論証の仕方などを深く学ぶべきです。
そして、これは受験数学だけでなく、大学以降の数学を学ぶ際にも極めて重要なことです。特に、大学以降の数学は抽象的な概念が中心になるため、ほとんどの大学教員は、学生が具体的な実例を通じて理解できているかを重視します。たとえば、数学科のセミナーや大学院入試の口頭試問などでは、以下のような質問が頻繁になされます。
教科書や解答例の記述で分からない部分は、調べたり他人に聞いたりして、完全に理解すべきです。自分の理解が絶対的に正しいと確信し、それに関して何を聞かれても答えられる状態にならなければいけません。
たとえば、以下のようなことは常に意識し、理解できているかどうか自問すべきです。
ほとんどの人はまず「自分は数学が分かっていない」ということを正確に認識すべきです。これは別に、「数学の非常に深い部分に精通せよ」という意味ではありません。上に書いたような「定義が何で、定理の仮定と結論が何で、文中の主張を導くために何の定理を使ったのか」といったごく当たり前のことを、多くの人が素通りしていると言うことです。
まず、用語や記号の定義が分からないのは論外です。たとえば、極大値と最大値の違いが分かっていないとか、総和記号Σ でn = 2とか3とかの場合に具体的に式を書き下せないのは、理解できていないということなのですから、調べたり他人に聞いたりする必要があります。
また、本文中に直接書いていないことや、「明らか」などと書いてあることについても、どのような性質を用いて導いたのか正確に理解する必要があります。たとえば、
などと書いてあったら、これは
という一般的な定理を暗に使っていることを見抜けなければいけません。上の命題はpが素数でなければ成り立ちません。たとえば、l = 1, m = n = 2として、4l = mnを考えれば、mもnも4で割り切れません。他にも、
は正しいですが、逆は一般的には成り立ちません。nとmが互いに素ならば成り立ちます。それをきちんと証明できるか。できなければ当然、調べたり他人に聞いたりする必要があります。
l'Hôpitalの定理なども、もし使うのであれば、その仮定を満たしていることをきちんと確かめる必要があります。
さらに、単に解法を覚えたり当て嵌めたりするのではなく、「なぜその方法で解けるのか」「どうしてそのような式変形をするのか」という原理や意図を理解しなければいけません。たとえば、「微分で極値が求まる理屈は分からない（或いは、分からないという自覚さえない）が、極値問題だからとりあえず微分してみる」というような勉強は良くありません。
そして、教科書の一節や問題の解答を理解できたと思ったら、本を見ずにそれらを再現してみます。これは「解き方を覚える」と言うことではなく、上に書いたようなことがすべて有機的な繋がりを持って理解できているか確かめると言うことです。
はじめの内はスラスラとは出来ないと思います。そういう時は、覚えていない部分を思い出したり、本を見て覚え直すのではなく、以下のようなことを自分で考えてみます。
こういうことを十分に考えた上で本を読み直せば、ひとつひとつの定義や定理、式変形などの意味が見えてきます。また、問題を解くときは答えを見る前に自分で解答を試みることが好ましいです。その方が、自分が何が分かっていて何が分かっていないのかが明確になるからです。
以上のことは、別に数学の勉強に限った話ではありません。社会に出て自分の考えや調べたことを報告する時などでも同様です。たとえば、近年の労働法や道路交通法の改正について説明することになったとしましょう。その時、そこに出てくる用語の意味が分からないとか、具体的にどういう行為か違法（or合法）になったのか・罰則は何か、と言ったことが説明できなければ、責任ある仕事をしているとは見なされないでしょう。
逆に聞くけど、質問を質問で返すのは詭弁のガイドラインに抵触するのは承知の上で、貴方は「計算機が実数を扱っているという前提が間違っている」のを知っているのか？
逆に何でその程度のことすら知らないと想定してんだよ。意味不明すぎるだろ。そもそも「計算機が実数を扱っているという前提」なんて存在しねーぞ。お前は実数の定義を知ってるのか？有理数を完備化したもんだぞ？有理数が稠密だということを理解してるのか？そもそも自然界に「実数」が存在してるなんて証拠は一個でもあるのか？物理学が実数体でないと致命的におかしくなるケースが一個でもあるのか？
たとえば、カオス理論が起きるのは「計算機科学で物理学と同じように小数を扱ったから」なのだけど、あれは古典物理学を学んてきた人がおかすミスなんだよ。あれはローレンツが有効数字というまやかしに引っかかって起きたのと、十進法と二進法の互換性が無いことに起因したケアレスミスなんだよ。俺はカオス理論を否定するのじゃなくて、カオス理論も偶然が生んだ産物だという上で言っているのよ、念の為。
意味不明。カオスは初期値に鋭敏だというだけだぞ（細かいことを言えば色々あるが）。計算機がどうとか関係ねーし有理数も実数も関係ねー。パイこね変換のカオスは離散系だろうが。何言ってんだ。
https://www.ajimatics.com/entry/2021/03/22/174633
これについていたブコメ
id:versatile 「実数の中には、「2乗して0になる数」というのは0しかありません」の証明ってどうやるの？
メタブを見に行ったら、そういう数が存在した場合は逆数をとると矛盾が引き起こせるよっていうスマートな背理法が書かれてたんだけど、これはかなり危うい議論に見える。
というのも、その議論は0でない実数は必ず逆数が取れるよねっていう前提を所与のものとして扱っているわけで、じゃあその「0でない実数は必ず逆数がとれる」って命題はどうやって証明するのという話になる。
そんなの当たり前の話じゃないかと感じられるかもしれないが、我々の証明しようとしている「二乗して0になる数は0以外にない」という命題も同程度には当たり前のことであって、つまりこれは当たり前から当たり前を示す、基礎論的なところの問題なのである。
こういう議論では、話の土台が何より重要で、よく知られた性質の中でもどれは使っていいのか、どれは使ってはいけないのか良く整理してから始めなければいけない。
なぜなら証明済みの性質を贅沢に使って基礎的な部分を証明してしまうと、その元の議論のほうの前提に実は今証明している命題が間接的に入っているんだよということになりかねない。
だから、「当たり前のものを示す時」には、議論が「逆流」しないか十分気にする必要がある。
で今回の問題が具体的にどう引っかかっているかと言うと、実数には有理数という土台があって、有理数は整数という土台から作られている。
ここでもし、「二乗すると0になる0でない数a」が【整数の中に】含まれていると、有理数上で、(1/a)*(1/a)の答えが定義できなくなってしまう。
そうなるとそもそも有理数上の掛け算の定義が壊れているということなので、実数の構成どころの話じゃない。
つまりこの掲題の疑問は有理数に掛け算構造を与える際にこそ気にすべき問題なのである。
逆数という概念は掛け算の成立後にようやく有効になる話であって、その前段階にあるはずのこの疑問に対して逆数の性質を使ってしまうのは若干論点先取というか、真芯を外している回答のように思う。
もちろん実数の話であるからには土台にある有理数の基本的な性質は所与のものであるという考え方も間違いではないけれど、それはこの疑問の「心」が見えていないんじゃないかな。
で実際どうやって証明すべきかというと、まずは上述のように【整数で】この性質を示すべき。
もっと言うと整数の土台には自然数（ここでは0を含む）があるので自然数上で非0×非0が非0になることを示す。
そうして得られた性質を整数、有理数、実数へと順々に拡張していく。こういう流れになる。
自然数上での証明は、0でない自然数には前者関数Preが適用できることを用いて、
a*b=a*Pre(b)+a≧a>0
という感じで示せる。（もちろんもっと厳密にやるけどね）
整数は自然数のコピーを貼り合わせてできている。自然数上での非0×非0=非0という性質から、整数上でも容易にそれが示される。
有理数は整数の分子分母のペアに約分という同一視を入れてできている。ここでも整数上の非0×非0=非0の性質を簡単に有理数上に拡張できる。
最後に実数は、有理数の無限数列を極限の考え方で同一視してできるので、有理数上の性質をうまく実数上にも持ってくることができる。
概要だけざっくりだけどこれを組み立てれば疑問への回答になると思う。
（道筋だけ最後まで立てられることがわかったら途端に興味を失うやつ）
【追記】
文章が長ったらしくて申し訳ないけど、やっぱ伝わってないね…。
前半部は、「当たり前のことを証明する時には当たり前の前提を無批判に使っちゃいけない」ってことを言ったつもり。
ブコメで貰ってる「両辺をaで割って〜」っていうようなのも、実は割り算の存在が無意識に前提とされているけど、零因子があるかないかっていうのは【割り算の構成のためにこそ】必要な話なんだ。
だから「割り算というものが存在する」って無邪気に考えることすらもこういう問題では危険だよと言いたかった。
零因子がないことを証明→よかった、これで割り算が「上手く定義」できるぞ→逆数も定義できるぞ
横だけど、天才っていうか初めからセンスがある奴はそもそも一般人が言う意味での「努力」はしなくても学習できるんだよね。一般人と同じ経験をしても脳が勝手に抽象化して概念獲得するから学びの密度が全く違う。掛け算九九の表を渡されたら一般人は頑張って暗記するみたいになるんだけどセンスあるやつはあーねっつって有理数の積くらいまで一瞬で理解し終わるみたいな。それって一般人の数ヶ月とか数年とかの努力に相当するんだよね。
もちろんそれでもセンスある奴だけの世界でやっていくなら「努力」が必要になるんだけど、そこまで行かず一般社会でいいやってなるなら努力の必要自体が無いというのは全然あり得る。
Xの点列(x_n)は以下をみたすとき、Cauchy列であるという。
任意のε ＞ 0に対して、ある自然数Nが存在して、n, m ≧ Nならば、d(x_n, x_m) ＜ ε。
収束する点列はCauchy列である。実際、lim[n→∞] x_n = x ならば、任意のε/2＞0に対して、ある自然数Nが存在して、n＞Nならば|x - x_n|＜εとなるので、任意のε＞0に対して、n, m＞Nならば|x_n - x_m|≦|x - x_n| + |x -.x_m|＜ε。
逆に、Xの任意のCachy列がXの点に収束するとき、Xは完備であるという。
(x_n)を実数のCauchy列とする。
まず、(x_n)は有界である。実際、ε＞0に対して、Nが存在して、n＞Nならば|x_n - x_N|＜εなので、任意のiに対して、|x_i|≦max{|x_1|, |x_2|, ..., |x_N|, |x_N|+ε}である。
Bolzano-Weierstrassの定理より、有界な実数列は収束する部分列を含むので、自然数列n_1＜n_2＜...＜n_i＜...と実数xが存在して、lim[i→∞] x_(n_i) = xとなる。
xが(x_n)の極限である。lim[i→∞] x_(n_i) = xより、任意のε/2＞0に対して、ある自然数Iが存在して、i＞Iならば|x-x_(n_i)|＜ε/2。(x_n)がCauchy列であることより、任意のε/2に対して、ある自然数Nが存在して、n, m＞Nならば|x_n - x_m|＜ε/2。この2つより、任意のε＞0に対して、n＞max{I, N}ならば、|x - x_n|≦|x - x_(n_n)| + |x_(n_n) - x_n|＜ε。□
√2に収束する数列(1, 1.4, 1.41, ...)はCauchy列だが、Qの元に収束しない。
f_n(x)を以下で定める。
xが有理数で、xを既約分数a/bに表したとき、bがn!の約数ならば、f_n(x) = 1。それ以外は、f_n(x) = 0。
各f_nは有限個の点で1になる以外0なので、Riemann積分可能で、∫|f_n(x)|dx = 0。
しかし、その（各点収束）極限は、xが有理数のとき1、無理数のとき0となる関数であり、これはRiemann積分不可能。（有理数の稠密性から、区間の細分をどれだけ細かくとっても、各区間に1を取る点と0を取る点がそれぞれ存在するため、Riemann和が収束しない）
集合Kが2つの二項演算+: K×K→K、*: K×K→Kを持ち、以下の性質を満たすとき、Kは体であるという。
K, Lを体とする。K⊂Lとなるとき、LをKの拡大体という。L/Kが拡大であるともいう。もちろん、これはLの部分群Kによる剰余群のことではない。
C/Rや、C/Qは体の拡大の例である。K(X)/K(X^2)なども体の拡大の例である。
L/Kを体の拡大とする。任意のa∈Lに対して、K係数の多項式f(X)が存在して、f(a)=0となるとき、LをKの代数拡大体、またはL/Kは代数拡大であるという。
そのような多項式が存在しない元が存在するとき、LはKの超越拡大体、またはL/Kは超越拡大であるという。
なぜならば、任意のz∈Cはz = x + yi (x, y∈R)と表わせ、z* = x - yiとおくと、zは二次方程式
X^2 -(z + z*)X + zz* = 0
の解だから。
Kを体とする。K上の任意の多項式F(X)に対して、Fの根を全て含む体Lが存在する。言い換えれば、FはLで
と一次の積に分解する。このようなLのうち最小のものが存在し、Fの（最小）分解体という。Fの分解体はKの代数拡大体である。
LをFの分解体とする。Lの部分環Vを
K[X1, ..., Xn]→L (f(X1, ..., Xn)→f(a1, ..., an))
の像とすると、VはK上のベクトル空間である。各aiはn次多項式の根であるから、aiのn次以上の式はn-1次以下の式に等しくなる。従って、VはK上高々n^2次元の有限次元のベクトル空間である。
Vは整域であるから、0でない元による掛け算は、VからVへの単射線形写像である。したがって、線形写像の階数と核の次元に関する定理から、この写像は全射である。よって、Vの0でない任意の元には逆元が存在する。つまり、Vは体である。
Lは、Kと各aiを含む最小の体であり、V⊂Lなので、L=Vである。
さて、Lの元でK上のいかなる多項式の根にならないものが存在したとし、それをαとおくと、無限個の元1, α, α^2, ...は、K上一次独立となる。これはVが有限次元であることに矛盾する。□
L/Kを代数拡大とする。LはK上のベクトル空間となる。その次元をL/Kの拡大次数といい、[L : K]で表す。[L : K]が有限のとき、L/Kは有限拡大といい、無限大のとき無限次代数拡大という（上の証明でみたとおり、超越拡大は必ず無限次拡大である）。
M/K、L/Mがともに有限拡大ならば、L/Kも有限拡大であり、[L : K] = [L : M] [M : K]。
α∈Lとする。K上の多項式fでf(α)=0をみたすもののうち、次数が最小のものが定数倍を除いて存在し、それをαの最小多項式という。
[K(α) : K]は、αの最小多項式の次数に等しい。なぜならば、その次数をnとするとαのn次以上の式はすべてn-1次以下の式になるため、[K(α) : K]≦n。1, α, ..., α^(n-1)が一次従属だとすると、n-1次以下の多項式でαを根に持つものが存在することになるので、[K(α) : K]≧n。よって、[K(α) : K]=n。
Lの自己同型σでKの元を固定するもの、つまり任意のa∈Kに対してσ(a)=aとなるもの全体のなす群をAut(L/K)と書く。
任意の有限拡大L/Kに対して、#Aut(L/K) ≦ [L : K]。
L/Kを有限拡大とする。#Aut(L/K) = [L : K]が成り立つとき、L/KをGalois拡大という。L/KがGalois拡大のとき、Aut(L/K)をGal(L/K)と書き、L/KのGalois群という。
L/Kを有限拡大、[L : K] = 2とする。#Aut(L/K) ≦ [L : K] = 2なので、Aut(L/K)に恒等写像以外の元が存在することを示せばよい。
[L : K] = 2なので、α∈L＼Kが存在して、1, α, α^2は一次従属。したがって、α^2 - aα + b = 0となるa, b∈Kが存在する。解と係数の関係から、α, a - α∈Lは、2次方程式X^2 - aX + b = 0の異なる2解。
α∉Kより、K⊕KαはK上2次元のベクトル空間で、K⊕Kα⊂LなのでL=K⊕Kα。
σ: L→Lをσ(1)=1, σ(α)=a-αとなるK線形写像とすれば、σは全単射であり、Kの元を固定する体の準同型でもあるので、σ∈Aut(L/K)。□
C/RはGalois拡大。
L/Kを有限拡大とする。任意のα∈Lに対して、αのK上の最小多項式が、Lで1次式の積に分解するとき、L/Kを正規拡大という。
L=K(α)とすると、L/Kが正規拡大であるのは、αの最小多項式がLで一次の積に分解するときである。
K(α)/Kが正規拡大で、さらにαの最小多項式が重根を持たなければ、αを他の根に写す写像がAut(K(α)/K)の元になるから、Aut(K(α)/K) = αの最小多項式の次数 = [K(α) : K]となり、K(α)/KはGalois拡大になる。
nを自然数として、ζ_n = exp(2πi/n)とする。ζ_nの最小多項式は、Π[0 ＜ m ＜ n, gcd(m, n)=1](X - (ζ_n)^m)であり、Q(ζ_n)/QはGalois拡大である。
L/Kを有限拡大とする。任意のα∈Lの最小多項式が重根を持たないとき、L/Kは分離拡大という。
体Kに対して、1を1に写すことで一意的に定まる環準同型f: Z→Kがある。fの像は整域だから、fの核はZの素イデアルである。fの核が(0)のとき、Kの標数は0であるといい、fの核が(p)であるとき、fの標数はpであるという。
F_2 = Z/2Zとする。F_2係数の有理関数体F_2(X)/F_2(X^2)は分離拡大ではない。
実際、XのF_2(X^2)上の最小多項式は、T^2 - X^2 = (T - X)(T + X) = (T - X)^2となり、重根を持つ。
L/KをGalois拡大、Gal(L/K)をGalois群とする。
K⊂M⊂Lとなる体Mを、L/Kの中間体という。
部分群H⊂Gal(L/K)に対して、L^H := {a∈L| 任意のσ∈Hに対してσ(a)=a}は、L/Kの中間体になる。
逆に、中間体K⊂M⊂Lに対して、Aut(L/M)はGal(L/K)の部分群になる。
次のGalois理論の基本定理は、L/Kの中間体がGalois群で決定されることを述べている。
L/KをGalois拡大とする。L/Kの中間体と、Gal(L/K)の部分群の間には、以下で与えられる1対1対応がある。
- H'⊂H⊂Gal(L/K)ならば、K⊂L^H⊂L^H'⊂L
- K⊂M⊂M'⊂Lならば、Aut(L/M')⊂Aut(L/M)⊂Gal(L/K)
- 中間体K⊂M⊂Lに対して、#Aut(L/M)=[L : M]。つまり、L/MはGalois拡大
- 部分群H⊂Gal(L/K)に対して、#H = [L : L^H]、#Gal(L/K)/H = [L^H : K]
- 中間体K⊂M⊂Lに対して、M/Kが正規拡大（L/Kは分離的なのでM/Kも分離的であり、従ってGalois拡大）であることと、Gal(L/M)がGal(L/K)の正規部分群であることが同値であり、Gal(L/K)/Gal(L/M)〜Gal(M/K)。同型はσ∈Gal(L/K)のMへの制限で与えられる。
K=Q, L=Q(√2, √3)とすると、Gal(L/K)はσ√2→-√2とする写像σと、√3→-√3とする写像τで生成される位数4の群Z/2Z×Z/2Zである。
この部分群は{id}, {id, σ}, {id, τ}, {id, στ}, {id, σ, τ, στ}の5種類があり、それぞれ中間体L, Q(√2), Q(√3), Q(√6), Kに対応する。
