Vector Spaces

Precise definition

A vector space over a field $\mathbb F$ is a set $V$ with addition and scalar multiplication satisfying closure, associativity, commutativity of addition, an additive identity and inverses, distributive laws, scalar associativity, and $1v=v$. The operations are part of the structure.

Notation and mathematical language

Vectors need not be arrows: polynomials, matrices, functions, and sequences form vector spaces under suitable pointwise operations. Scalars come from the declared field. The zero vector and negative of a vector are determined uniquely by the axioms.

Conceptual picture

The axioms capture exactly the algebra that permits linear combinations. Once they hold, span, independence, basis, and dimension apply without relying on geometric appearance.

Fully worked example

Interpretation and application

Vector spaces unify coordinates, signals, solution families, and data features. Modelling an object linearly assumes addition and scaling are meaningful; probabilities or physical states with constraints may form convex sets rather than vector spaces.

Common mistakes