Một hàm số là đơn ánh khi nó áp dụng lên 2 đối số khác nhau luôn cho 2 giá trị khác nhau.
Một cách chặt chẽ, hàm f, xác định trên X và nhận giá trị trong Y, là đơn ánh nếu như nó thỏa mãn điều kiện với mọi x1 và x2 thuộc X và nếu x1 ≠ x2 thì f(x1) ≠ f(x2).
Nghĩa là, hàm số f là một đơn ánh khi và chỉ khi:
Tham khảo
Bài viết này vẫn còn sơ khai. Bạn có thể giúp Wikipedia mở rộng nội dung để bài được hoàn chỉnh hơn. |
|
---|
Tiên đề | - Tiên đề cặp
- Tiên đề chính tắc
- Tiên đề chọn
- đếm được
- phụ thuộc
- toàn cục
- Tiên đề giới hạn kích thước
- Tiên đề hợp
- Tiên đề mở rộng
- Tiên đề nối
- Tiên đề tập lũy thừa
- Tiên đề tính dựng được
- Tiên đề vô hạn
- Tiên đề Martin
| |
---|
Phép toán | |
---|
| |
---|
Các dạng tập hợp | |
---|
Lý thuyết | - Zermelo
- Principia Mathematica
- Zermelo–Fraenkel
- von Neumann–Bernays–Gödel
- Kripke–Platek
- Tarski–Grothendieck
|
---|
| |
---|
Nhà lý thuyết tập hợp | |
---|
Thể loại |