Q

Mathlib.AlgebraicTopology.DoldKan.Projections

URI: https://scilib.ai/kg/mathlib#AlgebraicTopology.DoldKan.Q

English

Q q is the complement projection to P q, i.e., Q q = 1 − P q.

Русский

Q q — дополнение к P q, то есть Q q = 1 − P q.

LaTeX

$$Q(q) = 1 - P(q)$$

Lean4

/-- `Q q` is the complement projection associated to `P q` -/
def Q (q : ℕ) : K[X] ⟶ K[X] :=
  𝟙 _ - P q

Похожие утверждения

Научная платформа российской исследовательской школы.

Разделы

Аффилиация

Вычислительный центр им. А. А. Дороницына при ФИЦ «Информатика и Управление» РАН frccsc.ru