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
[edytuj | edytuj kod]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
[edytuj | edytuj kod]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
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
[edytuj | edytuj kod]![](http://178.128.105.246/cars-http-upload.wikimedia.org/wikipedia/commons/thumb/e/e7/Tangentialvektor.svg/221px-Tangentialvektor.svg.png)
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
[edytuj | edytuj kod]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
[edytuj | edytuj kod]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
[edytuj | edytuj kod]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
[edytuj | edytuj kod]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
[edytuj | edytuj kod]Tensor krzywizny jest na ogół niediagonalny w poszczególnych punktach przestrzeni, co oznacza, że geometria na rozmaitości jest nieeuklidesowa.
Rodzaje rozmaitości pseudoriemannowskich
[edytuj | edytuj kod]Rozmaitość pseudoeuklidesowa
[edytuj | edytuj kod]![](http://178.128.105.246/cars-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
[edytuj | edytuj kod]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
[edytuj | edytuj kod]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
[edytuj | edytuj kod]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
[edytuj | edytuj kod]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
[edytuj | edytuj kod]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ż
[edytuj | edytuj kod]- metryka Schwarzschilda
- przestrzeń pseudometryczna
- rozmaitość
- rozmaitość riemannowska
- rozmaitość topologiczna
- tensor krzywizny
Bibliografia
[edytuj | edytuj kod]- 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.