可数个序列紧的乘积在乘积拓扑下是序列紧该怎么证明呀？ 第1页
1
xia-yu-sen-40 网友的相关建议:
只粗略的考虑了几秒钟，以下随意口胡。
我们假设有一个序列x^{n},其中每一项x = (x1, x_2,....)。我们把点x投影到X1里（第一个分量所在的空间），利用X1的列紧抽一个收敛子序列出来。我们下面只考虑这个子序列，原先那个序列扔了。对这个子序列，第一分量是收敛的（我们刚刚做了这件事）。我们现在考虑第二分量，把它投影到X2里。利用X_2的列紧，提一个收敛子列出来。好，现在我们有了一个子序列的子序列，前俩分量都收敛。重复以上步骤，最后考虑对角线元素，就是每个分量都收敛的子列了。
这是经典的Cantor Diagonal argument.参考Arzela-Ascoli定理的证明就好。
1
相关话题
Cauchy定理的证明是否依赖于Jordan曲线定理？有没有对于各种榫卯结构，在数学上的研究?
拓扑学（点集拓扑和代数拓扑基础）和范畴论有什么双语教材？
“可分度量空间”的名字是怎么来的？
在拓扑学中，开集的有限次交仍为开集，而不允许无限次交，这么定义的动机是什么？
如何证明不全无界的两不相交闭集之间的的距离大于0？
为什么我觉得这样的同胚根本不存在，可以帮我看一下这个问题吗?
如何以「我觉得代数拓扑实在是太简单了」开头写一篇故事？
能向我简单介绍一下同调论，同伦伦，德拉姆上同调，微分拓扑，几何拓扑，以及它们的联系与不同吗？
同调群在拓扑以外有什么应用？
前一个讨论
实变函数证明第八题？
相关的话题
为什么现代数学经常会关心整体性质？能不能举例详细说说？覆叠空间理论中的“纤维”有什么直观解释么？
拓扑学（点集拓扑和代数拓扑基础）和范畴论有什么双语教材？
可点缩的空间是否一定以其中某一点作为其强形变收缩核呢？
克莱因瓶真的存在于四维吗?
二维空间有四色定理，那三维空间中存在 n 色定理吗？如果有，那么是几色定理？
任何一个群是否都是某个拓扑空间的基本群？
我好像证明了四色猜想，各位怎么看？
SO(2)左乘作用在SO(3)上，轨道空间是什么样子的?
我知道dxdy其实是契形积，也就是dx^dy，那么三重积分也是dx^dy^dz吗？
微分几何中为什么要用线性函数的观点来看切向量?
为何要引入同伦群，同伦群可以解决什么问题？
拓扑学为什么在现代数学里很重要？
皮克定理有哪些证明？
为什么我觉得这样的同胚根本不存在，可以帮我看一下这个问题吗?
怎么用拓扑结构来刻画实数集？
数学学习或研究中，你见过哪些有意思的反例？
如何阅读Hatcher的代数拓扑？
几何与拓扑方向需要学习代数几何吗?
如何在理论上解释「四色定理」？
拓扑学究竟是是一种什么样的学科？
群论和拓扑的关系是什么？群论本来就是拓扑的一种形式？
数学中为什么要定义各种空间？
数学学习或研究中，你见过哪些有意思的反例？
对于当今数学来说，「几何」到底是什么？
「克莱因瓶」是什么，如何借助「克莱因瓶」来理解四维空间？
任何一个群是否都是某个拓扑空间的基本群？
如何理解 Van-Kampen 定理？
在拓扑学中，开集的有限次交仍为开集，而不允许无限次交，这么定义的动机是什么？
有没有对于各种榫卯结构，在数学上的研究?