Đơn điểm (toán học)
Trong toán học, một đơn điểm, còn được gọi là tập đơn vị,[1] (trong tiếng Anh: singleton) là tập hợp có chính xác một phần tử.
Trong lý thuyết phạm trù
Các cấu trúc đơn điểm thường là các vật cuối hoặc vật zero trong nhiều phạm trù khác nhau.
Hàm chỉ thị
Xét là một lớp được định nghĩa bởi một hàm chỉ thị
Thế thì được gọi là đơn điểm khi và chỉ khi có một số y ∈ X sao cho với mọi x ∈ X,
Tham khảo
|
---|
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 | |
---|
|