You can help expand this article with text translated from the corresponding article in Russian. (April 2026) Click [show] for important translation instructions. Machine translation, like DeepL or Google Translate, is a useful starting point for translations, but translators must follow the LLM translation guideline, revise errors as necessary and confirm that the translation is accurate, rather than simply copy-pasting machine-translated text into the English Wikipedia. Consider adding a topic to this template: there are already 1,075 articles in the main category, and specifying|topic= will aid in categorization. Do not translate text that appears unreliable or low-quality. If possible, verify the text with references provided in the foreign-language article. You must provide copyright attribution in the edit summary accompanying your translation by providing an interlanguage link to the source of your translation. A model attribution edit summary is Content in this edit is translated from the existing Russian Wikipedia article at [[:ru:Полупространство]]; see its history for attribution. You may also add the template {{Translated|ru|Полупространство}} to the talk page. For more guidance, see Wikipedia:Translation.

This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed. Find sources: "Half-space" geometry – news · newspapers · books · scholar · JSTOR (December 2024) (Learn how and when to remove this message)

In geometry, a half-space is either of the two parts into which a plane divides the three-dimensional Euclidean space.^[1] If the space is two-dimensional, then a half-space is called a half-plane (open or closed).^[2][3] A half-space in a one-dimensional space is called a half-line^[4] or ray.

More generally, a half-space is either of the two parts into which a hyperplane divides an n-dimensional space. That is, the points that are not incident to the hyperplane are partitioned into two convex sets (i.e., half-spaces), such that any subspace connecting a point in one set to a point in the other must intersect the hyperplane.^[5]

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 ${\displaystyle x_{1},x_{2},\dots ,x_{n}}$ such that ${\displaystyle x_{n}\geq 0}$ (${\displaystyle x_{n}>0}$). The open (closed) lower half-space is defined similarly, by requiring that ${\displaystyle 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)
• Nef polygon, construction of polyhedra using half-spaces
• Poincaré half-plane model
• Quadrant (solid geometry)
• Siegel upper half-space

References

External links

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