Indicating Vector Inclusion in Span of Matrix Columns

Join the discussion
Registration is free. Ask a follow-up in this thread, or start your own.
6 replies · 2K views
mafagafo
Messages
188
Reaction score
12

Homework Statement


How to indicate that a vector b is in the span of the columns of a matrix C?

Homework Equations


I could type the definition of Span here, but Wikipedia has it too and it is not necessary or useful now.

The Attempt at a Solution


[tex]\mathbf{b} \in \mathrm{Span}\{\mathbf{c}_1, \mathbf{c}_2, \ldots, \mathbf{c}_n\}[/tex]

I've never seen the [itex]\in[/itex] symbol in this context and wanted to be sure it is OK. As the concept of span seems to be defined formally in such a way that it ends up being a set, I think this operator is the right one.
 
Physics news on Phys.org
mafagafo said:

Homework Statement


How to indicate that a vector b is in the span of the columns of a matrix C?

Homework Equations


I could type the definition of Span here, but Wikipedia has it too and it is not necessary or useful now.

The Attempt at a Solution


[tex]\mathbf{b} \in \mathrm{Span}\{\mathbf{c}_1, \mathbf{c}_2, \ldots, \mathbf{c}_n\}[/tex]

I've never seen the [itex]\in[/itex] symbol in this context and wanted to be sure it is OK. As the concept of span seems to be defined formally in such a way that it ends up being a set, I think this operator is the right one.
The above represents a set of vectors, and ##\in## simply means that b belongs to that set.
 
This is a yes, right? (slow guy)
 
mafagafo said:
This is a yes, right? (slow guy)
Yes.

BTW, the span of a set of vectors is a set, albeit an infinite set - the set of all linear combinations of the vectors listed in the set.
 
Mark44 said:
Yes.

BTW, the span of a set of vectors is a set, albeit an infinite set - the set of all linear combinations of the vectors listed in the set.
What about [tex]\mathrm{Span}\{\varnothing\}[/tex]?
 
mafagafo said:
What about [tex]\mathrm{Span}\{\varnothing\}[/tex]?
I've never seen this, but I would guess that it's the empty set.
 
Mark44 should have said "the span of any non-empty set of vectors is infinite".