1.2 System of Linear Equations

这一节与1.1 Fields一起，是一个基础知识介绍，主要概念包括field和subfield，system of m linear equations in n unknowns，以及什么是solution，什么是homogeneous system。
field需要满足9个条件，subfield则重点介绍的是复数域C上自成一域的集合。域的特征值是挺有意思的一个新概念，一般能遇到的field都是characteristic zero的。
在介绍方程组系统时，很快就引入了linear combination的概念，如果用线性空间的思维来看，equations in n unknowns with coefficients in F可以看作一个线性空间V，如果说一个方程是某个系统中方程的linear combination，那么这一方程处于这个系统在V中span的subfield，如果两个系统等价，按照文中定义，就是他们span成相同的subfield，因此解相同，这也是Theorem 1 的内容。并且，V中的任何一个subfield都对应着$F^n$里的一个subfield（即解空间solution space），当然按照1.2的内容还没法证明$V$和$F^n$是不是同构（isomorphism）的。

Exercises

1.Verify that the set of complex numbers described in Example 4 is a subfield of $C$.

Solution:Let F = { x + y 2 : x , y ∈ Q } F=\{x+y\sqrt{2}:x,y∈Q\} F={ x+y2 ​:x,y∈Q}, then $0=0+0\sqrt{2},1=1+0\sqrt{2}$, thus $0,1\in F$, let $x,y\in F$, then $x=a+b\sqrt{2},y=c+d\sqrt{2},a,b,c,d\in Q$, so we have
$$\begin{gathered} x+y=a+c+(b+d)\sqrt{2}\in F \\ -x=-a-b\sqrt{2}\in F \\ xy=ac+2bd+(ad+bc)\sqrt{2}\in F \\ {x}^{-1}=\frac{1}{a+b\sqrt{2}}=\frac{a-b\sqrt{2}}{a^2-2b^2}\in F \end{gathered}$$

2.Let $F$ be the field of complex numbers. Are the following two systems of linear equations equivalent? If so, express each equation in each system as a linear combination of the equations in the other system.

$$\begin{array}{rlr}{x}_1-x_2& =03x_1+x_2& =0\\ 2x_1+x_2& =0x_1+x_2& =0\end{array}$$
Solution:They are equivalent, since
$$\begin{gathered} 3x_1+x_2=1/3(x_1-x_2)+4/3(2x_1+x_2) \\ {x}_1+x_2=-1/3(x_1-x_2)+2/3(2x_1+x_2) \end{gathered}$$
and
$$\begin{gathered} x_1-x_2=(3x_1+x_2)-2(x_1+x_2) \\ 2x_1+x_2=1/2(3x_1+x_2)+1/2(x_1+x_2) \end{gathered}$$

3.Test the following systems of equations as in Exercise 2.

$$\begin{array}{r}-x_1+x_2+4x_3\\ x_1+3x_2+8x^{}\end{array}$$