Learn faster with bite‑sized practice that actually sticks.

Abstract Vector Spaces (Without the Scary Vibes)

Vectors aren’t just “arrows with numbers.” That’s a great starting image—but math (and physics) quietly uses the same idea in many costumes: arrows, polynomials, sound waves, and even quantum states.

The big takeaway:

• A vector is an abstract thing you can add and scale.
• Coordinates are just the numbers you use to describe it in a chosen basis.

Let’s build this step-by-step.

---

1) The “vector game”: add + scale

A vector space is a set of objects where two moves always make sense:

1. Add two vectors (combine them)
2. Scale a vector by a number (stretch/flip it)

In $\mathbb{R}^2$, vectors look like $\begin{bmatrix}x\\y\end{bmatrix}$ and we already know:

$\begin{bmatrix}1\\2\end{bmatrix}+\begin{bmatrix}3\\-1\end{bmatrix}=\begin{bmatrix}4\\1\end{bmatrix}$

$2\cdot \begin{bmatrix}1\\2\end{bmatrix}=\begin{bmatrix}2\\4\end{bmatrix}$

But the same “add + scale” rules can apply to functions, polynomials, or quantum kets.

---

2) Linear combinations: building with vector Lego

A linear combination is just “add some scaled vectors.”

If you have vectors $\mathbf{v}_1,\mathbf{v}_2,\dots$ then

$a\mathbf{v}_1+b\mathbf{v}_2+\cdots$

is a linear combination.

Picture it (in words):

• Think of $\mathbf{v}_1$ and $\mathbf{v}_2$ as two arrows on paper.
• Scaling changes their lengths (and flips direction if negative).
• Adding means “walk along one arrow, then the other.”

This is the core move behind span, subspaces, bases, and dimension.

---

3) Subspaces: a “mini vector space” inside a bigger one

A subspace is a subset that still behaves like a vector space.

Instead of memorizing a long checklist, people usually use the closure idea:

The closure test (the friendly version)

A set $S$ is a subspace if:

• Zero is in it: $\mathbf{0}\in S$
• Closed under addition: if $\mathbf{u},\mathbf{v}\in S$ then $\mathbf{u}+\mathbf{v}\in S$
• Closed under scaling: if $\mathbf{u}\in S$ and $c$ is any scalar, then $c\mathbf{u}\in S$

Common intuition:

• A line through the origin in $\mathbb{R}^2$ is a subspace.
• A line not through the origin is not a subspace (it fails the “zero is in it” test).

---

4) Span: “everything you can build”

The span of vectors is all linear combinations you can make from them.

$\text{span}(\mathbf{v}_1,\mathbf{v}_2,\dots)=\{a\mathbf{v}_1+b\mathbf{v}_2+\cdots\}$

Visual (in words):

• One nonzero arrow spans a line through the origin.
• Two non-parallel arrows in $\mathbb{R}^2$ span the whole plane.
• Two parallel arrows still only span a line.

Micro-example (i): Spanning in $\mathbb{R}^2$

Let

$\mathbf{v}_1=\begin{bmatrix}1\\0\end{bmatrix},\quad \mathbf{v}_2=\begin{bmatrix}0\\1\end{bmatrix}$

A general linear combination is:

$a\mathbf{v}_1+b\mathbf{v}_2=a\begin{bmatrix}1\\0\end{bmatrix}+b\begin{bmatrix}0\\1\end{bmatrix}=\begin{bmatrix}a\\b\end{bmatrix}$

That hits every vector $\begin{bmatrix}x\\y\end{bmatrix}$ by choosing $a=x$ and $b=y$.

So:

$\text{span}(\mathbf{v}_1,\mathbf{v}_2)=\mathbb{R}^2$

Now the contrast: if instead

$\mathbf{w}_1=\begin{bmatrix}1\\1\end{bmatrix},\quad \mathbf{w}_2=\begin{bmatrix}2\\2\end{bmatrix}$

then $\mathbf{w}_2=2\mathbf{w}_1$, so every combination is really just a multiple of $\mathbf{w}_1$. That spans only a line.

---

5) Linear independence vs dependence (and the classic confusion)

This part is sneaky, so let’s make it friendly.

Independence (no redundancy)

Vectors $\mathbf{v}_1,\dots,\mathbf{v}_k$ are linearly independent if the only way to make zero is the boring way:

$a_1\mathbf{v}_1+\cdots+a_k\mathbf{v}_k=\mathbf{0}$

implies

$a_1=\cdots=a_k=0$

Meaning: none of them can be built from the others.

Dependence (at least one is redundant)

They’re linearly dependent if there’s a nontrivial way to make zero:

$a_1\mathbf{v}_1+\cdots+a_k\mathbf{v}_k=\mathbf{0}$

with not all $a_i$ zero.

That’s equivalent to: one vector is a linear combination of the others.

Common misconceptions (quick fixes)

• “Dependent means equal.” Not necessarily. One vector might be $3\mathbf{v}_1-2\mathbf{v}_2$, not literally identical.
• “If vectors look different, they’re independent.” Nope. $\begin{bmatrix}1\\1\end{bmatrix}$ and $\begin{bmatrix}2\\2\end{bmatrix}$ look different but are dependent.
• “Two vectors in $\mathbb{R}^2$ are always independent.” Only if they’re not multiples (not parallel arrows).

Visual (in words):

• Independent vectors point in genuinely different directions (no one lies on the other’s line).
• Dependent vectors sit on the same line through the origin (parallel arrows).

---

6) Basis and dimension: the “coordinate system kit”

A basis is a set of vectors that does two jobs at once:

1. Spans the space (you can build every vector)
2. Is independent (no redundancy)

Once you have a basis, every vector has unique coordinates in that basis.

The dimension is just the number of vectors in any basis.

• $\mathbb{R}^2$ has dimension 2.
• Polynomials up to degree 2 have dimension 3.
• A quantum two-level system (“qubit”) uses a 2D complex vector space.

---

7) Example vector spaces that aren’t “arrows”

Micro-example (ii): Polynomials up to degree 2

Consider the set

$P_2=\{a+bx+cx^2\mid a,b,c\in\mathbb{R}\}$

Addition and scaling are done like normal polynomial algebra:

$(a+bx+cx^2)+(d+ex+fx^2)=(a+d)+(b+e)x+(c+f)x^2$

$k(a+bx+cx^2)=(ka)+(kb)x+(kc)x^2$

So it behaves exactly like a vector space.

A natural basis is:

$\{1,\;x,\;x^2\}$

because any polynomial in $P_2$ can be written uniquely as:

$a\cdot 1+b\cdot x+c\cdot x^2$

So $\dim(P_2)=3$.

Coordinates depend on the basis:

• In the basis $\{1,x,x^2\}$, the polynomial $2+3x+5x^2$ has coordinates $\begin{bmatrix}2\\3\\5\end{bmatrix}$.
• If you chose a different basis (like $\{1, (1+x), (1+x^2)\}$), the same polynomial would have different coordinates.

The polynomial is the “abstract vector”; the coordinate list is just a description.

---

Micro-example (iii): Complex 2-component vectors (QM-flavored)

In quantum mechanics, people often write vectors as kets like $|\psi\rangle$.

A simple state space is $\mathbb{C}^2$:

$|\psi\rangle=\begin{bmatrix}\alpha\\\beta\end{bmatrix}$

where $\alpha,\beta\in\mathbb{C}$.

A common basis is:

$|0\rangle=\begin{bmatrix}1\\0\end{bmatrix},\quad |1\rangle=\begin{bmatrix}0\\1\end{bmatrix}$

Then any ket can be written as a linear combination:

$|\psi\rangle=\alpha|0\rangle+\beta|1\rangle$

That’s the same “span” idea again—just with complex numbers.

Important vibe: in QM, the basis you pick (like “measure in the $|0\rangle,|1\rangle$ basis” vs some rotated basis) changes the coordinates $\alpha,\beta$, but the abstract state $|\psi\rangle$ is the underlying object.

Visual (in words):

• Think “a state-like arrow” living in a 2D complex space.
• You can describe it using different coordinate axes (different bases), like choosing different ways to label directions.

---

8) The golden mantra: the vector is abstract; coordinates are a choice

It’s tempting to think a vector is its coordinate list.

But really:

• The vector is the thing with meaning (arrow/function/state).
• A basis is a measuring stick.
• Coordinates are the numbers you read off using that measuring stick.

Change the basis, and the coordinates change—but the vector doesn’t.

---

Wrap-up: what you now “own”

• Vector spaces are sets where addition and scaling behave nicely.
• Linear combinations are your building blocks.
• Span is “everything you can build.”
• Subspaces are sets closed under those building rules.
• Independence means “no redundancy.”
• A basis is an independent spanning set, and dimension counts how many basis vectors you need.

Once you see vectors as “things you can add and scale,” you start spotting vector spaces everywhere—and that’s when linear algebra becomes less of a topic and more of a superpower.