# Przewodnik prowadzącego: Audyt współrzędnych współrzędnych i niezmienniczości geodezyjnej

Kurs: Rachunek tensorowy i geometria różniczkowa

Sugerowany czas: 60–75 minut

## Cel

Uczniowie oddzielają opisy współrzędnych od niezmienniczych stwierdzeń geometrycznych i numerycznych w obliczeniach geodezyjnych.

## Przygotowanie

- Przegląd kompatybilność metryk i parametry afiniczne.
- Określ dziedzinę mapy i współrzędne osobliwości.
- Przygotuj dwa kroki do testów zbieżności.

## Kroki prowadzenia

- Zapytaj, czy każda zgłoszona wielkość jest skalarem, składnikiem lub współrzędnym.
- Wymagaj sprawdzenia zbieżności przed interpretacją geometryczną.
- Połącz symbole Christoffela z pochodnymi metryki, zamiast traktować je jako tensory.

## Sprawdzenie błędnych wyobrażeń

- **Zakrzywiona ścieżka współrzędnych dowodzi krzywizny czasoprzestrzeni.** Nawet płaska geometria może mieć zakrzywione proste współrzędne; krzywizna wymaga niezmienniczych informacji tensorowych.
- **Symbole Christoffela są składowymi tensorowymi.** Ich niejednorodna transformacja dostarcza korekty współrzędnych potrzebnej do różniczkowania kowariantnego.

## Dostępność i udział

- Połącz każdą trajektorię z diagnostyką numerycznie niezmienniczą.
- Opisuj zmiany w wykresach słowami i równaniami, a nie tylko animacją.
- Zapewnij słownik symboli dla indeksów i skrótów.

## Dowody uczenia się

- Tabela wykres kontra niezmiennik
- Wynik zbieżności wielkości kroku
- Poprawne kryterium osobliwości współrzędnych

## Rozszerzenie

Oblicz odchylenie geodezyjne dla dwóch pobliskich trajektorii i porównaj separację z składową krzywizny w układzie ortonormalnym.

## Granica dowodów

Zasada dowodowa: w każdej odpowiedzi rozróżniaj obliczenie, wniosek zależny od modelu, obserwację eksperymentalną i nierozstrzygnięte twierdzenie.