isPeriodicPt_zero

Mathlib.Dynamics.PeriodicPts.Defs

URI: https://scilib.ai/kg/mathlib#Function.isPeriodicPt_zero

English

Any point is periodic with period 0.

Русский

Любая точка периодична с периодом 0.

LaTeX

$$$ \text{IsPeriodicPt}(f,0,x). $$$

Lean4

/-- Any point is a periodic point of period `0`. -/
theorem isPeriodicPt_zero (f : α → α) (x : α) : IsPeriodicPt f 0 x :=
  isFixedPt_id x

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

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

Разделы

Аффилиация

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