Strongart数学笔记：线性代数不是代数.pdf

线性代数不是代数 Linear algebra is not an algebra. ——Strongart 最近在录Banach代数的视频中忽然有了新的感悟，原来我们通 常所说的线性代数（或高等代数），其实根本就算不上是代数，只能 说是代数出现之前的预备结构而已。 对于代数，我们一般有广义和狭义的两种理解，广义的代数就是 与几何一样作为大学科分支的代数，更适合被尊称为代数学；狭义是 代数则是指在模上的一类专门的代数结构。一般而言，在比较高级的 数学中，特别是进入到抽象代数的领域后，所使用的代数都是狭义的 代数，像交换环上的代数、Banach代数、李代数等等；只有在一些 比较大的场合或者比较初等的部分，才笼统的使用广义的代数。对于 这里的线性代数，明显就有一个抽象代数的暗示，因此还是用狭义的 代数比较合适，可遗憾的是线性代数作为狭义的代数还真就构不成代 数。 为什么说线性代数构不成代数呢？我们先从代数的概念讲起了 吧，笼统的说所谓模就是一个系数环作为车头带着一个作为车尾的交 换群，满足一些自然的代数运算法则，假若在车尾的交换群上另外定 义一个满足自然运算法则的乘积，那么就称其为一个代数。假若这个 模的作为车头的系数环其实