Riemannova sfera: Razlika med redakcijama

Izbrisana vsebina Dodana vsebina
Addbot (pogovor | prispevki)
m Bot: Migracija 23 interwikija/-ev, od zdaj gostuje(-jo) na Wikipodatkih, na d:q825857
m m/dp/slog
Vrstica 1:
[[Slika:Stereographic projection in 3D.png|thumb|right|200px|Riemannovo sfero sise lahko predstavljamopredstavlja kot [[kompleksna ravnina|kompleksno ravnino]] napeto okrog [[kroglasfera|kroglesfere]] s kakšno vrsto [[stereografska projekcija|stereografske projekcije]]]]
[[Slika:RiemannKugel.jpg|thumb|right|200px|Riemannova sfera z nekaterimi značilnimi točkami]]
[[Slika:Riemannova koule.png|thumb|right|200px|Prikaz projekcije kompleksnega števila <math>z\, </math> s kompleksne ravnine v točko <math>z'\, </math> na Riemannovi sferi]]
[[Slika:BMonSphere.jpg|thumb|right|200px|[[Brownovo gibanje]] na 2-sferi - Riemmannovi sferi]]
 
'''Riemannova sfera''' je v [[matematika|matematiki]] [[Riemannova ploskev]], razširjena na [[kompleksna ravnina|kompleksni ravnini]]:
 
: <math> \widehat{\mathbb{C}}=\mathbb{C}\cup\{\infty\} \!\, , </math>
 
ki se pojavlja kot kompleksna [[projektivna premica]], kot [[razsežnost|enorazsežni]] [[projektivni prostor]] <math>\C\mathbb{CPP}^{1}</math>. Z Riemannovo sfero se lahko razširimorazširi [[ravnina|ravnino]] [[kompleksno število|kompleksnih števil]] z dodatno [[točka v neskončnosti|točko v neskončnosti]], s katero se izrazi kot je na primer:
 
: <math> \frac{1}{0} = \infty \!\, </math>
 
lepo obnašajo in so v nekaterih smislih uporabni. Sfera se imenuje po [[Bernhard Riemann|Bernhardu Riemannu]]. [[topologija|Topološko]] je kot [[mnogoterost]] [[difeomorfizem|difeomorfna]] dvorazsežni [[sfera|sferi]] <math>S^{2}\, </math>. Imenuje se tudi '''kompleksna projektivna premica''' ali '''razširjena kompleksna ravnina'''. Redkeje, predvsem v nemški literaturi, se imenuje tudi ''Riemannova številska krogla''.
 
Na čisto [[algebra|algebrski]] ravni kompleksna števila z dodatnim elementom v neskončnosti tvorijo množico razširjenih kompleksnih števil. Računanje z neskončnostjo ne sledi običajnim algebrskim pravilom in zaradi tega razširjena komplesna števila ne tvorijo [[obseg (algebra)|obseg]]. Vendar se Riemannova sfera geometrično in analitično vede lepo celo blizu neskončnosti, saj je enorazsežna [[kompleksna mnogoterost]] (Riemannova ploskev).
Vrstica 20:
== Riemannova sfera kot kompleksna mnogoterost ==
 
Kot enorasežno kompleksno mnogoterost se lahko Riemannovo sfero opišemoopiše z dvema kartama z enako [[definicijsko območje|domeno]] kot kompleksna ravnina <math>\mathbb{C}\, </math>. Naj sta <math>\zeta</math> in <math>\xi</math> kompleksni koordinati na <math>\mathbb{C}\, </math>. PovežemoPoveže se neničelna kompleksna števila <math>\zeta\, </math> z neničelnimi kompleksnimi števili <math>\xi\, </math> s pomočjo [[atlas (topologija)|prehodnih preslikav]]:
 
: <math>\zeta = 1 / \xi \!\, ,</math>
Vrstica 27:
Ker so prehodne preslikave [[holomorfna funkcija|holomorfne]], določajo kompleksno mnogoterost, ravno Riemannovo sfero.
 
[[intuicija|Intuitivno]] prehodne preslikave nakazujejo kako zlepiti dve ravnini skupaj, da tvorijatvorita Riemannovo sfero. Ravnini sta zlepljeni na način »od znotraj navzven«, tako da se skoraj povsod prekrivata, vsaka od ravnin pa ima točko (svoje izhodišče), ki je druga nima. Rečeno drugače, (skoraj) vsaka točka na Riemannovi sferi ima obe vrednosti, <math>\zeta\, </math> in <math>\xi\, </math>, obe vrednosti pa sta povezani z izrazom <math>\zeta = 1 / \xi\, </math>. Točka, kjer je <math>\xi = 0\, </math>, mora potem imeti vrednost <math>\zeta\, </math>, ki je »<math>1 / 0\, </math>«. V tem smislu izhodišče karte <math>\xi\, </math> igra vlogo »<math>\infty\, </math>« v karti <math>\zeta\, </math>. [[simetrija|Simetrično]] igra izhodišče karte <math>\zeta\, </math> vlogo <math>\infty\, </math> glede na karto <math>\xi\, </math>.
 
Topološko je prostor, ki nastane, enotočkovna zgostitev ravnine na sfero. Riemannova sfera pa ni zgolj topološka sfera. Je sfera z dobro določeno kompleksno strukturo, tako da okoliokrog vsake točke obstaja okolica, ki jo je moč biholomorfno poistovetiti s <math>\mathbb{C}\, </math>.
 
Na drugi strani izrek o uniformizaciji, temeljnem pojmu klasifikacije Riemannovih ploskev, pravi, da so edine enostavno povezane enorazsežne kompleksne mnogoterosti kompleksna ravnina, [[hiperbolična ploskev]] in Riemannova sfera. Od teh je edino Riemannova sfera [[zaprta mnogoterost|zaprta ploskev]] (kompaktna ploskev brez meje). Zaradi tega dvorazsežna sfera dovoljuje, da se lahko edina kompleksna struktura pretvori v enorazsežno kompleksno mnogoterost.