MatrixCQY
首页
数学笔记
代码笔记
金融笔记
GitHub
首页
数学笔记
代码笔记
金融笔记
GitHub
  • 数学笔记

    • 数学笔记
    • 抽象代数

      • 群 (Group)
      • 群论进阶 (Advanced Group Theory)
      • 环与域 (Rings and Fields)
      • 模与代数 (Modules and Algebras)
      • 伽罗瓦理论 (Galois Theory)
      • 有限群表示论 (Representation Theory)
    • 李群与李代数

      • 矩阵李群 (Matrix Lie Groups)
      • 李代数初步 (Introduction to Lie Algebras)
    • 拓扑学

      • 拓扑空间与连续映射 (Topological Spaces)
      • 常见拓扑性质 (Topological Properties)
      • 滤子和网 (Filters and Nets)
      • 纽结理论 (Knot Theory)
    • 常微分方程

      • 常微分方程初等解法 (Elementary ODEs)
      • 线性微分方程 (Linear ODEs)
    • 偏微分方程

      • 偏微分方程的导出 (Derivation of PDEs)
    • 复变函数

      • 复数与复变函数
      • 全纯函数 (Holomorphic Functions)
      • 复变函数的展开
      • 积分变换
    • 实变函数

      • 预备知识 (Preliminaries)
      • Lebesgue 测度
      • 可测函数
      • Lebesgue 积分
    • 概率论

      • 事件与概率
      • 随机变量
      • 极限定理
      • 常用分布
    • 数理统计

      • 数理统计的基本概念
      • 参数估计与假设检验
    • 数值分析

      • 插值与样条
      • 矩阵与线性方程组
      • 非线性方程数值解法
      • 常微分方程数值解法
      • 偏微分方程的 Ritz-Galerkin 方法

拓扑空间与连续映射 (Topological Spaces)

1. 拓扑空间定义

设 XXX 是一个非空集合,T\mathcal{T}T 是 XXX 的子集族。若 T\mathcal{T}T 满足:

  1. ∅,X∈T\emptyset, X \in \mathcal{T}∅,X∈T.
  2. T\mathcal{T}T 中任意个元素的并仍在 T\mathcal{T}T 中。
  3. T\mathcal{T}T 中有限个元素的交仍在 T\mathcal{T}T 中。 则称 T\mathcal{T}T 为 XXX 上的一个拓扑,(X,T)(X, \mathcal{T})(X,T) 称为拓扑空间。T\mathcal{T}T 中的元素称为开集。

2. 闭集、内部、闭包

  • 闭集: 开集的补集。
  • 内部 (Interior) A∘A^\circA∘: 包含在 AAA 中的最大开集。
  • 闭包 (Closure) Aˉ\bar{A}Aˉ: 包含 AAA 的最小闭集。
  • 边界 (Boundary) ∂A=Aˉ∩X∖A‾\partial A = \bar{A} \cap \overline{X \setminus A}∂A=Aˉ∩X∖A​.

3. 基与子基

  • 基 (Base): 拓扑 T\mathcal{T}T 的子族 B\mathcal{B}B,使得任一开集都可表示为 B\mathcal{B}B 中元素的并。
  • 子基 (Subbase): 拓扑 T\mathcal{T}T 的子族 S\mathcal{S}S,使得 S\mathcal{S}S 中元素的有限交构成的族是 T\mathcal{T}T 的一个基。

4. 连续映射 (Continuous Maps)

设 f:X→Yf: X \to Yf:X→Y. 若对于 YYY 中的任意开集 VVV,其原像 f−1(V)f^{-1}(V)f−1(V) 都是 XXX 中的开集,则称 fff 是连续的。

  • 同胚 (Homeomorphism): 若 fff 是双射,且 fff 和 f−1f^{-1}f−1 都连续,则称 fff 为同胚。

5. 诱导拓扑

  • 子空间拓扑: A⊆XA \subseteq XA⊆X,TA={U∩A∣U∈TX}\mathcal{T}_A = \{ U \cap A \mid U \in \mathcal{T}_X \}TA​={U∩A∣U∈TX​}.
  • 积拓扑: X×YX \times YX×Y 上使得投影映射连续的最粗拓扑。
  • 商拓扑: 使得商映射连续的最细拓扑。
最近更新: 2026/2/15 04:15
Contributors: MatrixCQY
Next
常见拓扑性质 (Topological Properties)