机器学习中的线性代数：关于常用操作的新手指南

在学习深度学习的课程时，数学知识十分重要，而如果要挑选其中最相关的部分，“线性代数”首当其冲。

如果你也跟本文作者一样，正在探索深度学习又困于相关数学概念，那么一定要读下去，这是一篇介绍深度学习中最常用线性代数操作的新手指南。

在深度学习中，线性代数是一个非常有用的数学工具，提供同时操作多组数值的方法。它提供多种可以放置数据的结构，如向量(vectors)和矩阵(matrices, 即spreadsheets)两种结构，并定义了一系列的加减乘除规则来操作这些结构。

线性代数可以将各种复杂问题转化为简单、直观、高效的计算问题。下面这个Python例子展现了线性代数的高速与简洁。

# Multiply two arrays 将两个数组直接相乘
x = [1,2,3]
y = [2,3,4]
product = []
for i in range(len(x)):
    product.append(x[i]*y[i])

# Linear algebra version 线性代数版操作
x = numpy.array([1,2,3])
y = numpy.array([2,3,4])
x * y

通过将数组初始化「numpy.array()」, 线性代数方法较数组相乘快了三倍。

神经网络(Neural networks)将权值(weights)存放于矩阵(matrices)中。线性代数使得矩阵操作快速而简单，特别是通过 GPU 进行运算。事实上，GPU 的设计便是受启发自向量和矩阵的运算。类似于用像素的多维数组(arrays of pixels)来表示图形图像，视频游戏通过大规模且持续的矩阵计算，带来了极具吸引力的游戏体验。GPU 是并行操作整个矩阵中的各个像素，而不是一个接一个地去处理单个像素。

向量是关于数字或数据项的一维数组的表示。从几何学上看，向量将潜在变化的大小和方向存储到一个点。向量 [3, -2] 表示的是左移3个单位下移2个单位。我们将 具有多个维度的向量称为矩阵。

应用中有多种表达向量的方式，下式是阅读中常见的几种表示。

向量通常用于代表从一个点出发的移动。它们用一个点存储了大小(magnitude)和方向(direction)的潜在变化。如向量 [-2,5] 表示左移2个单位并上移5个单位。 参考: http://mathinsight.org/vector_introduction。

v = [-2, 5]

一个向量可以应用于空间中的任何点。向量的方向等于向上5个单位和向左2个单位的斜线的斜率，它的大小等于该斜线的长度。

标量操作涉及到一个向量和一个数。你可以通过对向量中的所有项进行加、减、乘操作，实现对一个向量的原地修改（in-place modification) 。

Scalar addition （标量相加）

在向量的元素操作中，如加减除，相应位置的值被组合生成了新的向量。向量 A中的第一个值与向量 B 中的第一个值相加，然后第二个值与第二个值配对，如此循环。这意味着，两个向量必须要有相同的维度才能进行元素操作。 *

Vector addition （向量相加）

y = np.array([1,2,3])
x = np.array([2,3,4])
y + x = [3, 5, 7]
y - x = [-1, -1, -1]
y / x = [.5, .67, .75]

*细节请参考下面关于numpy 中的 broadcasting  方法。

向量乘法有两种：点积(Dot product) 和 Hadamard乘积(Hadamard product)。

两个向量的点积是一个标量。向量的点积和矩阵的乘法是深度学习中最重要的操作之一。

y = np.array([1,2,3])
x = np.array([2,3,4])
np.dot(y,x) = 20

Hadamard 乘积是元素相乘，它的输出是一个向量。

y = np.array([1,2,3])
x = np.array([2,3,4])
y * x = [2, 6, 12]

如果我们对某点 (x,y) 应用了一个加法或乘法的向量函数，向量场表示了该点理论上可以移动多远。在空间中给定一个点，向量场显示了图中各个点的可能的变化力度(power)和方向(direction)。

上图这个向量场非常有趣，因为它随起点差异而向不同方向移动。原因是，该向量场背后的向量存储着如2x 或x² 这样的元素，而不是 -2 和 5这样的标量值。对于图中的每个点，我们将 x 轴的值带入 2x 或 x² 中，并绘制一个从开始点指向新位置的箭头。向量场对于机器学习技术的可视化非常有用，如绘制梯度下降(Gradient Descent)的方向。

一个矩阵是数字或元素的矩形网格（如Excel表格），有着特别加、减、乘的运算规则。

我们用m行n列( rows by columns)来描述矩阵的维度.

a = np.array([
 [1,2,3], 
 [4,5,6]
])
a.shape == (2,3)

b = np.array([
 [1,2,3]
])
b.shape == (1,3)

矩阵的标量运算与向量相同。只需将标量与矩阵中的每个元素进行加、减、乘、除等操作。

a = np.array(
[[1,2], 
 [3,4]])
a + 1
[[2,3], 
 [4,5]]

为了实现两个矩阵的加、减、除操作，他们必须有着相同的维度。 * 我们对两个矩阵的对应元素值操作，组合生成新的矩阵。

a = np.array([
 [1,2],
 [3,4]
])
b = np.array([
 [1,2],
 [3,4]
])

a + b
[[2, 4],
 [6, 8]]

a — b
[[0, 0],
 [0, 0]]

这个方法不能不提，因为它在实践中被广泛使用。在 numpy中，矩阵的元素操作对矩阵维度的要求，通过一种叫做 broadcasting的机制实现。我们称两个矩阵相容(compatible)，如果它们相互对应的维度（行对行，列对列）满足以下条件: 

1.     对应的维度均相等, 或

2.    有一个维度的大小是1

a = np.array([
 [1],
 [2]
])
b = np.array([
 [3,4],
 [5,6]
])
c = np.array([
 [1,2]
])

# Same no. of rows
# Different no. of columns
# but a has one column so this works

# 相同行数，不同列数，但 a 仅有一列，所以可行。
a * b
[[ 3, 4],
 [10, 12]]

# Same no. of columns
# Different no. of rows
# but c has one row so this works

# 相同列数，不同行数，但 c 仅有一行，所以可行。
b * c
[[ 3, 8],
 [5, 12]]

# Different no. of columns
# Different no. of rows
# but both a and c meet the 
# size 1 requirement rule

# 不同列数、不同行数，但 a 和 c 都满足大小为1的规则。
a + c
[[2, 3],
 [3, 4]]

在更高的维度上（3维，4维），情况会变得有点诡异，但现在我们不必担心。理解2维上的操作是一个好的开始。

矩阵的Hadamard 乘积是一个元素运算，就像向量一样。对应位置的值相乘产生新的矩阵。

a = np.array(
[[2,3],
 [2,3]])
b = np.array(
[[3,4],
 [5,6]])

# Uses python's multiply operator

# 使用 python 的乘法运算
a * b
[[ 6, 12],
 [10, 18]]

在 numpy 中，只要矩阵和向量的维度满足 broadcasting的要求，你便可以对他们使用 Hadamard 乘积运算.

神经网络经常需要处理不同大小的输入矩阵和权值矩阵，它们的维度常常不满足矩阵相乘的规则。矩阵转置提供了一种方法来“旋转”其中的一个矩阵，使其满足乘法操作的要求。转置一个矩阵分两个步骤：

1. 将矩阵顺时针旋转 90°

2. 反转每行元素的顺序（例如，[a b c] 变成 [c b a]）。

以将矩阵 M 转置成 T为例:

a = np.array([
   [1, 2], 
   [3, 4]])

a.T
[[1, 3],
 [2, 4]]

矩阵的乘法定义了一系列关于矩阵相乘生成新矩阵的规则。

不是所有的矩阵都可以进行乘法运算。并且，对于输出的结果矩阵也有维度要求。 参考：

1. 第一个矩阵的列数 必须等于第二个矩阵的行数

2.一个 M x N 矩阵和 N x K 矩阵的乘积结果是一个 M x K 矩阵. 新的矩阵取 第一个矩阵的行M 和 第二个矩阵的列K 。

矩阵的乘法依赖于点积与各个行列元素的组合。 以下图为例(取自 Khan学院的线性代数课程)，矩阵 C中的每个元素都是矩阵 A 中的行与矩阵B中的列的点积。

操作 a1 · b1 意味着我们对矩阵A的第一行(1, 7)  和矩阵B 的第一列 (3, 5) 做点积运算.

也可以换一种角度来看:

矩阵的乘法很有用，但它的背后并没有什么特别的数学的定律。数学家们把它发明出来是因为它的规范简化了之前乏味的运算。这是一个人为的设计，但却非常有效。

👇用这些例子自我测试下

Numpy 使用函数 np.dot(A,B) 做向量和矩阵的乘法运算。它有一些其他有趣的特性和问题，所以我建议你在使用之前先阅读该说明文档 (https://docs.scipy.org/doc/numpy/reference/generated/numpy.dot.html)。

a = np.array([
 [1, 2]
 ])
a.shape == (1,2)

b = np.array([
 [3, 4],
 [5, 6]
 ])
b.shape == (2,2)

# Multiply
mm = np.dot(a,b)
mm == [13, 16]
mm.shape == (1,2)

• 可汗学院——线性代数 (https://www.khanacademy.org/math/linear-algebra)

• 深度学习读本——数学部分：(http://www.deeplearningbook.org/contents/part_basics.html)

• 吴恩达的课程笔记：https://www.coursera.org/learn/machine-learning/resources/JXWWS

• 关于线性代数的解释：https://betterexplained.com/articles/linear-algebra-guide/

• 关于矩阵的解释：http://blog.stata.com/2011/03/03/understanding-matrices-intuitively-part-1/

• 线性代数概述：http://www.holehouse.org/mlclass/03_Linear_algebra_review.html

• 沉浸式数学——线性代数：http://immersivemath.com/ila/index.html