StoneCech

Mathlib.Topology.Compactification.StoneCech

URI: https://scilib.ai/kg/mathlib#StoneCech

English

The Stone-Čech compactification of α is the T2-quotient of PreStoneCech α: StoneCech α = T2Quotient (PreStoneCech α).

Русский

Компактфикация Стоуна–Чехα равна T2-quotient от PreStoneCech α: StoneCech α = T2Quotient (PreStoneCech α).

LaTeX

$$$ StoneCech \ α = T2Quotient(PreStoneCech \ α) $$$

Lean4

/-- The Stone-Čech compactification of a topological space. -/
def StoneCech : Type u :=
  T2Quotient (PreStoneCech α)

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

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

Разделы

Аффилиация

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