实部(real part)是复数中实数分量的称谓。对于任意复数 z=a+bi(其中 a,b 为实数,i 为虚数单位,满足 i2=−1),实部即 a,记作 Re(z) 或 ℜ(z)。与之相对的是虚部(imaginary part),即 b。实部的概念贯穿复分析的各个分支,在解析几何、信号处理、控制理论及量子力学等领域均有重要应用。理解实部的含义是学习复数运算的起点,也是连接实数世界与复数世界的关键桥梁。
定义与记号
设复数 z=x+yi,其中 x,y∈R,则实部定义为 Re(z)=x。复数也可通过极坐标表示为 z=reiθ(r≥0,θ∈R),此时实部为 Re(z)=rcosθ。从欧拉公式 eiθ=cosθ+isinθ 出发,容易验证两种定义完全等价。
常见记号包括:
- Re(z) —— 国际通用记法,来源于英文"real part";
- ℜ(z) —— 德语"Realteil"的缩写,常以哥特体字母 ℜ 表示,在数学文献中极为常见;
- R(z) —— 少数文献中使用的记法,多见于工程领域。
实部运算可视为从 C 到 R 的映射 Re:C→R,它不是一个全纯函数(因为它依赖于 zˉ),但它是实线性且连续的。从拓扑角度看,实部映射是复平面到实数轴的正交投影,其核为虚数轴方向的所有纯虚数。
基本性质
对于任意复数 z,w∈C,实部满足以下性质:
- 共轭对称性:Re(zˉ)=Re(z),其中 zˉ 表示 z 的共轭复数。这是因为共轭运算仅改变虚部的符号,对实部没有影响。
- 实线性:对任意 a,b∈R,有 Re(az+bw)=aRe(z)+bRe(w)。这说明实部是实数域上的线性泛函。
- 与共轭的关系:Re(z)=2z+zˉ。这一公式提供了仅通过代数运算获取实部的途径,在实际计算中非常实用。
- 模长关系:∣Re(z)∣≤∣z∣,等号当且仅当 z 为实数时成立。这一不等式表明实部的绝对值永远不会超过复数的模长。
- 三角不等式:∣Re(z+w)∣≤∣Re(z)∣+∣Re(w)∣,是三角不等式在实部上的直接推论。
- 乘法公式:一般情形下 Re(zw)=Re(z)Re(w),具体展开为 Re(zw)=Re(z)Re(w)−Im(z)Im(w)。这个公式与余弦的加法定理形式相似,并非巧合。
- 复合函数:若 f:C→C 是解析函数,则 Re(f(z)) 是调和函数,但不是解析函数(除非 f 为常数或实值函数)。
运算示例
设 z=3+4i,w=1−2i,则:
- Re(z)=3,Re(w)=1;
- z+w=4+2i,Re(z+w)=4=3+1,验证了加法线性;
- zw=(3+4i)(1−2i)=3−6i+4i−8i2=3−2i+8=11−2i,Re(zw)=11;
- 利用乘法公式:3×1−4×(−2)=3+8=11,结果一致。
几何意义
在复平面上,复数 z=x+yi 对应于点 (x,y)。实部 x 是此点在实轴(横轴)上的投影坐标。换言之,实部给出了复数到实轴的正交投影长度(带符号)。若将复平面视为 R2,则实部就是向量在 x 方向上的分量。
极坐标下,z=reiθ 的实部 rcosθ 可理解为以原点为起点、模长为 r、方向角为 θ 的向量在实轴上的投影。这一几何解释在物理学中描述简谐运动时尤为直观:位移 x(t)=Acos(ωt+φ) 实为复数 Aei(ωt+φ) 的实部。若考虑圆周运动,点在水平方向上的投影就是余弦函数,这正是简谐振动的运动学描述。
从变换的角度看,实部映射 Re:C→R 将复平面上所有点沿虚轴方向压缩到实轴上。它的水平集是平行于虚轴的直线族 {x+iy:x=常数},而梯度方向沿实轴。
与解析函数的关系
若复变函数 f(z)=u(x,y)+iv(x,y) 是解析的(全纯),则其实部 u(x,y) 与虚部 v(x,y) 满足柯西-黎曼方程:
∂x∂u=∂y∂v,∂y∂u=−∂x∂v.
柯西-黎曼方程揭示了解析函数实部与虚部之间的深层联系:它们不是相互独立的,而是通过偏微分方程组紧密耦合在一起。利用上述方程消去 v,可以证明 u 满足拉普拉斯方程:
∂x2∂2u+∂y2∂2u=0,
即 u 是调和函数。同理,v 也是调和函数,且 v 称为 u 的共轭调和函数。
反之,给定一个调和函数 u,在一定条件下(如单连通区域上)可以找到其共轭调和函数 v,使得 f=u+iv 为解析函数。这一性质在静电场、流体力学和热传导等物理问题中极为重要——势函数常对应某个解析函数的实部。
例题:由实部构造解析函数
已知 u(x,y)=x2−y2,求解析函数 f(z) 使得 Re(f)=u。
解:由柯西-黎曼方程,∂x∂u=2x=∂y∂v,故 v=2xy+φ(x);再由 ∂y∂u=−2y=−∂x∂v=−(2y+φ′(x)),得 φ′(x)=0,即 φ(x)=C(常数)。取 C=0,得 v=2xy,于是 f(z)=x2−y2+2xyi=(x+yi)2=z2。验证确实成立。
应用举例
信号处理
在傅里叶分析中,实信号 x(t) 的傅里叶变换 X(ω) 满足 X(−ω)=X(ω),因此其实部 Re(X(ω)) 是 ω 的偶函数。这一对称性大幅降低了计算复杂度——实际系统往往只存储和计算正频率部分的实部,负频率部分可由对称性直接推导。在数字信号处理中,快速傅里叶变换算法充分利用了这一性质来减少运算量。
控制理论
传递函数 G(s) 的频率响应 G(iω) 的实部与虚部分别对应系统的同相分量与正交分量。奈奎斯特稳定性判据正是基于实部与虚部在复平面上的轨迹进行判定的。具体而言,当系统开环传递函数的奈奎斯特曲线绕 (−1,0) 点的圈数满足特定条件时,闭环系统稳定。这里的横坐标正是频率响应的实部,其物理意义是系统的同相增益。
量子力学
波函数 ψ(x,t) 一般为复值函数,测量到的概率密度为 ∣ψ∣2,而期望值 ⟨x⟩=∫x∣ψ∣2dx 涉及波函数的实部与虚部。薛定谔方程的解中,实部与虚部共同决定了量子态的演化。在路径积分表述中,传播子 ⟨xf∣e−iHt/ℏ∣xi⟩ 的实部与虚部对应量子干涉的相位信息,直接决定了干涉条纹的可见度。
电路分析
在交流电路理论中,电压和电流用复数表示:V~=V0ei(ωt+φ),实际物理量取其实部:V(t)=Re(V~)。电阻、电容和电感元件的阻抗分别为实数、负虚数和正虚数,串联和并联电路的阻抗计算可简化为复数代数运算。这种表示法将微分方程转化为代数方程,极大简化了分析过程。
实部与虚部的比较
| 特征 | 实部 | 虚部 | |------|------|------| | 记法 | Re(z) | Im(z) | | 对 z=x+yi | x | y | | 极坐标形式 | rcosθ | rsinθ | | 共轭变换 | 不变 | 变号 | | 全纯性 | 非全纯 | 非全纯 | | 是否为调和函数 | 是(对于解析函数) | 是(对于解析函数) | | 几何意义 | 实轴投影 | 虚轴投影 | | 物理常见含义 | 同相分量 | 正交分量 |
历史简述
复数概念最早可追溯到 16 世纪意大利数学家卡丹诺(Gerolamo Cardano)在解三次方程时的讨论。然而,实部与虚部的明确区分直到 18 世纪才由欧拉(Leonhard Euler)和棣莫弗(Abraham de Moivre)系统化。欧拉在 1748 年发表的《无穷小分析引论》中正式引入了 a+bi 的记法,并将 a 和 b 分别称为"实部"和"虚部"。此后,高斯(Carl Friedrich Gauss)在 1831 年给出了复数的几何解释,实部与虚部因此获得了直观的几何意义——它们分别对应复平面上点的横坐标与纵坐标。这一几何图像极大地推动了复分析在 19 世纪的蓬勃发展,也使得实部的概念从纯粹的代数符号升华为具有明确几何和物理含义的基本量。
综上,实部作为复数最基本的构成要素之一,不仅在纯数学理论中占据核心地位,也是连接复数运算与工程实践的重要桥梁。从代数性质到几何投影,从解析函数的边界值问题到物理系统的频域分析,对实部的深刻理解是掌握复分析及其应用的关键一步。无论是初学者首次接触复数,还是工程师利用复数工具解决实际问题,实部始终是不可忽视的基础概念。