Zanurzenie (matematyka)

Szablon:Spis treści Zanurzenie (włożenie) – odwzorowanie różnowartościowe $f:A\to B$ obiektu $A$ w obiekt $B$ zachowujące własności obiektu zanurzanego (to, o jakie własności chodzi, zależy od rozważanej teorii).

Istnienie zanurzenia implikuje istnienie w obiekcie $B$ podzbioru „identycznego” z obiektem $A.$

Teoria kategorii

W teorii kategorii odpowiednikiem zanurzenia jest monomorfizm. W zależności od rozpatrywanej kategorii, np. Set, Top, Gr, Vect_K, monomorfizmami są odwzorowania różnowartościowe, homeomorfizmy, homomorfizmy różnowartościowe, przekształcenia liniowe różnowartościowe.

Teoria mnogości

W teorii zbiorów zanurzeniem zbioru $A$ w zbiór $B$ jest funkcja różnowartościowa $f:A\to B.$

Zbiór $A$ można wtedy utożsamić ze zbiorem $f(A),$ gdzie $f(A)\subset B.$

Twierdzenie

Jeśli dla zbiorów $A$ i $B$ istnieją zanurzenia

$f:A\to B$ i $g:B\to A,$

to istnieje funkcja różnowartościowa $h:B\to A,$ że

$h(B)=A$.

Twierdzenie to jest równoważne twierdzeniu Cantora-Bernsteina.

Dowód

Można założyć, że $A$ jest podzbiorem $B,$ a funkcja $f=i{d}_A$ realizuje to zawieranie. Niech $Z_n$ będzie ciągiem określonym rekurencyjnie:

$Z_0=B\setminus A,Z_{n+1}=g(Z_n)\text{dla }n=0,1,2,\dots$

Niech $Z=\bigcup _{n=0}^{\mathrm{\infty }}{Z}_n.$ Wtedy $g(Z)=\bigcup _{n=1}^{\mathrm{\infty }}{Z}_n\subset A$ oraz $B\setminus Z=B\setminus (B\setminus A\cup g(Z))=A\setminus g(Z).$

Funkcja

$h(x)=\{\begin{array}{cc}g(x)& \text{dla }x\in Z\\ x& \text{dla }x\in B\setminus Z\end{array}$

jest bijekcją, bo

$Z\cap (B\setminus Z)=\varnothing ,$

$h(Z)\cap h(B\setminus Z)=g(Z)\cap (A\setminus g(Z))=\varnothing ,$

skąd wynika, że $h$ jest injekcją (czyli odwzorowaniem różnowartościowym) oraz

$h(Z)\cup h(B\setminus Z)=g(Z)\cup (A\setminus g(Z))=A,$

skąd wynika, że $h$ jest surjekcją (czyli odwzorowaniem „na”).

Topologia

Topologia ogólna

W topologii ogólnej zanurzeniem przestrzeni $A$ w przestrzeń $B$ nazywa się odwzorowanie $f:A\to B,$ takie że przestrzeń $A$ jest homeomorficzna ze swoim obrazem $f(A).$

Przykłady

• Okrąg jest homeomorficzny z dowolną krzywą zamkniętą zwyczajną (z łukiem zamkniętym) w przestrzeni ${ℛ}^3.$ Oznacza to, że można okrąg zanurzyć w przestrzeni $A,$ znajdując odwzorowanie różnowartościowe $f$ (zanurzenie), takie że obrazem okręgu $O$ jest pewna krzywa $\gamma =f(O)\in A.$
• W szczególności można badać łuki zamknięte na płaszczyźnie. Mogą one być regularne, jak płatki śniegu.

• 
  Łuk zamknięty (Płatek Kocha – iteracja 2)
• 
  Łuk zamknięty (Płatek Kocha – iteracja 3)
• 
  Łuk zamknięty (Płatek Kocha – iteracja 5)

Mogą także przyjmować formy nieregularne.

Twierdzenie Jordana: Każdy łuk zamknięty na płaszczyźnie rozcina ją na dwa obszary i jest ich wspólnym ograniczeniem.

Teoria węzłów zajmuje się zanurzeniami okręgu w przestrzeń trójwymiarową.

Tablica wszystkich węzłów pierwszych z co najwyżej siedmioma punktami skrzyżowania

Topologia różniczkowa

W topologii różniczkowej zanurzeniem przestrzeni $A$ w przestrzeń $B$ jest dyfeomorfizm $f:A\to B.$

Twierdzenie teorii rozmaitości gładkich

Zwarta $k$-wymiarowa rozmaitość gładka klasy gładkości $m>1$ (tzn. $m$ razy różniczkowalna) może być regularnie i dyfeomorficznie zanurzona w przestrzeń euklidesową $E^{2k+1}$ o wymiarze $2k+1.$ Klasa gładkości dyfeomorfizmu jest równa $m$.

Np. butelkę Kleina można dyfeomorficznie zanurzyć w przestrzeń euklidesową 5-wymiarową.

Topologia metryczna

Zanurzeniem przestrzeni metrycznej $A$ w przestrzeń metryczną $B$ jest izometria $f:A\to B.$

Algebra

W algebrze zanurzeniami są homomorfizmy różnowartościowe struktur algebraicznych.

Teoria grup

Homomorfizm $h:H\to G$ grupy multiplikatywnej $H$ w grupę multiplikatywną $G$ jest zanurzeniem, jeśli $\ker (h)=\{1\}.$

Przykłady

• Grupę ${\text{SO}}_2(ℝ)$ obrotów płaszczyzny dokoła punktu (np. początku układu współrzędnych) można zanurzyć w grupę multiplikatywną ciała liczb zespolonych ${ℂ}^{*}$

$\exp :R_O^{\alpha }\mapsto e^{i\alpha },$

gdzie $R_O^{\alpha }=\left[\begin{array}{cc}\cos \alpha & -\sin \alpha \\ \sin \alpha & \cos \alpha \end{array}\right]\in {\text{SO}}_2(ℝ)$ dla kąta $\alpha \in ⟨0;2\pi ).$

Grupę ${\text{SO}}_2(ℝ)$ można zatem utożsamić z okręgiem jednostkowym na płaszczyźnie zespolonej $\{e^{i\alpha }:\alpha \in ⟨0;2\pi )\}.$

Teoria ciał

• Każdy homomorfizm $\phi :K\to P$ ciała $K$ w pierścień przemienny niezerowy $P$ jest zanurzeniem (jego obraz jest izomorficzny z ciałem $K$).
• W każdym ciele jest zanurzone albo ciało liczb wymiernych $\mathbb{Q},$ albo ciało $p$-elementowe ${𝔽}_p,$ gdzie $p$ jest liczbą pierwszą. W pierwszym wypadku ciało ma charakterystykę 0, a w drugim – charakterystykę $p$.
• Każde ciało jest zanurzone w pewnym ciele algebraicznie domkniętym.

Teoria pierścieni

• Każdy pierścień bez dzielników zera można zanurzyć w jego pierścień ułamków.

Teoria modułów

• Niech $P$ będzie pierścieniem przemiennym z jedynką. Podzbiorem multiplikatywnie zamkniętym $S$ w $P$ jest zbiór zawierający 1 i zamknięty względem mnożenia. Niech $M$ będzie modułem nad pierścieniem $P.$ Na iloczynie kartezjańskim $M\times S$ można określić relację równoważności „$\equiv$”:

$(m,s)\equiv (m^1,s^1)$ ⇔ dla pewnego $t\in S$ zachodzi równość $t(m{s}^1-m^{1}s)=0.$

Klasy równoważności tej relacji nazywa się ułamkami i oznacza się je $m/s,$ a ich zbiór modułem ułamków $S^{-1}M.$ Podobnie można określić pierścień ułamków $S^{-1}P.$ Zbiór $S^{-1}M$ jest modułem nad pierścieniem $S^{-1}P.$ Wtedy jeśli

$f:N\to M$ jest zanurzeniem modułu $N$ w moduł $M,$

to odwzorowanie

$S^{-1}f(n/s)=f(n)/s$

jest zanurzeniem $S^{-1}N$ i $S^{-1}M$.

Bibliografia

• Szablon:Cytuj książkę
• Szablon:Cytuj stronę
• Szablon:Cytuj książkę
• Szablon:Cytuj książkę
• Szablon:Cytuj książkę
• Szablon:Cytuj książkę
• Szablon:Cytuj książkę
• Szablon:Cytuj książkę
• Szablon:Cytuj książkę