Nguyễn Thành Trung
(nt2)
New Member
Các khái niệm cơ bản:
-Tập X và Y được gọi là equivalent (tương đương) hoặc có lực lượng = nhau nếu giữa chúng có thể thiết lập 1 ánh xạ 1-1 (song ánh). Kí hiệu : X~Y
-Tập X gọi là hữu hạn nếu tồn tại số tự nhiên n, sao cho X~{1, 2, ..., n}. (Nói cho dễ hiểu thì tập X có hữu hạn phần tử)
-Tập X gọi là đếm được nếu X~N (N = tập các số tự nhiên). (Nói cho dễ hiểu thì ta có thể đánh số được các phần tử của X và X phai là tập vô hạn phần tử)
-Tập không dếm được tất nhiên khôg phải là tập đếm được rồi.
Định lý:
-Q (tập các số hữu tỉ) là tập đếm được.
-R (tập các số thực) là tập không đếm được.
-Tập X và Y được gọi là equivalent (tương đương) hoặc có lực lượng = nhau nếu giữa chúng có thể thiết lập 1 ánh xạ 1-1 (song ánh). Kí hiệu : X~Y
-Tập X gọi là hữu hạn nếu tồn tại số tự nhiên n, sao cho X~{1, 2, ..., n}. (Nói cho dễ hiểu thì tập X có hữu hạn phần tử)
-Tập X gọi là đếm được nếu X~N (N = tập các số tự nhiên). (Nói cho dễ hiểu thì ta có thể đánh số được các phần tử của X và X phai là tập vô hạn phần tử)
-Tập không dếm được tất nhiên khôg phải là tập đếm được rồi.
Định lý:
-Q (tập các số hữu tỉ) là tập đếm được.
-R (tập các số thực) là tập không đếm được.