Сравниваем две формулы: Школьная:
c² = a² + b² и Взрослая: ‖x‖² = ∑ₖ₌₁ⁱⁿᶠ |⟨x, eₖ⟩|². Кажется, что общее — только квадраты. Но нет. Вторая — прямое обобщение первой на бесконечные пространства.▪️ 1. Классическая теорема Пифагора
В евклидовом пространстве
ℝⁿ квадрат длины вектора x равен сумме квадратов его координат в ортонормированном базисе: ‖x‖² = x₁² + x₂² + … + xₙ²Здесь координаты — это проекции на ортогональные оси:
xₖ = ⟨x, eₖ⟩Характеристики: Конечная размерность (n), Ортонормированный конечный базис, конечная сумма, встречается в геометрии и тригонометрии, всегда сходится.
▪️2. Бесконечномерное обобщение
В гильбертовом пространстве (полное пространство со скалярным произведением) выберем ортонормированный базис {eₖ}ₖ₌₁⁺∞.
Тогда для любого вектора x выполняется равенство Парсеваля:
‖x‖² = ∑ₖ₌₁⁺∞ |⟨x, eₖ⟩|²Это и есть теорема Пифагора в бесконечномерном мире.
Характеристики: Бесконечная (счётная) размерность, ортонормированный бесконечный базис, бесконечный ряд, встречается в рядах Фурье, квантовой механике, обработке сигналов, рад должен сходиться
(x ∈ ℓ₂)В бесконечном случае формула перестаёт быть просто «суммой квадратов катетов». Она становится определением нормы через коэффициенты Фурье. Не любой набор коэффициентов годится — требуется сходимость ряда. Более того, если взять любую полную ортонормированную систему, эта формула задаёт изоморфизм между исходным пространством и
ℓ₂ — пространством последовательностей с суммой квадратов.Теорема Пифагора в конечномерном мире — частный случай равенства Парсеваля, а в бесконечномерном — критерий того, что вы работаете в правильном гильбертовом пространстве. #математика #задачи #геометрия #математический_анализ #math
💡 Physics.Math.Code // @physics_lib