Обобщение скалярного произведения; используется для определения гильбертовых пространств
Геометрическая интерпретация угла между двумя векторами, определенными с использованием внутреннего произведенияПространства скалярных произведений над любым полем имеют «скалярные произведения», симметричные и линейные по первому аргументу. Пространства эрмитовых произведений ограничены полем комплексных чисел и имеют «эрмитовы произведения», которые сопряженно-симметричны и линейны по первому аргументу. Пространства внутренних продуктов могут быть определены для любого поля, имеющие «внутренние продукты», линейные по первому аргументу, сопряженно-симметричные и положительно определенные. В отличие от внутренних произведений, скалярные произведения и эрмитовы произведения не обязательно должны быть положительно определенными.
В математике пространство внутреннего продукта (или, реже, предгильбертово пространство Хаусдорфа [1] [2] ) — это действительное векторное пространство или комплексное векторное пространство с операцией , называемой внутренним продуктом . Внутреннее произведение двух векторов в пространстве является скаляром , часто обозначаемым угловыми скобками , например, в . Внутренние произведения позволяют формальные определения интуитивных геометрических понятий, таких как длины, углы и ортогональность (нулевой внутренний продукт) векторов. Пространства внутреннего продукта обобщают евклидовы векторные пространства , в которых внутренний продукт является скалярным произведением или скалярным произведением декартовых координат . Внутренние пространства-произведения бесконечной размерности широко используются в функциональном анализе . Пространства внутренних произведений над полем комплексных чисел иногда называют унитарными пространствами . Первое использование концепции векторного пространства со скалярным произведением принадлежит Джузеппе Пеано в 1898 году. [3]
Внутренний продукт естественным образом вызывает связанную норму (обозначенную и на рисунке); Итак, каждое пространство внутреннего продукта является нормированным векторным пространством . Если это нормированное пространство также является полным (то есть банаховым пространством ), то пространство внутреннего произведения является гильбертовым пространством . [1] Если пространство внутреннего произведения H не является гильбертовым пространством, оно может быть расширено путем пополнения до гильбертова пространства. Это означает, что это линейное подпространство внутреннего произведения является ограничением внутреннего произведения и плотно в для топологии . определяется нормой. [1] [4]
Пространство внутреннего продукта — это векторное пространство V над полем F вместе с внутренним продуктом , то есть отображение
который удовлетворяет следующим трем свойствам для всех векторов и всех скаляров . [5] [6]
Сопряженная симметрия :
Как будто и только если число действительно, сопряженная симметрия подразумевает, что это всегда действительное число. Если F равно , сопряженная симметрия — это просто симметрия.
(сопряженная симметрия подразумевает, что это реально).
Если условие положительной определенности заменить простым требованием этого для всех , то можно получить определение положительной полуопределенной эрмитовой формы . Положительная полуопределенная эрмитова форма является скалярным произведением тогда и только тогда, когда для всех , если то . [7]
Основные свойства
В следующих свойствах, которые почти сразу же следуют из определения скалярного произведения, x , y и z — произвольные векторы, а a и b — произвольные скаляры.
При превышении сопряженная симметрия сводится к симметрии, а полуторалинейность сводится к билинейности. Следовательно, скалярный продукт в вещественном векторном пространстве представляет собой положительно определенную симметричную билинейную форму . Биномиальное разложение квадрата становится
Конвенционный вариант
Некоторые авторы, особенно в области физики и матричной алгебры , предпочитают определять скалярные произведения и полуторалинейные формы с линейностью по второму аргументу, а не по первому. Тогда первый аргумент становится сопряженным линейным, а не второй. Обозначение Брекета в квантовой механике также использует несколько иное обозначение, т. е . где .
Обозначения
Для внутренних произведений используются несколько обозначений, включая , и , а также обычное скалярное произведение.
Некоторые примеры
Действительные и комплексные числа
Среди простейших примеров пространств внутреннего продукта: и
Действительные числа представляют собой векторное пространство , которое становится пространством внутреннего продукта с арифметическим умножением в качестве внутреннего продукта:
Комплексные числа представляют собой векторное пространство , которое становится пространством внутреннего продукта с внутренним продуктом
Функция является скалярным произведением тогда и только тогда, когда существует симметричная положительно определенная матрица такая, что для всех If является единичной матрицей, то это скалярное произведение. Другой пример, если и положительно определен (что происходит тогда и только тогда, когда и один/оба диагональных элемента положительны), то для любого
Комплексное координатное пространство
Общая форма скалярного произведения известна как эрмитова форма и определяется выражением
В статье о гильбертовых пространствах есть несколько примеров пространств внутреннего произведения, в которых метрика, индуцированная внутренним произведением, дает полное метрическое пространство . Примером пространства внутреннего продукта, которое порождает неполную метрику, является пространство непрерывных комплекснозначных функций и на интервале. Внутренний продукт равен
[−1, 1]
Эта последовательность является последовательностью Коши для нормы, индуцированной предыдущим скалярным произведением, которая не сходится к непрерывной функции.
Внутренним продуктом для комплексных квадратных матриц одинакового размера является внутренний продукт Фробениуса . Поскольку трассировка и транспонирование линейны, а сопряжение выполняется на второй матрице, это полуторалинейный оператор. Далее мы получаем эрмитову симметрию:
Векторные пространства с формами
В пространстве внутреннего продукта или, в более общем смысле, векторном пространстве с невырожденной формой (следовательно, изоморфизм ), векторы могут быть отправлены в ковекторы (в координатах, посредством транспонирования), так что можно взять внутренний продукт и внешний продукт двух векторов — не просто вектора и ковектора.
Основные результаты, терминология и определения.
Нормальные свойства
Каждое внутреннее пространство продукта порождает норму , называемую ееканоническая норма , которая определяется
Итак, все общие свойства нормированных векторных пространств применимы и к пространствам внутреннего произведения. В частности, он обладает следующими свойствами:
ибо каждое
неравенство Птолемея является необходимым и достаточным условием для того, чтобы полунорма была нормой, определяемой скалярным произведением. [11]
Два вектора и называютсяортогональные , часто пишутся, если их внутренний продукт равен нулю, то есть если.
Это происходит тогда и только тогда, когдадля всех скаляров[12]и тогда и только тогда, когда действительная функциянеотрицательна. (Это следствие того, что еслитогда скалярминимизируетсясо значением, которое всегда неположительно).
Для сложного, нонереального[ необходимы разъяснения ]пространства внутреннего произведениялинейный оператортождественентогда и только тогда, когдадля каждого[12]
Это можно доказать, выразив квадраты норм через скалярные произведения, используя аддитивность для расширения правой части уравнения. Название теоремы Пифагора происходит от геометрической интерпретации в евклидовой геометрии .
Индукция по теореме Пифагора дает: если попарно ортогональны, то
Угол
Если это действительное число, то из неравенства Коши – Шварца следует, что и, таким образом, что
это действительное число. Это позволяет определить (неориентированный) угол двух векторов в современных определениях евклидовой геометрии в терминах линейной алгебры . Это также используется в анализе данных под названием « косинусное сходство » для сравнения двух векторов данных.
Реальные и сложные части внутренних продуктов
Предположим, что это скалярное произведение (поэтому оно антилинейно по второму аргументу). Тождество поляризации показывает, что действительная часть внутреннего продукта равна
В оставшейся части этого раздела предположим, что это комплексное векторное пространство. Тождество поляризации для комплексных векторных пространств показывает, что
Карта, определенная for all, удовлетворяет аксиомам внутреннего продукта, за исключением того, что она антилинейна по своему первому , а не второму аргументу. Действительная часть обоих и равна , но внутренние продукты различаются по своей комплексной части:
Эти формулы показывают, что каждый сложный внутренний продукт полностью определяется своей действительной частью. Более того, эта действительная часть определяет скалярный продукт в реальном векторном пространстве. Таким образом, существует взаимно однозначное соответствие между сложными внутренними продуктами в комплексном векторном пространстве и реальными внутренними продуктами в
Например, предположим, что для некоторого целого числа Когда рассматривается как действительное векторное пространство обычным способом (это означает, что оно отождествляется с размерным действительным векторным пространством, каждое из которых идентифицируется с ), тогда скалярное произведение определяет действительное скалярное произведение в этом пространстве. . Уникальный комплексный внутренний продукт, индуцированный скалярным произведением, — это карта, которая отправляет ( поскольку действительная часть этой карты равна скалярному произведению).
Реальные и сложные внутренние продукты
Пусть обозначается как векторное пространство над действительными числами, а не над комплексными числами. Действительная часть комплексного внутреннего продукта — это карта , которая обязательно образует действительный внутренний продукт в реальном векторном пространстве. Каждый внутренний продукт в реальном векторном пространстве является билинейным и симметричным отображением .
Например, если со внутренним произведением где — векторное пространство над полем, тогда — векторное пространство над и — скалярное произведение где отождествляется с точкой (и аналогично для ); таким образом, стандартный внутренний продукт является «расширением» скалярного произведения. Кроме того, если бы вместо этого было определено симметричное отображение (а не обычное сопряженное симметричное отображение ), то его реальная часть не была бы скалярным произведением; более того, без комплексно-сопряженного, если бы только тогда , задание не определяло бы норму.
Следующие примеры показывают, что, хотя реальные и сложные внутренние продукты имеют много общих свойств и результатов, они не являются полностью взаимозаменяемыми. Например, если тогда , но следующий пример показывает, что обратное, вообще говоря, неверно . Учитывая любой вектор (который является вектором, повернутым на 90 °), принадлежит и, следовательно, также принадлежит (хотя скалярное умножение на не определено в векторе, обозначенном символом, тем не менее, все еще также является элементом ). Для сложного внутреннего продукта, тогда как для реального внутреннего продукта значение всегда равно
Если это сложный внутренний продукт и непрерывный линейный оператор, который удовлетворяет всем требованиям, то Это утверждение больше не верно, если вместо этого является действительным внутренним продуктом, как показывает следующий пример. Предположим, что он имеет внутренний продукт, упомянутый выше. Тогда карта , определенная с помощью, является линейной картой (линейной для обоих и ), которая обозначает вращение на в плоскости. Поскольку и являются перпендикулярными векторами и представляют собой просто скалярное произведение, тем не менее, для всех векторов эта карта вращения определенно не идентична . Напротив, использование комплексного внутреннего продукта дает , что (как и ожидалось) не равно нулю.
Ортонормированные последовательности
Пусть - конечномерное пространство внутреннего произведения размерности. Напомним, что каждый базис состоит из точно линейно независимых векторов. Используя процесс Грама – Шмидта, мы можем начать с произвольного базиса и преобразовать его в ортонормированный базис. То есть в базис, в котором все элементы ортогональны и имеют единичную норму. В символах базис ортонормирован, если для каждого и для каждого индекса
Это определение ортонормированного базиса обобщается на случай бесконечномерных пространств внутреннего произведения следующим образом. Пусть это любое пространство внутреннего продукта. Тогда коллекция
Две предыдущие теоремы поднимают вопрос о том, имеют ли все пространства скалярных произведений ортонормированный базис. Ответ, оказывается, отрицательный. Это нетривиальный результат, и он будет доказан ниже. Следующее доказательство взято из книги Халмоша «Задачи гильбертового пространства» (см. Ссылки). [ нужна цитата ]
Теорема. Пусть – сепарабельное пространство внутреннего произведения и ортонормированный базис. Тогда отображение
Эту теорему можно рассматривать как абстрактную форму ряда Фурье , в которой роль последовательности тригонометрических полиномов играет произвольный ортонормированный базис . Обратите внимание, что базовый набор индексов может быть любым счетным набором (и фактически любой набор, если он определен соответствующим образом, как объяснено в статье «Гильбертово пространство »). В частности, мы получаем следующий результат в теории рядов Фурье:
Теорема. Пусть – пространство внутреннего произведения. Тогда последовательность (индексированная по множеству всех целых чисел) непрерывных функций
Ортогональность последовательности непосредственно следует из того, что если то
Нормальность последовательности предусмотрена замыслом, то есть коэффициенты выбираются так, чтобы норма была равна 1. Наконец, тот факт, что последовательность имеет плотную алгебраическую промежутку в норме скалярного произведения , следует из того факта, что последовательность имеет плотную алгебраическую оболочку, на этот раз в пространстве непрерывных периодических функций с равномерной нормой. В этом состоит содержание теоремы Вейерштрасса о равномерной плотности тригонометрических полиномов.
Операторы в пространствах внутренних продуктов
Имеют значение несколько типов линейных карт между пространствами внутренних продуктов :
Непрерывные линейные карты :линейны и непрерывны по отношению к метрике, определенной выше, или, что то же самое,линейны, а набор неотрицательных действительных чисел,пробегающих по замкнутому единичному шару,ограничен.
Симметричные линейные операторы : линейны и для всех
Изометрии :удовлетворяетвсемЛинейная изометрия (соответственно антилинейная изометрия ) — это изометрия, которая также является линейной картой (соответственно антилинейной картой ). Для пространств внутреннего продукта поляризационная идентичность может использоваться, чтобы показать, чтоэто изометрия тогда и только тогда, когдадля всех Все изометрии инъективны .Мазура -Улама устанавливает, что каждая сюръективная изометрия между двумя вещественными нормированными пространствами является аффинным преобразованием . Следовательно, изометриямежду реальными пространствами внутреннего продукта является линейным отображением тогда и только тогда, когдаизометрии являются морфизмами между пространствами внутреннего продукта, а морфизмы реальных пространств внутреннего продукта являются ортогональными преобразованиями (сравните с ортогональной матрицей ).
Изометрические изоморфизмы : это изометрия, которая является сюръективной (и, следовательно, биективной ). Изометрические изоморфизмы также известны как унитарные операторы (ср. с унитарной матрицей ).
С точки зрения теории пространства внутреннего продукта нет необходимости различать два пространства, которые изометрически изоморфны. Спектральная теорема обеспечивает каноническую форму для симметричных, унитарных и, в более общем смысле, нормальных операторов в конечномерных пространствах внутреннего произведения. Обобщение спектральной теоремы справедливо для непрерывных нормальных операторов в гильбертовых пространствах. [13]
Обобщения
Любую из аксиом внутреннего продукта можно ослабить, приведя к обобщенным понятиям. Обобщения, наиболее близкие к скалярным произведениям, возникают там, где билинейность и сопряженная симметрия сохраняются, но положительная определенность ослаблена.
Вырожденные внутренние продукты
Если — векторное пространство и полуопределенная полуопределенная форма, то функция:
)
Эта конструкция используется во многих контекстах. Особенно важным примером использования этого метода является конструкция Гельфанда –Наймарка–Сигала . Другой пример — представление полуопределенных ядер на произвольных множествах.
Невырожденные сопряженные симметричные формы
В качестве альтернативы можно потребовать, чтобы спаривание было невырожденной формы , что означает, что для всех ненулевых существуют такие , которые, хотя и не обязательно равны ; другими словами, индуцированное отображение в дуальное пространство инъективно. Это обобщение важно в дифференциальной геометрии : многообразие, касательные пространства которого имеют скалярное произведение, является римановым многообразием , а если это связано с невырожденной сопряженной симметричной формой, то многообразие является псевдоримановым многообразием . По закону инерции Сильвестра , так же, как каждый внутренний продукт подобен скалярному произведению с положительными весами на наборе векторов, каждая невырожденная сопряженная симметричная форма аналогична скалярному произведению с ненулевыми весами на наборе векторов, а число положительные и отрицательные веса называются соответственно положительным индексом и отрицательным индексом. Произведение векторов в пространстве Минковского является примером неопределенного внутреннего продукта, хотя, технически говоря, оно не является внутренним продуктом согласно стандартному определению, приведенному выше. Пространство Минковского имеет четыре измерения и индексы 3 и 1 (присвоение им «+» и «-» различается в зависимости от соглашений ).
Чисто алгебраические утверждения (те, которые не используют позитивность) обычно полагаются только на невырожденность (инъективный гомоморфизм ) и, таким образом, справедливы в более общем смысле.
Сопутствующие товары
Термин «внутренний продукт» противопоставляется термину « внешний продукт » , который является несколько более общей противоположностью. Проще говоря, в координатах внутренний продукт — это произведение ковектора на вектор , дающий матрицу (скаляр), а внешний продукт — это произведение вектора на ковектор, дающий матрицу. Внешний продукт определяется для разных измерений, тогда как внутренний продукт требует одного и того же измерения. Если размеры одинаковы, то внутренний продукт является следом внешнего продукта (след правильно определяется только для квадратных матриц). В неофициальном резюме: «внутреннее — это горизонтальное, умноженное на вертикальное, и сжимается, внешнее — это вертикальное, умноженное на горизонтальное, и расширяется».
Более абстрактно, внешний продукт — это билинейная карта, отправляющая вектор и ковектор на линейное преобразование ранга 1 ( простой тензор типа (1, 1)), а внутренний продукт — это билинейная карта оценки, полученная путем оценки ковектора на вектор; порядок векторных пространств предметной области здесь отражает различие между ковектором и вектором.
В качестве дальнейшего усложнения в геометрической алгебре внутренний продукт и внешний (грассмановский) продукт объединяются в геометрический продукт (продукт Клиффорда в алгебре Клиффорда ) – внутренний продукт отправляет два вектора (1-вектора) в скаляр (а 0-вектор), в то время как внешний продукт отправляет два вектора в бивектор (2-вектор) – и в этом контексте внешний продукт обычно называют внешним продуктом (альтернативно, клиновым продуктом ). Внутренний продукт в этом контексте правильнее называть скалярным произведением, поскольку рассматриваемая невырожденная квадратичная форма не обязательно должна быть положительно определенной (не обязательно быть внутренним продуктом).
Энергетическое пространство - подпространство данного реального гильбертова пространства, оснащенное новым «энергетическим» внутренним продуктом.Pages displaying wikidata descriptions as a fallback
L-полувнутренний продукт - обобщение внутренних произведений, применимое ко всем нормированным пространствам.
^ Комбинируя линейное свойство первого аргумента со свойством сопряженной симметрии , вы получаете сопряженно-линейное свойство второго аргумента : . Именно так изначально был определен внутренний продукт и который используется в большинстве математических контекстов. В теоретической физике и квантовой механике было принято другое соглашение, берущее начало в обозначениях Поля Дирака , где внутренний продукт считается линейным по второму аргументу и линейно-сопряженным по первому аргументу ; это соглашение используется во многих других областях, таких как инженерия и информатика.
Рекомендации
^ abc Treves 2006, стр. 112–125.
^ Шефер и Вольф 1999, стр. 40–45.
^ Мур, Грегори Х. (1995). «Аксиоматизация линейной алгебры: 1875–1940». История математики . 22 (3): 262–303. дои : 10.1006/hmat.1995.1025 .
^ Шефер и Вольф 1999, стр. 36–72.
^ Джайн, ПК; Ахмад, Халил (1995). «5.1 Определения и основные свойства пространств внутреннего произведения и гильбертовых пространств». Функциональный анализ (2-е изд.). Нью Эйдж Интернэшнл. п. 203. ИСБН81-224-0801-Х.
^ Пруговечки, Эдуард (1981). «Определение 2.1». Квантовая механика в гильбертовом пространстве (2-е изд.). Академическая пресса. стр. 18 и далее. ISBN0-12-566060-Х.
^ Шефер и Вольф 1999, стр. 44.
^ Оувеханд, Питер (ноябрь 2010 г.). «Пространства случайных величин» (PDF) . ЦЕЛИ . Архивировано из оригинала (PDF) 5 сентября 2017 г. Проверено 5 сентября 2017 г.
^ Зигрист, Кайл (1997). «Векторные пространства случайных величин». Случайные: вероятность, математическая статистика, случайные процессы . Проверено 5 сентября 2017 г.
^ Бигони, Даниэле (2015). «Приложение B: Теория вероятностей и функциональные пространства» (PDF) . Количественная оценка неопределенности с применением к инженерным задачам (доктор философии). Технический университет Дании . Проверено 5 сентября 2017 г.
^ Апостол, Том М. (1967). «Неравенство Птолемея и хордальная метрика». Журнал «Математика» . 40 (5): 233–235. дои : 10.2307/2688275. JSTOR 2688275.
Лакс, Питер Д. (2002). Функциональный анализ (PDF) . Чистая и прикладная математика. Нью-Йорк: Wiley-Interscience. ISBN 978-0-471-55604-6. OCLC 47767143 . Проверено 22 июля 2020 г.
Шефер, Хельмут Х .; Вольф, Манфред П. (1999). Топологические векторные пространства . ГТМ . Том. 8 (Второе изд.). Нью-Йорк, Нью-Йорк: Springer New York Выходные данные Springer. ISBN 978-1-4612-7155-0. ОСЛК 840278135.
Шехтер, Эрик (1996). Справочник по анализу и его основам . Сан-Диего, Калифорния: Academic Press. ISBN 978-0-12-622760-4. ОСЛК 175294365.
Шварц, Чарльз (1992). Введение в функциональный анализ . Нью-Йорк: М. Деккер. ISBN 978-0-8247-8643-4. ОСЛК 24909067.
Тревес, Франсуа (2006) [1967]. Топологические векторные пространства, распределения и ядра . Минеола, Нью-Йорк: Dover Publications. ISBN 978-0-486-45352-1. ОКЛК 853623322.
Замани, А.; Мослехян, М.С.; и Франк, М. (2015) «Отображения, сохраняющие угол», Journal of Analysis and Applications 34: от 485 до 500 doi : 10.4171/ZAA/1551