# nLab integral transform

## Topics in Functional Analysis

#### Higher category theory

higher category theory

# Contents

## Idea

An integral transform on functions is a linear map between functions on spaces $X$, $Y$ encoded by a function $K$ on the product space $X×Y$ and given by a formula of the type

$\left(\mathrm{function}\phantom{\rule{thickmathspace}{0ex}}f\phantom{\rule{thickmathspace}{0ex}}\mathrm{on}\phantom{\rule{thickmathspace}{0ex}}X\right)↦\left(y↦{\int }_{X}f\left(x\right)K\left(x,y\right)\right)\phantom{\rule{thinmathspace}{0ex}},$(function\;f\;on\;X) \mapsto \left(y \mapsto \int_{X} f(x) K(x,y) \right) \,,

where on the right we have some kind of integration over $X$.

Here $K$ is called the integral kernel of the transformation.

Typically the definition of an integral transform on functions involves some delicate technical issues concerning the precise nature of the function space, the measure with respect to which the integral is defined, etc.

On the other hand, one may understand the general form of an integral transform as the decategorification of a very natural general abstract construction in higher category theory: that of integral transforms on sheaves given by spans of base change geometric morphisms.

Special cases of such categorified integral transforms are discussed at

## Examples

Revised on October 30, 2013 00:48:14 by Urs Schreiber (82.169.114.243)