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

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

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

设（Ｅｎ，ｄｎ）是距离空间（ｎ＝１，２，…），定义乘积空间为（П＾∞ｎ＝１Ｅｎ，Ｄ），ｄ（｛ｘｎ｝，｛ｙｎ－）＝Σ＾∞ｎ＝１Ｅｎ，ｄ）是完备距离空间当且仅当每个因子空间９Ｅｎ，ｄｎ）完备，子集Ａ∪→П＾∞Ｅｎ，列紧当且仅当Ａ在每个因子空间Ｅｎ中的投影πｎ（Ａ）列紧。