M+k=n: Examining Linear Equations Relationships

Click For Summary

Discussion Overview

The discussion centers around the relationship expressed by the equation m + k = n in the context of linear equations, specifically examining the roles of linearly independent columns, free variables, and the structure of augmented matrices. Participants explore whether this relationship holds universally across all systems of linear equations.

Discussion Character

  • Technical explanation
  • Debate/contested
  • Mathematical reasoning

Main Points Raised

  • One participant defines m as the number of linearly independent columns of matrix A, k as the number of free variables, and n as the total number of columns in A, questioning the universality of the relationship m + k = n.
  • Another participant expresses confusion regarding the notation used for the augmented matrix, seeking clarification.
  • A clarification is provided that A is the coefficient matrix and B is the augmented matrix, with b representing the answer column of the linear equations.
  • One participant asserts that m + k = n should hold, linking m to the rank of matrix A.
  • A different participant disagrees with the universality of the relationship, initially misreading k but later clarifying that in the context of Gaussian elimination, k and m represent free and basic variables, respectively, leading to the conclusion that k + m = n is a trivial result.
  • Another participant discusses the dimensionality of the solution space, stating that if P is the solution space and r(A) is the rank, then dimP = n - r(A), outlining a proof involving row-echelon form and linear combinations.

Areas of Agreement / Disagreement

Participants express differing views on the universality of the relationship m + k = n, with some asserting it holds while others contest this claim. The discussion remains unresolved regarding whether this relationship applies to all systems of linear equations.

Contextual Notes

There are limitations in the discussion regarding the definitions of terms such as "free variables" and "basic variables," as well as the implications of the solution space not being a "space" in the vector space sense when b = 0.

413
Messages
40
Reaction score
0
Let b be the vector such that B = [A b] , and let a1, a2, a3 and a4 be the columns of A.

Let m be the number of linearly independent columns of A, let k be the number of parameters (free variables), and let n be the total number of columns in A. In our example above, n = 4.

Do you suppose that this relationship m + k = n will be true for all systems of linear equations?
 
Physics news on Phys.org
I'm afraid I don't recognize the notation "the vector such that B = [A b]". What does it mean?
 
um, well A is the co-efficient matrix of the system, and B is the augmented matrix of the system, b is just the answer column of the linear equations.
 
Yes, m + k = n should hold, since m = r(A).
 
"Do you suppose that this relationship m + k = n will be true for all systems of linear equations?"

No.


Edit:
I misread k. My fault.
In the problem as stated there are n unknowns.
In the context of Gaussian elimination, they fall into
two groups, free and basic. In the stated problem
they are k and m, respectively. Their sum equals n,
i.e., k+m=n. This is a trivial result. I suppose that's
what fooled me. I guess I was expecting a "trick" question, or maybe something with a little more substance.

I might add that in the case ~(b=0), the solution *set* is not a "space" (in the vector space sense). It should properly be called a linear manifold.
 
Last edited:
Yes, if P is the solution space and r(A) is the rank then:
dimP = n - r(A)
outline of proof: (r=r(A))
First we can put the matrix A into row-echelon form, now the number or non-zero rows is the rank.
If v = (t_1, ... , t_r, ... , t_n) is a solution then the vectors {t_1, ... , t_r} are all linear combinations of {t_r+1, ... , t_n} . If
t_1 = C_11*t_r+1 + ... + C_1n*t_n then it's possible to write the general solution as:
t_r+1 (C_11, C_21, ... , 1, 0, ... , 0)
:
:
t_n (C_1(n-r) , C_2(n-r), ... , 0 , ... ,0 ,1)
since all these n-r vectors are also linearly independent they are a base to the solution and so dimP = n - r(A)
In this case dimP = k, r(A) = m so m+k = n
 

Similar threads

  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 23 ·
Replies
23
Views
2K
  • · Replies 12 ·
Replies
12
Views
2K
  • · Replies 10 ·
Replies
10
Views
2K
  • · Replies 6 ·
Replies
6
Views
4K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 9 ·
Replies
9
Views
2K
  • · Replies 9 ·
Replies
9
Views
3K