可数个序列紧的乘积在乘积拓扑下是序列紧该怎么证明呀？ 第1页
1
xia-yu-sen-40 网友的相关建议:
只粗略的考虑了几秒钟，以下随意口胡。
我们假设有一个序列x^{n},其中每一项x = (x1, x_2,....)。我们把点x投影到X1里（第一个分量所在的空间），利用X1的列紧抽一个收敛子序列出来。我们下面只考虑这个子序列，原先那个序列扔了。对这个子序列，第一分量是收敛的（我们刚刚做了这件事）。我们现在考虑第二分量，把它投影到X2里。利用X_2的列紧，提一个收敛子列出来。好，现在我们有了一个子序列的子序列，前俩分量都收敛。重复以上步骤，最后考虑对角线元素，就是每个分量都收敛的子列了。
这是经典的Cantor Diagonal argument.参考Arzela-Ascoli定理的证明就好。
1
相关话题
实变、泛函、抽代、拓扑，哪几门对于非纯数专业更加有用？拓扑领域有哪些美妙的工作？
想要学习流形的话需要哪些预备知识？
机器学习的理论方向 PhD 是否真的会接触那么多现代数学（黎曼几何、代数拓扑之类）？
构造微分流形这个概念的动机是什么？
有没有哪些生物是拓扑意义上有“洞”的？
如何评价一线大厂资深 APP 性能优化系列之异步优化与拓扑排序？
任何一个群是否都是某个拓扑空间的基本群？
在微分流形上如何证明单位球面可定向?
如何证明这个关于良序集的命题？
前一个讨论
实变函数证明第八题？
相关的话题
拓扑学为什么在现代数学里很重要？几何与拓扑方向需要学习代数几何吗?
如何评价一线大厂资深 APP 性能优化系列之异步优化与拓扑排序？
如何学习点集拓扑学？
（动力系统 + 拓扑学 + 抽象代数）和（泛函分析 + 实变函数 + 复分析和解析几何）有哪些联系？
《现代数学基础丛书》的封面图有什么数学背景？
Exotic R^4是不是和米尔诺怪球的道理一样，Exotic R^4可以形变为R^4，但形变不光滑？
如何确定K3曲面的betti数和hodge数?
欧氏空间到自身的局部同胚、连续、满映射，是否一定是单射？
拓扑学究竟是是一种什么样的学科？
Rⁿ 中任意单连通的开集是否都同胚于 Rⁿ？
通过将圆环“切开”并“展开”，圆环面积是否可以转化为梯形面积？
如何证明这个关于良序集的命题？
所谓的魔术绳结实际是拓扑结构，可是这种拓扑结构如何证明其可解（就是能不剪断绳子解开）？
构造微分流形这个概念的动机是什么？
怎么用拓扑结构来刻画实数集？
Hatcher的代数拓扑自学有无其他参考?
所谓的魔术绳结实际是拓扑结构，可是这种拓扑结构如何证明其可解（就是能不剪断绳子解开）？
可数个序列紧的乘积在乘积拓扑下是序列紧该怎么证明呀？
为何要引入同伦群，同伦群可以解决什么问题？
度量拓扑对应度量如果不满足交换律，那么这个“度量”是否还能诱导相同的拓扑?
实变、泛函、抽代、拓扑，哪几门对于非纯数专业更加有用？
如何评价一线大厂资深 APP 性能优化系列之异步优化与拓扑排序？
如何理解庞加莱对偶（Poincare Duality）?
Rⁿ 中任意单连通的开集是否都同胚于 Rⁿ？
能不能说一下 vector space 和 dual vector space 的关联和区别？
为什么我觉得这样的同胚根本不存在，可以帮我看一下这个问题吗?
通过将圆环“切开”并“展开”，圆环面积是否可以转化为梯形面积？
在微分流形上如何证明单位球面可定向?
在拓扑学中，开集的有限次交仍为开集，而不允许无限次交，这么定义的动机是什么？