Halbraum

aus Wikipedia, der freien Enzyklopädie

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.

Inhaltsverzeichnis

1 Formale Definition
- 1.1 Spezialfall
- 1.2 Allgemeine Definition
2 anschauliche Spezialfälle

[Bearbeiten] Formale Definition

[Bearbeiten] Spezialfall $\mathbb R^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 \ge \beta \}$

einen abgeschlossenen Halbraum und

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

einen offenen Halbraum.

[Bearbeiten] 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.

[Bearbeiten] anschauliche Spezialfälle

Auf einer Geraden $\mathbb{R}$ sind die Hyperebenen genau die Punkte, und ein Halbraum ist somit eine durch einen Punkt abgegrenzte Teilmenge der Gerade $\mathbb{R}$ . In diesem Spezialfall spricht man auch von einer Halbgeraden.
In der Ebene $\mathbb{R}^2$ sind die Hyperebenen genau die Geraden, und somit ist ein Halbraum eine durch eine Gerade abgegrenzte Teilmenge des $\mathbb{R}^2$ . In diesem Spezialfall spricht man auch von einer Halbebene.
Die Hyperebenen des Raums $\mathbb{R}^3$ sind genau die Ebenen, und ein Halbraum ist eine durch eine Ebene begrenzte Teilmenge des Raumes (auch: halbunendlicher Körper genannt).