Spațiul proiectiv

De la Wikipedia, enciclopedia liberă.
Salt la navigare Salt la căutare

În geometrie , spațiul proiectiv este spațiul obținut dintr-un spațiu euclidian (de exemplu, linia sau planul ) prin adăugarea „punctelor la infinit”. În funcție de dimensiune, vorbim, așadar, despre o linie proiecțională , un plan proiectiv etc.

Spațiul proiectiv a fost introdus în secolul al XVI-lea pentru a modela spațiul văzut de ochiul uman, în studiile perspectivei . Din punct de vedere geometric, este un spațiu care are numeroase avantaje față de cel euclidian sau similar : în spațiul proiectiv există mai puține „cazuri particulare” de luat în considerare (de exemplu, în plan două linii se intersectează întotdeauna) și multe conceptele profunde sunt exprimate într-un mod mai concis și elegant.

Definiții

Arată spre infinit

Este Spațiul euclidian -dimensional. De exemplu, pentru acesta este pur și simplu planul cartezian . Un „punct la infinit” este direcția indicată de o linie în spațiu și de toate liniile paralele cu aceasta. Deci, două linii definesc același punct la infinit dacă și numai dacă sunt paralele .

Spațiul proiectiv -dimensional este uniunea dintre și toate „punctele sale către infinit”.

În acest moment, multe concepte geometrice obișnuite pot fi extinse la spațiul proiectiv. Va rezulta, de exemplu, că două linii drepte ale aceluiași plan se intersectează întotdeauna: dacă au aceeași direcție (adică erau paralele înainte de lărgire), punctul lor de intersecție este cel la infinit.

Linii care trec prin origine

Spațiul proiectiv este spațiul văzut de un ochi.

Cu toate acestea, o definiție precum cea care tocmai a fost dată are defectul de a trata punctele la infinit ca „puncte speciale”, în timp ce filosofia geometriei proiective este aceea de a nu distinge aceste puncte de celelalte în vreun fel. De fapt, putem vorbi fie despre o mărire proiectivă a unui spațiu afin (spațiul proiectiv se obține prin adăugarea punctelor la infinit), fie mai ușor se folosește următoarea definiție.

Spațiul proiectiv -dimensional este definit ca setul de linii din trecând prin origine.

Intuitiv, este spațiul care vede un ochi poziționat în origine. Această definiție descrie clar relația cu perspectiva .

Câmp arbitrar

Definițiile tocmai date pot fi extinse la cazul în care spațiul de pornire este un spațiu vector pe un câmp arbitrare, cum ar fi cea a numerelor reale sau complexe . Această extensie este utilă, deoarece multe teoreme de geometrie proiectivă sunt mai puternice și mai elegante dacă câmpul de bază este închis algebric ca complexele.

Spațiul proiectiv -dimensional despre este definit ca setul de linii drepte care trec prin originea în . Acesta este,

unde este este relația de echivalență care identifică două puncte dacă și numai dacă sunt pe aceeași linie care trece prin origine, adică dacă și numai dacă sunt multiple:

pentru unii .

De exemplu, Și sunt multiple și, prin urmare, dau naștere aceluiași punct.

În restul acestei intrări, se presupune că spațiul proiectiv este definit în acest fel, în funcție de un câmp .

Invarianți

Omografele sunt grupul fundamental al geometriei proiective. [1]

Sunt proprietăți proiective:

  • să fie sub- spații liniare cu o anumită dimensiune,
  • proprietățile incidenței,
  • raportul încrucișat de patru puncte.

Absolutul este cercul imaginar la infinit , în coordonate omogene , acesta este locusul punctelor ciclice prin care trec toate și numai sferele (suprafețe quadric sferice) ale spațiului proiectiv. [1]

Subspatii

Definiție

Deoarece un spațiu proiectiv este imaginea unui spațiu vector prin proiecție

induse de relația de echivalență, multe noțiuni de spații vectoriale sunt transferate fără probleme în spațiul proiectiv.

Un subspatiu proiectiv al este definit ca imagine a unui subspatiu vectorial din prin .

Dimensiunea subspațiului proiectiv este definit ca

În geometrie, codimensiunea unui sub spațiu este în general definită ca dimensiunea spațiului care îl conține minus cea a subspaiului: rezultă că Și au aceeași codimensiune

Un hiperplan proiectiv este un subspatiu al unuia de codimensiune.

Având în vedere două subspatii Și , puteți defini intersecția și suma subspaiilor într-un mod similar, ca imagini prin a intersectiei subspatiilor si suma in .

Formula lui Grassmann

Una dintre proprietățile de bază valabile într-un spațiu proiectiv, moștenit din spațiile vectoriale , dar care nu este valabilă într-un spațiu afin , este formula Grassmann pentru subspatii. Având în vedere două subspatii Și , adică egalitatea se menține

unde vrem să spunem că punctul are dimensiunea 0 (ca întotdeauna) și setul gol are dimensiunea .

Linii paralele

Ca o consecință a formulei lui Grassmann, două linii drepte în plan se intersectează întotdeauna. Intr-adevar

atâta timp cât are dimensiune cel mult 2 (fiecare sub spațiu al planului are dimensiune cel mult 2 și 2 numai dacă este întregul plan).

Coordonate omogene și hărți conexe

Coordonate omogene

Pictogramă lupă mgx2.svg Același subiect în detaliu: coordonate omogene .

Fiecare punct al spațiului proiectiv este o clasă de echivalență a punctelor în . Așa cum este obișnuit în matematică, o clasă de echivalență este descrisă între paranteze drepte: în acest fel,

definește clasa căreia îi aparține vectorul . Din motive de scurtă durată, această clasă este indicată cu

Această expresie între paranteze pătrate definește coordonatele omogene ale punctului. Doi vectori de coordonate determină aceeași clasă (adică același punct)

dacă și numai dacă sunt multipli ai celuilalt, adică dacă există un în astfel încât pentru fiecare .

Puncte necorespunzătoare

Cu coordonate omogene este posibil să se recupereze definiția inițială a spațiului proiectiv ca spațiu afin la care se adaugă puncte. Doar definiți ca subset format din puncte astfel încât . Fiecare punct din este scris ca

în mod unic și, prin urmare, prin intermediul funcției

definim o corespondență unu-la-unu între și spațiul afin . Punctele spațiului proiectiv care nu se află în în acest context au rolul de „puncte la infinit”. Fiecare dintre aceste puncte este de tipul

și funcție

definește o corespondență unu-la-unu între punctele de la infinit și spațiul proiectiv mai mică decât una ca mărime. Prin urmare, „punctele la infinit” de exemplu ale planului proiectiv formează o linie proiectivă, numită linie infinită sau linie necorespunzătoare . Într-o dimensiune arbitrară, vorbim despre un hiperplan necorespunzător .

Hărți și atlas

Aceeași descriere este fezabilă pentru fiecare definire ca ansamblu de puncte ale căror -a coordonată este diferită de zero. Pentru fiecare obținem astfel un hiperplan necorespunzător și o carte afină diferită .

Denumirea de „hârtie” provine de la următoarea proprietate: uniunea de este întregul spațiu, prin urmare hărțile „acoperă” întregul spațiu proiectiv, în timp ce fiecare dintre ele descrie doar o parte din acesta, la fel ca hărțile geografice .

Pentru hărțile pot fi asociate , care fac o varietate diferențiată. Setul de cupluri

se numește atlas afin.

Hărțile sunt, în mod trivial, rafinamentele : de exemplu, punctul , este trimis prin în

Definiție mai abstractă

Spațiul proiectiv poate fi definit într-un mod analog pornind de la orice spațiu vectorial pe un câmp :

Spațiul proiectiv asociat cu este definit ca setul de linii drepte care trec prin originea în . Acesta este,

unde este

pentru unii .

În acest context, definiția dată mai sus corespunde cazului în care . În general, spațiul poate avea și o dimensiune infinită.

Există un instrument similar cu bazele care vă permite să atribuiți fiecărui punct de coordonate omogene , în caz au dimensiuni finite . În ceea ce privește spațiile vectoriale, nu există un mod univoc de atribuire a acestor coordonate: acestea depind de alegerea unei referințe proiective , analogul proiectiv al bazelor.

Notă

  1. ^ a b Ugo Amaldi, Puncte ciclice , enciclopedie italiană, 1931.

Elemente conexe

linkuri externe

Controlul autorității Thesaurus BNCF 27871 · LCCN (RO) sh85107383 · BNF (FR) cb122863779 (data)
Matematica Portalul de matematică : accesați intrările Wikipedia care se ocupă de matematică