  |
はてなキーワード: ベクトル空間とは
ここでいう「ユークリッド幾何学」とは、座標空間、ベクトル、三角関数、微分積分などの解析的手法を用いないいわゆる総合幾何学のことです(*1)。2020年8月現在の高校数学のカリキュラムでいえば、「数学A」の「図形の性質」に該当する分野です。
ユークリッド幾何学が不要だと思う理由は単純明快で、何の役にも立たないからです。大学に入って、「補助線を引いて、相似な三角形を作って～」とか「コンパスと定規による作図」みたいなパズルゲームをやることは絶対にありません(*2)。これは常識で考えても分かると思います。たとえば工学の研究で、ある物体の弧長や面積などを測定しなければならないとして、ユークリッド幾何学の補助線パズルが適用できる多角形や円などしか測れないのでは話になりません。一方、座標空間、ベクトル、三角関数、微分積分などの手法は一般的な現象を記述する上で必ず必要になります。
もちろん、たとえば三角比を定義するには、「三角形の内角の和は180度である」とか「2角が等しい三角形は相似である」といった初等幾何学の性質が必要になります。そのようなものを全て廃止せよと言っているわけではありません。しかし、高校1年生で習う余弦定理:
を証明してしまえば、原理的にはユークリッド幾何学の問題は解けます。それ以降は、ユークリッド幾何学的な手法や問題設定にこだわる必要はないと思いますし、実際それで問題ありません。
現状、少なくない時間がユークリッド幾何学に費やされています。数学の1単元を占めているだけではなく、その他の単元にもユークリッド幾何学の発想に影響された例や問題が多く登場します。たとえば、複素平面において4点の共円条件や垂直二等分線を求めさせる問題など。そして最も労費されているのは生徒の自習時間です。以前よりマシになったとはいえ、大学入試等には技巧的な図形問題が出題されるため、受験生はその対策に多大な時間を費やしています。
高校数学では以下のような事項が重要だと思います。ユークリッド幾何学を学ばせている時間があったら、このような分野を優先的に修められるようにすべきです。
これらの分野は数学の手法としても非常に強力ですし、大学以降で数学を学ぶ際、現実的な問題を数学や物理の問題として正確に記述する際に必ず必要になります。仮にユークリッド幾何学が何らかの場面で応用されるとしても、微分積分などと同レベルに重要だと真剣に主張する人っていらっしゃるでしょうか？
ユークリッド幾何学を初等教育で教えるべきだとする根拠には、大雑把に言って以下の4つがあると思います。
まず①は明らかにおかしいです。ユークリッド幾何学に限らず、数学のあらゆる命題は証明されるべきものだからです。高校の教科書を読めば、相加平均・相乗平均の不等式、点と平面の距離の公式、三角関数の加法定理、微分のライプニッツ則や部分積分の公式など、どれも証明されています。そもそも、数学の問題はすべて証明問題です。たとえば、関数の極値問題は、単に微分が0になる点を計算するだけではなく、そこが実際に極値であるかそうでないかを定義や既知の性質に基づいて示す必要があります。したがって、ユークリッド幾何学だけが特に証明の考え方を学ぶのに有効だという理由はありません。
②もおかしいです。図形問題を扱うのはユークリッド幾何学だけではないからです。ベクトルや微分積分でも図形問題を扱います。たとえば、三角形の5心の存在や、チェバの定理、メネラウスの定理などはベクトルを用いても容易に示すことができます。また言うまでもなく、曲線の接線は微分で求めることができ、面積や体積は積分で求めることができます。また、ユークリッド幾何学の手法は問題ごとに巧い補助線などを発見しなければいけないのに対し、解析的な手法は一般に方針が立てやすく汎用的です。したがって、図形問題を扱うのにユークリッド幾何学の手法にこだわる理由はありません。
③は単なる個人の思い込みであり、科学的な根拠はありません。そもそも、数学教育の目的は「地頭」などを鍛えることではなく、「大学や実社会において必要な数学の素養を身につけること」のはずです。また、これも上ふたつと同様に「ユークリッド幾何学以外の数学では、『数学的直観』などは鍛えられないのか」という疑問に答えられておらず、ユークリッド幾何学を特別視する理由になっていません。
④もおかしいです。そもそも「歴史的に重要である」ことと「初等教育で教えるべき」という主張には何の関係もありません。歴史的に重要ならば教えるというなら、古代バビロニア、インド、中国などの数学は特に扱わないのはなぜでしょうか。もっと言えば、文字式や＋－×÷などの算術記号が使われ始めたのでさえ、数学史的に見ればごく最近のことですが、昔はそれらを使わなかったからといって、今でもそれらを使わずに数学を記述するべき理由があるでしょうか。
数学で重要なのはその内容であるはずです。ユークリッド幾何学を擁護する論者は、「（表面的に）計算問題に見えるか、証明問題に見えるか」のようなところに価値を置いて、一方が数学教育的に有意疑だと見なしているようですが、そんな分類に意味は無いと思います。
大昔は代数の計算や方程式の解法（に対応するもの）は作図問題に帰着していたようですが、現代でそれと同様の手法を取るべき理由は全くありません。記述する内容が同じであれば、多項式や初等解析のような洗練された方法・重要な結果を導きやすい方法を用いればよいに決まっています（数学史家は別として）。同様に、ユークリッド幾何学も、解析的な手法で解ければそれでよく、技巧的な補助線パズルなどに興じたり、公理的な方法にこだわる必要はありません。
たとえば、放物線は直線と点からの距離が等しい点の軌跡として定義することもできますが、初等教育で重要なのは明らかに2次関数のグラフとして現れるものです。放物線を離心率や円錐の断面などを用いて導入したところで、結局やるのは二次関数の増減問題なのですから、最初から2次関数のグラフとして導入するのは理にかなっています。数学教育の題材は「計算問題か証明問題か」などではなく、このような観点で取捨選択すべきです。
三角比などを学んだあともユークリッド幾何学を教えたり、解析的な手法では煩雑になるがユークリッド幾何学の範疇ではエレガントに解けるような問題を出して受験生を脅したりするのは、意味が無いと思います。それは、「掛ける数」と「掛けられる数」を区別したり、中学で連立方程式を学ぶのに小学生に鶴亀算を教えるのと同様に、無駄なことをしていると思います。
----
(*1)
現代数学では、n次元ベクトル空間R^n = Re_1⊕...⊕Re_nに
(e_i, e_j) = δ_i,j (クロネッカーのデルタ)
で内積が定義される空間上の幾何学はすべてユークリッド幾何学に分類されます。したがって、上にあげた座標空間、ベクトル、微分積分、一次変換なども敢えて分類すればユークリッド幾何学です。しかし、ここではその意味でのユークリッド幾何学が不要と言っているのではありません。飽くまでも、技巧的な補助線問題や、公理的な方法にこだわることが不要だと言っています。
(*2)
数学科の専門課程で学ぶガロア理論では、コンパスと定規による作図可能性が論じられますが、これは「作図問題にガロア理論が応用できる」というだけであり、「ガロア理論を学ぶのに作図の知識が必要」というわけではありません。
一方は正しい数学の文章である。もしかしたら間違っているかも知れないが、少なくとも数学的に正しいか間違っているかが判定できる。
もう一方は完全に出鱈目な文章である。数学的に何の意味もない支離滅裂なものである。
本稿を通して、kは代数閉体とする。
i: [x: y] → [x^2: xy: y^2]
を考える。iの像は、ℙ^2の閉部分スキーム
Proj(k[X, Y, Z]/(Y^2 - XZ))
と同型であり、iはℙ^1のℙ^2への埋め込みになっている。ℙ^2の可逆層O_{ℙ^2}(1)のiによる引き戻しi^*(O_{ℙ^2}(1))は、ℙ^1の可逆層O_{ℙ^1}(2)である。つまり、O_{ℙ^1}(2)はℙ^1のℙ^2への埋め込みを定める。
与えられたスキームが射影空間に埋め込めるかどうかは、代数幾何学において重要な問題である。以下、可逆層と射影空間への射の関係について述べる。
定義:
Xをスキームとし、FをO_X加群の層とする。Fが大域切断で生成されるとは、{s_i∈H^0(X, F)}_{i∈I}が存在して、任意の点x∈Xに対して、ストークF_xがO_{X,x}加群としてs_{i,x}で生成されることである。
Xをk上のスキーム、LをX上の可逆層で大域切断で生成されるものとする。d + 1 = dim(H^0(X, L))とし、s_0, ..., s_dをH^0(X, L)の生成元とする。このとき、Xからk上の射影空間ℙ^dへの射fが
f: x → [s_0(x): ...: s_d(x)]
により定まり、ℙ^dの可逆層O_{ℙ^d}(1)のfによる引き戻しf^*(O_{ℙ^d}(1))はLになっている。この射が埋め込みになるとき、Lをベリーアンプルという。生成元の取り方に寄らない定義を述べると、以下のようになる。
定義:
Xをk上のスキーム、LをX上の可逆層とする。Lがベリーアンプルであるとは、k上の射影空間ℙ^dと埋め込みi: X → ℙ^dが存在して、L～i^*(O_{ℙ^d}(1))となることである。
例として、ℂ上の楕円曲線（種数1の非特異射影曲線）Eを考える。閉点p∈Eと自然数n≧1に対して、因子pに付随する可逆層O_{E}(np)={f∈K(E)| np + (f)≧0}を考える。Riemann-Rochの定理より、
dim(O_{E}(np)) - dim(O_{E}(K - np)) = deg(np) + 1 - g = n
∴ dim(O_{E}(np)) = n + dim(O_{E}(K - np))
であり、楕円曲線上の正則微分形式は零点も極も持たないから、すべてのnに対してdeg(K - np)＜0であり、よってdim(O_{E}(K - np))=0。
∴ dim(O_{E}(np)) = n
n = 1の場合、O_{E}(p)はベリーアンプルではない。n = 2の場合も、よく知られたように楕円曲線は射影直線には埋め込めないから、O_{E}(2p)もベリーアンプルではない。n≧3のとき、実はO_{E}(np)はベリーアンプルになる。
この例のように、Lはベリーアンプルではないが、自身との積を取って大域切断を増やしてやるとベリーアンプルになることがある。その場合、次元の高い射影空間に埋め込める。
定義:
Xをk上のスキーム、LをX上の可逆層とする。十分大きなnに対して、L^⊗nがベリーアンプルとなるとき、Lをアンプルであるという。
与えられた可逆層がアンプルであるか判定するのは、一般的に難しい問題である。アンプルかどうかの判定法としては、Cartan-Serre-Grothendieckによるコホモロジーを用いるものと、Nakai-Moishezonによる交点数を用いるものが有名である。
定理(Cartan-Serre-Grothendieck):
XをNoether環上固有なスキーム、LをX上の可逆層とする。Lがアンプルであるためには、X上の任意の連接層Fに対して、自然数n(F)が存在して、
i≧1、n≧n(F)ならば、H^i(X, F⊗L^⊗n) = 0
定理(Nakai-Moishezon):
Xをk上固有なスキーム、DをX上のCartier因子とする。可逆層O_{X}(D)がアンプルであるためには、Xの任意の1次元以上の既約部分多様体Yに対して、
D^dim(Y).Y＞0
kを体とし、Xをk上の代数多様体とする。Xに対して、環E(X)が以下のように定まる。E(X)は
E(X) = E_0⊕E_1⊕E_2⊕...
と分解し、各E_dはXのd次元部分多様体のホモトピー同値類からなるk上のベクトル空間であり、d次元部分多様体Yとe次元部分多様体Zに対して、[Y]∈E_d, [Z]∈E_eの積は、代数多様体の積の同値類[Y×Z]∈E_{d+e}である。この積は代表元Y, Zの取り方によらず定まる。各E_dの元のことを、d次元のサイクルと呼ぶ。
このE(X)をXのEuclid環という。Euclid環の名称は、Euclidによる最大公約数を求めるアルゴリズムに由来する。すなわち、任意のサイクル[Y], [Z]∈E(X) ([Z]≠0)に対して、あるサイクル[Q], [R]∈E(X)が一意的に存在して、
・[Y] = [Q×Z] + [R]
・dim(R)＜dim(Z)
が成り立つためである。ここで、[R] = 0となるとき、[Z]は[Y]の因子であるという。
dim(X) = nとする。d≧n+1を含むE_dを上述の積の定義により定める。すなわち、任意のサイクルz∈E_dは、Xのd次元部分多様体Zが存在してz = [Z]となっているか、d = e + fをみたすe, fと、[E]∈E_e、[F]∈E_fが存在して、z = [E×F]となっている。後者のように低次元のサイクルの積として得られないサイクルを、単純サイクルまたは新サイクルという。
このとき、k上の代数多様体X_∞で、任意の[Z]∈E(X)に対して、[X_∞×Z] = [X_∞]、[X_∞∩Z] = [Z]∈E(X)となるものが存在する。このX_∞をXの普遍代数多様体と呼び、E~(X) = E((X))⊕k[X_∞]をE(X)の完備化または完備Euclid環という（ただし、E((X)) = {Σ[d=0,∞]z_d| z_d∈E_d}）。完備Euclid環の著しい性質は、Fourier級数展開ができることである。
定理:
各dに対して、単純サイクルからなる基底{b_{d, 1}, ..., b_{d, n(d)}}⊂E_dが存在して、任意のf∈E~(X)は
f = Σ[d=0,∞]Σ[k=1,n(d)]a_{d, k}b_{d, k}
と表される。ただし、a_{d, k}はHilbert-Poincaré内積(f = [Z], b_{d, k})=∫_{b}ω^d_{X_∞}∧[Z]で与えられるkの元である。
Xとしてk上の代数群、つまり代数多様体であり群でもあるものを考える。このとき、Xの群法則はX×XからXへの有理写像になるから、完備Euclid環上の線形作用素を誘導する。この作用素に関しては、次の定理が重要である。
定理(Hilbert):
Xがコンパクトな代数群であれば、完備Euclid環に誘導された線形作用素は有界作用素である。
以下の定理は、スペクトル分解により単純サイクルによる基底が得られることを主要している。
定理(Hilbert):
集合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に対応する。
和田秀樹らによるいわゆる「暗記数学」の要点をまとめると、以下のようになるだろう。
これは従来、数学の入試問題を解くのに必要なのが曖昧模糊とした「ひらめき」や「才能」だと思われていたことへのアンチテーゼである。「暗記」という語はその対比であり、特別な才能がなくとも、基礎事項を確実に習得することで、入試を通過できる程度の数学力は身に付くことを主張している。
そもそも、大学入試は大学で研究をする上で重要な知識や考え方の理解度を問うているわけであって、徒な難問を出して受験生を試しているわけではない。したがって、そのような重要事項（つまり、教科書の基礎事項や、数学を活用する上で頻繁に出てくるような考え方）を身に付けるのが正攻法である。
そのための教材としては、エレガントな別解や難問に拘ったものよりも、基礎事項や入試頻出の問題を網羅したスタンダードなものが良いとされる。
これはいわゆる解法暗記である。なぜ、具体的な実例を学ぶのかと言えば。数学に限らず、具体的な経験と関連付けられていない知識は理解できないためである。
実際、教科書を読んだばかりの人の多くは、自身の知識と入試問題との間にギャップを感じる。たとえば、ベクトルの内積の定義や線形性等の性質を知っただけでは、それを幾何学の問題に応用するのは難しいだろう。教科書を読んだばかりの段階というのは、将棋で喩えれば駒の動かし方を覚えただけのようなもので、実戦で勝つのは難しい。実戦で勝つには、定跡や手筋のような、ルールだけからは直ちに明らかではない、駒の活用法を身に着ける必要がある。
将棋の定跡を初心者が独自に発見するのが難しいのと同様に、数学の自明でない実例を見出すことも難しい。そのほとんどは歴代の数学者が生涯をかけて究明してきたものなのだから、当然である。しかし、現代の高校生には既に教科書や入試問題がある。特に入試問題は、数学の専門家が選りすぐった、良質な実例の宝庫である。受験生はこれを通じて数学概念の活用のされ方や、論理の展開等を深く理解するべきである。
そしてこれは、大学以降で数学や工学を学ぶ際も同様である。特に、大学以降の数学では、抽象的な概念が中心になるため、ほとんどの大学教員は、具体的な実例を通じて理解しているかを非常に重んじる。たとえば、セミナーや大学院入試等では、以下のような質問が頻繁になされる。
教科書の記述や、解いた問題は完全に理解すべきである。つまり、
といったことを徹底的に自問するべきである。自分の理解が絶対に正しいと確信し、それに関して何を聞かれても答えられる状態にならなければいけない。「微分で極値が求まる理屈は分からない（或いは、分からないという自覚さえない）が、極値問題だからとりあえず微分してみる」というような勉強は良くない。
そして、理解できたと思ったら、教科書の一節や問題の解答を何も見ずに再現してみる。これはもちろん、一字一句を暗記するということではなく、上に書いたような知識が有機的な繋がりを持って理解できているのかを確認することである。ある事実が、どのような性質を前提としていて、どのように示されるのかという数学のストーリーを理解していれば、何も見ずともスラスラ書けるはずだ。
また、問題を解く際は、いきなり答えを見るのではなく、一通り自分で解答を試みてから解答を見ることが好ましい。実際に手を動かすことにより、分かっている部分とそうでない部分が明確になるからである。
以上のことは、何も受験数学に限った話ではない。他の科目でも、社会に出て自分で調べたり考えたりしたことを他人に発表するときでも同様である。
要するに、数学の専門知識と社会的常識のある人は暗記数学に賛成しているようだ。
逆に、反対している人。
反対しているのは、金儲けが目的で目立つことを言っているか、何かをこじらせて勉強法に無駄な拘りを持っている人たちのようだ。
----
思うに、アンチ暗記数学派というのは、精神の根底に以下のような考えを持っているのではないのだろうか？
一部の人は、大学入試では「ひらめき」「発想力」「頭の柔らかさ」「地頭の良さ」などを試すために敢えて典型的ではない問題を出しているとか、「天才」を発掘するために常人には解けないような難問を出題していると思っているのかも知れない。しかし、先にも述べたように、大学入試は、大学に入って研究するための基礎学力を測っており、入試問題は、そこで問われている知識や考え方が重要だから出題されるわけである。したがって、そういう重要な知識や考え方を十分に身に着けていれば受かる。ただそれだけの話である。そして、良識ある教育者は、数学で重要なところが分かっているから、それに基づいて教材や予想問題を作っている。そうでない人はもしかしたら、大学が普通の受験生には解けないように徒に問題を複雑にしていると思い込み、ひねくれた問題を教えているのかも知れない。
また、「数学自体は重要ではなく、数学を通じて思考力を鍛えることが重要」とか「受験勉強は社会に出て嫌な仕事を我慢するための訓練」等と思っている人もいるかも知れない。特に前者は、自称数学好きにもいるようだ。しかし、深く考えるまでもなく、大学受験に数学が課せられるのは、大学で研究するために（少なくとも、教員が望む水準で）絶対に必要だからである。そして何度も言うように、入試で問われるのは、研究のために必要な知識や考え方であり、「頭の柔らかさ」などではない。また、数学をそれほど使わない学部にも、受験に数学が課せられるのは、多くの大学には転部等の制度があり、文学部から経済学部とか、農学部から工学部に転部するような事例は珍しくないからである。
上記2つに共通するのは、「理解」よりも「ひらめき」等のオカルティックなものを重視することである。これは、上に述べた胡散臭い教育業者や、受験生に絡んでる学歴コンプが暗記数学に反対する理由と符合する。金儲けがしたい受験業者にとって、「基礎を確実に理解することが重要」と言うよりも「入試本番に典型問題は出ないから、ひらめきが大事（。そして、ウチの教材を使えば、それが鍛えられる）」などと言った方が、客は集まりやすいだろう。また、SNS等で受験生や教員などに絡んでる奴にしても、数学の本質が理解できず霊感的なものに価値を見出しておかしな勉強理論にかぶれてしまったと考えれば納得がいく。
きみ数学あんま使ってないんでしょ。
可換性の話をするとき、普通は交換子[a,b]=ab-baを導入するが、
それに対するある種の双対として反交換子{a,b}=ab+baが自然に入る。
別に反交換関係{a,b}=0が成り立つものを可換であるとして議論してもいいわけ。
そういう発想からすると普通非可換の典型的な例として外積はでてこない。
ちょっと何を言いたいのか理解できない。
別にベクトルも行列も単なる代数構造であって本質は記法ではなくその上に定義された演算ルールだよ。
その通り（何度も言うけど勘で書いてるので微妙に間違ってるかもしれない。本質的には外してないと思うけど…）。
そこが分かれば後のことは数学的詳細なので実装上は気にしなくてもいいと思う。
基底のところは正直かなり説明をはしょったので（少なくともベクトル空間についてよく知っていることを仮定した）、
わからなくても無理は無いと思う。
これは完全にその通り。これが理解できるというのはかなり凄いと思います。
「操作」というのはその平面上で点を動かすことに対応していて、動かし方は無限にあるわけだけど、それらをどう表現できるかという話。
ここで言った「回転」というのは、「基底ベクトルの組を任意に回転（ユニタリー変換）してもやはり基底ベクトルの組になる」というような意味で、
具体的には2次元基底ベクトル(1,0)と(0,1)を45度回転した1/sqrt(2) (1,1)と1/sqrt(2) (-1,1)もまた基底ベクトルとみなせるというようなこと。
ここでは「ベクトル」はさっきの「立体を表す点を指すベクトル」ではなく「操作」そのもののことなので、「基底操作」についてそういうような
厳密には「操作」自体はベクトル空間を構成しなくて、もっと広い（制約が緩い）概念であるところの群を構成する。
「基底操作」というのは群論の言葉で言うと生成元のことで、全体の群を構成する生成元の取り方が複数あるということ。
まぁいずれにせよあんま気にしなくていいと思う。
個人的には、とにかく実装してしまうパワーが弱い方なので、実装力高い人はうらやましい。
CG系はほとんど知らないからそれだけじゃ何が問題になってるのかわからん。
とりあえずそのsubdivという操作の定義（あるいは仕様）があるはずなので、それを丹念に追うしかないんじゃない？
原理的にあり得る立体（1次元、2次元も含む）分割を全て網羅しているかもしれないし、制限があるかもしれない。
以下は勘で一般論を話すよ。
http://www.den.rcast.u-tokyo.ac.jp/~suzuki/class/dcomputing/doc/solidcad.pdf
の35ページに、（拡張）オイラー操作は空間の基底を構成すると書いてある。
基底というのはベクトル空間の線形独立なベクトルの集まり（3次元ならe_x, e_y, e_zとか）で、
イメージとしては何らかの意味での「最小構成要素」と思えばよい。
ここでは「立体を分割する」という操作の基底（最小構成要素）を構成できるか、という話で、
簡単のために、拡張なしのオイラーの公式v-e+f=2で考えると、位相的に正しい立体は全てこの公式を満たすわけで、
逆に、（位相的に区別できない）立体を(v,e,f)の3要素で識別できるということだろう（たぶん。証明はしてない）。
そうすると、「立体に(subdivなどの)何らかの操作を加えて別の立体を作る」という操作は、(v,e,f)の値を変更する
という意味になるわけだ。
そのような操作は明らかに「vを1増やす操作」、「eを1増やす操作」、「fを1増やす操作」の組み合わせとして表現できる。
これが「操作の基底」だ。
しかし、操作は必ずオイラーの公式を満たすように実行しなければならないので、基底は3つではなく2つになる。
(3次元空間に拘束が一つ入って平面(2次元多様体)になるようなもん)
つまり、2つの基底操作を実装すれば、他の任意の操作はその組み合わせとして実行できるようになるということ。
基底は任意に回転してよいので、上記資料の35ページでは各基底は「単一の要素を1増やす操作」にはなっていない。
これは物理的に自然な操作が必ずしも「単一の要素を1増やす操作」ではないからだろうね。
というわけでともかく「基底操作を実装しろ」ということだろう。
組み合わせの「マクロ操作」としてどういうものを用意するかはCADソフトなりの定石があるだろう。
例えば、JavaとかRubyとかVBとかPHPとか、そういう種類の言語一種類しか使えないプログラマがいたらどう思う？あまり難しい仕事任せられないって思わない？
古典が読めるってことはまったく評価にならんだろ。プログラマとしては。
無論、最低限の英語力は必須だし、英語力は高ければ高いほどいいが。
最低限、Cとかアセンブラとかできるだけ低レベルに近い言語はある程度使えてほしいし、できればLispみたいな関数型言語とかOSやコンパイラの理論とか、そういうのを知識としてだけでもいいから知っておいてほしいと思うよね？
そんなの情報系の基礎教養だ。微積分学や古典を勉強するよりははるかに楽だし。
だったらどうして、古文や漢文の勉強が自分には意味ないって思うかなあ？日本語で文章を書くのは、仕事上の重要なスキルでしょ。まずその前提がよくわからない。
ビジネス定型文書くのにはもちろん、企画書や仕様書や技術書を書くのにも、古典や漢文の知識なんぞ必要ないだろ。
別に古典教育がどうなろうが観光ビジネスの改革にはならんだろうに。
日本文学についてはそうかもな。でも、当の近代文学もろくに読んでない奴が、下敷きにだけ手出しても意味ないだろ。まずそっちが先じゃないかな。
それとさー、どうしてあれを教えたらこれを教えるのやめろって話になるわけ？両方教えたらいいだけじゃないの。ただでさえゆとり教育なんだからさ。
教育を強化するなら数学優先にすべきだな。あと英語の強化かな。古典なんか最後でいいよ。
それは単なる君の不勉強でしょ。高校までで役に立つこと勉強したいんだったら高専とか工業高校に行くべきなんだし。普通高校ってのはジェネラリストを育成するところなんだからね。
それに、君はたまたま高校で習った行列計算だけで用が足りてるのかもしれないけど、行列の計算だけできても普通は何の役にも立たない。
足りてるわけねーだろ。仕事やりながら勉強してるような状態だよ。これが、高校でやってなきゃ偏微分とかと同レベルの理解度でしかなかったんだと思うとゾッとするね。基礎だけでも仕込まれててよかった。
というか、固有値やベクトル空間を理解せずにどうやって大学を卒業できたんだ？力学も振動論も微分方程式も統計学も信号処理も量子力学も、何一つ理解できないでしょ、それじゃ。
数学系でも電子工学系でもねーもん。適当に試験前の一夜漬けで切り抜けてた。終わったら速攻忘れた。あと量子力学なんか何に使うんだよプログラマが。
信号処理は真面目にやっときゃよかったなとちょっと思うね。今んとこクリティカルにそういうもんが必要になる仕事はやってないが。
俺が思ってるものと比べてるんじゃない。「古典と」比べてんだよ。ちゃんと答えろ。
なんだ、君、プログラマーだったのか。だったら話が早い。
例えば、JavaとかRubyとかVBとかPHPとか、そういう種類の言語一種類しか使えないプログラマがいたらどう思う？あまり難しい仕事任せられないって思わない？最低限、Cとかアセンブラとかできるだけ低レベルに近い言語はある程度使えてほしいし、できればLispみたいな関数型言語とかOSやコンパイラの理論とか、そういうのを知識としてだけでもいいから知っておいてほしいと思うよね？
だったらどうして、古文や漢文の勉強が自分には意味ないって思うかなあ？日本語で文章を書くのは、仕事上の重要なスキルでしょ。まずその前提がよくわからない。
別に「新たに」なんて言ってないけど。ただし、資源ってのはメンテナンス要員が必要なんよね。現在の教育は、その中から一握りの専門家とそこそこ多くのファンを再生産する役目は果たしてると思うけどな。
あと、日本の観光ビジネスはまだ産業として未熟だよ。ヨーロッパ行ってみるとわかるけど、日本の観光ビジネスは横のつながりが弱くて商売がヘタクソ。たとえば厳島神社なんて世界遺産になってるのに、宝物殿では大した物展示されてないし、宮島にある飲食店はろくなお店がない。
劣るとも思わないけどね。ただね、現代文学は古典文学を下敷きにしてたりするから両方読めると楽しいことは知っておいた方がいいだろうね。
あと、古文とか漢文ってのは現代文と読み書きや文法の体系が少しだけだけど違うから、文法ぐらい教えておかないと、興味を持った人があとで独学たって難しくなってしまうことは理解できるよね。いまの高校の教育はそういう目的で文法だけを中心に教えてるようなもんだよ。
それとさー、どうしてあれを教えたらこれを教えるのやめろって話になるわけ？両方教えたらいいだけじゃないの。ただでさえゆとり教育なんだからさ。たとえば俺は高校時代理科と社会を全科目履修したし、数学も数III数Cまでやったし、古文や漢文だったら例えば岩波文庫の注釈付きなんかで訳なしで読めるよ。
俺も理系人間で、たいして出来がよくなかったから思うんだが、行列は大学入試という重しがある高校生の間にある程度慣れておくべきものだ。
大学で習った偏微分とか周回積分とかいっこも覚えてない俺でも行列演算は一通り出来るし、プログラミングとかで使えるのは、高校でみっちりやったからだよ。
それは単なる君の不勉強でしょ。高校までで役に立つこと勉強したいんだったら高専とか工業高校に行くべきなんだし。普通高校ってのはジェネラリストを育成するところなんだからね。
それに、君はたまたま高校で習った行列計算だけで用が足りてるのかもしれないけど、行列の計算だけできても普通は何の役にも立たない。それに、大学の線型代数やったんなら、高校でやるレベルの話なんて子供だましもいいところだってわかるでしょ。
というか、固有値やベクトル空間を理解せずにどうやって大学を卒業できたんだ？力学も振動論も微分方程式も統計学も信号処理も量子力学も、何一つ理解できないでしょ、それじゃ。
行列と比べてどうなんだと聞いてるんだが。
だから、本来比べるのがおかしいし比べられないと書いたんだが。
ただし、君が思ってるほど高校の行列計算は一般には役に立たないし、観光は大きな産業になり得る。理由は上に書いたとおり。
そりゃ基礎技術力が高く工業力が強いほうが観光立国よりずっといいだろ。
