Intuition The ONE core idea
A basis is the smallest set of "direction arrows" that can reach every point in a space, with no arrow repeating what the others already do. Because there are exactly enough arrows and not one extra, every point gets one and only one recipe of "how much of each arrow" — its address.
Before you can trust that sentence, you need to own every symbol the parent note throws at you. This page builds each one from nothing, in an order where every piece rests on the piece before it. If a smart 12-year-old reads from line one, they should never hit a symbol they haven't already met.
A vector is anything you can do two things with: add two of them, and scale one bigger or smaller. That's the whole job description.
Definition Vector — plain words
A vector is an object you can add to another of its kind and stretch by a number . We write vectors with bold or listed entries: v = ( v 1 , v 2 ) means "go v 1 units along the first axis, v 2 units along the second".
The picture that makes this concrete: an arrow starting at the origin (the point ( 0 , 0 ) ) and pointing to some spot.
Intuition Why the topic needs this
The whole idea of a basis is "coordinate axes for arrows". If we didn't know what an arrow is and how to add/scale it, "build any vector from a set" would be meaningless. Everything downstream is built on adding and scaling arrows.
An entry like v 1 is called a component — one number telling you how far to go along one axis. Notice: a component is tied to which axes you drew. Change the axes, the components change even though the arrow stayed put. Hold that thought — it returns in Section 6.
When we write c v , the letter c is a plain number — we call it a scalar because its job is to scale (stretch, shrink, or flip) the vector.
A scalar is an ordinary number used to resize a vector. c v means "take arrow v and make it c times as long". If c is negative, the arrow also flips to point the opposite way. If c = 0 , the arrow collapses to a point at the origin.
Intuition Why the topic needs scalars
Coordinates are scalars. When the parent says w = c 1 v 1 + ⋯ + c n v n , those c i are exactly the "how much of each arrow" numbers. No scalars, no coordinates.
Cover every case so you're never surprised:
c > 1 : longer, same direction.
0 < c < 1 : shorter, same direction.
c = 0 : shrinks to the origin (the zero vector, next section).
c < 0 : flips to the opposite side, length ∣ c ∣ times original.
Definition The zero vector
0
0 is the vector with every component zero, e.g. ( 0 , 0 ) in the plane. Its picture is a single dot at the origin — an arrow of zero length pointing nowhere.
0 is the star of the show
The entire uniqueness proof hinges on one question: "in how many ways can you combine the arrows to land back at the origin?" If the only way is "use zero of everything," the arrows are honest and independent. So 0 is not a boring afterthought — it's the test point that reveals redundancy.
The parent writes ∑ i c i v i . Let's unpack that symbol completely.
Definition The summation symbol
∑
∑ i c i v i is shorthand for "add these up, one for each i ":
∑ i = 1 n c i v i = c 1 v 1 + c 2 v 2 + ⋯ + c n v n .
The little i is a counter that walks from 1 up to n . It is not a real quantity — it's a placeholder that says "do this for every arrow in the list."
Reading it aloud: "scale arrow v 1 by c 1 , scale v 2 by c 2 , …, then add all the scaled arrows tip-to-tail."
Definition Linear combination
A linear combination of v 1 , … , v n is any result of scaling each by some scalar and adding them: c 1 v 1 + ⋯ + c n v n . The word "linear" means we only scale and add — no multiplying arrows together, no squaring.
Intuition Why this is THE central operation
A basis question is always: "can I hit this target vector as a linear combination of my set, and in how many ways?" Spanning = "yes, at least one way". Independence = "the origin has only the boring way". Both are statements about linear combinations, so this symbol is the heartbeat of the whole topic.
The counter starts at i = 1 and stops at i = n ; that top number n is how many arrows are in the set — which becomes the dimension . See Span and Spanning Sets for the "reach everything" side and Linear Independence for the "no redundancy" side.
V
V is the whole collection of vectors we're allowed to work with, closed under adding and scaling (do either and you stay inside V ). Example: R 2 = all arrows in the flat plane; R 3 = all arrows in 3-D space; P 2 = all polynomials of degree ≤ 2 .
The symbol R 2 reads "R-two": lists of 2 real numbers . R 3 : lists of 3. The superscript is how many components each vector carries . See Subspaces for smaller spaces living inside a bigger one.
{ … } and membership ∈
B = { v 1 , v 2 } means "B is the collection containing exactly v 1 and v 2 ." The symbol ∈ means "is inside": w ∈ V reads "w is a vector in the space V ". The symbol ⊆ means "is a sub-collection of": B ⊆ V means every arrow in B also lives in V .
{ v 1 , v 2 } (a set of arrows) vs ( v 1 , v 2 ) (one arrow's components)
Why the confusion: both use brackets. Fix: curly braces { } hold a list of whole vectors (a candidate basis); round brackets ( ) hold the numbers inside one vector . Different jobs.
Once you fix a basis B , the scalars in w = c 1 v 1 + ⋯ + c n v n get a name and a notation.
Definition Coordinate vector
[ w ] B
[ w ] B = ( c 1 , … , c n ) is the list of "how much of each basis arrow" you needed to build w . The subscript B is a reminder of which arrows you used — the same target w gets a different list if you pick different arrows.
Intuition Why the subscript matters
Components (Section 1) are the coordinates in the standard basis only. As soon as you tilt your axes, the address changes even though the arrow didn't. The little B is the label telling you "this address is measured against basis B ." This is the launch pad for Coordinate Vectors and Change of Basis .
Case check: with the standard basis { e 1 , e 2 } , the coordinates equal the components — that's why the standard basis "feels invisible." With any tilted basis they differ, which is exactly the parent's ( 4 , 2 ) → ( 3 , 1 ) example.
The proofs lean on three logic shorthands. Own them so the proof reads like English.
Definition Arrows of logic
⟹ means "leads to / forces ". "A ⟹ B " = "if A is true, then B must be too."
⟺ means "exactly when " — true in both directions at once. "A ⟺ B " = "A holds precisely when B holds."
∀ means "for every ". "c i = 0 ∀ i " reads "c i is zero for every index i ."
Intuition Why the topic needs
⟺
The headline theorem is "basis ⟺ every vector has a unique representation." That double arrow is a promise that the two ideas are the same thing wearing two costumes — proving it both ways is exactly the two halves of the parent's proof.
You now have every symbol needed to state the two basis conditions in words.
Definition Spanning (existence engine)
A set spans V if every vector w ∈ V can be written as some linear combination of the set. Picture: the arrows can be scaled and added to reach anywhere in the space — no unreachable spots. Full treatment: Span and Spanning Sets .
Definition Linear independence (uniqueness engine)
A set is linearly independent if the only linear combination equal to 0 is the all-zero one:
c 1 v 1 + ⋯ + c n v n = 0 ⟹ c 1 = ⋯ = c n = 0.
Picture: no arrow is secretly a combination of the others — each points in a genuinely new direction. Full treatment: Linear Independence .
The size of a basis — the top number n in every ∑ — is the dimension , explored in Dimension . And feeding basis arrows through a transformation builds Matrix of a Linear Map .
Test yourself — reveal only after you've answered aloud.
What is the minimal job description of a "vector"? You can add two of them and scale one by a number.
What does a scalar c do to a vector, and what happens if c < 0 or c = 0 ? It stretches/shrinks the arrow; c < 0 flips its direction, c = 0 collapses it to the origin.
What is the picture of 0 and why does the whole topic care about it? A dot at the origin; it's the test point — how many ways you reach it reveals redundancy.
Expand ∑ i = 1 3 c i v i in full. c 1 v 1 + c 2 v 2 + c 3 v 3 .
What is a linear combination allowed to do — and NOT do? Only scale each vector and add; never multiply vectors together or square them.
Difference between { v 1 , v 2 } and ( v 1 , v 2 ) ? Curly braces = a set of whole vectors; round brackets = the number-components inside one vector.
What does the superscript in R 3 tell you? Each vector holds 3 real-number components.
Read c i = 0 ∀ i and A ⟺ B in plain English. "c i is zero for every index i "; "A is true exactly when B is true."
Why does [ w ] B carry a subscript B ? The same arrow gets a different coordinate list under a different basis; B says which one was used.
State spanning and independence each in one plain sentence. Spanning: every vector is some combination (existence). Independence: only the all-zero combination gives 0 (uniqueness).