In de wiskunde is een eenheidsbol of eenheidssfeer het boloppervlak of de sfeer op afstand 1 vanaf een vast centraal middelpunt. Er wordt onderscheid gemaakt tussen het boloppervlak en de massieve bol. Een gesloten, massieve eenheidsbol is de verzameling punten op een afstand kleiner dan of gelijk aan 1 vanaf het middelpunt.
Er is meestal een specifiek punt aangewezen als de oorsprong van de te bestuderen ruimte, waarbij de eenheidsbol gecentreerd is rondom dit punt.
Iedere bol kan door een combinatie van translatie en verschalen tot een eenheidsbol worden getransformeerd. Een massieve bol kan zo ook naar een massieve eenheidsbol worden getransformeerd. De eigenschappen van bollen kunnen op deze manier in het algemeen worden teruggebracht tot de studie van de eenheidsbol.
Soms bedoelt men met eenheidssfeer de eenheidsbol in een driedimensionale ruimte in het bijzonder. De eenheidsbol en -bal in twee dimensies noemt men de eenheidscirkel en eenheidsschijf.
In een euclidische ruimte van dimensies is het oppervlak van de eenheidsbol de verzameling van alle punten
die voldoen aan de vergelijking
en de massieve eenheidsbol is de verzameling van alle punten die voldoen aan de ongelijkheid
De inhoud en de oppervlakte van de eenheidsbol in een -dimensionale euclidische ruimte komen in veel belangrijke formules binnen de analyse voor. De oppervlakte van de eenheidsbol in -dimensies, in de literatuur vaak aangegeven door , kan als volgt worden uitgedrukt door gebruik te maken van de gammafunctie,
De inhoud van een eenheidsbol is
Preciezer gezegd, de open eenheidsbol in een genormeerde vectorruimte , met de norm , is
Het is het inwendige van de gesloten eenheidsbol van
Deze laatste is de disjuncte vereniging van de eerste en hun gemeenschappelijke grensvlak, de eenheidsbol van
De vorm van de eenheidsbol is volledig afhankelijk van de gekozen norm. De eenheidsbol kan zelfs hoeken hebben en kan bijvoorbeeld lijken op in het geval van de norm op de De ronde bol wordt opgevat als de gebruikelijke hilbertruimte-norm. In het eindigdimensionale op euclidische afstand gebaseerde geval is het grensvlak van deze ronde bal dat wat meestal wordt bedoeld met de eenheidsbol.
Alle drie de bovenstaande definities kunnen eenvoudig worden gegeneraliseerd naar een metrische ruimte, met betrekking tot een gekozen oorsprong. Topologische overwegingen met betrekking tot het inwendige, de afsluiting en het grensvlak hoeven echter niet altijd op dezelfde wijze van toepassing te zijn. In de ultrametrische ruimten bijvoorbeeld leiden deze definities tegelijkertijd tot open- en gesloten verzamelingen en kan de eenheidsbol in sommige metrische ruimten zelfs leeg zijn.
Als een lineaire ruimte is met een echte kwadratische vorm , dan wordt soms de eenheidsbol van genoemd. Twee-dimensionale voorbeelden zijn de split-complexe getallen en de duale getallen. Wanneer negatieve waarden accepteert, dan wordt de tegenbol genoemd.