Đến nội dung


Chú ý

Nếu các bạn đăng kí thành viên mà không nhận được email kích hoạt thì hãy kiểm tra thùng thư rác (spam). Nếu không biết cách truy cập vào thùng thư rác thì các bạn chịu khó Google hoặc đăng câu hỏi vào mục Hướng dẫn - Trợ giúp để thành viên khác có thể hỗ trợ.


Hình ảnh
- - - - -

Về tiên đề hội trong hệ tiên đề ZFC

tập hợp

  • Please log in to reply
Chủ đề này có 1 trả lời

#1 nthkhnimqt

nthkhnimqt

    Hạ sĩ

  • Thành viên
  • 61 Bài viết
  • Giới tính:Nữ
  • Đến từ:Quảng Ngãi

Đã gửi 29-11-2020 - 15:23

Tiên đề hội phát biểu bằng logic như sau
\[\forall A,\exists B,\forall c\left( {c \in B \Leftrightarrow \exists D\left( {c \in D \wedge D \in A} \right)} \right).\]
Mình xét ví dụ tập $A$ là tập chứa phần tử là quả táo. Vậy thì tập B là gì?? Nếu xét $A$ là tập mà phần tử của $A$ là tập thì ok :)) nhưng đâu phải lúc nào $A$ cũng là 1 tập bao gồm 1 số tập nào đó đâu.


Cần lắm một bờ vai nương tựa


#2 Heuristic

Heuristic

    Trung sĩ

  • Thành viên
  • 126 Bài viết
  • Giới tính:Nam

Đã gửi 30-11-2020 - 07:34

Thật ra nếu mình không nhầm thì trong hệ $ZFC$, mọi phần tử đều là tập hợp (tức là mọi tập đều là một tập hợp các tập).

 

Nhưng dù sao thì trong trường hợp bạn đưa ra, tiên đề hội vẫn được thỏa mãn: Do tập $A$ chỉ chứa một phần tử là quả táo, hội của nó (tức là hội của tất cả các tập hợp là phần tử của nó) là tập hợp rỗng (bởi $A$ không chứa tập hợp nào cả). $B=\emptyset$.  :icon6:


Bài viết đã được chỉnh sửa nội dung bởi Heuristic: 30-11-2020 - 07:34






0 người đang xem chủ đề

0 thành viên, 0 khách, 0 thành viên ẩn danh