# Leray 零调性　`prop.leray-acyclicity`
Leray 零调性：零调复形算导出函子
layer 13 · 命题 · 复形与导出三角 · 同调代数
[在星图里打开](../#n=prop.leray-acyclicity)　·　[节点索引](../index.md)

若 $K^{\bullet} \in C^{+}(\mathcal{A})$ 且每个 $K^{n}$ 都是 **$F$-零调**的，则 $RFK^{\bullet} = FK^{\bullet}$。

## 为什么成立（入边，证明在 proofs/）
- [`def.f-acyclic`](../nodes/def.f-acyclic.md) F-零调对象：用到了定义 F-零调对象　[proofs/def-dep.leray-acyclic.md](../proofs/def-dep.leray-acyclic.md)
- [`def.right-derived-functor`](../nodes/def.right-derived-functor.md) 右导出函子：用到了定义 右导出函子　[proofs/def-dep.leray-rdf.md](../proofs/def-dep.leray-rdf.md)

refs: Le Stum, Proposition 7.2.12

> 说明见 `notes/prop.leray-acyclicity.md`

引用：`prop.leray-acyclicity`（内容 v0.9.0）· 条款见 [LICENSE.txt](../LICENSE.txt)