Vector Space

A vector space is a set of objects called vectors, together with rules for adding vectors and multiplying them by scalars, where these operations behave in predictable, consistent ways.

A vector space over a field $F$ is a non-empty set $V$ equipped with two operations — vector addition and scalar multiplication — that satisfy a list of axioms. These axioms require closure under both operations, the existence of a zero vector and additive inverses, and the familiar properties of commutativity and associativity of addition, distributivity of scalar multiplication over both vector and scalar addition, and compatibility of scalar multiplication with field multiplication. The identity element of $F$ must act as a multiplicative identity on $V$ , meaning $1 \cdot \mathbf{v} = \mathbf{v}$ for every $\mathbf{v} \in V$ .

Example

Problem: Determine whether the set of all ordered pairs

(x, y)

of real numbers, with standard addition and scalar multiplication, forms a vector space over

\mathbb{R}

Step 1: Check closure under addition. Take two arbitrary elements

(x_1, y_1)

and

(x_2, y_2)

. Their sum is another ordered pair of real numbers.

(x_1, y_1) + (x_2, y_2) = (x_1 + x_2,\; y_1 + y_2) \in \mathbb{R}^2

Step 2: Check closure under scalar multiplication. Multiply any element by a real scalar

c

. The result is still an ordered pair of real numbers.

c \cdot (x, y) = (cx,\; cy) \in \mathbb{R}^2

Step 3: Identify the zero vector. The pair

(0, 0)

satisfies

(x, y) + (0, 0) = (x, y)

for every element, so an additive identity exists.

(x, y) + (0, 0) = (x, y)

Step 4: Check additive inverses. For any

(x, y)

, the element

(-x, -y)

is also in the set, and their sum is the zero vector.

(x, y) + (-x, -y) = (0, 0)

Step 5: The remaining axioms — commutativity, associativity, distributivity, and the scalar identity

1 \cdot (x, y) = (x, y)

— all hold because they inherit from the real number properties.

Answer: Yes,

\mathbb{R}^2

with standard operations is a vector space over

\mathbb{R}

Why It Matters

Vector spaces are the central structure of linear algebra. They appear whenever you study systems of linear equations, transformations, or data in multiple dimensions. Fields like physics, computer graphics, machine learning, and economics all rely on vector space theory to model and solve problems involving direction, magnitude, and higher-dimensional data.

Common Mistakes

Mistake: Assuming any set of vectors is automatically a vector space.

Correction: A set must satisfy all the axioms — including closure — to qualify. For instance, the set of all vectors

(x, y)

where

x > 0

is not a vector space because it is not closed under scalar multiplication (multiplying by a negative scalar gives a vector outside the set).

Mistake: Forgetting that a vector space must contain a zero vector.

Correction: The existence of a zero vector (additive identity) is a required axiom. If a set does not include it, the set cannot be a vector space.

Related Terms

Vector — the elements that make up a vector space
Scalar — numbers used to scale vectors in the space