【问题标题】:Is the concept of equal subsets a fallacy?相等子集的概念是谬误吗?
【发布时间】:2020-08-11 04:17:08
【问题描述】:

我在互联网(In this web, 2nd point 3th paragraph) 和一本书(set theory related topics by lipschutz, Page 3 - Def. 1-1) 上找到的子集定义表明或暗示:

A=B If at the same time A⊂B and B⊂A;

这意味着 A 包含在 B 中,但也意味着 B 包含在 A 中。

这不是罗素悖论中所证明的谬误吗?

我想会是这样,是这样吗? This Img

【问题讨论】:

  • 我投票结束这个问题,因为它属于 math.stackexchange.com
  • “A⊂B”不代表A包含在B中,而是代表A是B的子集

标签: math set logic discrete-mathematics


【解决方案1】:

不幸的是,“包含”可以以两种截然不同的方式用于集合:“作为成员包含”和“作为子集包含”,因此我建议避免使用它或非常清楚您的意思。我认为第二个不太常见使用“包含”,但它仍然会发生。

确实,当 B 是 A 的成员时,A 不能是 B 的成员(但与罗素悖论没有真正的关系);但是 A 可以是 B 的子集,B 可以是 A 的子集。只要考虑 A={1} 和 B={1}。那么 A 的每个成员(即 1)都是 B 的成员,所以 A 是 B 的子集。反之亦然。

我想会是这样,是这样吗?这个图

如果 B 是 A 的 子集(即 A 的子集但不等于 A)并且 A 是 B 的真子集,这将是。

【讨论】:

    【解决方案2】:

    如果 X 的每个元素都在 Y 中,则集合 X 包含在集合 Y 中。 因此,即使 X 等于 Y,X 也被认为包含在 Y 中。

    此时,很明显,如果 X 包含在 Y 中,Y 也同时包含在 X 中,它们应该相等。

    【讨论】:

    • 说 X 包含在 Y 中并且 Y 包含在 X 中不会是多余的,就像这张图一样? link
    • @Jet1224 是的。首先,集合具有固定的元素。它们不会改变大小。
    • 如果他们定义了元素并且他们不改变他们的大小,那么这是否意味着X包含Y,但Y不能同时包含X?并将其付诸实践,会是这样吗? Link
    • X ⊂ Y 表示 X 的所有元素都是 Y 的元素,仅此而已。您的第一个链接的文本作者只是在玩文字。
    • 此问题已关闭,您的回答已在关闭时间之前计时。我投票决定保留你的回答,因为我认为你不应该因为你回答后做出的决定而受到惩罚。
    猜你喜欢
    • 1970-01-01
    • 1970-01-01
    • 2015-09-01
    • 1970-01-01
    • 2021-01-03
    • 2012-07-16
    • 2016-09-15
    • 2021-02-18
    • 2018-02-02
    相关资源
    最近更新 更多