Khác biệt giữa bản sửa đổi của “Tập hợp (toán học)”

Bách khoa toàn thư mở Wikipedia
Nội dung được xóa Nội dung được thêm vào
Thẻ: Sửa đổi di động Sửa đổi từ trang di động
n Đã lùi lại sửa đổi của 14.187.169.242 (Thảo luận) quay về phiên bản cuối của Tuanminh01
Dòng 45: Dòng 45:
Quan hệ A <math>\subset</math> B còn được gọi là [[quan hệ bao hàm]]. Quan hệ bao hàm là một quan hệ thứ tự trên các tập. Ví dụ:
Quan hệ A <math>\subset</math> B còn được gọi là [[quan hệ bao hàm]]. Quan hệ bao hàm là một quan hệ thứ tự trên các tập. Ví dụ:
:<math>\mathbb N</math>: Tập hợp [[số tự nhiên]]
:<math>\mathbb N</math>: Tập hợp [[số tự nhiên]]
:<math>\mathbb Z</math>: Tập hợp [[số nguhhbbbbyên]]
:<math>\mathbb Z</math>: Tập hợp [[số nguyên]]
:<math>\mathbb Q</math>: Tập hợp [[số hữu tỉ]]
:<math>\mathbb Q</math>: Tập hợp [[số hữu tỉ]]
:<math>\mathbb I</math> = <math>\mathbb R</math><math>\setminus</math><math>\mathbb Q</math>: Tập hợp [[số vô tỉ]]
:<math>\mathbb I</math> = <math>\mathbb R</math><math>\setminus</math><math>\mathbb Q</math>: Tập hợp [[số vô tỉ]]

Phiên bản lúc 03:01, ngày 13 tháng 9 năm 2017

Trong toán học, tập hợp có thể hiểu tổng quát là một sự tụ tập của một số hữu hạn hay vô hạn các đối tượng nào đó. Người ta khẳng định những đối tượng này được gọi là các phần tử của tập hợp và bất kỳ một đối tượng nào cũng đều có thể được đưa vào một tập hợp. Tập hợp là một khái niệm nền tảng (fundamental) và quan trọng của toán học hiện đại. Ngành toán học nghiên cứu về tập hợp là lý thuyết tập hợp.

Trong lý thuyết tập hợp, người ta xem tập hợp là một khái niệm nguyên thủy, không định nghĩa. Nó tồn tại theo các tiên đề được xây dựng một cách chặt chẽ. Khái niệm tập hợp là nền tảng để xây dựng các khái niệm khác như số, hình, hàm số... trong toán học.

Nếu a là phần tử của tập hợp A, ta ký hiệu a A. Khi đó ta cũng nói rằng phần tử a thuộc tập hợp A.

Một tập hợp có thể là một phần tử của một tập hợp khác. Tập hợp mà mỗi phần tử của nó là một tập hợp còn được gọi là họ tập hợp.

Lý thuyết tập hợp cũng thừa nhận có một tập hợp không chứa phần tử nào, được gọi là tập hợp rỗng, ký hiệu là . Các tập hợp có chứa ít nhất một phần tử được gọi là tập hợp không rỗng.

Ngày nay, một phần của lý thuyết tập hợp đã được nhiều nước đưa vào giáo dục phổ thông, thậm chí ngay từ bậc tiểu học.

Nhà toán học Georg Cantor được coi là ông tổ của lý thuyết tập hợp. Để ghi nhớ những đóng góp của ông cho lý thuyết tập hợp nói riêng và toán học nói chung, tên ông đã được đặt cho một ngọn núi ở Mặt Trăng.

Biểu diễn tập hợp

Không phải mọi tập hợp đều cần phải liệt kê rành mạch theo thứ tự nào đó. Chúng có thể được mô tả bằng các tính chất đặc trưng cho các phần tử của chúng mà nhờ đó có thể xác định một đối tượng nào đó có thuộc tập hợp này hay không.

  • Tập hợp có thể được xác định bằng lời:
A là tập hợp bốn số nguyên dương đầu tiên.
B là tập hợp các màu trên quốc kỳ Pháp.
  • Có thể xác định một tập hợp bằng cách liệt kê các phần tử của chúng giữa cặp dấu { }, chẳng hạn:
C = {4, 2, 1, 3}
D = {Đ;O;T;R;A;N;G;X;H}

Các tập hợp có nhiều phần tử có thể liệt kê một số phần tử. Chẳng hạn tập hợp 1000 số tự nhiên đầu tiên có thể liệt kê như sau:

{0, 1, 2, 3,..., 999},

Tập các số tự nhiên chẵn có thể liệt kê:

{2, 4, 6, 8,... }.

Tập hợp F của 20 số chính phương đầu tiên có thể cho như sau

F = { | n là số nguyên và 0 ≤ n ≤ 19}
  • Tập hợp có thể xác định bằng đệ quy. Chẳng hạn tập các số tự nhiên lẻ L có thể cho như sau:
  1. Nếu thì

Quan hệ giữa các tập hợp

Quan hệ bao hàm

  • Tập hợp con: Nếu mọi phần tử của tập hợp A đều là phần tử của tập hợp B thì tập hợp A được gọi là tập hợp con (en:Subset) của tập hợp B, ký hiệu là A B, và tập hợp B bao hàm tập hợp A.
Quan hệ bao hàm: A B
Các tập hợp số

Quan hệ A B còn được gọi là quan hệ bao hàm. Quan hệ bao hàm là một quan hệ thứ tự trên các tập. Ví dụ:

: Tập hợp số tự nhiên
: Tập hợp số nguyên
: Tập hợp số hữu tỉ
= : Tập hợp số vô tỉ
: Tập hợp số thực

Ta có

Một tập hợp có phần tử thì có tập hợp con. [1]

Quan hệ bằng nhau

  • Hai tập hợp A và B được gọi là bằng nhau nếu A là tập hợp con của B và B cũng là tập hợp con của A, ký hiệu A = B.

Theo định nghĩa, mọi tập hợp đều là tập con của chính nó; tập rỗng là tập con của mọi tập hợp. Mọi tập hợp A không rỗng có ít nhất hai tập con là rỗng và chính nó. Chúng được gọi là các tập con tầm thường của tập A. Nếu tập con B của A khác với chính A, nghĩa là có ít nhất một phần tử của A không thuộc B thì B được gọi là tập con thực sự hay tập con chân chính của tập A.

Các phép toán trên các tập hợp

Các định nghĩa

  • Hợp (Union): Hợp của A và B là tập hợp gồm tất cả các phần tử thuộc ít nhất một trong hai tập hợp A và B, ký hiệu A B
Ta có A B = {x: x A hoặc x B}
  • Giao (Intersection): Giao của hai tập hợp A và B là tập hợp tất cả các phần tử vừa thuộc A, vừa thuộc B, ký hiệu A B
Ta có A B = {x: x A và x B}
  • Hiệu (Difference): Hiệu của tập hợp A với tập hợp B là tập hợp tất cả các phần tử thuộc A nhưng không thuộc B, ký hiệu
Ta có: A \ B = {x: x A và x B}
Lưu ý, A \ B B \ A
Phần bù của A trong B
  • Phần bù (Complement): là hiệu của tập hợp con. Nếu AB thì B \ A được gọi là phần bù của A trong B, ký hiệu CAB (hay CB A)
  • Trong nhiều trường hợp, khi tất cả các tập hợp đang xét đều là tập con của một tập hợp U (được gọi là tập vũ trụ-đôi khi có nghĩa như trường hay không gian - trong vật lý), người ta thường xét phần bù của mỗi tập A, B, C,... đang xét trong tập U, khi đó ký hiệu phần bù không cần chỉ rõ U mà ký hiệu đơn giản là CA,CB,... hoặc , ...

Các tính chất cơ bản

Các phép toán trên tập hợp có các tính chất sau:

A A = A
A A = A

Phát biểu: giao hoặc hợp của một tập hợp với chính nó cho kết quả là chính nó. Mặt khác, hợp của một tập với phần bù của nó cũng là chính nó nhưng giao của một tập với phần bù của nó lại là một tập rỗng.

A (A B) = A
A (A B) = A
Luật hấp thụ còn được viết dưới dạng khác như sau:
Nếu A B thì A B = B và A B = A
A B = B A
A B = B A
A (B C) = (A B) C
A (B C) = (A B) C
A (B C) = (A B) (A C)
A (B C) = (A B) (A C)
=
=

Lực lượng của tập hợp - Hữu hạn và vô hạn

Khái quát hoá khái niệm số lượng phần tử của các tập hợp hữu hạn là khái niệm lực lượng của tập hợp (Cardinality).

Hai tập hợp được gọi là có cùng lực lượng nếu có một song ánh giữa chúng. Các tập hợp hữu hạn có cùng lực lượng khi và chỉ khi chúng có cùng số phần tử theo nghĩa thông thường.

Tập hợp A và tập hợp B có cùng lực lượng

Khác biệt cơ bản của các tập hữu hạn với các tập vô hạn là mọi tập hữu hạn không có cùng lực lượng với một tập con thực sự của nó. Đối với các tập hợp vô hạn thì không phải như vậy. Sau đây là một vài ví dụ đơn giản:

  • Tập con là tập con thực sự của , tuy nhiên ta có thể kiểm tra ánh xạ sau là song ánh hay không:

Nghĩa là chúng có cùng lực lượng.

Georg Cantor đã chứng minh rằng không thể có một song ánh giữa tập các số tự nhiên và tập hợp các số thực, vì thế lực lượng của tập hợp số tự nhiên là "nhỏ hơn" lực lượng của tập số thực. Các tập có cùng lực lượng với tập số tự nhiên được gọi là các tập đếm được, các tập hợp có cùng lực lượng với tập số thực được gọi là tập có lực lượng continuum.

Nếu ký hiệu ("aleph-null") và ,thì ta có:
< .

Tuy nhiên, có hay không một tập hợp có lực lượng lớn hơn lực lượng đếm được và nhỏ hơn lực lượng continuum lại là vấn đề khác, Cantor giả thiết rằng không có điều đó (giả thiết continuum - tiếng Anh: continuum hypothesis).

Điều này tương đương với:

Phân hoạch

B(E) là tập các bộ phận của tập E.
Khi đó, P gọi là 1 phân hoạch của E ( Une Partition d'ensemble E ) nếu:

  • P là một bộ phận của B(E).
  • Với mọi tập Ai của P, AiΦ
  • Với mọi phần tử Ai ≠ Aj của P, Ai giao Aj = Φ
  • Với mọi phần tử x của E, luôn tìm thấy phần tử A của P sao cho x là phần tử của A. (Nói cách khác hợp tất cả các phần tử Ai của P ta được E)

Ví dụ: E = {a,b,c}.
P={{a},{b,c}} là 1 phân hoạch của E. Vì:

  • P là một bộ phận của B(E) (Hiển nhiên).
  • Xét tất cả các phần tử của P: A1 = {a} ≠ Φ và A2 = {b,c} ≠ Φ
  • {a} giao với {b,c} = Φ
  • {a} U {b,c} = E

Các khái niệm liên quan

Vì tập hợp là khái niệm nền tảng của toán học và nhiều khoa học khác như vật lý, hoá học, sinh học, các khoa học xã hội..., nên có rất nhiều thuật ngữ trong các ngành khoa học liên quan đến khái niệm tập hợp như: Tập hợp chấp nhận được, Tập hợp giải tích, Tập hợp cơ sở, Tập hợp biên, Tập hợp bị chặn, Tập hợp đóng, Tập hợp giới hạn,...

Trong toán học cũng như một số ngành khoa học còn dùng một số thuật ngữ khác có ý nghĩa như là một loại tập hợp nào đó như họ, loài,...

Xem thêm

Chú thích

  1. ^ “Subset”. Truy cập 9 tháng 2 năm 2015.

Liên kết ngoài

Các chủ đề chính trong toán học
Nền tảng toán học | Đại số | Giải tích | Hình học | Lý thuyết số | Toán học rời rạc | Toán học ứng dụng |
Toán học giải trí | Toán học tô pô | Xác suất thống kê