Tập hợp không đếm được

Trong toán học, một tập hợp không đếm được (hoặc tập hợp vô hạn không đếm được) là một tập hợp vô hạn chứa quá nhiều phần từ đến mức không thể đếm được. Tính không đếm được của một tập hợp có liên quan chặt chẽ đến lực lượng của nó: một tập hợp không thể đếm được nếu lực lượng của nó lớn hơn lực lượng của tập hợp tất cả các số tự nhiên.

Đặc điểm

Có nhiều đặc điểm tương đương của tính không thể đếm được. Một tập hợp X là không đếm được khi và chỉ khi có một trong các điều kiện sau:

  • Không có đơn ánh nào từ X tới tập hợp các số tự nhiên.
  • X không phải tập hợp rỗng và với bất kỳ dãy-ω của các phần tử của X, có ít nhất một phần tử của X không nằm trong dãy. Nghĩa là X là không rỗng và không có toàn ánh từ tập hợp các số tự nhiên tới X.
  • Lực lượng của X không hữu hạn và cũng không bằng 0 {\displaystyle \aleph _{0}} (aleph-null, lực lượng của các số tự nhiên).
  • Tập hợp X có lực lượng lớn hơn 0 {\displaystyle \aleph _{0}} .

Các tập hợp không đếm được

Tham khảo

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
Hệ thống số
Đếm được
Đại số chia
Split
Composition algebra
  • over ℝ:
  • Split-complex number
  • Split-quaternion
  • Split-octonion
    over ℂ:
  • Bicomplex number
  • Biquaternion
  • Bioctonion
Số siêu phức khác
  • Dual number
  • Dual quaternion
  • Hyperbolic quaternion
  • Sedenion  (𝕊)
  • Split-biquaternion
  • Số Multicomplex
Các loại khác
  • x
  • t
  • s
Chung
Thuật ngữ logic
Propositional calculus
Đại số Boole
  • Boolean functions
  • Phép tính mệnh đề
  • Công thức mệnh đề
  • Logical connectives
  • Truth tables
Logic vị từ
  • Logic bậc nhất
  • Lượng từ (logic)
  • Predicate (mathematical logic)
  • Logic bậc hai
  • Monadic predicate calculus
Naive set theory
Lý thuyết tập hợp
Lý thuyết mô hình
  • Cấu trúc (logic toán)
  • Interpretation (logic)
  • Non-standard model
  • Lý thuyết mô hình hữu hạn
  • Giá trị chân lý
  • Validity
Lý thuyết chứng minh
  • Formal proof
  • Deductive system
  • Hệ hình thức
  • Định lý toán học
  • Hệ quả logic
  • Rule of inference
  • Syntax (logic)
Lý thuyết tính toán
  • Đệ quy
  • Tập đệ quy
  • Tập tuần tự đệ quy
  • Bài toán quyết định
  • Church–Turing thesis
  • Hàm tính được
  • Primitive recursive function
  • 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