lipschitzOnWith

Mathlib.Topology.EMetricSpace.Lipschitz

URI: https://scilib.ai/kg/mathlib#LipschitzWith.lipschitzOnWith

English

If f is LipschitzWith K f, then f is LipschitzOnWith K f on any subset s.

Русский

Если f LipschitzWith K, то f LipschitzOnWith K на любом подмножестве s.

LaTeX

$$$LipschitzWith(K,f)\Rightarrow LipschitzOnWith(K,f,s)$$$

Lean4

protected theorem lipschitzOnWith (h : LipschitzWith K f) : LipschitzOnWith K f s := fun x _ y _ => h x y

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

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

Разделы

Аффилиация

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