Esfera de Riemann

manera de representar el pla dels nombres complexos sobre una esfera

En matemàtiques, l'esfera de Riemann (o pla complex estès), que pren el nom del matemàtic del segle xix Bernhard Riemann,[1] és una esfera que s'obté a partir del pla complex afegent-hi un punt a l'infinit. L'esfera és la representació geomètrica de l'extensió dels nombres complexos , que consisteix en els nombres complexos juntament amb el símbol que representa l'infinit.

L'esfera de Riemann es pot imaginar com el pla complex embolcallant una esfera (amb un tipus de projecció estereogràfica).

Aquesta extensió dels nombres complexos és útil en anàlisi complexa perquè permet la divisió per zero en certes condicions, d'una manera que fa que igualtats com tinguin un bon comportament. Per exemple, qualsevol funció racional del pla complex es pot estendre a una funció contínua a l'esfera de Riemann, en la qual la imatge dels pols de la funció racional és l'infinit. En general, qualsevol funció meromorfa es pot entendre com una funció contínua el codomini de la qual és l'esfera de Riemann.

En geometria, l'esfera de Riemann és l'exemple prototípic d'una superfície de Riemann i és una de les varietats complexes més simples. En geometria projectiva, l'esfera pot veure's com la recta projectiva complexa , l'espai projectiu format per totes les rectes complexes de . Com la resta de superfícies de Riemann compactes, l'esfera també es pot obtenir com a corba algebraica projectiva, que serveix com a exemple fonamental en la geometria algebraica. També té utilitat en altres disciplines que depenen de l'anàlisi i la geometria, com ara la mecànica quàntica i altres branques de la física.

Com a extensió dels nombres complexos

modifica

Definició

modifica

L'esfera de Riemann és el conjunt   amb les propietats usuals dels nombres complexos i, a més, les propietats algebraiques relacionades amb l'infinit que s'exposen tot seguit.[2] Per qualsevol nombre complex  :

  1.  
  2. si  , aleshores  
  3. si  , aleshores   i  

Noció de l'infinit

modifica

En el sentit complex es fa servir tan sols un infinit, denotat pel signe  . No passa com en el cas real, en què hi ha un «menys infinit», sinó que   i infinit és, en general, el límit dels nombres complexos quan el seu mòdul creix il·limitadament.

L'infinit es defineix de manera que es puguin tractar algebraicament els conceptes de límit a l'infinit, límit igual a infinit i la combinació dels dos anteriors (límit a l'infinit igual a infinit). Així, amb la definició donada, es poden aplicar regles com «límit de la suma = suma dels límits» (o anàlogament amb el producte i la divisió) sempre que les operacions estiguin definides. Per exemple, si   i  , llavors  . En canvi, si tant   com   tenen límit   no es pot aplicar la regla ja que l'operació   no està definida, i s'haurà d'estudiar el límit més detingudament.[2] Intuïtivament, l'infinit és l'horitzó del pla complex.

Funcions racionals

modifica

Qualsevol funció racional f(z) = g(z)/h(z) es pot estendre a una funció contínua a l'esfera de Riemann. Per fer-ho, si   és un nombre complex tal que el denominador   és zero però el numerador   és diferent de zero, es defineix   com ∞ (si tant el numerador com el denominador són zero, llavors comparteixen un factor comú i es pot simplificar la fracció). A més, es defineix f(∞) com el límit de f(z) quan z → ∞, que pot ser finit o infinit.

Per exemple, donada la funció

 

es defineix f(5) = ∞, ja que el denominador és zero quan z = 5, i f(∞) = 3, ja que f(z) → 3 quan z → ∞. Amb aquestes definicions, f esdevé una funció contínua de l'esfera de Riemann a si mateixa.

Quan es mira com a varietat complexa, aquestes funcions racionals són, de fet, funcions holomorfes de l'esfera de Riemann a si mateixa.

Com a varietat complexa

modifica

Com a varietat complexa uni-dimensional, es pot descriure l'esfera de Riemann a partir de dues cartes, totes dues amb el pla dels nombres complexos   com a domini. Sigui   un nombre complex en una còpia de  , i sigui   un nombre complex en una altra còpia de  . Identifiqui's cada nombre complex no-zero   del primer   amb el nombre complex diferent a zero   del segon  . Llavors s'anomena funció de transició a la funció

 

entre les dues còpies de   — les anomenades cartes— que les enganxa l'una amb l'altra. Com que les funcions de transició són holomorfes, defineixen una varietat complexa, anomeanda l'esfera de Riemann. Com a varietat complexa d'1 dimensió complexa (és a dir de dues dimensions reals), també se l'anomena una superfície de Riemann.

De forma intuïtiva, les funcions de transició indiquien com enganxar dos plans l'un amb l'altre per forma una esfera de Riemann. ELs plans s'enganzen de dins a fora, de forma que se solapen gairebé pertot, cada pla contribuint en un sol punt (el seu origen) que falta en l'altre pla. En altres paraules, (gairebé) tots els punts d'una esfera de Riemann tenen tant un valor   i un valor  , i els dos valors estan relacions mitjançant  . El punt on   hauria doncs de tenir valor   " "; en aquest sentit, l'origen de la carta   fa el paper de   en la carta  . Simètricament, l'origen de la carta   fa el paper de   en la carta  .

Topològicament, l'espai resultant és una compactificació d'un punt d'un pla en una esfera. Tanmateix, l'esfera de Riemann no és merament una esfera topològica. És una esfera amb una estructura complexa ben definida, de tal forma que al voltant de tot punt de l'esfera hi ha un veïnat que pot ser identificat biholomòrficament amb  .

D'altra banda, el teorema d'uniformització, un resultat central en la classificació de superfícies de Riemann, afirma que tota superfície de Riemann simplement connexa és biholomòrfica al pla complex, al pla hiperbòlic o a l'esfera de Riemann. D'aquests espais, l'esfera de Riemann és l'únic que és una superfície tancada (una superfície compacta sense frontera). Així doncs, l'esfera bidimensional admet una estructura complexa única fet que al converteix en una varietat complexa unidimensional.

Com a recta projectiva complexa

modifica

També es pot definir l'esfera de Riemann com la recta projectiva complexa. Els punts de la recta projectiva complexa són classes d'equivalència establertes a través de la següent relació en punts de  : Si per algun  ,   i  , llavors  .

En aquest cas, s'escriu la classe d'equivalència com   utilitzant coordenades homogènies. Donat un punt qualsevol   en la recta projectiva complexa,   o   ha de ser diferent de zero, per exemple  . Llavors, per la relació d'equivalència,  , que es troba en una carta de la varietat esfera de Riemann.[3]

Aquest enfocament de l'esfera de Riemann connecta amb la geometria projectiva. Per exemple, qualsevol recta (o cònica infinitament diferenciable) en el pla projectiu complex és biholomòrfic a la recta projectiva complexa. Aquest enfocament també és convenient per estudiar els automorfismes, més endavant en aquest article.

Com a esfera

modifica
 
Projecció esterogràfica d'un nombre complex A en un punt α de l'esfera de Riemann

Es pot visualitzar l'esfera de Riemann com l'esfera unitària   en l'espai real tri-dimensional  . Així doncs, consideri's la projecció estereogràfica de l'esfera unitària menys el punt   en el pla  , que d'identifica amb el pla complex com  . En coordenades cartesianes   i coordenades esfèriques   en l'esfera (amb   el zenit i   l'azimut), la projecció és

 

Similarment, s'escriu la projecció esterogràfica de   al pla  , identificat com una altra còpia del pla complex com  , com

 

Per tal de cobrir l'esfera unitària, calen les dues projeccions estereogràfiques: la primerea cobrirà l'esfera completa excepte el punt   i la segona excepte el punt  . Per tant, es necessiten dos plans complexos, un per a cada projecció, que es poden veure intuïtivament com enganxades esquena amb esquena en el punt  . Noti's que els dos plans complexos s'identifiquen de forma diferent amb el pla  . Cal una reversió en l'orientabilitat per mantenir una orientació consistent en l'esfera, i en particular la conjugació complexa fa que les transformacions de transició siguin holomòrfiques.

Les transformacions de transició entre les coordenades   i les coordenades   s'obtenen component una projecció amb l'inversa de l'altra. En particular són   i  , com s'ha descrit més amunt. Per tant, l'esfera unitària és difeomòrfica a l'esfera de Riemann.

Sota aquest difeomorfisme, el cercle unitari en la carta  , el cercle unitari en la carta  , i l'equador de l'esfera unitària són el mateix. El disc unitari   s'identifica amb l'hemisferi sud  , mentre que el disc unitari   s'identifica com l'hemisferi nord  .

Automorfismes

modifica
 
Una transformació de Möbius actuant sobre l'esfera, i en el pla a través de la projecció estereogràfica

En l'estudi de qualsevol objecte matemàtic és útil entendre bé el seu grup d'automorfismes, és a dir de les funcions que van de l'objecte a ell mateix i que preserven l'estructura essencial de l'objecte. En el cas de l'esfera de Riemann, un automorfisme és una transformació conforme invertible (és a dir una transformació biholomòrfica) de l'esfera de Riemann a ella mateixa. Resulta que les úniques transformacions que existeixen d'aquest tipus són les transformacions de Möbius. Són funcions de la forma

 

on  ,  ,  , i   són nombres complexos tals que  . Exemples de transformacions de Möbius inclouen l'escalat, la rotació, la translaciós, i la inversió complexa. De fet, qualsevol transformació de Möbius es pot escriure com una composició d'aquestes transformacions.

Les transformacions de Möbius són homografies en la recta projectiva complexa. En coordenades homogènies, es pot escriure la transformació f com

 

Per tant es poden descriure les transformacions de Möbius com matrius complexes de dos per dos amb determinant no zero. Com que actuen en coordenades projectives, dues matrius corresponen a la mateixa transformació de Möbius si i només si difereixen d'un factor diferent a zero. El grup de transformacions de Möbius és un grup lineal projectiu  .

Si s'equipa l'esfera de Riemann amb la mètrica de Fubini–Study, llavors no totes les transformacions de Möbius són isometries; per exemple, els escalats i les translacions no ho són. Les isometries formen un subgrup propi de  , és a dir  . Aquest subgrup és isomòrfic amb el grup de rotació  , que és el grup de les simetries d'esferes unitàries en  .

Aplicacions

modifica

En anàlisi complexa, una funció meromòrfica en el pla complex (o en una superfície de Riemann) és un ràtio   de dues funcions holomòrfiques   i  . Com a funció als nombres complexos, és indefinida sempre que   val zero. Tanmateix, indueix una aplicació holomòrfica   a la recta projectiva complexa que està ben definida fins i tot quan  . Aquesta construcció és útil en l'estudi de funcions holomòrfiques i meromòrfiques. Per exemple, en una superfície compacta de Riemann, no hi ha funcions holomòrfiques no constants als nombres complexos, però hi abunden les funcions holomòrfiques a la recta projectiva complexa.

L'esfera de Riemann té moltes aplicacions en física. En mecànica quàntica, els punts en la recta projectiva complexa són valors naturals d'estats de polarització de fotons, estats d'espín de partícules subatòmiques de massa d'espín  , i partícules de 2 estats en general (vegeu també qbit i esfera de Bloch). S'ha proposat l'esfera de Riemann com a model relativista de l'esfera celeste.[4] En teoria de cordes, la superfície de l'univers de cordes són superfícies de Riemann, i l'esfera de Riemann, que és la superfície de Riemann més simple, juga en paper important. També és important en la teoria de Twistors.

Referències

modifica
  1. B. Riemann: Theorie der Abel'sche Funktionen, J. Math. (Crelle) 1857; Werke 88-144. The name is due to Neumann C :Vorlesungen über Riemanns Theorie der Abelsche Integrale, Leipzig 1865 (Teubner)
  2. 2,0 2,1 Beck, Matthias [et al.].. A First Course in Complex Analysis (PDF) (en anglès), p. 29-30 [Consulta: 3 març 2012]. 
  3. William Mark Goldman (1999) Complex Hyperbolic Geometry, page 1, Clarendon Press ISBN 0-19-853793-X
  4. R. Penrose. The Road to Reality. Vintage books, 2007, p. 428–430 (§18.5). ISBN 0-679-77631-1. 

Bibliografia

modifica

Vegeu també

modifica

Enllaços externs

modifica