Def.: Vektortér projektivizáltja
Def.: Projektív altér
Def.: Projektív altér dimenziója
Def.: Generált projektív altér
Áll.: Létezik és egyértelmű a generált projektív altér
Def.: Duális tér
Tétel: Dimenzió formula
Def.: Projektív koordináták
Def.: Vektortér projektivizáltja
Def.: Projektív altér
Def.: Projektív altér dimenziója
Def.: Generált projektív altér
Áll.: Létezik és egyértelmű a generált projektív altér
Def.: Duális tér
Tétel: Dimenzió formula
Def.: Projektív koordináták