support

Mathlib.AlgebraicGeometry.IdealSheaf.Basic

URI: https://scilib.ai/kg/mathlib#AlgebraicGeometry.Scheme.IdealSheafData.support

← MathLib Explorer

English

The support of an ideal sheaf is the closed subset of X defined by the underlying set I.supportSet.

Русский

Поддержка идеального слоя есть замкнутое множество X, заданное I.supportSet.

LaTeX

$$Supp(I) = (I.supportSet, I.isClosed_supportSet)$$

Lean4

/-- The support of an ideal sheaf. Also see `IdealSheafData.mem_support_iff_of_mem`. -/
def support : Closeds X :=
  ⟨I.supportSet, I.isClosed_supportSet⟩

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

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

Разделы

MathLib Explorer
Graph RAG
Лаборатория
Блог
О проекте
Команда

Аффилиация

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