![cover image](https://wikiwandv2-19431.kxcdn.com/_next/image?url=https://upload.wikimedia.org/wikipedia/uk/thumb/9/9a/Pivprostir.svg/languk-640px-Pivprostir.svg.png&w=640&q=50)
Півпростір
З Вікіпедії, безкоштовно encyclopedia
Півпростір (англ. Half-space) є однією з двох частин, на які площина ділить тривимірний Евклідів простір. У більш загальному, багатовимірному випадку, півпростір є однією з двох частин, на які гіперплощина ділить афінний простір. Тобто точки, які не належать гіперплощині, розподіляються на дві опуклі множини (тобто півпростори), таким чином, що будь-який підпростір, що містить точки з різних півпросторів, повинен перетинати гіперплощину. Наприклад, відрізок, що з'єднує точки з різних півпросторів, повинен перетинати гіперплощину.
![Thumb image](http://upload.wikimedia.org/wikipedia/uk/thumb/9/9a/Pivprostir.svg/320px-Pivprostir.svg.png)
Півпростір може бути або відкритим або замкненим. Відкритий півпростір збігається з однією з двох відкритих множин, утворених відніманням гіперплощині від афінного простору. A замкнений півпростір є об'єднанням відкритого півпростору та гіперплощини, що визначає його.
Якщо простір двовимірний, то півпростір називається півплощиною (відкритою або замкненою). Півпростір одновимірного простору називають променем.
Оскільки площину можна описати лінійним рівнянням, то півпростір можна визначити відповідною лінійною нерівністю.
Строга нерівність визначає відкритий півпростір, а нестрога — замкнений:
— відкритий півпростір
— замкнений
Припускається, що серед дійсних чисел a1, a2, …, an буде хоча б одне не нульове.