self

Mathlib.Deprecated.AnalyticManifold

URI: https://scilib.ai/kg/mathlib#AnalyticManifold.self

English

A normed space E carries an analytic manifold structure over itself.

Русский

Нормированное пространство E обладает структурой аналитического многообразия над самим собой.

LaTeX

$$$\text{AnalyticManifold } \mathcal{I}(\mathbb{K},E)\, E$$$

Lean4

/-- Normed spaces are analytic manifolds over themselves. -/
instance self : AnalyticManifold 𝓘(𝕜, E) E where

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

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

Разделы

Аффилиация

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