问题 1

Example 4.1.2. Polynomials The set of all polynomials with real coefficients, denoted $\mathbb{R}[x]$, forms a vector space. Addition and scalar multiplication are defined term by term.

例 4.1.2. 多项式 所有实系数多项式的集合，记为 $\mathbb{R}[x]$ ，构成一个向量空间。加法和标量乘法是逐项定义的。

$\mathbb{R}[x]$ 是一种特殊表示法，它的含义是“所有实系数多项式的集合”。例如，像 $p(x)=3x^2+2x-1$ 和 $q(x)=\frac{1}{2}{x}^3+5$ 这样的多项式都属于这个集合，因为它们的系数（3, 2, -1, 1/2, 5）都是实数。

加法和标量乘法定义

这段话特别强调了加法和标量乘法是“term by term”（逐项）定义的。这是理解多项式如何成为向量空间的关键：

• 加法：当你将两个多项式相加时，你需要将对应项的系数相加。例如： $$(3x^2+2x+1)+(x^2+5x)=(3+1)x^2+(2+5)x+1=4x^2+7x+1$$

  结果仍然是一个实系数多项式，所以它满足向量加法的要求。

• 标量乘法：当你用一个实数（标量）乘以一个多项式时，你需要将这个实数乘以多项式中的每一项的系数。例如，用标量 2 乘以多项式 $3x^2+2x+1$： $$2\cdot (3x^2+2x+1)=(2\cdot 3)x^2+(2\cdot 2)x+(2\cdot 1)=6x^2+4x+2$$

  结果仍然是一个实系数多项式，所以它满足标量乘法的要求。

问题 2

Example 4.1.3. Functions The set of all real-valued functions on an interval, e.g. $f:[0,1]\to \mathbb{R}$, forms a vector space, since functions can be added and scaled pointwise.

例 4.1.3. 函数 区间上的所有实值函数的集合，例如 $f:[0,1]\to \mathbb{R}$ ，形成一个向量空间，因为函数可以逐点添加和缩放。

这句话的意思是：函数本身也可以看成“向量”，因为在函数的集合里，加法和数乘依然可以像在 ${\mathbb{R}}^n$ 中那样定义，并且满足向量空间的规则。

具体拆解：

1. 对象是谁？ 这里的向量空间是所有定义在区间 $[0,1]$ 上、取实数值的函数集合：

   $$V=\{f\mid f:[0,1]\to \mathbb{R}\}.$$

2. 加法怎么定义？ 对于任意两个函数 $f,g\in V$，我们定义它们的和为一个新函数：

   $$(f+g)(x)=f(x)+g(x),\forall x\in [0,1].$$

   这叫做逐点加法，意思是对区间里的每个点 $x$，函数值相加。

3. 数乘怎么定义？ 对于任意标量 $\alpha \in \mathbb{R}$ 和函数 $f\in V$，定义：

   $$(\alpha f)(x)=\alpha \cdot f(x),\forall x\in [0,1].$$

4. 为什么是向量空间？

   • 有零函数 $0(x)=0$，它是“零向量”。
   • 加法满足交换律和结合律。
   • 数乘和加法满足分配律。
   • 每个函数 $f$ 都有“相反函数” $-f$。 所以完全符合向量空间的八条公理。

直观理解 你可以把函数看作是“无限维的向量”。

• 在 ${\mathbb{R}}^n$ 里，一个向量是 $n$ 个实数的有序数组。
• 在函数空间里，一个函数相当于给区间 $[0,1]$ 上的每个点 $x$ 分配一个值 $f(x)$。这就像是一个“无限长的坐标表”。

所以函数的集合就是一个向量空间，只不过它的维度通常是无限的。

问题 3

例 4.2.2. ${\mathbb{R}}^3$ 中的 x-y 平面 该集合

$$W=\{(x,y,0)\mid x,y\in \mathbb{R}\}$$

is a subspace of ${\mathbb{R}}^3$. It is the collection of all vectors lying in the plane through the origin parallel to the x–y plane.

是 ${\mathbb{R}}^3$ 的一个子空间。它是位于通过原点并平行于 x-y 平面的平面内的所有向量的集合。

1. 概念解析

• ${\mathbb{R}}^3$：代表一个三维空间，也就是我们平时所说的由x轴、y轴和z轴构成的空间。这个空间中的每个点或向量都可以用一个三个坐标的有序三元组 $(x,y,z)$ 来表示，其中 $x,y,z$ 都是实数。

• 子空间 (Subspace)：一个向量空间的子集，如果它本身也构成一个向量空间，那么就称之为原向量空间的子空间。要证明一个子集是子空间，通常需要验证三个条件：

  1. 零向量必须包含在子集中。
  2. 加法封闭：子集内任意两个向量相加，结果仍然在这个子集内。
  3. 标量乘法封闭：子集内任意一个向量乘以任意一个标量（实数），结果仍然在这个子集内。

• 集合 $W$： $$W=\{(x,y,0)\mid x,y\in \mathbb{R}\}$$ 这个集合 $W$ 包含了所有第三个坐标（z坐标）为0的向量。这意味着这些向量的终点都在一个特定的平面上。

• “the plane through the origin parallel to the x–y plane”：

  • “x–y plane”：这是指由x轴和y轴构成的平面，它的方程是 $z=0$。
  • “parallel to the x–y plane”：表示与x-y平面平行。
  • “through the origin”：表示穿过原点 $(0,0,0)$。

2. 核心理解

这段话是在说：集合 $W$ 实际上就是三维空间 ${\mathbb{R}}^3$ 中的x-y平面。这个x-y平面是一个子空间。

我们可以通过验证子空间的三个条件来确认这一点：

1. 零向量：集合 $W$ 包含零向量 $(0,0,0)$ 吗？是的，当 $x=0,y=0$ 时，我们得到向量 $(0,0,0)$，它在 $W$ 中。

2. 加法封闭：我们取 $W$ 中的两个任意向量 $\mathbf{u}=(x_1,y_1,0)$ 和 $\mathbf{v}=(x_2,y_2,0)$。它们的和是： $$\mathbf{u}+\mathbf{v}=(x_1+x_2,y_1+y_2,0+0)=(x_1+x_2,y_1+y_2,0)$$ 结果向量的z坐标仍然是0，所以它也在 $W$ 中。

3. 标量乘法封闭：我们取 $W$ 中的一个任意向量 $\mathbf{u}=(x,y,0)$ 和一个任意实数 $c$。它们的标量乘法是： $$c\cdot \mathbf{u}=c\cdot (x,y,0)=(cx,cy,c\cdot 0)=(cx,cy,0)$$ 结果向量的z坐标仍然是0，所以它也在 $W$ 中。

因为 $W$ 满足这三个条件，所以它是一个子空间。

3. 直观理解

将 $W$ 视为一个几何对象，它就是三维空间 ${\mathbb{R}}^3$ 中的一个平面。这个平面穿过原点，并且完全躺在x轴和y轴所在的平面上。这个平面包含了x轴和y轴上的所有向量。

可以的。为了更形象地展示，我们可以用Python的matplotlib库来绘制三维空间中的x-y平面。

下面是一个Python代码示例，它将绘制一个三维坐标系，并在其中用一个半透明的平面来表示x-y平面，也就是我们讨论的子空间 $W$。

import matplotlib.pyplot as plt
import numpy as np

# 创建一个3D图形
fig = plt.figure(figsize=(8, 8))
ax = fig.add_subplot(111, projection='3d')

# 定义x-y平面的网格
x_vals = np.linspace(-5, 5, 100)
y_vals = np.linspace(-5, 5, 100)
X, Y = np.meshgrid(x_vals, y_vals)
Z = 0 * X + 0 * Y  # z坐标始终为0

# 绘制x-y平面
ax.plot_surface(X, Y, Z, alpha=0.5, color='lightblue', label='x-y plane')

# 绘制坐标轴
ax.quiver(0, 0, 0, 5, 0, 0, color='red', arrow_length_ratio=0.1, label='x-axis')
ax.quiver(0, 0, 0, 0, 5, 0, color='green', arrow_length_ratio=0.1, label='y-axis')
ax.quiver(0, 0, 0, 0, 0, 5, color='blue', arrow_length_ratio=0.1, label='z-axis')

# 添加标签和标题
ax.set_xlabel('X axis')
ax.set_ylabel('Y axis')
ax.set_zlabel('Z axis')
ax.set_title('The x-y plane as a subspace in R^3')

# 添加一个位于平面上的向量，以表示集合中的元素
ax.quiver(0, 0, 0, 3, 4, 0, color='purple', arrow_length_ratio=0.1, label='A vector in W')
ax.text(3, 4, 0.5, '(3, 4, 0)', color='purple')

# 设置图例
ax.legend()

# 显示图形
plt.show()

代码解析与效果

运行这段代码后，你会看到一个三维坐标系。

• 浅蓝色平面：这个平面就是x-y平面，它代表了我们讨论的子空间 $$\begin{gathered} W=(x,y,0) \\ midx,y \\ in \\ mathbbR \end{gathered}$$。它的特点是所有点的 z坐标都为0。
• 红色、绿色、蓝色箭头：分别代表 x轴、y轴和z轴，它们构成了整个三维空间 $mathbb{R}^3$。
• 紫色箭头：这是一个从原点出发，指向点 $(3,4,0)$ 的向量。你可以清楚地看到，这个向量完全位于浅蓝色的平面上，这形象地说明了 $W$ 中的所有向量都躺在这个平面里。

通过这张图，你可以直观地理解，子空间 $W$ 并不是整个三维空间，它只是三维空间中一个特殊的、穿过原点的“扁平”部分。它本身是一个二维空间（因为它由x和y两个自由度决定），但它被“嵌入”到了一个三维空间中。

问题 4

Example 4.2.3. Null space of a matrix For a matrix $A\in {\mathbb{R}}^{m\times n}$, the null space

例 4.2.3. 矩阵的零空间 对于矩阵 $A\in {\mathbb{R}}^{m\times n}$ ，零空间

$$\{\mathbf{x}\in {\mathbb{R}}^n\mid A\mathbf{x}=0\}$$

is a subspace of ${\mathbb{R}}^n$. This subspace represents all solutions to the homogeneous > system.

是 ${\mathbb{R}}^n$ 的一个子空间。该子空间表示齐次系统的所有解。

1. 概念理解：什么是零空间？

对于一个矩阵 $A$，它的零空间（null space），记作 $\text{null}(A)$，是所有满足方程 $A\mathbf{x}=0$ 的向量 $\mathbf{x}$ 的集合。

• 这里的 $A$ 是一个 $m\times n$ 的矩阵。
• $\mathbf{x}$ 是一个 $n$ 维向量。
• $0$ 是一个 $m$ 维零向量。

简单来说，零空间就是矩阵 $A$ 将哪些向量“压缩”到了原点。你可以把矩阵 $A$ 看作一个线性变换，它把 $n$ 维空间中的向量 $\mathbf{x}$ 映射到 $m$ 维空间中。零空间就是那些在变换后，其终点正好落在 $m$ 维空间原点的所有向量的集合。

重要的是，零空间是一个子空间。这意味着它本身是一个“小”的向量空间，包含原点，并且对加法和标量乘法封闭。例如，如果两个向量都属于零空间，那么它们的和也属于零空间；如果一个向量属于零空间，那么它乘以任何一个常数也还在零空间里。

2. 演示和可视化

我们来考虑一个具体的例子。设矩阵 $A$ 为：

$$A=\left(\begin{array}{cc}1& 1\\ 2& 2\end{array}\right)$$

这是一个 $2\times 2$ 的矩阵，它将二维平面 ${\mathbb{R}}^2$ 中的向量映射到二维平面 ${\mathbb{R}}^2$ 中。

我们来解 $A\mathbf{x}=0$，也就是：

$$\left(\begin{array}{cc}1& 1\\ 2& 2\end{array}\right)\left(\begin{array}{c}{x}_1\\ x_2\end{array}\right)=\left(\begin{array}{c}0\\ 0\end{array}\right)$$

这对应一个方程组： $$\{\begin{array}{l}{x}_1+x_2=0\\ 2x_1+2x_2=0\end{array}$$ 这两个方程是等价的，都简化为 $x_1+x_2=0$，即 $x_2=-x_1$。 所有满足这个条件的向量 $\mathbf{x}=\left(\begin{array}{c}{x}_1\\ x_2\end{array}\right)$ 都属于零空间。 我们可以表示为 $\mathbf{x}=\left(\begin{array}{c}{x}_1\\ -x_1\end{array}\right)=x_1\left(\begin{array}{c}1\\ -1\end{array}\right)$。 这意味着零空间是由向量 $\left(\begin{array}{c}1\\ -1\end{array}\right)$ 张成的一条直线。

下面我们用代码来可视化这个过程。我们将绘制出几个向量在矩阵 $A$ 作用前后的变化，以此来展示哪些向量被“压缩”到了原点。

Python代码

我们将使用 numpy 和 matplotlib 来绘制这个过程。

import numpy as np
import matplotlib.pyplot as plt

# 定义矩阵 A
A = np.array([[1, 1],
              [2, 2]])

# 定义零空间中的一个向量 (满足 x2 = -x1)
# 这是一个在 y = -x 这条直线上的向量
x_in_null_space = np.array([2, -2])

# 定义一个不在零空间中的向量
x_not_in_null_space = np.array([1, 2])

# 计算这两个向量经过矩阵 A 变换后的结果
Ax_in_null_space = A @ x_in_null_space
Ax_not_in_null_space = A @ x_not_in_null_space

# --- 可视化 ---
fig, (ax1, ax2) = plt.subplots(1, 2, figsize=(12, 6))

# 子图1：原始向量
ax1.set_title('Original Vectors in R^2')
ax1.set_xlim(-3, 3)
ax1.set_ylim(-3, 3)
ax1.grid(True)
ax1.axhline(0, color='black', linewidth=0.5)
ax1.axvline(0, color='black', linewidth=0.5)
ax1.set_aspect('equal', adjustable='box')

# 绘制零空间
x_vals = np.linspace(-3, 3, 10)
ax1.plot(x_vals, -x_vals, linestyle='--', color='gray', label='Null Space (y = -x)')

# 绘制零空间向量
ax1.quiver(0, 0, x_in_null_space[0], x_in_null_space[1], angles='xy', scale_units='xy', scale=1, color='red', label='A vector in Null Space')
ax1.text(x_in_null_space[0], x_in_null_space[1], '  (2, -2)', color='red')

# 绘制非零空间向量
ax1.quiver(0, 0, x_not_in_null_space[0], x_not_in_null_space[1], angles='xy', scale_units='xy', scale=1, color='blue', label='A vector NOT in Null Space')
ax1.text(x_not_in_null_space[0], x_not_in_null_space[1], '  (1, 2)', color='blue')

ax1.legend()

# 子图2：变换后的向量
ax2.set_title('Vectors After Transformation by Matrix A')
ax2.set_xlim(-1, 6)
ax2.set_ylim(-1, 6)
ax2.grid(True)
ax2.axhline(0, color='black', linewidth=0.5)
ax2.axvline(0, color='black', linewidth=0.5)
ax2.set_aspect('equal', adjustable='box')

# 绘制变换后的零空间向量（它被映射到原点）
ax2.quiver(0, 0, Ax_in_null_space[0], Ax_in_null_space[1], angles='xy', scale_units='xy', scale=1, color='red', label='Transformed Null Space Vector')
ax2.text(Ax_in_null_space[0], Ax_in_null_space[1], '  (0, 0)', color='red')

# 绘制变换后的非零空间向量
ax2.quiver(0, 0, Ax_not_in_null_space[0], Ax_not_in_null_space[1], angles='xy', scale_units='xy', scale=1, color='blue', label='Transformed Non-Null Space Vector')
ax2.text(Ax_not_in_null_space[0], Ax_not_in_null_space[1], '  (3, 6)', color='blue')

ax2.legend()
plt.tight_layout()
plt.show()

图像解析

运行上述代码，你将得到两张并排的图。

• 左图：显示了变换前的向量。

  • 灰色虚线：代表了矩阵 $A$ 的零空间，也就是 $y=-x$ 这条直线。
  • 红色箭头：是一个在零空间内的向量，它位于灰色虚线上。
  • 蓝色箭头：是一个不在零空间内的向量。

• 右图：显示了这些向量经过矩阵 $A$ 变换后的结果。

  • 红色箭头：它被“压缩”到了原点 $(0,0)$。这直观地展示了零空间中的向量在变换后都会变成零向量。
  • 蓝色箭头：它被映射到了一个新的位置 $(3,6)$。这说明不在零空间中的向量不会被压缩到原点。

这个例子清晰地展示了零空间的本质：它是所有被矩阵变换“消灭”到原点的向量所构成的子集，而这个子集本身也形成了一个子空间（在这个例子中是一条直线）。

问题 5

Subspaces capture the essential structure of linear problems. Column spaces, row spaces, and null spaces are all subspaces. Much of linear algebra consists of understanding how these subspaces intersect, span, and complement each other.

子空间捕捉了线性问题的本质结构。列空间、行空间和零空间都是子空间。线性代数的大部分内容都在于理解这些子空间如何相互交叉、延伸和互补。

子空间：线性问题的核心结构

这段话的精髓在于：子空间是理解和解决线性问题的基础，其中列空间、行空间和零空间尤其重要。线性代数的核心任务，就是弄清楚这些子空间如何相互交织、张成和互补。

1. 为什么子空间很重要？

你可以把子空间想象成一个更大的向量空间（比如三维空间 ${\mathbb{R}}^3$）内部的“特定区域”，这个区域本身也具有向量空间的完整结构（例如，它包含原点，并且对加法和标量乘法封闭）。

对于线性问题，特别是矩阵方程 $A\mathbf{x}=\mathbf{b}$，子空间为我们提供了一个几何视角来理解解的存在性和性质。

2. 三大核心子空间

对于一个矩阵 $A$（假设是 $m\times n$ 矩阵），它定义了从 $n$ 维空间到 $m$ 维空间的线性变换。这个变换中，有三个特别重要的子空间：

• 列空间（Column Space），记作 $\text{Col}(A)$：

  • 是什么？ 矩阵 $A$ 的列向量所能张成的所有向量的集合。
  • 意义？ 它代表了方程 $A\mathbf{x}=\mathbf{b}$ 所有可能的解，即所有可以被 $A$ 变换“到达”的向量 $\mathbf{b}$ 的集合。换句话说，它是矩阵 $A$ 线性变换的值域。

• 行空间（Row Space），记作 $\text{Row}(A)$：

  • 是什么？ 矩阵 $A$ 的行向量所能张成的所有向量的集合。
  • 意义？ 它位于输入空间 ${\mathbb{R}}^n$ 中，与列空间有着紧密的关系。一个关键的定理是：行空间的维度（秩）等于列空间的维度。

• 零空间（Null Space），记作 $\text{Null}(A)$：

  • 是什么？ 所有满足 $A\mathbf{x}=0$ 的向量 $\mathbf{x}$ 的集合。
  • 意义？ 它代表了齐次方程组 $A\mathbf{x}=0$ 的所有解。这些向量在经过矩阵 $A$ 的变换后，都被压缩到了原点。

3. 交、张、补：理解子空间的关系

这段话的最后一句是精髓：线性代数的核心，就在于理解这几个子空间如何相互作用。

• 交集 (Intersect)：两个子空间的交集包含同时属于这两个子空间的所有向量。一个最核心的结论是：矩阵的零空间与它的行空间是相互正交的。它们的交集只有零向量。这在几何上意味着，零空间中的任何向量都垂直于行空间中的任何向量。
• 张成 (Span)：一个子空间可以由一组基向量张成。例如，列空间就是由矩阵 $A$ 的列向量（或其简化形式）张成的。
• 互补 (Complement)：在向量空间中，我们通常谈论正交补。一个向量空间可以分解为两个相互正交的子空间的直和。例如，输入空间 ${\mathbb{R}}^n$ 可以被分解为行空间和零空间的直和。这意味着 ${\mathbb{R}}^n$ 中的任何向量 $\mathbf{x}$ 都可以唯一地表示为行空间中的一个向量 ${\mathbf{x}}_r$ 和零空间中的一个向量 ${\mathbf{x}}_n$ 之和，即 $\mathbf{x}={\mathbf{x}}_r+{\mathbf{x}}_n$。

总结：这些子空间就像是线性方程组的“DNA”。通过分析这些子空间，我们可以深入理解方程组的性质、解的存在性和唯一性，以及解的几何结构。这使得我们能够用强大的几何直觉来解决复杂的代数问题。

问题 6

The span is always a subspace of $V$, namely the smallest subspace containing those vectors.

张成始终是 $V$ 的子空间，即包含这些向量的最小子空间。

这是一个非常好的问题，它触及了“张成”概念的核心。

要理解为什么它是“最小”的，我们首先要弄清楚这里“最小”的含义：它不是指体积最小，而是指不包含任何多余向量。它是所有包含这组向量的子空间中，最“瘦身”的那一个。

用一个简单的例子来理解

想象你在三维空间 ${\mathbb{R}}^3$ 中有两个不共线的向量 ${\mathbf{v}}_1$ 和 ${\mathbf{v}}_2$。

1. 子空间的规则： 一个集合要成为子空间，必须满足两条重要的规则：

   • 对标量乘法封闭： 如果集合中有一个向量，那么它的所有倍数都必须在这个集合里。
   • 对向量加法封闭： 如果集合中有两个向量，那么它们的和也必须在这个集合里。

2. 张成（Span）的过程：

   • 你从 ${\mathbf{v}}_1$ 和 ${\mathbf{v}}_2$ 开始。
   • 为了满足规则，你必须把 ${\mathbf{v}}_1$ 的所有倍数（$c_1{\mathbf{v}}_1$）都包含进来，这形成了一条穿过原点的直线。
   • 同样，你必须把 ${\mathbf{v}}_2$ 的所有倍数（$c_2{\mathbf{v}}_2$）都包含进来，这又形成了另一条穿过原点的直线。
   • 现在，为了满足加法规则，你必须把这两条直线上任意两个向量的和（$c_1{\mathbf{v}}_1+c_2{\mathbf{v}}_2$）也包含进来。所有这些和向量构成的集合，正是一个穿过原点的平面。

3. 为什么这个平面是“最小”的？

   • 这个平面就是 $\text{Span}({\mathbf{v}}_1,{\mathbf{v}}_2)$。
   • 现在，假设有一个更大的子空间 $W$ 也包含了 ${\mathbf{v}}_1$ 和 ${\mathbf{v}}_2$。
   • 因为 $W$ 是一个子空间，它必须遵守上述两条规则。这意味着，如果 ${\mathbf{v}}_1$ 和 ${\mathbf{v}}_2$ 在 $W$ 中，那么它们的任何线性组合 $c_1{\mathbf{v}}_1+c_2{\mathbf{v}}_2$ 也必须在 $W$ 中。
   • 但是，所有这些线性组合正好构成了张成空间。所以，$W$ 必须包含整个张成空间。

这就是核心逻辑：张成空间包含了所有“被迫”必须包含的向量，因为它是由子空间规则直接推导出来的最小集合。任何其他包含原始向量的子空间，都必须遵守同样的规则，因此也必须包含张成空间。

所以，张成空间就像是容纳这组向量的“最小容器”，它不多不少，恰好是满足子空间要求所必需的集合。

就是说v1,v2是三维空间上从原点出发的两条线，完了两条线能确定一个平面，这个平面就是这两条线张成的空间？

是的，你的理解非常准确。

用更精确的数学语言来描述：

• 你的向量 ${\mathbf{v}}_1$ 和 ${\mathbf{v}}_2$ 是从三维空间原点出发的两条不共线的线。
• 这两条线可以确定一个唯一的平面，这个平面也穿过原点。
• 这个平面就是由 ${\mathbf{v}}_1$ 和 ${\mathbf{v}}_2$ **张成（span）**的子空间。

这个平面包含了所有向量 $c_1{\mathbf{v}}_1+c_2{\mathbf{v}}_2$ 的集合，其中 $c_1$ 和 $c_2$ 是任意实数。这个二维的平面，就是三维空间中的一个子空间。

就是这俩v1,v2能张成一个子空间，它也只能张成这一个子空间，这一个平面，确定的，唯一的，再张成就张成三维空间，四维空间了，所以这个平面是最小的子空间，对吗？

对，你的理解非常正确。

用一个更精炼的总结来概括你的思考：

1. 确定性：对于给定的两个不共线向量 ${\mathbf{v}}_1$ 和 ${\mathbf{v}}_2$，它们唯一确定了一个穿过原点的平面。这个平面就是它们的张成空间。
2. 不可再张大：你不能仅仅用这两个向量的线性组合来张成三维空间或更高维度的空间。因为所有这些线性组合的结果，都将始终位于你所确定的那个平面上。
3. 最小性：这个平面是所有包含 ${\mathbf{v}}_1$ 和 ${\mathbf{v}}_2$ 的子空间中最小的那一个。任何其他包含它们的子空间（例如整个 ${\mathbb{R}}^3$）都将必然包含这个平面。

所以，你完全抓住了核心：张成空间就是由这组向量“合法地”生成的所有向量的集合，不多也不少，因此它就是最小的。

问题 7

Example 4.3.1. In ${\mathbb{R}}^2$, $\text{span}(1,0)=\{(x,0)\mid x\in \mathbb{R}\},$ the x-axis. Similarly, $\text{span}\{(1,0),(0,1)\}={\mathbb{R}}^2.$

例 4.3.1。 在 ${\mathbb{R}}^2$ 中， $\text{span}(1,0)=\{(x,0)\mid x\in \mathbb{R}\},$ x 轴。同样， $\text{span}\{(1,0),(0,1)\}={\mathbb{R}}^2.$

张成（Span）

这段话的意思是：在二维空间 ${\mathbb{R}}^2$ 中，向量 $(1,0)$ 的张成就是由所有形如 $(x,0)$ 的向量组成的集合，也就是x轴。

1. 概念分解

• ${\mathbb{R}}^2$：二维空间，一个平面。
• 向量 $(1,0)$：一个从原点 $(0,0)$ 出发，指向点 $(1,0)$ 的向量。
• $\text{span}(1,0)$：这是由向量 $(1,0)$ 张成的所有向量的集合。根据张成的定义，它包含了这个向量的所有可能的标量乘积。
• $\{(x,0)\mid x\in \mathbb{R}\}$：这是一个数学集合表示法。它表示所有形如 $(x,0)$ 的向量，其中 $x$ 可以是任意实数。

2. 核心理解

这段话的核心是将抽象的“张成”概念与具体的几何图形联系起来。

• 从代数上看：$\text{span}(1,0)$ 的所有向量都可以表示为 $c\cdot (1,0)$，其中 $c$ 是任意实数。
  • 当 $c=1$ 时，我们得到 $(1,0)$。
  • 当 $c=2$ 时，我们得到 $(2,0)$。
  • 当 $c=-3$ 时，我们得到 $(-3,0)$。
  • 当 $c=0$ 时，我们得到 $(0,0)$，也就是原点。
• 从几何上看：所有这些向量的终点都在x轴上。因为它们的第二个坐标（y坐标）始终是0，而第一个坐标可以取任意实数值。因此，由这些点构成的图形就是一条贯穿原点的直线——x轴。

所以，这段话是说，向量 $(1,0)$ 的所有倍数所构成的集合，在几何上就是x轴这条直线。这条直线是 ${\mathbb{R}}^2$ 的一个子空间。

问题 8

解释线性独立，不共线，和垂直的区别和联系。

这三个概念都是用来描述向量之间关系的，但它们分别从不同的角度来定义这种关系。我们可以把它们理解成一个由弱到强的层级：垂直是不共线的一个特例，而不共线又是线性独立的一个特例。

1. 线性独立 (Linear Independence)

这是最基础、最普遍的代数概念。它适用于任意数量的向量。

• 定义：一组向量 $\{{\mathbf{v}}_1,{\mathbf{v}}_2,\dots ,{\mathbf{v}}_k\}$ 是线性独立的，意味着唯一能让它们的线性组合等于零向量的解是所有系数都为零，即 $c_1{\mathbf{v}}_1+c_2{\mathbf{v}}_2+\cdots +c_k{\mathbf{v}}_k=0$ 仅当 $c_1=c_2=\cdots =c_k=0$ 时成立。
• 几何意义：这组向量中，没有任何一个向量可以由其他向量的线性组合得到。它们没有“冗余”。

举例：在 ${\mathbb{R}}^3$ 中，三个位于同一个平面上的向量是线性相关的，因为其中一个向量可以由另外两个向量的组合得到。如果这三个向量不共面，那么它们就是线性独立的。

2. 不共线 (Non-collinearity)

这是一个几何概念，仅适用于两个向量。它是不共面概念在二维上的简化。

• 定义：两个向量 ${\mathbf{v}}_1$ 和 ${\mathbf{v}}_2$ 是不共线的，意味着它们不位于同一条直线上（除非它们是零向量）。
• 联系：对于两个非零向量来说，不共线和线性独立是等价的。如果两个向量线性独立，它们必然不共线；如果它们不共线，它们也必然线性独立。
• 区别：这是一个仅限于两个向量的术语。你不能说“三个向量不共线”，但可以讨论它们是否线性独立。

3. 垂直 (Orthogonality)

这是一个更强的几何概念，它意味着两个向量形成 90 度的夹角。

• 定义：两个向量 $\mathbf{u}$ 和 $\mathbf{v}$ 是垂直的，当且仅当它们的点积为零，即 $\mathbf{u}\cdot \mathbf{v}=0$。
• 联系：如果两个非零向量是垂直的，那么它们必然是线性独立的（因此也必然是不共线的）。因为如果它们是垂直的，它们不可能位于同一条直线上。
• 区别：线性独立只是说向量不重叠或不冗余，而垂直则是一个更严格的几何条件。两个向量可以线性独立，但并不垂直。例如，在二维平面上，向量 $(1,0)$ 和 $(1,1)$ 是线性独立的（它们不共线），但它们并不垂直，它们的夹角是45度。

总结表格

问题 9

线性代数里垂直和正交是同一个意思吗？

在绝大多数线性代数的语境中，垂直和正交是同一个意思，它们可以互换使用。

“正交”（Orthogonal）是一个更专业的数学术语，而“垂直”（Perpendicular）是更直观的几何术语。当涉及到向量时，这两个词都表示向量之间的夹角是 90 度。

为什么用两个词？

1. 几何直觉 vs. 代数推广：
   • 垂直 听起来更像我们在初高中几何里学的概念，比如“两条直线垂直”。它通常与我们直观的三维或二维空间联系在一起。
   • 正交 是对“垂直”概念的代数推广。它依赖于内积（或点积）这个运算。当两个向量的内积为零时，我们就说它们是正交的。
2. 适用范围：
   • 正交 这个词更常用于描述更抽象和高维的情况，比如在 $n$ 维向量空间或函数空间中。在这种情况下，“垂直”这个词可能就不那么直观了，但内积为零这个代数条件依然适用。
3. 更广的数学语境：
   • 正交 这个词也用于描述其他数学对象，比如正交矩阵、正交基等。这些概念都基于向量两两正交的性质。

简单来说，当你在线性代数中看到“正交”和“垂直”时，你可以把它们看作是同一个意思，都指向量的点积为零。但“正交”这个词更通用、更专业，也更常用于更抽象的数学环境中。

问题 10

Show that $(1,0,0)$, $(0,1,0)$, $(1,1,0)$ span the $xy$-plane in ${\mathbb{R}}^3$. Are they a basis?

证明 $(1,0,0)$ , $(0,1,0)$ , $(1,1,0)$ 在 ${\mathbb{R}}^3$ 中跨越 $xy$ -平面。它们是基吗？

好的，我们逐步分析：

1. 题目要求

集合

$$S=\{(1,0,0),(0,1,0),(1,1,0)\}$$

是否生成（span）${\mathbb{R}}^3$ 中的 $xy$ 平面？它们是否构成一个基（basis）？

2. span 的含义

$S$ 的 span 指的是所有由 $S$ 中向量的线性组合组成的集合：

$$\text{span}(S)=\{a(1,0,0)+b(0,1,0)+c(1,1,0)\mid a,b,c\in \mathbb{R}\}.$$

3. 计算 span

展开：

$$a(1,0,0)+b(0,1,0)+c(1,1,0)=(a+c,b+c,0).$$

所以

$$\text{span}(S)=\{(x,y,0)\mid x,y\in \mathbb{R}\}.$$

这正是 ${\mathbb{R}}^3$ 中的 $xy$ 平面。 ✅

4. 是否为基底？

一个基底需要满足：

1. 能生成所需空间；
2. 向量线性无关。

我们来看 $S$ 中的三个向量是否线性无关。 考虑

$$\alpha (1,0,0)+\beta (0,1,0)+\gamma (1,1,0)=(0,0,0).$$

展开：

$$(\alpha +\gamma ,\beta +\gamma ,0)=(0,0,0).$$

于是得到：

$$\alpha +\gamma =0,\beta +\gamma =0.$$

解得：

$$\alpha =-\gamma ,\beta =-\gamma .$$

所以只要取 $\gamma \ne 0$，就能得到非平凡解。例如 $(\alpha ,\beta ,\gamma )=(-1,-1,1)$. 因此三个向量线性相关。

5. 结论

• 这三个向量的确 生成了 $xy$ 平面。
• 但它们 不是基，因为数量多余，存在线性相关。
• $xy$ 平面的基底只需要两个向量，比如 $(1,0,0),(0,1,0)$。

问题 11

Find a basis for the line $\{(2t,-3t,t):t\in \mathbb{R}\}$ in ${\mathbb{R}}^3$.

找出 ${\mathbb{R}}^3$ 中直线 $\{(2t,-3t,t):t\in \mathbb{R}\}$ 的基。

好的，我们一步步来看：

1. 给定集合

题目中的直线是

$$L=\{(2t,-3t,t)\mid t\in \mathbb{R}\}.$$

2. 化简

注意到：

$$(2t,-3t,t)=t(2,-3,1).$$

也就是说，这条直线上的每一个向量，都是向量 $(2,-3,1)$ 的数倍。

3. 空间维度

这说明直线 $L$ 是一个一维子空间（通过原点）。

4. 基

一个一维空间的基底只需要一个非零向量。 这里，$(2,-3,1)$ 就可以作为基底。

所以，直线 $L$ 的基是

$$\{(2,-3,1)\}.$$

✅ 结论：基为 $\{(2,-3,1)\}$。

问题 12

Determine the dimension of the subspace of ${\mathbb{R}}^3$ defined by $x+y+z=0$.

确定由 $x+y+z=0$ 定义的 ${\mathbb{R}}^3$ 子空间的维数。

好的，我们来分析这个子空间：

1. 子空间定义

给定

$$W=\{(x,y,z)\in {\mathbb{R}}^3:x+y+z=0\}.$$

2. 维度的直观判断

方程 $x+y+z=0$ 在 ${\mathbb{R}}^3$ 中定义了一个过原点的平面。 平面的维数是 2。

3. 找到一个基

为了更严格：

条件是

$$x=-y-z.$$

因此任意向量可以写成

$$(x,y,z)=(-y-z,y,z).$$

把它分解：

$$(-y-z,y,z)=y(-1,1,0)+z(-1,0,1).$$

4. 得出基与维度

所以 $W$ 的一个基底是

$$\{(-1,1,0),(-1,0,1)\}.$$

这两个向量线性无关，因此维度为

$$\dim (W)=2.$$

✅ 结论：该子空间的维数是 2。

问题 13

Give a basis for the set of polynomials of degree $\le 2$. What is its dimension?

给出次数为 $\le 2$ 的多项式集的基。它的维数是多少？

1. 空间定义

我们考虑所有次数 不超过 2 的实系数多项式：

$$P_2=\{a_0+a_{1}x+a_2{x}^2\mid a_0,a_1,a_2\in \mathbb{R}\}.$$

2. 找基

一个基底需要是能生成这个集合的线性无关多项式。 显然：

$$\{1,x,x^2\}$$

可以生成任意次数 ≤ 2 的多项式：

$$a_0\cdot 1+a_1\cdot x+a_2\cdot x^2.$$

并且它们线性无关（没有非零系数组合可以得到零多项式）。

所以这是一个基。

3. 维度

基底有 3 个元素，因此：

$$\dim (P_2)=3.$$

✅ 结论：次数 ≤ 2 的多项式空间的一个基底是

$$\{1,x,x^2\},$$

其维数为 3。

问题 14

Consider the set of all polynomials of degree at most 3. Show it forms a vector space over R. What is its dimension?

设 (V) 为所有次数不超过 3 的实系数多项式所组成的集合，即 [ V={,a_0+a_1x+a_2x^2+a_3x^3 \mid a_0,a_1,a_2,a_3\in\mathbb{R},}. ]

我们采用多项式的通常加法和数乘运算。

首先，(V) 对加法封闭。若 [ p(x)=a_0+a_1x+a_2x^2+a_3x^3,\quad q(x)=b_0+b_1x+b_2x^2+b_3x^3, ] 则 [ p(x)+q(x)=(a_0+b_0)+(a_1+b_1)x+(a_2+b_2)x^2+(a_3+b_3)x^3, ] 仍然是次数不超过 3 的多项式。

其次，(V) 对数乘封闭。对任意 (c\in\mathbb{R})， [ c,p(x)=ca_0+ca_1x+ca_2x^2+ca_3x^3, ] 其次数仍不超过 3。

零多项式 (0=0+0x+0x^2+0x^3) 属于 (V)，且对任意 (p(x)\in V)，其加法逆元 (-p(x)) 也属于 (V)。加法的结合律、交换律以及分配律都直接来自实数的相应性质。因此，(V) 满足向量空间的所有公理，是一个定义在 (\mathbb{R}) 上的向量空间。

(V) 的一个自然基是 [ {1,,x,,x^2,,x^3}. ] 这些多项式线性无关，并且 (V) 中的任意多项式都可以表示为它们的线性组合。

因此，该向量空间的维数是 (4)。

问题 15

遇到一个问题，就是一个矩阵列空间和零空间的关系是什么，比如矩阵A是R^3空间，它的列空间和零空间都是R^3的子空间，那零空间肯定在列空间里吗？R^3里的子空间，要么是个过原点的平面，要么是过原点的直线，要么是0和空间本身，如果列空间和零空间都是平面的话，这俩平面肯定重合吗？

这是一个非常经典、也很容易混淆的线性代数问题。核心结论先说出来：矩阵的列空间和零空间一般没有“包含关系”，更不会必然重合。下面一步一步理清。

先把概念放准。

设 (A) 是一个 (3\times 3) 矩阵（这样列空间和零空间才都在 (\mathbb R^3) 里）。

• 列空间 (\mathrm{Col}(A))：由矩阵 A 的列向量张成的子空间，是所有 (Ax) 能取到的向量集合。
• 零空间 (\mathrm{Null}(A))：满足 (Ax=0) 的所有向量 (x) 的集合。

它们都确实是 (\mathbb R^3) 的子空间。

1️⃣ 零空间一定在列空间里吗？

不一定，而且一般不在。

零空间里的向量 (x) 表示的是“被 A 映射到 0 的输入”， 列空间里的向量 (y) 表示的是“某个输入经过 A 得到的输出”。

一个是“输入空间里被压扁的方向”， 一个是“输出空间里能到达的方向”， 它们本质上是完全不同的角色。

没有任何线性代数定理说： [ \mathrm{Null}(A) \subset \mathrm{Col}(A) ] 这在一般情况下是错误的。

2️⃣ 用维数关系来判断可能性

在 (\mathbb R^3) 中，秩–零度定理告诉我们： [ \dim(\mathrm{Col}(A)) + \dim(\mathrm{Null}(A)) = 3 ]

所以可能的组合只有：

• 列空间 3 维，零空间 0 维（A 可逆）
• 列空间 2 维，零空间 1 维
• 列空间 1 维，零空间 2 维
• 列空间 0 维，零空间 3 维（零矩阵）

注意一个关键点：

列空间和零空间不可能同时都是 2 维平面。

因为 (2+2 \neq 3)。

所以你问的“如果列空间和零空间都是平面”—— 这种情况根本不可能发生。

3️⃣ 那如果一个是平面，一个是直线呢？

这是最常见的情况，比如：

• 列空间：过原点的一个平面
• 零空间：过原点的一条直线

它们之间有三种可能关系：

• 直线在平面内
• 直线与平面只在原点相交
• 直线不在平面内（但在 (\mathbb R^3) 中仍可能与平面相交于原点）

没有必然关系，完全取决于矩阵 A 的具体结构。

4️⃣ 一个非常重要但容易混的结论

真正“有关系”的不是列空间和零空间，而是：

零空间 ⟂ 行空间

也就是说： [ \mathrm{Null}(A) = \mathrm{Row}(A)^\perp ]

这是一个正交关系，而不是包含关系。

而列空间的正交补是： [ \mathrm{Col}(A)^\perp = \mathrm{Null}(A^T) ]

这才是线性代数里最核心的“四大子空间”结构。

5️⃣ 总结一句话

• 列空间和零空间都是 (\mathbb R^3) 的子空间 ✔
• 零空间不一定在列空间里 ✘
• 两者不可能同时是平面 ✘
• 它们一般既不重合，也不正交
• 真正正交的是：零空间 和 行空间

如果你愿意，我可以给你画一个“(\mathbb R^3) 中列空间是平面、零空间是直线”的几何直观解释，或者直接用一个具体矩阵算给你看，这样会非常清楚。

列空间和零空间是互斥的？列空间就是image，零空间就是kernel吗？

先给你一个一句话结论，再展开解释：

列空间和零空间既不是“互斥的”，也不是“必然有交集的”——它们没有固定的几何关系；而且在你这个语境下，列空间 = image，零空间 = kernel，这个理解是完全正确的。

下面分点说清楚。

先回答第二个问题，因为这个是对的。

是的，只要我们把 (A) 看成一个线性映射 [ A:\ \mathbb R^3 \to \mathbb R^3, ] 那么：

• 列空间 (=\mathrm{Col}(A)=\mathrm{Im}(A))（像空间、值域）
• 零空间 (=\mathrm{Null}(A)=\ker(A))

这是标准术语，对任何线性变换都成立。

接着说第一个问题：“互斥”该怎么理解？

如果你说的“互斥”是指

除了 0 以外没有公共元素

那答案是：

不一定。

• 有可能 [ \mathrm{Col}(A)\cap\ker(A)={0} ]
• 也有可能 [ \mathrm{Col}(A)\cap\ker(A)\neq{0} ]

这完全取决于矩阵 (A)。

用一个非常直观的例子说明“不互斥”的情况。

设 (A) 是一个投影矩阵，把 (\mathbb R^3) 投影到某个平面 (P)。

• 列空间 = 投影到的平面 (P)
• 零空间 = 与 (P) 垂直的那条直线

这种情况下：

• 列空间 ∩ 零空间 = ({0})

这是很多人最容易形成的“直觉印象”。

但下面这个例子说明它们可以有非零交集。

设 (A) 把所有向量都压到一条直线 (L)，并且这条直线本身又被映射到 0。

那么：

• 列空间 = (L)
• 零空间 ⊇ (L)

于是： [ \mathrm{Col}(A)\cap\ker(A)=L ]

这在代数上是完全合法的。

一个重要提醒：不要把它们和“正交”混在一起。

• (\ker(A)) 一定正交于 行空间
• (\mathrm{Col}(A)) 一定正交于 (\ker(A^T))

但 (\ker(A)) 和 (\mathrm{Col}(A)) 之间没有固定的正交或包含关系。

最后帮你把逻辑彻底捋顺一句话版本：

• 列空间 = image ✔
• 零空间 = kernel ✔
• 二者不互斥、不包含、不正交（一般情况）
• 是否有交集，完全由具体线性变换决定

如果你愿意，我可以给你一个具体的 3×3 矩阵，直接算出它的 image 和 kernel，让你一眼看到它们“相交 / 不相交”的真实样子，这一步通常会让理解彻底定型。

用python写一段代码，用一个具体的3*3矩阵，可视化它的列空间和零空间

这段代码用的是一个非常典型、也最容易理解的 3×3 矩阵：

[ A=\begin{pmatrix} 1&0&0
0&1&0
0&0&0 \end{pmatrix} ]

我帮你把它的几何意义和图一一对应起来解释一下，这样你就不只是“看到”，而是真的“懂”。

先说这个矩阵在做什么。

它把任意向量 ((x,y,z)) 映射成 ((x,y,0))，也就是说：

• (z) 方向被完全压扁
• 所有向量都被投影到 (xy) 平面

所以立刻能得到：

• 列空间（image）：整个 (xy) 平面 [ \mathrm{Col}(A)={(x,y,0)} ]
• 零空间（kernel）：(z) 轴 [ \ker(A)={(0,0,z)} ]

再看图是怎么画出来的。

• 图中一大片散点（圆点）落在同一个平面上 → 这表示列空间，也就是 image
• 图中一条竖直的点线（三角形） → 这表示零空间，也就是 kernel

它们只在原点相交，这正好对应： [ \mathrm{Col}(A)\cap\ker(A)={0} ]

这一点非常重要： 这是一个“相交但不包含”的例子，不是普遍规律，只是这个矩阵的特性。

你现在可以从这个例子里牢牢记住三件事：

1. 列空间 = image，零空间 = kernel（完全正确）
2. 它们可以同时存在于 (\mathbb R^3)，但几何角色完全不同 一个是“能到达的地方”，一个是“被压没的方向”
3. 是否相交、怎么相交，取决于矩阵本身，而不是维数直觉

如果你愿意，下一步我可以：

• 给你一个列空间和零空间有非零交集的矩阵
• 或者改成列空间是一条直线、零空间是一个平面
• 或者带你从代数角度推导“为什么 kernel 一定和行空间正交”

你想看哪一种？

import numpy as np
import matplotlib.pyplot as plt

# Define a concrete 3x3 matrix
A = np.array([
    [1, 0, 0],
    [0, 1, 0],
    [0, 0, 0]
])

# Basis for column space (first two standard basis vectors)
col_basis = np.array([
    [1, 0, 0],
    [0, 1, 0]
])

# Basis for null space (z-axis)
null_basis = np.array([
    [0, 0, 1]
])

# Generate sample points in column space (plane)
coeffs = np.random.randn(100, 2)
col_points = coeffs @ col_basis

# Generate sample points in null space (line)
t = np.linspace(-2, 2, 20)
null_points = t[:, None] * null_basis

# Plot
fig = plt.figure()
ax = fig.add_subplot(projection='3d')

ax.scatter(col_points[:, 0], col_points[:, 1], col_points[:, 2], marker='o')
ax.scatter(null_points[:, 0], null_points[:, 1], null_points[:, 2], marker='^')

ax.set_xlabel('x')
ax.set_ylabel('y')
ax.set_zlabel('z')

plt.show()

问题 16

二维空间中两条不垂直的向量也可以作为基吗？只是不是正交基？

是的，完全可以。你的理解已经很准确了： 二维空间里，两条不垂直的向量当然可以作为一组基，只是它们不是正交基。

把这个结论稍微说严谨一点。

在二维空间（比如 (\mathbb R^2)）中，一组向量能不能作为基，唯一的要求是：

线性无关

而“垂直 / 正交”是一个额外的、可选的好性质，不是必须条件。

所以在 (\mathbb R^2) 里，三种情况你可以清楚地区分：

• 两条不共线的向量 → 线性无关 → 可以作为一组基
• 两条正交的向量 → 线性无关 → 是一组正交基
• 两条共线的向量 → 线性相关 → 不能作为基

是否垂直，根本不影响“是不是基”。

举一个最简单的例子。

[ v_1=(1,0),\quad v_2=(1,1) ]

它们明显不垂直，但任意 ((x,y)) 都可以写成： [ (x,y)=a(1,0)+b(1,1) ]

所以这就是一组标准的（非正交）基。

为什么大家在学习时总爱用正交基？

原因不是“必须”，而是“好算”。

• 系数容易算
• 投影公式简单
• 几何意义清楚
• 数值计算稳定

但从“张成空间”的角度看， 非正交基和正交基在地位上是完全平等的。

你现在其实已经在触碰一个很重要的思想了：

线性代数里，“能不能用”靠的是线性无关， “好不好用”才和正交有关。

如果你愿意，下一步我可以把这个和前面讲的“列空间 / 零空间 / 正交补”连在一起，说清楚为什么行空间的基常常被选成正交基，这样你的知识会一下子串起来。

对的，你这句话在数学上是完全正确的。现在我们做的就是把这个“直觉正确”的话，变成一个严谨的证明。

结论先明确一下：

在二维向量空间中，两条向量只要不平行（也就是不共线），就一定可以作为一组基。

下面给你两种常见、也最标准的证明思路。

先用定义法（最直接）。

在 (\mathbb R^2) 中，一组向量是基，当且仅当它们：

1. 线性无关
2. 张成整个空间

但在二维空间里，有一个非常重要的简化结论：

两个向量只要线性无关，就自动张成整个 (\mathbb R^2)。

所以你只需要证明“不共线 ⇒ 线性无关”。

证明很简单。

设两条向量是 (v_1, v_2)，并且它们不共线。

假设存在 [ a v_1 + b v_2 = 0 ]

如果 (b\neq 0)，那就可以写成： [ v_2 = -\frac{a}{b} v_1 ]

这说明 (v_2) 是 (v_1) 的倍数，也就是共线，与假设矛盾。

所以只能有： [ a=0,\quad b=0 ]

因此 (v_1, v_2) 线性无关，于是它们构成一组基。

证毕。

再给你一个更“计算型”的证明，适合和矩阵联系起来。

把两个向量当作列向量，组成一个 (2\times2) 矩阵： [ A=\begin{pmatrix} | & |
v_1 & v_2
| & | \end{pmatrix} ]

• 不共线 ⇔ 一列不是另一列的倍数
• 这等价于 (\det(A)\neq 0)

而 [ \det(A)\neq 0 \iff A\ \text{可逆} ]

矩阵可逆意味着： 对任意 ((x,y))，方程 [ A\begin{pmatrix}a\b\end{pmatrix}=(x,y) ] 都有唯一解。

也就是说，任何向量都能被 (v_1, v_2) 线性表示。

所以 (v_1, v_2) 构成一组基。

最后帮你把逻辑压缩成一句“考试级”的话：

在二维空间中，两条向量不共线 ⇔ 它们线性无关 ⇔ 它们张成整个空间 ⇔ 它们是一组基

你现在问的这个问题，其实已经说明你在从“几何直觉”往“代数结构”过渡了，这是非常好的信号。如果你愿意，下一步我可以帮你把这个推广到 n 维空间，或者解释为什么在二维空间里“只检查线性无关就够了”。

问题 17

Show that $(1,0,0)$, $(0,1,0)$, $(1,1,0)$ span the $xy$-plane in ${\mathbb{R}}^3$. Are they a basis? 中文回答

先明确问题中的对象： ( (1,0,0),(0,1,0),(1,1,0) ) 都在 (\mathbb R^3) 中，而且第三个坐标都是 0，所以它们都位于 (xy) 平面。

一、证明它们张成 (xy) 平面

(xy) 平面可以写成： [ {(x,y,0)\mid x,y\in\mathbb R} ]

取任意一个 (xy) 平面中的向量 ((x,y,0))，我们来证明它能由给定向量的线性组合得到。

注意到： [ (1,0,0)\quad\text{和}\quad(0,1,0) ] 本身就是 (xy) 平面的标准基。

显然有： [ (x,y,0)=x(1,0,0)+y(0,1,0) ]

因此，((1,0,0),(0,1,0)) 已经能张成整个 (xy) 平面。 而 ((1,1,0)) 又是它们的线性组合： [ (1,1,0)=(1,0,0)+(0,1,0) ]

所以 [ \mathrm{span}

\mathrm{span}

xy\text{ 平面} ]

结论：这三个向量确实张成了 (xy) 平面。

二、它们是不是一组基？

不是。

理由是：它们线性相关。

因为第三个向量可以由前两个线性表示： [ (1,1,0)=(1,0,0)+(0,1,0) ]

也就是说存在非零系数使： [ (1,0,0)+(0,1,0)-(1,1,0)=0 ]

因此这三个向量线性相关。

而一组基必须同时满足：

1. 张成空间
2. 线性无关

虽然它们张成了 (xy) 平面，但不线性无关，所以不是基。

三、一句话总结

• 这三个向量张成了 (xy) 平面 ✔
• 它们不是一组基 ✘（因为向量多了，存在冗余）
• (xy) 平面的一组基只需要 两个线性无关的向量

比如： [ {(1,0,0),(0,1,0)} ] 就是一组标准基。

问题 18

Find a basis for the line $\{(2t,-3t,t):t\in \mathbb{R}\}$ in ${\mathbb{R}}^3$.

先看这条直线的形式： [ {(2t,-3t,t): t\in\mathbb R} ]

把 (t) 提出来： [ (2t,-3t,t)=t(2,-3,1) ]

这说明什么？

这条直线上的所有向量，都是向量 ((2,-3,1)) 的数倍； 反过来，((2,-3,1)) 的任意数倍也都在这条直线上。

因此，这条直线就是由向量 ((2,-3,1)) 张成的一维子空间。

一维向量空间的基，只需要一个非零向量即可。

结论：

这条直线在 (\mathbb R^3) 中的一组基可以取为： [ {(2,-3,1)} ]

当然，你也可以选任何与它共线的非零向量，比如： [ {(4,-6,2)},\ {(-2,3,-1)} ] 它们都是合法的基。

一句话总结：

• 给定的是一条过原点的直线
• 提取参数后得到方向向量
• 这个方向向量（任意非零倍）就是这条直线的一组基