Matemática · Glossário

O que é Espaço vetorial?

Definição 18.1 Matemática universitária — Graduação 1 · Capítulo 18 — Espaços Vetoriais

Um espaço vetorial sobre KK é um conjunto EE munido de uma adição que faz de (E,+)(E, +) um grupo abeliano (o zero escrito 0E0_E ou 00), e de uma multiplicação por escalares K×EEK \times E \to E tal que, para todos λ,μK\lambda, \mu \in K e x,yEx, y \in E:

λ(x+y)=λx+λy,(λ+μ)x=λx+μx,λ(μx)=(λμ)x,1x=x.\lambda(x + y) = \lambda x + \lambda y,\quad (\lambda + \mu) x = \lambda x + \mu x,\quad \lambda(\mu x) = (\lambda\mu) x,\quad 1\,x = x .

Consequências: 0x=0E0\,x = 0_E, λ0E=0E\lambda\,0_E = 0_E, (1)x=x(-1)x = -x, e λx=0E    λ=0\lambda x = 0_E \implies \lambda = 0 ou x=0Ex = 0_E (multiplique por λ1\lambda^{-1}).

Exemplos

Exemplo 18.2

KnK^n (operações coordenada a coordenada); os polinômios K[X]K[X]; as funções F(A,K)\mathcal{F}(A, K) de um conjunto qualquer AA em KK (operações ponto a ponto) — contendo as funções contínuas, as sequências F(N,R)\mathcal{F}(\N, \R), etc.; C\C como espaço vetorial sobre R\R. Em cada caso os axiomas são herdados dos de KK.

Ler no capítulo →