線型代数史の本として現時点で最良なのはブルバキ数学史なのかなあ