Es wird der euklidische Vektorraum ℝd betrachtet. Für a∈ℝ und n∈ℝd \ {0} wird der Halbraum Ha,n := {x∈X : x*n≤a} betrachtet.
Zu zeigen ist:
- Für x0 ∈ ∂Ha,n ist die Menge U := {x-x0 : x∈∂Ha,n } ein d-1-dimensionaler Unterraum von ℝd
- Für alle x,y ∈ ∂Ha,n gilt n⊥(x-y)
Das heißt es ist zu zeugen, dass ∂Ha,n eine d-1-dimensionale Hyperebene ist und n senkrecht auf dieser Hyperebene steht.