Halbraum

In der Mathematik ist ein Halbraum eine durch eine Hyperebene begrenzte Teilmenge eines Raumes beliebiger Dimension. Wenn die Hyperebene selbst im Halbraum enthalten ist, heißt dieser abgeschlossen, sonst offen. Der Begriff Halbraum leitet sich daraus ab, dass die begrenzende Hyperebene den Raum in zwei Teile zerlegt. Terminologie und Vorstellung sind eine Verallgemeinerung aus dem dreidimensionalen Anschauungsraum, wo eine Ebene einen Halbraum begrenzt.

Formale Definition

Spezialfall ℝn

Für a\in {\mathbb  {R}}^{n} und \beta \in {\mathbb  {R}} nennt man

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

eine Hyperebene,

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

einen abgeschlossenen Halbraum und

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

einen offenen Halbraum.

Allgemeine Definition

Es sei V ein reeller Vektorraum. Dann heißt für jede Linearform \lambda \colon V\to {\mathbb  R} und jedes \beta \in {\mathbb  R} die Teilmenge

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

ein abgeschlossener bzw. offener Halbraum.

Affine Räume

Die allgemeine Definition für reelle Vektorräume beliebiger Dimension lässt sich auf endlichdimensionale affine Räume über einem geordneten Körper übertragen. Der übertragene Begriff wird in der synthetischen Geometrie im zweidimensionalen Fall auch auf affine Inzidenzebenen verallgemeinert.

anschauliche Spezialfälle

Trenner
Basierend auf einem Artikel in: Wikipedia.de
Seitenende
Seite zurück
©  biancahoegel.de
Datum der letzten Änderung:  Jena, den: 03.02. 2018