Espaço vetorial
Definição
Um espaço vetorial (sobre ℝ) é um conjunto V, cujos elementos chamamos de vetores, com duas operações. A soma associa a cada par de vetores u, v ∈ V um vetor u + v ∈ V. A multiplicação por escalar associa a cada escalar λ ∈ ℝ e a cada vetor v ∈ V um vetor λv ∈ V. Ou seja, V é fechado para as duas operações. Além disso, para quaisquer vetores u, v, w ∈ V e quaisquer escalares λ, μ ∈ ℝ, valem os oito axiomas:
- (u + v) + w = u + (v + w) (associatividade da soma);
- u + v = v + u (comutatividade da soma);
- existe um vetor 0 ∈ V tal que v + 0 = v para todo v ∈ V (vetor nulo);
- para cada v ∈ V, existe −v ∈ V tal que v + (−v) = 0 (oposto);
- λ(μv) = (λμ)v (associatividade da multiplicação por escalar);
- 1v = v;
- λ(u + v) = λu + λv (distributividade em relação à soma de vetores);
- (λ + μ)v = λv + μv (distributividade em relação à soma de escalares).
Para mostrar que um conjunto com duas operações é um espaço vetorial, é preciso verificar o fechamento e os oito axiomas. Para mostrar que não é, basta encontrar um caso em que uma dessas exigências falhe.