最后更新: 2025-11-29 16:29 查看: 461 次纠错评论(0) 课件开VIP

标准正交系

## 标准正交系
定义6．5 若 $f, g \in L^2$ 且 $\langle f, g\rangle=0$ ，则称 $f$ 与 $g$ 是正交的．若函数系 $\left\{\varphi_\alpha\right\} \subset$ $L^2$ ，其中的任意两个函数都是正交的，则称 $\left\{\varphi_\alpha\right\}$ 为 $L^2$ 的正交系；若还有 $\left\|\varphi_\alpha\right\|_2=1$对所有 $\alpha$ 成立，则称 $\left\{\varphi_\alpha\right\}$ 为 $L^2$ 的标准正交系．

若 $L^2$ 的正交系 $\left\{\varphi_\alpha\right\}$ 中的每一个 $\varphi_\alpha$ ，有 $\left\|\varphi_\alpha\right\|_2 \neq 0$ ，则 $\frac{\varphi_\alpha}{\left\|\varphi_\alpha\right\|_2}$ 的 $L^2$ 范数为 1 ，从而 $\left\{\frac{\varphi_a}{\left\|\varphi_\alpha\right\|_2}\right\}$ 就化成了标准正交系了．乘上一个因子后使范数化成了 1 ，我们说把它＂标准化＂了．这就是标准这个词的来源，以后，在正交系 $\left\{\varphi_\alpha\right\}$ 中总假定其不含零元，即 $\left\|\varphi_\alpha\right\|_2 \neq 0$ 。

例 5 在 $L^2(-\pi, \pi)$ 中，三角函数系
$$
\frac{1}{\sqrt{2 \pi}}, \frac{1}{\sqrt{\pi}} \cos x, \frac{1}{\sqrt{\pi}} \sin x, \cdots, \frac{1}{\sqrt{\pi}} \cos k x, \frac{1}{\sqrt{\pi}} \sin k x, \cdots
$$

组成一个标准的正交系．
在 $R ^n$ 中，当 $e_1, e_2, \cdots, e_n$ 是 $n$ 个互相正交的单位向量时， $R ^n$ 中任一向量 $x$均可惟一地表示为

$$
x =c_1 e _1+c_2 e _2+\cdots+c_n e _n
$$

其中 $c_k=\left\langle x , e _k\right\rangle$ 为 $R ^n$ 的内积，称为 $x$ 在基 $\left\{ e _{ k }\right\}_{k=1}^n$ 中的第 $k$ 个坐标．现在我们把这一事实推广到 $L^2$ 。

定义6．6 设 $\left\{\varphi_k\right\}_{k=1}^{\infty}$ 是 $L^2$ 的一组标准正交系，$f \in L^2$ ，称

$$
C_k=\left\langle f, \varphi_k\right\rangle
$$

为 $f$ 相对于 $\left\{\varphi_k\right\}$ 的第 $k$ 个坐标，或简称为坐标．
设 $\left\{\varphi_k\right\}_{k=1}^{\infty}$ 是 $L^2$ 的一组标准正交系，对任意 $\varphi_k$ 的有穷线性组合

$$
\sum_{k=1}^m C_k \varphi_k(x)
$$

它显然是 $L^2$ 的一个元 $f$ ．由 $\left\{\varphi_k\right\}$ 是标准正交系，知 $\left\langle f, \varphi_k\right\rangle=C_k$ ，即 $C_k$ 必是它的坐标．如果这是个无穷和，结果怎么样？但什么叫 $L^2$ 中的无穷和？仿照数学分析中的级数理论，我们有下面的定义．

定义6．7 设 $\left\{\varphi_k\right\}_{k=1}^{\infty}$ 是 $L^2$ 的一组标准正交系，$f \in L^2$ ．称级数 $\sum_{k=1}^{\infty} a_k \varphi_k$ 在 $L^2$ 收敛到 $f$ ，如果部分和序列 $S_m(x)=\sum_{k=1}^m a_k \varphi_k$ 在 $L^2$ 中收敛到 $f$ ，即

$$
\left\|S_m(x)-f\right\|_2=\left\|\sum_{k=1}^m a_k \varphi_k-f\right\|_2 \rightarrow 0 \quad(m \rightarrow \infty) .
$$

这时记

$$
\sum_{k=1}^{\infty} a_k \varphi_k=f\left(L^2\right)
$$

定理 6.7 设 $\left\{\varphi_k\right\}_{k=1}^{\infty}$ 是 $L^2$ 的一组标准正交系，级数 $\sum_{k=1}^{\infty} a_k \varphi_k$ 在 $L^2$ 收敛到 $f$ ，则

$$
a_k=\left\langle f, \varphi_k\right\rangle,
$$

即 $a_k$ 必是 $f$ 相对于 $\left\{\varphi_k\right\}$ 的第 $k$ 个坐标．
证明 对任意固定的 $k$ ，只要 $m>k$ ，便有

$$
\left\langle\sum_{j=1}^m a_j \varphi_j, \varphi_k\right\rangle=a_k .
$$

令 $m \rightarrow \infty$ 取极限，注意到内积的连续性，便得

$$
\left\langle f, \varphi_k\right\rangle=a_k . \square
$$

定理 6.7 表明，如果函数 $f \in L^2$ 可以如（11）那样，在 $L^2$ 中表示成一个级
数，则级数的系数必是 $f$ 的坐标．有些书称坐标为广义 Fourier 系数，而由 $f$ 的广义 Fourier 系数组成的级数

$$
\sum_{k=1}^{\infty} C_k \varphi_k \quad \text {, 其中 } C_k=\left\langle f, \varphi_k\right\rangle \text {, }
$$

称为 $f$ 的广义 Fourier 级数．这样，定理 6.7 也可以说成，若 $f$ 能在 $L^2$ 展开成如 （11）式那样的级数，则该级数必是 $f$ 的广义 Fourier 级数．
$R ^n$ 中的基由 $n$ 个向量组成，现在 $L^2$ 的标准正交系可由无穷个元组成（例如在 $L^2(-\pi, \pi)$ 中，三角函数系组成它的一组标准正交系，它由无穷个元组成，这时称 $L^2(-\pi, \pi)$ 是无穷维的）．这就产生了与 $R ^n$ 不同的新问题．

问题 $1 ^{\circ}$ 什么时候级数

$$
\sum_{k=1}^{\infty} a_k \varphi_k(x)
$$

表示 $L^2$ 的一个元？即这个级数什么时候在 $L^2$ 中收敛到一个函数 $f$ ？
问题 $2^{\circ}$ 是否 $L^2$ 中的每一个函数都有类似的级数表示？
下面我们来回答这两个问题．

## 标准正交系

这个概念是理解傅里叶分析、线性代数高级应用的核心。

### 一句话概括

**标准正交系就像一套“完美尺子和量角器”，它们彼此之间严格垂直（正交），并且长度都精确为1（标准）。用这套工具去测量或构建任何东西，都会变得异常简单、清晰。**

---

### 一个生动的比喻：乐高大师的积木库

想象你是一位乐高大师，想要拼出世界上任何复杂的模型（比如一条巨龙、一艘飞船）。你会希望你的积木库满足两个条件：

1.  **积木种类纯粹（正交）**：你希望有专门用来拼“长度”的长条积木，专门用来拼“高度”的厚积木，专门用来拼“弧度”的弧形积木。这些积木**功能明确，互不重叠**。你不会想要一种“又长又厚又带弧度”的奇怪积木，因为那样你就说不清它到底在模型中贡献了什么。
2.  **积木尺寸标准（标准）**：你希望所有同类型的积木都有一个统一的、最基本的“单位尺寸”（比如长度都是1个单元）。这样，当你需要2个单位长度时，就用2块长条积木；需要3个单位时，就用3块。计算起来非常方便。

这样一套**功能纯粹、尺寸标准**的积木集合，就是一个 **“标准正交积木库”**。

### 与数学概念的对应

现在，我们把乐高积木库映射到数学中的函数空间（比如L²空间）：

*   **乐高模型** = 空间中的任意一个函数 $f(x)$（比如一段复杂的声波）。
*   **一块积木** = 一个基本的**单位函数** $\mathbf{e}_n(x)$。
*   **“功能纯粹”（正交）** = 任意两块不同的积木（函数）的**内积**为零： $\langle \mathbf{e}_m, \mathbf{e}_n \rangle = 0 \quad (m \neq n)$。
    *   **内积为0的几何意义就是垂直**。这意味着这些基本函数代表的方向是完全没有关联的，就像x轴、y轴、z轴一样。
*   **“尺寸标准”（标准）** = 每一块积木（函数）自身的**长度（范数）** 为1： $\|\mathbf{e}_n\| = 1$。
    *   这保证了它们都是“单位向量”，是测量大小的基准。

所以，一个**标准正交系**就是一簇函数 $\{\mathbf{e}_1(x), \mathbf{e}_2(x), \mathbf{e}_3(x), ...\}$，它们满足：
1.  $\langle \mathbf{e}_m, \mathbf{e}_n \rangle = 0$ 当 $m \neq n$ （两两垂直，正交）
2.  $\|\mathbf{e}_n\| = 1$ （每个长度都为1，标准）

### 为什么标准正交系如此强大？

因为它让复杂的运算变得极其简单！

**1. 分解（傅里叶级数的思想）**
任何复杂的函数 $f(x)$（乐高巨龙），都可以用这套标准的积木来拼接（线性表示）：
$$
f(x) = c_1\mathbf{e}_1(x) + c_2\mathbf{e}_2(x) + c_3\mathbf{e}_3(x) + ...
$$
**那么，系数 $c_n$ 怎么求？简单到不可思议！**

因为积木是标准正交的，你想知道“这个模型里用了多少块第n种积木”（即系数 $c_n$），你只需要把**整个模型**和**那一块积木**做一个“匹配度检测”（内积）即可：
$$
c_n = \langle f, \mathbf{e}_n \rangle
$$
为什么会这么简单？因为当你用 $f$ 和 $\mathbf{e}_n$ 做内积时，由于正交性，其他所有 $\mathbf{e}_m (m \neq n)$ 的贡献都是0！由于标准性（长度为1），最后剩下的就是系数 $c_n$ 本身。

**如果没有正交性，这将会是一场灾难**。你想求 $c_1$，结果 $c_2, c_3, ...$ 都会冒出来干扰你，你需要解一个复杂的方程组。

**2. 勾股定理（计算总长度/总能量）**
函数的“能量”（范数的平方）可以直接用系数计算：
$$
\|f\|^2 = |c_1|^2 + |c_2|^2 + |c_3|^2 + ...
$$
这正是勾股定理在高维空间的推广！因为各个分量是垂直的，所以总长度的平方就等于各边长的平方和。

### 著名的例子

*   **三维空间**：向量 $\mathbf{i} = (1,0,0)$, $\mathbf{j} = (0,1,0)$, $\mathbf{k} = (0,0,1)$ 就是一个标准正交基。
*   **傅里叶级数**：函数集 $\{\frac{1}{\sqrt{2\pi}}, \frac{\cos(nx)}{\sqrt{\pi}}, \frac{\sin(nx)}{\sqrt{\pi}}, ...\}$ 是L²空间中的一个标准正交系。任何周期函数都可以分解为这些正弦和余弦波的叠加，系数就是傅里叶系数。

### 总结

**标准正交系**是一组“理想的基本构建单元”，它们因**正交性**而**互不干扰**，因**标准性**而**易于计算**。它为我们提供了一种清晰、高效的方式来**分解**、**分析**和**重构**复杂的信息，是从线性代数到信号处理等众多领域的基石概念。

科数题库(单机版) 会议室预约系统(book)

今日还可看 0 篇未注册用户每天查看4篇，注册用户每天8篇，开通VIP会员无限制查看。

免费注册

《高等数学》难点解析

高数教程 泰勒公式切线与法线切平面与法平面驻点·拐点·极值点·零点间断点渐进线瑕积分欧拉方程伯努利方程 Abel 收敛定理偏导数的几何意义偏导数的几何意义梯度数量场与向量场多元函数极值拉格朗日算子通量与散度环流量与旋度格林公式高斯公式斯托克斯公式三大公式比较傅里叶级数极坐标微元点法式方程变上限定积分 X型计算面积 Y型计算面积微分的意义渐近线间断点 y''+py'+qy=f(x)方程高斯黎曼傅里叶变换(复数) 拉普拉斯变换(复数)

《线性代数》难点解析

线代教程 近世代数对数学的整体思考线性的意义矩阵乘法(列视角) 矩阵乘法(行视角) 矩阵左乘矩阵右乘逆矩阵求解方程组阶梯形矩阵的求法方程组解的判定四阶行列式的计算线性变换的意义线性空间向量组的等价线性空间的几何意义基础解系的求法施密特正交化特征值与特征向量的意义矩阵相似的几何意义矩阵可对角化的理解秩的意义(向量版) 秩的意义(方程版) 二次型的意义

《概率论与数理统计》难点解析

概率教程 置信区间与上a分位数概率中的“取”与“放” 贝叶斯公式全概率公式泊松分布指数分布伽玛分布二维密度图的意义卷积的意义相关系数的意义 k阶矩是与矩母函数卡方分布的作用单正态区间估计理解假设检验理解切比雪夫不等式中心极限定理

上一篇： L2空间

下一篇： Bessel 贝塞尔不等式

本文对您是否有用？有用 (0) 无用 (0)