Współrzędne jako narzędzie, nie fundament

Notatka przy lekturze: Profesor Jerzy Kijowski, „Geometria różniczkowa jako narzędzie nauk przyrodniczych".

Klasyczna analiza tensorowa — ta którą znają fizycy z Einsteina i inżynierowie z mechaniki kontinuum — była zbudowana na układach współrzędnych i transformacjach między nimi. Tensor definiowano jako obiekt który “transformuje się w określony sposób przy zmianie układu współrzędnych”. Fundament teorii leżał w przeliczaniu: symbole Christoffela, wskaźniki górne i dolne, jakobiany przejścia. Można było spędzić godziny na rachunkach nie wiedząc co jest prawdziwą geometrią, a co artefaktem wybranego układu.

Współczesna geometria różniczkowa odwraca tę hierarchię. Rozmaitość, wektory styczne, formy różniczkowe — wszystkie te obiekty istnieją niezależnie od współrzędnych. Współrzędne to lokalna karta: przydatne narzędzie obliczeniowe, które działa poprawnie na pewnym kawałku rozmaitości, ale nie definiuje geometrii. Atlas — kolekcja zgodnych kart — pokrywa całą rozmaitość, a mapy przejścia między kartami są technicznym klejem, nie fundamentem teorii.

To rozróżnienie ma praktyczną wartość dla każdego kto czyta starszą literaturę lub napotyka podejście oparte na transformacjach współrzędnych. Warto wtedy zadać sobie pytanie: czy ten wynik zależy od wyboru układu współrzędnych, czy jest od niego niezależny? Jeśli zmiana karty zmienia wynik — mamy do czynienia z artefaktem opisu. Jeśli wynik pozostaje niezmieniony — dotykamy prawdziwej geometrii.

To kryterium jest kompasem przy lekturze każdego tekstu z geometrii różniczkowej — niezależnie od tego czy autor idzie starą czy nową drogą.

Czytelnikom którzy chcą zbudować tę intuicję od podstaw polecam „The Hitchhiker’s Guide to Calculus" Michaela Spivaka — krótką książkę która uczy patrzeć na analizę matematyczną przez pryzmat lokalnych przybliżeń. Spivak pokazuje że pochodna to nie symbol formalny lecz najlepsze liniowe przybliżenie funkcji w danym punkcie — i że to przybliżenie jest niezależne od układu współrzędnych. To jest dokładnie ten sam duch co w nowoczesnej geometrii różniczkowej: najpierw zrozum co jest niezmiennicze, potem dobierz wygodne współrzędne do obliczeń.