Proving Theorem: Column Space of Matrix A is a Subspace of R^m

Click For Summary
To prove that the column space of an m x n matrix A is a subspace of R^m, start by defining the column space as the set of all linear combinations of the columns of A. Next, demonstrate that this set is indeed a subset of R^m, as each column vector is an element of R^m. Verify the three properties of a subspace: the zero vector is included in the column space, the sum of any two vectors in the column space remains in the column space, and multiplying any vector in the column space by a scalar yields another vector in the column space. The discussion emphasizes that since all columns originate from R^m, it follows that the column space is a subspace of R^m. This approach effectively confirms the theorem.
413
Messages
40
Reaction score
0
How would I prove this theorem:

"The column space of an m x n matrix A is a subspace of R^m"

by using this definition: A subspace of a vector space V is a subset H of V that has three properties: a) the zero vector of V is in H. b) H is closed under vector addition. c) H is closed under multiplication by scalars.

Please help
 
Physics news on Phys.org
Okay, here's what you should do:
1. Write out the definition of "column space" since you already have the definition of "subspace".

2. Show that the column space is a subset of R^m.

3. Show that (a) is true: is the zero vector in the column space- does it satisfy the definition of vectors in the column space?

4. Show that (b) is true: if you add two vectors in the column space is the result in the column space?

5. Show that (c) is true: if you multiply a vector in the column space by a scalar is the result in the column space?
 
I think i can show the three properties, but how would i show the column space is a subset of R^m?
 
413 said:
I think i can show the three properties, but how would i show the column space is a subset of R^m?

Well, it's obvious since all the columns are from R^m !
 
Again, what is the definition of "column space"?
 
I am studying the mathematical formalism behind non-commutative geometry approach to quantum gravity. I was reading about Hopf algebras and their Drinfeld twist with a specific example of the Moyal-Weyl twist defined as F=exp(-iλ/2θ^(μν)∂_μ⊗∂_ν) where λ is a constant parametar and θ antisymmetric constant tensor. {∂_μ} is the basis of the tangent vector space over the underlying spacetime Now, from my understanding the enveloping algebra which appears in the definition of the Hopf algebra...

Similar threads

  • · Replies 6 ·
Replies
6
Views
3K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 19 ·
Replies
19
Views
5K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 3 ·
Replies
3
Views
3K
Replies
8
Views
2K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 4 ·
Replies
4
Views
2K