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.
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. phát biểu rằng: nếu A: X → Y là một toàn ánh liên tục và tuyến tính giữa các không gian Banach X và Y, 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:
• Nếu A: X → Y là một song ánh liên tục tuyến tính giữa hai không gian Banach X và Y, thì toán tử ngược A-1: Y →
X cũng liên tục (điều này gọi là định lý hàm ngược bị chặn).
• Nếu A: X → Y là một toán tử tuyến tính giữa hai không gian Banach X và Y, và nếu như mọi dãy (xn) trong X với
xn → 0 và Axn → y thì điều kéo theo là y = 0, thì A liên tục (Định lý đồ thị đóng).
Giải tích phức
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 C và f: U
→ C 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.
Định lý cơ bản của số học
Bách khoa toàn thư mở Wikipedia Bước tới: menu, tìm kiếm
Định lý cơ bản của số học nói về sự phân tích duy nhất một số tự nhiên thành tích các thừa số nguyên tố. Phát biểu của định lý - Dạng phân tích tiêu chuẩn của số tự nhiên