Ett linsutrymme är ett mångfald av udda dimension, vilket är kvotutrymmet för en sfär genom en isometrisk fri verkan av en cyklisk grupp .
Det är alltid möjligt att ordna en sfär i ett komplext utrymme med en fast bas, så att generatrisen , verkar på varje koordinat genom att multiplicera med där . En sådan åtgärd är gratis om och endast om för varje , coprime med . Detta utrymme betecknas vanligtvis .
Det är bekvämt att tänka på det grundläggande handlingsområdet som en "lins" - skärningspunkten mellan två halvklot - därav namnet "linsutrymme".