第八十七章 拓扑张量积与核空间