非常没有质量的学习。由于学得很糙,而且学完以后完全没有回看(这个系列学了前2章就被搁置了),相当于没学。
第5版(2016-revise)
Table of Contents
(1.1) Vectors and Linear Combinations
学习
1.1 Vectors and Linear Combinations
p4 vector和row vector的写法

p6 分量/components

p6 逐分量计算

p7 whole number(s)
好像就是整数,... -2, -1, 0, 1, 2, 3, ....
p7

写成矩阵乘法的时候有2种答案:
[mathjax-d]\begin{bmatrix}c\\d\end{bmatrix} \begin{bmatrix}2&-1\\-1&2\end{bmatrix}=\begin{bmatrix}1\\0\end{bmatrix}[/mathjax-d]和
[mathjax-d]\begin{bmatrix}2&-1\\-1&2\end{bmatrix} \begin{bmatrix}c\\d\end{bmatrix}=\begin{bmatrix}1\\0\end{bmatrix}[/mathjax-d]习题
先做习题1~9
(草稿在媒体库里,但错了一些东西就不放了)
重要的习题:problem set 1.1 #8和#9,用向量表示平行四边形的对角线
结果:
第8题没写全,第9题不知道为什么算错了,而且第2遍还做错了,第3遍才写对,可能是脑子出问题了

答案是

然后做p10的Challenge Problems,也就是27~31
27 不会做 没思路


link1: 🔗 [Linear Algebra, cube & dimensions > 3 - Mathematics Stack Exchange] https://math.stackexchange.com/questions/16366/linear-algebra-cube-dimensions-3
link2: 🔗 [Joseph Malkevitch: N-cube Tidbit] http://web.york.cuny.edu/~malk/tidbits/n-cube-tidbit.html
link3: 🔗 [MATH 1332 Introduction to Mathematics (M 302), Unit 3, 3.6 4D Cubes and Triangles | OERTX] https://oertx.highered.texas.gov/courseware/lesson/3570/overview
进度1: 只会推导corners有多少个
进度2: 参考了link(1),勉强知道如何使用差分公式迭代推导出4维cube的一些性质,但发现“3D faces“的数量仍然无法理解
进度3: 通过看link(3)的视频勉强理解了为什么会有8个3D faces,但对link(3)的其他内容(部分推导方法)仍然不理解
总之现在题目是能做的,但缺乏一个系统的理论去学习
目前的方法是:先用[mathjax]2^n[/mathjax]计算vertex的数量,然后用link(1)的递推关系式计算出Edge和2D-face的数量。对于(n-1)D-face的数量计算,就直接套用[mathjax]2n[/mathjax]出结果。
自测题:可以尝试推导出5D cube的属性,然后google一下看看算没算对。
虽然还是无法完全理解,但观看link(3)的视频也带来了一些额外启发,下面是link(3)视频的一些截图:




在link(3)的视频中可以看到,需要用6个纸片折叠出一个3D立方体。对于二维生物而言,很难想象一个看起来是2D空间的纸片能够叠成3D立方体,其中很重要的一点(也是2D生物最难想象的一点)是诸如Edge(F), Edge(G)...这样的Edges(1维)是如何神奇的粘连到一起去的。Edge(A), Edge(B), Edge(C)...这些原本就连在一起的还可以想象,不连在一起的边想象起来则要困难得多。
所以对于4维空间也是类似的道理,首先我们需要8个立方体来堆叠出4维空间,这就是8个3D faces的来源。同时我们要想象那些(在三维空间)看起来相距很远毫不相关的“面(2维)"会被神奇的粘在一起。
先做下一题吧。
28, 29, 30, 31
好像没什么难度
(1.2) lengths and dot products
学习
1.2 lengths and dot products

做题的时候发现对这个简单的公式还是有点犹豫,补上这个

注意理解公式7(最后一行),特别是为什么要写成[mathjax]|v \cdot w| \leq|v||w|[/mathjax]而不是[mathjax]v \cdot w \leq|v||w|[/mathjax]. 其实后者也是正确的,只是不够好。
再次复习dot product:

所以说公式[mathjax]|v \cdot w| \leq|v||w|[/mathjax]的绝对值[mathjax]|v \cdot w|[/mathjax]是为了处理数值为负数的dot product(投影).等号成立的条件:两个向量在一条线上且同方向
dot product(两个向量)
=0: 正交
>0:夹角<90度
<0:夹角>90度
unit vector的一种产生方式

正交向量的一些特点


注意下面那个triangle inequality,其实就是三角形两边之和大于第三边(取等号的情况下不是三角形)

习题
习题
直接选做29

脑子不好使,做错了

再做p21的challenge problems
30 好像不难
31 很容易做出来,但不知道31的背后有什么几何意义(网上下的习题解答.pdf看着不像不是Gilbert Strang写的...感觉有点随意,希望它没有问题)
重点讨论31吧,先看看 x+y+z=0代表三维空间的一个平面 这个话题。
如何更好的展示 x+y+z=0代表三维空间的一个平面 ?可以用法向量k=(1,1,1)说明。我们能够找到一个法向量k=(1, 1, 1), 使得这个法向量和任意满足x+y+z=0的坐标(x, y, z)都垂直。所以我们认为x+y+z=0代表一个平面。
类似于三维空间中的情况,方程 x + y + z + a = 0 在四维空间中表示一个三维的超平面。
当然,也可以用矩阵的秩来说明一些问题:由于z=x+y,说明有一个维度其实是无效维度(可以用其他的两维线性表达),产生不了新维,所以实际上是2维平面。
特别注意:那么x, y, z, a表示的是一行一行,还是一列一列?这个问题在problem set 1.3 #7中又一次被提到。事实上,和“行秩等于列秩“差不多的道理,这里的x, y, z, a既可以表示一行一行,还可以表示一列一列,都是一样的。
chatgpt
You:
Pick any numbers that add to x+ y+ z = 0. Find the angle between your vec tor v = (x, y, z) and the vector w = (z, x, y). Challenge question: Explain why v ·w///v//1/wll is always-1⁄2- My question is, any geometry/linear algebra meaning for this question, rather than directly calculate the result
ChatGPT:
Certainly, there's an interesting geometric and linear algebraic interpretation behind this question.
Given the vectors v = (x, y, z) and w = (z, x, y), the equation x + y + z = 0 represents a plane in 3D space. This plane is determined by the normal vector n = (1, 1, 1), which is perpendicular to the plane. Any vector lying in this plane, such as v, can be expressed as the sum of a vector parallel to the normal vector and a vector in the plane.
Let's break down the vectors and their components:
- Vector v = (x, y, z)
- Vector w = (z, x, y)
The angle between two vectors can be calculated using the dot product formula:
θ = cos^(-1)((v·w) / (||v|| * ||w||))
where v·w is the dot product of v and w, and ||v|| and ||w|| are the magnitudes of v and w, respectively.
Now, let's analyze the dot product v·w:
v·w = x * z + y * x + z * y
= xy + xz + yz
Since x + y + z = 0, we can rewrite this dot product as:
v·w = xy + xz + yz = xy + xz - (x + y)z
= xy + xz - xz
= xy
Now, consider the magnitudes ||v|| and ||w||:
||v||^2 = x^2 + y^2 + z^2
||w||^2 = z^2 + x^2 + y^2
Notice that ||v||^2 = ||w||^2 because x^2 + y^2 + z^2 = z^2 + x^2 + y^2.
Therefore, ||v|| = ||w||.
Substitute these values into the angle formula:
θ = cos^(-1)((v·w) / (||v|| * ||w||))
= cos^(-1)(xy / (||v||^2))
Since ||v|| = ||w||, we can simplify further:
θ = cos^(-1)(xy / ||v||^2)
Now, let's analyze the expression v·w / ||v||^2:
v·w / ||v||^2 = (xy) / (x^2 + y^2 + z^2)
This is where the condition x + y + z = 0 comes into play. Because x + y + z = 0, we have z = -(x + y), and the denominator x^2 + y^2 + z^2 simplifies to 2(x^2 + xy + y^2).
So, v·w / ||v||^2 = xy / 2(x^2 + xy + y^2).
Now, if we look at the expression v·w / ||v||^2, we can see that it's always equal to -1/2.
This means that the angle θ between vectors v and w is always cos^(-1)(-1/2), which is approximately 120 degrees.
In summary, the relationship between the vectors v and w, as defined by x + y + z = 0, leads to an interesting property where the angle between them is always cos^(-1)(-1/2), and this result has a geometrical significance within the context of the plane defined by the equation x + y + z = 0 and the vectors v and w lying in this plane.
You:
用中文复述一遍
ChatGPT:
当给定向量 v = (x, y, z) 和 w = (z, x, y),方程 x + y + z = 0 表示了三维空间中的一个平面。这个平面由法向量 n = (1, 1, 1) 确定,该法向量垂直于平面。任何位于这个平面上的向量,比如 v,可以被表示为平行于法向量和在平面内的向量之和。
现在我们来分析这些向量及其分量:
- 向量 v = (x, y, z)
- 向量 w = (z, x, y)
两个向量之间的夹角可以通过点积公式计算:
θ = cos^(-1)((v·w) / (||v|| * ||w||))
其中 v·w 是向量 v 和 w 的点积,||v|| 和 ||w|| 分别是 v 和 w 的模。
现在我们来分析点积 v·w:
v·w = x * z + y * x + z * y
= xy + xz + yz
由于 x + y + z = 0,我们可以将这个点积重新写成:
v·w = xy + xz + yz = xy + xz - (x + y)z
= xy + xz - xz
= xy
现在考虑模 ||v|| 和 ||w||:
||v||^2 = x^2 + y^2 + z^2
||w||^2 = z^2 + x^2 + y^2
注意到 ||v||^2 = ||w||^2,因为 x^2 + y^2 + z^2 = z^2 + x^2 + y^2。
因此,||v|| = ||w||。
将这些值代入夹角公式:
θ = cos^(-1)((v·w) / (||v|| * ||w||))
= cos^(-1)(xy / (||v||^2))
由于 ||v|| = ||w||,我们可以进一步简化:
θ = cos^(-1)(xy / ||v||^2)
现在我们来分析表达式 v·w / ||v||^2:
v·w / ||v||^2 = (xy) / (x^2 + y^2 + z^2)
这就是方程 x + y + z = 0 的作用。因为 x + y + z = 0,我们有 z = -(x + y),而分母 x^2 + y^2 + z^2 简化为 2(x^2 + xy + y^2)。
因此,v·w / ||v||^2 = xy / 2(x^2 + xy + y^2)。
现在,如果我们看一下表达式 v·w / ||v||^2,我们可以看出它始终等于 -1/2。
这意味着向量 v 和 w 之间的夹角始终是 cos^(-1)(-1/2),大约是 120 度。
总之,在向量 v 和 w 之间的关系中,由方程 x + y + z = 0 定义,导致了一个有趣的特性,即它们之间的夹角始终是 cos^(-1)(-1/2),在定义为 x + y + z = 0 的平面上,向量 v 和 w 在这个平面内。
You:
我想用线性代数说明为什么x+y+z=0表示了一个平面,有什么基本思路吗
ChatGPT:
当解释为什么方程 x + y + z = 0 表示一个平面时,我们可以使用线性代数中的向量和点积的概念。
一个平面可以由其法向量来定义,该法向量垂直于平面的每一点。在三维空间中,一个平面的法向量可以通过两个非平行的向量的叉积来获得。然而,在这种情况下,我们将使用法向量 n = (1, 1, 1)。
考虑一个一般的点 (x, y, z) 在平面上。这个点到法向量 n 的投影就是点积 n·(x, y, z)。如果这个投影为零,意味着向量 (x, y, z) 与法向量 n 垂直,从而点 (x, y, z) 在平面上。
计算点积 n·(x, y, z):
n·(x, y, z) = 1 * x + 1 * y + 1 * z
= x + y + z
因为我们要表示的平面满足 x + y + z = 0,所以点 (x, y, z) 在平面上。这就解释了为什么方程 x + y + z = 0 描述了一个平面。
从线性代数的角度来看,平面方程 x + y + z = 0 表示了一个由法向量 (1, 1, 1) 定义的平面,法向量垂直于平面中的每一个点。
You:
回到之前的问题,我觉得这样写没什么难度,我想要的解法是:观察两个向量的形式,找出它们的几何意义,然后直接得出结论。不需要计算它们的乘积。
ChatGPT:
当观察向量 v = (x, y, z) 和 w = (z, x, y) 的形式时,我们可以直接注意到它们的排列形式和坐标的关系。这种观察可以帮助我们理解它们的几何意义。
首先,让我们考虑 x + y + z = 0。这是一个平面方程,表示一个平面,而这个平面的法向量是 (1, 1, 1)。这是因为在这个平面上的任意一点 (x, y, z) 到法向量 (1, 1, 1) 的点积为:
(1, 1, 1) · (x, y, z) = x + y + z
如果点积为零,即 x + y + z = 0,那么这个点 (x, y, z) 就位于平面上。
现在考虑向量 w = (z, x, y)。注意到 w 的坐标是 v 的坐标顺序向后循环移动一位,即 z → x → y。这种循环排列实际上可以表示一个旋转。
从几何角度来看,向量 v 和 w 分别表示了平面内的两个向量。向量 v 的坐标 (x, y, z) 可以看作是平面上一个点的坐标,而向量 w 的坐标 (z, x, y) 则表示一个点绕这个平面旋转了一定角度后的新坐标。这种旋转可以想象为在平面内的一个倾斜或旋转操作。
综上所述,向量 v 和 w 在 x + y + z = 0 所定义的平面上,由于它们的坐标形式和排列关系,可以被解释为平面内的两个向量,其中 w 是 v 绕着平面的一个旋转。这种几何关系导致了它们之间的夹角始终是固定值。
You:
回到x+y+z=0这个话题吧。现在假设我在四维空间上有x+y+z+a=0,那么(x,y,z,a)代表的是不是一个三维的“平面”?
ChatGPT:
在四维空间中,方程 x + y + z + a = 0 表示一个三维的超平面。虽然我们难以想象四维空间,但我们可以使用类似的观察来理解这个情况。
在三维空间中,方程 x + y + z = 0 描述一个平面,其中任意一点 (x, y, z) 到法向量 (1, 1, 1) 的点积为零。类似地,在四维空间中,方程 x + y + z + a = 0 描述一个超平面,其中任意一点 (x, y, z, a) 到法向量 (1, 1, 1, 1) 的点积为零。
虽然我们难以直观地想象四维空间,但基本概念是类似的。这个超平面在四维空间中是一个三维子空间,就像平面是三维空间中的一个二维子空间一样。超平面上的任意点 (x, y, z, a) 满足 x + y + z + a = 0,表示它位于这个超平面上。
因此,类似于三维空间中的情况,方程 x + y + z + a = 0 在四维空间中表示一个三维的超平面。
32以后的就先不管了
(1.3) Matrices
学习
1.3 Matrices
换成第4版(2009)的老书了,因为2016的版本扫描缺东西
重点看p24 The inverse matrix

理解中...
正在参考
link1 🔗 [從幾何向量空間到函數空間 | 線代啟示錄] https://ccjou.wordpress.com/2009/08/18/從幾何向量空間到函數空間/
link2 🔗 [從線性代數看微分方程 | 線代啟示錄] https://ccjou.wordpress.com/2009/11/18/從線性代數看微分方程/
link3 🔗 [利用逆矩陣積分 | 線代啟示錄] https://ccjou.wordpress.com/2009/12/01/利用逆矩陣積分/
其实只看了link1的前半部分,最重要的部分其实就是这些


还是有点难,通过阅读link1的一小部分理解了一点东西,顺便复习了一遍几年没碰的微积分,但还是无法理解这张图的一些细节(甚至得出了和图中相反的结论,即Ax可以理解为A对x(t)的积分运算)
后来好像搞明白什么回事了。我中途还一度以为我对x(t)的"t"的流动方向搞错了,其实并没有,t仍然是沿着column流动。关键在于我没有发现前面提到的矩阵A是特殊构造的:(我一直把A当作一个普通的矩阵了)

在这种情况下,书P24~P25(注意这是第4版PDF)就突然明白了很多:



当然,上面的矩阵写得不算很规范,更规范的Forward difference matrix在后面的习题有出现:
P30

耽误了好多时间,继续看
cyclic differences
不满秩的方阵-退化的方阵-在3维空间张成2维平面的矩阵,... 等等
都能看懂,尤其是在本笔记先前写完了x+y+z=0的一些推论以后,虽然这部分内容可能以后大有搞头,不过可以先专注于这本书的范畴

在后面的习题(P30 problem set 1.3 #9)补充了4维空间的cyclic difference matrix


P27

* 注意这里的条件是Ax=0(齐次坐标系),相关笔记补充在chapter 2的笔记中。
矩阵可逆:nonsingular matrix(奇异方阵,注意nonsingular matrix和invertible matrix都翻译为可逆矩阵),行列式Det(A)!=0,列线性独立,Ax=0有唯一解,A满秩,A非退化
矩阵不可逆:singular matrix(奇异方阵),列并非线性独立,Ax=0有很多解,A不满秩,行列式Det(A)=0,A退化


再联系上面学过的x+y+z=0以及cyclic differences的例子想一想大概就能把这些概念都联系起来了,关键词:行列式,体积,张成的空间,退化,行列式为0时的“压缩”,矩阵的秩,可逆与不可逆
再用之前的笔记提到的“stellaris银河系灾飞但存在纰漏“这个例子想象一个不可逆的矩阵(也就是一个不满秩的矩阵,一个在高维空间仍然过着银河系生活的政体)
学完了,正如p27提到的那样,

习题
习题
做了14,7(又一次补充了行秩和列秩的知识),8,9,12,11
11又复习了一次二项式定理/Binomial theorem,补充在🔗 [2022-08-15 - Truxton's blog] https://truxton2blog.com/2022-08-15/