Halfruimte (meetkunde)

In de wiskunde is een halfruimte een door een hypervlak begrensde deelverzameling van een ruimte van willekeurige dimensie. Wanneer het hypervlak zelf in de halfruimte is besloten, noemt men de halfruimte afgesloten, anders open. Het begrip halfruimte leidt er toe dat het begrensde hypervlak de ruimte in twee delen opdeelt. Terminologie en voorstelling zijn een generalisatie van de drie-dimensionale ruimte, waar een vlak een halfruimte begrensd.

Formele definitie

Speciaal geval $\mathbb {R} ^{n}$

Voor $a\in \mathbb {R} ^{n}$ en $\beta \in \mathbb {R}$ noemt men

$\{x\in \mathbb {R} ^{n}\mid \langle a,x\rangle =\beta \}$

een hypervlak,

$\{x\in \mathbb {R} ^{n}\mid \langle a,x\rangle \geq \beta \}$

een afgesloten halfruimte en

$\{x\in \mathbb {R} ^{n}\mid \langle a,x\rangle >\beta \}$

een open halfruimte.

Algemene definitie

Zei $V$ een reele vectorruimte, dan geldt voor elke lineaire vorm $\lambda \colon V\to \mathbb {R}$ en elke $\beta \in \mathbb {R}$ de deelverzameling

$\{v\in V\mid \lambda (v)\geq \beta \}$ bzw. $\{v\in V\mid \lambda (v)>\beta \}$

een afgesloten- respectievelijk open halfruimte.

Speciale gevallen

• Op een rechte $\mathbb {R}$ zijn de hypervlakken precies de punten, en is een halfruimte daardoor een door een punt afgegrensde deelverzameling van een rechte $\mathbb {R}$. In dit speciale geval spreekt men ook van een halfrechte.
• In het vlak $\mathbb {R} ^{2}$ zijn de hypervlakken precies de rechten, en daardoor is een halfruimte een door een rechte afgegrensde deelverzameling van $\mathbb {R} ^{2}$. In dit speciale geval spreekt met ook van een halfvlak.
• De hypervlakken van de ruimte $\mathbb {R} ^{3}$ zijn precies de vlakken, en is een halfruimte een door een vlak begrensde deelverzameling van de ruimte.