W dziedzinie geometrii różniczkowej rozmaitości są podstawowymi obiektami, które zapewniają ramy dla zrozumienia geometrycznych i topologicznych właściwości przestrzeni. Podrozmaitość jest podzbiorem danej rozmaitości, który dziedziczy strukturę rozmaitości z większej rozmaitości. Jako wiodący dostawca kolektorów często spotykam klientów zainteresowanych identyfikacją podrozmaitości w ramach swoich kolektorów. W tym poście na blogu podzielę się kilkoma kluczowymi metodami i koncepcjami, które mogą pomóc w identyfikacji podrozmaitości danej rozmaitości.
1. Definicja i podstawowe pojęcia
Niech (M) będzie gładką rozmaitością o wymiarze (m). Podzbiór (N\subseteq M) nazywany jest gładką podrozmaitością wymiaru (n) ((n\leq m)), jeśli dla każdego punktu (p\in N) istnieje wykres współrzędnych ((U,\varphi)) (M) wokół (p) (tj. (p\in U) i (\varphi:U\rightarrow\mathbb{R}^m) jest homeomorfizm) taki, że (\varphi(U\cap N)=\varphi(U)\cap(\mathbb{R}^n\times{0}^{m - n})).
Mówiąc prościej, lokalnie wokół każdego punktu podrozmaitości, podrozmaitość wygląda jak standardowa podprzestrzeń euklidesowa (\mathbb{R}^m). Ta lokalna właściwość płaskości jest kluczowa dla analizy geometrycznej i topologicznej podrozmaitości.
2. Rozmaitości zanurzone i osadzone
Istnieją dwa główne typy kolektorów pomocniczych: kolektory zanurzone i kolektory wbudowane.
Zanurzone sub-rozgałęźniki
Zanurzony podrozdzielacz definiuje się za pomocą zanurzenia. Niech (f:N\rightarrow M) będzie gładką mapą pomiędzy dwiema rozmaitościami (N) i (M). Odwzorowanie (f) nazywa się zanurzeniem, jeśli różniczka (df_p:T_pN\rightarrow T_{f(p)}M) jest iniekcyjna dla wszystkich (p\in N). Obraz (f(N)) nazywany jest wówczas zanurzoną podrozmaitością (M).
Jednakże zanurzona podrozmaitość może mieć samoprzecięcia lub niestandardową topologię. Na przykład krzywą ósemkową w (\mathbb{R}^2) można uznać za zanurzoną podrozmaitość (\mathbb{R}^2). Aby zidentyfikować zanurzoną podrozmaitość, musimy znaleźć gładkie zanurzenie iniekcyjne z niskowymiarowej rozmaitości do danej rozmaitości.
Wbudowane sub-rozdzielacze
Wbudowany podrozdzielacz jest silniejszą koncepcją. Podzbiór (N\subseteq M) jest osadzoną podrozmaitością, jeśli jest zanurzoną podrozmaitością, a mapa inkluzji (i:N\rightarrow M) (gdzie (i(x)=x) dla wszystkich (x\in N)) jest osadzeniem topologicznym. Oznacza to, że (N) ma topologię podprzestrzeni odziedziczoną po (M).
Większość podrozmaitości, które spotykamy w praktycznych zastosowaniach, to podrozmaitości wbudowane. Na przykład kula (S^2) w (\mathbb{R}^3) jest osadzoną podrozmaitością (\mathbb{R}^3).
3. Korzystanie z zestawów poziomów
Jedną z najpowszechniejszych metod identyfikacji podrozmaitości jest użycie zestawów poziomów. Niech (F:M\rightarrow\mathbb{R}^k) będzie gładką mapą, gdzie (M) jest rozmaitością wymiaru (m). Zbiór poziomów (F) przy wartości (c\in\mathbb{R}^k) jest zdefiniowany jako (L = F^{-1}(c)={p\in M|F(p)=c}).
Jeśli (c) jest wartością regularną (F) (tj. dla każdego (p\in F^{-1}(c)) różniczka (dF_p:T_pM\rightarrow T_c\mathbb{R}^k) jest surjektywna), to zbiór poziomów (F^{-1}(c)) jest gładką podrozmaitością (M) wymiaru (m - k). Jest to znane jako twierdzenie o wartości regularnej.
Rozważmy na przykład funkcję (F:\mathbb{R}^3\rightarrow\mathbb{R}) zdefiniowaną przez (F(x,y,z)=x^2 + y^2+z^2). Zbiór poziomów (F^{-1}(1)={(x,y,z)\in\mathbb{R}^3|x^2 + y^2 + z^2 = 1}) to sfera jednostkowa (S^2) w (\mathbb{R}^3). Ponieważ (1) jest regularną wartością (F), (S^2) jest gładką podrozmaitością (\mathbb{R}^3) wymiaru (2).
4. Przestrzenie styczne i przestrzenie normalne
Przestrzeń styczna i przestrzeń normalna podrozmaitości mogą również dostarczyć ważnych informacji do identyfikacji.
Przestrzenie styczne
Przestrzeń styczna (T_pN) podrozmaitości (N) w punkcie (p\in N) jest podprzestrzenią przestrzeni stycznej (T_pM) otaczającej rozmaitości (M) w (p). Jeżeli (N) jest podrozmaitością o wymiarze (n) w rozmaitości (M) o wymiarze (m), to (\dim(T_pN)=n) i (T_pN\subseteq T_pM).
Możemy użyć przestrzeni stycznej, aby sprawdzić, czy podzbiór (N\subseteq M) jest podrozmaitością. Jeśli możemy pokazać, że dla każdej (p\in N) istnieje dobrze zdefiniowana (n) - wymiarowa podprzestrzeń (T_pM), którą można zidentyfikować jako przestrzeń styczną (N) w (p), a ta przestrzeń styczna zmienia się płynnie wraz z (p), to (N) prawdopodobnie będzie podrozmaitością.
Normalne przestrzenie
Przestrzeń normalna (N_pN) podrozmaitości (N) w punkcie (p\in N) jest definiowana jako dopełnienie ortogonalne przestrzeni stycznej (T_pN) w (T_pM) względem danej metryki riemannowskiej na (M). Przestrzeń normalną można wykorzystać do badania lokalnego zachowania podrozmaitości w otaczającej ją rozmaitości, np. krzywizny i właściwości osadzania.
5. Zastosowania w sprzęcie hydraulicznym
W kontekście naszej działalności jako dostawcy kolektorów, koncepcja kolektorów pomocniczych ma praktyczne zastosowania w sprzęcie hydraulicznym. Na przykład przy projektowaniuObsługa małego zbiornikaIPołączony zbiornik do przekazywaniakanały przepływowe i komory w rozgałęźnikach można uważać za podrozgałęźniki całej struktury rozgałęźnika.
Rozumiejąc właściwości tych podrozdzielaczy, możemy zoptymalizować przepływ płynu hydraulicznego, zmniejszyć straty ciśnienia i poprawić ogólną wydajność układu hydraulicznego. Dodatkowo,Akcesoria do miernikówmożna wykorzystać do pomiaru ciśnienia i natężenia przepływu w tych podrozdzielaczach, dostarczając cennych danych do monitorowania i sterowania systemem.
6. Podsumowanie i wezwanie do działania
Identyfikacja podrozmaitości danej rozmaitości jest złożonym, ale istotnym zadaniem w geometrii różniczkowej i ma wiele praktycznych zastosowań w inżynierii i fizyce. Jako dostawca kolektorów posiadamy wiedzę i doświadczenie, które pomogą Ci zrozumieć i wykorzystać koncepcję kolektorów podrzędnych w Twoich projektach.
Niezależnie od tego, czy projektujesz nowy układ hydrauliczny, czy optymalizujesz istniejący, nasz zespół ekspertów może zapewnić wysokiej jakości kolektory i wsparcie techniczne. Jeśli są Państwo zainteresowani dodatkowymi informacjami na temat naszych produktów lub mają Państwo jakiekolwiek pytania dotyczące kolektorów podrzędnych, prosimy o kontakt w celu zamówienia i dalszej dyskusji.
Referencje
- Lee, John M. „Wprowadzenie do gładkich kolektorów”. Springer, 2012.
- Spiwak, Michał. „Kompleksowe wprowadzenie do geometrii różniczkowej”. Publikuj albo zgiń, 1979.
- do Carmo, Manfredo P. „Geometria Riemanna”. Birkhäusera, 1992.
