就是和函数求导之后再取变上限积分,一般下限取0是为了方便计算。
就是原集合中所有的子集(包括全集和空集)构成的集族。可数集是最小的无限集; 它的幂集和实数集一一对应(也称同势),是不可数集。
不是所有不可数集都和实数集等势,集合的势可以无限的大。如实数集的幂集也是不可数集,但它的势比实数集大。 设X是一个有限集,|X| = k,则X的幂集的势为2的k次方。
康托第一个认真研究了无限集合, 分清了可数集和不可数集的区别, 并用对角线法证明了实数集不是可数集。此外,康托指出了幂集的势总是严格大于原集合。由此结论导致了康托猜想(即连续统假设)和康托悖论。