# 谱序列的页画在 (p,q) 平面上　`prop.spectral-sequence-page-picture`
命题：$E_{0}, E_{1}, E_{2}$ 都是 $(p,q)$ 平面上的格点族
layer 17 · 命题 · 过滤与谱序列 · 同调代数
[在星图里打开](../#n=prop.spectral-sequence-page-picture)　·　[节点索引](../index.md)

谱序列的每一页 $E_{r}$ 都可以画成 $(p, q)$ 平面上的**格点族**（每个格点挂一个对象 $E^{p,q}_{r}$），而微分 $d_{r}$ 是从 $(p,q)$ 指向 $(p+r,\, q-r+1)$ 的**斜向箭头**。于是 $E_{0}, E_{1}, E_{2}$ 只是同一张图上不同的「向
> 陈述续见 [nodes/prop.spectral-sequence-page-picture.2.md](./prop.spectral-sequence-page-picture.2.md)


## 为什么成立（入边，证明在 proofs/）
- …另有入边，续页见 [nodes/prop.spectral-sequence-page-picture.3.md](./prop.spectral-sequence-page-picture.3.md)

refs: Le Stum, An introduction to condensed mathematics, Exercise 7.28

> 说明见 `notes/prop.spectral-sequence-page-picture.md`

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