Manifold (rozmaitość)

Rozmaitość (ang. manifold) – pojęcie z topologii i geometrii różniczkowej, opisujące przestrzeń, której lokalnie struktura jest podobna do przestrzeni ℝⁿ, ale globalnie może mieć zupełnie inny kształt. Rozmaitości są podstawowymi obiektami w wielu dziedzinach matematyki oraz w fizyce teoretycznej.

Definicja formalna

Niech M będzie topologiczną przestrzenią Hausdorffa, drugiego countability axiom (drugiej aksjomatu liczebności). M nazywamy n‑wymiarową rozmaitością topologiczną, jeżeli dla każdego punktu p∈M istnieje otwarte otoczenie U oraz homeomorfizm

ϕ : U → V, gdzie V ⊂ ℝⁿ jest otwartym podzbiorem.

Para (U, ϕ) nazywana jest układem współrzędnych lub kartą. Zbiór wszystkich kart, spełniających dodatkowe warunki zgodności, tworzy strukturę rozmaitości.

Rodzaje rozmaitości

Rozmaitość topologiczna – spełnia jedynie powyższą definicję.
Rozmaitość różniczkowa (różniczkowalna) – przejścia między kartami są różniczkowalne klasy C^k (zwykle C^∞).
Rozmaitość Riemannowska – rozmaitość różniczkowa wyposażona w dodatnio‑definiowaną symetrię tensorową g (metricę), co umożliwia pomiar odcinków i kątów.
Rozmaitość symplektyczna – rozmaitość parzystej wymiarowości z nie‑degenerującą, zamkniętą formą symplektyczną ω.
Rozmaitość zorientowana – rozmaitość, której każdy punkt ma spójny wybór orientacji lokalnych układów współrzędnych.
Rozmaitość z grupą Liego – rozmaitość będąca jednocześnie grupą, dla której mnożenie i odwrotność są gładkimi mapami.

Przykłady

Sfera Sⁿ – n‑wymiarowa rozmaitość zamknięta, elementarna w topologii.
Tor T² = S¹×S¹ – przykład rozmaitości płaskiej (zerowa krzywizna) o innym typie topologicznym niż płaszczyzna.
Przestrzeń rzeczywista ℝⁿ – najprostsza rozmaitość, będąca jednocześnie przestrzenią metryczną.
Przestrzeń projektowa ℝPⁿ – rozmaitość, w której przeciwległe punkty na Sⁿ są identyfikowane.
Rozmaitość Klein’a – nielokalnie orientowalna rozmaitość dwuwymiarowa, będąca ilorazem T² względem pewnej symetrii.

Historia

Początkowo pojęcie rozmaitości pojawiło się w pracach Bernhardusa Riemanna (1846) oraz Carlosa Freneta i Henriego Poincarégo (1895). Równocześnie rozwijała się teoria powierzchni w trójwymiarowej euklidesowej przestrzeni, a później Henri Lebesgue i Hermann Weyl sformalizowali definicję w kontekście analizy funkcjonalnej i topologii.

Zastosowania

Rozmaitości odgrywają kluczową rolę w wielu obszarach:

Fizyka teoretyczna – ogólna teoria względności opisuje czasoprzestrzeń jako czterowymiarową rozmaitość Riemannowską z grawitacyjną metryką g.
Mechanika klasyczna i kwantowa – fazowe przestrzenie układów dynamiki są rozmaitościami symplektycznymi.
Teoria grup Liego – struktury symetrii w fizyce i chemii modelowane są jako rozmaitości z grupową operacją.
Geometria komputerowa i grafika – modelowanie powierzchni w 3‑D wykorzystuje pojęcie rozmaitości parametryzowanych.
Uczenie maszynowe i analiza danych – technika „manifold learning” zakłada, że wysokowymiarowe dane leżą w pobliżu niżej wymiarowej rozmaitości.
Robotyka – przestrzeń konfiguracji robota jest rozmaitością, co umożliwia planowanie trajektorii.

Podstawowe własności

Każda rozmaitość jest lokalnie zwarta i spełnia aksjomat drugiej liczebności.
Homotopijna i homologia rozmaitości dają informacje o jej globalnej strukturze – np. liczba otworów (genus) w dwóch wymiarach.
Występowanie przestrzeni Hausdorffa zapewnia jednoznaczność granic i limitów.

Powiązane pojęcia

W dalszej lekturze warto zapoznać się z następującymi hasłami:

Rozmaitość jest centralnym pojęciem łączącym różne gałęzie matematyki oraz jej zastosowania w naukach przyrodniczych i inżynierii, będąc jednocześnie fascynującym obszarem badań teoretycznych.