Null-space proof for square matrix

AI Thread Summary
The discussion focuses on proving properties of the null space of a square matrix A. It establishes that if two vectors, (b1, ..., bn) and (c1, ..., cn), are in the null space of A, then their sum (b1 + c1, b2 + c2, ..., bn + cn) also belongs to the null space. Additionally, it is shown that for any scalar d, the vector (db1, ..., dbn) remains in the null space of A. The proofs rely on the assumption that A is non-singular and that the leading ones correspond to zero outputs in the null space. The discussion concludes with a reference to a similar question previously posed in another forum thread.
VitaminC
Messages
4
Reaction score
0

Homework Statement



Suppose F is a field and A ε Mnn(F) is a square matrix whose kjth entry is denoted
by akj ε F for all 1 ≤ k,j ≤ n. Suppose further that (b1; . . . ; bn) and (c1; . . . ; cn)
belong to the null space of A.

i) Prove that the sum (b1 + c1; b2 + c2; . . . ; bn + cn) also belongs to the null space of A

ii) Suppose d ε F. Prove that the scalar multiple (db1; . . . ; dbn) also belongs to the
null space of A.

Homework Equations


The Attempt at a Solution



For both proofs,

Assume A is a non-singular; the linear system (A,0) has a unique solution
----> is there a proof for this assumption using akj ε F for all 1 ≤ k,j ≤ n ?

Thus, A is non-singular <=> LS(A,0)
<=> leading ones (# of nonzero rows) is equal to the number of rows
<=> A = I (identity matrix)

For i)
Each leading one of the matrix will equal to some corresponding (b1,...,bn) or (c1,...,cn).
Since (b1,...,bn) and (c1,...,cn) fall in the null space of A, the corresponding (b1,...,bn) and (c1,...,cn) of A = I ,should equal 0.

Thus, b1 = 0 and c1 = 0 --> b1 = c1 --> b1 + b1 = 0 --> b1 + c1 = 0 for all (b1,...,bn) and (c1,...,cn). Thus, (b1 + c1, b2 + c2, . . . , bn + cn) is also in the null space of A. For ii) from i), I established that some corresponding (b1,...,bn) will equal 0, when A = I. Thus, multiplying by the scalar 'd' does not change the output.

So, (db1,...,dbn) = (b1,...,bn) --> (db1,...,dbn) is also in the null space of A.
 
Physics news on Phys.org
VitaminC said:

Homework Statement



Suppose F is a field and A ε Mnn(F) is a square matrix whose kjth entry is denoted
by akj ε F for all 1 ≤ k,j ≤ n. Suppose further that (b1; . . . ; bn) and (c1; . . . ; cn)
belong to the null space of A.

i) Prove that the sum (b1 + c1; b2 + c2; . . . ; bn + cn) also belongs to the null space of A

ii) Suppose d ε F. Prove that the scalar multiple (db1; . . . ; dbn) also belongs to the
null space of A.

Homework Equations





The Attempt at a Solution



For both proofs,

Assume A is a non-singular; the linear system (A,0) has a unique solution
----> is there a proof for this assumption using akj ε F for all 1 ≤ k,j ≤ n ?

Thus, A is non-singular <=> LS(A,0)
<=> leading ones (# of nonzero rows) is equal to the number of rows
<=> A = I (identity matrix)

For i)
Each leading one of the matrix will equal to some corresponding (b1,...,bn) or (c1,...,cn).
Since (b1,...,bn) and (c1,...,cn) fall in the null space of A, the corresponding (b1,...,bn) and (c1,...,cn) of A = I ,should equal 0.

Thus, b1 = 0 and c1 = 0 --> b1 = c1 --> b1 + b1 = 0 --> b1 + c1 = 0 for all (b1,...,bn) and (c1,...,cn). Thus, (b1 + c1, b2 + c2, . . . , bn + cn) is also in the null space of A.


For ii) from i), I established that some corresponding (b1,...,bn) will equal 0, when A = I. Thus, multiplying by the scalar 'd' does not change the output.

So, (db1,...,dbn) = (b1,...,bn) --> (db1,...,dbn) is also in the null space of A.

Someone else asked what seems to be the same question - see https://www.physicsforums.com/showthread.php?t=539211.
 
I picked up this problem from the Schaum's series book titled "College Mathematics" by Ayres/Schmidt. It is a solved problem in the book. But what surprised me was that the solution to this problem was given in one line without any explanation. I could, therefore, not understand how the given one-line solution was reached. The one-line solution in the book says: The equation is ##x \cos{\omega} +y \sin{\omega} - 5 = 0##, ##\omega## being the parameter. From my side, the only thing I could...
Back
Top