45
はじめに (数学基礎 B1) 数学基礎 B 線形代数 教科書 「要点明解 線形数学」培風館 第1章 行列 第2章 連立 1 次方程式 (第3章 行列式) (第4章 行列の対角化) 講義の情報 http://mathweb.sc.niigata-u.ac.jp/˜hoshi/teaching-j.html シラバス LINK ノートを取りながら講義を聴くこと. (ノートを回収して確認する可能性があります) 講義 -→ 小テスト (理解度確認テスト,学務情報システム内) 明考 (新潟大学理学部数学プログラム) 数学基礎 B1 第2回 1 / 11

はじめに 数学基礎 B1)mathweb.sc.niigata-u.ac.jp/~hoshi/2020/mathb1-2.pdf星 明考(新潟大学理学部数学プログラム) 数学基礎B1 第2回 5/11 より一般の場合

  • Upload
    others

  • View
    1

  • Download
    0

Embed Size (px)

Citation preview

Page 1: はじめに 数学基礎 B1)mathweb.sc.niigata-u.ac.jp/~hoshi/2020/mathb1-2.pdf星 明考(新潟大学理学部数学プログラム) 数学基礎B1 第2回 5/11 より一般の場合

はじめに  (数学基礎B1)

数学基礎 B = 線形代数

教科書 「要点明解 線形数学」培風館

▶ 第1章 行列▶ 第2章 連立 1次方程式

(第3章 行列式)

(第4章 行列の対角化)

講義の情報  http://mathweb.sc.niigata-u.ac.jp/˜hoshi/teaching-j.html

シラバス  LINK

▶ ノートを取りながら講義を聴くこと.(ノートを回収して確認する可能性があります)

▶ 講義−→小テスト (理解度確認テスト,学務情報システム内)

星 明考 (新潟大学理学部数学プログラム) 数学基礎 B1 第2回 1 / 11

Page 2: はじめに 数学基礎 B1)mathweb.sc.niigata-u.ac.jp/~hoshi/2020/mathb1-2.pdf星 明考(新潟大学理学部数学プログラム) 数学基礎B1 第2回 5/11 より一般の場合

1.2 行列の積

定義 (行列の積)

行列A =

(a bc d

), B =

(e fg h

)に対して,積ABを

AB :=

(ae+ bg af + bhce+ dg cf + dh

)と定める.

行列A =

(a bc d

), x =

(xy

)に対して,積Axを

Ax :=

(ax+ bycx+ dy

)と定める.

星 明考 (新潟大学理学部数学プログラム) 数学基礎 B1 第2回 2 / 11

Page 3: はじめに 数学基礎 B1)mathweb.sc.niigata-u.ac.jp/~hoshi/2020/mathb1-2.pdf星 明考(新潟大学理学部数学プログラム) 数学基礎B1 第2回 5/11 より一般の場合

1.2 行列の積

定義 (行列の積)

行列A =

(a bc d

), B =

(e fg h

)に対して,積ABを

AB :=

(ae+ bg af + bhce+ dg cf + dh

)と定める.

行列A =

(a bc d

), x =

(xy

)に対して,積Axを

Ax :=

(ax+ bycx+ dy

)と定める.

星 明考 (新潟大学理学部数学プログラム) 数学基礎 B1 第2回 2 / 11

Page 4: はじめに 数学基礎 B1)mathweb.sc.niigata-u.ac.jp/~hoshi/2020/mathb1-2.pdf星 明考(新潟大学理学部数学プログラム) 数学基礎B1 第2回 5/11 より一般の場合

1.2 行列の積

定義 (行列の積)

行列A =

(a bc d

), B =

(e fg h

)に対して,積ABを

AB :=

(ae+ bg af + bhce+ dg cf + dh

)と定める.

行列A =

(a bc d

), x =

(xy

)に対して,積Axを

Ax :=

(ax+ bycx+ dy

)と定める.

例(2 17 5

)(1 34 −5

)=

(2 + 4 6− 57 + 20 21− 25

)=

(6 127 −4

).

星 明考 (新潟大学理学部数学プログラム) 数学基礎 B1 第2回 3 / 11

Page 5: はじめに 数学基礎 B1)mathweb.sc.niigata-u.ac.jp/~hoshi/2020/mathb1-2.pdf星 明考(新潟大学理学部数学プログラム) 数学基礎B1 第2回 5/11 より一般の場合

1.2 行列の積

定義 (行列の積)

行列A =

(a bc d

), B =

(e fg h

)に対して,積ABを

AB :=

(ae+ bg af + bhce+ dg cf + dh

)と定める.

行列A =

(a bc d

), x =

(xy

)に対して,積Axを

Ax :=

(ax+ bycx+ dy

)と定める.

例(2 17 5

)(1 34 −5

)

=

(2 + 4 6− 57 + 20 21− 25

)=

(6 127 −4

).

星 明考 (新潟大学理学部数学プログラム) 数学基礎 B1 第2回 3 / 11

Page 6: はじめに 数学基礎 B1)mathweb.sc.niigata-u.ac.jp/~hoshi/2020/mathb1-2.pdf星 明考(新潟大学理学部数学プログラム) 数学基礎B1 第2回 5/11 より一般の場合

1.2 行列の積

定義 (行列の積)

行列A =

(a bc d

), B =

(e fg h

)に対して,積ABを

AB :=

(ae+ bg af + bhce+ dg cf + dh

)と定める.

行列A =

(a bc d

), x =

(xy

)に対して,積Axを

Ax :=

(ax+ bycx+ dy

)と定める.

例(2 17 5

)(1 34 −5

)=

(2 + 4 6− 57 + 20 21− 25

)

=

(6 127 −4

).

星 明考 (新潟大学理学部数学プログラム) 数学基礎 B1 第2回 3 / 11

Page 7: はじめに 数学基礎 B1)mathweb.sc.niigata-u.ac.jp/~hoshi/2020/mathb1-2.pdf星 明考(新潟大学理学部数学プログラム) 数学基礎B1 第2回 5/11 より一般の場合

1.2 行列の積

定義 (行列の積)

行列A =

(a bc d

), B =

(e fg h

)に対して,積ABを

AB :=

(ae+ bg af + bhce+ dg cf + dh

)と定める.

行列A =

(a bc d

), x =

(xy

)に対して,積Axを

Ax :=

(ax+ bycx+ dy

)と定める.

例(2 17 5

)(1 34 −5

)=

(2 + 4 6− 57 + 20 21− 25

)=

(6 127 −4

).

星 明考 (新潟大学理学部数学プログラム) 数学基礎 B1 第2回 3 / 11

Page 8: はじめに 数学基礎 B1)mathweb.sc.niigata-u.ac.jp/~hoshi/2020/mathb1-2.pdf星 明考(新潟大学理学部数学プログラム) 数学基礎B1 第2回 5/11 より一般の場合

注意

α :

{x 7→ u = ax+ by

y 7→ v = cx+ dyβ :

{z 7→ x = ez + fw

w 7→ y = gz + hw· · · (1)

とすると,写像の合成

α ◦ β :

zβ7−→ x

α7−→ u = ax+ by = (ae+ bg)z + (af + bh)w

wβ7−→ y

α7−→ v = cx+ dy = (ce+ dg)z + (cf + dh)w· · · (2)

と計算できる.よって (1), (2)は(uv

)=

(a bc d

)(xy

),

(xy

)=

(e fg h

)(zw

),(

uv

)=

(a bc d

)(e fg h

)(zw

)=

(ae+ bg af + bhce+ dg cf + dh

)(zw

)とかける.

星 明考 (新潟大学理学部数学プログラム) 数学基礎 B1 第2回 4 / 11

Page 9: はじめに 数学基礎 B1)mathweb.sc.niigata-u.ac.jp/~hoshi/2020/mathb1-2.pdf星 明考(新潟大学理学部数学プログラム) 数学基礎B1 第2回 5/11 より一般の場合

• より一般の場合

定義 (行列の積)

A = (aij):m× n行列,B = (bjk):n× l行列.

積ABを

AB := (cik) 但し

cik = ai1b1k + · · ·+ ainbnk =

n∑j=1

aijbjk

(1 ≤ i ≤ m, 1 ≤ k ≤ l)と定義する.

注意積ABの (i, k)成分が cik =

∑nj=1 aijbjk.

積ABはm× l行列となる.

星 明考 (新潟大学理学部数学プログラム) 数学基礎 B1 第2回 5 / 11

Page 10: はじめに 数学基礎 B1)mathweb.sc.niigata-u.ac.jp/~hoshi/2020/mathb1-2.pdf星 明考(新潟大学理学部数学プログラム) 数学基礎B1 第2回 5/11 より一般の場合

• より一般の場合

定義 (行列の積)

A = (aij):m× n行列,B = (bjk):n× l行列.

積ABを

AB := (cik) 但し

cik = ai1b1k + · · ·+ ainbnk =

n∑j=1

aijbjk

(1 ≤ i ≤ m, 1 ≤ k ≤ l)と定義する.

注意積ABの (i, k)成分が cik =

∑nj=1 aijbjk.

積ABはm× l行列となる.

星 明考 (新潟大学理学部数学プログラム) 数学基礎 B1 第2回 5 / 11

Page 11: はじめに 数学基礎 B1)mathweb.sc.niigata-u.ac.jp/~hoshi/2020/mathb1-2.pdf星 明考(新潟大学理学部数学プログラム) 数学基礎B1 第2回 5/11 より一般の場合

• より一般の場合

定義 (行列の積)

A = (aij):m× n行列,B = (bjk):n× l行列.

積ABを

AB := (cik) 但し

cik = ai1b1k + · · ·+ ainbnk =

n∑j=1

aijbjk

(1 ≤ i ≤ m, 1 ≤ k ≤ l)と定義する.

注意積ABの (i, k)成分が cik =

∑nj=1 aijbjk.

積ABはm× l行列となる.

星 明考 (新潟大学理学部数学プログラム) 数学基礎 B1 第2回 5 / 11

Page 12: はじめに 数学基礎 B1)mathweb.sc.niigata-u.ac.jp/~hoshi/2020/mathb1-2.pdf星 明考(新潟大学理学部数学プログラム) 数学基礎B1 第2回 5/11 より一般の場合

• より一般の場合

定義 (行列の積)

A = (aij):m× n行列,B = (bjk):n× l行列.

積ABを

AB := (cik) 但し

cik = ai1b1k + · · ·+ ainbnk =n∑

j=1

aijbjk

(1 ≤ i ≤ m, 1 ≤ k ≤ l)と定義する.

注意積ABの (i, k)成分が cik =

∑nj=1 aijbjk.

積ABはm× l行列となる.

星 明考 (新潟大学理学部数学プログラム) 数学基礎 B1 第2回 5 / 11

Page 13: はじめに 数学基礎 B1)mathweb.sc.niigata-u.ac.jp/~hoshi/2020/mathb1-2.pdf星 明考(新潟大学理学部数学プログラム) 数学基礎B1 第2回 5/11 より一般の場合

• より一般の場合

定義 (行列の積)

A = (aij):m× n行列,B = (bjk):n× l行列.

積ABを

AB := (cik) 但し

cik = ai1b1k + · · ·+ ainbnk =n∑

j=1

aijbjk

(1 ≤ i ≤ m, 1 ≤ k ≤ l)と定義する.

注意積ABの (i, k)成分が cik =

∑nj=1 aijbjk.

積ABはm× l行列となる.

星 明考 (新潟大学理学部数学プログラム) 数学基礎 B1 第2回 5 / 11

Page 14: はじめに 数学基礎 B1)mathweb.sc.niigata-u.ac.jp/~hoshi/2020/mathb1-2.pdf星 明考(新潟大学理学部数学プログラム) 数学基礎B1 第2回 5/11 より一般の場合

• より一般の場合

定義 (行列の積)

A = (aij):m× n行列,B = (bjk):n× l行列.

積ABを

AB := (cik) 但し

cik = ai1b1k + · · ·+ ainbnk =n∑

j=1

aijbjk

(1 ≤ i ≤ m, 1 ≤ k ≤ l)と定義する.

注意積ABの (i, k)成分が cik =

∑nj=1 aijbjk.

積ABはm× l行列となる.

星 明考 (新潟大学理学部数学プログラム) 数学基礎 B1 第2回 5 / 11

Page 15: はじめに 数学基礎 B1)mathweb.sc.niigata-u.ac.jp/~hoshi/2020/mathb1-2.pdf星 明考(新潟大学理学部数学プログラム) 数学基礎B1 第2回 5/11 より一般の場合

例 2−11

(1 2 3

)

=

2 4 6−1 −2 −31 2 3

.

例(1 2 34 5 6

) −1 −23 4−5 −6

=

(−1 + 6− 15 −2 + 8− 18−4 + 15− 30 −8 + 20− 36

)=

(−10 −12−19 −24

).

例(a bc d

)(d −b−c a

)=

(ad− bc 0

0 ad− bc

)= (ad−bc)

(1 00 1

).

星 明考 (新潟大学理学部数学プログラム) 数学基礎 B1 第2回 6 / 11

Page 16: はじめに 数学基礎 B1)mathweb.sc.niigata-u.ac.jp/~hoshi/2020/mathb1-2.pdf星 明考(新潟大学理学部数学プログラム) 数学基礎B1 第2回 5/11 より一般の場合

例 2−11

(1 2 3

)=

2 4 6−1 −2 −31 2 3

.

例(1 2 34 5 6

) −1 −23 4−5 −6

=

(−1 + 6− 15 −2 + 8− 18−4 + 15− 30 −8 + 20− 36

)=

(−10 −12−19 −24

).

例(a bc d

)(d −b−c a

)=

(ad− bc 0

0 ad− bc

)= (ad−bc)

(1 00 1

).

星 明考 (新潟大学理学部数学プログラム) 数学基礎 B1 第2回 6 / 11

Page 17: はじめに 数学基礎 B1)mathweb.sc.niigata-u.ac.jp/~hoshi/2020/mathb1-2.pdf星 明考(新潟大学理学部数学プログラム) 数学基礎B1 第2回 5/11 より一般の場合

例 2−11

(1 2 3

)=

2 4 6−1 −2 −31 2 3

.

例(1 2 34 5 6

) −1 −23 4−5 −6

=

(−1 + 6− 15 −2 + 8− 18−4 + 15− 30 −8 + 20− 36

)=

(−10 −12−19 −24

).

例(a bc d

)(d −b−c a

)=

(ad− bc 0

0 ad− bc

)= (ad−bc)

(1 00 1

).

星 明考 (新潟大学理学部数学プログラム) 数学基礎 B1 第2回 6 / 11

Page 18: はじめに 数学基礎 B1)mathweb.sc.niigata-u.ac.jp/~hoshi/2020/mathb1-2.pdf星 明考(新潟大学理学部数学プログラム) 数学基礎B1 第2回 5/11 より一般の場合

例 2−11

(1 2 3

)=

2 4 6−1 −2 −31 2 3

.

例(1 2 34 5 6

) −1 −23 4−5 −6

=

(−1 + 6− 15 −2 + 8− 18−4 + 15− 30 −8 + 20− 36

)

=

(−10 −12−19 −24

).

例(a bc d

)(d −b−c a

)=

(ad− bc 0

0 ad− bc

)= (ad−bc)

(1 00 1

).

星 明考 (新潟大学理学部数学プログラム) 数学基礎 B1 第2回 6 / 11

Page 19: はじめに 数学基礎 B1)mathweb.sc.niigata-u.ac.jp/~hoshi/2020/mathb1-2.pdf星 明考(新潟大学理学部数学プログラム) 数学基礎B1 第2回 5/11 より一般の場合

例 2−11

(1 2 3

)=

2 4 6−1 −2 −31 2 3

.

例(1 2 34 5 6

) −1 −23 4−5 −6

=

(−1 + 6− 15 −2 + 8− 18−4 + 15− 30 −8 + 20− 36

)=

(−10 −12−19 −24

).

例(a bc d

)(d −b−c a

)=

(ad− bc 0

0 ad− bc

)= (ad−bc)

(1 00 1

).

星 明考 (新潟大学理学部数学プログラム) 数学基礎 B1 第2回 6 / 11

Page 20: はじめに 数学基礎 B1)mathweb.sc.niigata-u.ac.jp/~hoshi/2020/mathb1-2.pdf星 明考(新潟大学理学部数学プログラム) 数学基礎B1 第2回 5/11 より一般の場合

例 2−11

(1 2 3

)=

2 4 6−1 −2 −31 2 3

.

例(1 2 34 5 6

) −1 −23 4−5 −6

=

(−1 + 6− 15 −2 + 8− 18−4 + 15− 30 −8 + 20− 36

)=

(−10 −12−19 −24

).

例(a bc d

)(d −b−c a

)

=

(ad− bc 0

0 ad− bc

)= (ad−bc)

(1 00 1

).

星 明考 (新潟大学理学部数学プログラム) 数学基礎 B1 第2回 6 / 11

Page 21: はじめに 数学基礎 B1)mathweb.sc.niigata-u.ac.jp/~hoshi/2020/mathb1-2.pdf星 明考(新潟大学理学部数学プログラム) 数学基礎B1 第2回 5/11 より一般の場合

例 2−11

(1 2 3

)=

2 4 6−1 −2 −31 2 3

.

例(1 2 34 5 6

) −1 −23 4−5 −6

=

(−1 + 6− 15 −2 + 8− 18−4 + 15− 30 −8 + 20− 36

)=

(−10 −12−19 −24

).

例(a bc d

)(d −b−c a

)=

(ad− bc 0

0 ad− bc

)

= (ad−bc)

(1 00 1

).

星 明考 (新潟大学理学部数学プログラム) 数学基礎 B1 第2回 6 / 11

Page 22: はじめに 数学基礎 B1)mathweb.sc.niigata-u.ac.jp/~hoshi/2020/mathb1-2.pdf星 明考(新潟大学理学部数学プログラム) 数学基礎B1 第2回 5/11 より一般の場合

例 2−11

(1 2 3

)=

2 4 6−1 −2 −31 2 3

.

例(1 2 34 5 6

) −1 −23 4−5 −6

=

(−1 + 6− 15 −2 + 8− 18−4 + 15− 30 −8 + 20− 36

)=

(−10 −12−19 −24

).

例(a bc d

)(d −b−c a

)=

(ad− bc 0

0 ad− bc

)= (ad−bc)

(1 00 1

).

星 明考 (新潟大学理学部数学プログラム) 数学基礎 B1 第2回 6 / 11

Page 23: はじめに 数学基礎 B1)mathweb.sc.niigata-u.ac.jp/~hoshi/2020/mathb1-2.pdf星 明考(新潟大学理学部数学プログラム) 数学基礎B1 第2回 5/11 より一般の場合

例A:m× n行列,B:n× l行列⇒ AB:m× l行列.

このとき,B = (b1, . . . ,bl), bi =

b1i...bni

(1 ≤ i ≤ l)とすれば,

AB = A(b1, . . . ,bl) = (Ab1, . . . , Abl).

A =

(1 2 34 5 6

), B =

−1 −23 4−5 −6

= ( b1 , b2 ).

AB = A(b1,b2) = ( Ab1 , Ab2 ) =

(−10 −12−19 −24

).

星 明考 (新潟大学理学部数学プログラム) 数学基礎 B1 第2回 7 / 11

Page 24: はじめに 数学基礎 B1)mathweb.sc.niigata-u.ac.jp/~hoshi/2020/mathb1-2.pdf星 明考(新潟大学理学部数学プログラム) 数学基礎B1 第2回 5/11 より一般の場合

例A:m× n行列,B:n× l行列⇒ AB:m× l行列.

このとき,B = (b1, . . . ,bl), bi =

b1i...bni

(1 ≤ i ≤ l)とすれば,

AB = A(b1, . . . ,bl) = (Ab1, . . . , Abl).

A =

(1 2 34 5 6

), B =

−1 −23 4−5 −6

= ( b1 , b2 ).

AB = A(b1,b2) = ( Ab1 , Ab2 ) =

(−10 −12−19 −24

).

星 明考 (新潟大学理学部数学プログラム) 数学基礎 B1 第2回 7 / 11

Page 25: はじめに 数学基礎 B1)mathweb.sc.niigata-u.ac.jp/~hoshi/2020/mathb1-2.pdf星 明考(新潟大学理学部数学プログラム) 数学基礎B1 第2回 5/11 より一般の場合

例A:m× n行列,B:n× l行列⇒ AB:m× l行列.

このとき,B = (b1, . . . ,bl), bi =

b1i...bni

(1 ≤ i ≤ l)とすれば,

AB = A(b1, . . . ,bl) = (Ab1, . . . , Abl).

A =

(1 2 34 5 6

), B =

−1 −23 4−5 −6

= ( b1 , b2 ).

AB = A(b1,b2) = ( Ab1 , Ab2 ) =

(−10 −12−19 −24

).

星 明考 (新潟大学理学部数学プログラム) 数学基礎 B1 第2回 7 / 11

Page 26: はじめに 数学基礎 B1)mathweb.sc.niigata-u.ac.jp/~hoshi/2020/mathb1-2.pdf星 明考(新潟大学理学部数学プログラム) 数学基礎B1 第2回 5/11 より一般の場合

例A:m× n行列,B:n× l行列⇒ AB:m× l行列.

このとき,B = (b1, . . . ,bl), bi =

b1i...bni

(1 ≤ i ≤ l)とすれば,

AB = A(b1, . . . ,bl) = (Ab1, . . . , Abl).

A =

(1 2 34 5 6

), B =

−1 −23 4−5 −6

= ( b1 , b2 ).

AB = A(b1,b2) = ( Ab1 , Ab2 ) =

(−10 −12−19 −24

).

星 明考 (新潟大学理学部数学プログラム) 数学基礎 B1 第2回 7 / 11

Page 27: はじめに 数学基礎 B1)mathweb.sc.niigata-u.ac.jp/~hoshi/2020/mathb1-2.pdf星 明考(新潟大学理学部数学プログラム) 数学基礎B1 第2回 5/11 より一般の場合

例A:m× n行列,B:n× l行列⇒ AB:m× l行列.

このとき,B = (b1, . . . ,bl), bi =

b1i...bni

(1 ≤ i ≤ l)とすれば,

AB = A(b1, . . . ,bl) = (Ab1, . . . , Abl).

A =

(1 2 34 5 6

), B =

−1 −23 4−5 −6

= ( b1 , b2 ).

AB = A(b1,b2) = ( Ab1 , Ab2 ) =

(−10 −12−19 −24

).

星 明考 (新潟大学理学部数学プログラム) 数学基礎 B1 第2回 7 / 11

Page 28: はじめに 数学基礎 B1)mathweb.sc.niigata-u.ac.jp/~hoshi/2020/mathb1-2.pdf星 明考(新潟大学理学部数学プログラム) 数学基礎B1 第2回 5/11 より一般の場合

定理 1.3

(1) A:m× n行列,B:n× l行列,k:実数とすると,

A(kB) = (kA)B = k(AB).

(2) A:m× n行列,B:n× l行列,C:l × r行列とすると,

(AB)C = A(BC)

(3) A:m× n行列,B,C:n× l行列とすると,

A(B + C) = AB +AC

(4) A,B:m× n行列,C:n× l行列とすると,

(A+B)C = AC +BC

星 明考 (新潟大学理学部数学プログラム) 数学基礎 B1 第2回 8 / 11

Page 29: はじめに 数学基礎 B1)mathweb.sc.niigata-u.ac.jp/~hoshi/2020/mathb1-2.pdf星 明考(新潟大学理学部数学プログラム) 数学基礎B1 第2回 5/11 より一般の場合

定理 1.3

(1) A:m× n行列,B:n× l行列,k:実数とすると,

A(kB) = (kA)B = k(AB).

(2) A:m× n行列,B:n× l行列,C:l × r行列とすると,

(AB)C = A(BC)

(3) A:m× n行列,B,C:n× l行列とすると,

A(B + C) = AB +AC

(4) A,B:m× n行列,C:n× l行列とすると,

(A+B)C = AC +BC

星 明考 (新潟大学理学部数学プログラム) 数学基礎 B1 第2回 8 / 11

Page 30: はじめに 数学基礎 B1)mathweb.sc.niigata-u.ac.jp/~hoshi/2020/mathb1-2.pdf星 明考(新潟大学理学部数学プログラム) 数学基礎B1 第2回 5/11 より一般の場合

定理 1.3

(1) A:m× n行列,B:n× l行列,k:実数とすると,

A(kB) = (kA)B = k(AB).

(2) A:m× n行列,B:n× l行列,C:l × r行列とすると,

(AB)C = A(BC)

(3) A:m× n行列,B,C:n× l行列とすると,

A(B + C) = AB +AC

(4) A,B:m× n行列,C:n× l行列とすると,

(A+B)C = AC +BC

星 明考 (新潟大学理学部数学プログラム) 数学基礎 B1 第2回 8 / 11

Page 31: はじめに 数学基礎 B1)mathweb.sc.niigata-u.ac.jp/~hoshi/2020/mathb1-2.pdf星 明考(新潟大学理学部数学プログラム) 数学基礎B1 第2回 5/11 より一般の場合

定理 1.3

(1) A:m× n行列,B:n× l行列,k:実数とすると,

A(kB) = (kA)B = k(AB).

(2) A:m× n行列,B:n× l行列,C:l × r行列とすると,

(AB)C = A(BC)

(3) A:m× n行列,B,C:n× l行列とすると,

A(B + C) = AB +AC

(4) A,B:m× n行列,C:n× l行列とすると,

(A+B)C = AC +BC

星 明考 (新潟大学理学部数学プログラム) 数学基礎 B1 第2回 8 / 11

Page 32: はじめに 数学基礎 B1)mathweb.sc.niigata-u.ac.jp/~hoshi/2020/mathb1-2.pdf星 明考(新潟大学理学部数学プログラム) 数学基礎B1 第2回 5/11 より一般の場合

定理 1.3

(1) A:m× n行列,B:n× l行列,k:実数とすると,

A(kB) = (kA)B = k(AB).

(2) A:m× n行列,B:n× l行列,C:l × r行列とすると,

(AB)C = A(BC)

(3) A:m× n行列,B,C:n× l行列とすると,

A(B + C) = AB +AC

(4) A,B:m× n行列,C:n× l行列とすると,

(A+B)C = AC +BC

星 明考 (新潟大学理学部数学プログラム) 数学基礎 B1 第2回 8 / 11

Page 33: はじめに 数学基礎 B1)mathweb.sc.niigata-u.ac.jp/~hoshi/2020/mathb1-2.pdf星 明考(新潟大学理学部数学プログラム) 数学基礎B1 第2回 5/11 より一般の場合

定理 1.3

(1) A:m× n行列,B:n× l行列,k:実数とすると,

A(kB) = (kA)B = k(AB).

(2) A:m× n行列,B:n× l行列,C:l × r行列とすると,

(AB)C = A(BC)

(3) A:m× n行列,B,C:n× l行列とすると,

A(B + C) = AB +AC

(4) A,B:m× n行列,C:n× l行列とすると,

(A+B)C = AC +BC

星 明考 (新潟大学理学部数学プログラム) 数学基礎 B1 第2回 8 / 11

Page 34: はじめに 数学基礎 B1)mathweb.sc.niigata-u.ac.jp/~hoshi/2020/mathb1-2.pdf星 明考(新潟大学理学部数学プログラム) 数学基礎B1 第2回 5/11 より一般の場合

定理 1.3

(1) A:m× n行列,B:n× l行列,k:実数とすると,

A(kB) = (kA)B = k(AB).

(2) A:m× n行列,B:n× l行列,C:l × r行列とすると,

(AB)C = A(BC)

(3) A:m× n行列,B,C:n× l行列とすると,

A(B + C) = AB +AC

(4) A,B:m× n行列,C:n× l行列とすると,

(A+B)C = AC +BC

星 明考 (新潟大学理学部数学プログラム) 数学基礎 B1 第2回 8 / 11

Page 35: はじめに 数学基礎 B1)mathweb.sc.niigata-u.ac.jp/~hoshi/2020/mathb1-2.pdf星 明考(新潟大学理学部数学プログラム) 数学基礎B1 第2回 5/11 より一般の場合

定理 1.3

(1) A:m× n行列,B:n× l行列,k:実数とすると,

A(kB) = (kA)B = k(AB).

(2) A:m× n行列,B:n× l行列,C:l × r行列とすると,

(AB)C = A(BC)

(3) A:m× n行列,B,C:n× l行列とすると,

A(B + C) = AB +AC

(4) A,B:m× n行列,C:n× l行列とすると,

(A+B)C = AC +BC

星 明考 (新潟大学理学部数学プログラム) 数学基礎 B1 第2回 8 / 11

Page 36: はじめに 数学基礎 B1)mathweb.sc.niigata-u.ac.jp/~hoshi/2020/mathb1-2.pdf星 明考(新潟大学理学部数学プログラム) 数学基礎B1 第2回 5/11 より一般の場合

注意一般には,AB 6= BAである(非可換という)(AB = BAとは限らない,AB = BAのときもある)

A =

(1 20 1

), B =

(1 03 1

), C =

(1 00 1

).

AB =

(7 23 1

)6=

(1 23 7

)= BA, AC = CA = A.

星 明考 (新潟大学理学部数学プログラム) 数学基礎 B1 第2回 9 / 11

Page 37: はじめに 数学基礎 B1)mathweb.sc.niigata-u.ac.jp/~hoshi/2020/mathb1-2.pdf星 明考(新潟大学理学部数学プログラム) 数学基礎B1 第2回 5/11 より一般の場合

注意一般には,AB 6= BAである(非可換という)(AB = BAとは限らない,AB = BAのときもある)

A =

(1 20 1

), B =

(1 03 1

), C =

(1 00 1

).

AB =

(7 23 1

)6=

(1 23 7

)= BA, AC = CA = A.

星 明考 (新潟大学理学部数学プログラム) 数学基礎 B1 第2回 9 / 11

Page 38: はじめに 数学基礎 B1)mathweb.sc.niigata-u.ac.jp/~hoshi/2020/mathb1-2.pdf星 明考(新潟大学理学部数学プログラム) 数学基礎B1 第2回 5/11 より一般の場合

注意一般には,AB 6= BAである(非可換という)(AB = BAとは限らない,AB = BAのときもある)

A =

(1 20 1

), B =

(1 03 1

), C =

(1 00 1

).

AB =

(7 23 1

)6=

(1 23 7

)= BA,

AC = CA = A.

星 明考 (新潟大学理学部数学プログラム) 数学基礎 B1 第2回 9 / 11

Page 39: はじめに 数学基礎 B1)mathweb.sc.niigata-u.ac.jp/~hoshi/2020/mathb1-2.pdf星 明考(新潟大学理学部数学プログラム) 数学基礎B1 第2回 5/11 より一般の場合

注意一般には,AB 6= BAである(非可換という)(AB = BAとは限らない,AB = BAのときもある)

A =

(1 20 1

), B =

(1 03 1

), C =

(1 00 1

).

AB =

(7 23 1

)6=

(1 23 7

)= BA, AC = CA

= A.

星 明考 (新潟大学理学部数学プログラム) 数学基礎 B1 第2回 9 / 11

Page 40: はじめに 数学基礎 B1)mathweb.sc.niigata-u.ac.jp/~hoshi/2020/mathb1-2.pdf星 明考(新潟大学理学部数学プログラム) 数学基礎B1 第2回 5/11 より一般の場合

注意一般には,AB 6= BAである(非可換という)(AB = BAとは限らない,AB = BAのときもある)

A =

(1 20 1

), B =

(1 03 1

), C =

(1 00 1

).

AB =

(7 23 1

)6=

(1 23 7

)= BA, AC = CA = A.

星 明考 (新潟大学理学部数学プログラム) 数学基礎 B1 第2回 9 / 11

Page 41: はじめに 数学基礎 B1)mathweb.sc.niigata-u.ac.jp/~hoshi/2020/mathb1-2.pdf星 明考(新潟大学理学部数学プログラム) 数学基礎B1 第2回 5/11 より一般の場合

定義 (n次単位行列)

n次正方行列

En =

1 0 · · · 0

0 1. . .

......

. . .. . . 0

0 · · · 0 1

(対角成分が 1で他は 0)

をn次単位行列という.

E2 =

(1 00 1

), E3 =

1 0 00 1 00 0 1

, E4 =

1 0 0 00 1 0 00 0 1 00 0 0 1

.

星 明考 (新潟大学理学部数学プログラム) 数学基礎 B1 第2回 10 / 11

Page 42: はじめに 数学基礎 B1)mathweb.sc.niigata-u.ac.jp/~hoshi/2020/mathb1-2.pdf星 明考(新潟大学理学部数学プログラム) 数学基礎B1 第2回 5/11 より一般の場合

定義 (n次単位行列)

n次正方行列

En =

1 0 · · · 0

0 1. . .

......

. . .. . . 0

0 · · · 0 1

(対角成分が 1で他は 0)

をn次単位行列という.

E2 =

(1 00 1

), E3 =

1 0 00 1 00 0 1

, E4 =

1 0 0 00 1 0 00 0 1 00 0 0 1

.

星 明考 (新潟大学理学部数学プログラム) 数学基礎 B1 第2回 10 / 11

Page 43: はじめに 数学基礎 B1)mathweb.sc.niigata-u.ac.jp/~hoshi/2020/mathb1-2.pdf星 明考(新潟大学理学部数学プログラム) 数学基礎B1 第2回 5/11 より一般の場合

注意n次単位行列Enはかけても相手を変えない.

つまり,m× n行列Aに対して,AEn = EmA = A.

数の世界での単位元 “1”にあたる:a× 1 = 1× a = a.

星 明考 (新潟大学理学部数学プログラム) 数学基礎 B1 第2回 11 / 11

Page 44: はじめに 数学基礎 B1)mathweb.sc.niigata-u.ac.jp/~hoshi/2020/mathb1-2.pdf星 明考(新潟大学理学部数学プログラム) 数学基礎B1 第2回 5/11 より一般の場合

注意n次単位行列Enはかけても相手を変えない.

つまり,m× n行列Aに対して,AEn = EmA = A.

数の世界での単位元 “1”にあたる:a× 1 = 1× a = a.

星 明考 (新潟大学理学部数学プログラム) 数学基礎 B1 第2回 11 / 11

Page 45: はじめに 数学基礎 B1)mathweb.sc.niigata-u.ac.jp/~hoshi/2020/mathb1-2.pdf星 明考(新潟大学理学部数学プログラム) 数学基礎B1 第2回 5/11 より一般の場合

注意n次単位行列Enはかけても相手を変えない.

つまり,m× n行列Aに対して,AEn = EmA = A.

数の世界での単位元 “1”にあたる:a× 1 = 1× a = a.

星 明考 (新潟大学理学部数学プログラム) 数学基礎 B1 第2回 11 / 11