1. 時間 10:20-15:00 2. 参加者 伊藤 サカモト zab nodomi やました 山下こうへい 山城 3. 発表 第3章 6,7,8節 やました 行列とベクトルの積の定義 線型写像の行列の一意性の証明 線型写像から定まる行列の積の定義 線型写像の空間がベクトル空間になることの証明 命題 3.16の証明 定理 3.19の証明 4. 話し合い 逆写像の定義は次のように書き換えられる． {% include definition.html content=" 写像$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$が全単射であることは同値． 5. 次回の範囲 nodomi 第3章10,11,12,13節 10:00~