Đơ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 S {\displaystyle S} là một lớp được định nghĩa bởi một hàm chỉ thị

b : X { 0 , 1 } . {\displaystyle b:X\to \{0,1\}.}

Thế thì S {\displaystyle S} được gọi là đơn điểm khi và chỉ khi có một số yX sao cho với mọi xX,

b ( x ) = ( x = y ) . {\displaystyle b(x)=(x=y).}

Tham khảo

  1. ^ Stoll, Robert (1961). Sets, Logic and Axiomatic Theories. W. H. Freeman and Company. tr. 5–6.
Hình tượng sơ khai Bài viết liên quan đến toán học 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.
  • x
  • t
  • s
  • x
  • t
  • s
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
  • Sơ đồ tiên đề
    • thay thế
    • tuyển lựa
Biểu đồ Venn hai tập hợp giao nhau


Phép toán
  • Khái niệm

  • Phương pháp
Các dạng
tập hợp
Lý thuyết
  • Zermelo
    • Tổng quát
  • Principia Mathematica
    • New Foundations
  • Zermelo–Fraenkel
    • von Neumann–Bernays–Gödel
      • Morse–Kelley
    • Kripke–Platek
    • Tarski–Grothendieck
  • Nghịch lý

  • Vấn đề
Nhà lý thuyết
tập hợp
Thể loại