Een lineaire ruimte of vectorruimte is een verzameling met een structuur, een lineaire structuur. We kunnen de elementen bij elkaar optellen en we kunnen veelvouden van de elementen maken, d.w.z. een element vermenigvuldigen met een "getal" uit het lichaam van "getallen". Een "getal", een element uit het lichaam zullen we in het vervolg een scalair noemen.
Een lineaire ruimte of vectorruimte over een lichaam
is een drietal
, bestaande uit een verzameling
met daarop gedefinieerd een optelling
en een afbeelding
, scalaire vermenigvuldiging geheten, die voldoen aan de volgende voorwaarden, die inhouden dat we op gewone wijze in V kunnen optellen en met scalairen veelvouden kunnen rekenen.
We noteren op de gebruikelijke wijze
voor
, en
of alleen
voor
Er geldt:
- Voor alle
is
en
(commutativiteit optelling).
- Voor alle
is
(associativiteit optelling).
- Er is een element
, waarvoor
voor alle
.
- Voor alle
is er een
, waarvoor
.
- Voor alle
en
is
.
- Voor alle
is
.
- Voor alle
en
is
.
- Voor alle
en
is
.
- Voor alle
en
is
.
Als gevolg van deze eigenschappen kunnen we a.h.w. gewoon rekenen met vectoren. De belangrijkste regels waarvan we meestal gedachteloos gebruik maken, kunnen we het best eerst algemeen aantonen.
Er is maar één
.
- Bewijs
Stel ook
is een 'nul', d.w.z. dat voor alle
geldt:
. Dan is dus
.
Voor alle
en
geldt: als
, dan is
.
- Bewijs
.
Er is maar één tegengestelde.
- Bewijs
Stel
, dan is
, dus m.b.v. stelling 1.2 volgt:
.
Voor alle
en
geldt: als
en
, dan is
.
- Bewijs
, dus m.b.v. stelling 1.2 volgt:
.
Voor alle
is
.
- Bewijs
, dus m.b.v. stelling 1.4 volgt:
.
Voor alle
is
.
- Bewijs
, dus m.b.v. stelling 1.4 volgt:
.
Voor alle
is
.
- Bewijs
dus
.
Voor alle
en
geldt: als
, dan is
of
.
- Bewijs
Stel
, dan:
.
Voor alle
geldt: als
, dan is
.
- Bewijs

dus
, waaruit het gestelde volgt.
Voor alle
geldt: als
, dan is
.
- Bewijs
.
Omdat het nooit tot verwarring leidt, zullen we het element
van
gewoon als
schrijven. Verder schrijven we
voor
.
- Voorbeeld 1
We bekijken de punten in het platte vlak, dus
. De voor de hand liggende optelling en scalaire vermenigvuldiging met reële getallen voldoen aan:




Daarmee is
een lineaire ruimte over
.
Op analoge wijze is
een lineaire ruimte over
.
- Voorbeeld 2
Neem voor
de reële getallen en
, bestaande uit de nulveelterm samen met de verzameling van alle veeltermen in
met een graad niet groter dan drie en met reële coëfficiënten. De optelling en scalaire vermenigvuldiging voldoen aan alle voorwaarden.
is een lineaire ruimte over
.
- Voorbeeld 3
Noem
de verzameling van reële continue functies op het interval (0,1) en definieer op de gebruikelijke manier de optelling en scalaire vermenenigvuldiging:


Dan is
een lineaire ruimte over
.
Soms is een deel van een lineaire ruimte zelf ook een lineaire ruimte over hetzelfde lichaam, zoals alle scalaire veelvouden van een vector. We spreken dan van een lineaire deelruimte.
Een lineaire deelruimte
van een lineaire ruimte
over een lichaam
is een deelverzameling van
die een lineaire ruimte is over hetzelfde lichaam
.
Hoe kunnen we zien dat een deelverzameling
van een vectorruimte
een deelruimte is? Omdat de vectoren in een deel van een vectorruimte
al de belangrijkste eigenschappen hebben, is het voldoende om aan te tonen dat met elke vector ook de scalaire veelvouden daarvan in
zitten en met elk tweetal ook hun som. Deze eisen garanderen juist dat lineaire combinaties van vectoren in
, ook in
liggen. De stelling geven we daarom zonder bewijs.
Een deelverzameling
van een lineaire ruimte
is een lineaire deelruimte als:
voor alle 
en
.
De doorsnede van twee lineaire deelruimten
en
van een lineaire ruimte
is ook een lineaire deelruimte van
.
- Bewijs
De doorsnede is niet leeg daar
en
beide de nulvector bevatten.
, dan
en 
Dus is voor alle
en
,
dus ook

Ook is voor alle
en
,
zodat
en 
dus
