Vi phôi, Định lý hàm ngược và Định lý hàm ẩn

Đây chỉ là câu chuyện, cách diễn đạt mà tôi tự kể cho mình nghe, không phải là một bài viết khoa học chính thống. Tôi viết để giúp bản thân dễ nắm bắt, dễ hình dung hơn về một số khái niệm toán học mà tôi quan tâm, và điều bất ngờ là qua đó, tôi cũng có thêm một số hiểu biết sâu sắc về chính những khái niệm đó. Nếu bạn thấy nó hữu ích, tôi cũng xin lấy làm vui lòng. Nếu bạn thấy có gì không đúng, hãy cho tôi biết để tôi có thể sửa chữa. Cảm ơn bạn đã đọc!

Trong giải tích nhiều biến và hình học vi phân, có một “bộ ba quyền lực” luôn đi liền với nhau: Vi phôi (Diffeomorphism), Định lý hàm ngược (Inverse Function Theorem), và Định lý hàm ẩn (Implicit Function Theorem). Bài viết này là cách tôi xâu chuỗi chúng lại để thấy rằng, thực chất cả ba chỉ là những góc nhìn khác nhau của cùng một hiện tượng: sự “trơn tru” của không gian.

1. Những đường cong, bề mặt cong và Vi phôi

Từ lâu, con người chúng ta bị thu hút bởi những hình dạng và cấu trúc mà ta thấy trong tự nhiên. Các con sông uốn quanh thung lũng, lá cây cong mềm mại, và quỹ đạo các hành tinh uốn lượn trong không gian. Những hình dạng này không “cứng nhắc”, nó khá mượt mà, trơn tru và hay thay đổi, tuy nhiên, phần lớn các thay đổi vẫn giữ nguyên vẻ mượt mà của nó. Tính mượt mà đó, trong toán, người ta gọi là tính “trơn” (smooth). Một hình dạng không có nếp gấp hoặc không có vết cắt sắc nét thì được coi là trơn trong toán học.

Hãy nghĩ đến một quả bóng bầu dục. Nếu bạn bóp hoặc kéo dãn nó, quả bóng sẽ biến đổi, tạo ra nhiều hình dạng khác nhau. Điểm chung giữa những hình dạng này là gì? Đó là bạn vẫn có thể đưa nó trở về hình bầu dục ban đầu bằng một phép biến đổi ngược lại mà không cần phải xé rách hay cắt dán.

Những câu hỏi này dẫn đến khái niệm vi phôi (diffeomorphism). Hãy tưởng tượng hai bề mặt, như tấm cao su và tấm cao su khác đã được kéo dãn thành hình dạng khác. Một vi phôi là một loại “biến đổi trơn” giữa hai hình dạng này. Hiểu nôm na là: “Hai hình này nhìn có vẻ khác nhau, nhưng có một cách để biến đổi cái này thành cái kia mà vẫn bảo toàn đặc tính trơn của mỗi hình, nên về cơ bản chúng giống nhau.”

Chuyển sang ngôn ngữ toán học, biến đổi trơn qua lại giữa 2 hình đó được gọi là vi phôi. Nếu đặt tên cho cách biến đổi đó là $f,$ thì vi phôi giữa hai không gian $U$ và $V$ là:

• Một hàm $f: U \to V$ là song ánh (ánh xạ 1-1, có thể đi và về),
• Cả $f$ và hàm ngược $f^{-1}$ đều khả vi liên tục (trơn).

Vi phôi giúp các nhà toán học phân loại các hình dạng. Hai hình có thể khác nhau về kích thước hay độ cong, nhưng nếu chúng có thể biến đổi trơn thành nhau thì sẽ được coi là tương đương về bản chất.

2. Định lý hàm ngược: Kính lúp của Vi phôi

Vậy làm sao ta biết một phép biến đổi $f$ có phải là vi phôi hay không? Việc tìm ra công thức cụ thể của hàm ngược $f^{-1}$ thường vô cùng khó, thậm chí bất khả thi.

Đây là lúc Định lý hàm ngược (Inverse Function Theorem) xuất hiện như một chiếc “kính lúp”. Nó cho phép ta không cần nhìn toàn cục, mà chỉ cần nhìn vào một điểm nhỏ xíu.

Trực giác: Hãy tưởng tượng bạn đang cầm một tấm cao su (không gian ban đầu) và kéo dãn nó (phép biến đổi $f$). Tại một điểm cụ thể, nếu bạn không kéo cho tấm cao su bị “bẹp dúm” thành một đường thẳng hay một điểm (tức là không làm mất đi số chiều không gian), thì ở ngay sát điểm đó, tấm cao su vẫn giữ nguyên cấu trúc trải rộng của nó. Do đó, bạn hoàn toàn có thể “kéo ngược” phần nhỏ xíu đó về hình dáng ban đầu.

Trong toán học, đại lượng đo lường việc không gian có bị “bẹp” hay không chính là Ma trận Jacobian (ma trận chứa các đạo hàm riêng). Định thức của Jacobian đo lường tỷ lệ thay đổi thể tích cục bộ.

Phát biểu (cục bộ):

Nếu một hàm $f$ trơn và định thức Jacobian của nó tại điểm $p$ khác 0 ($\det(J_f(p)) \neq 0$), thì tồn tại một vùng lân cận nhỏ quanh $p$ sao cho $f$ là một vi phôi cục bộ (local diffeomorphism).

Nghĩa là, chỉ cần tính đạo hàm tại một điểm và thấy nó khác 0 (không bị suy biến), bạn được đảm bảo rằng: xung quanh điểm này, phép biến đổi là một song ánh trơn, và bạn có thể “quay ngược thời gian” (tồn tại hàm ngược) một cách an toàn mà không bị vướng điểm kỳ dị nào.

$$ \phi(x) = x + [J_f(p)]^{-1} \big(y - f(x)\big) $$

Lấy đạo hàm của $\phi$ tại $p$, ta có $J_\phi(p) = I - [J_f(p)]^{-1} J_f(p) = 0$. Vì đạo hàm bằng 0 tại $p$ và hàm là liên tục (trơn), nên ở một lân cận đủ nhỏ quanh $p$, độ lớn của đạo hàm rất gần 0. Điều này biến $\phi$ thành một ánh xạ co. Theo định lý điểm bất động Banach, với mỗi $y$ gần $f(p)$, luôn tồn tại duy nhất một $x$ sao cho $\phi(x) = x$, tức là $f(x) = y$. Sự tồn tại và tính duy nhất này chính là hàm ngược cục bộ ta đang tìm!

3. Định lý hàm ẩn: Gỡ rối các biến

Định lý hàm ngược mang lại cho chúng ta một món quà to lớn khác: Định lý hàm ẩn (Implicit Function Theorem).

Trong thực tế, các hình dạng hình học thường không được cho sẵn dưới dạng hàm số tường minh $y = f(x)$, mà bị “giấu” (ẩn) trong một phương trình ràng buộc, ví dụ $F(x, y) = 0$. Ví dụ kinh điển nhất là phương trình đường tròn: $x^2 + y^2 - 1 = 0$.

Câu hỏi là: Khi nào ta có thể “rút” $y$ ra để nó trở thành một hàm số của $x$ (tức là $y = f(x)$) từ phương trình $F(x,y)=0$? Với đường tròn, ta biết $y = \pm\sqrt{1 - x^2}$. Nhưng tại hai điểm nằm ngang ở mép trái và mép phải $(-1,0)$ và $(1,0)$, đường tròn bị “dựng đứng”. Tại hai điểm này, một giá trị $x$ nhích nhẹ vào trong sẽ tương ứng với hai giá trị $y$, nên ta không thể coi $y$ là hàm của $x$ ở lân cận điểm đó (vì định nghĩa hàm số yêu cầu một $x$ chỉ cho một $y$).

Trực giác: Ta chỉ có thể “gỡ” $y$ ra khỏi mớ bòng bong $F(x,y)=0$ tại những nơi mà đồ thị không bị “dựng đứng” theo trục $y$. Tức là, nếu ta nhích $y$ một chút, giá trị của $F$ phải thực sự thay đổi một lượng khác 0.

Phát biểu:

Giả sử $F(x, y) = 0$ tại một điểm $(x_0, y_0)$. Nếu đạo hàm riêng theo hướng $y$ tại điểm đó không bị triệt tiêu ($\frac{\partial F}{\partial y}(x_0, y_0) \neq 0$), thì ở quanh điểm đó, ta luôn có thể biểu diễn $y$ như một hàm số trơn của $x$: $y = f(x)$.

$$ J_\Phi = \begin{pmatrix} I & 0 \\ \frac{\partial F}{\partial x} & \frac{\partial F}{\partial y} \end{pmatrix} $$$$ (x, y) = \Phi^{-1}(x, 0) = \big(x, g(x, 0)\big) $$

Và bùm! Ta thu được $y = g(x, 0)$. Chỉ cần đặt $f(x) = g(x, 0)$, ta đã rút thành công $y = f(x)$ một cách vô cùng gọn gàng. Cả hai định lý này thực chất chỉ là hai mặt của một đồng xu!

Tóm lại

• Vi phôi là ngôn ngữ để chúng ta nói về sự tương đương của các hình dạng trơn cong.
• Định lý hàm ngược là công cụ chẩn đoán (thông qua đạo hàm Jacobian) xem liệu một phép biến đổi có phải là vi phôi ở cấp độ vi mô hay không.
• Định lý hàm ẩn tận dụng sức mạnh đó để giúp ta “cô lập” các biến số, chuyển từ phương trình ràng buộc phức tạp sang dạng đồ thị hàm số $y=f(x)$ quen thuộc, tạo nền tảng vững chắc để xây dựng các khái niệm cao hơn như “đa tạp” (manifold).

Bộ ba này chính là những mảnh ghép nền tảng, xây dựng nên toàn bộ tòa lâu đài của Hình học vi phân và Giải tích đa biến.