時間
10:20-15:00
参加者
- 伊藤
- サカモト
- zab
- nodomi
- やました
- 山下こうへい
- 山城
発表
第3章 6,7,8節 やました
- 行列とベクトルの積の定義
- 線型写像の行列の一意性の証明
- 線型写像から定まる行列の積の定義
- 線型写像の空間がベクトル空間になることの証明
- 命題 3.16の証明
- 定理 3.19の証明
話し合い
逆写像の定義は次のように書き換えられる．
定義
写像$f:X\to Y$に対して，$f\circ f' =\mathrm{id}_Y$かつ$f'\circ f=\mathrm{id}_X$となる写像$f':Y\to X$が一意に存在するとき，$f'$を逆写像という．
実際，写像$f:X\to Y$に対して，$f\circ f’ =\mathrm{id}_Y$かつ$f’\circ f=\mathrm{id}_X$となる写像$f’:Y\to X$が一意に存在することと，$f:X\to Y$が全単射であることは同値．
次回の範囲
- nodomi 第3章10,11,12,13節 10:00~