Lý thuyết tập hợp Zermelo–Fraenkel
Trong lý thuyết tập hợp, lý thuyết tập hợp Zermelo-Fraenkel, được đặt theo tên của các nhà toán học Ernst Zermelo và Abraham Fraenkel, là một hệ thống tiên đề được đề xuất vào đầu thế kỷ XX để xây dựng một lý thuyết tập hợp không còn các nghịch lý như nghịch lý Russell.
Lý thuyết tập hợp Zermelo–Fraenkel thường được ký hiệu là ZF. Lý thuyết tập hợp Zermelo–Fraenkel cùng với tiên đề chọn được ký hiệu là ZFC.
Các tiên đề
sửa1. Tiên đề quảng tính
sửaMột tập hợp hoàn toàn được xác định bởi các phần tử của nó[1]
![{\displaystyle \forall x\forall y[\forall z(z\in x\Leftrightarrow z\in y)\Rightarrow x=y].}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0d7b175ec36a59df864706ac6cfa8976c10e71d0)
2. Tiên đề chính tắc
sửaMọi tập không rỗng chứa một phần tử sao cho và là rời nhau.
![{\displaystyle \forall x[\exists a(a\in x)\Rightarrow \exists y(y\in x\land \lnot \exists z(z\in y\land z\in x))].}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c1b6c90db2cd7d252b1db2f1fe02872154da6efa)
3. Tiên đề tuyển lựa (tiên đề nội hàm)
sửaTa có thể xây dựng một tập hợp từ các phần tử trong tập hợp thỏa mãn các tính chất nhất định.[3] Cố định một tính chất , ta có
![{\displaystyle \forall z\exists y\forall x[x\in y\Leftrightarrow ((x\in z)\land \phi (x))].}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0182ab01c8b890e5581c4b8807c27905c52dcb8f)
4. Tiên đề cặp
sửaNếu và là các tập hợp thì tồn tại một tập hợp chứa và như các phần tử
Theo tiên đề quảng tính, tập hợp đó là duy nhất.[4]
5. Tiên đề hợp
sửa![{\displaystyle \forall {\mathcal {F}}\,\exists A\,\forall Y\,\forall x[(x\in Y\land Y\in {\mathcal {F}})\Leftrightarrow x\in A].}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ef2fee17d427ebdef67dd4114fc754f6bfbcf548)
6. Tiên đề thay thế
sửaTiên đề này được sử dụng trong quy nạp siêu hạn với số thứ tự.[5]
![{\displaystyle \forall A\forall w_{1}\forall w_{2}\ldots \forall w_{n}{\bigl [}\forall x(x\in A\Rightarrow \exists !y\,\phi )\Rightarrow \exists B\ \forall x{\bigl (}x\in A\Rightarrow \exists y(y\in B\land \phi ){\bigr )}{\bigr ]}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/765365f0432fae05b7df6bfffd09a1112c9bc0df)
7. Tiên đề vô hạn
sửaĐặt là tập hợp .Ta có[5]
![{\displaystyle \exists X\left[\varnothing \in X\land \forall y(y\in X\Rightarrow S(y)\in X)\right].}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dd396541416f002cb2d9c916604004b292815d41)
Tiên đề này cho phép xây dựng các số tự nhiên liên tiếp và tập hợp các số tự nhiên.
8. Tiên đề tập hợp các bộ phận
sửaTồn tại tập hợp các bộ phận, hay tập lũy thừa:[6]
![{\displaystyle \forall x\exists y\forall z[z\subseteq x\Rightarrow z\in y].}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6f6acd98b5529aadefd8f2990b7b9c913d39f0ec)
Ghi chú
sửaTham khảo
sửa- Hoàng Xuân Sính, Đại số đại cương (tái bản lần thứ tám), 1972, Nhà xuất bản Giáo dục
- Shoenfield, Joseph R., Mathematical Logic (2nd ed.), 2001, A K Peters. ISBN 978-1-56881-135-2.