乘积空间的完备性与列紧子集的特征

摘要

设（Ｅｎ，ｄｎ）是距离空间（ｎ＝１，２，…），定义其乘积空间为（Π∞ｎ＝１Ｅｎ，ｄ），ｄ（｛ｘｎ｝，｛ｙｎ｝）＝∑∞ｎ＝１１２ｎｄｎ（ｘｎ，ｙｎ）１＋ｄｎ（ｘｎ，ｙｎ）．本文证明了（Π∞ｎ＝１Ｅｎ，ｄ）是完备距离空间当且仅当每个因子空间（Ｅｎ，ｄｎ）完备，子集ＡΠ∞ｎ＝１Ｅｎ列紧当且仅当Ａ在每个因子空间Ｅｎ中的投影πｎ（Ａ）列紧．作为应用还给出了：可数紧的距离空间Ｘ（即存在紧子集ＤｎＸ，使Ｘ＝∪∞ｎ＝１Ｄｎ且≠ＤｎＤ０ｎ＋１，ｎ＝１，２，…）上的连续函数空间Ｃ（Ｘ）。