Czasoprzestrzeń Minkowskiego
Z Wikipedii
Czasoprzestrzeń Minkowskiego w fizyce i w matematyce przestrzeń matematyczna, która łącząc czas z trójwymiarową przestrzenią fizyczną pozwala w elegancki sposób opisać szczególną teorię względności Einsteina. Nazwę są zawdzięcza niemieckiemu matematykowi Hermannowi Minkowskiemu, który wprowadził ją w 1907.
[edytuj] Ujęcie matematyczne
W tym artykule obowiązuje konwencja sumacyjna. |
Czterowymiarowa czasoprzestrzeń Minkowskiego formalnie jest rzeczywistą przestrzenią wektorową, w której zdefiniowana jest forma biliniowa nazywana iloczynem zewnętrznym i oznaczana jako < u,v > , (u i v są dwoma wektorami) spełniająca warunki:
- biliniowości: < au + v,w > = a < u,w > + < v,w > , dla wszystkich a, u, v, i w
- symetryczności: < v,w > = < w,v >
- jeśli < v,w > = 0 dla wszystkich w, to v = 0 (forma niezdegenerowana)
Warunek 3 może być osłabiony. Forma < u,v > pozwala zdefiniować długość wektora
-
- | v | 2 = < u,u >
Wektory jednostkowe e spełniają więc | e | = 1. Punktowi p w czasoprzestrzeni przyporządkowujemy vektor x o czterech współrzędnych xμ,μ = (0,1,2,3)
-
- x = xμeμ
gdzie eμ są czterema liniowo niezależnymi wektorami jednostkowymi. Powtarzanie się na przekątnej dwóch wskaźników oznacza sumowanie po μ od 0 do 3 (umowa sumacyjna Einsteina). Długość dowolnego wektora do kwadratu to | x | 2 = < xμeμ,xνeν > = gμνxμxν gdzie g jest tensorem metrycznym zdefiniowanym przez wszystkie formy dla wektorów jednostkowych
-
- gμν = < eμ,eν >
Odległość między dwoma punktami o współrzędnych (x + dx)μ i xμ definiuje odległość (interwał czasoprzestrzenny)
-
- ds2 = gμνdxμdxν
Przestrzeń Minkowskiego jest przestrzenią globalnie płaską, w której
W jawnej postaci długość wektora z to
-
- | x | 2 = (x0)2 − (x1)2 − (x2)2 − (x3)2
Jeżeli przeważy składowa czasowa x0 kwadrat długości | x | 2 > 0 - wektor taki nazywamy czasopodobnym. Jednak w czasoprzestrzeni Minkowskiego kwadrat długości może być | x | 2 < 0 - wektor nazywamy przestrzennopodobnym - gdy przeważy składowa przestrzenna. Przestrzeń Minkowskiego nie jest dobrze zdefiniowaną przestrzenią metryczną. Zbiór punktów dla których kwadrat długości
-
- | x | 2 = (x0)2 − (x1)2 − (x2)2 − (x3)2 = 0
nazywamy stożkiem świetlnym. Jest to niespełnienie warunku 3 dla przestrzeni metrycznej. Zbiór ten ma jednak istotne znaczenie fizyczne. Jest to zbiór punktów w czasoprzestrzeni które można połaczyć promieniem świetlnym (x0 = ct gdzie c jest prędkością światła w próżni). Jeżeli się widzimy, to znajdujemy się w czasoprzestrzeni na stożku świetlnym, interwał czasoprzestrzenny jest równy zero pomimo tego, że w przestrzeni 3 wymiarowej dzieli nas odległość.
Odległość w czasoprzestrzeni niezmiennicza jest względem transformacji
Jest to transformacja Poincarego. Zbiór takich transformacji parametryzowanych przez macierze Λ i wektor translacji a tworzy grupę przekształceń Poincarégo - grupę Poincarégo. Zachowanie odległości w czasoprzestrzeni narzuca warunki
Są to macierze Lorentza. Tworzą one grupę Lorentza. Grupa Lorentza jest podgrupą grupy Poincarégo:
Następną podgrupą jest grupa translacji w czasoprzestrzeni
Są to ciągle grupy Liego. Grupa translacji parametryzowana jest przez 4 parametry rzeczywiste a grupa Lorentza przez 6 parametrów. Symetrie te zgodnie z twierdzeniem Neother prowadzą do odpowiednich praw zachowania w fizyce.
Ruch w czasprzestrzeni Minkowskiego opisuje trajektoria xμ(τ) gdzie τ jest parametrem niezminniczym ( nie czasem). Np. można zdefiniowć c dτ= ds gdzie s jest interwałem czasoprzestrzennym , τ nazywamy czasem własnym.
Analogicznie do wektora prędkości w przestrzeni 3 wymiarowej zdefiniować można czterowektor prędkości
i czterowektor pędu
-
- pμ = muμ.
Wektor pędu (μ=i={1,2,3}) w fizyce relatywistycznej ma postać
identyczną jak fizyce nierelatywistycznej jeżeli zamienimy masę spoczynkową m na masę relatywistyczną
Wielkości te nie są niezależne
-
- uμuμ = gμνuμuν = c2
i podobnie
-
- pμpμ = gμνpμpν = m2c2
Stąd otrzymujemy związek
[edytuj] Historia
Minkowski wprowadził czasoprzestrzeń i używał jej Einstein w innej postaci niż używana obecnie.
Przyjął, że osie układu współrzędnych będą oznaczane przez x z indeksem xi, i= {1,2,3,4}. Współrzędne przestrzenne i czas przekształcają się na nowe współrzędne w następujacy sposób:
-
- x1 = x
- x2 = y
- x3 = z
- x4 = ict
gdzie
W przestrzeni tej "odległość" (interwał czasowoprzestrzenny) określony jest tak jak odległość w trójwymiarowej przestrzeni:
-
- S2 = (x1)2 + (x2)2 + (x3)2 + (x4)2
Przestrzeń ta nie jest, tak jak obecna przestrzeń Minkowskiego, przestrzenią rzeczywistą, bo współrzędna odpowiadająca czasowi jest wielkością urojoną, urojoność współrzędnej czasowej zapewnia odpowiednią metrykę tej przestrzeni.