Fél tér
Az α hipersíkkal határolt féltér egy geometriai alakzat a térben, amelyre a következő igaz:
- Ez az ábra tartalmazza az α síkot, de nincs rá redukálva.
- Az ábra tetszőleges A és B pontjai által határolt szakasznak, amely nem tartozik α-hoz, nincs metszéspontja az α síkkal.
- Az A és B ábra tetszőleges pontjai által határolt szakasznak , ahol A tartozik α-hoz és B nem, van metszéspontja az α síkkal.
Formális definíció
Legyen vektortér, lineáris forma , akkor minden szám egy zárt félteret határoz meg
Ha az egyenlőtlenség szigorú, akkor a féltér
nyitottnak nevezik.