Half-space (geometry)

In

A half-space can be either open or closed. An open half-space is either of the two open sets produced by the subtraction of a hyperplane from the affine space. A closed half-space is the union of an open half-space and the hyperplane that defines it.

The open (closed) upper half-space is the half-space of all (x₁, x₂, ..., x_n) such that x_n > 0 (≥ 0). The open (closed) lower half-space is defined similarly, by requiring that x_n be negative (non-positive).

A half-space may be specified by a linear inequality, derived from the linear equation that specifies the defining hyperplane. A strict linear inequality specifies an open half-space:

${\displaystyle a_{1}x_{1}+a_{2}x_{2}+\cdots +a_{n}x_{n}>b}$

A non-strict one specifies a closed half-space:

${\displaystyle a_{1}x_{1}+a_{2}x_{2}+\cdots +a_{n}x_{n}\geq b}$

Here, one assumes that not all of the real numbers a₁, a₂, ..., a_n are zero.

A half-space is a convex set.

See also

• Hemisphere (geometry)
• Line (geometry)
• Poincaré half-plane model
• Siegel upper half-space
• polyhedra
  using half-spaces.

External links

• "Half-plane", Encyclopedia of Mathematics, EMS Press, 2001 [1994]
• Weisstein, Eric W. "Half-Space". MathWorld.