其中第三个等号用到了链映射的定义以及复合运算的结合律，所以g∘f≃g∘f′（g∘ψ是一个链同伦）。同理，由于g≃g′:D→E，因此存在φ:D→E使得g−g′=∂E∘φ+φ∘∂D，于是g∘f′−g′∘f′=(g−g′)∘f′=∂E∘φ∘f′+φ∘∂D∘f′=∂E∘(φ∘f′
沪江词库精选同伦链映射的英文怎么说、英语单词怎么写、例句等信息 homotopic chain-mapping 相似短语 homotopic paths 同伦道路 homotopic transplantation 【医】 同位移植术 homotopic path 同伦道路 homotopic mapping 同伦映射 homotopic to zero morphism 同伦于零射 homotopic geodesic line 同伦测地线 ...
那么,可以深入考虑,理想论在交换代数中可以看做拓扑理论,由此点集拓扑,开集,拓扑基,连续映射,代数拓扑,同伦,同调,上同调可以诱导出来。这是数论对象的拓扑理论。代数扩张理论则是伽罗华理论,域扩张,线性代数理论,线性扩张,我觉得应该还有其他类型,毕竟代数扩张可以看做代数闭包下的序完备理论,A→Q,精细化A→A1→A2...