Un spatio vectorial es un structura algebric.
Sia
un insimul,
un corpore,
un operation binari (interior) e
un operation binari (exterior). Alora ;\odot )}
es un spatio vectorial super le corpore
si e solmente si, pro omne
e
, pro le operation interior vale
- V1:
,
- V2:
con
,
- V3:
con
,
- V4:
,
e pro le operation exterior vale
- S1:
,
- S2:
,
- S3:
,
- S4:
con
le elemento neutre multiplicative.
Le operation interior
es le addition vectorial, e le operation exterior
es le multiplication scalar.