# 拟同构　`def.quasi-iso`
拟同构与零调复形（Quasi-Isomorphism）
layer 14 · 定义 · 同调与正合列 · 同调代数
[在星图里打开](../#n=def.quasi-iso)　·　[节点索引](../index.md)

复形态射 $f : K \to L$ 叫**拟同构**，如果对每个 $n$，$H^{n}(f)$ 都是同构。复形 $K$ 叫**零调的**，如果 $H^{n}(K) = 0$ 对所有 $n$。

## 为什么成立（入边，证明在 proofs/）
- [`def.cohomology`](../nodes/def.cohomology.md) 同调：用到了定义 同调　[proofs/def-dep.cohomology-quasi-iso.md](../proofs/def-dep.cohomology-quasi-iso.md)

## 它能推出什么 / 谁在用它
- 被 [`prop.injective-complex-homotopy`](../nodes/prop.injective-complex-homotopy.md) 内射复形：零调、拟同构与同伦 用
- 被 [`def.resolution`](../nodes/def.resolution.md) 消解 用

- …另有出边，续页见 [nodes/def.quasi-iso.2.md](./def.quasi-iso.2.md)

refs: Le Stum, An introduction to condensed mathematics, §7.1–7.3

> 说明见 `notes/def.quasi-iso.md`

引用：`def.quasi-iso`（内容 v0.9.0）· 条款见 [LICENSE.txt](../LICENSE.txt)