26.3. Subspaces

A subspace W of a vector space V is a subset of V that is itself a vector space under the same operations.

A subspace is a specific type of subset of a vector space. For a subset W to be called a subspace of V, it must also comply with the vector space rules for addition and scalar multiplication. This means that not only is W part of V, it also behaves like V with respect to these operations, retaining the structure and properties of a vector space.

Think of a subspace as a small room within a larger building (the vector space). Just like the smaller room follows the same rules as the larger building (same structure, windows, doors), the subspace follows the same vector operations as the larger space.

Conditions for W ⊆ V to be a Subspace:

• Zero vector inclusion: 0 ∈ W
• Closed under addition: If u, v ∈ W, then u + v ∈ W
• Closed under scalar multiplication: If a ∈ 𝔽 and v ∈ W, then a·v ∈ W

For a subset W to qualify as a subspace of V, there are three key conditions that must be satisfied: 1) The zero vector must be contained in W; this ensures that every vector can 'add up' to zero, which is fundamental in vector spaces. 2) If two vectors u and v are in W, their sum (u + v) must also be in W; this means that adding vectors within W should not 'escape' W. 3) If you take any vector in W and multiply it by any scalar from the field, the result must also be in W; this ensures that scaling vectors in W keeps us within W as well.

Imagine you have a special group of friends (subspace W) within a larger circle of acquaintances (vector space V). To remain a valid group, your friendship group must always include the 'neutral' member (the zero vector), you must be able to hang out in pairs (closure under addition), and one friend can call another to join from elsewhere (closure under scalar multiplication) without breaking up the group.

Examples:

• The set of vectors on a line through the origin in ℝ³
• The set of symmetric matrices in Mₙₓₙ
• The set of all even functions in the space of continuous functions

Here are three examples of subspaces that illustrate how they can be represented in different contexts: 1) A line through the origin in 3D space is a subspace because any linear combination of points along that line will result in a point that also lies on that line. 2) Symmetric matrices form a subspace because any combination of symmetric matrices is still symmetric. 3) Similarly, the even functions create a subspace as they remain unchanged under reflection across the y-axis, maintaining their structure under addition and scalar multiplication.

Consider a two-dimensional plane where a line through the origin represents a path that can be traced without leaving the line (vectors on a straight path). Symmetric matrices can be likened to a mirror image: however you combine mirror images of objects, you still create a mirror image (the symmetric property remains). The concept of even functions can be imagined through a seesaw that balances: no matter how you adjust, the balance point (evenness) remains consistent.

--