apply

Mathlib.Dynamics.PeriodicPts.Defs

URI: https://scilib.ai/kg/mathlib#Function.IsPeriodicPt.apply

English

If x is periodic with period n for f, then f(x) is periodic with the same period n.

Русский

Если x периодическая точка f с периодом n, то f(x) периодическая точка с периодом n.

LaTeX

$$$IsPeriodicPt f n x \Rightarrow IsPeriodicPt f n (f x)$$$

Lean4

protected theorem apply (hx : IsPeriodicPt f n x) : IsPeriodicPt f n (f x) :=
  hx.apply_iterate 1

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

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

Разделы

Аффилиация

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