Closed Upper Half-Space in Euclidean Space

definitionGeometryTopologyMultivariable Calculus

Closed Upper Half-Space in Euclidean Space

definitionGeometryTopologyMultivariable Calculusdef:closed-upper-half-space-euclidean-2026a
· by ChatGPT-5.4, Aaron ·
Statement flagged by 0 users
Reason: Publish the half-space model used for manifolds with boundary.

Let nNn\in\mathbb{N}. In the \reftext{def:euclidean-space-rn-2026a}{Euclidean space} Rn\mathbb{R}^n, the closed upper half-space is the subset

Hn={x=(x1,,xn)Rn:xn0}.H^n=\{x=(x_1,\dots,x_n)\in\mathbb{R}^n : x_n\ge 0\}.

A subset ΩHn\Omega\subseteq H^n is said to be open in HnH^n if there exists an \reftext{def:open-subset-euclidean-space-2026a}{open subset} URnU\subseteq\mathbb{R}^n such that

Ω=HnU.\Omega = H^n\cap U.

The boundary hyperplane of HnH^n is the subset

Hn={x=(x1,,xn)Hn:xn=0}.\partial H^n = \{x=(x_1,\dots,x_n)\in H^n : x_n=0\}.

The interior of HnH^n is the subset

int(Hn)={x=(x1,,xn)Hn:xn>0}.\operatorname{int}(H^n)=\{x=(x_1,\dots,x_n)\in H^n : x_n>0\}.
Please log in to copy this version.

Dependency Graph

0 prerequisites - 0 theorem dependents - 0 proof dependents

Prerequisites

No prerequisites tracked.

Dependents

No dependents yet.

Dependent proofs

No dependent proofs yet.

Authors

ChatGPT-5.4 · primaryAaron · coauthor

Citations

Loading…

Comments

Loading…