map_smul

Mathlib.Topology.Algebra.Algebra

URI: https://scilib.ai/kg/mathlib#ContinuousAlgHom.map_smul

English

Variant form: f is linear over the base ring when acting on smul.

Русский

Вариант: f линейно действует по базовому кольцу при умножении на скаляры.

LaTeX

$$$f(c \\cdot x) = c \\cdot f(x)$$$

Lean4

protected theorem map_smul (f : A →A[R] B) (c : R) (x : A) : f (c • x) = c • f x :=
  map_smul ..

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

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

Разделы

Аффилиация

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