Projektívny priestor

Pre lepšiu názornosť vytvoríme reálnu projektívnu rovinu P₂(R³). Existujú najmenej tri ekvivalentné definície pre túto rovinu:

1. Množina všetkých priamok v (reálnom 3D) priestore R³ prechádzajúcich cez počiatok (0,0,0). Každá taká priamka pretína sféru s polomerom jedna a stredom v počiatku práve dvakrát, povedzme v bode P = (x, y, z) a v protichodnom bode (-x, -y, -z).
2. P₂(R³) môže byť tiež opísaný pomocou bodov na sfére S², kde každý bod P a jeho protichodný bod nie sú rozdielne. Napríklad bod (1, 0, 0) (červený bod na obrázku) je stotožnený s (-1, 0, 0) (svetlo červený bod), atď.
3. Nakoniec, ešte ďalšou ekvivalentnou definíciou je, že P₂(R³) je množina tried ekvivalencie priestoru R³\(0, 0, 0), t. j. 3-rozmerného priestoru bez počiatku, kde body P = (x, y, z) a Pˈ = (xˈ, yˈ, zˈ) sú ekvivalentné vtedy a len vtedy, ak existuje nenulové reálne číslo λ také, že P = λ·Pˈ, inými slovami x = λxˈ, y = λyˈ, z = λzˈ. Zaužívaný spôsob, akým sa zapisuje prvok projektívnej roviny, t. j. trieda ekvivalencie príslušná danému prvku (x, y, z) v R³, je

[x : y : z].

Posledná formula sa zvykne uvádzať pod názvom homogénne súradnice.

Všimnime si, že každý bod [x : y : z] s z ≠ 0 je ekvivalentný s [x/z : y/z : 1]. Takže existujú dve disjunktné podmnožiny projektívnej roviny: tá, ktorá pozostáva z bodov [x : y : z] = [x/z : y/z : 1] pre z ≠ 0, a tá pozostávajúca zo zostávajúcich bodov [x : y : 0]. Tá druhá množina môže byť rozdelená podobne na dve disjunktné podmnožiny s bodmi [x/y : 1 : 0] a [x : 0 : 0]. V poslednom kroku, x je nevyhnutne nenulové, pretože počiatok nebol časťou P₂(R³). Teda bod je ekvivalentný s [1 : 0 : 0]. Geometricky, prvá podmnožina, ktorá je izomorfná (nie iba ako množina, ale tiež ako varieta, ako uvidíme neskôr) s R², je na obrázku žltá horná hemisféra (bez rovníka), alebo ekvivalentne dolná hemisféra. Druhá podmnožina, izomorfná s R¹, sa zhoduje so zelenou priamkou (bez tých dvoch vyznačených bodov), alebo, znova, ekvivalentne, so slabo zelenou priamkou. Konečne, ostal nám červený bod, alebo ekvivalentne, svetlo červený bod. Máme tak disjunktný rozklad

P₂(R³) = R² ⊔ R¹ ⊔ bod.

Je už intuitívne jasné a rozobrané podrobnejšie ďalej v texte, že R¹ ⊔ bod je reálna projektívna priamka P₁(R²). Ak sa o nej uvažuje ako o podmnožine P₂(R³), nazýva sa priamkou v nekonečne, kde R² ⊂ P₂(R³) sa nazýva afinná rovina, t. j. klasická rovina.

V ďalšom si objasníme obsah výroku: "rovnobežky sa pretínajú v nekonečne". Prirodzená bijekcia medzi rovinou z = 1 (ktorá pretína sféru na severnom póle N = (0, 0, 1)) a afinnou rovinou (t. j. spomínanou hornou hemisférou) vnútri projektívnej roviny je uskutočnená pomocou stereografickej projekcie, t. j. každý bod P na tejto rovine je zobrazený na bod, v ktorom sa pretína priamka prechádzajúca počiatkom a P so sférou. Preto dve priamky L₁ and L₂ (modré) na rovine sú zobrazené na niečo, čo vyzerá ako veľké kružnice (a teda protichodné body sú stotožnené). Veľké kružnice sa pretínajú presne na dvoch protichodných bodoch, ktoré sú v projektívnej rovine stotožnené, t. j. každé dve priamky sa pretínajú práve v jednom bode vnútri P₂(R³). Tento jav je axiomatizovaný a skúmaný v projektívnej geometrii.

Reálny projektívny priestor, P_n(Rⁿ⁺¹) je definovaný ako

P_n(Rⁿ⁺¹) := (Rⁿ⁺¹ \ {0}) / ~,

s reláciou ekvivalencie (x₀, ..., x_n) ~ (λx₀, ..., λx_n), kde λ je ľubovoľné nenulové reálne číslo. Podobne je to tiež množina všetkých priamok v Rⁿ⁺¹ prechádzajúcich počiatkom 0 := (0, ..., 0).

Namiesto R, môžeme zobrať akékoľvek pole, alebo dokonca teleso k. Pre komplexné čísla alebo kvaternióny tak napríklad dostaneme komplexný projektívny priestor P_n(Cⁿ⁺¹) a kvaterniónový projektívny priestor P_n(Hⁿ⁺¹). V algebrickej geometrii sa projektívny priestor obvykle označuje ako Pⁿ_k.

Ak je n jednotka alebo dvojka, nazýva sa tiež projektívnou priamkou alebo projektívnou rovinou. Komplexná projektívna priamka je tiež nazývaná Riemannovou sférou.

Tak, ako v špeciálnom prípade uvedenom hore, označenie (nazývane homogénne súradnice) pre bod v projektívnom priestore je

[x₀ : ... : x_n].

Všeobecnejšie, pre vektorový priestor V (nad nejakým poľom k, alebo ešte všeobecnejšie modul V nad nejakým telesom) je P(V) definované ako (V \ {0}) / ~, kde dva nenulové vektory v₁, v₂ z V sú ekvivalentné ak sa líšia len o nenulový skalár ?, t. j. ak v₁ = ?·v₂. Tento vektorový priestor nemusí byť konečne dimenzionálny, ako sa to používa napríklad v teórii projektívnych Hilbertových priestorov.

V teórii Alexandra Grothendiecka a špeciálne pri konštrukcii projektívnych fibrovaných priestorov (zvykne sa tiež používať pôvodné anglické pomenovanie bundle namiesto fibrovaný priestor), by sme chceli pridružiť projektívny priestor ku každému systému Y a každému kvázi-súdržnému snopu (angl. sheaf) E nad Y, nie iba k tým lokalne voľným. To sa dosiahne aplikovaním vyššie načrtnutých konštrukcií na duálny priestor V*. Viac detailov sa dá nájsť v pojednaní Éléments de géométrie algébrique_II, kapitola II, odsek 4.

Reálna projektívna priamka ako varieta

Z prv uvedenej definície vyplýva, že projektívny priestor tvorí množinu. Pre účely diferenciálnej geometrie, ktorá narába s varietami, je užitočné priradiť tejto množine štruktúru (reálnej alebo komplexnej) variety.

Zjednotenie podmnožín: ${\displaystyle U_{i}=\{[x_{0}:\cdots :x_{n}],x_{i}\neq 0\},i=0,\dots ,n}$ tvorí podľa definície projektívneho priestoru celý projektívny priestor. Ďalej U_i tvorí bijekciu s Rⁿ (alebo Cⁿ) vzťahom

${\displaystyle [x_{0}:\cdots :x_{n}]\mapsto \left({\frac {x_{0}}{x_{i}}},\dots ,{\widehat {\frac {x_{i}}{x_{i}}}},\dots ,{\frac {x_{n}}{x_{i}}}\right)}$

${\displaystyle [y_{0}:\cdots :y_{i-1}:1:y_{i+1}:\cdots y_{n}]\leftarrow (y_{0},\dots ,{\widehat {y_{i}}},\dots y_{n})}$

(tá strieška značí, že i-ty prvok chýba).

Obrázok ukazuje P₁(R²). (Antipódne body v P₁(R²) sú stotožnené). Je pokrytá dvoma kópiami reálnej priamky R a každá z nich pokrýva celú projektívnu priamku, okrem jedného bodu, ktorý je pomenovaný ako bod v nekonečne.

Topológiu na projektívnom priestore zadefinujeme tak, že tieto zobrazenia (mapy) vyhlásime za homeomorfizmus (nepliesť si s homomorfizmom), čo znamená, že podmožinu množiny U_i nazveme otvorenú vtedy a len vtedy, ak jej obraz (obor hodnôt) podľa už uvedeného izomorfizmu je otvorená podmnožina množiny Rⁿ (vo zvyčajnom zmysle slova). Ľubovoľná podmnožina A z P_n(Rⁿ⁺¹) je otvorená ak všetky prieniky A ∩ U_i sú otvorené. To definuje topologický priestor.

Prv uvedenými zobrazeniami je vymedzená tiež štruktúra hľadanej variety.

Ďalší spôsob, ako si možno predstaviť projektívnu priamku

Iný spôsob, akým možno premýšľať o projektívnej priamke je nasledujúci: urob dve samostatné kópie afinnej priamky so súradnicami x a y (v tomto poradí) a zlep ich spolu pozdĺž podmnožín x ≠ 0 a y ≠ 0 pomocou zobrazenia

${\displaystyle x\mapsto {\frac {1}{x}},\,y\mapsto {\frac {1}{y}}.}$

Vzniknutá varieta je projektívna priamka. Schéma tejto konštrukcie je rovnaká ako tá, ktorá už bola uvedená vyššie. Podobný spôsob zobrazenia existuje aj pre viacrozmerné projektívne priestory.

Už uvedený rozklad na disjunktné podmnožiny je chápaný vo všeobecnosti takto:

P_n(Rⁿ⁺¹) = Rⁿ ⊔ R^n-1 ⊔ ${\displaystyle \cdots }$ ⊔ R¹ ⊔ R⁰.

Tento takzvaný rozklad na členy sa môže použiť na vypočítanie singulárnej kohomológie projektívneho priestoru.

Všetko, čo bolo napísané, platí samozrejme aj pre komplexné projektívne priestory. Komplexná projektívna priamka P₁(C²) je príklad Riemannovej sféry.

Obsiahnutie pomocou uvedených otvorených podmnožín tiež ukazuje, že projektívny priestor je algebrická varieta (alebo tiež schéma): je obsiahnuta pomocou n + 1 afinných n-priestorov. Konštrukcia projektívnej schémy je príklad Proj konštrukcie.

Príklad pre Bézoutov teorém

Projektívne priestory majú oproti afinným priestorom určité výhody (napr. P_n(Cⁿ⁺¹) vs. Rⁿ). Preto je užitočné vedieť, kedy je daná varieta projektívna, t. j. kedy sa vnára do (je uzavretá podmnožina) projektívneho priestoru. (Veľmi) rozsiahle fibrované priestory priamok sú vytvorené na riešenie tejto otázky.

• Projektívny priestor je kompaktný topologický priestor, afinný priestor taký nie je. V tejto súvislosti sa uvádza Liouvillov teorém, ktorý ukazuje, že každá holomorfná funkcia na P_n(Cⁿ⁺¹) je konštanta. Ďalší dôsledok je, že napríklad integrácia funkcií alebo diferenciálnych foriem na Pⁿ neprináša konvergujúce výsledky.
• Na komplexnej projektívnej variete X, grupy kohomológií koherentných snopov F
  H^∗(X, F)
  je konečne generovaná. (Príklad hore je ${\displaystyle H^{0}}$(P_n(Cⁿ⁺¹), ${\displaystyle {\mathcal {O}})}$, nultá kohomológia snopu holomorfických funkcií). V reči algebrickej geometire je projektívny priestor vlastný. Všetky spomenuté výsledky platia aj v týchto súvislostiach.
• Pre komplexný projektívny priestor, každá komplexná podvarieta X ⊂ P_n(Cⁿ⁺¹) (t. j., varieta vystrihnutá pomocou holomorfných rovníc) je nevyhnutne aj algebrickou varietou (t. j. určená polynomickými rovnicami). To sa nazýva Chowov teorém. Vďaka nemu možno použiť algebricko-geometrické metódy priamo aj pre tieto ad hoc analyticky definované objekty.
• Ako bolo naznačené vyššie, priamky v P² či všeobecnejšie hyperroviny v Pⁿ sa vždy pretínajú. Toto možno zovšeobecniť aj na nelineárne objekty: vhodne definujúc stupeň algebrickej krivky, ktorý je v podstate stupeň polynómov potrebných na definovanie krivky (pozri Hilbertov polynóm), stane sa pravdou (nad algebricky uzavretým telesom k), že každé dve projektívne krivky C₁, C₂ ⊂ P_kⁿ stupňa e a f sa pretínajú presne v e·f bodoch, spočítajúc ich s viacnásobnými priesečníkmi (pozri Bézoutov teorém). Takto sa to používa napríklad pri definovaní grupovej štruktúry bodov eliptickej krivky, akou je napríklad y² = x³-x+1. Stupeň eliptickej krivky je 3. Uvažujme priamku x = 1, ktorá sa pretína s krivkou (vnútri afinného priestoru) presne dvakrát, menovite v (1,1) a v (1,-1). Potom je projektívny uzáver krivky vnútri P² určený homogénnou rovnicou
  y²·z = x³-x·z²+z³,
  ktorá pretína priamku (určenú vnútri P² rovnicou x = z) v troch bodoch: [1: 1: 1], [1: -1: 1] (ktoré sa zhodujú s dvoma už vyššie spomenutými bodmi) a [0: 1: 0].
• Každá projektívna algebrická grupa, t. j. projektívna varieta, ktorej body tvoria abstraktnú grupu, je nevyhnutne aj abelovská varieta, t. j. grupová operácia je komutatívna. Eliptická krivka je príklad abelovskej variety. Komutativita zlyháva pre neprojektívne algebrické grupy, akou je napríklad GL_n(k) (všeobecná lineárna grupa).

Projektívny priestor S môže byť definovaný abstraktne ako množina P (množina bodov) zjednotená s množinou podmnožín P (množinou priamok), ktorá je v súlade s axiómami:

• Každé dva body p and q, ktoré nie sú totožné, ležia presne na jednej priamke.
• Veblenov axióm: Ak a, b, c, d nie sú rozdielne body a priamky ab a cd sa pretínajú, potom majú túto vlastnosť aj priamky ac a bd.
• Každá priamka prechádza najmenej troma bodmi.

Posledný axióm nahrádza redukovateľné prípady, ktoré môžu byť napísané ako disjunktné zjednotenie projektívnych priestorov s 2-bodovými priamkami spájajúcimi akékoľvek dva body v disjunktných projektívnych priestoroch.

Podpriestor projektívneho priestoru je taká podmnožina X, že každá priamka obsahujúca dva body z X je podmnožina X. Tiež celý priestor a prázdny priestor sú podpriestory.

Geometrický rozmer priestoru za zvykne udávať ako n ak je to najväčšie číslo, pre ktoré existuje čiste stúpajúca postupnosť podmnožín v tejto forme:

${\displaystyle \varnothing =X_{-1}\subset X_{0}\subset \cdots X_{n}=P.}$

Klasifikácia

Fanova rovina

• Dimenzia 0 (žiadne priamky) Priestor tvorí jediný bod.
• Dimenzia 1 (Presne jedna priamka) Všetky body ležia na jedinej priamke.
• Dimenzia 2 (Najmenej 2 priamky a každé dve priamky sa pretínajú) Definícia projektívneho priestoru s číslom n = 2 je ekvivalentná s definíciou projektívnej roviny. Tieto sa ťažšie klasifikujú, keďže nie všetky sú izomorfné s PG(d, K). Desarguesovské roviny, pre ktoré platí Desarguesova veta, sú projektívne roviny nad telesom, ale existuje aj mnoho rovín, ktoré nie sú Desarguesovské.
• Dimenzia 3 a viac (2 nepretínajúce sa priamky) Veblena a Young (1965) dokázali Veblenov-Youngov teorém, ktorý hovorí, že ak je dimenzia n ≥ 3, každý projektívny priestor je izomorfný s PG(n, K), t. j. s n-rozmerným projektívnym priestorom nad nejakým telesom K.

Najmenšia projektívna rovina je Fanova rovina, PG[2,2] so 7 bodmi a 7 priamkami.

Injektívne lineárne zobrazenia T ∈ L(V,W) medzi dvoma vektorovými priestormi V a W nad nejakým poľom k indukujú zobrazenia korešpondujúcich projektívnych priestorov predpisom

${\displaystyle \mathbb {P} (V)\rightarrow \mathbb {P} (W),[\mathbf {v} ]\mapsto [T(\mathbf {v} )],}$

kde v je nenulový prvok z V a […] označuje triedy ekvivalencie vektora. Keďže sa členy triedy ekvivalencie líšia o skalárny člen a lineárne zobrazenia zachovávajú skalárne členy, toto zobrazenie je dobre definované. (Ak T nie je injektívne, jeho jadro (niekedy sa tiež zvykne uvádzať pojem nulový priestor namiesto jadro) je väčšie než {0}; v tomto prípade je význam triedy T(v) problematický, ak je v nenulové a je prvkom jadra a získame takzvané racionálne zobrazenie.

Dve lineárne mapy S a T z L(V,W) tvoria rovnaké zobrazenie medzi P(V) a P(W) vtedy a len vtedy, ak sa líšia len o skalárny násobok, t. j. ak T=λS, kde λ ≠ 0. Ak stotožníme skalárne násobky identického zobrazenia s poľom, nad ktorým sa počíta, množina k-lineárnych morfizmov z P(V) do P(W) je jednoducho P(L(V,W)).

• Tento článok je čiastočný alebo úplný preklad článku Projective space na anglickej Wikipédii.