Structures · Analysis
FourierPair
A FourierPair is a pair of spaces E and F such that 𝓕⁻ ∘ 𝓕 = id on E.
- Defined in
- Mathlib.Analysis.Fourier.Notation
- Shape
- 2 explicit arguments · adds fourierInv_fourier_eq
Extends0
Extends nothing: this is a root of the hierarchy.
Extended by0
Nothing extends this class yet.
Concrete types that are instances3
- SchwartzMap
- TemperedDistribution
- Subtype
How is a type an instance?
Loading the hierarchy index…
Assumed by10
- FourierPair.fourierInv_fourier_eq
- FourierTransform.fourierCLE
- FourierTransform.fourierEquiv
- FourierTransform.fourierCLE_apply
- FourierTransform.fourierCLE_symm_apply
- SchwartzMap.fourierTransformCLE
- FourierTransform.fourierEquiv_symm_apply
- FourierTransform.fourierEquiv_apply
- SchwartzMap.fourierTransformCLE_symm_apply
- SchwartzMap.fourierTransformCLE_apply
Ancestors0
No ancestors.