定义 5.1.1.
设 \(\alpha=(a_1,\dots,a_n)^T\in \R^n\)、\(\beta=(b_1,\dots,b_n)^T\in \R^n\)。\(\alpha\)与\(\beta\)的(标准)内积（也称点积、数量积），记做\(\alpha\cdot \beta\)，定义为
\begin{equation}
\alpha\cdot \beta \triangleq a_1b_1+\cdots+a_nb_n.\tag{5.1.1}
\end{equation}
节 5.1 标准内积及其几何意义
利用线性空间中的加法和数乘运算，我们熟悉的一些几何概念，如共线、共面等，已经较为完美地实现了代数化。但还有另外一些常用的几何概念，如长度、夹角等，只用这两种运算还不能进行有效描述。本章中，在加法和数乘这两种运算的基础上，我们将再引入一种新的运算——内积运算。利用内积运算，我们将实现长度、夹角等几何概念的代数化。
子节 5.1.1 标准内积的概念
我们先来给出标准内积运算的定义，然后再说明它的用途。
标准内积运算是定义在两个相同维数的向量间的，维数不同的向量不能进行标准内积运算。
记号上，标准内积运算和数乘运算定义中都使用了\(\cdot\)做为运算符。在实际使用过程中，容易根据上下文进行区分\(\cdot\)具体表示的是哪种运算。除非为了强调，数乘运算通常情况下省略运算符，而内积运算的正确写法不可以省略运算符。
备注 5.1.2.
这里我们使用"标准内积"是为了与后续将介绍的一般内积相区别。在未经说明的前提下，在\(\R^n\)上定义的内积默认为是标准内积，此时也将之直接简称为\(\R^n\)上的内积。标准内积也称为点积，可以认为是因为其使用的运算符记号是点\(\cdot\)；称为是数量积，则是因为其结果不再是一个向量，而是一个数量。
注意到定义式(5.1.1)的右端是两项相乘相加的形式，与矩阵乘法中元素的公式是类似的，所以内积也可以用矩阵乘法来进行表示：
\begin{equation*}
\alpha\cdot \beta = \alpha^T\beta=\beta^T\alpha.
\end{equation*}
矩阵的乘法也可以按照内积进行新的理解：设\(A\)和\(B\)是两个可乘的矩阵，对\(A\)做行分块，对\(B\)做列分块，记为
\begin{equation*}
A = \begin{pmatrix}
\alpha_1^T\\ \vdots\\ \alpha_m^T
\end{pmatrix},\quad B = (\beta_1,\dots,\beta_k),
\end{equation*}
则
\begin{equation*}
AB = \begin{pmatrix}
\alpha_1^T\beta_1 & \cdots & \alpha_1^T\beta_k\\
\vdots & \ddots & \vdots \\
\alpha_m^T\beta_1 & \cdots & \alpha_m^T\beta_k
\end{pmatrix} = (\alpha_i\cdot \beta_j)_{m\times k},
\end{equation*}
其中\(A\)和\(B\)的可乘性，即\(A\)的列数和\(B\)的行数相等，保证了\(\alpha_i\)和\(\beta_j\)都是同长的列向量，也就保证了内积运算的可行性。
根据定义，容易验证内积运算满足如下一些常用的运算规则。
定理 5.1.3.
设\(\alpha\)、\(\beta\)和\(\gamma\)是任给的\(\R^n\)中的列向量，\(c\)是一个实数。则内积运算满足下述运算性质：
- 交换性：\(\alpha\cdot \beta =\beta\cdot \alpha\)，
- 保加法：\((\alpha+\gamma)\cdot \beta = \alpha \cdot \beta +\gamma \cdot \beta\)，
- 保数乘：\((c\alpha)\cdot \beta=c(\alpha\cdot \beta)\)，
- 正定性：\(\alpha\cdot\alpha\ge 0\)，且\(\alpha\cdot\alpha= 0\)当且仅当\(\alpha =0\)。
交换性保证了内积运算中第一个列向量和第二个列向量的地位是等同的，于是保加法和数乘的性质也可写成：
- 保加法’：\(\alpha\cdot (\beta+\gamma) = \alpha \cdot \beta +\alpha\cdot\gamma\)，
- 保数乘’：\(\alpha\cdot (c\beta)=c(\alpha\cdot \beta)\)。
来看几个具体的例子。
例 5.1.4.
类似于线性空间，我们给出标准内积空间的严格定义。注意到内积运算实质上\(\R^n\times \R^n\to \R\)的一个映射，对于\(\R^n\)的一个线性子空间\(V\)，不同于加法和数乘运算，内积运算没有封闭性的问题。因此内积运算也可以局限定义在\(V\)上。
定义 5.1.5.
设\(V\)是\(\R^n\)的一个线性子空间。集合\(V\)，线性空间的加法运算、数乘运算，以及内积运算，这四者构成的整体称为标准内积空间。
习惯上，类似于线性空间，我们仍使用集合\(V\)的记号作为内积空间的表示记号。特别地，\(\R^n\)是我们最常用的内积空间。
内积空间是在线性空间基础上定义的，是特殊的线性空间，关于线性空间的所有定义，如维数、子空间、直和等，对于内积空间依然适用，这里不再一一列举。
子节 5.1.2 内积运算与长度
向量\(\alpha\)的长度也常被称作为范数，记做\(\|\alpha\|\)，这个概念是从我们熟悉的\(\R^2\)和\(\R^3\)中推广到一般\(\R^n\)所获得的。
当\(\alpha=(x,y)^T\in \R^2\)时，向量\(\alpha\)的长度可以被自然定义为坐标平面中坐标原点到点\((x,y)^T\)的距离，也就是\(\alpha\)作为有向线段时线段的长度，根据勾股定理，有公式
\begin{equation*}
\| \alpha\| = \sqrt{x^2+y^2}.
\end{equation*}
这个公式也可以作为\(\R^2\)中长度的定义式。类似地，当\(\alpha=(x,y,z)^T\in \R^3\)时，其长度的定义公式为
\begin{equation*}
\| \alpha\| = \sqrt{x^2+y^2+z^2}.
\end{equation*}
一个自然的推广，设\(\alpha=(a_1,\dots,a_n)^T\in \R^n\)，定义\(\R^n\)中向量\(\alpha\)的长度\(\|\alpha\|\)为
\begin{equation*}
\| \alpha\| = \sqrt{a_1^2+\cdots+a_n^2}.
\end{equation*}
由内积的定义，长度也可以由内积运算来定义：
\begin{equation*}
\|\alpha\| = \sqrt{a_1^2+\cdots+a_n^2}=\sqrt{\alpha\cdot \alpha}.
\end{equation*}
内积运算的正定性保证了开方运算的合理性，同时保证了只有0向量的长度是0。
利用保数乘的性质，易知向量长度满足下面的性质。
命题 5.1.6.
设\(\alpha\in \R^n\)是一个任意给定的列向量，\(c\)是一个任意实数，则
\begin{equation*}
\|c\alpha\| = |c| \|\alpha\|.
\end{equation*}
当一个列向量\(\alpha\)的长度为1，即\(\|\alpha\|=1\)时，称\(\alpha\)为单位向量。坐标平面\(\R^2\)中的所有单位向量（按点理解）构成了以原点为圆心半径为1的单位圆周，\(\R^3\)中的单位向量构成的则是单位球面。
对任意非零向量\(\alpha\)，\(\frac{\alpha}{\|\alpha\|}\)是单位向量。 称从非0向量\(\alpha\)得到单位向量\(\frac{\alpha}{\|\alpha\|}\)的过程为将\(\alpha\)单位化。记\(e_{\alpha} = \frac{\alpha}{\|\alpha\|}\)，称\(e_{\alpha}\)为非0向量\(\alpha\)的方向向量。
在接下来的讨论中，我们需要使用一个中学时学过的不等式，Cauchy不等式：
\begin{equation*}
(a_1b_1+\cdots +a_nb_n)^2\le (a_1^2+\cdots +a_n^2)(b_1^2+\cdots+b_n^2).
\end{equation*}
利用内积的语言，这个不等式可以被大大简化。
定理 5.1.7. Cauchy不等式.
对任意的\(\alpha ,\beta\in \R^n\)，总有
\begin{equation}
\left|\alpha\cdot\beta\right|\leq \|\alpha\| \|\beta\|.\tag{5.1.2}
\end{equation}
证明.
借助Cauchy不等式，我们可以给出一个关于长度的基本不等式，称为三角不等式。如下图所示，结合向量加法的三角形法则，列向量\(\alpha\)、\(\beta\)和\(\alpha+\beta\)可以构成一个三角形。
定理 5.1.9.
对任意的\(\alpha ,\beta\in \R^n\)，总有
\begin{equation*}
\|\alpha+\beta\| \le \|\alpha\| +\|\beta\|.
\end{equation*}
借助长度，我们可以给出\(\R^n\)中两点间距离的定义。
定义 5.1.10.
\(\R^n\)中的两个点\(\alpha\)和\(\beta\)间的距离，记做\(d(\alpha,\beta)\)，定义为
\begin{equation*}
d(\alpha,\beta)\triangleq \|\alpha-\beta\|.
\end{equation*}
子节 5.1.3 内积运算与夹角
\begin{equation*}
\|\alpha-\beta\|^2 = \|\alpha\|^2+\|\beta\|^2 -2\|\alpha\|\|\beta\|\cos\theta.
\end{equation*}
将等式左端长度用内积表示，然后展开可得
\begin{equation*}
\|\alpha\|^2- 2\alpha\cdot\beta+\|\beta\|^2
= \|\alpha\|^2+\|\beta\|^2 -2\|\alpha\|\|\beta\|\cos\theta.
\end{equation*}
整理后可得
\begin{equation*}
\alpha\cdot\beta = \|\alpha\|\|\beta\|\cos\theta.
\end{equation*}
利用这个式子，我们给出一般\(n\)维空间中两个向量夹角的定义。
定义 5.1.13.
设\(\alpha,\beta\in \R^n\)，\(0\le \theta\le \pi\)。若\(\theta\)满足
\begin{equation*}
\cos\theta = \frac{\alpha\cdot\beta}{\|\alpha\|\|\beta\|},
\end{equation*}
则称\(\theta\)是\(\alpha\)和\(\beta\)的夹角。
Cauchy不等式保证了
\begin{equation*}
-1\le \frac{\alpha\cdot\beta}{\|\alpha\|\|\beta\|}\le 1,
\end{equation*}
从而保证了夹角定义的合理性。
例 5.1.14.
计算向量\(\alpha = (1,0,1)^T\)和\(\beta = (0,1,1)^T\)的夹角。
