跳到正文
M
Math Idea Graph
数学思想知识图谱
首页
概念
关系图
关于
搜索
/
首页
/
搜索
搜索知识库
搜索数学概念或定义
搜索
热门：
同伦等价
同伦
基本群
自由群
CW 复形
同伦类型论
奇异同调
搜索需要 JavaScript 才能运行（索引在浏览器本地检索）。下面是知识库的完整条目列表，可直接浏览。
全部概念（23）
高阶同伦群
（Higher Homotopy Group）
基本群
（Fundamental Group）
基本群胚
（Fundamental Groupoid）
可缩空间
（Contractible Space）
连续映射
（Continuous Map）
模型范畴
（Model Category）
奇异同调
（Singular Homology）
强形变收缩
（Strong Deformation Retract）
群作用
（Group Action）
弱同伦等价
（Weak Homotopy Equivalence）
拓扑空间
（Topological Space）
同伦
（Homotopy）
同伦不变量
（Homotopy Invariant）
同伦等价
（Homotopy Equivalence）
同伦范畴
（Homotopy Category）
同伦类型
（Homotopy Type）
同伦类型论
（Homotopy Type Theory）
同伦逆
（Homotopy Inverse）
形变收缩
（Deformation Retract）
自由积
（Free Product）
自由群
（Free Group）
CW 复形
（CW Complex）
Whitehead 定理
（Whitehead's Theorem）
全部定义（26）
高阶同伦群的定义
（Definition of Higher Homotopy Groups）
基本群的定义
（Definition of the Fundamental Group）
基本群胚的定义
（Definition of the Fundamental Groupoid）
可缩空间的定义
（Definition of Contractible Space）
连续映射的开集原像定义
（Definition of Continuity via Preimages of Open Sets）
模型范畴的定义（概述）
（Definition of a Model Category (Overview)）
奇异同调的定义
（Definition of Singular Homology）
强形变收缩的定义
（Definition of Strong Deformation Retract）
群作用的定义
（Definition of a Group Action）
弱同伦等价的定义
（Definition of Weak Homotopy Equivalence）
拓扑空间的开集公理定义
（Definition of a Topological Space via Open Sets）
同伦不变量的定义
（Definition of Homotopy Invariant）
同伦的标准定义
（Standard Definition of Homotopy）
同伦等价的标准定义
（Standard Definition of Homotopy Equivalence）
同伦范畴的定义
（Definition of the Homotopy Category）
同伦范畴中的同构刻画
（Homotopy Equivalence as Isomorphism in the Homotopy Category）
同伦类型的定义
（Definition of Homotopy Type）
同伦类型论的类型—空间对应
（The Types-as-Spaces Correspondence）
同伦逆的定义
（Definition of Homotopy Inverse）
相对于子空间的同伦
（Relative Homotopy）
形变收缩的定义
（Definition of Deformation Retract）
自由积的定义
（Definition of the Free Product）
自由群的泛性质刻画
（Universal Property of the Free Group）
自由群的字模型定义
（Free Group via Reduced Words）
CW 复形的定义
（Definition of a CW Complex）
Whitehead 定理
（Whitehead's Theorem）