# Spans

Sometimes mathematicians are lazy. We want to be rigorous and accurate, but sometimes we really just want to say “Come on! You know what I mean.” So we have a way to do that. Last time I gave an example of an “exotic” subspace of (thought of as a vector space over . It was:

But, come on. That’s a lot to write. Can’t I just say “you know, the subspace that has the vector ? Strictly speaking, no. There is more than one such subspace, but we can do pretty much that. I can say *the subspace spanned by .* You can think of this in two equivalent ways:

- Think of it as the smallest subspace containing .
- Think of it as taking and then whatever else you need to make it a vector space.

Another example, the subspace of

spanned by

. What else must we have. We need exactly the points

for every

. That is,

.

We use the notation

.

But it gets more complicated when you have more points. What if I want to say “you know what I mean” about the points

and

in

? That is, what is

?

Well, we need everything that looks like

and everything that looks like

. But we need even more. We need every possible combination of these two. That is, to be a subspace, we need to be able to add any two vectors and get another one in the subspace. So it turns out, hopefully not surprisingly, that the subspace we want is

.

You can imagine these sorts of things can get very complicated, and so having this notation makes talking about subspaces simpler.

One more thing to whet your appetite for what is to come. In

,

. Make sense?

Pingback: Linear Independence « Andy Soffer

Pingback: Basis « Andy Soffer

Pingback: Dimension « Andy Soffer

Pingback: Rationals and the Square Root of 17 « Andy Soffer

Pingback: The Tower Rule « Andy Soffer

Pingback: The classical Greek questions « Andy Soffer

Pingback: Linear Independence « Andy Soffer