Tập hợp rỗng là gì? Các tính chất của tập hợp rỗng

Giới thiệu tổng quan về tập hợp rỗng

1. Khái niệm về tập hợp rỗng

Trong toán học, tập hợp rỗng là tập hợp không chứa bất kỳ phần tử nào. 

Trong lý thuyết tập hợp tiên đề (axiomatic set theory), sự tồn tại của tập rỗng được thừa nhận thông qua tiên đề về tập rỗng. Tiên đề này khẳng định rằng luôn tồn tại một tập hợp không có phần tử. Từ tập hợp rỗng, người ta có thể xây dựng nên các tập hợp hữu hạn khác bằng cách thêm dần các phần tử vào. 

2. Ký hiệu chuẩn và cách sử dụng

Trong thực hành toán học, tập hợp rỗng thường được biểu diễn bằng hai ký hiệu phổ biến: ∅ và {}.

- Ký hiệu ∅ được giới thiệu bởi nhóm toán học Bourbaki vào năm 1939, cụ thể là nhà toán học André Weil. Đây là ký hiệu được dùng rộng rãi nhất trong các tài liệu toán học hiện nay.

- Ngoài ra, ký hiệu {} cũng thường được sử dụng. Nó thể hiện một cặp dấu ngoặc nhọn rỗng, hàm ý rằng không có phần tử nào bên trong.

Trên máy tính và các phần mềm soạn thảo toán học, ký hiệu tập rỗng có các mã đặc trưng:

- Trong hệ thống Unicode, ký hiệu ∅ được mã hóa là U+2205.

- Trong TeX, một ngôn ngữ soạn thảo thường dùng để viết công thức toán học, ta có thể gọi ký hiệu tập rỗng bằng lệnh \emptyset hoặc \varnothing. Hai lệnh này sẽ tạo ra hai hình dạng khác nhau của ký hiệu, nhưng đều biểu thị cùng một khái niệm.

Xem thêm: Tổng hợp các ký hiệu toán học cần ghi nhớ 

Các tính chất toán học của tập hợp rỗng

Tập hợp rỗng không chỉ dừng lại ở khái niệm “không có phần tử”, mà còn sở hữu nhiều tính chất quan trọng trong toán học. Những tính chất này giúp chúng ta dễ dàng vận dụng tập hợp rỗng trong giải toán, chứng minh và xây dựng lý thuyết.

1. Quan hệ bao hàm (Inclusion)

Một trong những đặc điểm cơ bản và quan trọng nhất của tập hợp rỗng là: tập hợp rỗng luôn là tập con của mọi tập hợp. Điều này được viết dưới dạng ký hiệu toán học:

∀A:  ∅⊆A

Hệ quả trực tiếp từ tính chất này là: tập hợp rỗng chỉ có đúng một tập con duy nhất – chính nó. Ký hiệu: {∅}

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

1. Tập hợp rỗng là tập con của mọi tập hợp

Với bất kỳ tập hợp A, ta luôn có:

$\forall A: \varnothing \subseteq A$

Tập rỗng luôn nằm trong mọi tập hợp khác, bất kể tập hợp đó chứa bao nhiêu phần tử.

2. Phép hợp với tập rỗng

Khi lấy hợp của một tập hợp A với tập rỗng, kết quả luôn là chính tập hợp A:

$\forall A: A \cup \varnothing = A$

Tập rỗng không làm thay đổi nội dung khi tham gia vào phép hợp.

3. Phép giao với tập rỗng

Giao của một tập hợp A với tập rỗng luôn cho kết quả là tập rỗng:

$\forall A: A \cap \varnothing = \varnothing$

Vì tập rỗng không có phần tử nào, nên không tồn tại phần tử chung giữa A và ∅.

4. Tích Descartes với tập rỗng

Khi xét tích Descartes, nếu một trong hai tập hợp là tập rỗng, thì kết quả cũng là tập rỗng:

$\forall A: A \times \varnothing = \varnothing$

Không tồn tại cặp phần tử nào để tạo thành trong phép tích.

5. Tập con của tập rỗng

Tập rỗng chỉ có duy nhất một tập con, đó chính là chính nó:

$\forall A: A \subseteq \varnothing \Rightarrow A = \varnothing$

Nói cách khác, không có tập hợp nào khác ngoài ∅ có thể là tập con của ∅.

6. Lực lượng (Cardinality) của tập rỗng

Số phần tử của tập rỗng là 0:

$|\varnothing| = 0$

Chứng minh rằng tập rỗng là một tập hợp hữu hạn đặc biệt.

7. Tính chất logic liên quan đến tập rỗng

Trong logic toán học, tập rỗng có một số tính chất quan trọng:

Với mọi tính chất P(x), mệnh đề “P(x) đúng với mọi phần tử của ∅” luôn đúng, bởi không tồn tại phần tử nào để phản bác. Đây gọi là chân lý rỗng (vacuous truth).

Mệnh đề “P(x) sai với mọi phần tử của ∅” cũng luôn đúng với cùng lý do.

Nếu với một tập hợp V, ta có đồng thời:

- P(x) đúng với mọi phần tử thuộc V, và

- P(x) không đúng với mọi phần tử thuộc V, thì kết luận rằng:

$V = \varnothing$

Bài tập về tập hợp rỗng

Dưới đây là các dạng bài tập hỗ trợ bạn luyện tập hiệu quả và ghi nhớ kiến thức một cách chắc chắn.

Dạng cơ bản

Bài 1: Viết tập hợp các số tự nhiên nhỏ hơn 0.

Giải: Không có số tự nhiên nào nhỏ hơn 0 => tập hợp đó là tập rỗng.

A=∅

Bài 2: Cho tập hợp B={x∈Z∣$x^2$=−4}. Hãy xác định B.

Giải: Không có số nguyên nào bình phương ra số âm.

B=∅

Bài 3: Xác định tập hợp C={x∈N∣2x=7}.

Giải: 2x=7⇒x=3,5. Nhưng 3,5∉N.

C=∅

Dạng nâng cao

Bài 4: Cho D={x∈Z∣$x^2$<0}.
Hãy chứng minh D=∅.

Giải: Với mọi số nguyên x, ta có $x^2$≥0. Vậy không tồn tại số nguyên nào thỏa mãn điều kiện.

D=∅

Bài 5: Cho E={x∈R∣$x^2$+1=0}.
a) Tìm E.
b) Chứng minh rằng ∅⊆E.

Giải:

a) $x^2$+1=0⇒$x^2$=−1. Trong R không tồn tại nghiệm.

E=∅

b) Theo định nghĩa, tập rỗng là tập con của mọi tập hợp.

∅⊆E

Kết luận

Có thể thấy, tập hợp rỗng tuy đơn giản nhưng lại mang giá trị khi phát triển kiến thức trong toán học. Trung tâm gia sư online Học là Giỏi hy vọng sau khi tìm hiểu, bạn sẽ vận dụng linh hoạt kiến thức về tập hợp rỗng vào các bài toán thực tế và tự tin hơn trong quá trình học toán nhé.