Span of a set

Date created: 2023-12-15 11:58

Tags: #Type/Notion #Topic/Linear_Algebra

Types: Not applicable

Examples: Not applicable
Construction: Bases of vector spaces
Generalization: Not applicable

Properties: Not applicable

Sufficiencies: Not applicable
Equivalences: Not applicable
Justifications: Linear combinations of vectors, Vector spaces

In order to develop a notion of Bases of vector spaces we first discuss span.

Notion: Span of a set

The span of a set V ′

⊆ V is defined as the set:
$$\text{Span}(V')=\left{v:v=\sum{1\leq i\leq\text{card}(V')}f_i*v_i ;\text{with}; v_i\in V'\land (f_i){1\leq i\leq n}\in \prod_{1\leq i\leq
n} F\right}

Onecaneasilyverif ythisf ormsa[[V ectorsubspace]]of the[[V ectorspaces|vectorspace]]$V $. Alternatively, thef ollowingdef initionsisa

Where ≤ denotes the subspace relation. One would obviously want to construct a prove to check these are equivalent