Continuous FunctionStart learning

Vector Spaces

A vector space is a set of objects you can add and scale, where those operations behave consistently.

published · difficulty 2/5 · 10 min read

Reading map and next steps

Intuition

Build the mental picture first so the rest of the page has something to attach to.

PredictName the object in plain language, then predict what should change.Leave with one reusable mental picture before notation appears.

A vector space is what you get when you take the two operations that make geometry and algebra feel "linear" and insist they behave nicely:

  1. You can add two things of the same kind.
  2. You can scale a thing up or down by a number.

If those two operations obey a small set of consistency rules (associativity, commutativity, a zero element, etc.), then a huge amount of math becomes possible: projections, least squares, gradients, eigenvectors, Fourier features, embeddings, and more.

The key idea is not "arrows". Arrows in 2D are a great mental model, but the real power is that the objects can be many things: polynomials, functions, images, token embeddings, or model parameter updates. If you can add them and scale them consistently, you can treat them with the same tools.

Section prompt

Copy-only prompts — each action copies a page-grounded prompt to your clipboard. Nothing is sent by this site.

Math

Translate the story into symbols, assumptions, and a derivation you can inspect.

InspectTrack the same object through the notation and check each symbol.Leave with the invariant the equations preserve.
Equation 1Inspect equation objecta u + b v \in V \qquad (u,v \in V, a,b \in \mathbb{F}).

Definition (Vector space). A vector space over a field F\mathbb{F} (usually R\mathbb{R} or C\mathbb{C}) is a set VV with:

  • addition: +:V×V→V+: V \times V \to V
  • scalar multiplication: ⋅:F×V→V\cdot: \mathbb{F} \times V \to V

The closure encoded in those operation types gives the linear-combination check:

au+bv∈V(u,v∈V,  a,b∈F).a u + b v \in V \qquad (u,v \in V,\; a,b \in \mathbb{F}).

such that for all u,v,w∈Vu,v,w \in V and a,b∈Fa,b \in \mathbb{F}:

  1. (u+v)+w=u+(v+w)(u+v)+w = u+(v+w)
  2. u+v=v+uu+v = v+u
  3. There exists 0∈V0 \in V with v+0=vv+0=v
  4. For each vv there exists −v-v with v+(−v)=0v+(-v)=0
  5. a(bv)=(ab)va(bv) = (ab)v
  6. 1⋅v=v1\cdot v = v
  7. a(u+v)=au+ava(u+v)=au+av
  8. (a+b)v=av+bv(a+b)v = av+bv

In ML, we often work in Rd\mathbb{R}^d, but it's useful to remember that "vector" really means "element of some vector space".

Section prompt

Copy-only prompts — each action copies a page-grounded prompt to your clipboard. Nothing is sent by this site.

Code

Keep the implementation aligned with the notation so the algorithm is legible.

TraceMatch variables to symbols before reading the implementation.Leave with a runnable witness for the math.
Code witness 1import numpy as np # A tiny sanity-check: R^3 with usual + and scalar * behaves like a vector...python
import numpy as np

# A tiny sanity-check: R^3 with usual + and scalar * behaves like a vector space.

u = np.array([1.0, 2.0, 3.0])
v = np.array([-1.0, 0.5, 4.0])
a, b = 2.0, -0.25

# Distributivity: a(u+v) = au + av
lhs = a * (u + v)
rhs = a * u + a * v
print("distributivity error:", float(np.linalg.norm(lhs - rhs)))

# Compatibility: a(bu) = (ab)u
lhs = a * (b * u)
rhs = (a * b) * u
print("compatibility error:", float(np.linalg.norm(lhs - rhs)))

# Zero + additive inverse
zero = np.zeros_like(u)
print("zero check:", bool(np.allclose(u + zero, u)))
print("inverse check:", bool(np.allclose(u + (-u), zero)))
Section prompt

Copy-only prompts — each action copies a page-grounded prompt to your clipboard. Nothing is sent by this site.

Interactive Demo

Use direct manipulation to connect the explanation to a moving system.

ManipulateChange one control and predict the visible response before reveal.Leave with the observed invariant or a repaired model.

Live Concept Demo

Explore Vector Spaces

The stage is code-native and interactive. Use it to test the explanation against the mechanism.

difficulty 2/5highschoolcode-aligned
Demo inquiry checkpoint

Manipulate one control and predict the visible change.

01Choose lensTrace a quantity
02ObserveDemo state pending
03GroundName the equation, invariant, or control that explains it.
04CarryNext: Dot Product

Choose what to inspect in Vector Spaces. This shared fallback is an observation guide, not evidence of learning.

Loading interactive demo...

Try this:

  1. Drag u and v around.
  2. Move sliders a and b to form the linear combination w=au+bvw = a u + b v.
  3. Before revealing the span witness, predict whether the two generators sweep a plane, nearly collapse, or collapse to a line/point.

Notice the two linked ideas: closure keeps ww inside the same ambient space, while the determinant/area witness tells whether the chosen generators can sweep a 2D patch or have collapsed into fewer directions.

Section prompt

Copy-only prompts — each action copies a page-grounded prompt to your clipboard. Nothing is sent by this site.

4/4 sections ready

Concept: Vector Spaces

What is the smallest example that makes Vector Spaces click without losing the math?

BeforeNo hard prerequisiteNow4/4 sections readyTryManipulate one control and predict the visible change.NextDot Product
Object contextLinear Algebra
StateLinear Algebra
1 source attachedChecking local snapshot
concept:linear-algebra/vector-spaces
Math1 equation objecta u + b v \in V \qquad (u,v \in V, a,b \in \mathbb{F}).CodeVector Spaces code witness 1u = np.array([1.0, 2.0, 3.0])DemoVector Spaces predictionManipulate one control and predict the visible change.
ConceptLearner lens

Vector Spaces

What is the smallest example that makes Vector Spaces click without losing the math?

Mode questionCan I say the mechanism back in one sentence before I reveal anything?

Start with the prediction checkpoint, then compare the reveal to the mental model.

Take this move

Study modes

Keep the object fixed; change the lens.
01PredictCommit before reveal.02ExplainName the invariant.03Ground1 source link nearby.04ExperimentChange one knob.05CarrySave the next question.

Route back through the notebook

Carry the same object through intuition, math, code, and demo.

4/4 sections ready
Carry inNo hard prerequisite

This page can stand on its own, so the first job is to build the mental picture carefully.

Work hereVector Spaces

A vector space is a set of objects you can add and scale, where those operations behave consistently.

Carry outDot Product

The next edge should feel earned: use the demo prediction here before following Dot Product.

Test the linkManipulate one control and predict the visible change.Then continue to Dot Product

After The First Pass

Turn the concept into an inspected object.

The lower panels are one second act: keep the object fixed, inspect it visually, check source boundaries, practice transfer, then attach the research question.
ConceptVector SpacesLinear Algebra
01MechanismInspect motionSee how the idea changes form before adding more explanation.02VisualChoose a cueBind one visible mark to one mathematical role.03SourcesCheck boundary1 source link attached to the object.04ClaimAudit evidenceTreat the page claim as something to verify.05PracticeAttempt transferWrite before feedback so the model has something to repair.06RoomAsk groundedAttach the question to the same exact object.

Mechanism Storyboard

See the idea move before the page explains it

A vector space is a set of objects you can add and scale, where those operations behave consistently.

Demo notes open01 / Intuition
Editorial mathematical illustration of basis vectors spanning a translucent vector-space sheet.
Prediction lens

Start with the picture, metaphor, or geometric mechanism.

Commit first

Before reading further, choose the kind of change Vector Spaces should make visible.

Visual Inquiry

Make the image answer a mathematical question

A vector space is a set of objects you can add and scale, where those operations behave consistently.

4/4 stages readyDemo notes connected
Prediction

Which visible object should carry the first intuition?

Commit first

Pick the cue that should make Vector Spaces easier to reason about before the page gives the answer.

Source Grounding

Canonical references for the mechanism on this page.

Object - ConceptVector SpacesQuestion

What is the smallest example that makes Vector Spaces click without losing the math?

concept:linear-algebra/vector-spaces
Boundary

sources: deisenroth-2020-mml

Check

Open the closest source note before trusting the local explanation.

Evidence

1 selected-object source shown first; 1 reference total.

Next move

Audit the claim boundary, then ask from the same selected object.

selected object source · book · 2020Mathematics for Machine LearningDeisenroth, Faisal, and Ong
Located CF editorial boundary

Grounds vector spaces, bases, coordinates, and the linear algebra vocabulary needed for ML models.

Used here as

MML defines real-valued vector spaces by addition V x V -> V, scalar multiplication R x V -> V, and the usual group/distributive/scalar axioms. It also treats closure and linear combinati...

Caveat

MML is real-valued; the page's field-general F wording is standard but slightly broader than the source. This review checks algebraic closure/linear combinations only, not affine spaces,...

Open source

Claim Review

A vector space is a set of objects you can add and scale, where those operations behave consistently.

Object - ConceptVector SpacesQuestion

What is the smallest example that makes Vector Spaces click without losing the math?

concept:linear-algebra/vector-spaces
Boundary

sources: deisenroth-2020-mml

Check

Treat every claim as provisional until source support and a local witness agree.

Evidence

1 structured claim check on this concept.

Next move

Run the prediction or practice transfer before asking for a grounded review.

1 CF editorial source-scope review recorded

Publisher-side editorial review is not independent replication. Claims without it still need exact source-support review. 1 reference and 2 local witnesses are available for inspection.

A vector space has addition and scalar multiplication obeying the vector-space axioms; closure guarantees that for u,v in V and scalars a,b, the linear combination au+bv is still in V.
Registered CF editorial boundary
Mathematics for Machine LearningGrounds vector spaces, bases, coordinates, and the linear algebra vocabulary needed for ML models.
Used here as

MML defines real-valued vector spaces by addition V x V -> V, scalar multiplication R x V -> V, and the usual group/distributive/scalar axioms. It also treats closure and linear combinations as scaled sums s...

Local witness
source-span-deisenroth-2020-mmlmath-object-1code-witness-1interactive-demo
Equation 1
au+bv∈V(u,v∈V,  a,b∈F).a u + b v \in V \qquad (u,v \in V,\; a,b \in \mathbb{F}).
Code witness 1import numpy as np # A tiny sanity-check: R^3 with usual + and scalar * behaves like a vector...
Caveat

MML is real-valued; the page's field-general F wording is standard but slightly broader than the source. This review checks algebraic closure/linear combinations only, not affine spaces, modules, norms/topol...

Review stateCF editorial source-scope reviewClaim metadata: source checkedPublisher-side editorial review only; not independent replication. Check caveats and exact source scope.

MML Def. 2.9 defines real vector spaces by +: V x V -> V and scalar multiplication R x V -> V plus Abelian-group, distributive, scalar-associative, and identity axioms; Def. 2.11 defines linear combinations sum_i lambda_i x_i in V. Local math states the field-general form; code checks R^3 operations and the demo forms w=a u+b v in R^2.

Reviewer: codex+oracle; reviewed 2026-05-07

Practice · Vector Spaces

Try the idea in your own words

A vector space is a set of objects you can add and scale, where those operations behave consistently.

Concept · Current object

Vector Spaces

Source boundary: sources: deisenroth-2020-mml

Object context and links

Linear Algebra

concept:linear-algebra/vector-spaces
Choose a task

Explain the mechanism

For Vector Spaces: What is the smallest example that makes Vector Spaces click without losing the math? Explain your answer, including what changes, why, and which assumption matters.

No answer yet

A rough first thought is enough. Your draft stays when you change tasks.

Local to this page session. Not saved after leaving or reloading.

A little help · Explain

Open one hint at a time. These are suggestions, not your answer or a grade.

0 of 3 hints shown for this question.

    Clearing your answer does not erase help history. Outside help cannot be verified here.

    Where am I stuck? (optional)
    Your own description, not an automatic diagnosis

    Choose one, or leave this unspecified. Select it again to clear it.

    Take your draft to a feedback conversation

    No AI feedback runs here. You can copy a prompt to use elsewhere; nothing is sent automatically. Review the text before sharing, and leave out private information.

    Write an attempt before copying a feedback prompt.

    This draft and any AI response do not establish mastery. Try a different case later without help; this page has not measured that learning.

    Grounded object roomClose
    Selected object routeAsk from this object; carry one invariant back.sources: deisenroth-2020-mml
    1. ObjectConceptVector Spaces
    2. PredictBefore revealVector Spaces prediction
    3. WitnessCompare codeVector Spaces code witness 1
    4. RoomAsk groundedChecking local snapshot
    ConceptVector SpacesLinear Algebra
    Code witness comparisonVector Spaces code witness 1u = np.array([1.0, 2.0, 3.0])Prediction before revealVector Spaces predictionManipulate one control and predict the visible change.
    Grounded room questionWhat is the smallest example that makes Vector Spaces click without losing the math?Checking local snapshot

    Research Room

    Attach the question to an exact object

    Pick the concept, equation, source, code witness, claim, misconception, or demo state before asking for help. The handoff stays grounded to that object.
    Next local actionNo local draft saved yet

    Open the draft below to save one note and next action in this browser.

    conceptLinear Algebra

    Vector Spaces

    Anchored question

    What is the smallest example that makes Vector Spaces click without losing the math?

    Source boundaryInspect source ids: deisenroth-2020-mmlStable content-object key attached
    Role lenses for this object

    These are fixed, deterministic perspectives derived from the selected object. They do not represent people, community contributions, or independent review.

    Learner evidence requestAsk what would make "Vector Spaces" feel predictable rather than familiar.
    Assumption

    Source ids deisenroth-2020-mml must support the exact object, not just the surrounding topic.

    Source-checking summary

    Treat this as a mechanism object: connect the definition to one equation, code witness, or demo before broadening the discussion.

    Proposed experiment

    Ask the learner to perturb one representation, then check whether the same invariant survives in math, code, and demo.

    Next action

    The learner can state the mechanism in their own words

    Evidence4 checks
    PredictionChecking carried observation
    ActionReady for one action
    AILearner handoff ready
    Open source object
    01PredictionChecking browser-local route memory
    02EvidenceChecking for a carried observation
    03BoundaryInspect source ids: deisenroth-2020-mml
    04Next moveSave one next action
    Local action draftNo local draft saved yetExpand only when ready to capture one local next action
    Local action draft

    This draft stays locally in this browser for concept:linear-algebra/vector-spaces.

    No local draft saved.
    Evidence to inspect
    • Source ids to inspect: deisenroth-2020-mml
    • Definition, prerequisite, and contrast concept links
    • The equation or code witness that makes the concept operational
    • One demo state that shows the invariant instead of a slogan
    What would resolve this
    • The learner can state the mechanism in their own words
    • The learner can name the prerequisite that would repair confusion
    • The learner can predict how the mechanism changes under one perturbation
    Object-attached AI handoff

    I am working in Continuous Function's research reading room. Object: concept - Vector Spaces Object key: concept:linear-algebra/vector-spaces Context: Linear Algebra Anchor id: concept/concept-notebook/linear-algebra/vector-spaces Open question: What is the smallest example that makes Vector Spaces click without losing the math? Evidence to inspect: - Source ids to inspect: deisenroth-2020-mml - Definition, prerequisite, and contrast concept links - The equation or code witness that makes the concept operational - One demo state that shows the invariant instead of a slogan Deterministic role lenses for this object: - Boundary: fixed perspectives, not people, community contributions, or independent review - Source-checking summary: Treat this as a mechanism object: connect the definition to one equation, code witness, or demo before broadening the discussion. - Proposed experiment: Ask the learner to perturb one representation, then check whether the same invariant survives in math, code, and demo. - Teach/transfer move: Turn the mechanism into one sentence that predicts a neighboring concept. - Assumptions: - Source ids deisenroth-2020-mml must support the exact object, not just the surrounding topic. - The stable content-object key lets local drafts, prompts, and route memory attach without changing the source page. - The concept explanation is local atlas prose until checked against its math, code, and source support. - Prerequisite gaps should become a repair route, not a reason to leave the object vague. - Role-lens requests: - Learner: ask for "Ask what would make "Vector Spaces" feel predictable rather than familiar." | assumption: Source ids deisenroth-2020-mml must support the exact object, not just the surrounding topic. | next action: The learner can state the mechanism in their own words - Researcher: ask for "Source ids to inspect: deisenroth-2020-mml" | assumption: The stable content-object key lets local drafts, prompts, and route memory attach without changing the source page. | next action: The learner can name the prerequisite that would repair confusion - Experimenter: ask for "Choose one variable or condition to perturb before asking for an explanation." | assumption: The concept explanation is local atlas prose until checked against its math, code, and source support. | next action: The learner can predict how the mechanism changes under one perturbation - Professor: ask for "Find the smallest transferable rule a learner could reuse without the AI." | assumption: Prerequisite gaps should become a repair route, not a reason to leave the object vague. | next action: Teach or transfer: Turn the mechanism into one sentence that predicts a neighboring concept. What would resolve this: - The learner can state the mechanism in their own words - The learner can name the prerequisite that would repair confusion - The learner can predict how the mechanism changes under one perturbation Answer as a careful research tutor: stay source-grounded, separate verified evidence from assumptions, name the relevant math objects, and end with one next action. Current deterministic role lens for this object: - Role lens: Learner - Evidence request: Ask what would make "Vector Spaces" feel predictable rather than familiar. - Assumption to keep visible: Source ids deisenroth-2020-mml must support the exact object, not just the surrounding topic. - Proposed experiment: Ask the learner to perturb one representation, then check whether the same invariant survives in math, code, and demo. - Next action: The learner can state the mechanism in their own words

    concept/concept-notebook/linear-algebra/vector-spaces concept:linear-algebra/vector-spaces