isBounded

Mathlib.Analysis.Convex.Body

URI: https://scilib.ai/kg/mathlib#ConvexBody.isBounded

English

Every convex body in a normed space is bounded.

Русский

Каждое выпуклое тело в нормированном пространстве ограничено.

LaTeX

$$$K\\text{ is a convex body in a normed space }V\\ \\Rightarrow\\ K\\text{ is bounded}.$$$

Lean4

protected theorem isBounded : Bornology.IsBounded (K : Set V) :=
  K.isCompact.isBounded

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

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

Разделы

Аффилиация

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