Tập Hợp (toán Học) – Wikipedia Tiếng Việt

Bước tới nội dung

Nội dung

chuyển sang thanh bên ẩn

• Đầu
• 1 Nguồn gốc Hiện/ẩn mục Nguồn gốc
  • 1.1 Lý thuyết tập hợp ngây thơ
  • 1.2 Lý thuyết tập hợp tiên đề
• 2 Cách các tập hợp được xác định và thiết lập ký hiệu Hiện/ẩn mục Cách các tập hợp được xác định và thiết lập ký hiệu
  • 2.1 Ký hiệu danh sách
    • 2.1.1 Tập hợp vô hạn trong ký hiệu danh sách
  • 2.2 Định nghĩa ngữ nghĩa
  • 2.3 Ký hiệu cách tạo tập hợp
• 3 Tập hợp rỗng
• 4 Tập hợp đơn điểm
• 5 Tập hợp con
• 6 Sơ đồ Euler và sơ đồ Venn
• 7 Các tập hợp số đặc biệt
• 8 Hàm số
• 9 Các phép toán cơ bản Hiện/ẩn mục Các phép toán cơ bản
  • 9.1 Các định nghĩa
  • 9.2 Các tính chất cơ bản
  • 9.3 Tích Descartes
• 10 Lực lượng
• 11 Phân hoạch
• 12 Ứng dụng
• 13 Giả thuyết Continuum
• 14 Xem thêm
• 15 Chú thích
• 16 Thư mục
• 17 Liên kết ngoài

• Bài viết
• Thảo luận

Tiếng Việt

• Đọc
• Sửa đổi
• Sửa mã nguồn
• Xem lịch sử

Công cụ Công cụ chuyển sang thanh bên ẩn Tác vụ

• Đọc
• Sửa đổi
• Sửa mã nguồn
• Xem lịch sử

Chung

• Các liên kết đến đây
• Thay đổi liên quan
• Trang đặc biệt
• Liên kết thường trực
• Thông tin trang
• Trích dẫn trang này
• Lấy URL ngắn gọn
• Tải mã QR

In và xuất

• Tạo một quyển sách
• Tải dưới dạng PDF
• Bản để in ra

Tại dự án khác

• Wikimedia Commons
• Khoản mục Wikidata

Giao diện chuyển sang thanh bên ẩn Bách khoa toàn thư mở Wikipedia Đối với các định nghĩa khác, xem Tập hợp.

Trong toán học, một tập hợp là một bộ các phần tử.[1][2][3] Các phần tử tạo nên một tập hợp có thể là bất kỳ loại đối tượng toán học nào: số, ký hiệu, điểm trong không gian, đường thẳng, các hình dạng hình học khác, các biến hoặc thậm chí các tập hợp khác.[4] Tập hợp không có phần tử nào là tập hợp rỗng; một tập hợp với một phần tử duy nhất là một đơn điểm. Một tập hợp có thể có một số phần tử hữu hạn hoặc là một tập hợp vô hạn. Hai tập hợp bằng nhau khi và chỉ khi chúng có chính xác các phần tử giống nhau.[5]

Tập hợp có mặt khắp nơi trong toán học hiện đại. Thật vậy, lý thuyết tập hợp, cụ thể hơn là lý thuyết tập hợp Zermelo-Fraenkel, đã là phương pháp tiêu chuẩn để cung cấp nền tảng chặt chẽ cho tất cả các phân nhánh của toán học kể từ nửa đầu thế kỷ 20.[4]

Nguồn gốc

[sửa | sửa mã nguồn]

Khái niệm tập hợp xuất hiện trong toán học vào cuối thế kỷ 19.[6] Từ tập hợp trong tiếng Đức, Menge, được Bernard Bolzano đặt ra trong tác phẩm Paradoxes of the Infinite.[7][8][9]

Georg Cantor, một trong những người sáng lập ra lý thuyết tập hợp, đã đưa ra định nghĩa sau đây ở đầu cuốn sách Beiträge zur Begründung der transfiniten Mengenlehre:[10]

Tập hợp là sự gộp lại với nhau thành một tổng thể các đối tượng xác định, riêng biệt của nhận thức hoặc suy nghĩ của chúng ta — được gọi là các phần tử của tập hợp.

Bertrand Russell gọi một tập hợp là một lớp: "Khi các nhà toán học xử lý những gì họ gọi là đa tạp, tổng hợp, Menge, tổ hợp hoặc một số tên tương đương, thì điều đó là phổ biến, đặc biệt là khi số lượng các thuật ngữ liên quan là hữu hạn, coi đối tượng được đề cập. (thực tế là một lớp) được xác định bằng cách liệt kê các thuật ngữ của nó, và có thể bao gồm một thuật ngữ duy nhất, trong trường hợp đó là lớp."[11]

Lý thuyết tập hợp ngây thơ

[sửa | sửa mã nguồn]

Thuộc tính quan trọng nhất của một tập hợp là nó có thể có các phần tử. Hai tập hợp bằng nhau khi chúng có các phần tử giống nhau. Chính xác hơn, tập A và B là bằng nhau nếu mọi phần tử của A là phần tử của B, và mọi phần tử của B là một phần tử của A ; thuộc tính này được gọi là tính mở rộng của các tập hợp.[12]

Khái niệm đơn giản về một tập hợp đã tỏ ra vô cùng hữu ích trong toán học, nhưng nghịch lý lại nảy sinh nếu không có giới hạn nào được đặt ra về cách các tập hợp có thể được xây dựng:

• Nghịch lý Russell cho thấy rằng "tập hợp của tất cả các tập hợp không chứa chính chúng", tức là, {x|x là một tập hợp và x ∉ x} , không thể tồn tại.
• Nghịch lý Cantor cho thấy “tập hợp của tất cả các tập hợp” không thể tồn tại.

Lý thuyết tập hợp ngây thơ định nghĩa một tập hợp là bất kỳ tập hợp được xác định rõ ràng của các phần tử riêng biệt, nhưng các vấn đề nảy sinh từ sự mơ hồ của thuật ngữ được xác định rõ ràng.

Lý thuyết tập hợp tiên đề

[sửa | sửa mã nguồn]

Trong những nỗ lực tiếp theo để giải quyết những nghịch lý này kể từ thời điểm hình thành lý thuyết tập hợp sơ khai ban đầu, các tính chất của tập hợp đã được xác định bởi các tiên đề. Thuyết tập hợp tiên đề lấy khái niệm tập hợp làm khái niệm sơ khai.[13] Mục đích của tiên đề là cung cấp một khuôn khổ cơ bản để từ đó suy ra tính đúng hay sai của các mệnh đề toán học cụ thể (phát biểu) về tập hợp, sử dụng logic bậc nhất. Tuy nhiên, theo các định lý về tính không đầy đủ của Gödel, không thể sử dụng logic bậc nhất để chứng minh bất kỳ lý thuyết tập tiên đề cụ thể nào mà không có nghịch lý.

Cách các tập hợp được xác định và thiết lập ký hiệu

[sửa | sửa mã nguồn]

Các sách báo toán học thường biểu thị tập hợp bằng chữ in hoa[14][4][15] in nghiêng, chẳng hạn như A, B, C[15][16] Một tập hợp cũng có thể được gọi là tập hợp hoặc họ, đặc biệt là khi bản thân các phần tử của nó lại là các tập hợp.

Ký hiệu danh sách

[sửa | sửa mã nguồn]

Kí hiệu danh sách hoặc bảng liệt kê xác định một tập hợp bằng cách liệt kê các phần tử của nó giữa các dấu ngoặc nhọn, được phân tách bằng dấu chấm phẩy:[17][18][19][20]

A = {4; 2; 1; 3}

Trong một tập hợp, tất cả những gì quan trọng là liệu mỗi phần tử có nằm trong đó hay không, vì vậy thứ tự của các phần tử trong ký hiệu danh sách là không liên quan (ngược lại, trong một chuỗi, một bộ hoặc một hoán vị của một tập hợp, thứ tự của các phần tử là quan trọng).[16][21][22]

Đối với những tập hợp có nhiều phần tử, đặc biệt là những tập hợp theo một mẫu không tường minh, danh sách các phần tử có thể được viết tắt bằng cách sử dụng dấu chấm lửng '…'.[23][24] Ví dụ: tập hợp 1000 số nguyên dương đầu tiên có thể được chỉ định trong bảng liệt kê như

{1, 2, 3, …, 1000}

Tập hợp vô hạn trong ký hiệu danh sách

[sửa | sửa mã nguồn]

Tập hợp vô hạn là tập hợp có danh sách vô tận các phần tử. Để mô tả một tập hợp vô hạn trong ký hiệu danh sách, một dấu chấm lửng được đặt ở cuối danh sách hoặc ở cả hai đầu, để chỉ ra rằng danh sách tiếp tục mãi mãi. Ví dụ: tập hợp các số nguyên không âm là

{0, 1, 2, 3, 4, …},

và tập hợp tất cả các số nguyên là

{…, −3, −2, −1, 0, 1, 2, 3, …}.

Định nghĩa ngữ nghĩa

[sửa | sửa mã nguồn]

Một cách khác để xác định một tập hợp là sử dụng quy tắc để xác định các phần tử là gì:

Gọi A là tập hợp có các phần tử là bốn số nguyên dương đầu tiên. Gọi B là tập hợp các màu của lá cờ Pháp.

Định nghĩa như vậy được gọi là mô tả ngữ nghĩa.[25][26]

Ký hiệu cách tạo tập hợp

[sửa | sửa mã nguồn]

Ký hiệu cách tạo tập hợp chỉ định một tập hợp là một lựa chọn từ một tập hợp lớn hơn, được xác định bởi một điều kiện trên các phần tử.[26][27][28] Ví dụ, một tập F có thể được định nghĩa như sau:

F = { n ∣ n  là một số nguyên, và  0 ≤ n ≤ 19 } . {\displaystyle =\{n\mid n{\text{ là một số nguyên, và }}0\leq n\leq 19\}.}

Trong ký hiệu này, thanh dọc "|" có nghĩa là "sao cho", và mô tả có thể được hiểu là " F là tập hợp tất cả các số n sao cho n là một số nguyên trong phạm vi từ 0 đến 19". Một số tác giả sử dụng dấu hai chấm ":" thay cho thanh dọc.[29]

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. 1 ∈ L {\displaystyle 1\in L}
2. Nếu n ∈ L {\displaystyle n\in L} thì n + 2 ∈ L . {\displaystyle n+2\in L.}

Tập hợp rỗng

[sửa | sửa mã nguồn]

Tập hợp rỗng là tập hợp duy nhất không có phần tử nào. Nó được ký hiệu là ∅ hoặc ∅ {\displaystyle \emptyset } hoặc { }[30][15][31] hoặc ϕ[32] (hoặc ϕ).[33]

Tập hợp đơn điểm

[sửa | sửa mã nguồn]

Tập hợp đơn điểm là tập hợp có chính xác một phần tử; một tập hợp như vậy cũng có thể được gọi là một tập hợp đơn vị.[5] Bất kỳ tập hợp nào như vậy có thể được viết dưới dạng {x} , trong đó x là phần tử. Tập hợp {x} và phần tử x có nghĩa khác nhau; Halmos[34] chỉ ra một phép tương tự rằng một chiếc hộp đựng một chiếc mũ không giống với chiếc mũ.

Tập hợp con

[sửa | sửa mã nguồn]

Nếu mọi phần tử của tập A cũng có mặt trong B, thì A được mô tả là một tập con của B, hoặc được chứa trong B, được viết A ⊆ B,[35] hoặc B ⊇ A.[15][36] Kí hiệu thứ hai có thể được đọc là B chứa A, hoặc B bao gồm A. Các mối quan hệ giữa các tập hợp lập ra bởi ⊆ được gọi bao gồm hay chứa đựng. Hai tập hợp bằng nhau nếu chúng chứa nhau: A ⊆ B và B ⊆ A tương đương với A = B.[27]

Nếu A là tập con của B mà A không bằng B thì A được gọi là tập con thực sự của B. Điều này có thể được viết A ⊊ B. Tương tự như vậy, B ⊋ A có nghĩa là B là một tập hợp chứa thực sự của A, tức là B chứa A, và không bằng A.

Cặp toán tử thứ ba ⊂ và ⊃ được các tác giả khác nhau sử dụng khác nhau: một số tác giả sử dụng A ⊂ B và B ⊃ A có nghĩa là A là bất kỳ tập con nào của B (và không nhất thiết phải là tập hợp con thực sự),[37][38] trong khi những người khác chỉ viết A ⊂ B và B ⊃ A khi mà A là một tập hợp con thực sự của B.[35]

Sơ đồ Euler và sơ đồ Venn

[sửa | sửa mã nguồn]

Sơ đồ Euler là một biểu diễn đồ họa của một tập hợp các tập hợp; mỗi tập hợp được mô tả như một vùng phẳng được một vòng tròn bao quanh, với các phần tử của nó bên trong. Nếu A là một tập con của B, thì vùng đại diện cho A nằm hoàn toàn bên trong vùng đại diện cho B. Nếu hai tập hợp không có phần tử nào chung thì các vùng không giao nhau.

Ngược lại, một sơ đồ Venn là một biểu diễn đồ họa của n tập hợp, trong đó n vòng chia mặt phẳng thành 2n vùng sao cho mỗi cách chọn một số trong n tập hợp (có thể là tất cả hoặc không), có một vùng cho các phần tử thuộc về tất cả các tập hợp đã chọn và không thuộc về các tập hợp khác. Ví dụ, nếu các tập hợp là A, B và C, thì phải có một vùng cho các phần tử bên trong A và C và bên ngoài B (ngay cả khi các phần tử đó không tồn tại).

Các tập hợp số đặc biệt

[sửa | sửa mã nguồn]

Có những tập hợp có tầm quan trọng toán học, mà các nhà toán học đề cập đến thường xuyên, đến nỗi chúng có được những cái tên đặc biệt và các quy ước ký hiệu để xác định chúng.

Nhiều tập hợp quan trọng này được biểu diễn trong các văn bản toán học sử dụng chữ in đậm (ví dụ: Z {\displaystyle {\mathbf {Z}}} ) hoặc chữ viền đậm (ví dụ: Z {\displaystyle \mathbb {Z} } ).[39] Chúng bao gồm[15]

• N {\displaystyle {\mathbf {N}}} hoặc N {\displaystyle \mathbb {N} } , tập hợp tất cả các số tự nhiên: N = { 0 , 1 , 2 , 3 , . . . } {\displaystyle {\mathbf {N}}=\{0,1,2,3,...\}} (thông thường các tác giả loại trừ 0 ra khỏi tập N {\displaystyle \mathbb {N} } );[39]
• Z {\displaystyle {\mathbf {Z}}} hoặc Z {\displaystyle \mathbb {Z} } , tập hợp tất cả các số nguyên (cho dù là số dương, số âm hay số 0): Z = { . . . , − 2 , − 1 , 0 , 1 , 2 , 3 , . . . } {\displaystyle {\mathbf {Z}}=\{...,-2,-1,0,1,2,3,...\}} ;[39]
• Q {\displaystyle {\mathbf {Q}}} hoặc Q {\displaystyle \mathbb {Q} } , tập hợp tất cả các số hữu tỉ (nghĩa là tập hợp tất cả các phân số): Q = { a b ∣ a , b ∈ Z , b ≠ 0 } {\displaystyle {\mathbf {Q}}=\left\{{\frac {a}{b}}\mid a,b\in {\mathbf {Z}},b\neq 0\right\}} . Ví dụ, −7/4 ∈ Q
• R {\displaystyle {\mathbf {R}}} hoặc R {\displaystyle \mathbb {R} } , tập hợp tất cả các số thực bao gồm tất cả các số hữu tỉ và tất cả các số vô tỉ (bao gồm các số đại số chẳng hạn như 2 {\displaystyle {\sqrt {2}}} mà không thể viết dưới dạng phân số, cũng như các số siêu việt như π và e);[40]
• C {\displaystyle {\mathbf {C}}} hoặc C {\displaystyle \mathbb {C} } , tập hợp của tất cả các số phức: C = {a + bi | a, b ∈ R}, ví dụ 1 + 2i ∈ C.[40]

Mỗi tập hợp số trên có vô số phần tử. Mỗi tập hợp là một tập hợp con của các tập hợp được liệt kê bên dưới nó.

Tập hợp các số dương hoặc âm đôi khi được biểu thị bằng dấu cộng và dấu trừ tương ứng. Ví dụ, Q + {\displaystyle \mathbf {Q} ^{+}} biểu thị tập hợp các số hữu tỉ dương.

Hàm số

[sửa | sửa mã nguồn]

Một hàm số (hoặc ánh xạ) từ tập hợp A đến tập hợp B là một quy tắc gán cho mỗi phần tử "đầu vào" của A một "đầu ra" là phần tử của B ; chính thức hơn, một hàm là một loại quan hệ đặc biệt, một quan hệ liên quan mỗi phần tử của A với chính xác một phần tử của B. Một hàm được gọi là

• đơn ánh nếu nó ánh xạ bất kỳ hai phần tử khác nhau của A với các phần tử khác nhau của B ,
• toàn ánh nếu với mọi phần tử của B, có ít nhất một phần tử của A ánh xạ tới nó, và
• song ánh nếu hàm vừa là đơn ánh vừa là toàn ánh - trong trường hợp này, mỗi phần tử của A được nối với một phần tử duy nhất của B và mỗi phần tử của B được nối với một phần tử duy nhất của A, và không có phần tử chưa được ghép nối.

Các phép toán cơ bản

[sửa | sửa mã nguồn]

Các định nghĩa

[sửa | sửa mã nguồn]

• 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 ∪ {\displaystyle \cup } B

Ta có A ∪ {\displaystyle \cup } B = {x: x ∈ {\displaystyle \in } A hoặc x ∈ {\displaystyle \in } 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 ∩ {\displaystyle \cap } B

Ta có A ∩ {\displaystyle \cap } B = {x: x ∈ {\displaystyle \in } A và x ∈ {\displaystyle \in } 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 A ∖ B {\displaystyle A\setminus B}

Ta có: A \ B = {x: x ∈ {\displaystyle \in } A và x ∉ {\displaystyle \notin } B} Lưu ý, A \ B ≠ {\displaystyle \neq } B \ A

• Phần bù (Complement): là hiệu của tập hợp con. Nếu A ⊂ {\displaystyle \subset } B 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ý; hay cũng gọi là tập phổ dụng, giống như trong đại số phổ dụng), 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 A ¯ {\displaystyle {\overline {A}}} , B ¯ {\displaystyle {\overline {B}}} ...

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

[sửa | sửa mã nguồn]

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

• Luật luỹ đẳng:

A ∪ {\displaystyle \cup } A = A A ∩ {\displaystyle \cap } 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.

• Luật hấp thụ (còn gọi là luật bao hàm):

A ∪ {\displaystyle \cup } (A ∩ {\displaystyle \cap } B) = A A ∩ {\displaystyle \cap } (A ∪ {\displaystyle \cup } B) = A Luật hấp thụ còn được viết dưới dạng khác như sau: Nếu A ⊂ {\displaystyle \subset } B thì A ∪ {\displaystyle \cup } B = B và A ∩ {\displaystyle \cap } B = A

• Luật giao hoán:

A ∪ {\displaystyle \cup } B = B ∪ {\displaystyle \cup } A A ∩ {\displaystyle \cap } B = B ∩ {\displaystyle \cap } A

• Luật kết hợp:

A ∩ {\displaystyle \cap } (B ∩ {\displaystyle \cap } C) = (A ∩ {\displaystyle \cap } B) ∩ {\displaystyle \cap } C A ∪ {\displaystyle \cup } (B ∪ {\displaystyle \cup } C) = (A ∪ {\displaystyle \cup } B) ∪ {\displaystyle \cup } C

• Luật phân phối:

A ∩ {\displaystyle \cap } (B ∪ {\displaystyle \cup } C) = (A ∩ {\displaystyle \cap } B) ∪ {\displaystyle \cup } (A ∩ {\displaystyle \cap } C) A ∪ {\displaystyle \cup } (B ∩ {\displaystyle \cap } C) = (A ∪ {\displaystyle \cup } B) ∩ {\displaystyle \cap } (A ∪ {\displaystyle \cup } C)

• Luật De Morgan:

A ∪ B ¯ {\displaystyle {\overline {A\cup B}}} = A ¯ ∩ B ¯ {\displaystyle {\overline {A}}\cap {\overline {B}}} A ∩ B ¯ {\displaystyle {\overline {A\cap B}}} = A ¯ ∪ B ¯ {\displaystyle {\overline {A}}\cup {\overline {B}}}

Tích Descartes

[sửa | sửa mã nguồn]

Một tập hợp mới có thể được xây dựng bằng cách liên kết mọi phần tử của một tập hợp với mọi phần tử của một tập hợp khác. Tích Descartes của hai tập A và B, ký hiệu là A × B,[15] là tập hợp của tất cả các cặp có thứ tự (a, b) sao cho a là phần tử của A và b là phần tử của B.

Ví dụ:

• {1, 2} × {red, white, green} = {(1, red), (1, white), (1, green), (2, red), (2, white), (2, green)}.
• {1, 2} × {1, 2} = {(1, 1), (1, 2), (2, 1), (2, 2)}.
• {a, b, c} × {d, e, f} = {(a, d), (a, e), (a, f), (b, d), (b, e), (b, f), (c, d), (c, e), (c, f)}.

Một số tính chất cơ bản của tích Descartes:

• A × ∅ = ∅.
• A × (B ∪ C) = (A × B) ∪ (A × C).
• (A ∪ B) × C = (A × C) ∪ (B × C).

Cho A và B là các tập hữu hạn; thì lực lượng của tích Descartes là tích của các lực lượng:

| A × B | = | B × A | = | A | × | B |.

Lực lượng

[sửa | sửa mã nguồn] Bài chi tiết: Lực lượng (tập hợp) Wikimedia Commons có thêm hình ảnh và phương tiện truyền tải về Lực lượng của tập hợp.

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.

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 N ∖ { 0 } {\displaystyle \mathbb {N} \setminus \{0\}} là tập con thực sự của N {\displaystyle \mathbb {N} } , tuy nhiên ta có thể kiểm tra ánh xạ sau là song ánh hay không:

ϕ : N → N ∖ { 0 } {\displaystyle \phi :\mathbb {N} \to \mathbb {N} \setminus \{0\}} n ⟼ n + 1 {\displaystyle n\longmapsto n+1}

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.

| Z | < | R | {\displaystyle |\mathbb {Z} |<|\mathbb {R} |} Nếu ký hiệu | Z | {\displaystyle |\mathbb {Z} |} là ℵ 0 {\displaystyle \aleph _{0}} ("aleph-null") và | R | {\displaystyle |\mathbb {R} |} là 2 ℵ 0 {\displaystyle 2^{\aleph _{0}}} ,thì ta có: | Z | {\displaystyle |\mathbb {Z} |} < 2 ℵ 0 {\displaystyle 2^{\aleph _{0}}} .

Phân hoạch

[sửa | sửa mã nguồn] Bài chi tiết: Phân hoạch tập hợp

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 ∈ {\displaystyle \in } P, Ai ≠ ∅ {\displaystyle \emptyset }
• Với mọi phần tử Ai ≠ Aj ∈ {\displaystyle \in } P, Ai ∩ {\displaystyle \cap } Aj = ∅ {\displaystyle \emptyset }
• Với mọi phần tử x ∈ {\displaystyle \in } E, luôn tìm thấy phần tử A của P sao cho x là phần tử của ∈ {\displaystyle \in } 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} ≠ ∅ {\displaystyle \emptyset } và A2 = {b,c} ≠ ∅ {\displaystyle \emptyset }
• {a} ∩ {\displaystyle \cap } {b,c} = ∅ {\displaystyle \emptyset }
• {a} U {b,c} = E

Ứng dụng

[sửa | sửa mã nguồn]

Tập hợp có mặt khắp nơi trong toán học hiện đại. Ví dụ, các cấu trúc trong đại số trừu tượng, chẳng hạn như nhóm, trường và vòng, là các tập hợp được đóng dưới một hoặc nhiều phép toán.

Một trong những ứng dụng chính của lý thuyết tập hợp ngây thơ là trong việc xây dựng các quan hệ. Một mối quan hệ từ một tập xác định A đến một tập hợp đích B là một tập hợp con của tích Descartes A × B. Ví dụ, xem xét tập hợp S = {đấm, giấy, kéo} của các hình trong trò chơi oẳn tù tì, quan hệ “thắng” từ S đến S là tập hợp B = {(kéo,giấy), (giấy,đấm), (đấm,kéo)} ; do đó x thắng y trong trò chơi oẳn tù tì nếu cặp (x,y) là phần tử của B. Một ví dụ khác là tập F của tất cả các cặp (x, x2), trong đó x là số thực. Quan hệ này là một tập con của R × R, bởi vì tập hợp tất cả các bình phương là tập hợp con của tập hợp tất cả các số thực. Vì với mọi x trong R, một và chỉ một cặp (x,...) được tìm thấy trong F, nó được gọi là một hàm số. Trong ký hiệu hàm số, quan hệ này có thể được viết dưới dạng F(x) = x2.

Giả thuyết Continuum

[sửa | sửa mã nguồn] Bài chi tiết: Giả thiết continuum

Ta đã thấy là lực lượng đếm được nhỏ hơn lực lượng Continuum. 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à một vấn đề khác, Cantor giả thiết rằng không có điều đó (giả thiết continuum - tiếng Anh: continuum hypothesis).

∄ A : ℵ 0 < | A | < 2 ℵ 0 . {\displaystyle \not \exists \mathbb {A} :\aleph _{0}<|\mathbb {A} |<2^{\aleph _{0}}.}

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

2 ℵ 0 = ℵ 1 {\displaystyle 2^{\aleph _{0}}=\aleph _{1}}

Cantor phát biểu giả thuyết Continuum năm 1878, và năm 1900 nó là bài toán đầu tiên trong 23 bài toán Hilbert đưa ra. Kết luận cuối cùng là giả thuyết này độc lập với ZFC, tức là ta có thể khẳng định hay phủ định giả thuyết Continuum, và thêm nó vào như một tiên đề độc lập với ZFC, theo nghĩa nếu ZFC nhất quán thì lý thuyết mới cũng nhất quán. Sự độc lập này được chứng minh năm 1963 bởi Paul Cohen, dựa trên những công trình năm 1940 của Kurt Gödel. Cohen được trao giải thưởng Fields năm 1966 cho chứng minh này.

Sau đó, giả thuyết Continuum vẫn tiếp tục được nghiên cứu trên những khía cạnh khác.

Tiên đề chọn, định lý bất toàn Godel và giả thuyết Continuum là vài trong số những khẳng định đầu tiên được chứng minh là độc lập với ZF. Sau này, nhiều khẳng định khác trong giải tích, tô-pô và lý thuyết độ đo cũng được chứng minh là độc lập với ZF.

Xem thêm

[sửa | sửa mã nguồn]

• Lý thuyết tập hợp
• Lý thuyết tập hợp Zermelo-Fraenkel
• Tập hợp trù mật
• Nghịch lý Russell
• Trường (toán học)
• Không gian mêtric

Chú thích

[sửa | sửa mã nguồn]

1. ^ P. K. Jain; Khalil Ahmad; Om P. Ahuja (1995). id=yZ68h97pnAkC&pg=PA1 Functional Analysis Kiểm tra giá trị |url= (trợ giúp). New Age International. tr. 1. ISBN 978-81-224-0801-0. Thiếu dấu sổ thẳng trong: |url= (trợ giúp)
2. ^ Samuel Goldberg (1 tháng 1 năm 1986). Probability: An Introduction. Courier Corporation. tr. 2. ISBN 978-0-486-65252-8.
3. ^ Thomas H. Cormen; Charles E Leiserson; Ronald L Rivest; Clifford Stein (2001). Introduction To Algorithms. MIT Press. tr. 1070. ISBN 978-0-262-03293-3.
4. ^ a b c Halmos 1960, tr. 1.Lỗi sfn: không có mục tiêu: CITEREFHalmos1960 (trợ giúp)
5. ^ a b Stoll, Robert (1974). Sets, Logic and Axiomatic Theories. W. H. Freeman and Company. tr. 5. ISBN 9780716704577.
6. ^ José Ferreirós (16 tháng 8 năm 2007). Labyrinth of Thought: A History of Set Theory and Its Role in Modern Mathematics. Birkhäuser Basel. ISBN 978-3-7643-8349-7.
7. ^ Steve Russ (9 tháng 12 năm 2004). The Mathematical Works of Bernard Bolzano. OUP Oxford. ISBN 978-0-19-151370-1.
8. ^ William Ewald; William Bragg Ewald (1996). From Kant to Hilbert Volume 1: A Source Book in the Foundations of Mathematics. OUP Oxford. tr. 249. ISBN 978-0-19-850535-8.
9. ^ Paul Rusnock; Jan Sebestík (25 tháng 4 năm 2019). Bernard Bolzano: His Life and Work. OUP Oxford. tr. 430. ISBN 978-0-19-255683-7.
10. ^ "Eine Menge, ist die Zusammenfassung bestimmter, wohlunterschiedener Objekte unserer Anschauung oder unseres Denkens – welche Elemente der Menge genannt werden – zu einem Ganzen." “Archived copy”. Lưu trữ bản gốc ngày 10 tháng 6 năm 2011. Truy cập ngày 22 tháng 4 năm 2011.Quản lý CS1: bản lưu trữ là tiêu đề (liên kết)
11. ^ Bertrand Russell (1903) The Principles of Mathematics, chapter VI: Classes
12. ^ Halmos 1960, tr. 2.Lỗi sfn: không có mục tiêu: CITEREFHalmos1960 (trợ giúp)
13. ^ Jose Ferreiros (1 tháng 11 năm 2001). Labyrinth of Thought: A History of Set Theory and Its Role in Modern Mathematics. Springer Science & Business Media. ISBN 978-3-7643-5749-8.
14. ^ Seymor Lipschutz; Marc Lipson (22 tháng 6 năm 1997). Schaum's Outline of Discrete Mathematics. McGraw Hill Professional. tr. 1. ISBN 978-0-07-136841-4.
15. ^ a b c d e f “Comprehensive List of Set Theory Symbols”. Math Vault (bằng tiếng Anh). 11 tháng 4 năm 2020. Truy cập ngày 19 tháng 8 năm 2020.
16. ^ a b “Introduction to Sets”. www.mathsisfun.com. Truy cập ngày 19 tháng 8 năm 2020.
17. ^ Charles Roberts (24 tháng 6 năm 2009). Introduction to Mathematical Proofs: A Transition. CRC Press. tr. 45. ISBN 978-1-4200-6956-3.
18. ^ David Johnson; David B. Johnson; Thomas A. Mowry (tháng 6 năm 2004). Finite Mathematics: Practical Applications (Docutech Version). W. H. Freeman. tr. 220. ISBN 978-0-7167-6297-3.
19. ^ Ignacio Bello; Anton Kaul; Jack R. Britton (29 tháng 1 năm 2013). Topics in Contemporary Mathematics. Cengage Learning. tr. 47. ISBN 978-1-133-10742-2.
20. ^ Susanna S. Epp (4 tháng 8 năm 2010). Discrete Mathematics with Applications. Cengage Learning. tr. 13. ISBN 978-0-495-39132-6.
21. ^ Stephen B. Maurer; Anthony Ralston (21 tháng 1 năm 2005). Discrete Algorithmic Mathematics. CRC Press. tr. 11. ISBN 978-1-4398-6375-6.
22. ^ D. Van Dalen; H. C. Doets; H. De Swart (9 tháng 5 năm 2014). Sets: Naïve, Axiomatic and Applied: A Basic Compendium with Exercises for Use in Set Theory for Non Logicians, Working and Teaching Mathematicians and Students. Elsevier Science. tr. 1. ISBN 978-1-4831-5039-0.
23. ^ Alfred Basta; Stephan DeLong; Nadine Basta (1 tháng 1 năm 2013). Mathematics for Information Technology. Cengage Learning. tr. 3. ISBN 978-1-285-60843-3.
24. ^ Laura Bracken; Ed Miller (15 tháng 2 năm 2013). Elementary Algebra. Cengage Learning. tr. 36. ISBN 978-0-618-95134-5.
25. ^ Halmos 1960, tr. 4.Lỗi sfn: không có mục tiêu: CITEREFHalmos1960 (trợ giúp)
26. ^ a b Frank Ruda (6 tháng 10 năm 2011). Hegel's Rabble: An Investigation into Hegel's Philosophy of Right. Bloomsbury Publishing. tr. 151. ISBN 978-1-4411-7413-0.
27. ^ a b John F. Lucas (1990). Introduction to Abstract Mathematics. Rowman & Littlefield. tr. 108. ISBN 978-0-912675-73-2.
28. ^ Weisstein, Eric W. “Set”. mathworld.wolfram.com (bằng tiếng Anh). Truy cập ngày 19 tháng 8 năm 2020.
29. ^ Ralph C. Steinlage (1987). College Algebra. West Publishing Company. ISBN 978-0-314-29531-6.
30. ^ Halmos 1960, tr. 8.Lỗi sfn: không có mục tiêu: CITEREFHalmos1960 (trợ giúp)
31. ^ K.T. Leung; Doris Lai-chue Chen (1 tháng 7 năm 1992). Elementary Set Theory, Part I/II. Hong Kong University Press. tr. 27. ISBN 978-962-209-026-2.
32. ^ Aggarwal, M.L. (2021). “1. Sets”. Understanding ISC Mathematics Class XI. 1. Arya Publications (Avichal Publishing Company). tr. A=3.
33. ^ Sourendra Nath, De (tháng 1 năm 2015). “Unit-1 Sets and Functions: 1. Set Theory”. Chhaya Ganit (Ekadash Shreni). Scholar Books Pvt. Ltd. tr. 5.
34. ^ Halmos 1960, Sect.2.Lỗi sfn: không có mục tiêu: CITEREFHalmos1960 (trợ giúp)
35. ^ a b Felix Hausdorff (2005). Set Theory. American Mathematical Soc. tr. 30. ISBN 978-0-8218-3835-8.
36. ^ Peter Comninos (6 tháng 4 năm 2010). Mathematical and Computer Programming Techniques for Computer Graphics. Springer Science & Business Media. tr. 7. ISBN 978-1-84628-292-8.
37. ^ Halmos 1960, tr. 3.Lỗi sfn: không có mục tiêu: CITEREFHalmos1960 (trợ giúp)
38. ^ Marek Capinski; Peter E. Kopp (2004). Measure, Integral and Probability. Springer Science & Business Media. tr. 2. ISBN 978-1-85233-781-0.
39. ^ a b c George Tourlakis (13 tháng 2 năm 2003). Lectures in Logic and Set Theory: Volume 2, Set Theory. Cambridge University Press. tr. 137. ISBN 978-1-139-43943-5.
40. ^ a b George Tourlakis (13 tháng 2 năm 2003). Lectures in Logic and Set Theory: Volume 2, Set Theory. Cambridge University Press. tr. 137. ISBN 978-1-139-43943-5.

Thư mục

[sửa | sửa mã nguồn]

• Hoàng Xuân Sính, 1972, Đại số đại cương (tái bản lần thứ tám), Nhà xuất bản giáo dục

Liên kết ngoài

[sửa | sửa mã nguồn]

• Tư liệu liên quan tới Sets tại Wikimedia Commons
• Tập hợp (toán học) tại Từ điển bách khoa Việt Nam
• Set (mathematics and logic) tại Encyclopædia Britannica (tiếng Anh)
• Cơ bản về lý thuyết tập hợp (tiếng Anh)
• Lý thuyết tập hợp Lưu trữ 2006-10-07 tại Wayback Machine
• Tập hợp trên Mathworld

x t s Lý thuyết tập hợp
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
Phép toán	Tích Descartes Phần bù Luật De Morgan Phép giao Tập lũy thừa Phép hợp Liên hiệp rời rạc Hiệu đối xứng
Khái niệm Phương pháp	Lực lượng Số đếm (lớn) Lớp (lý thuyết tập hợp) Vũ trụ kiến thiết Giả thiết continuum Lập luận đường chéo Phần tử (cặp được sắp, bộ) Họ Ép Song ánh Số thứ tự Quy nạp siêu hạn Sơ đồ Venn
Các dạng tập hợp	Đếm được Rỗng Hữu hạn (di truyền) Mờ Vô hạn vô hạn Dedekind Tính được Tập con ⋅ Tập chứa Đơn điểm Bắc cầu Không đếm được Tập hợp phổ dụng
Lý thuyết	Lý thuyết tập hợp thay thế Lý thuyết tập hợp tiên đề Lý thuyết tập hợp ngây thơ Định lý Cantor 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 đề	Nghịch lý Russell Bài toán Suslin Nghịch lý Burali-Forti
Nhà lý thuyết tập hợp	Abraham Fraenkel Bertrand Russell Ernst Zermelo Georg Cantor John von Neumann Kurt Gödel Paul Bernays Paul Cohen Richard Dedekind Thomas Jech Thoralf Skolem Willard Quine
Thể loại

x t s Logic
Tổng quan Lịch sử
Lĩnh vực	Khoa học máy tính Suy luận Triết học logic Bằng chứng Ngữ nghĩa học Cú pháp Các loại logic Cổ điển Thông thường Tư duy phản biện Lý trí Toán Phi cổ điển Triết học Lý thuyết Metalogic Metamathematics Tập hợp
Căn cứ	Bẳt chước Mâu thuẫn Nghịch lý Suy diễn logic Định nghĩa Miêu tả Hình thức Quy nạp Sự thật logic Tên gọi Tiền đề Xác suất Tham khảo Khẳng định Thay thế Chân lý Hợp lý
Danh sách	chủ đề Logic toán Đại số Boole Lý thuyết tập hợp khác Nhà logic học Quy tắc suy luận Nghịch lý Ngụy biện Biểu tượng logic
Cổng thông tin Triết học Thể loại

x t s Logic toán
Chung	Ngôn ngữ hình thức Formation rule Hệ hình thức Hệ suy luận Chứng minh hình thức Ngữ nghĩa hình thức (logic) Well-formed formula Tập hợp Phần tử (toán học) Lớp (lý thuyết tập hợp) Classical logic Tiên đề Natural deduction Rule of inference Quan hệ (toán học) Định lý toán học Logical consequence Hệ tiên đề Lý thuyết hình thái Symbol (formal) Syntax (logic) Lý thuyết (logic toán)
Thuật ngữ logic	Mệnh đề toán học Suy luận Luận cứ logic Validity Cogency Tam đoạn luận Square of opposition Sơ đồ Venn
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	Tập hợp Tập hợp rỗng Enumeration Extensionality Tập hợp hữu hạn Tập hợp vô hạn Tập hợp con Tập lũy thừa Tập hợp đếm được Tập hợp không đếm được Recursive set Tập xác định Range (mathematics) Ánh xạ Song ánh Đơn ánh Toàn ánh Hàm số Phép toán hai ngôi Cặp được sắp
Lý thuyết tập hợp	Nền tảng toán học Lý thuyết tập hợp Zermelo–Fraenkel Tiên đề chọn General set theory Lý thuyết tập hợp Kripke–Platek Lý thuyết tập hợp Von Neumann–Bernays–Gödel Lý thuyết tập hợp Morse–Kelley Lý thuyết tập hợp Tarski–Grothendieck Phép đẳng cấu
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

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ê

Tiêu đề chuẩn	GND: 4038613-2 NKC: ph122926

Lấy từ “https://vi.wikipedia.org/w/index.php?title=Tập_hợp_(toán_học)&oldid=71941240” Thể loại:

• Bài viết có bản mẫu Hatnote trỏ đến một trang không tồn tại
• Lý thuyết tập hợp
• Tập hợp
• Đối tượng toán học
• Khái niệm logic

Thể loại ẩn:

• Lỗi CS1: thiếu dấu sổ thẳng
• Lỗi CS1: URL
• Lỗi không có mục tiêu Harv và Sfn
• Quản lý CS1: bản lưu trữ là tiêu đề
• Nguồn CS1 tiếng Anh (en)
• Bản mẫu webarchive dùng liên kết wayback
• Bài viết chứa nhận dạng GND
• Bài viết chứa nhận dạng NKC
• Trang sử dụng một định dạng lỗi thời của thẻ math