关于[0,1]上Borel概率测度空间（赋予弱收敛拓扑）的局部紧Hausdorff性的技术问询

嘿，我来帮你理清楚这个问题的思路：

首先先把问题明确下：

设$X$是$[0,1]$上所有Borel概率测度构成的集合，赋予弱收敛拓扑。请问$X$是局部紧Hausdorff空间吗？

我之前学过：一个赋范空间是局部紧的当且仅当它是有限维的。我猜$X$是赋范空间，那是不是意味着$X$不是局部紧的？

咱们一步步拆解：

1. Hausdorff性的确认：
   弱收敛拓扑是由$[0,1]$上连续实值函数空间诱导的点态收敛型拓扑，这类拓扑天然满足Hausdorff分离公理——任意两个不同的测度，总能找到连续函数使得它们的积分值不同，从而构造出不相交的邻域，所以$X$肯定是Hausdorff空间。

2. 局部紧性的关键：拓扑的选择很重要：
   你提到的“赋范空间局部紧当且仅当有限维”这个结论完全正确，但这里有个容易混淆的点：弱收敛拓扑和$X$作为赋范空间（比如赋予全变差范数）的拓扑不是同一个东西。弱收敛拓扑比全变差拓扑要弱得多，所以不能直接套用这个赋范空间的结论。

3. 正确的结论推导：
   当底空间是紧Hausdorff空间时（比如这里的$[0,1]$），其上的Borel概率测度空间赋予弱收敛拓扑是紧空间（这是测度论里的经典结论：紧空间上的概率测度族本身就是紧的，整个测度空间自然也是紧的）。而紧空间本身就是局部紧的——因为每个点的任意邻域都包含一个紧邻域（整个空间就是最大的紧邻域）。

所以总结一下：在弱收敛拓扑下，$X$是局部紧Hausdorff空间；但如果换成全变差范数拓扑，它就是无限维赋范空间，确实不是局部紧的。

备注：内容来源于stack exchange，提问作者dodo