Um espaço vetorial sobre é um conjunto munido de uma adição que faz de um grupo abeliano (o zero escrito ou ), e de uma multiplicação por escalares tal que, para todos e :
Consequências: , , , e ou (multiplique por ).
Exemplos
Exemplo 18.2
(operações coordenada a coordenada); os polinômios ; as funções de um conjunto qualquer em (operações ponto a ponto) — contendo as funções contínuas, as sequências , etc.; como espaço vetorial sobre . Em cada caso os axiomas são herdados dos de .