Функции, инвариантные относительно преобразования Фурье, называются функциями Фурье. Они являются решениями уравнения Шрёдингера, которое описывает волновые свойства частиц. Функции Фурье образуют ортонормированный базис в пространстве квадратично интегрируемых функций L^2, то есть функций, для которых определён интеграл от квадрата модуля по всей области определения.
Сжимающий оператор - это отображение метрического пространства в себя, которое уменьшает расстояние между любыми двумя точками в некотором сильном смысле. По теореме Банаха, сжимающий оператор на полном метрическом пространстве имеет единственную неподвижную точку, к которой сходится итерационная последовательность, начинающаяся с любой точки пространства. Сжимающий оператор всегда непрерывен на области своего определения, так как он является липшицевым отображением с константой Липшица, строго меньшей единицы. Сжимающий оператор можно определить в любом метрическом пространстве, но для существования и единственности неподвижной точки необходимо, чтобы пространство было полным, то есть любая фундаментальная последовательность имела предел в этом пространстве.