Proektiv ravishda kengaytirilgan haqiqiy chiziq - Projectively extended real line

Proyektiv ravishda kengaytirilgan haqiqiy chiziq aylanaga o'ralgan haqiqiy raqamlar qatori sifatida tasavvur qilinishi mumkin (ba'zi bir shakllar bo'yicha stereografik proektsiya ) cheksiz qo'shimcha nuqta bilan.

Yilda haqiqiy tahlil, proektiv ravishda kengaytirilgan haqiqiy chiziq (deb ham nomlanadi bir nuqtali kompaktlashtirish ning haqiqiy chiziq ), to'plamining kengaytmasi haqiqiy raqamlar, ${ displaystyle mathbb {R},}$ belgilangan nuqta bilan $\infty$ . Bu shunday ${ displaystyle mathbb {R} cup { infty }}$ standart arifmetik amallar iloji boricha kengaytirilgan va ba'zan uni belgilaydi ${ displaystyle { widehat { mathbb {R}}}.}$ Qo'shilgan nuqta deyiladi cheksizlikka ishora, chunki u ikkalasining qo'shnisi sifatida qaraladi tugaydi haqiqiy chiziq. Aniqrog'i, cheksizlik nuqtasi chegara har biridan ketma-ketlik haqiqiy sonlarning soni mutlaq qiymatlar ko'paymoqda va cheksiz.

Projektiv ravishda kengaytirilgan haqiqiy chiziq proektsion chiziq uchta nuqtaga aniq qiymatlar berilgan reallar bo'yicha (masalan, $0$ , $1$ va $\infty$ ). Projektiv ravishda kengaytirilgan haqiqiy chiziqni bilan aralashtirmaslik kerak kengaytirilgan haqiqiy raqam liniyasi, unda $+\infty$ va $-\infty$ aniq.

Nolga bo'lish

"Raqam" intuitiv tushunchasining aksariyat matematik modellaridan farqli o'laroq, ushbu tuzilish imkon beradi nolga bo'linish:

{ displaystyle { frac {a} {0}} = infty}

nolga teng bo'lmagan a. Jumladan $1/0 = \infty$ va bundan tashqari $1/\infty = 0$ , qilish o'zaro, $1/ x$ , a umumiy funktsiya ushbu tuzilishda. Biroq, tuzilish a emas maydon va ikkitomonlama arifmetik amallarning hech biri umumiy emas, masalan, guvohi bo'lgan $0\cdot\infty$ o'zaro umumiy bo'lishiga qaramay, aniqlanmagan. U foydalanishga yaroqli talqinlarga ega, ammo masalan, geometriyada vertikal chiziq mavjud cheksiz Nishab.

Haqiqiy chiziqning kengaytmalari

Projektiv ravishda kengaytirilgan haqiqiy chiziq kengaytiriladi maydon ning haqiqiy raqamlar xuddi shu tarzda Riman shar maydonini kengaytiradi murakkab sonlar, shartli deb nomlangan bitta nuqta qo'shish orqali ${ displaystyle infty}$ .

Aksincha, kengaytirilgan haqiqiy raqam liniyasi (shuningdek, ikkita nuqta deb ataladi ixchamlashtirish haqiqiy chiziqning) orasidagi farqni ajratadi ${ displaystyle + infty}$ va ${ displaystyle - infty}$ .

Buyurtma

Buyurtma munosabati kengaytirilishi mumkin emas ${ displaystyle { widehat { mathbb {R}}}}$ mazmunli tarzda. Raqam berilgan ${ displaystyle a neq infty}$ , ikkalasini ham aniqlash uchun ishonchli dalil yo'q ${ displaystyle a> infty}$ yoki bu ${ displaystyle a < infty}$ . Beri ${ displaystyle infty}$ boshqa elementlar bilan taqqoslab bo'lmaydi, bu munosabatni saqlab qolish uchun hech qanday ma'no yo'q ${ displaystyle { widehat { mathbb {R}}}}$ . Biroq, buyurtma bering ${ displaystyle mathbb {R}}$ ning ta'riflarida ishlatiladi ${ displaystyle { widehat { mathbb {R}}}}$ .

Geometriya

$ Delta $ - bu fikr boshqasidan farq qilmaydi haqiqiy proektiv chiziq a bir hil bo'shliq, Aslini olib qaraganda gomeomorfik a doira. Masalan umumiy chiziqli guruh 2 × 2 haqiqiy teskari matritsalar a o'tish harakati ustida. The guruh harakati tomonidan ifodalanishi mumkin Mobiusning o'zgarishi, (shuningdek, chiziqli fraksiyonel transformatsiyalar deb ham ataladi), bu chiziqli fraksiyonel ayirmachining maxraji 0 ga teng bo'lganda, tasvir $ p $ ekanligini tushungan holda.

Harakatning batafsil tahlili shuni ko'rsatadiki, har qanday uchta alohida nuqta uchun P, Q va R, chiziqli fraksiyonel o'zgarish mavjud P 0 ga, Q 1 ga va R ∞ ga, ya'ni chiziqli fraksiyonel transformatsiyalar guruhi uch marta o'tish davri haqiqiy proektiv chiziqda. Buni 4 ochkolik ballgacha kengaytirish mumkin emas, chunki o'zaro nisbat o'zgarmasdir.

Terminologiya proektsion chiziq mos keladi, chunki ochkolar 1 dan 1 gacha bo'lgan o'lchovli yozishmalarda chiziqli pastki bo'shliqlar ning ${ displaystyle mathbb {R} ^ {2}}$ .

Arifmetik amallar

Arifmetik amallar uchun motivatsiya

Ushbu bo'shliqdagi arifmetik amallar xuddi shu reallar bo'yicha amallarning kengaytmasi. Haqiqiy sonlarning funktsiyalari chegaralari yangi ta'riflarning motivatsiyasi hisoblanadi.

Aniqlangan arifmetik amallar

Ichki to'plamdagi standart operatsiyalardan tashqari ${ displaystyle mathbb {R}}$ ning ${ displaystyle { widehat { mathbb {R}}}}$ , uchun quyidagi operatsiyalar aniqlangan ${ displaystyle a in { widehat { mathbb {R}}}}$ , ko'rsatilgan holatlar bundan mustasno:

{ displaystyle { begin {aligned} a + infty = infty + a & = infty, & a neq infty a- infty = infty -a & = infty, & a neq infty a / infty = a cdot 0 = 0 cdot a & = 0, & a neq infty infty / a & = infty, & a neq infty a / 0 = a cdot infty = infty cdot a & = infty, & a neq 0 0 / a & = 0, & a neq 0 end {hizalangan}}}

Aniqlashtirilmagan arifmetik amallar

Haqiqiy funktsiyalar chegaralarini hisobga olgan holda quyidagi iboralarni rag'batlantirish mumkin emas va ularning hech qanday ta'rifi standart algebraik xususiyatlarning bayonini barcha aniqlangan holatlar uchun o'zgarmagan holda saqlashga imkon bermaydi.^[a] Binobarin, ular aniqlanmagan holda qoldiriladi:

{ displaystyle { begin {aligned} & infty + infty & infty - infty & infty cdot 0 & 0 cdot infty & infty / infty & 0 / 0 end {hizalangan}}}

Algebraik xususiyatlar

Quyidagi tengliklar quyidagilarni anglatadi: Yoki ikkala tomon ham aniqlanmagan, yoki ikkala tomon ham aniqlangan va tengdir. Bu har bir kishi uchun amal qiladi ${ displaystyle a, b, c in { widehat { mathbb {R}}}}$ .

{ displaystyle { begin {aligned} (a + b) + c & = a + (b + c) a + b & = b + a (a cdot b) cdot c & = a cdot (b cdot c) a cdot b & = b cdot a a cdot infty & = { frac {a} {0}} end {aligned}}}

Quyidagilar har doim o'ng tomon belgilanganda to'g'ri keladi ${ displaystyle a, b, c in { widehat { mathbb {R}}}}$ .

{ displaystyle { begin {aligned} a cdot (b + c) & = a cdot b + a cdot c a & = ({ frac {a} {b}}) cdot b & = , , & { frac {(a cdot b)} {b}} a & = (a + b) -b & = , , & (ab) + b end {hizalanmış}}}

Umuman olganda, amal qiladigan arifmetikaning barcha qonunlari ${ displaystyle mathbb {R}}$ uchun ham amal qiladi ${ displaystyle { widehat { mathbb {R}}}}$ barcha yuzaga keladigan iboralar aniqlanganda.

Intervallar va topologiya

An tushunchasi oraliq ga kengaytirilishi mumkin ${ displaystyle { widehat { mathbb {R}}}}$ . Biroq, bu tartibsiz to'plam bo'lgani uchun, interval biroz boshqacha ma'noga ega. Yopiq intervallarni ta'riflari quyidagicha (bu taxmin qilinadi ${ displaystyle a, b in mathbb {R}, a$ ):

{ displaystyle { begin {aligned} left [a, b right] & = lbrace x mid x in mathbb {R}, a leq x leq b rbrace left [a, infty right] & = lbrace x mid x in mathbb {R}, a leq x rbrace cup lbrace infty rbrace left [b, a right] & = lbrace x mid x in mathbb {R}, b leq x rbrace cup lbrace infty rbrace cup lbrace x mid x in mathbb {R}, x leq a rbrace left [ infty, a right] & = lbrace infty rbrace cup lbrace x mid x in mathbb {R}, x leq a rbrace chap [a, a right ] & = {a } chap [ infty, infty right] & = lbrace infty rbrace end {hizalangan}}}

Oxirgi nuqtalar teng bo'lgan holatlar bundan mustasno, tegishli so'nggi va yarim ochiq oraliqlar tegishli so'nggi nuqtalarni olib tashlash orqali aniqlanadi.

${ displaystyle { widehat { mathbb {R}}}}$ va bo'sh to'plam ham xuddi shunday intervaldir ${ displaystyle { widehat { mathbb {R}}}}$ har qanday bitta nuqta bundan mustasno.^[b]

Sifatida ochiq intervallar tayanch a ni aniqlang topologiya kuni ${ displaystyle { widehat { mathbb {R}}}}$ . Baza uchun cheklangan ochiq intervallar etarli ${ displaystyle mathbb {R}}$ va intervallar ${ displaystyle (b, a) = {x mid x in mathbb {R}, b$ Barcha uchun ${ displaystyle a, b in mathbb {R}}$ shu kabi ${ displaystyle a$ .

Yuqorida aytib o'tilganidek, topologiya gomeomorfik a doira. Shunday qilib o'lchovli ushbu doiradagi oddiy metrikaga mos keladigan (ma'lum bir gomomorfizm uchun) (to'g'ri yoki aylana bo'ylab o'lchanadi). Oddiy metrikaning kengaytmasi bo'lgan o'lchov yo'q ${ displaystyle mathbb {R}}$ .

Intervalli arifmetika

Intervalli arifmetika ga cho'ziladi ${ displaystyle { widehat { mathbb {R}}}}$ dan ${ displaystyle mathbb {R}}$ . Ikkilik amal bilan bajarilgan intervallarda aniqlanmagan natijaga olib keladigan mos kelmaydigan qiymatlar mavjud bo'lgan hollar bundan mustasno, intervallar bo'yicha arifmetik amalning natijasi har doim interval bo'ladi.^[c] Xususan, bizda har bir kishi uchun ${ displaystyle a, b in { widehat { mathbb {R}}}}$ :

{ displaystyle x in [a, b] iff { frac {1} {x}} in left [{ frac {1} {b}}, { frac {1} {a}} o'ngda],}

har ikkala intervalni o'z ichiga olganligidan qat'iy nazar ${ displaystyle 0}$ va ${ displaystyle infty}$ .

Hisoblash

Ning vositalari hisob-kitob funktsiyalarini tahlil qilish uchun ishlatilishi mumkin ${ displaystyle { widehat { mathbb {R}}}}$ . Ta'riflar ushbu makon topologiyasiga asoslangan.

Mahallalar

Ruxsat bering ${ displaystyle x in { widehat { mathbb {R}}}, A subseteq { widehat { mathbb {R}}}}$ .

A a Turar joy dahasi ning x, agar va faqat agar A ochiq oraliqni o'z ichiga oladi B va ${ displaystyle x in B}$ .
A agar mavjud bo'lsa, u x ning o'ng tomonidagi mahalladir ${ displaystyle y in { widehat { mathbb {R}}} setminus {x }}$ shu kabi A o'z ichiga oladi ${ displaystyle [x, y)}$ .
A agar mavjud bo'lsa, x ning chap tomonidagi mahalladir ${ displaystyle y in { widehat { mathbb {R}}} setminus {x }}$ shu kabi A o'z ichiga oladi ${ displaystyle (y, x]}$ .
A bu (o'ng tomonlama, chap tomonli) teshilgan mahalla ning x, agar mavjud bo'lsa va faqat ${ displaystyle B subseteq { widehat { mathbb {R}}}}$ shu kabi B $ x $ va (ning o'ng tomoni, chap tomoni) mahallasi ${ displaystyle A = B setminus {x }}$ .

Cheklovlar

Chegaralarning asosiy ta'riflari

Ruxsat bering ${ displaystyle f: { widehat { mathbb {R}}} to { widehat { mathbb {R}}}, p in { widehat { mathbb {R}}}, L in { widhat { mathbb {R}}}}$ .

The chegara ning f (x) kabi x yondashuvlar p bu L, belgilangan

{ displaystyle lim _ {x to p} {f (x)} = L}

agar va har bir mahalla uchun bo'lsa A ning L, teshilgan mahalla bor B ning p, shu kabi ${ displaystyle x in B}$ nazarda tutadi ${ displaystyle f (x) in A}$ .

The bir tomonlama chegara ning f (x) kabi x yondashuvlar p o'ngdan (chapdan) bu L, belgilangan

{ displaystyle lim _ {x to p ^ {+}} {f (x)} = L}

{ displaystyle left ( lim _ {x to p ^ {-}} {f (x)} = L right)}

agar va har bir mahalla uchun bo'lsa A ning L, o'ng tomonga (chap tomonga) teshilgan mahalla mavjud B ning p, shu kabi ${ displaystyle x in B}$ nazarda tutadi ${ displaystyle f (x) in A}$ .

Buni ko'rsatish mumkin ${ displaystyle lim _ {x to p} {f (x)} = L}$ agar va faqat ikkalasi bo'lsa ham ${ displaystyle lim _ {x to p ^ {+}} {f (x)} = L}$ va ${ displaystyle lim _ {x to p ^ {-}} {f (x)} = L}$ .

Chegaralari bilan taqqoslash ${ displaystyle mathbb {R}}$

Yuqorida keltirilgan ta'riflarni real funktsiyalar chegaralarining odatiy ta'riflari bilan taqqoslash mumkin. Quyidagi bayonotlarda, ${ displaystyle p, L in mathbb {R}}$ , birinchi chegara yuqorida ta'riflanganidek, ikkinchi chegara odatdagi ma'noda:

${ displaystyle lim _ {x to p} {f (x)} = L}$ ga teng ${ displaystyle lim _ {x to p} {f (x)} = L}$ .
${ displaystyle lim _ {x to infty ^ {+}} {f (x)} = L}$ ga teng ${ displaystyle lim _ {x to - infty} {f (x)} = L}$ .
${ displaystyle lim _ {x to infty ^ {-}} {f (x)} = L}$ ga teng ${ displaystyle lim _ {x dan + infty} {f (x)} = L}$ .
${ displaystyle lim _ {x to p} {f (x)} = infty}$ ga teng ${ displaystyle lim _ {x to p} {| f (x) |} = + infty}$ .
${ displaystyle lim _ {x to infty ^ {+}} {f (x)} = infty}$ ga teng ${ displaystyle lim _ {x to - infty} {| f (x) |} = + infty}$ .
${ displaystyle lim _ {x to infty ^ {-}} {f (x)} = infty}$ ga teng ${ displaystyle lim _ {x dan + infty} {| f (x) |} = + infty}$ .

Chegaralarning kengaytirilgan ta'rifi

Ruxsat bering ${ displaystyle A subseteq { widehat { mathbb {R}}}}$ . Keyin p a chegara nuqtasi ning A agar va har bir mahalla bo'lsa p bir fikrni o'z ichiga oladi ${ displaystyle y in A}$ shu kabi ${ displaystyle y neq p}$ .

Ruxsat bering ${ displaystyle f: { widehat { mathbb {R}}} to { widehat { mathbb {R}}}, A subseteq { widehat { mathbb {R}}}, L in { broadhat { mathbb {R}}}, p in { widehat { mathbb {R}}}}$ , p ning chegara nuqtasi A. Chegarasi f (x) kabi x yondashuvlar p orqali A bu L, agar va har bir mahalla uchun bo'lsa B ning L, teshilgan mahalla bor C ning p, shu kabi ${ displaystyle x in A cap C}$ nazarda tutadi ${ displaystyle f (x) in B}$ .

Bu doimiylikning doimiy topologik ta'rifiga mos keladi subspace topologiyasi kuni ${ displaystyle A cup lbrace p rbrace}$ va cheklash f ga ${ displaystyle A cup lbrace p rbrace}$ .

Davomiylik

Funktsiya

{ displaystyle f: { widehat { mathbb {R}}} to { widehat { mathbb {R}}}, quad p in { widehat { mathbb {R}}}.}

bu davomiy da $p$ agar va faqat agar $f$ da belgilanadi $p$ va

{ displaystyle lim _ {x to p} {f (x)} = f (p).}

Agar ${ displaystyle A subseteq { widehat { mathbb {R}}},}$ funktsiya

{ displaystyle f: A to { widehat { mathbb {R}}}}

ichida uzluksiz $A$ agar va faqat har bir kishi uchun ${ displaystyle p in A}$ , $f$ da belgilanadi $p$ va chegarasi $f (x)$ kabi $x$ moyil $p$ orqali $A$ bu $f (p)$ .

Har bir ratsional funktsiya $P (x)/ Q (x)$ , qayerda $P$ va $Q$ bor polinomlar, funktsiyasiga qadar uzaytirilishi mumkin ${ displaystyle { widehat { mathbb {R}}}}$ ga ${ displaystyle { widehat { mathbb {R}}}}$ bu doimiy ${ displaystyle { widehat { mathbb {R}}}}$ . Xususan, bu shunday polinom funktsiyalari, bu qiymatni oladi ${ displaystyle infty}$ da ${ displaystyle infty,}$ agar ular doimiy bo'lmasa.

Shuningdek, agar tangens funktsiyasi $sarg'ish$ shunday kengaytirilgan

{ displaystyle tan left ({ frac { pi} {2}} + n pi right) = infty { text {for}} n in mathbb {Z},}

keyin $sarg'ish$ ichida uzluksiz ${ displaystyle mathbb {R},}$ lekin doimiy ravishda davom etadigan funktsiyaga qadar uzaytirilishi mumkin emas ${ displaystyle { widehat { mathbb {R}}}.}$

Ko'pchilik elementar funktsiyalar ichida doimiy bo'lgan ${ displaystyle mathbb {R}}$ ichida doimiy bo'lgan funktsiyalarga cho'zilishi mumkin emas ${ displaystyle { widehat { mathbb {R}}}.}$ Bu, masalan, eksponent funktsiya va barchasi trigonometrik funktsiyalar. Masalan, sinus funktsiyasi ichida uzluksiz ${ displaystyle mathbb {R},}$ lekin uni doimiy ravishda amalga oshirish mumkin emas ${ displaystyle infty.}$ Yuqorida ko'rinib turganidek, tangens funktsiyasi uzluksiz funktsiyaga cho'zilishi mumkin ${ displaystyle mathbb {R},}$ ammo bu funktsiyani doimiy ravishda bajarish mumkin emas ${ displaystyle infty.}$

Bo'lganda uzluksiz ishlaydigan ko'plab uzluksiz funktsiyalar kodomain ga kengaytirilgan ${ displaystyle { widehat { mathbb {R}}}}$ kodomain kengaytirilgan bo'lsa, uzluksiz qoladi aniq raqamlar tizimi kengaytirilgan ${ displaystyle { overline { mathbb {R}}}.}$ Bu funktsiyaning holati ${ displaystyle x mapsto { frac {1} {x}}.}$ Boshqa tomondan, ichida doimiy bo'lgan ba'zi funktsiyalar ${ displaystyle mathbb {R}}$ va uzluksiz ${ displaystyle infty in { widehat { mathbb {R}}}}$ agar doimiy bo'lsa domen ga kengaytirilgan ${ displaystyle { overline { mathbb {R}}}.}$ Bu holat boshq teginish.

Projektif qator sifatida

Qachon haqiqiy proektsion chiziq kontekstida ko'rib chiqiladi haqiqiy proektsion tekislik, keyin oqibatlari Desargues teoremasi yashirin. Xususan, proektsion harmonik konjugat nuqtalar orasidagi munosabat haqiqiy proektsion chiziqning tarkibiy qismidir. Masalan, har qanday juftlik berilganida, cheksizlikka ishora ularning proektsion harmonik konjugati o'rta nuqta.

Sifatida proektivlik harmonik munosabatni saqlab qolish, ular avtomorfizmlar haqiqiy proektsion chiziqning. Projektivlik algebraik tarzda quyidagicha tavsiflanadi homografiya, beri haqiqiy raqamlar shakl uzuk, a ning umumiy qurilishiga muvofiq uzuk ustidagi proektsion chiziq. Umumiy holda ular guruhni tashkil qiladi PGL (2, R).

O'zlarining teskari tomonlari bo'lgan proektivlik deyiladi jalb qilish. A giperbolik involyutsiya ikkitasi bor sobit nuqtalar. Ulardan ikkitasi haqiqiy proektiv chiziqdagi elementar, arifmetik amallarga to'g'ri keladi: inkor va o'zaro javob. Darhaqiqat, 0 va neg inkor ostida, 1 va −1 o'zaro ta'sirda aniqlanadi.

Izohlar

^ Ammo kengaytma mavjud bo'lib, unda barcha algebraik xususiyatlar, belgilangan operatsiyalar bilan cheklangan bo'lsa ${ displaystyle { widehat { mathbb {R}}}}$ , standart qoidalarga qaror qiling: qarang G'ildirak nazariyasi.
^ Agar bir-birini to'ldirishning izchilligi zarur bo'lsa, shunday qilib ${ displaystyle [a, b] ^ { complement} = (b, a)}$ va ${ displaystyle (a, b] ^ { complement} = (b, a]}$ Barcha uchun ${ displaystyle a, b in { widehat { mathbb {R}}}}$ (har ikki tomonning oralig'i aniqlangan joyda), barcha intervallarni hisobga olmaganda ${ displaystyle varnothing}$ va ${ displaystyle { widehat { mathbb {R}}}}$ bilan ushbu yozuv yordamida tabiiy ravishda ifodalanishi mumkin ${ displaystyle (a, a)}$ deb talqin qilinmoqda ${ displaystyle { widehat { mathbb {R}}} setminus {a }}$ , va teng so'nggi nuqtalarga ega yarim ochiq intervallar, masalan. ${ displaystyle (a, a]}$ , aniqlanmagan.
^ Masalan, intervallarning nisbati ${ displaystyle [0,1] / [0,1]}$ o'z ichiga oladi ${ displaystyle 0}$ ikkala intervalda ham, keyin ham ${ displaystyle 0/0}$ aniqlanmagan, ushbu intervallarni bo'linish natijasi aniqlanmagan.