关于Eberlein-ˇSmulian定理的注记-南京信息工程大学学报.PDFVIP

文章编号：１６７４７０７０（２００９）０３０２６４０４ ˇ 关于 ＥｂｅｒｌｅｉｎＳｍｕｌｉａｎ定理的注记 １ １ 朱杏华 　肖建中 摘要 ０　引言 基于对证明方法的分析，利用度量 Ｉｎｔｒｏｄｕｃｔｉｏｎ 化技巧与 Ｗｈｉｔｌｅｙ构造技术，给出Ｅｂｅｒ ˇ ｌｅｉｎＳｍｕｌｉａｎ定理的一个细致简单的证 　　紧性是一个拓扑性质，也是泛函分析空间理论所讨论的对象之 明．此证明不借助完备性，因此不影响定 理的实质；仅用到ＢａｎａｃｈＡｌａｏｇｌｕ定理与 一．在拓扑空间Ｘ中，子集Ａ有下列４种主要的紧性： ＨａｈｎＢａｎａｃｈ定理，因此容易被初学者 若Ａ的每个开覆盖存在有限子覆盖，则称Ａ为紧集； 理解． 若Ａ的每个可数开覆盖存在有限子覆盖，则称Ａ为可数紧集； 关键词 ˇ 若Ａ的每个无限子集在Ａ中存在聚点，则称Ａ为聚点紧集； ＥｂｅｒｌｅｉｎＳｍｕｌｉａｎ定理；Ｗｈｉｔｌｅｙ构 造；弱拓扑；弱 拓扑  若Ａ的每个序列都存在收敛的子序列收敛于Ａ中的点，则称Ａ 为自列紧集． 中图分类号 Ｏ１７７３＋１ 显然，紧蕴涵可数紧；自列紧蕴涵聚点紧．已知在具有Ｔ分离性的 文献标志码 Ａ １ 拓扑空间中，可数紧性等价于聚点紧性．由于泛函分析中涉及到的空间 大多是Ｈａｕｓｄｏｒｆｆ空间，故将聚点紧与可数紧不加区分，都称为可数紧． 已知在度量空间或在范数拓扑下，紧、可数紧、自列紧这３种紧性等价． 紧性概念在应用上十分重要，与最大值的可达性、最佳逼近的存 在性等有关．然而在无限维赋范空间中，闭单位球不是紧的．因此在 无限维赋范空间中，范数拓扑下的这种紧性失去应有作用，需要用较 弱的紧性来替代．   以下设Ｘ是赋范空间，Ｘ 与Ｘ 分别表示Ｘ的共轭空间（即Ｘ上 的连续线性泛函之集）与２次共轭空间，代表这些空间的原点，Ｚ＋ θ    表示正整数集．Ｂ［Ｘ ］与Ｓ（Ｘ ）分别是Ｘ 的原点闭单位球与单位球 珔 面．Ｘ上的范数拓扑记为 ．按习惯，Ａ表示Ｘ的子集Ａ关于 的闭 τ τ Ｎ