Кіріспе

Дөңгелек, сфера немесе гиперсферадағы диаметральды қарама-қарсы нүктелер жұбы. Математикада сфераның (немесе шеңберді қоса алғанда, n сфераның) екі нүктесі, егер олар диаметрдің ұштары болса, яғни сферадағы екі нүкте арасындағы түзу сызық сегменті оның ортасынан өтетін болса, антиподальды немесе диаметральды қарама-қарсы деп аталады. Сферадағы кез келген нүкте үшін, оның антиподальды нүктесі – ең үлкен қашықтықтағы бірегей нүкте болып табылады, бұл қашықтық сфераның бетіндегі үлкен шеңбер бойынша (ішкі өлшемде) немесе сфераның ішкі бөлігі арқылы хордалық қашықтық бойынша (сыртқы өлшемде) өлшенгеніне қарамастан. Сферадағы кез келген үлкен шеңбер белгілі бір нүктеден өтетін болса, ол оның антиподальды нүктесінен де өтеді, ал антиподальды нүктелер жұбынан өтетін үлкен шеңберлер саны шексіз көп (бұл антиподальды емес екі нүктеге қарағанда өзгеше, олар арқылы өтетін тек бір ғана үлкен шеңбер бар). Сфералық геометрияның көптеген нәтижелері антиподальды емес нүктелерді таңдауға байланысты және антиподальды нүктелерге рұқсат етілген жағдайда бұрмаланады; мысалы, сфералық үшбұрыш егер оның екі төбесі антиподальды болса, толық анықталмаған айға айналады. Белгілі бір нүктеге антиподальды нүкте оның антиподары деп аталады, грек тілінде ἀντίποδες (антиподалар) сөзі "қарсы аяқтар" дегенді білдіреді; қараңыз. Кейде "s" әрпі түсіріліп, антипода деп аталады, бұл кері жасалған сөз.

Жоғары математика

Антиподальдік нүктелер ұғымы кез келген өлшемдегі сфераларға жалпыланады: сферадағы екі нүкте ортасы арқылы қарама-қарсы жатса, олар антиподальды болып табылады. Ортасынан өтетін әрбір түзу сызық сфераны екі нүктеде қиып өтеді, орталықтан шығатын әрбір сәулеге бір нүктеден, ал осы екі нүкте антиподальды болады. Борсук-Улам теоремасы – осындай нүктелер жұптарымен айналысатын алгебралық топологияның бір нәтижесі. Ол былай дейді: кез келген үздіксіз функция -ден -ге, сферасындағы бір антиподальдік нүктелер жұбын -дегі бір нүктеге бейнелейді. Мұнда - бұл өлшемді сфера, ал - өлшемді нақты координаталық кеңістік. Антиподальдік бейнелеу сферадағы әрбір нүктені оның антиподальдік нүктесіне жібереді. Егер сферадағы нүктелер Евклид кеңістігінде сфера ортасынан басталатын орын ауыстыру векторлары ретінде көрсетілсе, онда екі антиподальдік нүктелер қосындыға кері векторлармен көрсетіледі, ал антиподальдік бейнелеуді былай анықтауға болады: . Антиподальдік бейнелеу тақ болғанда бағдарды сақтайды (толықсүйектемелік бейнелеуге гомотопты), ал жұп болғанда оны керітеді. Оның дәрежесі: .

Егер антиподальдік нүктелер біріктірілсе (эквивалентті деп есептелсе), сфера нақты проекциялық кеңістіктің моделіне айналады.