stringtranslate.com

Ортонормированный базис

В математике , в частности, в линейной алгебре , ортонормированный базис для пространства скалярного произведения с конечной размерностью — это базис , для которого векторы ортонормальны , то есть все они являются единичными векторами и ортогональны друг другу. [1] [2] [3] Например, стандартный базис для евклидова пространства — это ортонормированный базис, где соответствующее скалярное произведение — это скалярное произведение векторов. Образ стандартного базиса при вращении или отражении (или любом ортогональном преобразовании ) также ортонормален, и каждый ортонормированный базис для возникает таким образом. Ортонормированный базис может быть получен из ортогонального базиса с помощью нормализации . Выбор начала координат и ортонормированного базиса образует систему координат, известную как ортонормированная система координат .

Для общего пространства внутреннего произведения ортонормированный базис может быть использован для определения нормализованных ортогональных координат на Под этими координатами внутреннее произведение становится скалярным произведением векторов. Таким образом, наличие ортонормированного базиса сводит изучение конечномерного пространства внутреннего произведения к изучению под скалярным произведением. Каждое конечномерное пространство внутреннего произведения имеет ортонормированный базис, который может быть получен из произвольного базиса с помощью процесса Грама–Шмидта .

В функциональном анализе понятие ортонормированного базиса может быть обобщено на произвольные (бесконечномерные) пространства скалярного произведения . [4] Для заданного предгильбертова пространства ортонормированный базис для представляет собой ортонормированный набор векторов со свойством, что каждый вектор в может быть записан как бесконечная линейная комбинация векторов в базисе. В этом случае ортонормированный базис иногда называют гильбертовым базисом для Обратите внимание, что ортонормированный базис в этом смысле, как правило, не является базисом Гамеля , поскольку требуются бесконечные линейные комбинации. [5] В частности, линейная оболочка базиса должна быть плотной в, хотя и не обязательно во всем пространстве.

Если мы перейдем к гильбертовым пространствам , неортонормальный набор векторов, имеющий ту же линейную оболочку, что и ортонормированный базис, может вообще не быть базисом. Например, любая квадратично-интегрируемая функция на интервале может быть выражена ( почти всюду ) как бесконечная сумма полиномов Лежандра (ортонормированный базис), но не обязательно как бесконечная сумма мономов

Другое обобщение — псевдо-внутренние пространства произведений, конечномерные векторные пространства, снабженные невырожденной симметричной билинейной формой, известной как метрический тензор . В таком базисе метрика принимает форму с положительными и отрицательными единицами.

Примеры

Основная формула

Если — ортогональный базис, то каждый элемент можно записать как

Когда ортонормально, это упрощается до и квадрат нормы может быть определен как

Даже если несчетно , только счетное число членов в этой сумме будет ненулевым, и выражение, следовательно, хорошо определено. Эта сумма также называется разложением Фурье , а формула обычно известна как тождество Парсеваля .

Если — ортонормированный базис, то изоморфен в следующем смысле : существует биективное линейное отображение такое, что

Ортонормальная система

Набор взаимно ортонормальных векторов в гильбертовом пространстве называется ортонормированной системой. Ортонормированный базис — это ортонормированная система с дополнительным свойством, что линейная оболочка плотна в . [6] В качестве альтернативы набор можно рассматривать как полный или неполный относительно . То есть, мы можем взять наименьшее замкнутое линейное подпространство, содержащее Тогда будет ортонормированным базисом , который, конечно, может быть меньше самого себя, будучи неполным ортонормированным набором, или быть , когда он является полным ортонормированным набором.

Существование

Используя лемму Цорна и процесс Грама–Шмидта (или, проще говоря, хорошо упорядоченную и трансфинитную рекурсию), можно показать, что каждое гильбертово пространство допускает ортонормированный базис; [7] более того, любые два ортонормированных базиса одного и того же пространства имеют одинаковую мощность (это можно доказать способом, похожим на доказательство обычной теоремы о размерности для векторных пространств , с отдельными случаями в зависимости от того, является ли больший кандидат на базис счетным или нет). Гильбертово пространство сепарабельно тогда и только тогда, когда оно допускает счетный ортонормированный базис. (Можно доказать это последнее утверждение, не используя аксиому выбора . Однако для этого пришлось бы использовать аксиому счетного выбора .)

Выбор базиса как выбор изоморфизма

Для конкретности обсудим ортонормированные базисы для действительного -мерного векторного пространства с положительно определенной симметричной билинейной формой .

Один из способов рассматривать ортонормированный базис относительно — это набор векторов , которые позволяют нам записать , и или . Относительно этого базиса компоненты особенно просты: (где — дельта Кронекера ).

Теперь мы можем рассматривать базис как отображение , которое является изоморфизмом пространств внутреннего произведения: чтобы сделать это более явным, мы можем записать

Явно мы можем записать, где находится двойственный базисный элемент к .

Обратное — это компонентная карта

Эти определения делают очевидным, что существует биекция

Пространство изоморфизмов допускает действия ортогональных групп либо на стороне , либо на стороне . Для конкретности мы фиксируем изоморфизмы так, чтобы они указывали в направлении , и рассмотрим пространство таких отображений, .

Это пространство допускает левое действие группы изометрий , то есть такое, что , с действием, заданным композицией:

Это пространство также допускает правое действие группы изометрий , то есть , причем действие снова задается композицией: .

Как основное однородное пространство

Множество ортонормированных базисов для со стандартным скалярным произведением является главным однородным пространством или G-торсором для ортогональной группы и называется многообразием Штифеля ортонормированных -фреймов . [8]

Другими словами, пространство ортонормированных базисов похоже на ортогональную группу, но без выбора базовой точки: если задано пространство ортонормированных базисов, нет естественного выбора ортонормированного базиса, но как только он задан, между базисами и ортогональной группой устанавливается взаимно-однозначное соответствие. Конкретно, линейное отображение определяется тем, куда оно отправляет данный базис: так же, как обратимое отображение может преобразовать любой базис в любой другой базис, ортогональное отображение может преобразовать любой ортогональный базис в любой другой ортогональный базис.

Другие многообразия Штифеля для неполных ортонормированных базисов (ортонормированные -реперы) по - прежнему являются однородными пространствами для ортогональной группы, но не главными однородными пространствами: любой -репер может быть преобразован в любой другой -репер с помощью ортогонального отображения, но это отображение не определяется однозначно.

Смотрите также

Примечания

  1. ^ Лэй, Дэвид С. (2006). Линейная алгебра и ее приложения (3-е изд.). Эддисон–Уэсли . ISBN 0-321-28713-4.
  2. ^ Стрэнг, Гилберт (2006). Линейная алгебра и ее приложения (4-е изд.). Брукс Коул . ISBN 0-03-010567-6.
  3. ^ Акслер, Шелдон (2002). Линейная алгебра, сделанная правильно (2-е изд.). Springer . ISBN 0-387-98258-2.
  4. ^ Рудин, Уолтер (1987). Действительный и комплексный анализ . McGraw-Hill . ISBN 0-07-054234-1.
  5. Роман 2008, стр. 218, гл. 9.
  6. ^ Стейнварт и Кристманн 2008, с. 503.
  7. ^ Линейный функциональный анализ Авторы: Райнн, Брайан, Янгсон, MA стр. 79
  8. ^ "CU Faculty". engfac.cooper.edu . Получено 2021-04-15 .

Ссылки

Внешние ссылки