Structures · Analysis
FourierTransform
The notation typeclass for the Fourier transform.
While the Fourier transform is a linear operator, the notation is for the function E → F without
any additional properties. This makes it possible to use the notation for functions where
integrability is an issue.
Moreover, including a scalar multiplication causes problems for inferring the notation type class.
- Defined in
- Mathlib.Analysis.Fourier.Notation
- Shape
- 2 explicit arguments · adds fourier
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 by20
- FourierTransform.fourier
- FourierTransform.fourierCLE
- FourierTransform.fourierCLM
- FourierTransform.fourierEquiv
- FourierTransform.fourier_neg
- FourierTransform.fourierCLE_apply
- FourierTransform.fourier_sum
- FourierTransform.fourierₗ
- FourierTransform.fourierCLM_apply
- FourierTransform.fourierCLE_symm_apply
- SchwartzMap.fourierTransformCLE
- FourierTransform.fourierEquiv_symm_apply
- FourierTransform.fourierₗ_apply
- TemperedDistribution.fourierTransformCLM
- TemperedDistribution.fourierTransformCLM_apply
- FourierTransform.fourier_zero
- FourierTransform.fourierEquiv_apply
- FourierTransform.fourierCLM.congr_simp
- SchwartzMap.fourierTransformCLE_symm_apply
- SchwartzMap.fourierTransformCLE_apply
Ancestors0
No ancestors.