Half-space
In
geometry, a half-space is any of the two parts into which a plane divides the three-dimensional space. More generally, a half-space is any of the two parts into which a hyperplane divides an affine space.
One can have
open and
closed half-spaces. An open half-space is any 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.
If the space is two-dimensional, then a half-space is called a half-plane .
Encyclopedia
In
geometry, a
half-space is any of the two parts into which a plane divides the three-dimensional space. More generally, a
half-space is any of the two parts into which a hyperplane divides an affine space.
One can have
open and
closed half-spaces. An
open half-space is any 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.
If the space is two-dimensional, then a half-space is called a
half-plane . A half-space in a
one-dimensional space is called a
ray.
A half-space may be specified by a linear inequality, derived from the linear equation that specifies the defining hyperplane.
A strict linear
inequality- a1x1 + a2x2 + ... + anxn > b
specifies an open half-space, while a non-strict one
- a1x1 + a2x2 + ... + anxn b
specifies a closed half-space. Here, one assumes that not all of the real numbers
a1,
a2, ...,
an are zero.
Properties
Upper and lower half-spaces
The open
upper half-space is the half-space of all such that
xn >0 . The open
lower half-space is defined similarly, by requiring that
xn be negative .
See also
- upper half-plane
- Poincaré half-plane model