Set 离散数学

Set 离散数学,set,theory,discrete-mathematics,proof,Set,Theory,Discrete Mathematics,Proof,我真的不知道从哪里开始。我的第一个想法是,j和k的交集是普适集,但我没有任何证据证明这一点。我在索引集族方面没有太多的实践,但这学期我在集合论方面做了很多。我是数学专业的三年级学生,这门课的目的是帮助你过渡到更严格的、基于证明的数学。 谢谢你的帮助 A_n是大于或等于n的所有自然数的集合。第(a)部分询问a_j和a_k的交点是否必须始终为非空。片刻的反射将表明这是正确的,因为如果j>k,A_j和A_k的交点将是A_j,否则A_k,并且没有A_n是空的。第(b)部分询问所有A_n的交点是否为空。所

我真的不知道从哪里开始。我的第一个想法是,j和k的交集是普适集,但我没有任何证据证明这一点。我在索引集族方面没有太多的实践,但这学期我在集合论方面做了很多。我是数学专业的三年级学生,这门课的目的是帮助你过渡到更严格的、基于证明的数学。
谢谢你的帮助

A_n是大于或等于n的所有自然数的集合。第(a)部分询问a_j和a_k的交点是否必须始终为非空。片刻的反射将表明这是正确的,因为如果j>k,A_j和A_k的交点将是A_j,否则A_k,并且没有A_n是空的。第(b)部分询问所有A_n的交点是否为空。所有A_n的交集将是大于或等于“最大自然数”的所有自然数的集合。当然,没有“最大自然数”,所以集合中没有任何东西;所有A_n的交集为空,因为至少一个集合(A_k+1)中缺少每个自然数k。

A_n是大于或等于n的所有自然数的集合。第(a)部分询问a_j和a_k的交点是否必须始终为非空。片刻的反射将表明这是正确的,因为如果j>k,A_j和A_k的交点将是A_j,否则A_k,并且没有A_n是空的。第(b)部分询问所有A_n的交点是否为空。所有A_n的交集将是大于或等于“最大自然数”的所有自然数的集合。当然,没有“最大自然数”,所以集合中没有任何东西;所有A_n的交集为空,因为至少有一个集合(A_k+1)中缺少每个自然数k。

我投票结束这个问题,因为它与编程无关。试试看!我投票结束这个问题,因为它与编程无关。试试看!