अर्ध-स्थान (ज्यामिति)

ज्यामिति में, अर्ध-स्थान दो भागों में से एक है जिसमें एक विमान (ज्यामिति) त्रि-आयामी यूक्लिडियन अंतरिक्ष को विभाजित करता है। यदि स्थान द्वि-आयामी है, तो आधे स्थान को अर्ध-तल (खुला या बंद) कहा जाता है। एक-आयामी स्थान में आधे-स्थान को अर्ध-रेखा या रे (गणित) कहा जाता है।

अधिक सामान्यतः, अर्ध-स्थान उन दो भागों में से एक है जिसमें एक हाइपरप्लेन एक एफ़िन स्थान को विभाजित करता है। अर्थात्, वे बिंदु जो हाइपरप्लेन पर आपतित नहीं होते हैं, वे दो उत्तल सेटों (अर्थात, अर्ध-स्थान) में विभाजन (सेट सिद्धांत) हैं, जैसे कि एक सेट में एक बिंदु को दूसरे सेट में एक बिंदु से जोड़ने वाला कोई भी उप-स्थान हाइपरप्लेन को प्रतिच्छेद करना चाहिए.

आधा स्थान या तो खुला या बंद हो सकता है। एक खुला आधा स्थान एफ़िन स्पेस से हाइपरप्लेन के घटाव द्वारा निर्मित दो खुले सेटों में से एक है। एक बंद आधा-स्थान एक खुले आधे-स्थान और हाइपरप्लेन का मिलन है जो इसे परिभाषित करता है।

खुला (बंद) ऊपरी आधा स्थान सभी का आधा स्थान है (x1, एक्स2, ..., एक्सn) ऐसा कि xn > 0 (≥ 0). खुले (बंद) निचले आधे स्थान को x की आवश्यकता के अनुसार इसी तरह परिभाषित किया गया हैn नकारात्मक (गैर-सकारात्मक) होना।

एक अर्ध-स्थान को रैखिक असमानता द्वारा निर्दिष्ट किया जा सकता है, जो रैखिक समीकरण से प्राप्त होता है जो परिभाषित हाइपरप्लेन को निर्दिष्ट करता है। एक सख्त रैखिक असमानता (गणित) एक खुले आधे स्थान को निर्दिष्ट करती है:
 * $$a_1x_1+a_2x_2+\cdots+a_nx_n>b$$

एक गैर-सख्त व्यक्ति एक बंद आधे स्थान को निर्दिष्ट करता है:
 * $$a_1x_1+a_2x_2+\cdots+a_nx_n\geq b$$

यहाँ, कोई यह मानता है कि सभी वास्तविक संख्याएँ नहीं1, ए2, ..., एn शून्य हैं.

अर्ध-स्थान एक उत्तल समुच्चय है।

यह भी देखें

 * रेखा (ज्यामिति)
 * पोंकारे आधा-प्लेन मॉडल
 * सीगल ऊपरी आधा स्थान
 * नेफ बहुभुज, अर्ध-स्थानों का उपयोग करके बहुकोणीय आकृति  का निर्माण।