矩阵相乘取共轭_[张量系列DLC] 进阶指标运算 - 废除矩阵空间的固定对应

序言

在初阶理论 [東雲正樹：物理人的张量运算 / 爱因斯坦求和? 何为矩阵? 为何这样乘? 什么是张量? 什么又是线性空间?] 中, 我们介绍了矢量空间, 对偶矢量空间, 张量的概念与重复指标求和约定(也称之为上下重复指标缩并).

初阶理论有一大特点就是: 我们将矢量与列矩阵绑定, 而对偶矢量与行矩阵绑定. 即将矢量空间看作列矩阵空间, 而对偶矢量空间看作行空间, 并要求只有 (1,1) 型张量才能写为矩阵.

但这样的做法其实只是为了给你一个从矩阵运算升级到指标运算的适应过程罢了.

事实上你发现量子力学中将算符解释为方矩阵, 左矢解释为行矩阵, 右矢解释为列矩阵的做法的根本原因也是如此. 因为量子力学也只是一门初级科目, 既然线性代数里面那些矩阵的运算你是已经懂了的, 它就没必要给你讲张量这些有的没的, 更何况量子力学里面只有 (1,0), (0,1), (1,1) 三种型号的张量, 这和矩阵空间简直是天造地设的一对.

一般碰到这种结构我反手就上狄拉克符号.

但当我们习惯了指标缩并的运算逻辑并接受了各式各样不同型张量的存在之后, 我们完全可以将这种分量运算当作底层逻辑而抛弃老旧的矩阵空间对应理论. 那么这个想法是否切实可行呢?

验证这个想法的可行性同时抛弃老旧的矩阵空间对应理论正是本文的任务.

---

目録

1. 矩阵空间对应的张量理论观点

2. 废除矩阵空间对应

2.1. 动机与具体做法
2.2. 举例分析
2.3. 结论

3. 进阶玩法总结

---

1. 矩阵空间对应的张量理论观点

研究的对象是矢量空间

, 其中定义有内积

, 内积诱导出对偶空间

.

其实就是研究一个内积空间啦, 内积空间就是定义了内积的矢量空间(线性空间).

而我们当时为了最直观地构建张量的指标运算理论用到了如下的对应观点:

(1). 取了一组标准正交基

内积运算将诱导出对偶基

, 其中

.

(2). 翻译成矩阵后基底们表现为

.

(3). 分量表示张量, 即分别用

来表示

,

与

.

(4). 矩阵翻译要上下重复指标相连

.

(5). 转置

, 共轭

, 厄米共轭

.

我们当时为了将这个观点变得可信还花了不少精力去完整地解释了内部的对应逻辑. 这也导致我们当时强调说, 矩阵必须是 (1,1) 型张量, 而 (2,0) 与 (0,2) 型无法用矩阵表达.

但现在你已经能够接受指标运算的逻辑了, 所以我们就要用指标运算逻辑取代矩阵运算逻辑作为底层逻辑, 这样我们就进一步地抽象化了这个体系, 抽象作为代价给我们带来的是更高的操作自由度, 与更便捷的运算逻辑.

具体而言, 我们就是要删除列矩阵空间对应矢量空间, 行矩阵空间对应对偶矢量空间这个限制, 但翻译到矩阵还是要遵守上下重复指标要首尾相连这个约定, 事实上这个约定是万万不能删除的, 后面我们将看到这一点.

---

2. 废除矩阵空间对应

2.1. 动机与具体做法:

前面说受到

,