Series close: concrete roots, abstract canopy

The Essence playlist began with arrows in the plane and ends with permission to reuse every tool on new objects once axioms check . Concrete pictures remain roots; abstract vector spaces are the canopy.

A vector space over $\mathbb{R}$ takes scalars from a field (here the reals). Closure under $+$ and scaling is part of the axiom packaging, not an optional extra.

Future courses deepen proof and computation atop these pictures. The working answer to "what is a vector?" is: an element of a vector space, anything in a set with well-behaved addition and scalar multiplication satisfying the standard axioms.

Returning to arrows is not a step backward: geometry is the reference picture that keeps abstract definitions honest when you port them to polynomials, functions, or high-dimensional data.

Check your understanding. The tasks below rest on these ideas: Correct: scalars come from a field, the reals in this case. Not quite: integers, $\{0,1\}$, or positives alone do not form the scalar field of a real vector space. Correct: closure is built into the definition of a vector space. Not quite: it is mandatory, holds for function spaces, and is required in every dimension. Correct: one axiomatic proof applies to every space satisfying the axioms. Not quite: it does not remove computation, restrict to 2D, or let you skip the axioms. Correct: a vector is simply an element of a set obeying the vector-space axioms. Not quite: it is not limited to arrows, triples, and a determinant is a scalar, not a space element.