Trong toán học, có 2 định lý có cùng tên "nguyên lý ánh xạ mở". Trong cả hai trường hợp, chúng đều đưa ra những điều kiện mà nếu thỏa thì một số ánh xạ cho trước là ánh xạ mở, nghĩa là ảnh của những tập mở là những tập mở. Đó là những kết quả quan trọng, vì không giống như ảnh ngược, ảnh của ánh xạ thường là ít thông tin hơn.

Giải tích hàm sửa

Trong giải tích hàm, nguyên lý ánh xạ mở, cũng được biết đến như là Định lý Banach-Schauder, là một kết quả căn bản phát biểu rằng: nếu A: XY là một toàn ánh liên tụctuyến tính giữa các không gian Banach XY, thì A là một ánh xạ mở (i.e. nếu U là một tập mở trong X, thì A(U) là tập mở trong Y).

Chứng minh định lý này sử dụng định lý phạm trù Baire.

Nguyên lý ánh xạ mở có hai hệ quả quan trọng sau đây:

Giải tích phức sửa

Trong giải tích phức, định lý ánh xạ mở phát biểu rằng nếu U là một tập mở connected trong mặt phẳng phức Cf: UC là một hàm số holomorphic không phải là hằng số, thì f là một ánh xạ mở (nghĩa là nó gửi các tập mở U đi thành các tập mở trong mặt phẳng phức C).

Định lý ánh xạ mở đưa ra điểm khác biệt rõ giữa holomorphy và khả vi thực (real-differentiability). Trên đường thẳng thực, ví dụ, hàm số f(x) = x2 không phải là ánh xạ mở (hàm này gửi đường thẳng thực (mở) thành đoạn  . Trong khi đó, f (z) = z2 là hàm holomorphic.

Định lý này kéo theo một hàm số holomorphic không thể đưa một đĩa mở vào một phần của đường thẳng.

Tham khảo sửa