*数学 [#b0873c02]
やはりプログラミングに数学はつき物です。ここではよく使われる数学について簡単に解説します。
#contents

**数学の考え方 [#g056c4e8]
プログラムで「函数(function)」って云うよね。数学で扱う函数から見れば異質としか言いようが無いけど、しかし、やはり函数は函数なのです。では、函数とはなんぞや。

ところで数学(者)は、厳密な論理を重視し、高度な抽象化を行い、命題を導くことを目的とします。一見堅苦しい作業に思えるのですが、厳密に且つ抽象的に処理を行うことが、驚異的柔軟性を導いてくれます。譬えば「線型接続」の素晴らしさは、柔軟さゆえの事でしょう。

つまり、函数を抽象化してやると、「任意の値に関する答えを返してくれる処理」とも考えられるわけで、プログラムの処理も「函数」に該当するわけ。これもまあ柔軟と云えばそう。

プログラムだと、動けばいいやと思ってしまえば、動画変換のプログラムは何でもいいことになる。でも実際はそうじゃない、なるべく効率的で高速な物を考え、実現する。プログラムと同じように、数学にも効率化する方法がある。結論として、数学における効率化は「厳密な論理」と「抽象化」と僅かばかりの発明からくる「柔軟性」であって、何が云いたいかと云うと、「何でこんなことイチイチ確認するんだ」と謂う場合、そこに驚くべき本質があるからだと思って欲しいので、毛嫌いせずに見てやって欲しいと謂う事です。

**数学的表記例について [#y707e98d]
Wikipedia の数学記事とかみてると、表記に圧倒される。さっぱりわからない。そのことは論理式や集合論の表記に起因してるような気がする。特別な表記法は、その分野を学ぼうと志せば、意識せずとも真っ先に確認するだろうし、導入部分にも注意されてるけど、共通語になってる部分はそうでもない。また、(些か方言的ではあるが)略記が成されることもあるので、留意されたい。

-∞:無限大を表す記号
-A ∽ B:A は B に相似
-A ~ B:A ∽ B に同じ
-A ∝ B:A は B に比例
-A = B:A は B に等しい
-A ≠ B:A = B の否定
-A ≒ B:A は B に近似
-A ≃ B:A ≒ B に同じ
-A ≡ B:A は B と合同
-A ≢ B:A ≡ B の否定

結構断り無く使用される演算子とか。「∥(平行)」「⊥(垂直)」「∴(結論;故に)」「∵(理由・根拠;〜から、なので)」とかは問題ないですかね。

後ですね、「∮」とかどうでしょう。「∮」は積分記号「∫」の一種で、周回積分(閉路積分/経路積分)と謂う概念を表します。しかるべき場所で確認されると良いかと。

***論理式 [#y48a5955]
-かつ
-または

列挙してある条件で、「P,Q,R」とあると、「かつ」か「または」かを見極める必要があったりする。とくに解説なし

-P ⇒ Q:命題 P が成立すれば、命題 Q が成立
-P ⇔ Q:P ⇒ Q かつ Q ⇒ P

十分条件と必要十分条件って奴。「⇔」は命題における等号ともとれる。

-∧:論理積(かつ)
-∨:論理和(または)
-¬:否定
-∀:全称記号;全称量化を表す
-∃:存在記号;存在量化を表す

最初は兎も角、最後二つは悪名高い概念かと。「∈」と「R」を先に確認しているとして、「∀」「∃」の例を挙げてみます。

「∀x」は「任意のxについて(for any x)」と謂う意味。「∀x ∈ R ⇒ x の二乗は0以上」のように書く。意味は「任意の実数があるならば、その二乗は0以上である」。

「∃x」は「ある x が存在して」と謂う意味。「∃x ∈ R, f(x) < 0」のように書く。意味は「f(x) < 0 を満たす実数 x が存在する」。

これらは「述語論理」と呼ばれる式で、奥が深いの調べてみるがヨロシ。ちなみに「命題」を中心とした論理は「命題論理」と謂って、高校で扱ってる論理学的な問題はだいたいこれ。

***集合論 [#fcf1a64f]
集合(set)は大文字で書き、集合を構成する要素は元(ゲン;element)と謂い小文字で書く。集合は元のあつまりであって、元の数は集合によって任意である。集合の性質は群論や環論などにも拡張される。

-R:実数集合(Real Number)
-Z:整数集合(ドイツ語 Zahlen)
-N:自然数集合(Natural Number)
-P:素数集合(Prime Number)
-Q:有理数集合(Quotient)
-C:複素数集合(Complex Number)
-H:四元数集合(Hamilton Number)
-A:代数的数集合(Algebraic Number)

暗黙的に利用される集合に上の例がある(P 以降はオマケ)。区別のために二重線や「Fraktur/Black letter(ドイツ文字)」にすることもある。忘れてしまっても文脈でわかることもあるぞ。

-a ∈ M:a は集合 M の元。
-a ∉ M:a ∈ M の否定

「a ∈ R」と書けば、a は実数集合 R の元であり、つまり a は実数であることを表す。
「a ∈ R」と書けば、a は実数集合 R の元であり、つまり a は実数であることを表す。ちなみに「∈」は「a ἐστί R(a は R なり)」の「Ε・ε(έψιλον;epsilon;イプシロン)」に由来する。

-{a1, a2, …, am}:a1からamまでの元で構成される集合
-{a;P}:条件 P を満たす全ての元 a の集合
-{(a,b);P,Q}:条件 P,Q を満たす全ての元 (a,b) の集合

A = {1,2,3} と B = {7,8,9} の直積集合(後述)を M = {(a,b); a ∈ A, b ∈ B} とすれば、集合 M は (1,7) 等の元を持ちます。

-M ⊂ N:M は N の部分集合;a ∈ M ⇒ a ∈ N
-M ⊄ N:M ⊂ N の否定。
-M ⊊ N:M は N の真部分集合;M ⊂ N かつ M ≠ N

集合の大小のような事(包含関係)を比較して表した物です。部分集合は一致する可能性もあります。

-M ∩ N:M, N の積集合;{a; a ∈ M かつ a ∈ N}
-M ∪ N:M, N の和集合;{a; a ∈ M または a ∈ N}
-M × N:M, N の直積集合;{(a,b); a ∈ M, b ∈ N}
-M + N:M, N の直和集合;{a; a ∈ M または a ∈ N}
-Σ:直和集合記号
-Π:直積集合記号
-∅:空集合;元を有さない集合

集合の演算です。新たな集合を作ります。直和集合は和集合と同じですが、積集合が空集合であることが暗黙に諒解されます。「M = {1,3,8}, N = {2,5,9,17}」なら「M ∩ N = ∅」ですね。集合の演算は他にもありますが割愛(差集合/補集合/冪集合/商集合 etc.)。

***他には何か無いの? [#w2661249]
これ以上は専門的というか、分野が偏ることになる(もう十分偏ってるかもしれん? それはスマン)。何にせよ、数式の意味が分からないと、理解以前の問題なので、表記例についてはしっかりと確認すべきです。参考書や教科書のページは飛ばさずに読まないと、酷い目に合い兼ねない。

で、これで専門書や Wikipedia の式は読めますかと訊かれると、答えに窮する。ガンバッテネとしか言いようが無い。

**算術の重要性 [#yf153f91]
初等的算術としては四則演算が有名ですが、四則演算にも證明が存在したりする。

数学的な解釈を挟み込んでやるとすれば、人が普段扱う程度の大きさの数ではたしかに四則演算は成立するかもしれないが、「数」を厳密に定義して「四則演算」が可能であることを示してやらないと、「全ての数」で四則演算が成立するという證明にはならないわけ。

まあこれは数論の世界のお話だったりするわけですが、「四則演算」の対象である「数」には「代数」も入ります。「代数」は、それこそ数学的概念の任意の物であって、「行列」を「数」と看做して「代数」とすれば、「四則演算」が必ずしも成立するとは限りませんね。

「行列」を「数」とした例をみてもわかるように、算術を丁寧に證明してやることはとても大事な事なのです。教科書には、それが自明であるとしても、「結合法則」だの「分配法則」だの無駄に書いてあるわけではないので、それらの法則を「この算術は安全である」と證明してくれた偉大なる数学者達に、たまには感謝してあげて欲しい。

**函数のあれこれ [#d33f658f]
exp 函数とか、冪(指数函数)をわざわざ函数で表す事がある。このようにして、函数はたくさん定義できる。

与えられた数 x より1大きいだけ大きい数 y を示す函数 y = f(x) = x + 1 だって立派な函数だ。これを ore function とでも呼んで、略して o(x) で表すゾと謂う諒解を取り付けてやると、数式を並べて書くうちに、ore(1) と自分で定義した函数が使える(!)わけ。特に函数を定義することが有用であるなら定義されるのであって、一般的に好き放題な略称や略記を導入することはない。

***モジュラー函数と数論のお話 [#u94a3fb7]
譬えば、四則演算を拡張して、余りを考える算術を導入する。mod 函数(modular function)だ。C言語では「%」などの記号でこれを表すけど、mod 函数の影響もあってか、こんなものまであるわけ。

数学における表記「p (mod q)」は「p は q を法として」一般的には読め、意味は「p を q で割ると」程度のもの。「r ≡ p (mod q)」は「p は q を法として r と合同」と読め、意味は「p と r は、q で割った余りが同じである」と謂う意味になる。これを剰余系に合同であると謂い、mod 函数の式は「合同式」とよばれる。

p を q で割った時の余りは、0以上q未満の整数であって、p をこの余りで分類してやると、q 箇の集合を考えることができる。この集合を剰余系と謂い、合同であるとは、余りを同じくする集合と合同であることを表す。

とまあ、ザックリするつもりが、随分堅苦しい説明になったけど、詳しくは数論を見て貰うとして、合同式の具体例を挙げてみると「23 ≡ 51 (mod 7)」と表現できたりする。

これらモジュラー函数に関しての、数論の他分野応用はあり得ないとされた為に、その手の研究はあまり進んでないけれど、昨今では暗号技術等に関する数論の応用があって、注目されてたりする。たとえばRSA暗号では素数と余りの関係を用いた式が暗号復号化を表し、その理論は合同式で證明される。

モジュラー函数は、日本人によって、楕円方程式の関連が予想されていた。氏の名前を取り''谷山・志村の定理''と謂うけれど、その定理の證明は、フェルマーの最終定理を導いたアンドリュー・ワイルズによってなされた。フェルマーの最終定理事体が難解な(しかしその式は平易な)数論の問題であったけれども、その問題の本質は、楕円方程式とモジュラー函数に密接な関係を持つものだった。ワイルズは楕円方程式とモジュラー函数を超越した。

最近では楕円方程式による暗号も盛んである。楕円曲線暗号って奴だ。これはRSA暗号がモジュラー函数による暗号であることを考えれば、ワイルズの證明を以て、楕円曲線でも暗号が利用可能であるとわかる。暗号を技術を学びたい人は、数論を学んで損は無いでしょう。

**数学の発展に寄与したもの [#h9e73948]
-飽くなき挑戦
-自然科学等外部からの要請
-数学的良問かつ未解決問題
-解法考案に際する新たな分野の開拓

近代における歴史的経緯を振り返ってみると、その要因は多くある。突飛な函数や概念、手法が、数学にとって革命的であったことは数知れない。恐らくは現代数学でさえまだ未発達なのであって、数学と謂う学問の輪廓は、私如きには見えもしない。

リーマン予想と「数論的量子カオス」。聞いただけでゾクゾクするね。

**分割して書いてあるもの [#h8ddb04c]
-[[三角関数]]:ラジアン等々。円函数。
-[[複素数]]
-[[ベクトル]]・[[行列]]:線型代数学。画像処理とか3Dの座標変換等々いろいろ使います。
-[[解析学(微分・積分)>解析学]]
-[[数列]]
-[[論理代数]]

加筆募集中。

**書いてほしいもの [#n55b2581]
-アフィン変換
-四元数
-フーリエ変換(いらない?)(いや、いりますwww)

*集合論 [#y2ef38b5]
総和や総乗を表す表記、その函数を解説します。各項目では既知として利用されるので、注意して下さい。それ以上の集合論に関する記述があるとすれば、「論理代数」とかかな。

註:抽象代数学的な考えでは、体(field)や群(group)や環(ring)なる集合を考えたりして、代数を見つめ直す作業を行います。以下に記す事は、そういった作業をやらない限りにおいて、ただの算術的記法の一例であるとしか思えないことでしょう。

**総和 [#t8aae2f1]
総和(summation)とは、有限箇な任意の数が与えられたとき、その全ての和を求めること。所謂 Excel の Sum 函数ですな。有限箇と断ってはいるが、時には無限箇の総和(無限級数)を考える必要があって、その和が求まるのは特別の場合です(後述)。

一般にこのような総和表現を級数(series)と謂い、有限級数と無限級数に分かれます。ここでは有限箇な有限級数を中心にしましょう。また初等的な級数を扱う数学B では、等差数列・等比数列の一般解を扱う物が多いので、等差級数や等比級数など呼ばれます。展開の仕方ではその二つで分類しました。

***表記と定義 [#be6a21af]
#mimetex(\sum_{i=1}^n x_i = x_1 + x_2 + \cdots + x_n);

ギリシア文字の「∑・σ(σίγμα;sigma;シグマ)」は、ラテン文字の「s」に転写される文字で、ラテン文字の「S」の由来となった物です。一般に summation の s を表すと考えられます。以後、総和記号とでも呼びましょう。

#mimetex(X = \{x_1,x_2,\cdots,x_n\});

総和記号の意味を「集合 X の n 箇の元における総和」として考えてみましょう。先づ総和記号における添字の i は、index の i と解されるのが一般的で、元の添数であり且つ順序を表す物であり、i が満たす条件は集合 X に依存します。

何だかややこしいので、逆に最初に示した総和記号から見てみると、「i は 1 から n まで」と表記されると読みます(この事に関して暗黙的に n は自然数であり、i もまた自然数であると諒解される)。また i が満たすべき条件は &mimetex(\sum_{1 \le i \le n} x_i); のようにも記述されることがありますが、書いてある内容は上掲の物に同じです。

何だか for loop のような制禦構造に似て居ますね。

***展開の具体例 [#c0bc1bb5]
#mimetex(\sum_{n=1}^5 2n = 2\times 1 + 2\times 2 + 2\times 3 + 2\times 4 + 2\times 5);

展開するとこんな感じです。プログラムで書くと以下のようになります。

 int i, sum=0;
 for(i=1; i<=5; i++)
  sum += 2*i;
 
 return sum;

勿論、数B の数列をやればわかるけれど、展開を一般化した解も存在することがある。

***演算と性質 [#zc8613d2]
総和が干渉するのはその項数のみ。従って次の計算ができる。

#mimetex(){{
\begin{array}
m \times \sum_{k=1}^n a_k & = & \sum_{k=1}^n m \times a_k \\
\sum_{k=1}^n (a_k + b_k) & = & \sum_{k=1}^n a_k + \sum_{k=1}^n b_k
\end{array}
}}

当り前と言えば当り前。したがって次の変換には要注意である。&mimetex(\sum_{k=1}^n n \times k = n \times \sum_{k=1}^n k);~
なおこの変換とこの式とを区別すること。&mimetex(\sum_{k=1}^n k^2);

***等差級数の展開 [#d89c3e1f]
#mimetex(\sum_{k=1}^n C = nC,\ \sum_{k=1}^n k = \frac{1}{2}n(n+1),\\ \sum_{k=1}^n k^2 = \frac{1}{6}n(n+1)(2n+1),\\ \sum_{k=1}^n k^3 = \frac{1}{4}n^2(n+1)^2);

定数項は説明するまでもありませんが、単純な n 次な項は、上に示すような解が知られている。この證明はそんなにむづかしいわけではないが、次数が増すと證明が面倒になる。證明例として四次の場合を考えます。

#mimetex((n+1)^5 - n^5 = 5n^4 + 10n^3 + 10n^2 + 5n + 1);

と変形でき、

#mimetex(\sum_{k=1}^n \{(k+1)^5 - k^5\} = (2^5 - 1^5) + (3^5 - 2^5) + \cdots + \{(n+1)^5 - n^5\} = (n+1)^5 - 1);

と級数を展開できるので、以上の操作と &mimetex(p(n) = q(n) \Rightarrow \sum_{i}p(i) = \sum_{i}q(i)); を利用して、

#mimetex(\sum_{k=1}^n \{(k+1)^5 - k^5\} = \sum_{k=1}^n (5n^4 + 10n^3 + 10n^2 + 5n + 1)\\\ \ \ \ \ \ \ \ \ \ \ \ (n+1)^5 - 1 = \sum_{k=1}^n (5n^4 + 10n^3 + 10n^2 + 5n + 1));

更に整理を進めると、

#mimetex((n+1)^5 - 1 = 5\sum_{k=1}^{n} n^4 + 10\sum_{k=1}^{n} n^3 + 10\sum_{k=1}^{n} n^2 + 5\sum_{k=1}^{n} n + \sum_{k=1}^{n} 1\\ \sum_{k=1}^{n} n^4 = \frac{(n+1)^5 - 1}{5} - \{2\sum_{k=1}^{n} n^3 + 2\sum_{k=1}^{n} n^2 + \sum_{k=1}^{n} n + \frac{1}{5}\sum_{k=1}^{n} 1\});

三次以下の展開が一般化されていれば、答えが求まるとわかります。ちなみにこの次数での答えは、

#mimetex(\sum_{k=1}^n k^4 = \frac{1}{30}n(n+1)(2n+1)(3n^2+3n-1));

であり、三次や二次や一次も同様の手段で順番に證明でき、逆に次数が高い場合も順番に降下することで一般解を得られる。このことは二項定理から明らかですね。

***等比級数の展開 [#x52080f7]
#mimetex(\sum_{k=m}^n r^k = \frac{r^{n - m + 1} - 1}{r^m - 1},\ \sum_{k=1}^n r^k = \frac{r^n - 1}{r - 1});

分母の「n - m + 1」は級数の項数で、分子の「m」は級数の初項を表す数。證明略。そのうち書く。

***無限級数 [#jca716e2]
総和する項数を無限箇にまで拡張した級数のこと。ハハハそんなの求まりっこないよ、とおもうかもしれないけれど、これは求まることがある。数Ⅲの極限をやりたまえ。

***区分求積法 [#e78820df]
とくに説明はしないけど、

#mimetex(\lim_{n \to \infty} \frac{1}{n} \sum_{k = 1}^n f(\frac{k}{n}) = \int_{0}^{1} f(x) dx);

と謂うような算出法も知られる。無限級数でどうしようもない奴はこうすれば求まるかもしれない([[解析学]]参照)。

***ゼータ函数 [#n890425c]
#mimetex(\zeta (s) = \sum^{\infty}_{n=1} { 1 \over {n^s}});

ギリシア文字の「Ζ・ζ(ζήτα;zeta;ゼータ)」は、ラテン文字の「z」に転写される文字で、ラテン文字の「Z」の由来となった物です。

この函数は、ベルンハルト・リーマンによって定式化された、とっても重要な式。もともとは数学的な探究のひとつとして、この式のs=2のときの無限級数には解が何と定まるかを求める問題だった。收斂することは明らかだけれど、その値を求めることができず、この問題が提示されて百年後にオイラーによってテイラー展開を用いる解法が示された。これをバーゼル問題といって、これに着目したリーマンがゼータ関数として一般化した。現在でも求める事のできないsの値が存在する。

一往に「足し算? ちょろい」といってもそう簡単に求まる物でもないのでその例を示したっすよ。s を複素数(!)に拡張したときこの函数が如何なる値を取りうるかについての考察が、所謂「リーマン予想」って奴だ。

**総乗 [#see73da6]
総乗(product)とは、有限箇な任意の数が与えられたとき、その全ての積を求めること。有限箇と断ってはいるが、時には無限箇の総乗(無限積)を考える必要があって、その積が求まるのは特別の場合であり、有限箇でも求まりそうにない事も多い。

***定義 [#gf0d13ca]
#mimetex(\prod_{i=1}^n x_i = x_1 \times x_2 \times \cdots \times x_n);

ギリシア文字の「Π・π(πι;pi;パイ)」は、ラテン文字の「p」に転写される文字で、ラテン文字の「P」の由来となった物です。一般に product の p を表すと考えられます。

やることは総和に同じだけれど、收斂條件がきびしい。

**参照 [#zb0cbdef]
-[[級数:Wikipedia:http://ja.wikipedia.org/wiki/%E7%B4%9A%E6%95%B0]]
-[[総和:Wikipedia:http://ja.wikipedia.org/wiki/%E7%B7%8F%E5%92%8C]]

*解析学 [#hb39584a]
必要かどうかはわからないけれど、極限について。

-実数の連続性(Dedekind の定理)
-有界なる数集合の上限、或いは下限の存在(Weirestrass の定理)
-有界なる単調数列の収斂
-区間縮小法の原理

実数が連続性であることを定義することは、解析的にとても重要な作業。微分可能な函数は、その函数が連続なる場合であると謂うのはあまりに有名であると思う。暫く数論的話題を取り扱い、ε-δ 論法のお話を。

**Dedekind の定理 [#he0985b7]
全ての実数を、二つの組にわけることを考えよう。その組を上組、下組と呼び、二組は'''上組に属する数は下組に属する全ての数よりも大である'''と定義する。

ここに s なる実数を選び、s と大小を比べて実数を任意に仕分けて行けば、二組の規約を満たして分割できるであろう。このようにした実数の截断を完成させるためには、最後に残った実数 s を上組か下組かの一方に入れなければならない(註:無限にある筈の実数を何時の間に全部比較したのだという野暮な事は謂わないで欲しいが、重要なことなので後述)。

仮に s を上組に入れたとしよう。上組には最小なる数 s が確かに存在する。では下組には最大なる数が存在するであろうか。実数は稠密であって、無数に存在する。譬えば s なる実数の近傍に t なる実数をとれば、s と t の中間にもまた実数があり、「s の次の(或いは前の)実数を選ぶ」と謂うことはできない。だから、下組には最大なる数は存在しない。逆に下組に s を入れてしまえば、上組に最小数無く、下組に最大数が有るであろう。このようにして Dedekind の截断は数を確定する。

つまり実数は s なる境界面で分割できる。逆に、上組と下組の截断が存在すれば、s なる数を確定することができる。これを「実数の連続性」と謂う。なお分割には理論的に三通りある。

-上組、下組、両方に端がない。つまり途切れ(gap)がある。
-上組、下組、両方に端がある。つまり飛び(leap)がある。
-上組、下組、孰れかに端があり、一方には端が無い。つまり連続(continuance)である。

飛びがある代表的数集合は、整数集合である。途切れがある代表的数集合は、有理数集合であるが、条件がある。有理数を選んで截断するのではなく、s を無理数として、組分けするのである。有理数は稠密であるから、無数に存在する。もし s が 2 の平方根であれば、上組、下組の端を決定することはできないであろう。

連続なる意味がわかりづらいならば、紙を手で千切って頂きたい。製紙会社や出版社が截断した、或いは鋏で切った、紙は截断面が奇麗である。しかし手で千切った面はそうではない。端とは鋏で揃えた、端が無い部分はハッキリとしない手で千切ったような感じ、とイメージされると分り易いかもしれない。

**Weirestrass の定理 [#j3cc2318]
集合 S に属する全ての数が、任意の数 M 以下であったとする。このとき M を S の上界と謂い、S は上方に有界であると謂う。任意の数 M 以上であれば、M は下界で、S は下方に有界である。単に S を有界と謂えば、上界と下界を有することを謂う。

ところで有界集合 S の上界や下界は唯一つ得られるというわけではない。「3 よりも大きな実数の集合」では、3 以下の整数全てが下界である。このうち、最大なる下界を下限と謂う。上界にも最小なる上界を考えることができ、これを上限と謂う。また集合 S の上限や下限は、集合 S の元であるとは限らない。例の場合は下限が 3 であるが、これは集合の元ではない。

-数集合 S が上方(或いは下方)に有界ならば、S の上限(或いは下限)が存在する。

この定理を Weirestrass の定理と謂い、実数の連続性で證明できる。

***大小関係 [#kcbab88d]
普通「以上」「以下」「〜より大きい」「〜より小さい」「未満」等は使いわけられる。

***区間 [#k8f30e11]
連続なる数の集合を、区間で表すことができる。[a, b] を閉区間(a 以上 b 以下)と、(a,b) を開区間(a より大きく b より小さい)と謂う。閉区間は端があるけど、開区間は端が無い。

**単調数列 [#m99ac20b]
-有界なる単調数列は収斂する。

第 n+1 項が第 n 項以上(或いは以下)である数列を考える。第 n+1 項が第 n 項以上なる場合、上方に有界であれば、定義と矛盾しないために、数列は収斂することがあきらかである。この證明は、ε-N論法で解決できるであろう。

逆に有界なれば収斂するかと謂えば、そうではない。(-1) の n 乗を n 項とする数列は、1 と -1 なる上限と下限を有し有界であるが、これは収斂しない。単調数列なることは重大な仮定であり、条件である。

***Cauchy の判定法 [#b4f6e3a9]
区間縮小法と併せて、数列が収斂する条件を求められる。それは上極限と下極限が一致することである。

数列の第 n 項以降の部分数列を作製し、その部分数列における上限と下限を求めたとする。この上限と下限は、n に対応した数列を為すであろう。今ここにこの新たなる数列の極限を考える。これを夫々、上極限、下極限、と謂い、数列の収斂は上極限と下極限が一致することで證明される。逆に、一致すれば収斂する。

**区間縮小法 [#y1181e16]
いまここに二つの数列で定められる閉区間 In = [an,bn] が存在したとする。an - bn が n の増大ともに減少したとする。また、閉区間の列は、第 n+1 項が第 n 項の部分集合であるとする。するとこの閉区間の列は、唯一つの共通の点を持つ。これを区間縮小法と謂う。

**ε-N 論法 [#l6580c99]
数列の収斂は、厳密には、ε-N 論法で考えられる。「解析概論」では、「或る」「任意の」「全ての」等の日本語が論理記号の代わりをしているけれども、書いてある内容に差はない。重要なのは意味を理解する事。普通は ε-δ 論法を先にするだろうが、「解析概論」と同じ順にした。

ここに任意の正数 ε を考えたとする。ε は正なる実数全体を動く(∀ ε > 0)。これに対応する項数を N として、一つの大小関係を考えたとき、

-n > N なるとき、|α - an| < ε

ならば、an は α に収斂する。対応する項数が N であるとは、ε を小さくした場合に、関係を満たす項数が大きくなるであろう事を指して云う。だから、この収斂の要である ε と N を指して、ε-N 論法と謂う。

譬えば初項が1で公比が1/2なる等比数列が0に収斂することを ε と N の関係で確認してみるのもよい(ε が 1 ならば N > 1 であり、ε が 1/3 ならば N > 2)。

**ε-δ 論法 [#t64cdecf]
Weirestrass により整理された論法が ε-δ 論法である。実数の連続性がどうの、Weirestrass の定理で有界がどうの等、こういう話題は実はこの為の準備体操であって、ε-δ 論法に資するために存在する。ε-δ 論法は函数の連続を示し且つ極限を求めることができる。ε-N 式の極限は、ε-δ 式の考えの延長に過ぎない。

-|x-a|<δ のとき、|f(x)-f(a)|<ε

ならば、f(x) は x = a の'''近傍'''において連続であり、

-|x-a|<δ のとき、|f(x)-b|<ε

ならば、f(x) は x = a の'''近傍'''でbに収斂する。

ここに δ は或る任意の正数値であり、ε は全ての正の実数である。

x^2 が x = 2 のとき 4 に収斂することを證明してみよう。|x^2 - 4|=|x-2||x+2| は |ab|=|a||b|の線型性から明らかである。次に|x-2|<δならば、|x+2| は |x-2|より4大きいか4小さいかの間にあるのだから、|x+2|<=δ+4。従って|x^2 - 4|<(δ+4)δ。ここに δ=√(ε^2 + 4) - 2 とすれば、(δ+4)δ = ε なので、|x^2 - 4|<ε である。δの値が小さくなれば、εは小さくなるであろうし、その逆も成立する。つまり x^2 は x = 2 のとき 4 に収斂する。

**実数について [#b72ffb10]
実数はその代数的特性として、「四則演算が可能」「大小が比較できる」「連続性がある」と謂う三つの特性がある(代数論や群論等参照)。

このうち「大小が比較できる」ことは重要で、Dedekind の所で書いたように、s を選んで無限の数と比較して組分けする際には、この性質を利用している。これが保証される理由は、譬えば s < s + 1 かもしれないが s < s + 10000000 とは限らないぞなる問題は、公理論において解決される。だから、截断を考えた際にも、s の近傍だけを問題にできたのである。

いま二つの実数、a、b があるとき、次の三つのうち、どれか一つの関係のみをとる。

-a < b
-a = b
-a > b

a > 0 なる a を正であると、a < 0 なる a を負であると謂う。実数の二乗が正或いは0であることは、これらのことから導かれる。

今ここに、s よりも大なる t、t = s + ε と表される任意の数(ε は正数)、をとる。すると t < ε + t である。よって s < t < ε + t なる関係を得、正数 s よりも大なる t があるならば、更に 2t - s なる s でも t でもない数が得られる。つまり、帰納的に全ての数と比較することができる(このとき方法的に t は s の近傍、ε が 0 に近しいものであることが望ましい)し、s より大きい数は無限に存在するらしいことも確認できる。

**参考 [#u90a5025]
これを書く参考にした本を掲げておきますね。

-解析概論(高木貞治;岩波書店)

>謂わずと知れた解析学の教科書。昭和十年頃の東京帝國大學、高木教授(日本の数学界を啓かれた大人物である!)の講義がベースになってるらしい。ε-δ 論法等に論理記号等が一切合切登場しないので、そこはある意味で取っ付き易いのかも。解析学の近代的な考えがだいたい詰まってるけど、若干古い。詳しい内容は書店で確認してちょ。
>ただし内容が広汎である。第一章には「位相(多様体論/幾何学)」や、「代数論/数論」的な概念などなど、解析とは直截には関係の無さそうな概念に近い物やその話題が出てくるから、挫折する人も多いらしい。数学の論理を愉しみたい場合の本だと思う。

数学の本にはいろいろあるけれど、本により著者により専門は異なるのだから、多くの本に目を通す事は重要なことに思えます。さり気なく重大な話題を取り扱ってあるだとか、一つの結論に多くの論理を宛てがうだとか、ある一定の目的のために論理が展開される(譬えば実数解析を目的とした)だとか、著想を得られる点は数多くあるのではないでしょうか。譬えば数学者が研究室を行き交うことで新たな著想を得ることは珍しいことではありませんから、多くの本を比べてみるのもよいでしょう(これは一般教養に関しても云えること)。

*附録 [#k75f2ddb]
**高校数学の範囲 [#o6f2ffce]
下記はだいたい大雑把なので。ⅠAとⅡB、ⅢCとあるんだぜ。大学でも数学をやる人たち(理系の人)は、ⅢCまでが必修の扱い。京大とか行列(数C)だすよと公言する一部を除いて、文系の人はⅠAとⅡBまでって感じ。でも文系では経済学とかは偏微分とかも含まれるから、結局数Ⅲはある程度理解する必要もあったり。

年度によりけりで「課程」が変われば内容もかわる。基本的には、ⅡBをやるにはⅠAの理解、ⅢCをやるにはⅡBの理解、と段階的に学習できるようになってますよ。

***数学Ⅰと数学A [#x4e1059a]
方程式、二次関数はここがわからないと、高校レベルの理科と解ける問題が半減すると言っても過言ではない。三角関数は正弦・余弦定理と三角形の面積の求積まで。ヘロンの公式とかもここかな。数Ⅰは次の通り。

-方程式、不等式(式の解き方の基本)
-二次関数(特殊かつ頻出なので二次関数の性質を学ぶ)
-図形と計量(三角函数初歩、面積・体積の求積法など)

確率は、確率の基礎。統計的拡張は数C。二項定理を含むよ。平面図形は、幾何の基礎。
ベクトルなんかだと、ここの幾何が分ってないと式の流れが分らなくなるかも知れません。数Aは次の通り。

-場合の数、確率(順列、組合せ、確率)
-論理と集合("且つ"や"又は"の学習ダナ)
-平面図形(旧課程では中学で履修、移籍した分野)

***数学Ⅱと数学B [#ifc83c59]
かなり重要な分野が多い。関数は頻出のsinだとかlogだとか、それから自然対数e(ネイピアさん)も。対数のあたりで極限のためのlimさんも登場する。なかなかよく要点の纏まった過程だと思う。物理の力学では、微分・積分法の考えかたが沢山(ただし高校物理では使わずに教えることになってるので学校によっては説明してくれない。)あります。そこはこれと併せて学べばよいでしょう。数Ⅱは次の通り。

-式と証明(式の解法、今後必要になる数式の処理の練習がこれ)
-[[複素数]]と方程式(二次関数の虚数解の扱いが中心)
-図形と方程式(円や軌跡、領域など方程式で図形を表すよ)
-三角関数(sin、cos、tanを更に拡張するぜ)
-指数・対数関数(大きな数を処理するための関数たちの性質を学ぶよ)
-微分・積分法(微積の入門編)

複素数平面は好きならやってね。統計は普通やらないみたい。数Aでの初歩的な統計の考えを拡張して、最後は数Cの正規分布までたどり着くのが統計の目的。数Bは次の通り。

-[[ベクトル]](平面と立体)
-[[数列]](漸化式の解法など。ただし極限を含まない)
-[[複素数]]平面(これは平成十六年あたりから削除された)
-統計とコンピュータ(度数分布など)

***数学Ⅲと数学C [#j450db6a]
積分は置換・部分積分の導入がある。物理の角速度を理解するには、ここまでの学習が入り用。微積には曲線の長さも含まれるよ。数Ⅲは次の通り。

-関数(分数関数、無理関数、逆関数とか、数Ⅲの他の分野で必要な式を考察する)
-極限(数列を拡張、微分拡張の為の足がかり)
-微分(数Ⅱでやらなかつた微分できる函数を扱う)
-積分(微分に同じ、ただし積分の定義たる区分求積法は此処で扱う)

確率以後は普通やらないらしい。統計処理の用語がExcelの変な函数とかにあるネ、あれを理解するにはこれが必要ってわけ。偏差値計算ができるようになるぜ。数Cは次の通り。

-[[行列]](一次変換、回転を含む)
-式と曲線(楕円であるとか、特殊な関数たち)
-確率分布(確率変数の導入と正規分布への足がかり)
-統計処理(正規分布などの扱い)

***体系的にどうなってるの? [#tb57be7d]
無茶を仰る。ザックリまとめてあげよう。

-算術的なお話:所謂方程式だとかで、数学の基礎の基礎の、そのまた基礎って感じ。
-数論・整数論
-論理・集合論
-線型代数学
-古典幾何学
-初等解析学
-確率・統計論

まあこんなとこでしょうな。勉強法としては、上三つの最低限のレベルを理解(数論極めてフェルマーの最終定理とか、群論とか、そんなの理解してどうすんのさ)して、後は真ん中をいったりきたりでしょう。そういう意味では、今の高校数学はよくできてると思う。


トップ   新規 一覧 検索 最終更新   ヘルプ   最終更新のRSS