Ein Unterraum vom Kodimension Eins in einem affinen Raum (affiner Hyperebene) oder ein linearer Unterraum vom Kodimension Eins in einem Vektorraum; in der projektiven Geometrie ist eine Hyperebene ein projektiver Unterraum der Kodimension Eins. Im affinen Fall wird sie durch eine einzige lineare Gleichung definiert und trennt den umgebenden Raum in zwei Halb-Räume.

Prinzip

Eine Hyperebene ist gegeben durch das Nullsetzen eines nichttrivialen affinen (bzw. homogen-linearen im projektiven Fall) Funktionals; sie ist das einfachste nichttriviale flache (linear/affin) Objekt und dient als Stütz- oder Trennstruktur in der linearen und konvexen Geometrie.

Demonstration

In R^3 ist die Menge {x ∈ R^3 : ax + by + cz + d = 0} eine affine Hyperebene (eine Ebene), falls (a,b,c) ≠ (0,0,0); in der projektiven Ebene ist eine Gerade eine projektive Hyperebene, beschrieben durch eine homogene lineare Gleichung.

Fehlanwendung

Eine gekrümmte zweidimensionale Fläche in R^3 als Hyperebene zu bezeichnen oder einen Unterraum höherer Kodimension fälschlich als Hyperebene zu bezeichnen; den Unterschied zwischen affinem und projektivem Kontext zu übersehen (affine Hyperebenen trennen, projektive nicht).

Konsequenz

Hyperebenen partitionieren affinen Raum in zwei Halb-Räume und sind grundlegend in der linearen Algebra (Kerne linearer Funktionale), in der Konvexitätstheorie (Stütz-Hyperebenen), in der Klassifikation (lineare Trenner) und in Dualitätskonstruktionen der projektiven Geometrie.

Umkehrung

Eine Hyperebene durch eine Hyperfläche ersetzen erlaubt nichtlineare Krümmung und komplexere lokale Geometrie; Betrachtung von Unterräumen geringerer Kodimension (Geraden, Ebenen in höherer Dimension) verringert die Trennwirkung, höhere Kodimension trennt gar nicht.

Abgrenzung

Gilt im linearen, affinen oder projektiven Rahmen und setzt eine Vektor- oder affine Struktur voraus; schließt nichtlineare Hyperflächen, Mannigfaltigkeiten ohne lineare Struktur und diskrete Mengen aus; im projektiven Raum existiert keine Teilung in Halb-Räume.

Semantische Spannung

Spannung mit dem weiter gefassten Begriff 'Hyperfläche': Hyperebenen sind lineare/homogene Hyperflächen, während Hyperflächen allgemein nichtlinear sein können; Spannung auch mit dem Begriff der 'Hyperebene im Unendlichen', der affine und projektive Bilder unterscheidet.

Synthese

Eine Hyperebene ist ein flacher linearer oder affiner Unterraum der Kodimension Eins (bzw. das projektive Analogon), definiert durch eine einzige nichttriviale lineare Gleichung; sie ist das grundlegende lineare Trenn- und Stützobjekt in algebraischer, affiner und projektiver Geometrie.