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