Символом обозначается множество бесконечно дифференцируемых финитных функций.
Последовательность функции называется сходящейся к функции , если
1)
2) при .
Линнейненое пространство с введенным понятием сходимости называется пространством D основных функций.
Функционал f на D называется линейным, если
Функционал f на D называется непрерывным, если при из
в D следует
Всякий линейный непрерывный функционал на D называется обобщенной функцией.
Пространством обобщенных функций D' называется множество линейное пространство всех обобщенных функций с введенными в нем операциями сложения, умножения на число и сходимостью по следующим правилам:
1)(αf + βg,φ) = α(f,φ) + β(g,φ)
2)последовательность , называется сходящиеся в D' к при , если