关于MacCluer《初等泛函分析》习题3.2(c)的技术问询

Hey 大家，最近刷MacCluer的《初等泛函分析》时碰到了习题3.2(c)，结合题目里给的术语定义，我来梳理下这个问题的解法思路——毕竟实线性和复线性泛函的转换是泛函分析里挺基础但关键的知识点。

首先先明确题目给出的核心定义：

若$X$是实或复向量空间，实值函数$\phi$满足对所有实标量$\alpha$和$x,y \in X$，有$\phi(x+y)=\phi(x)+\phi(y)$且$\phi(\alpha x)=\alpha\phi(x)$，则称$\phi$是实线性泛函；若$X$是复向量空间，复值函数$\phi$对所有复标量$\alpha$满足上述两个等式，则称$\phi$是复线性泛函。

习题3.2(c)的核心是解决复线性泛函与其实部的实线性泛函之间的双向转换问题，具体分为两个方向：

方向1：从复线性泛函推导实部的性质及表达式 #

假设$f$是复向量空间$X$上的复线性泛函，令$u(x) = \text{Re }f(x)$（即$f$的实部），我们需要证明两点：

• $u$是实线性泛函：
  因为$f$是复线性的，对任意实标量$\alpha$和$x,y \in X$：
  • $u(x+y) = \text{Re}[f(x+y)] = \text{Re}[f(x)+f(y)] = \text{Re}f(x) + \text{Re}f(y) = u(x)+u(y)$
  • $u(\alpha x) = \text{Re}[f(\alpha x)] = \text{Re}[\alpha f(x)] = \alpha \text{Re}f(x) = \alpha u(x)$（$\alpha$是实数，实部可直接提取）
    完全符合实线性泛函的定义。
• $f(x) = u(x) - i u(ix)$：
  把$f(x)$写成实部加虚部的形式：$f(x) = u(x) + i v(x)$，其中$v(x)$是$f(x)$的虚部。利用$f$的复线性性计算$f(ix)$：
  $f(ix) = i f(x) = i(u(x)+i v(x)) = -v(x) + i u(x)$
  同时$f(ix)$也可写成$u(ix) + i v(ix)$，对比实部可得$u(ix) = -v(x)$，即$v(x) = -u(ix)$。将其代回$f(x)$的表达式，就得到$f(x) = u(x) - i u(ix)$。

方向2：从实线性泛函构造复线性泛函 #

若$u$是复向量空间$X$上的实线性泛函，定义$f(x) = u(x) - i u(ix)$，我们需要验证$f$是复线性泛函：

• 可加性验证：
  $f(x+y) = u(x+y) - i u(i(x+y)) = [u(x)+u(y)] - i[u(ix)+u(iy)] = [u(x)-i u(ix)] + [u(y)-i u(iy)] = f(x)+f(y)$
  直接利用$u$的实线性性拆分即可。
• 复标量齐次性验证：
  设复标量$\alpha = a + ib$（$a,b$为实数），展开计算：
  $f(\alpha x) = u((a+ib)x) - i u(i(a+ib)x)$
  拆分实部项：
  • $u((a+ib)x) = u(ax + ibx) = a u(x) + b u(ix)$（$u$是实线性，$b$为实数可提取）
  • $u(i(a+ib)x) = u(iax - bx) = a u(ix) - b u(x)$（$i^2=-1$，同样用实线性拆分）
    代入后整理：
    $f(\alpha x) = [a u(x) + b u(ix)] - i[a u(ix) - b u(x)] = (a+ib)u(x) - i(a+ib)u(ix) = \alpha(u(x)-i u(ix)) = \alpha f(x)$
    齐次性得证。

这个转换关系是处理复向量空间泛函问题的常用技巧——把复线性泛函的问题转化为实部的实线性泛函问题，分析完再转回去，能简化不少复杂推导。

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