数学概念
有向集映到集合的映射。
定义
集合上的一个网是指映射其中是一个有向集,通常写作, 或简写作。
示例
拓展
若是的一个子集,如果存在使得当时有,则称网流向;如果对每一个都存在使得,则称网挂在上.
是网的一个收敛点是指对的每一个邻域,都有网流向,记作
是网的一个聚点是指对的每一个邻域,都有网挂在上(注意与拓扑空间中的聚点区分).
应用
命题1. 为一拓扑空间,是的一个子集,是中一点,则是的一个聚点当且仅当存在一个上的网(可看作上的网)收敛于.当且仅当存在一个上的网收敛于.
证明:略.
命题2. ,为拓扑空间,映射在点处连续当且仅当对任意收敛于的网有收敛于
证明:略.
命题3. 为一拓扑空间,则下列陈述等价:
a. 是紧的.
b. 任意上的网都有一个聚点.
c. 任意上的网都有一个收敛的子网.
证明:略.
参考资料
最新修订时间:2024-05-21 14:13
目录
概述
定义
示例
拓展
应用
参考资料