Rozmaitość pseudoriemannowska
Rozmaitość pseudoriemannowska (przestrzeń pseudoriemannowska) – uogólnienie rozmaitości riemannowskiej: tensor metryczny może tu być zarówno określony dodatnio, jak i nieokreślony, przy czym element liniowy poprzez odpowiedni wybór współrzędnych krzywoliniowych można sprowadzić – przynajmniej lokalnie, tj. w otoczeniu każdego punktu – do postaci diagonalnej
gdzie:
- – współrzędne tensora metrycznego w otoczeniu punktu
- – współrzędne wektora łączącego dany punkt z infinitezymalnie blisko położonym innym punktem przestrzeni.
Tensor metryczny przestrzeni pseudoriemannowskiej ma więc sygnaturę
Szczególnie ważnymi przypadkami są: 4-wymiarowa rozmaitość pseudoriemannowska (rozmaitość lorentzowska), stanowiąca model zakrzywionej czasoprzestrzeni ogólnej teorii względności, 4-wymiarowa rozmaitość pseudoeuklidesowa (rozmaitość Minkowskiego), stanowiąca model niezakrzywionej czasoprzestrzeni szczególnej teorii względności.
Nazwa rozmaitości pochodzi od Bernharda Riemanna.
Sygnatura metryki
W -wymiarowej rozmaitości tensor metryczny określony w układzie ortogonalnych współrzędnych krzywoliniowych ma współrzędne niezerowe tylko na diagonali, przy czym liczba dodatnich, ujemnych oraz zerowych współrzędnych tensora jest niezależna od wyboru ortogonalnego układu współrzędnych (tzw. prawo bezwładności Sylvestra). Liczby te tworzą tzw. sygnaturę tensora metrycznego.
Tensor nazywa się zdegenerowanym, jeżeli
Tensor nazywa się niezdegenerowanym, jeżeli – wtedy jego sygnaturę zapisuje się w postaci
Definicja
Definicja:
Rozmaitością pseudoriemannowską nazywa się rozmaitość różniczkową w której odległość punktu infinitezymalnie odległego od danego punktu zdana jest elementem liniowym w postaci
gdzie:
- (a) dla
- (b) istnieją ciągłe pochodne dla względem wszystkich współrzędnych
- (c) tensor metryczny ma sygnaturę przy czym w ogólności oraz
- (b) istnieją ciągłe pochodne dla względem wszystkich współrzędnych
Tensor metryczny definiowany za pomocą powyższego elementu liniowego jest więc symetryczny, gładki w każdym punkcie rozmaitości, niezdegenerowany, ale w ogólności jest nieokreślony. Oznacza to, że wielkość elementu linowego w ogólnym przypadku może być np. liczbą ujemną.
Ponadto miara odległości przypisywana punktom rozmaitości w ogólnym wypadku nie jest metryką, ale pseudometryką, gdyż dla punktów nieidentycznych może przyjmować wartości zerowe. Jest tak np. dla zdarzeń czasoprzestrzennych, związanych z poruszaniem się światła, opisywanych przez szczególną teorię względności i ogólną teorię względności, dla których odległość w czasoprzestrzeni zawsze jest równa zeru.
Przestrzeń styczna
Rozmaitość w ogólnym przypadku nie jest przestrzenią wektorową, gdyż jej punktów nie można np. odejmować i mnożyć przez skalar, tak jak to wykonuje się na wektorach.
Np. punktom na powierzchni sfery (czy innej powierzchni 2-wymiarowej) nie da się przypisać wektorów, np. o początku w środku sfery, gdyż dodawanie takich wektorów w ogólności nie dałoby w wyniku punktu leżącego na sferze. Wektory można wprowadzić w przestrzeni płaskiej, np. na płaszczyźnie stycznej do sfery.
Aby zdefiniować wektory w rozmaitości postępuje się następująco: w każdym punkcie rozmaitości definiuje się przestrzeń styczną utworzoną z wektorów stycznych do krzywych leżących rozmaitości. Przestrzeń styczna jest już przestrzenią wektorową. Tu definiuje się wektory zaczepione do punktu Mogą one reprezentować np. pola fizyczne, obecne w poszczególnych punktach rozmaitości.
Wektory na rozmaitości
Na wektorach określonych w przestrzeniach stycznych można wykonywać zwykłe operacje jak dodawanie, mnożenie przez skalar, czy iloczyn skalarny wektorów. Długości wektorów nie określa jednak norma, jak to jest w przestrzeniach euklidesowych, ale tzw. pseudonorma, która przyjmuje wartości zerowe także dla niektórych wektorów niezerowych.
Metryka w przestrzeni pseudoriemannowskiej
Powierzchnia hiperboloidy obrotowej czy też 4-wymiarowa czasoprzestrzeń opisywana w ogólnej teorii względności są przykładami przestrzeni nieeuklidesowych, które określa się jako rozmaitości pseudoriemannowskie.
Nie da się w ogólnym przypadku wprowadzić tu metryki opisanej prostym wzorem, tak jak w przestrzeniach liniowych, np. przestrzeń euklidesowa. Podstawową rolę gra tu tensor metryczny.
Niech będzie rozmaitością wymiaru i niech dany będzie układ współrzędnych krzywoliniowych, tak że każdy punkt rozmaitości ma określone współrzędne krzywoliniowe
Odległość infinitezymalna
Tensor metryczny definiuje infinitezymalne odległości między punktami: długość wektora łączącego punkt z infinitezymalnie odległym punktem zadana jest wzorem
gdzie:
to współrzędne tensora metrycznego (będące funkcjami położenia ).
Odległość dowolnych punktów
Dla punktów rozmaitości dowolnie odległych metrykę definiuje się jako kres dolny zbioru, zawierającego długości krzywych ciągłych i różniczkowalnych, łączących punkty czyli
gdzie:
- – infimum, czyli kres dolny zbioru,
- – długość krzywej
przy czym krzywa dana jest przez równań parametrycznych
oraz
Dla przestrzeni riemannowskich (np. sfera) i pseudoriemannowskich (np. pseudosfera) odległość punktów jest wyznaczona przez łuk krzywej geodezyjnej. (W przypadku sfery będzie to łuk koła wielkiego, łączącego dwa dane punkty). Czasoprzestrzeń jest 4-wymiarową przestrzenią pseudoriemannowską. Odległość w przestrzeniach pseudoriemannowskich może być zerowa. Np. w czasoprzestrzeni jest tak dla punktów – tzw. zdarzeń czasoprzestrzennych – które są związane z rozchodzeniem się sygnału świetlnego.
Tensor krzywizny
Tensor krzywizny jest na ogół niediagonalny w poszczególnych punktach przestrzeni, co oznacza, że geometria na rozmaitości jest nieeuklidesowa.
Rodzaje rozmaitości pseudoriemannowskich
Rozmaitość pseudoeuklidesowa
![](http://upload.wikimedia.org/wikipedia/commons/thumb/9/97/Triangles_%28spherical_geometry%29.jpg/300px-Triangles_%28spherical_geometry%29.jpg)
Szczególnym przypadkiem rozmaitości pseudoriemannowskiej jest przestrzeń pseudoeuklidesowa której element liniowy można sprowadzić jednocześnie w całej przestrzeni (globalnie) – poprzez odpowiedni wybór układu współrzędnych – do postaci diagonalnej, tj.
dla każdego
Tensor metryczny ma więc tu sygnaturę
Tensor krzywizny zaś ma zerujące się współrzędne – przestrzeń jest więc płaska.
Przestrzenią pseudoeuklidesową jest każda przestrzeń lokalnie styczna do rozmaitości pseudoriemannowskiej.
Rozmaitość lorentzowska
Rozmaitość lorentzowska jest to rozmaitość pseudoriemannowska w ogólności n-wymiarowa, gdzie dokładnie jeden z elementów sygnatury ma znak przeciwny do pozostałych elementów, tj. sygnatura metryki jest postaci (lub równoważnie ). Element liniowy rozmaitości poprzez wybór układu współrzędnych można lokalnie sprowadzić do postaci diagonalnej, tj.
Jeżeli dałoby się uzyskać taką postać elementu liniowego jednocześnie w całej przestrzeni, to rozmaitość lorentzowska zredukowałaby się do niezakrzywionej rozmaitości pseudoeuklidesowej.
Rozmaitość lorentzowska 4-wymiarowa
Rozmaitość lorentzowska 4-wymiarowa służy do modelowania czasoprzestrzeni w ogólnej teorii względności, gdzie wymiar czasowy ma przeciwny znak do wymiarów przestrzennych. Różnica w znakach wynika z niezmienniczości prędkości światła względem dowolnego układu odniesienia. Zmiana tensora metrycznego czasoprzestrzeni, prowadząca do jej zakrzywienia, powstaje na skutek obecności materii (patrz: równania Einsteina).
Element liniowy
Element liniowy rozmaitości ma postać:
przy czym po sprowadzeniu lokalnie (tj. w pobliżu wybranego punktu x) do postaci diagonalnej ma on postać
lub
tj. tensor metryczny ma sygnaturę lub
Czterowektory
Wektory leżące w przestrzeniach stycznych do rozmaitości czasoprzestrzennej nazywa się czterowektorami. Długości czterowektorów określa pseudonorma, która przyjmuje wartości dodatnie (tzw. wektory czasopodobne), zerowe (tzw. wektory zerowe) oraz ujemne (tzw. wektory przestrzennopodobne).
Czasoprzestrzeń Minkowskiego
Czasoprzestrzeń Minkowskiego jest 4-wymiarową przestrzenią pseudoeuklidesową (tj. płaską przestrzenią pseudoriemannowską), gdzie tensor metryczny ma sygnaturę i zdany jest elementem liniowym globalnie, tj. w całej przestrzeni identycznie dla każdego punktu w postaci
Przestrzeń ta stanowi podstawę matematycznego opisu czasoprzestrzeni w szczególnej teorii względności. Czasoprzestrzeń Minkowskiego poprawnie opisuje czasoprzestrzeń fizyczną, jeżeli można pominąć oddziaływania grawitacyjnie lub ruch z dużymi przyśpieszeniami.
Zobacz też
- metryka Schwarzschilda
- przestrzeń pseudometryczna
- rozmaitość
- rozmaitość riemannowska
- rozmaitość topologiczna
- tensor krzywizny
Bibliografia
- Marek Kordos: O różnych geometriach. Warszawa: Alfa, 1987, seria: Delta przedstawia. ISBN 83-7001-087-3.
- G.A. Korn, T.M. Korn, Matematyka dla pracowników naukowych i inżynierów, cz. 2, PWN, Warszawa 1983.
Media użyte na tej stronie
Autor: Johnstone z angielskiej Wikipedii
Tekst oryginalny: „Created by User Johnstone using a 3D CAD software package and an image of planet earth from NASA's Galileo spacecraft.”, Licencja: CC-BY-SA-3.0
Illustration of spacetime curvature.
Autor: Lars H. Rohwedder, Sarregouset, Licencja: CC BY-SA 3.0
Illustration of spherical geometry where the angles of a triangle do not sum to 180°. The globe is an orthographic projection centered on Japan at 135°30′ E, 36° N. The map is of Oga Peninsula, Akita, Japan at 139°52′ E, 39°56′ N. Landsat image with high-resolution data from Space Shuttle. This file is intended to replace File:Triangle on globe.jpg, a low-quality file with questionable copyright.