Определение 16.10. Неотрицательное число ϕ = ∫b ϕ2 (x)dx называется
a
нормой функции ϕ(x) в L2 [a,b]. Учитывая, что ∫b ϕ2 (x)dx = (ϕ,ϕ) , можно записать
a
Функция ϕ(x) называется нормированной, если ее норма равна единице.
Определение 16.11. Две функции ϕ(x) L2 [a,b] и ψ(x) L2 [a,b] называются ортогональными на [a,b], если их скалярное произведение на [a,b] равно нулю,
b
т. е. (ϕ,ψ) = ∫ϕ(x)ψ(x)dx = 0.
a
Определение 16.12. Система функций (ϕn (x)) = (ϕ1 (x),ϕ2 (x),...ϕn (x)...)
(конечная или бесконечная) называется ортогональной на отрезке [a,b], если все функции этой системы попарно ортогональны на [a,b], т. е.
(ϕm ,ϕn ) = 0 m ≠ n, m, n N .
Определение 16.13. Ортогональная система функций (ϕn (x)) на отрезке
b
[a,b] называется ортонормированной, если 
ϕ
2 = (ϕn ,ϕn ) = ∫ϕ2n (x)dx =1n N .
a
Любую ортогональную на [a,b] систему функций (ϕn (x)) с 
ϕn 
≠ 0 можно нормировать. Для этого достаточно разделить каждую функцию системы на ее норму. Получим ортогональную систему функций (ϕn (x) /
ϕn 
).