परिभाषा 17.1विश्वविद्यालय गणित — स्नातक वर्ष 2 · अध्याय 17 — आनत समष्टियाँ
किसी वास्तविक सदिश समष्टि E से दिशित आनत समष्टि कोई अरिक्त समुच्चय E है जिस पर ऐसा प्रतिचित्रण (A,B)↦AB∈E हो कि
AB+BC=AC(शाल),प्रत्येकA,B↦ABकेलिएएकैकीआच्छादकE→E.
और AB=u वाले अद्वितीय बिंदु को B=A+u लिखा जाता है। E की विमाdimE है। हर सदिश समष्टि अपने ऊपर आनत समष्टि है (AB=B−A); और मूल बिंदु O∈E का हर चुनाव M↦OM के द्वारा E को E से पहचान देता है।
उदाहरण
उदाहरण 17.2(बिना स्वाभाविक मूल बिंदु की एक आनत समष्टि)
हल-समतल E={(x,y,z)∈R3:x+y+z=1} सदिश उपसमष्टि नहीं है (0∈/E), परंतु वह E={x+y+z=0} से दिशित आनत समष्टि है: A,B∈E के लिए अंतर AB=B−AE में उतरता है (योग कट जाते हैं), शाल R3 से विरासत में मिलती है, और B↦ABE पर एकैकी आच्छादक है। E का कोई बिंदु विशिष्ट नहीं है — “मूल बिंदु” का कोई भी चुनाव O∈E उतना ही अच्छा है, और सारी पहचानें M↦OM स्थानांतरणों से भिन्न होती हैं। यही विशिष्ट स्थिति है: असमांगी रैखिक समस्याओं (रैखिक निकाय, अध्याय 16 में रैखिक अवकल समीकरण) के हल-समुच्चय आनत होते हैं, रैखिक कभी नहीं; और नारा “विशिष्ट हल जमा केंद्रक” ठीक अगली परिभाषा का कथन F=A+F है।