Кіріспе

Жобалау геометриясында, шексіздіктегі жазықтық – үш өлшемді проекциялық кеңістіктің шексіздіктегі гипержазықтығы, немесе жоғары өлшемді проекциялық кеңістіктің шексіздіктегі гипержазықтығында орналасқан кез келген жазықтық. Осы мақала тек үш өлшемді жағдайды қарастырады.

Анықтама

Шексіздіктегі жазықтықты анықтаудың екі тәсілі бар, олар проективті 3 кеңістіктен немесе аффиндік 3 кеңістіктен бастауға байланысты. Егер проективті 3 кеңістік берілген болса, шексіздіктегі жазықтық – кеңістіктің кез келген ерекше проективті жазықтығы болып табылады. Бұл көзқарас осы жазықтықтың басқа жазықтықтан геометриялық тұрғыдан ешқандай айырмашылығы жоқ екенін көрсетеді. Екінші жағынан, аффиндік 3 кеңістік берілгенде, шексіздіктегі жазықтық – аффиндік 3 кеңістікке оның инциденттік қасиеттерін толықтыру үшін қосылатын проективті жазықтық болып табылады. Яғни, шексіз жазықтықтың нүктелері аффиндік 3 кеңістіктің параллель түзулерінің қиылысу нүктелері, ал түзулер – аффиндік 3 кеңістіктің параллель жазықтықтарының қиылысу түзулері болып табылады. Қосылғаннан кейін проективті 3 кеңістік пайда болады. Бұл көзқарас шексіздіктегі жазықтықтың ішкі құрылымын баса көрсетеді, бірақ оны кеңістіктің басқа жазықтықтарымен салыстырғанда "ерекше" етіп көрсетеді. Егер аффиндік 3 кеңістік нақты болса, онда шексіздікке нақты проективті жазықтықты қосу нақты проективті 3 кеңістік береді.

Қасиеттері

Шексіздіктегі жазықтық проективті жазықтық болғандықтан, ол "антиподалар бойынша сфера" бетіне гомеоморфты, яғни антиподальды нүктелер тең деп есептелетін сфера: S2/{+1, -1}, мұндағы бөлу топтық әрекет арқылы түсініледі (қ. бөлу кеңістігі).