点集拓扑中一个重要定理的非标准证明.pdfVIP

第 35 卷　第 1 期 西 安 建 筑 科 技 大 学 学 报( 自然科学版) V o l. 35　N o. 1 2003 年 3 月 ( ) M ar. 2003 J X i’an U n iv. o f A rch. T ech. N atu ra l Scien ce E d it ion 点集拓扑中一个重要定理的非标准证明 陈 东 立 (西安建筑科技大学理学院, 陕西 西安 7 10055) 摘　要: 给出了点集拓扑中的一个重要定理: 乘积空间为局部紧的充分必要条件是每一个坐标空间为局部紧 并且除有限多个外所有的坐标空间均为紧的一个非标准证明. 关键词: 局部紧空间; 乘积空间; 饱和的非标准模型; 近标准点 中图分类号: O 18911　　　　文献标识码: A 　　　　文章编号:(2003) 0 1009802　 A n on stan dard proof f or a maj or theorem in topology CH EN D ong li ( , ’ . . . , ’ 7 10055, ) Schoo l o f Scien ce X i an U n iv A rch T ech X i an Ch in a : . Abstract A n im po r tan t th eo rem in topo logy is p roved u sing non stan dard m ethod Key words: loca l comp ac t sp aces; p rod uc t of top olog ica l sp aces; sa tu ra tion ; nea r s tand a rd p oin ts A . R ob in son 利用乘积拓扑空间的非标准特征给出T ychono ff 定理: 紧空间的乘积空间为紧的一个 简单证明. 本文主要利用局部紧空间的非标准特征给出局部紧空间一个重要定理的非标准证明. 本文中 ( ) ( ) X , T 表示一拓扑空间, 而 X 为 X , T 饱和的非标准模型且有X X . ( ) ( ) 定义 1. 设 X , T 为拓扑空间, T x 为点x 的邻域系. 称 ∩{ G: G ∈T x } 为x 的单子, 记为m x . ( ) 若 a ∈ X 且存在x ∈X 使得 a ∈m x , 则称