l2空间的完备性_群论(Group Theory)终极速成 / 群表示论下的正交性与完备性

序言

从这里开始就要采取上下重复指标求和约定来运算了, 如果你本来就很懂指标运算, 那即使与我的记号有一定出入也不会影响阅读. 不过我可能老会说一些类似于"用分量代表张量""张量这个张量那个"之类的黑话, 这些听不懂应该不影响啥, 如果真的好奇我这边的约定或不懂指标运算或者好奇张量是啥的可以看下文:

文章很长, 懒得看也没关系, 可以只看文中第三章第一节直接给出的符号系统操作手册.
東雲正樹：物理人的张量运算 / 爱因斯坦求和? 何为矩阵? 为何这样乘? 什么是张量? 什么又是线性空间?

还有个记号就是, 我们会用绝对值符号表示"这是一个数"或者说"对应的个数", 比如说群

的阶数写作

, 元素共轭类

中元素的个数写作

.

这一节会有些抽象, 但抽象 ≠ 难, 抽象只是会觉得有些陌生, 所以为了打破这种陌生感我后面可能老是会写完就拿狄拉克符号类比一下, 如果你是量子力学懂哥, 你大概会很感谢我选择这么做了, 如果你没学过量子力学, 你就当没看到吧哈哈, 就是说如果出现了

这样怪浪怪浪的符号你直接就跳过也没啥.

---

目録

5. 群表示论下的正交性与完备性

5.1. 特征标的基本属性
5.2. 表示矩阵元的正交性
5.3. 特征标的正交性
5.4. 插曲 A - 可约表示的分解
5.5. 表示矩阵元的完备性
5.6. 插曲 B - Ad 分解
5.7. 特征标的完备性
5.8. 完备性关系式

---

(1~3) 東雲正樹：群论(Group Theory)终极速成 / 物理系零基础火箭级 note

(4~4) 東雲正樹：群论(Group Theory)终极速成 / 群表示理论

(5~5) 東雲正樹：群论(Group Theory)终极速成 / 群表示论下的正交性与完备性

---

5. 群表示论下的正交性与完备性

开头先约定一下:

记有限群

的全体不等价不可约的幺正

^[1]表示为

,

┗ 同时约定

表示一维平凡表示.

5.1. 特征标的基本属性:

✦ 特征标

就是群表示矩阵

的迹, 即

.

上面这句话建立在

这个表示关系上, 其中

, 是一个任意的群元.

┣ 对

^[2]有

.

┣ 设

则有

, 这很显然, 因为 trace 就是求对角元和.

┗ 虽然很显然很懂的都懂但我还是要说一下, 上面都是对

都成立的.

✦ 特征标是一个类函数^[3]:

┣ 硬要严格一点儿来说的话, 这个其实只是将同类元素都映射到同一个复数上的群函数.
┣ 但很显然这能自然地诱导出一个

的类函数吧?

┗ 我一般会利用等式

定义真正的类函数特征标

.

✦ 你可以用特征标计算表示的维度:

, 其中

为单位元,

当然是单位阵.

✦ 正则表示的特征标:

正则表示的特征标比较奇妙, 所以专门写出来, 后面还会用到.
┣ 群

的正则表示由关系: 对

有

定义,

┣ 关系式中的

为表示空间

的基矢.

┣ 显然地, 与其它任何表示都一样, 对单位元

有

.

┣ 而一般群元的表示矩阵的特征标或者说迹就表达为:
┣

.

┗ 不难发现正则表示下只有单位元

对应表示矩阵的特征标不为零, 请记住这个结论

^[4].

✦ 本文目的是引入群论前五章最最最重要的结论, 即群表示论下的正交性与完备性:

记有限群

的全体不等价不可约幺正表示为

:

┣ (1). 表示矩阵元正交性:

.

┣ (2). 表示矩阵元完备性:

.

┣ (3). 特征标的正交性:

.

┗ (3). 特征标的完备性:

.

上述 (1),(2) 给出的是群函数空间的完备基; (3),(4) 给出的是群类函数空间的完备基.
┣ 然后我个人设立

┗ 就是为了能用上正交且归一的完备基组, 这是我个人的强迫症, 你们随意.

5.2. 表示矩阵元的正交性:

✦ 考虑有限群

的两个不可约表示

,

我们将证明一个超妈重要的式子:

.

上式不是表示的幺正性造成的, 实际上 5.2 节后半部分才用到幺正性, 单用幺正性只能得到:
┗

.

证明:

先构造一个

型且仅在第

行第

列不为

的矩阵

.

┣ 这个矩阵唯一的非零元是

, 怎么用分量表达它呢? 答案是