  |
はてなキーワード: 全射とは
複素数体上の楕円曲線 E と、そのミラー対称である双対楕円曲線 Eᐟ を考える。このとき、E のフクヤ圏 𝓕(E) は、Eᐟ の連接層の有界導来圏 𝔇ᵇ(𝐶𝑜ℎ(Eᐟ)) と三角圏として同値である。
𝓕(E) ≃ 𝔇ᵇ(𝐶𝑜ℎ(Eᐟ))
証明：
1. 交点の特定： L₀ と L₁ が E 上で交わる点の集合を 𝑃 = L₀ ∩ L₁ とする。
2. 生成元の設定： フロアーコホモロジー群の生成元は、各交点 𝑝 ∈ 𝑃 に対応する形式的なシンプレクティック・チェーンである。
3. 次数の計算： 各交点 𝑝 の次数 𝑑𝑒𝑔(𝑝) は、マスロフ指標やラグランジアンの相対的な位置関係から決定される。
4. 微分の定義： フロアー微分 𝑑 は、擬正則ストリップの数え上げによって定義されるが、楕円曲線上では擬正則ディスクが存在しないため、微分は消える（𝑑 = 0）。
5. コホモロジー群の計算： よって、𝐻𝐹ⁱ((L₀, ∇₀), (L₁, ∇₁)) は生成元の自由加群となる。
𝐻𝑜𝑚ⁱ(𝓔, 𝓕) = 𝐸𝑥𝑡ⁱ(𝓔, 𝓕)
Φ(L, ∇) = 𝑝₂*(𝑝₁*(𝓛ₗ) ⊗ 𝓟)
ここで、𝑝₁: E × Eᐟ → E、𝑝₂: E × Eᐟ → Eᐟ は射影であり、𝓛ₗ は L に対応するラインバンドルである。
- L₀ と L₁ の交点 𝑝 ∈ 𝑃 に対し、そのフロアーコホモロジー群は生成元 [𝑝] で張られる。
- 次数 𝑑𝑒𝑔([𝑝]) は、ラグランジアンの相対的な位相データとモノドロミーから決定される。
2. Ext 群の計算：
- Φ(L₀, ∇₀) = 𝓛₀、Φ(L₁, ∇₁) = 𝓛₁ とすると、Ext 群は
𝐸𝑥𝑡ⁱ(𝓛₀, 𝓛₁) ≅
{ ℂ, 𝑖 = 0, 1
0, 𝑖 ≠ 0, 1 }
3. 対応の確立： フロアーコホモロジー群 𝐻𝐹ⁱ((L₀, ∇₀), (L₁, ∇₁)) と Ext 群 𝐸𝑥𝑡ⁱ(𝓛₀, 𝓛₁) は次数ごとに一致する。
集合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に対応する。
全射って言えば全ての要素への写像があるなって理解できるじゃん？
上ってなんなのかわからない。
数学が苦手というか、数学がこういう意味不明な事をするから苦手になってしまった。
他には
位相空間(X,O)の異なる２点を p,q とする。 p を含む開集合を U、 q を含む開集合を V として、互いに交わらない U, V が存在するとき
難しそうに書いてるけれどよく見るとなんだか普通なことが書いてあるやつ。
俺の頭が悪いからこんな些細なことにこだわってできなくなるのは分かっているんだが
こういうことでなんでこうじゃないの？って思うせいで数学が嫌になっていった。
だいたい大学で数学を勉強すると「何この定義」とか言い始めるからさ。だいじょーぶ。だいじょーぶ。
増田は自分を卑下する必要はないよ。きっと人類は数学が苦手なのだ。
なので肩の力をぬいてちょっと聞いてほしい
数学用語のネーミングがピンとこないときは英語訳をみると意味がわかることがあります。これ豆知識ね。
上への写像は onto-mapping、関数は function だね。
「この条件はなんで必要なの？」とか「なんだか回りくどい言い回しだな」とか
こんなときはいくら定義を眺めてもなにも起こらないので、とりあえず疑問は胸にしまって前に進んだ方が良い。
ところで増田は「穴あきおたま」を知っていますか？料理に使うやつね。
あれね、私はなんで穴空いているのか最初わからなかったのよ。でね、おでん作って卵をすくったときにね。
「あーーこの穴があると具だけ救えるのかー なるほどー」と穴の理由が初めて理解できたのよ。
そんなかんじでね、初見では理解できなくても使ってみると理解できるものというのは世の中いっぱいあるのよ。数学もおんなじね。
もちろんね、俺が新しい公理系を考えるぞとか、もっとよい定義を考えるぞ！とかやってもいいわけだけれど
それは勉強というより研究に片足突っ込んでいると思うし、自分は数学ができないと思っている人がやるようなことではないと思うのね。
政治的，それもかなり下品な言葉だけど，「なんでも安倍総理の責任にする人」を一部のネット民が「アベノセイダース」と呼んだり，逆に「野党の答弁を盲目的に批難する人」を「ヤトウガー」と呼んだりするのを見かけるよね。彼らはどちらも対象を卑下・揶揄する目的で前述の言葉を使っている。今はこの言葉の真偽可否ではなく，〝片仮名にすると馬鹿にした印象になる〟という現象そのものを知りたい。国語や文法の教科書・Wikipediaを見ても，片仮名の役割に“相手を侮蔑する”なんていうのは載っていない。とするとあくまで予測だが極めて新しい言い方なのではないか。
そもそもなぜ片仮名の文章が人を小馬鹿にした印象を与えるのだろう（っていうか与えてるよね。僕はそう感じるんだけども，僕の感性がおかしいだけだったり……）。当て推量だし，なにより言語学には暗いので大いに錯誤しているかもしれないが，僕の持論はこうだ:
(1) 片仮名は，平仮名と列んで，漢字が読めない幼児や知的障碍者や非日本語圏の人間に向けて漢字かな混じり文を平易にする目的で用いられることがある。そこから平仮名や片仮名に対し〝子供じみている〟とか（これも非常に汚ない言葉だが）〝知恵遅れ〟といった印象が付随するようになった。例えば「いってることがよくりかいできない」なんていうブコメからは，「言ってることがよく理解できない」というブコメより揶揄の成分を強く感受する。
(2) もともと女性が使い始めた言葉だということを知ってか知らでか，平仮名には世間一般に〝柔らかい〟〝自然的〟といった好感が持たれている。その一方片仮名は〝冷たい〟〝人工的〟など，（どちらかというと）否定的な文脈で用いられることが多い。例えば擬声語でも「頭をぽかぽか叩く」のと「頭をポカポカ叩く」のでは全射が素手で行為に及んでいるのに対して後者が何か道具（といっても軽そうな品ではあるが）を使っている印象を受ける。
(1), (2) の両論を併せると，片仮名で記述された表現からは〝思考なく機械的に繰り返される幼稚で，取るに足りない文〟という印象を受けるのではないか。
上述の理屈が正しいとして，新たに疑問が生まれるのだが，それは「なぜ最近までその表現が無かったのか」と言うことだ。(1)も(2)もずっと昔から片仮名に備わってきた性質であるのに，それらが複合しただけの表現が生成されなかったのはかなり不思議だ。もっとも辞書には掲載されていないだけで昔からあるのかもしれないが。
（追記）
b:id:triggerhappysundaymorning様，出典ありますでしょうか。当方では見付かりませんでした。（高慢ちきな言い草になりすいません。あとID名が長すぎてリンクが効きません）
（追記2）
「アベ」や「フクシマ」はそれらが孕む確執が多すぎて荒れる原因になる（少なくとも僕は「フクシマ」に関して〝侮蔑〟の印象は受けない）と判断し例に挙げませんでした。が，もうすでに荒れ気味なので具体例に追加します。
（追記3）
かなり昔（一部ブコメによれば江戸時代から）そういう用法はあるみたいですね。ただ素人が読める文献がなかなかないのでは。片仮名の持つその他の意味（実体を把握しない憧れとか）について論じてる文章は見掛けるんだけどなァ……。
「お手並み拝見」とかキモいこと言われた増田だけど、さすがに「虚数は便宜上開発された」というのはやや言い過ぎな気がする。
数学で重要なのは構造やルールそのものであって、「二乗して-1になる数」とかいう具体的な実像はそれらから必要不可欠的に導かれたものに過ぎない。
「二乗して-1になる数を考えてみよう！」なんて全く数学的にロジカルな思考とは言えないと思うね。
関数には定義域や値域というものがあって、それは集合である。sqrtという関数を考えると、普通の初等関数と同じように定義域と値域をRとするとどうもうまくいかなさそうである。
定義域をRとするとR-のときに少なくともR上には値を持たないようだからだ（全射とか単射とかの概念もやっとくといいかもな）。
でも多くの関数と同じように、sqrtもR上で定義できる方法はないのか？
このくらいまでは持っていってようやく考えさせるフェーズに入るべきだろう。
もちろん答えは「値域をRからCに拡張する」であるわけだが、ではCという構造をwell-definedに決めるためにはどういうものが必要か？という話に当然なるわけで、それを表記的にきれいに表現できるのが虚数単位iという数(Cの元)の導入なわけだ。
i自体はC上の普通の演算に対してゼロ元や単位元になっているわけでもなく、別に何ら特別な性質を持った値ではない。いきなり「二乗して-1になる数を考えよう！」とか言い出すことのセンスのなさはここにある。
もちろん、「値域を拡張する」というアイデアについて考える段階では、「虚数単位という1パラメータを考えればいい」かどうかも明らかでないわけで、その過程でクォータニオンや外積代数みたいな構造にまで思い至る奴もいるかもしれない。
それがロジカルってことだろ。「二乗して-1になる数があるぞー！それになんの意味があるのかとか考えるな！とにかくそれを探し出せ！」とかいうのは全然ロジカルじゃない。ただのクイズ。
