線型代数学/序論のソースを表示

== 線形代数学を学ぶ意味 ==
線形代数学は、多くの理工系の大学において必修とされている、数学の中でもとても重要な分野である。ここでは、線形代数学を学ぶ意味について述べる。

線形代数学とは、端的に言えば、「まっすぐなもの」を扱う方法を学ぶ分野である。「曲がったもの」の扱いは難しいが、「まっすぐなもの」については美しい理論ができあがっており、その理論に基づけば、簡単に正しく扱うことができる。

世の中にあるものの多くは「まっすぐ」ではないが、近似的には「まっすぐ」とみなすことができることはしばしばある。そのような場合、曲がったまま扱うのは難しくても、「まっすぐ」に近似した上で線形代数学の理論を適用すると簡単に扱えることがある。例えば、曲がったグラフに接線を引く微分操作は、このような扱いの代表例である。

== 線形代数学で学ぶ内容 ==
上に書いたような「まっすぐなもの」の集合を'''線形空間'''と言う。また、線形空間から線形空間への「まっすぐな」写像を'''線形写像'''という。線形代数学の理論によると、多くの線形空間では、'''基底'''を取ることによって、元はベクトルで、線形写像は行列で表せることがわかっている。そこで、まずは行列の扱い方を学び、その基本を一通り習得した後、線形空間や線形写像についての一般論を学ぶ。その一般論を用いると、より高度な行列の扱い方を知ることができる。その中でも'''ジョルダン標準形'''の理論は実用上も重要な理論である。

== 本書で用いる記号 ==
{{定義|0.0.1}}
「ものの集まり」を'''集合'''という。集合を構成するものを'''元'''または'''要素'''という。''a'' が集合Aの元であることを<math>a\in A</math>で表す。
{{定義終わり}}
以下、おもな集合を挙げる。本書では今後断りなしにこれらの記号を用いる。
{{定義|0.0.2}}
*<math> \R </math> = {実数} ; 実数全体の集合。
*<math> \N </math> = {自然数} ; 自然数全体の集合。
*<math> \Z </math> = {整数} ; 整数全体の集合。
*<math> \Complex </math> = {複素数} = <math>\{ x+iy | x,y\in\R\}</math> ;　複素数全体の集合。
*<math> \Q </math> = {有理数} = <math>\left\{ \frac{m}{n} \Big| m,n\in \Z\right\}</math> ; 有理数全体の集合。
*<math> \mathbf K </math> ;　任意の体。体というのは、四則演算に対して閉じている集合。本書では特に断りのない限り、<math> \mathbf K = \R</math>または<math> \mathbf K = \Complex</math>とする。
{{定義終わり}}


{| class="wikitable"
|+ 論理記号
|-
! 記号 !! 意味 !! 例 !! 意味
|-
| <math>\forall</math> || 「任意の」または「すべての」<ref>「任意の」と「すべての」は本質的には全く同じことである。すべてのものについて成り立つなら、任意のものについても成り立つし、任意のものについて成り立つなら、すべてのものの中から選んだ全部のものについても成り立つ。よってすべてのものについて成り立つ。</ref> || <math>\forall x\in\mathbb{R}, x^2 -4x + 4 > 0</math> || すべての実数<math>x</math>に対して<math>x^2 -4x + 4 > 0</math>が成り立つ。ちなみにこの命題は偽である。
|-
| <math>\exists</math> || 存在する || <math>\exists x\in\mathbb{R}, x^2 -2x + 1 = 0</math> || <math>x^2 -2x + 1 = 0</math>を満たす実数<math>x</math>が存在する。ちなみにこの命題は真である。
|-
| <math>\exists_1</math> || ただ一つ存在する || <math>\exists_1 x\in\mathbb{R}, x^2 -6x + 9 = 0</math> || <math>x^2 -6x + 9 = 0</math>を満たす実数<math>x</math>がただ一つ存在する。ちなみにこの命題は真である。
|-
| <math>\nexists</math> || 存在しない || <math>\nexists x\in\mathbb{R}, x^2 + 2x + 2 = 0</math> || <math>x^2 + 2x + 2 = 0</math>を満たす実数<math>x</math>は存在しない。ちなみにこの命題は真である。
|}
量化記号については、詳しくは[[数理論理学/述語論理|こちら]]を参照してほしい。

[[en:Linear Algebra/Introduction]]

[[Category:線形代数学|しよろん]]