康托尔定理证明的过程中，写到x∉f(x)的字眼，f不是表示一个函数吗，这个f(x)怎么是一个集合？
2023-04-22 阅读 51
康托尔定理中的f(x)是指一个集合，而不是函数。具体来说，如果我们把一个集合A映射到另一个集合B上的函数表示为f:A→B，那么在康托尔定理中的f(x)表示的是集合x在集合B中的像，即f(x)={y∈B | y=f(a), a∈x}。因此，在康托尔定理的证明中，x∉f(x)的意思就是对于任意一个集合x，都不存在一个元素y使得y=f(a)且a∈x，也就是说，集合x不属于它自己的像集f(x)中。
更新于 2023年04月27日
