Rozmaitość różniczkowa: Różnice pomiędzy wersjami
[wersja przejrzana] | [wersja przejrzana] |
mNie podano opisu zmian Znaczniki: VisualEditor Z urządzenia mobilnego Z wersji mobilnej (przeglądarkowej) |
mNie podano opisu zmian Znaczniki: VisualEditor Z urządzenia mobilnego Z wersji mobilnej (przeglądarkowej) |
||
Linia 18: | Linia 18: | ||
* dla każdego punktu <math>x\in \mathbb{X}</math> istnieje zawierające go otwarte i spójne otoczenie <math>U \subset \mathbb{X}</math> |
* dla każdego punktu <math>x\in \mathbb{X}</math> istnieje zawierające go otwarte i spójne otoczenie <math>U \subset \mathbb{X}</math> |
||
* |
* dla każdego otoczenia <math>U\ </math>został zdefiniowany [[homeomorfizm]] <math>\phi \colon U \to \phi(U)</math> na otwarty zbiór <math>\phi(U)\ </math> przestrzeni wektorowej n-wymiarowej <math>\mathbb{R}^{n}</math> nad ciałem <math>\mathbb{R}</math> liczb rzeczywistych (tj. każdemu punktowi tego otoczenia przyporzadkowany został w sposób wzajemnie jednoznaczny jeden punkt przestrzeni n-wymiarowej <math>\mathbb{R}^{n}</math>). |
||
== Mapa, atlas, klasa rozmaitości, atlas zupełny == |
== Mapa, atlas, klasa rozmaitości, atlas zupełny == |
||
Linia 25: | Linia 25: | ||
('''a''') Homeomorfizm <math>\phi \colon U \to \phi(U)</math> nazywamy '''mapą''' rozmaitości <math>\mathbb{X} </math>. |
('''a''') Homeomorfizm <math>\phi \colon U \to \phi(U)</math> nazywamy '''mapą''' rozmaitości <math>\mathbb{X} </math>. |
||
('''b''') Rodzina <math>\Phi=\{\phi_l\}_{l \in I}</math> map nazywa się '''atlasem''' rozmaitości <math>\mathbb{X} </math>, gdy dziedziny <math>U_l\ </math> homeomorfizmów <math>\phi_l\ </math> pokrywają rozmaitość <math>\mathbb{X} </math>, tj.{{wzór|<math>\mathbb{X}=\bigcup_{l \in I}U_l.</math>|1}}('''c''') Jeżeli |
('''b''') Rodzina <math>\Phi=\{\phi_l\}_{l \in I}</math> map nazywa się '''atlasem''' rozmaitości <math>\mathbb{X} </math>, gdy dziedziny <math>U_l\ </math> homeomorfizmów <math>\phi_l\ </math> pokrywają rozmaitość <math>\mathbb{X} </math>, tj.{{wzór|<math>\mathbb{X}=\bigcup_{l \in I}U_l.</math>|1}}('''c''') Jeżeli homeomorfizmy są klasy <math>C^k</math>, to rozmaitość nazywa się '''rozmaitością różniczkową klasy''' <math>C^k</math>. |
||
('''d''') '''Atlasem zupełnym (maksymalnym)''' klasy <math>C^k</math> lub <math>C^k</math>- strukturą na rozmaitości <math>\mathbb{X} </math> nazywa się największy spośród atlasów klasy <math>C^k</math>na <math>\mathbb{X} </math>, tzn. zawierający w sensie mnogościowym wszystkie atlasy klasy <math>C^k</math>. |
('''d''') '''Atlasem zupełnym (maksymalnym)''' klasy <math>C^k</math> lub <math>C^k</math>- strukturą na rozmaitości <math>\mathbb{X} </math> nazywa się największy spośród atlasów klasy <math>C^k</math>na <math>\mathbb{X} </math>, tzn. zawierający w sensie mnogościowym wszystkie atlasy klasy <math>C^k</math>. |
Wersja z 15:39, 31 maj 2018
Zasugerowano, aby zintegrować ten artykuł z artykułem rozmaitość różniczkowalna (dyskusja). Nie opisano powodu propozycji integracji. |
Rozmaitość różniczkowalna to rozmaitość, którą można przedstawić w postaci sumy otwartych podzbiorów (niekoniecznie rozłącznych) tak, że wszystkim punktom poszczególnych podzbiorów da się przyporządkować współrzędne krzywoliniowe.
Rozmaitość różniczkowa to rozmaitość różniczkowalna, w której zdefiniowano konkretny rodzaj współrzędnych krzywoliniowych. Przy tym, jeżeli funkcje definiujące współrzędne są klasy conajmniej , tj. posiadające ciągłe pochodne w każdym punkcie, to w rozmaitości można wykonywać operacje różniczkowe. Dzięki temu możliwe jest wprowadzenie kanonicznych lokalnych baz wektorów (tj. baz wektorów stycznych do linii współrzędnych) i obliczanie gradientu, dywergencji, rotacji na polach tensorowych - skalarnych, wektorowych, itd.).
Funkcje definiujące współrzędne uogólnione na poszczególnych częściach rozmaitości dokonują jej odwzorowania w przestrzeń rzeczywistą o wymiarze równym wymiarowi rozmaitości. Każde z tych odwzorowań wraz z podzbiorem, na którym jest określone, nazywa się mapą (w analogii do map powierzchni Ziemi). Zbiór map nazywa się atlasem.
Dopuszczenie istnienia wielu map dla danej rozmaitości wynika stąd, że wielu rozmaitości nie da się opisać za pomocą jednej mapy. Np. dla sfery nie istnieje globalny układ współrzędnych, ale można ją odwzorować za pomocą dwóch częściowo pokrywających się map, na których wprowadza się współrzędne sferyczne (linie współrzędnych są wtedy funkcjami klasy ).
Wprowadzenie struktury rozmaitości różniczkowej ma duże znaczenie np. w fizyce: w szczególnej i ogólnej teorii względności czas i przestrzeń modeluje się za pomocą 4-wymiarowej czasoprzestrzeni, która jest rozmaitością różniczkową (przy czym dodatkowo określa się geometrię czasoprzestrzeni definiując tzw. fundamentalny tensor metryczny).
Definicja rozmaitości różniczkowej
Przestrzeń topologiczną nazywamy rozmaitością różniczkową -wymiarową, jeśli
- dla każdego punktu istnieje zawierające go otwarte i spójne otoczenie
- dla każdego otoczenia został zdefiniowany homeomorfizm na otwarty zbiór przestrzeni wektorowej n-wymiarowej nad ciałem liczb rzeczywistych (tj. każdemu punktowi tego otoczenia przyporzadkowany został w sposób wzajemnie jednoznaczny jeden punkt przestrzeni n-wymiarowej ).
Mapa, atlas, klasa rozmaitości, atlas zupełny
Definicje:
(a) Homeomorfizm nazywamy mapą rozmaitości .
(b) Rodzina map nazywa się atlasem rozmaitości , gdy dziedziny homeomorfizmów pokrywają rozmaitość , tj.
(1) |
(c) Jeżeli homeomorfizmy są klasy , to rozmaitość nazywa się rozmaitością różniczkową klasy .
(d) Atlasem zupełnym (maksymalnym) klasy lub - strukturą na rozmaitości nazywa się największy spośród atlasów klasy na , tzn. zawierający w sensie mnogościowym wszystkie atlasy klasy .
Rozmaitości różniczkowe klasy , oraz
W definicji rozmaitości można zażądać odpowiednio wysokiej gładkości poprzez żądanie, by funkcje tworzące mapy były odpowiednio wysokiej klasy. Wprowadza się przy tym definicje:
- Rozmaitością różniczkową klasy nazywa się rozmaitość topologiczną, która nie posiada map klasy .
- Rozmaitością różniczkową klasy nazywa się rozmaitość, której mapa jest funkcją klasy , gdzie .
- Rozmaitością klasy nazywa się rozmaitość analityczną.
Przypisy
Zobacz też
Pojęcia ogólne
- rozmaitość gładka
- rozmaitość różniczkowalna
- rozmaitość riemannowska
- rozmaitość pseudoriemannowska
- współrzędne uogólnione
Operacje różniczkowe
Inne
Bibliografia
- T. Trajdos: Matematyka część III. Warszawa: PWN, 1993. ISBN 83-204-1547-0.