The Spacetime Metric
Poziom 4 · Zaawansowane studia licencjackieStudia, rok 3–4Około 18 godzin

Rachunek tensorowy i geometria różniczkowa

Naucz się liczyć geometrię, nie myląc współrzędnych ze strukturą fizyczną.

Rozwiń rozmaitości, tensory, metryki, pochodne kowariantne, geodezyjne, krzywiznę, formy różniczkowe i niezmiennicze narzędzia diagnostyczne jako matematyczny warunek wstępny ogólnej teorii względności i analizy inżynierii metryki.

Established foundations

Zanim zaczniesz

  • • Rachunek różniczkowy, wektory i równania różniczkowe
  • • Mechanika Lagrange’a
  • • Algebra liniowa i rachunek wielu zmiennych

Na koniec będziesz umieć

  • • Transformować wektory, kowektory i tensory między mapami współrzędnych.
  • • Obliczać koneksje Levi-Civity i geodezyjne z metryki.
  • • Obliczać tensory krzywizny i niezmiennicze kontrakcje.
  • • Oddzielać efekty współrzędnych od mierzalnych efektów geometrycznych.

Model interaktywny

Zbadaj, zanim policzysz

Zniekształcona siatka współrzędnych niosąca lokalne wektory styczne i interwały pomiarowe.
Współrzędne oznaczają zdarzenia; metryka dostarcza niezmienniczych interwałów, a koneksja porównuje kierunki w sąsiednich punktach.

Interaktywne laboratorium, zestaw dydaktyczny i narzędzia oceny do tego kursu są po angielsku →

Lekcja 1 z 3

Mapy, przestrzenie styczne i tensory

Które wielkości zmieniają się wraz ze współrzędnymi, a które stwierdzenia geometryczne przetrwają każdą mapę?

Rozmaitość ma lokalnie współrzędne, ale nie jest tożsama z żadną pojedynczą siatką współrzędnych. Wektory styczne działają jak pochodne kierunkowe, kowektory działają na wektory, a tensory są odwzorowaniami wieloliniowymi o określonym prawie transformacji.

Metryka to symetryczny, niezdegenerowany tensor drugiego rzędu. Zamienia wektory na kowektory, definiuje interwały i kąty oraz — po wyborze sygnatury i orientacji — dostarcza elementu objętości.

rozmaitośćmapaprzestrzeń stycznakowektormetryka

Przykład rozwiązany

Przetransformuj metrykę płaszczyzny euklidesowej ze współrzędnych kartezjańskich do biegunowych.

  1. 1. Zapisz x=r cosφ oraz y=r sinφ.
  2. 2. Zróżniczkuj, aby otrzymać dx i dy.
  3. 3. Wstaw je do ds²=dx²+dy².
  4. 4. Zbierz wyrazy dr², dr dφ i dφ².

ds²=dr²+r²dφ²; geometria jest płaska, mimo że składowe metryki się zmieniają.

Spróbuj

Audyt: współrzędne kontra krzywizna

Materiały: Notatnik z rachunkiem symbolicznym albo kartka papieru

  1. 1. Zapisz metrykę płaszczyzny w mapie kartezjańskiej i biegunowej.
  2. 2. Porównaj pochodne składowych.
  3. 3. Oblicz albo znajdź krzywiznę skalarną.
  4. 4. Wyjaśnij, dlaczego zmienne składowe nie oznaczają krzywizny.

Zwróć uwagę: Siatka współrzędnych może wyginać się na kartce, podczas gdy niezmiennicza krzywizna pozostaje zerowa.

Sprawdź, czy rozumiesz: Czy da się rozstrzygnąć, czy przestrzeń jest zakrzywiona, sprawdzając, czy składowe metryki się zmieniają?

Odpowiedź: Nie.

Zmienność składowych może wynikać ze współrzędnych; krzywizna wymaga rachunku niezmienniczego, na przykład tensora Riemanna.

Lekcja 2 z 3

Koneksje, przeniesienie równoległe i geodezyjne

Jak pochodne mogą porównywać wektory żyjące w różnych przestrzeniach stycznych?

Koneksja poprawia zwykłe pochodne składowych tak, by wynik transformował się tensorowo. Beztorsyjna, zgodna z metryką koneksja Levi-Civity jest wyznaczona przez metrykę poprzez symbole Christoffela.

Geodezyjne przenoszą równolegle własny wektor styczny. W standardowych warunkach są lokalnie ekstremalnymi drogami dla interwału, ale przyspieszenie we współrzędnych wzdłuż nich nie musi znikać.

koneksjasymbol Christoffelapochodna kowariantnaprzeniesienie równoległegeodezyjna

Przykład rozwiązany

Znajdź niezerowe symbole Christoffela na płaszczyźnie we współrzędnych biegunowych.

  1. 1. Skorzystaj z g_rr=1 oraz g_φφ=r².
  2. 2. Oblicz Γᵃ_bc=½gᵃᵈ(∂_b g_dc+∂_c g_db−∂_d g_bc).
  3. 3. Przetrwają tylko pochodne radialne z r².
  4. 4. Wykorzystaj symetrię w dolnych wskaźnikach.

Γʳ_φφ=−r oraz Γᵠ_rφ=Γᵠ_φr=1/r.

Spróbuj

Geodezyjne na sferze

Materiały: Globus, nitka i notatnik

  1. 1. Napnij nitkę między dwoma punktami wzdłuż koła wielkiego.
  2. 2. Porównaj to z równoleżnikiem.
  3. 3. Zapisz metrykę sfery.
  4. 4. Wskaż, która droga jest lokalnie geodezyjna.

Zwróć uwagę: Geodezyjna jest wewnętrzną własnością powierzchni i wcale nie musi wyglądać na prostą w przestrzeni zanurzenia.

Sprawdź, czy rozumiesz: Czy symbole Christoffela są składowymi tensora?

Odpowiedź: Nie.

To właśnie ich niejednorodny człon transformacyjny naprawia pochodne, zamieniając je w pochodne kowariantne.

Lekcja 3 z 3

Krzywizna, niezmienniki i formy różniczkowe

Jaki pomiar odróżnia prawdziwą krzywiznę od artefaktów współrzędnych?

Tensor Riemanna mierzy nieprzemienność pochodnych kowariantnych i zależność przeniesienia równoległego od drogi. Jego kontrakcje dają tensor Ricciego i krzywiznę skalarną.

Formy różniczkowe czysto pakują całkowanie, orientację i zasady zachowania. Różniczkowanie zewnętrzne nie zależy od współrzędnych, a twierdzenie Stokesa jednoczy gradient, rotację, dywergencję i prawa brzegowe.

tensor Riemannatensor Ricciegokrzywizna skalarnaforma różniczkowapochodna zewnętrzna

Przykład rozwiązany

Jaki test krzywizny odróżnia współrzędne biegunowe na płaszczyźnie od sfery?

  1. 1. Oblicz niezmiennik krzywizny, a nie pochodne składowych.
  2. 2. Dla płaszczyzny R=0.
  3. 3. Dla sfery o promieniu a krzywizna Gaussa wynosi 1/a².
  4. 4. Wyciągnij wniosek, że te przestrzenie są wewnętrznie różne.

Osobliwości współrzędnych mogą pojawić się w przestrzeni płaskiej; niezerowych niezmienników krzywizny nie da się usunąć transformacją.

Spróbuj

Holonomia przeniesienia równoległego

Materiały: Globus i wycięta strzałka

  1. 1. Przenieś strzałkę na północ wzdłuż jednego południka.
  2. 2. Przesuń ją wzdłuż równika.
  3. 3. Wróć wzdłuż innego południka.
  4. 4. Porównaj orientację końcową z początkową.

Zwróć uwagę: Obrót po zamkniętej pętli zapisuje scałkowaną krzywiznę.

Sprawdź, czy rozumiesz: Dlaczego sam skalar Ricciego nie wystarczy do scharakteryzowania całej krzywizny?

Odpowiedź: Różne tensory Riemanna mogą mieć tę samą kontrakcję skalarną.

Pojedynczy skalar odrzuca informację o kierunkach i efektach pływowych.

Od wzoru do znaczenia

Przeczytaj równanie zwykłym językiem.

ds²=g_μν dx^μdx^ν

Metryka zamienia przesunięcia współrzędnych w niezmienniczy interwał.

Γ^ρ_μν=½g^ρσ(∂_μg_σν+∂_νg_σμ−∂_σg_μν)

Koneksja Levi-Civity jest zbudowana z pierwszych pochodnych metryki.

R^ρ_σμν=∂_μΓ^ρ_νσ−∂_νΓ^ρ_μσ+Γ^ρ_μλΓ^λ_νσ−Γ^ρ_νλΓ^λ_μσ

Krzywizna zapisuje nieprzemienność przeniesienia kowariantnego.

Praktyka samodzielna

Zestaw zadań

Rozwiąż każde zadanie, zanim otworzysz podpowiedź i rozwiązanie.

  1. 1. Oblicz odwrotność i wyznacznik macierzy diag(−1,a²,b²,c²).

    Pokaż podpowiedź

    Odwróć każdy element diagonalny, a wyznacznik otrzymasz, mnożąc przekątną.

    Pokaż rozwiązanie

    g^{μν}=diag(−1,a⁻²,b⁻²,c⁻²), det g=−a²b²c².

  2. 2. Pokaż, że stała metryka we współrzędnych kartezjańskich ma znikającą koneksję Levi-Civity.

    Pokaż podpowiedź

    Każdy wyraz w Γ zawiera pochodną metryki.

    Pokaż rozwiązanie

    Wszystkie wyrazy ∂g znikają, więc w tej mapie Γ^ρ_μν=0.

  3. 3. Dwuwymiarowa sfera ma R=2/a². Co się dzieje, gdy a→∞?

    Pokaż podpowiedź

    Rozważ lokalną granicę wielkiego promienia.

    Pokaż rozwiązanie

    R→0; dostatecznie mały płat zbliża się do płaskiej płaszczyzny.

Pracownia wyprowadzeń

Zbuduj wynik, linijka po linijce.

Trzymaj założenia na widoku, żeby matematyka pozostała sprawdzalna.

Punkt wyjścia

Równanie geodezyjnej z warunku stacjonarnego interwału

S=½∫g_μν ẋ^μẋ^ν dλ

  1. 1. Potraktuj funkcję podcałkową jak lagranżjan.
  2. 2. Oblicz pochodne względem ẋ^ρ i x^ρ.
  3. 3. Zastosuj równanie Eulera–Lagrange’a.
  4. 4. Podnieś wskaźnik i rozpoznaj kombinację Christoffela.

ẍ^ρ+Γ^ρ_μνẋ^μẋ^ν=0

Ruch swobodny jest prosty w sensie kowariantnym, nawet gdy składowe we współrzędnych przyspieszają.

Punkt wyjścia

Krzywizna z komutatora

[∇_μ,∇_ν]V^ρ

  1. 1. Rozpisz obie pochodne kowariantne.
  2. 2. Skróć drugie pochodne cząstkowe.
  3. 3. Zbierz pochodne Γ i wyrazy kwadratowe w Γ.
  4. 4. Wyłącz przed nawias składowe wektora.

[∇_μ,∇_ν]V^ρ=R^ρ_σμνV^σ

Krzywizna to operacyjna przeszkoda w porównywaniu wektorów niezależnie od drogi.

Notatnik obliczeniowy

Zamień model w eksperyment.

Laboratorium geodezyjnych i krzywizny

Jak zmieniają się trajektorie we współrzędnych i niezmiennicza krzywizna na płaszczyźnie, sferze i siodle?

Dane wejściowe

  • • Składowe metryki dla trzech powierzchni dwuwymiarowych
  • • Położenie początkowe i wektor styczny
  • • Krok całkowania i zakres parametru afinicznego

Algorytm

  1. 1. Oblicz Γ z każdej metryki.
  2. 2. Scałkuj równanie geodezyjnej.
  3. 3. Wyznacz krzywiznę skalarną.
  4. 4. Porównaj trajektorie w mapach z diagnostyką niezmienniczą.

Dowody do uzyskania

  • • Wykresy geodezyjnych w każdej mapie
  • • Tabela krzywizn
  • • Wyjaśnienie, co jest artefaktem współrzędnych, a co geometrią

Pracownia czytania artykułów

Przepytaj źródło, nie jego reputację.

Odtwórz założenia, powtórz jedno obliczenie i zatrzymaj się na granicy opisanych dowodów.

Zrekonstruuj tezę o metryce

Czy źródło ustala nową geometrię, opis we współrzędnych, czy jedynie proponowany ansatz?

  1. 1. Przepisz metrykę oraz podaj sygnaturę i współrzędne.
  2. 2. Wypisz symetrie i warunki brzegowe.
  3. 3. Oblicz co najmniej jeden niezmiennik.
  4. 4. Doprowadź każdą interpretację fizyczną z powrotem do tensora albo obserwabli.

Obliczenie do powtórzenia: Odtwórz metrykę odwrotną, wyznacznik, jeden współczynnik koneksji i jeden niezmiennik krzywizny.

Granica dowodów: Spójna matematycznie metryka nie jest dowodem, że wymagana energia-pęd istnieje albo daje się wytworzyć inżynieryjnie.

Idź dalej, do dowodów

Następna lektura, z jej źródłami

Wykład 1: Czym jest metryka?

Pojęciowy pomost od współrzędnych do pomiaru niezmienniczego.

Rozdział 4: Tensor metryczny, napędy warp i tunele czasoprzestrzenne

Zastosuj narzędzia geometryczne do metryk standardowych i proponowanych, zachowując granice dowodowe.

Wykład 5: Tunele czasoprzestrzenne Morrisa–Thorne’a

Rozpracowana geometria z jawnymi warunkami na gardziel i rozbieganie się.