線形代数II/代数学的構造 のバックアップ(No.1)

更新


線形代数Ⅱ?

イントロダクション:代数学的構造

代数学とは

この授業は「線形代数学」だ。

1年生の線形代数Iにおいて、「線形」の意味を教わった。

関数 f(\bm x) が線形 :  f(a \bm x+b \bm y)=a f(\bm x)+b f(\bm y) が成り立つこと

では「代数学」とは何だろうか?

小学生から大学1年生まで、様々な「数」を学んだ。

  • \mathbb N 自然数 = 加算・乗算について閉じている  a+b, a\times b
  • \mathbb Z 整数  = 減算についても閉じている a-b
  • \mathbb Q 有理数 = 除算について「ほぼ」閉じている a/b (ゼロは例外)
  • \mathbb R 実数  = 収束する有理数列の極限演算について閉じている \lim_{n\rightarrow\infty}a_n
  • \mathbb C 複素数 = 負数の開根操作について閉じている \sqrt{-1}

\mathbb N \subset \mathbb Z \subset \mathbb Q \subset \mathbb R \subset \mathbb C であり、新しい「演算」の導入により「数の集合」を拡大する方向で学んできた。

  • 解析学は主に \mathbb C の上(あるいは \mathbb C^n の上)で 極限や微積分を扱う数学である

代数学は \mathbb N, \mathbb Z, \mathbb Q, \mathbb R, \mathbb C の系列から外れて、
例えば、

乗算は定義されるが加算は定義されない数の集合

などというように、「何らかの演算」が定義された「数の集合」を定め、 そこに現れる「構造」を研究する。

これから学ぶ「ベクトル」も上で言う「数」の一員である。

代数学的構造の例: 群

ある集合 \mathbb U にある演算 * が定義され、 \mathbb U * について「閉じている」とする。
(すなわち \forall x,\forall y \in \mathbb U について x*y\in \mathbb U )

さらにこの演算が次の性質を持つ時、

  1. \forall a,\forall b,\forall c\in \mathbb U に対して結合法則 (a*b)*c=a*(b*c) が成り立つ
  2. \forall x \in \mathbb U に対して e*x=x*e=x を満たすような特別な元(単位元) e\in \mathbb U が存在する
  3. \forall x \in \mathbb U に対して、 x*y=y*x=1 を満たすような元(逆元) y\in \mathbb U が存在する

\mathbb U は演算 * について群である」という。

群の例

一見すると、 \mathbb U を有理数 \mathbb Q * を通常の乗算 \times と考えれば 「群の公理」を満たしそうに思えるが、 0\in \mathbb Q が逆元を持たないため、 有理数 \mathbb Q は乗算 \times について群とはならない。

\mathbb U を有理数 \mathbb Q からゼロを除いた集合 \mathbb Q-\set{0} * を通常の乗算 \times 、単位元を 1 とすれば、この集合は群である。

また、 \mathbb U を整数 \mathbb Z * を通常の加算 + 、単位元を 0 と考えると、この場合も上記3つすべての条件を満たすことから、 \mathbb Z は加算について群である。

また、 \mathbb U k の倍数 \set{nk|n\in \mathbb Z} * を通常の加算 + 、単位元を 0 と考えると、この場合も上記3つすべての条件を満たし、群を為す。

群の要素数が有限である場合もある。

自明な群: \mathbb U={1} に対して、 1*1=1 と定義すれば、 \mathbb U は群である。

\mathbb U={a,b,c} に対して、演算 *

*abc
aabc
bbca
ccab

と定義すれば、 \mathbb U は群である。
ただしこの表は、 (左に書かれた数)*(上に書かれた数) の演算結果を示した物である。

群の公理を気にしなければ、「演算」はこのように適当に表を作れば定義できる。

しかしこの表を、

*abc
aabc
bbcb
ccba

としてしまえば、 (c*b)*b=b*b=c\ne c*(b*c)=c*b=b となって、 \mathbb U は群ではなくなる。

「群」の公理は上のように単純なものであるが、 その数学的構造は非常に奥深く、群論だけで数学の1分野となる。
応用理工では群論の詳細には立ち入らないが、 結晶学や分子振動における点群や、 ゲージ理論などにおける対称性に関する議論に重要な応用があるため どこかでまた学ぶことになるかもしれない。

その他の代数的構造

  • 半群 = 群の公理から 2., 3. を除いて 1. のみを公理とする
  • 群 = 上記
  • 可換群 = 群の公理に交換律 a*b=b*a を加える
  • 環 = 2つの演算 +,* を持ち、 + に対して可換群、 * に対して半群であり、分配法則 a*(b+c)=a*b+a*c が成立する
  • 体 = 環でありかつ * に対しても、0 を除いて可換群である(つまり、四則演算ができる)

これ以外にも数多くの代数的構造が研究されている。

有理数 \mathbb Q や実数 \mathbb R 、複素数 \mathbb C は 自由に四則演算の行える構造を持ち、「体」である。 そこでしばしば 有理体、実数体、複素数体 などとも呼ばれる。

代数的構造の意味

「代数的構造」の優れた点は数学的に類似の構造を持つ対象を抜き出して、 それらをまとめて議論できる点にある。

「類似点」を公理の形で記し、公理のみを基に定理を導くことにより、 個々の対象に依存せず、すべての対象に適用可能な結論を導ける。


Counter: 19948 (from 2010/06/03), today: 5, yesterday: 3