Функціональний аналіз
Матеріал з Вікіпедії — вільної енциклопедії.
Математична дисципліна яка фактично є поширенням математичного аналізу на нескінченновимірні простори. Предметом досліджень в Ф. А. є функціонали і оператори.
Ф. А. як самостійна дисципліна розвивався на межі 19 і 20 століття і остаточно сформувався у 20-30 рр. 20 століття. З одного боку він розвинувся під впливом дослідження конкретних класів лінійних операторів — інтегральних операторів та зв`язаних з ними інтегральних рівнянь, з іншого боку — під впливом чисто внутрішнього розвитку сучасної математики з її бажанням узагальнити і тим самим пізнати істинну природу тих чи інших закономірностей. Величезний вплив на розвиток Ф. А. мала квантова механіка оскільки в ній фізичним величинам, що вимірюються відповідають лінійні оператори над простором станів фізичної системи.
1. Поняття простору. Найзагальнішими просторами, що фігурують в Ф. А. є топологічні векторні простори. Так називається векторний (лінійний) простір над полем комплексних чисел(або дійсних). На просторі може бути введена метрика — дійсна функція від двох аргументів, що належать цьому простору, результатом якої є «відстань» між цими елементами. Слово відстань використане тут в непрямому розумінні. Простір з метрикою називається метричним простором. Також відрізняють простори на яких аксіоматично визначена норма елементу — «довжина» вектору x, ||x||. На нормованому просторі завжди можна ввести метрику у вигляді f(x, y)=||x-y||. Також у просторі можна визначити операцію скалярного добутку яку геометрично можна інтерпретувати як кут між елементами. Простори зі скалярним добутком називаються унітарними. Скалярний добуток породжує норму в просторі наступним чином: ||x||2=(x, x). Простір який є повним відносно норми породженої скалярним добутком цього простору називається гільбертовим простором. «Вимірність» простору — максимальна кількість лінійно-незалежних елементів у цьому просторі. Безмежновимірний простір це простір у якому для будь-якого натурального числа n існує n лінійно-незалежних елементів.
2. Функціонал — це відображення, що ставить у відповідність кожному елементу даного простору елемент з простору дійсних або комплексних чисел. Важливу роль в Ф. А. відіграють поняття неперервних функціоналів і лінійних функціоналів. Простір всіх лінійних обмежених і всюди визначених на просторі Х функціоналів називається спряженим до Х і позначається Х' або Х*.
3. Оператор — відображення, що ставить у відповідність елемент одного простору елементу з іншого. L(X,Y) — простір всіх лінійних, неперервних, всюди визначених в Х операторів. Переважно розглядаються випадки коли X i Y — нормовані або гільбертові простори. Оператор називається спряженим до оператора А і позначається А* якщо (А х, y)=(x,A* y). Дуже важливим є клас самоспряжених операторів — (A x, y)=(x,A y).