線型代数対話第5巻 整除・再帰・行列計算 －アルゴリズムの世界へ－
¥2,640 （税込）
西郷 甲矢人・能美 十三 共著 A5判／170頁
割り算から圏論へ
本書では，線型代数を「結果」ではなく「構造」として学びます．線型代数を「計算の道具」から「構造の学問」へと引き上げ，高校数学の延長にあるはずの割り算が，ここでは圏論と結びつき，行列の構造へと到達します．
【内容】 振り返り／証明の方針／反復の諸性質／定理の証明／割り算に関わる諸関数／割り算の再帰関数としての性質／割り算の再帰性に関する場合分け／再帰の反復としての和の割り算／和の割り算のための要素を用いた概観／和の割り算から余りの和の割り算へ／ 余りの和の割り算について／ 整除関係／整除関係の反射律／自然数対象の和，積に関する基本的な方程式／整除関係の反対称律／整除関係の推移律／整除関係と大小関係との間のつながり
