KAMP
Matematika => Matematika Fisika Teori => Topik dimulai oleh: cotrans pada Juni 16, 2020, 04:03:44 PM
-
\section{Submanifold}
Bidang $xy$ pada ruang $\mathbb{R}^3$ merupakan contoh dari submanifold reguler dari sebuah manifold. Ia didefinisikan dengan menghilangkan fungsi koordinat $z$.
Definisi 9.1.
Himpunan bagian $S$ dari manifold $N$ berdimensi $n$ merupakan manifold reguler berdimensi $k$ jika untuk setiap $p \in S$ terdapat tetangga koordinat $(U, \phi) = (U, x^1, \cdots, x^n)$ dari $p$ dalam atlas maksimal dari $N$ sedemikian rupa sehingga $U\cap S$ didefinisikan dengan menghilangkan $n - k$ fungsi koordinat. Dengan menomori kembali koordinat tersebut,
kita boleh mengasumsikan bahwa $n -k$ buah fungsi koordinat ini adalah $x^{k + 1}, \cdots, x^n$.
Kita menyebut peta semacam ini, yaitu $(U, \phi)$ di $N$ sebagai peta adapsi relatif terhadap $S$. Pada $U\cap S$, $\phi = (x^1, \cdots, x^k, 0, \cdots, 0)$. Andaikan
\[ \phi_S \,:\, U\cap S \to \mathbb{R}^k \]
adalah pembatasan dari $k$ komponen pertama dari $\phi$ ke $U\cap S$, yaitu bahwa $\phi_S = (x^1, \cdots, x^k)$. Perlu dicatat bahwa $(U\cap S, \phi_S)$ adalah peta untuk $S$ dalam subruang topologi.
Definisi 9.2.
Apabila $S$ merupakan submanifold reguler berdimensi $k$ pada manifold $N$ berdimensi $n$, maka $n - k$ dikatakan sebagai kodimensi dari $S$ di $N$.
Perhatian. Sebagai ruang topologis, submanifold reguler dari $N$ dikehendaki memiliki subruang topologi.
-
Contoh
Dalam definisi dari manifold reguler, dimensi $k$ dari submanifold tersebut boleh sama dengan $n$, yang merupakan dimensi dari manifold tersebut. Dalam hal ini, $U\cap S$ didefinisikan dengan melenyapkan tak satu pun fungsi koordinat dan sehingga $U\cap S = U$. Oleh karena itu, sebuah himpunan bagian terbuka dari sebuah manifold merupakan submanifold reguler yang berdimensi sama.
Perhatian. Ada jenis lain dari submanifold, namun kecuali jika dikhususkan yang lain, dengan "submanifold", kita akan selalu mengartikan "submanifold reguler".
Contoh
Interval $S := (-1, 1)$ pada sumbu-$x$ merupakan submanifold reguler dari bidang-$xy$. Sebagai sebuah peta adapsi, kita boleh mengambil bujur sangkar terbuka $(-1, 1)\times(-1, 1)$ dengan koordinat $x, y$. Lantas, $U\cap S$ mendekati himpunan nol dari $y$ pada $U$.
Perlu dicatat bahwa jika $V = (-2, 0)\times(-1, 1)$, maka $(V, x, y)$ bukanlah peta adapsi relatif terhadap $S$, mengingat $V\cap S$ merupakan interval terbuka $(-1, 0)$ pada sumbu-$x$, sementara himpunan nol dari $y$ pada $V$ merupakan interval terbuka $(-2, 0)$ pada sumbu-$x$.
-
Proposisi 9.4.
Andaikan $S$ merupakan submanifold reguler dari $N$ dan $\mathcal{U} = \{ (U, \phi) \}$ merupakan koleksi dari peta adapsi kompatibel dari $N$ yang meliput $S$. Lantas, $\{ (U\cap S, \phi_S) \}$ merupakan atlas untuk $S$. Oleh karena itu, submanifold reguler manifold itu sendiri. Jika $N$ berdimensi $n$ dan $S$ secara lokal didefinisikan dengan cara menghilangkan $n - k$ buah koordinat, maka $\dim S = k$.
Bukti.
Andaikan $(U, \phi) = (U, x^1, \cdots, x^n)$ dan $(V, \psi) = (V, y^1, \cdots, y^n)$ adalah dua buah peta adapsi dalam koleksi yang diberikan. Anggaplah bahwa $U$ dan $V$ beririsan. Sebagaimana kita perhatikan dalam Definisi 9.1, dalam sebarang peta adapsi relatif terhadap submanifold $S$, maka maka mungkin untuk menomori koordinat agar $n - k$ buah koordinat terakhir lenyap pada titik-titik dari $S$.
Lantas untuk $p \in U\cap V\cap S$, berlaku
\[ \phi(p) = (x^1, \cdots, x^k, 0, \cdots, 0) ~~~~~ \text{dan} ~~~~~ \psi(p) = (y^1, \cdots, y^k, 0, \cdots, 0), \]
sehingga
\[ \phi_S(p) = (x^1, \cdots, x^k) ~~~~~ \text{dan} ~~~~~ \psi_S(p) = (y^1, \cdots, y^k). \]
Oleh karena itu,
\[ (\psi_S\circ\phi_S^{-1})(x^1, \cdots, x^k) = (y^1, \cdots, y^k) \]
Mengingat $y^1, \cdots, y^k$ merupakan fungsi licin dari $x^1, \cdots, x^k$ (karena $\psi\circ\phi^{-1}$ licin), maka fungsi transisi $\psi_S\circ\phi_S^{-1}$ juga licin. Secara serupa, mengingat $x^1, \cdots, x^k$ merupakan fungsi licin dari $y^1, \cdots, y^k$, maka $\psi_S\circ\phi_S^{-1}$ juga licin. Dari sini, sebarang dua buah peta dalam $\{ (U\cap S, \phi_S) \}$ bersifat kompatibel dan licin. Mengingat $\{ U\cap S \}_{U \in \mathcal{U}}$ meliput $S$, maka koleksi $\{ (U\cap S, \phi_S) \}$ merupakan atlas licin pada $S$.
-
\section{Himpunan Tingkat dari sebuah Fungsi}
Himpunan tingkat dari pemetaan $F \,:\, N \to M$ merupakan himpunan bagian
\[ F^{-1}(\{ c \}) = \{ p \in N ~|~ F(p) = c \} \]
untuk sebagian $c \in M$. Notasi biasa untuk himpunan tingkat adalah $F^{-1}(c)$, alih-alih yang lebih benar, yaitu $F^{-1}(\{ c \})$. Nilai $c \in M$ disebut tingkat dari himpunan tingkat $F^{-1}(c)$. Apabila $F \,:\, N \to \mathbb{R}^m$, maka $Z(F) := F^{?1}(0)$ merupakan himpunan nol dari $F$. Sebutlah bahwa $c$ merupakan nilai reguler dari $F$ jika dan hanya jika $c$ tidak berada di dalam bayangan dari $F$ maupun pada setiap titik $p \in F^{-1}(c)$, diferensial $F_{*, p} \,:\, T_pN \to T_{F(p)}M$ surjektif. Bayangan balik $F^{-1}(c)$ dari nilai reguler $c$ disebut himpunan tingkat reguler. Jika himpunan nol $F^{-1}(0)$ merupakan himpunan tingkat reguler dari $F \,:\, N \to \mathbb{R}^m$, maka ia disebut himpunan nol reguler.
Pernyataan 9.5.
Jika himpunan tingkat reguler $F^{?1}(c)$ tidak kosong, katakanlah $p \in F^{-1}(c)$, maka pemetaan $F \,:\, N \to M$ merupakan submersi pada $p$. Oleh karena itu, $\dim N \geq \dim M$.
Lema 9.7.
Andaikan $g \,:\, N \to \mathbb{R}$ adalah fungsi licin. Himpunan tingkat reguler $g^{-1}(c)$ dari tingkat $c$ dari fungsi $g$ merupakan himpunan nol reguler $f^{-1}(0)$ dari fungsi $f = g ? c$.
Bukti.
Untuk sebarang $p \in N$,
\[ g(p) = c \Leftrightarrow f(p) = g(p) - c = 0. \]
Dari sini, $g^{-1}(c) = f^{-1}(0)$. Sebutlah himpunan $S$ ini. Karena diferensial $f_{*, p}$ sama dengan $g_{*, p}$ pada setiap titik $p \in N$, maka fungsi $f$ dan $g$ secara eksak memiliki titik-titik kritis yang sama. Mengingat $g$ tidak memiliki titik kritis di $S$, maka $f$ juga tidak.
-
Teorema 9.8.
Andaikan $g \,:\, N \to \mathbb{R}$ adalah fungsi licin pada manifold $N$. Lantas, himpunan tingkat regular tak kosong $S = g^{-1}(c)$ adalah submanifold regular dari $N$ dengan kodimensi $1$.
Bukti.
Andaikan $f = g - c$. Dengan lema terdahulu, $S$ sama dengan $f^{-1}(0)$ dan merupakan himpunan tingkat regular dari $f$. Andaikan $p \in S$. Mengingat $p$ adalah titik reguler dari $f$, relatif terhadap sebarang peta $(U, x^1, \cdots, x^n)$ di sekitar $p$, maka $(\partial f/\partial x^i)(p) \neq 0$ untuk sebagian $i$. Dengan menomori kembali $x^1, \cdots, x^n$, kita boleh menganggap bahwa $(\partial f/\partial x^1) \neq 0$.
Matriks Jacobian dari pemetaan licin $(f, x^2, \cdots, x^n) \,:\, U \to \mathbb{R}^n$ adalah
\[ \begin{pmatrix} \partial f/\partial x^1 & \partial f/\partial x^2 & \cdots & \partial f/\partial x^n \\ \partial x^2/\partial x^1 & \partial x^2/\partial x^2 & \cdots & \partial x^2/\partial x^n \\ \vdots & \vdots & \ddots & \vdots \\ \partial x^n/\partial x^1 & \partial x^n/\partial x^2 & \cdots & \partial x^n/\partial x^n \end{pmatrix} = \begin{pmatrix} \partial f/\partial x^1 & \partial f/\partial x^2 & \cdots & \partial f/\partial x^n \\ 0 & 1 & \cdots & 0 \\ \vdots & \vdots & \ddots & \vdots \\ 0 & 0 & \cdots & 1 \end{pmatrix}. \]
Jadi, determinan Jacobian $\partial(f, x^2, \cdots, x^n)/\partial(x^1, \cdots, x^n)$ di $p$ adalah $(\partial f/\partial x^1)(p) \neq 0$. Dengan teorema fungsi invers, terdapat tetangga $U_p$ dari $p$ yang mana $f , x^2, \cdots, x^n$ membentuk sistem koordinat. Relatif terhadap peta $(U_p, f, x^2, \cdots, x^n)$, himpunan tingkat $U_p\cap S$ didefinisikan dengan mengatur koordinat pertama $f$ agar sama dengan $0$, sehingga $(U_p, f, x^2, \cdots, x^n)$ merupakan peta adapsi relatif terhadap $S$. Mengingat $p$ sebarang, maka $S$ merupakan submanifold reguler berdimensi $n - 1$ di $N$.
-
\section{Teorema Himpunan Tingkat Reguler}
Langkah selanjutnya adalah memperluas Teorema 9.8 menjadi himpunan tingkat reguler dari pemetaan antar-manifold licin. Teorema yang sangat berguna ini rupa-rupanya tidak memiliki nama yang disepakati dalam literatur. Ia diketahui sebagai teorema fungsi implisit, teorema pra-bayangan, dan teorema himpunan tingkat reguler, di antara istilah-istilah lain.
Teorema 9.9 (Teorema Himpunan Tingkat Reguler).
Andaikan $F \,:\, N \to M$ adalah pemetaan licin dari manifold, dengan $\dim N = n$ dan $\dim M = m$. Lantas, himpunan tingkat reguler tak kosong $F^{-1}(c)$, di mana $c \in M$, merupakan submanifold reguler dari $N$ dengan dimensi sama dengan $n - m$.
Bukti.
Pilihlah peta $(V, \psi) = (V, y^1, \cdots, y^m)$ dari $M$ yang berpusat di $c$, yaitu sedemikian rupa sehingga $\psi(c) = 0$ di $\mathbb{R}^m$. Lantas, $F^{?1}(V)$ adalah himpunan terbuka di $N$ yang memuat $F^{?1}(c)$. Lebih lanjut lagi, di $F^{?1}(V)$, $F^{?1}(c) = (\psi\circ F)^{?1}(0)$. Jadi, himpunan tingkat $F^{?1}(c)$ merupakan himpunan nol dari $\psi\circ F$. Jika $F^i = y^i\circ F = r^i\circ(\psi\circ F)$, maka $F^{?1}(c)$ juga merupakan himpunan nol biasa dari fungsi-fungsi $F^1, \cdots, F^m$ pada $F^{?1}(V)$.
Karena himpunan tingkat reguler dianggap tidak kosong, maka $n \geq m$ (Pernyataan 9.5). Tetapkanlah sebuah titik $p \in F^{-1}(c)$ dan andaikan $(U, \phi) = (U, x^1, \cdots, x^n)$ tetangga koordinat dari
$p$ di $N$ yang termuat dalam $F^{?1}(V)$. Mengingat $F^{?1}(c)$ adalah himpunan tingkat reguler, maka $p \in F^{-1}(c)$ adalah titik reguler dari $F$. Oleh karena itu, matriks Jacobian $m\times n$ $[(\partial F^i/\partial x^j)(p)]$ memiliki rank $m$. Dengan menomori kembali $F^i$ dan $x^j$, kita boleh menganggap bahwa blok $m\times m$ pertama, yaitu $[(\partial F^i/\partial x^j)(p)]_{1 \leq i, j \leq m}$ tak singgular.
Gantikanlah $m$ buah koordinat pertama, yaitu $x^1, \cdots, x^m$ dari peta $(U, \phi)$ dengan $F^1, \cdots, F^m$. Kita mengklaim bahwa terdapat tetangga $U_p$ dari $p$ sedemikian rupa sehingga $(U_p, F^1, \cdots, F^m, x^{m+1}, \cdots, x^n)$ merupakan peta dalam atlas dari $N$. Cukuplah untuk meghitung matriks Jacobian-nya di $p$, yaitu
\[ \begin{pmatrix} \partial F^i/\partial x^j & \partial F^i/\partial x^\beta \\ \partial x^\alpha/\partial x^\beta & \partial x^\alpha/\partial x^\beta \end{pmatrix} = \begin{pmatrix} \partial F^i/\partial x^j & \partial F^i/\partial x^\beta \\ 0 & {\delta^\alpha}_\beta \end{pmatrix}, \]
di mana $1 \leq i, j \leq m$ dan $m + 1 \leq \alpha, \beta \leq n$. Mengingat matriks ini memiliki determinan
\[ \det\left[\frac{\partial F^i}{\partial x^j}(p)\right]_{1 \leq i, j \leq m} \neq 0, \]
maka teorema fungsi invers mengakibatkan klaim tersebut.
Pada peta $(U_p, F^1, \cdots, F^m, x^{m + 1}, \cdots, x^n)$, himpunan $S := f^{?1}(c)$ ditentukan dengan menyeting $m$ buah fungsi koordinat pertama, yaitu $F^1, \cdots, F^m$ sama dengan $0$. Jadi, $(U_p, F^1, \cdots, F^m, x^{m + 1}, \cdots, x^n)$ merupakan peta adapsi untuk $N$ relatif terhadap $S$. Mengingat ini benar di sekitar setiap titik $p \in S$, maka $S$ merupakan submanifold reguler dari $N$ yang berdimensi $n - m$.