Chapter 2 · Foundation第 2 章 · 基礎

Linear Independence Lab線性相依與線性獨立

When does a vector add a new direction? Experiment with linear combinations, find a nontrivial zero relation, and follow the proof.一個向量什麼時候會帶來新方向?動手做線性組合(linear combination),找出一組不平凡的零關係(nontrivial relation),再跟著證明一步步走。

First experiment先做這三步
  1. Choose “Proportional vectors” to get v₁=(1,2) and v₂=(2,4).選「兩個成比例的向量」,得到 v₁=(1,2)、v₂=(2,4)。
  2. Set c₁ to −2 and c₂ to 1. Check whether both coordinates cancel to 0.把 c₁ 設為 −2,c₂ 設為 1,觀察兩個座標是否都消成 0。
  3. Compare with c₁=c₂=0. Both give zero, but only the first one proves dependence.比較 c₁=c₂=0:兩次都得到零,但只有前一次能證明相依。

Predict → change one value → inspect the calculation → read the key idea.先預測 → 改一個值 → 檢查算式 → 看懂重點概念。

Can a nontrivial combination give zero?係數不全為零的組合,能得到零向量嗎?

All coefficients in this section are real. “Nontrivial” means at least one coefficient is nonzero; it does not mean that every coefficient must be nonzero.本節所有係數都是實數。「不平凡」(nontrivial)的意思是至少有一個係數不為 0,並不是每個係數都必須不為 0。

Independent:線性獨立(linearly independent): c₁v₁+⋯+cₘvₘ=0 ⇒ c₁=⋯=cₘ=0.
Dependent:線性相依(linearly dependent): ∃(c₁,…,cₘ)≠(0,…,0) with使得 c₁v₁+⋯+cₘvₘ=0.
Edit vectors in ℝ²編輯 ℝ² 中的向量
Vector向量coordinate 1座標 1coordinate 2座標 2

Coordinates between −5 and 5; fractions such as 1/3 are accepted. Conclusions use exact arithmetic.座標範圍為 −5 到 5,可以輸入分數(例如 1/3)。結論都用精確的分數運算得出。

Try a linear combination試一個線性組合

Try coefficients from −5 to 5, including fractions. The definition itself allows all real coefficients.係數可以在 −5 到 5 之間試,也可以用分數。定義本身允許任何實數係數。

Vectors, their span, and your sum向量、張成空間與你的組合結果

Span means all possible linear combinations. Pale shading indicates a plane; a pale line indicates a one-dimensional span; a point indicates {0}. Overlapping arrows do not change the exact calculation.張成空間(span)是指所有可能的線性組合。淡色塗滿表示張成整個平面;淡色直線表示一維的張成空間;只有一個點表示 {0}。箭頭重疊不影響精確計算。

Independence and spanning are different questions線性獨立與張成是兩個不同的問題

One nonzero vector in ℝ² is independent but spans only a line. The list (1,0),(0,1),(1,1) spans ℝ² but is dependent. A basis must be both independent and spanning.ℝ² 中一個非零向量是線性獨立的,但只張成一條直線。向量組 (1,0),(0,1),(1,1) 張成 ℝ²,卻是線性相依的。基底(basis)必須同時線性獨立,而且張成整個空間。

Optional shortcut for two vectors選讀:兩個向量的快速判別法

For u=(u₁,u₂), v=(v₁,v₂), det[u v]=u₁v₂−u₂v₁. A nonzero determinant makes the only zero relation trivial. The next section uses equations, so no determinant theory is required.對 u=(u₁,u₂)、v=(v₁,v₂),det[u v]=u₁v₂−u₂v₁。行列式(determinant)不為 0 時,唯一的零關係就是平凡關係。下一節改用方程式,所以不需要先學行列式理論。

Challenge挑戰

Does a new vector add a new direction?新向量有沒有帶來新方向?

Add vectors one at a time and drag their tips (they snap to grid points; arrow keys work too). The pale blue region is the current span: everywhere linear combinations can reach. Watch whether each new vector makes the span bigger.一次加入一個向量,在圖上拖動箭頭尖端(會對齊格點,也可以用方向鍵)。淺藍色是目前的張成空間:所有線性組合能到達的地方。注意看每加一個向量,張成有沒有變大。

    Tasks任務
      A picture suggests an answer; the zero-relation equation proves it.圖形只能提示答案;零關係的方程式才能證明。
      From vectors to equations把一個向量等式拆成兩條方程式Every coordinate must equal 0. Row operations are simply elimination applied to these two equations; they do not change the answer. Press Next to follow each step. Look up new terms such as pivot in the glossary.每一個座標都必須等於 0。「列運算(row operation)」只是用消去法整理這兩條方程式,不會改變答案。按「下一步」跟著算;主元(pivot)等新名詞可在術語表查閱。

      Solve the zero-relation equation.解零關係方程式。

      This section follows the vectors you entered in step 1. Form the matrix A with those vectors as columns. The question is whether Ac=0 has a solution other than c=0.本節沿用你在步驟 1 輸入的向量。把這些向量當成欄(column),組成矩陣 A。問題是:Ac=0 除了 c=0 之外,還有沒有其他解?

      Start with coordinates從座標開始

      Elementary row operations preserve the solution set.基本列運算(row operation)不會改變解集合。

      You may swap two equations, multiply an equation by a nonzero scalar, or add a multiple of another equation. The right-hand side stays zero.可以交換兩條方程式、把一條方程式乘上非零純量,或加上另一條方程式的倍數。等號右邊始終是 0。

      Read the solution讀出解
      What do “pivot” and “free coefficient” mean?「主元」與「自由係數」是什麼意思?

      A pivot is a leading 1 used to solve for a coefficient after elimination. A coefficient in a column without a pivot can be chosen freely; the other coefficients are then determined by the equations.主元(pivot)是消去後每一列最前面的 1,用來解出一個係數。沒有主元的欄所對應的係數可以自由選擇(自由係數,free coefficient);其他係數再由方程式決定。

      Here, the number of pivots is the rank. If every column has a pivot, all coefficients in Ac=0 are forced to zero. A free coefficient produces a nontrivial zero relation.這裡主元的個數就是秩(rank)。如果每一欄都有主元,Ac=0 的所有係數都被迫等於 0;只要有自由係數,就能得到不平凡的零關係。

      Why dependence means redundancy為什麼相依代表有多餘的向量
      If若 ∑cᵢvᵢ=0 and且 cⱼ≠0, then則
      vⱼ = −∑i≠j(cᵢ/cⱼ)vᵢ.
      So vⱼ can be removed without changing the span. This uses division by a nonzero scalar.所以拿掉 vⱼ 不會改變張成空間。這一步用到「除以非零純量」。
      Optional extension選讀延伸Try the polynomials first, then compare what changes when coefficients may be real or complex. If you have not learned complex numbers yet, skip the card “The field is part of the question” for now.先操作多項式,再比較允許實係數或複係數時的不同。還沒學複數時,可先略過「純量體也是問題的一部分」這張卡片。

      The same definition works beyond arrows.同一個定義也適用於箭頭以外的向量。

      Polynomials in P₂(ℝ)P₂(ℝ) 中的多項式

      A polynomial is zero only when every coefficient is zero. Enter the coefficient lists of three polynomials.多項式只有在每個係數都是 0 時才是零多項式。請輸入三個多項式的係數。

      Polynomial多項式constant常數項tt²
      Testing only t=1 is insufficient: p(t)=t−1 has p(1)=0, but p(0)=−1. A zero polynomial must vanish at every input, equivalently every coefficient is zero.只檢查 t=1 不夠:p(t)=t−1 滿足 p(1)=0,但 p(0)=−1。零多項式在每個輸入值都必須等於 0,等價於每個係數都是 0。
      The field is part of the question純量體也是問題的一部分

      Keep the vectors 1 and i in ℂ. Change the allowed scalars.固定 ℂ 中的向量 1 和 i,改變允許使用的純量。

      a·1+b·i = (aᵣ−bᵢ) + (aᵢ+bᵣ)i.

      Switch the field to ℂ first: over ℝ, a = −i is not an allowed coefficient.先把體切換成 ℂ 才能使用:在 ℝ 上,a = −i 不是可以用的係數。

      These are vectors in ℂ; the choice of scalar field determines which coefficient pairs you may use.這些都是 ℂ 中的向量;選擇哪個純量體,決定了你可以使用哪些係數。

      Special cases worth checking值得檢查的特殊情況
      A zero vector makes a list dependent.含有零向量的向量組一定線性相依。1·0+0v₂+⋯+0vₘ=0.
      Repeated vectors make a list dependent.有重複向量的向量組一定線性相依。1v−1v=0.
      A one-vector list (v) is independent iff v≠0.只有一個向量的向量組 (v) 線性獨立,若且唯若 v≠0。av=0, a≠0 ⇒ v=a⁻¹0=0.
      The empty list is independent.空向量組是線性獨立的。There are no coefficients that could form a nontrivial relation; its span is {0}, the empty sum.沒有任何係數能組成不平凡關係;它的張成空間是 {0},也就是空和。

      For three or more vectors, “no proportional pair” does not imply independence. For example, (1,0)+(0,1)−(1,1)=0.三個以上的向量時,「兩兩不成比例」並不保證線性獨立。例如 (1,0)+(0,1)−(1,1)=0。

      Give a reason不要只猜「相依」或「獨立」Dependent: find coefficients, not all zero, that make the sum zero. Independent: use the equations to show that only all-zero coefficients work. If you are wrong, check which part of the definition is not met.相依(dependent):找一組不全為零的係數,讓向量和為零。獨立(independent):用方程式證明只有全零係數可行。答錯時,先看是哪個定義沒有符合。

      Find the reason, not just the label.找出理由,而不只是貼標籤。

      Allow 30–35 minutes for exploration and practice. All exercises use real coefficients unless a different field is specified. You can retry after reading the feedback.探索與練習約需 30–35 分鐘。除非題目指定其他純量體,所有練習都使用實數係數。看完回饋後可以再試。

      07 · Construct a dependence relation07 · 寫出一組相依關係

      For v₁=(1,2), v₂=(2,4), find av₁+bv₂=0 with a,b not both zero.對 v₁=(1,2)、v₂=(2,4),找不全為零的 a,b,使 av₁+bv₂=0,讓兩個向量的組合完全消去。

      Any valid nontrivial relation is accepted, including fractions.任何正確的不平凡關係都算對,也可以用分數。

      08 · Representation and uniqueness08 · 表示法與唯一性

      Use u=(1,0), v=(1,1) to build (2,3).用 u=(1,0)、v=(1,1) 組出 (2,3)。

      Find a,b such that au+bv=(2,3). The feedback then shows why these coefficients are unique.求係數 a,b,使 au+bv=(2,3)。核對後會說明為什麼這組係數是唯一的。

      Why independence gives uniqueness為什麼線性獨立保證唯一性
      au+bv=a′u+b′v
      ⇒ (a−a′)u+(b−b′)v=0
      ⇒ a−a′=b−b′=0.

      The last implication uses independence. It proves uniqueness for every representable target, not just this one.最後一步用到線性獨立。這證明了每個可以被表示的目標向量,表示法都是唯一的,不只這一個。

      Keep evidence:保留證據: one nontrivial zero relation, one proof that only the trivial relation is possible, and an explanation of how the scalar field changes the question.一組不平凡的零關係、一個「只有平凡關係(trivial relation)」的證明,以及說明純量體如何改變問題。
      Glossary: each term in one sentence術語表:用一句話理解
      Vector向量(Vector)
      可做加法與純量乘法的物件。例:(2,1) 有兩個座標;多項式也可以是向量。
      An object you can add and multiply by a scalar. (2,1) has two coordinates; a polynomial can also be a vector.
      Scalar純量(Scalar)
      拿來乘向量的數。例如 3(1,2)=(3,6),其中 3 是純量。
      A number that multiplies a vector. In 3(1,2)=(3,6), the scalar is 3.
      Coordinate座標(Coordinate)
      描述向量的一個數值。(2,1) 的第一座標是 2,第二座標是 1。
      One of the numbers describing a vector. For (2,1), the first coordinate is 2 and the second is 1.
      Coefficient係數(Coefficient)
      線性組合中乘在向量前面的純量。2u−v 的係數是 2 和 −1。
      The scalar in front of each vector in a linear combination. In 2u−v the coefficients are 2 and −1.
      Linear combination線性組合(Linear combination)
      先把向量各自乘上純量,再相加:au+bv。
      Multiply each vector by a scalar, then add the results: au+bv.
      Symbols符號怎麼讀(Symbols)
      ∈:屬於;∉:不屬於;∀:每一個;∃:至少存在一個;⇒:如果前者成立,則後者成立。ℝ 是實數集合,ℂ 是複數集合。
      ∈: is in; ∉: is not in; ∀: for every; ∃: there is at least one; ⇒: if the first part holds, so does the second. ℝ is the set of real numbers and ℂ the set of complex numbers.
      Linear independence線性獨立(Linear independence)
      向量組合成零時,係數只能全部是零。要排除所有不平凡的消去方式。
      The only way to combine the vectors into zero is with every coefficient zero. Every nontrivial cancellation must be ruled out.
      Linear dependence線性相依(Linear dependence)
      存在至少一個非零係數,卻讓向量組合成零。例如 u+v−(u+v)=0。
      Some combination with at least one non-zero coefficient gives zero. For example, u+v−(u+v)=0.
      Trivial relation平凡關係(Trivial relation)
      全部係數都是零:0v₁+⋯+0vₘ=0。任何向量組都有這種關係。
      All coefficients are zero: 0v₁+⋯+0vₘ=0. Every list of vectors has this relation.
      Nontrivial relation不平凡關係(Nontrivial relation)
      係數不全為零的零和關係。不是要求每一個係數都不為零。
      A combination equal to zero whose coefficients are not all zero. It does not require every coefficient to be non-zero.
      Span張成空間(Span)
      所有可能的線性組合所形成的集合。單一非零向量張成通過原點的直線。
      The set of all possible linear combinations. One non-zero vector spans a line through the origin.
      Basis基底(Basis)
      既線性獨立、又能張成整個空間的向量組;每個向量在此基底下有唯一係數。
      A linearly independent list that spans the whole space; every vector has exactly one set of coefficients in it.
      Rank秩(Rank)
      這些向量能提供多少個獨立方向。消去後可由主元數量讀出。
      How many independent directions the vectors provide. After elimination, it equals the number of pivots.
      Pivot / free coefficient主元/自由係數(Pivot / free coefficient)
      主元用來解出某個係數。沒有主元的欄所對應的係數可自由選取,再求其他係數。
      A pivot is used to solve for one coefficient. A coefficient whose column has no pivot can be chosen freely; the others follow from it.
      Scalar field純量體(Scalar field)
      係數允許是實數還是複數會影響答案。1,i 在 ℝ 上獨立,卻在 ℂ 上相依。
      Whether coefficients may be real or complex changes the answer. 1 and i are independent over ℝ but dependent over ℂ.

      Some terms are advanced; you do not need to memorise them all at once. Experiment first, then use examples to understand the definitions.有些名詞屬於進階內容,不必一次全部背起來。先操作,再用例子理解定義。