深度学习的预备知识

一、概述

要学习深度学习，首先需要掌握一些基本技能。所有机器学习方法都涉及从数据中提取信息，先学习数据的存储、操作和预处理。

二、数据操作

为了能够完成各种数据操作，我们需要某种方法来存储和操作数据。通常，我们需要做两件重要的事：（1）获取数据；（2）将数据读入计算机后对其进行处理。如果没有某种方法来存储数据，那么获取数据是没有意义的。

先学习 n 维数组，也称为张量（tensor）。无论使用哪个深度学习框架，它的张量类（在 PyTorch 和 TensorFlow 中为 Tensor）都与 NumPy 的 ndarray 类似。但深度学习框架又比 NumPy 的 ndarray 多一些重要功能：

  1. GPU 加速：GPU 很好地支持加速计算，而 NumPy 仅支持 CPU 计算；
  2. 自动微分：张量类支持自动微分。

这些功能使得张量类更适合深度学习。

张量入门

首先，导入 torch。请注意，虽然它被称为 PyTorch，但是代码中使用 torch 而不是 pytorch。

1
import torch

张量表示一个由数值组成的数组，这个数组可能有多个维度。 具有一个轴的张量对应数学上的向量（vector）；具有两个轴的张量对应数学上的矩阵（matrix）；具有两个轴以上的张量没有特殊的数学名称。

创建张量

首先，可以使用 arange 创建一个行向量 x。这个行向量包含以 0 开始的前 12 个整数，它们默认创建为整数。也可指定创建类型为浮点数。张量中的每个值都称为张量的元素（element）。例如，张量 x 中有 12 个元素。除非额外指定，新的张量将存储在内存中，并采用基于 CPU 的计算。

1
2
3
x = torch.arange(12)
x
# tensor([ 0,  1,  2,  3,  4,  5,  6,  7,  8,  9, 10, 11])

可以通过张量的 shape 属性来访问张量（沿每个轴的长度）的形状。

1
2
x.shape
# torch.Size([12])

如果只想知道张量中元素的总数，即形状的所有元素乘积，可以检查它的大小（size）。因为这里在处理的是一个向量，所以它的 shape 与它的 numel() 相同。

1
2
x.numel()
# 12

改变形状

要想改变一个张量的形状而不改变元素数量和元素值，可以调用 reshape 函数。例如，可以把张量 x 从形状为 (12,) 的行向量转换为形状为 (3, 4) 的矩阵。这个新的张量包含与转换前相同的值，但是它被看成一个 3 行 4 列的矩阵。

要重点说明一下，虽然张量的形状发生了改变，但其元素值并没有变。注意，通过改变张量的形状，张量的大小不会改变。

1
2
3
4
5
X = x.reshape(3, 4)
X
# tensor([[ 0,  1,  2,  3],
#         [ 4,  5,  6,  7],
#         [ 8,  9, 10, 11]])

不需要通过手动指定每个维度来改变形状。也就是说，如果我们的目标形状是（高度, 宽度），那么在知道宽度后，高度会被自动计算得出，不必我们自己做除法。在上面的例子中，为了获得一个 3 行的矩阵，我们手动指定了它有 3 行和 4 列。幸运的是，我们可以通过 -1 来调用此自动计算出维度的功能。即我们可以用 x.reshape(-1, 4) 或 x.reshape(3, -1) 来取代 x.reshape(3, 4)。

特殊初始化

有时，我们希望使用全 0、全 1、其他常量，或者从特定分布中随机采样的数字来初始化矩阵。我们可以创建一个形状为 (2, 3, 4) 的张量，其中所有元素都设置为 0：

1
2
3
4
5
6
7
torch.zeros((2, 3, 4))
# tensor([[[0., 0., 0., 0.],
#          [0., 0., 0., 0.],
#          [0., 0., 0., 0.]],
#         [[0., 0., 0., 0.],
#          [0., 0., 0., 0.],
#          [0., 0., 0., 0.]]])

同样，我们可以创建一个形状为 (2, 3, 4) 的张量，其中所有元素都设置为 1：

1
2
3
4
5
6
7
torch.ones((2, 3, 4))
# tensor([[[1., 1., 1., 1.],
#          [1., 1., 1., 1.],
#          [1., 1., 1., 1.]],
#         [[1., 1., 1., 1.],
#          [1., 1., 1., 1.],
#          [1., 1., 1., 1.]]])

有时我们想通过从某个特定的概率分布中随机采样来得到张量中每个元素的值。例如，当我们构造数组来作为神经网络中的参数时，我们通常会随机初始化参数的值。以下代码创建一个形状为 (3, 4) 的张量，其中的每个元素都从均值为 0、标准差为 1 的标准高斯分布（正态分布）中随机采样：

1
2
3
4
torch.randn(3, 4)
# tensor([[-0.0135,  0.0665,  0.0912,  0.3212],
#         [ 1.4653,  0.1843, -1.6995, -0.3036],
#         [ 1.7646,  1.0450,  0.2457, -0.7732]])

我们还可以通过提供包含数值的 Python 列表（或嵌套列表），来为所需张量中的每个元素赋予确定值。在这里，最外层的列表对应于轴 0，内层的列表对应于轴 1。

1
2
3
4
torch.tensor([[2, 1, 4, 3], [1, 2, 3, 4], [4, 3, 2, 1]])
# tensor([[2, 1, 4, 3],
#         [1, 2, 3, 4],
#         [4, 3, 2, 1]])

运算符

想在这些数据上执行数学运算，其中最简单且最有用的操作是按元素（elementwise）运算。它们将标准标量运算符应用于数组的每个元素。对于将两个数组作为输入的函数，按元素运算将二元运算符应用于两个数组中的每对位置对应的元素。可以基于任何从标量到标量的函数来创建按元素函数。

在数学表示法中，我们将通过符号 (f: \mathbb{R} \rightarrow \mathbb{R}) 来表示一元标量运算符（只接收一个输入）。这意味着该函数从任何实数（(\mathbb{R})）映射到另一个实数。同样，我们通过符号 (f: \mathbb{R}, \mathbb{R} \rightarrow \mathbb{R}) 表示二元标量运算符，这意味着该函数接收两个输入，并产生一个输出。给定同一形状的任意两个向量 (\mathbf{u}) 和 (\mathbf{v}) 和二元运算符 (f)，我们可以得到向量 (\mathbf{c} = F(\mathbf{u},\mathbf{v}))。具体计算方法是 (c_i \gets f(u_i, v_i))，其中 (c_i)、(u_i) 和 (v_i) 分别是向量 (\mathbf{c})、(\mathbf{u}) 和 (\mathbf{v}) 中的元素。在这里，我们通过将标量函数升级为按元素向量运算来生成向量值 (F: \mathbb{R}^d, \mathbb{R}^d \rightarrow \mathbb{R}^d)。

对于任意具有相同形状的张量，常见的标准算术运算符（+、-、*、/ 和 **）都可以被升级为按元素运算。我们可以在同一形状的任意两个张量上调用按元素操作。在下面的例子中，我们使用逗号来表示一个具有 5 个元素的元组，其中每个元素都是按元素操作的结果。

1
2
3
4
5
6
7
8
x = torch.tensor([1.0, 2, 4, 8])
y = torch.tensor([2, 2, 2, 2])
x + y, x - y, x * y, x / y, x ** y  # ** 运算符是求幂运算
# (tensor([ 3.,  4.,  6., 10.]),
#  tensor([-1.,  0.,  2.,  6.]),
#  tensor([ 2.,  4.,  8., 16.]),
#  tensor([0.5000, 1.0000, 2.0000, 4.0000]),
#  tensor([ 1.,  4., 16., 64.]))

“按元素”方式可以应用更多的计算，包括像求幂这样的一元运算符：

1
2
torch.exp(x)
# tensor([2.7183e+00, 7.3891e+00, 5.4598e+01, 2.9810e+03])

除了按元素计算外，我们还可以执行线性代数运算，包括向量点积和矩阵乘法。在 2.3 节中会补全解释线性代数的重点内容。

连结张量

我们也可以把多个张量连结（concatenate）在一起，把它们端对端地叠起来形成一个更大的张量。我们只需要提供张量列表，并给出沿哪个轴连结。下面的例子分别演示了当我们沿行（轴-0，形状的第一个元素）和按列（轴-1，形状的第二个元素）连结两个矩阵时，会发生什么情况。我们可以看到，第一个输出张量的轴-0 长度（6）是两个输入张量轴-0 长度的总和（3 + 3）；第二个输出张量的轴-1 长度（8）是两个输入张量轴-1 长度的总和（4 + 4）。

1
2
3
4
5
6
7
8
9
10
11
12
X = torch.arange(12, dtype=torch.float32).reshape((3, 4))
Y = torch.tensor([[2.0, 1, 4, 3], [1, 2, 3, 4], [4, 3, 2, 1]])
torch.cat((X, Y), dim=0), torch.cat((X, Y), dim=1)
# (tensor([[ 0.,  1.,  2.,  3.],
#          [ 4.,  5.,  6.,  7.],
#          [ 8.,  9., 10., 11.],
#          [ 2.,  1.,  4.,  3.],
#          [ 1.,  2.,  3.,  4.],
#          [ 4.,  3.,  2.,  1.]]),
#  tensor([[ 0.,  1.,  2.,  3.,  2.,  1.,  4.,  3.],
#          [ 4.,  5.,  6.,  7.,  1.,  2.,  3.,  4.],
#          [ 8.,  9., 10., 11.,  4.,  3.,  2.,  1.]]))

逻辑运算符

有时，我们想通过逻辑运算符构建二元张量。以 X == Y 为例：对于每个位置，如果 X 和 Y 在该位置相等，则新张量中相应项的值为 1。这意味着逻辑语句 X == Y 在该位置处为真，否则该位置为 0。

1
2
3
4
X == Y
# tensor([[False,  True, False,  True],
#         [False, False, False, False],
#         [False, False, False, False]])
1
2
3
4
X > Y
# tensor([[False, False, False, False],
#         [True,  True,  True,  True],
#         [True,  True,  True,  True]])

对张量中的所有元素进行求和，会产生一个单元素张量：

1
2
X.sum()
# tensor(66.)

广播机制

在上面的部分中，我们看到了如何在相同形状的两个张量上执行按元素操作。在某些情况下，即使形状不同，我们仍然可以通过调用广播机制（broadcasting mechanism）来执行按元素操作。这种机制的工作方式如下：

  1. 通过适当复制元素来扩展一个或两个数组，以便在转换之后，两个张量具有相同的形状；
  2. 对生成的数组执行按元素操作。

在大多数情况下，我们将沿着数组中长度为 1 的轴进行广播，如下例子：

1
2
3
4
5
6
7
a = torch.arange(3).reshape((3, 1))
b = torch.arange(2).reshape((1, 2))
a, b
# (tensor([[0],
#          [1],
#          [2]]),
#  tensor([[0, 1]]))

由于 a 和 b 分别是 (3 \times 1) 和 (1 \times 2) 矩阵，如果让它们相加，它们的形状不匹配。我们将两个矩阵广播为一个更大的 (3 \times 2) 矩阵，如下所示：矩阵 a 将复制列，矩阵 b 将复制行，然后再按元素相加。

1
2
3
4
a + b
# tensor([[0, 1],
#         [1, 2],
#         [2, 3]])

三维张量

1
2
3
4
5
6
7
8
9
10
m = torch.arange(6).reshape((3, 1, 2))
n = torch.arange(4).reshape((1, 2, 2))
m, n
#(tensor([[[0, 1]],
# 
#         [[2, 3]],
# 
#         [[4, 5]]]),
# tensor([[[0, 1],
#          [2, 3]]]))
1
2
3
4
5
6
7
8
9
m + n
# tensor([[[0, 2],
#         [2, 4]],
#
#        [[2, 4],
#         [4, 6]],
#
#        [[4, 6],
#         [6, 8]]])

索引和切片

就像在任何其他 Python 数组中一样，张量中的元素可以通过索引访问。与任何 Python 数组一样：第一个元素的索引是 0，最后一个元素索引是 -1；可以指定范围以包含第一个元素和最后一个之前的元素。

如下所示，我们可以用 [-1] 选择最后一个元素，可以用 [1:3] 选择第二个和第三个元素：

1
2
3
4
5
X = torch.arange(12, dtype=torch.float32).reshape((3, 4))
X[-1], X[1:3]
# (tensor([ 8.,  9., 10., 11.]),
#  tensor([[ 4.,  5.,  6.,  7.],
#          [ 8.,  9., 10., 11.]]))

除读取外，我们还可以通过指定索引来将元素写入矩阵：

1
2
3
4
5
X[1, 2] = 9
X
# tensor([[ 0.,  1.,  2.,  3.],
#         [ 4.,  5.,  9.,  7.],
#         [ 8.,  9., 10., 11.]])

如果我们想为多个元素赋值相同的值，我们只需要索引所有元素，然后为它们赋值。例如，[0:2, :] 访问第 1 行和第 2 行，其中 : 代表沿轴 1（列）的所有元素。虽然我们讨论的是矩阵的索引，但这也适用于向量和超过 2 个维度的张量。

1
2
3
4
5
X[0:2, :] = 12
X
# tensor([[12., 12., 12., 12.],
#         [12., 12., 12., 12.],
#         [ 8.,  9., 10., 11.]])

节省内存

运行一些操作可能会导致为新结果分配内存。例如，如果我们用 Y = X + Y，我们将取消引用 Y 指向的张量，而是指向新分配的内存处的张量。

在下面的例子中，我们用 Python 的 id() 函数演示了这一点，它给我们提供了内存中引用对象的确切地址。运行 Y = Y + X 后，我们会发现 id(Y) 指向另一个位置。这是因为 Python 首先计算 Y + X，为结果分配新的内存，然后使 Y 指向内存中的这个新位置。

1
2
3
4
5
6
7
X = torch.arange(12, dtype=torch.float32).reshape((3, 4))
Y = torch.tensor([[2.0, 1, 4, 3], [1, 2, 3, 4], [4, 3, 2, 1]])

before = id(Y)
Y = Y + X
id(Y) == before
# False

这可能是不可取的，原因有两个：

  1. 首先，我们不想总是不必要地分配内存。在机器学习中，我们可能有数百兆的参数，并且在一秒内多次更新所有参数。通常情况下，我们希望原地执行这些更新；
  2. 如果我们不原地更新，其他引用仍然会指向旧的内存位置，这样我们的某些代码可能会无意中引用旧的参数。

幸运的是，执行原地操作非常简单。我们可以使用切片表示法将操作的结果分配给先前分配的数组，例如 Y[:] = <结果>。为了说明这一点，我们首先创建一个新的矩阵 Z，其形状与另一个 Y 相同，使用 zeros_like 来分配一个全 0 的块。

1
2
3
4
5
6
Z = torch.zeros_like(Y)
print('id(Z):', id(Z))
Z[:] = X + Y
print('id(Z):', id(Z))
# id(Z): 140327634811696
# id(Z): 140327634811696   ← 内存地址不变

如果在后续计算中没有重复使用 X，我们也可以使用 X[:] = X + Y 或 X += Y 来减少操作的内存开销。

1
2
3
4
before = id(X)
X += Y
id(X) == before
# True

转换为其他 Python 对象

将深度学习框架定义的张量转换为 NumPy 张量（ndarray）很容易，反之也同样容易。torch 张量和 numpy 数组将共享它们的底层内存，就地操作更改一个张量也会同时更改另一个张量。

1
2
3
4
A = X.numpy()
B = torch.tensor(A)
type(A), type(B)
# (numpy.ndarray, torch.Tensor)

要将大小为 1 的张量转换为 Python 标量，我们可以调用 item 函数或 Python 的内置函数。

1
2
3
a = torch.tensor([3.5])
a, a.item(), float(a), int(a)
# (tensor([3.5000]), 3.5, 3.5, 3)

小结

深度学习存储和操作数据的主要接口是张量（n 维数组）。它提供了各种功能，包括基本数学运算、广播、索引、切片、内存节省和转换其他 Python 对象。