Theorems · Definition · functional analysis

Function.HasTemperateGrowth

{E : Type u_5} →
  {F : Type u_6} →
    [inst : NormedAddCommGroup E] →
      [NormedSpace ℝ E] → [inst : NormedAddCommGroup F] → [NormedSpace ℝ F] → (E → F) → Prop

A function is called of temperate growth if it is smooth and all iterated derivatives are polynomially bounded.

Defined in

Mathlib.Analysis.Distribution.TemperateGrowth

Cited by

88 results in Mathlib

Foundations

Depth 175 from the axioms · uses propext, Classical.choice, Quot.sound

Assumes

NormedAddCommGroupNormedSpaceNormedAddCommGroupNormedSpace