前言
在泛函分析中,我们的大致思路是,对一个空间赋予更多结构。在上一篇文章紧性中,对紧性这个概念进行了解释,紧性是给空间赋予了一个有限的结构。可分(separable)也是泛函分析中一个十分重要的结构,那么它对空间进行了什么限制呢?
可分性的引入
在这里,先说结论,可分是对空间“大小”的“限制”。
先从最熟悉的说起,在线性代数中,我们知道,在一个n维空间中,均存在一组基,使得空间中的每个元素都可以表示这组基的线性组合。那么,在一个无穷维空间中,能够将空间中的元素也类似的表示成一组基的线性组合呢?显然是不一定的。然后教材中,引入了Schauder基的概念,可以将空间中的元素$x$表示成如下线性组合的形式:
$$
x=\sum_{n=1}^\infty a_nx_n
$$
当然,并不一定所有的无穷维空间中都有Schauder基。我们希望我们研究的空间中,存在这样的形式,便于我们研究问题。那么自然而然就有一个问题,什么样的空间存在Schauder基或者其他的基?
观察这个形式,我们可以发现,基的个数是可数多个。对于无穷多个元素,我们希望这些元素是可数多个的,因为可数个元素可以用自然数一一表示出来,即可以表示成$x_n$的形式。而这就说明这个空间需要个一个可数集合“差不多大”。什么是“差不多大”呢,简单来说,就是两个集合之间只差一些“离散点”,这些“离散点”相对于集合中的无穷多个点来说是可以忽略的。而这个指的就是稠密。我们来看稠密的定义:A在X中稠密当且仅当X中唯一包含A的闭集是X自己。换句话说,X中的任一点都可以被A中的点很好的逼近。可以看出,这个就是我们上面说的“差不多大”。
那么自然而然就引出了可分。和一个可数集合“差不多大”,就是可数+稠密。那么我们就知道当X有一个可数的稠密的子集时,那就是可分的。
因此,有了可分性,我们在研究问题时,就只需要考虑可数多个,而不需要研究特别多个。值得注意的是,可数多个虽然也可能是无穷多个,但是可数能够用自然数表示,即可以表示为$a_n$的形式,很方便我们研究问题,而当数据为不可数个,那么表示起来就很困难,相当于“超出了我们的掌控”。因此,这就是为什么可分是对空间“大小”的“限制”。
参考资料
https://www.cnblogs.com/xtan/archive/2011/07/25/2115849.html