有限维酉G表示中共轭表示与对偶表示等价的形式化假设及问题澄清

咱们先把你的问题拆解清楚：你观察到有限维酉G表示里，共轭表示$\overline{D}$和对偶表示$D^*$是等价的，但不确定这个结论成立的形式化前提假设是什么，也想明确这个问题的核心诉求对吧？

首先明确你给出的定义（补全标准细节） #

• 酉G表示：$D: G \to Aut(V)$，其中$V$是有限维复内积空间，且对任意$g \in G$，$D(g)$是酉算子（即$D(g)^D(g) = D(g)D(g)^ = \text{id}_V$，这里$*$指内积下的伴随算子）。你提到的“拓扑对偶=代数对偶”在有限维空间自动成立，无需额外假设。
• 共轭表示：$\overline{D}: G \to Aut(\overline{V})$，$\overline{V}$是$V$的共轭复向量空间（实向量空间结构与$V$一致，但复乘法定义为$\lambda \cdot v = \overline{\lambda}v$，$\lambda \in \mathbb{C}, v \in \overline{V}$），$\overline{D}(g)$的作用为：对$\overline{v} \in \overline{V}$（对应$v \in V$），$\overline{D}(g)\overline{v} = \overline{D(g)v}$。
• 对偶表示：$D^: G \to Aut(V^)$，标准定义为：对任意$f \in V^$（$V$上的线性泛函）、$v \in V$，$(D^(g)f)(v) = f(D(g^{{-1})v)$，以此保证表示的群同态性质$D}(gh) = D^*(g)D(h)$。

结论成立的形式化假设 #

其实这个等价性成立的核心假设就是你一开始提到的“$D$是有限维酉G表示”，不需要额外条件：

• 必须是复内积空间：共轭表示、酉算子的定义都依赖复数结构；
• 必须是有限维：保证里斯表示定理能建立$V$和$V^*$的线性同构（无限维空间里拓扑对偶和代数对偶不一致，这个等价性不一定成立）；
• 必须是酉表示：这是连接共轭和对偶的关键——酉算子的逆等于它的伴随，即$D(g^{-1}) = D(g)^*$。

问题的核心诉求澄清 #

你本质上是在问：在上述假设下，为什么$\overline{D}$和$D^$这两个表示是等价的？也就是要构造一个线性同构$\Phi: \overline{V} \to V^$，使得对所有$g \in G$，$\Phi \circ \overline{D}(g) = D^*(g) \circ \Phi$（等变同构）。

这里的构造其实很直接：利用有限维复内积空间的里斯表示，对每个$\overline{v} \in \overline{V}$，定义$\Phi(\overline{v})(w) = \langle w, v \rangle$（$\langle \cdot, \cdot \rangle$是$V$上的内积）。你可以自行验证：

1. $\Phi$是$\overline{V}$到$V^*$的线性同构；
2. 对任意$g \in G$，$\Phi(\overline{D}(g)\overline{v})(w) = \langle w, D(g)v \rangle = \langle D(g^{-1})w, v \rangle = (D^*(g)\Phi(\overline{v}))(w)$，满足等变条件。

这样就证明了两个表示的等价性。

备注：内容来源于stack exchange，提问作者spiug