Почему ⟨x|x′⟩=δ(x−x′)⟨x|x′⟩=δ(x−x′)\langle x| х' \rangle=\delta(xx')? [дубликат]

Я пытался найти какое-либо решение или доказательство для

Икс | Икс "=" дельта ( Икс Икс ) ,
но я пришел только к этому посту: Волновая функция и нотация скобки Дирака

Так я получил информацию, что вектор | Икс образуют нормированный по Дираку базис гильбертова пространства.

Я знаю, что распределение дирак-дельта определяется так:

дельта ( Икс Икс ) "=" { 0 если  Икс Икс если  Икс "=" Икс ,
это означает, что мой x' - это точка на моей оси x, где у меня есть мой бесконечный высокий пик. А также
д Икс дельта ( Икс Икс ) "=" 1.

Но как на самом деле соотнести это со скалярным произведением векторов х, х' в гильбертовом пространстве, которые образуют его так называемый "дирациально-нормированный" базис?

Можете ли вы дать мне несколько советов по этому поводу, пожалуйста? Или, может быть, вы действительно знаете ссылку, где это объясняется.

Возможные дубликаты: physics.stackexchange.com/q/89958/2451 , physics.stackexchange.com/q/273423/2451 и ссылки в них.
Не ответ (приведенные ниже идеальны), а немного придирки. дельта -функция определяется не так, как вы говорите, а тем фактом, что
ф ( Икс ) "=" д у ф ( у ) дельта ( Икс у )
Для всех хорошо себя зарекомендовавших функций ф ( Икс ) . Я знаю, что это кажется педантичным, но действительно хорошо убедиться, что вы используете свое определение только как интуитивную отправную точку для понимания распределения в физическом контексте ( дельта -функциональные потенциалы или заряды, например).

Ответы (2)

Разве это не просто свойство просеивания ?

ф ( Икс ) "=" д Икс ф ( Икс ) дельта ( Икс Икс )

То есть, если вы принимаете вышеизложенное и если вы принимаете это

| ψ "=" д Икс ψ ( Икс ) | Икс

затем

ψ ( Икс ) "=" Икс | ψ "=" Икс | д Икс ψ ( Икс ) | Икс "=" д Икс ψ ( Икс ) Икс | Икс

Икс | Икс "=" дельта ( Икс Икс )

Аргумент не является окончательным. Таким образом, вы можете сделать вывод, что Икс | Икс дельта ( Икс , Икс ) производит 0 при мазании любой функцией, не Икс | Икс "=" дельта ( Икс , Икс ) ...
@ValterMoretti: Этот момент меня интересует - не могли бы вы уточнить?
Разбирать особо нечего: от ψ ( Икс ) "=" д Икс ψ ( Икс ) Икс | Икс и ψ ( Икс ) "=" д Икс ψ ( Икс ) дельта ( Икс Икс ) Вы получаете 0 "=" ψ ( Икс ) ( Икс | Икс дельта ( Икс Икс ) ) для каждого ψ . Означает ли это Икс | Икс "=" дельта ( Икс Икс ) ?
Без точного определения «дельта-функции», выбора соответствующего класса функций и т. д. трудно развивать какие-либо строгие рассуждения. Что мы можем сказать, так это то, что формальные манипуляции с символами предполагают, что Икс | Икс "=" дельта ( Икс Икс ) .
@ValterMoretti: Поскольку я новичок в обозначении «кет», разработка полезна, и суть кажется очень ясной. Есть ли модификация аргумента, которая является решающей?
Может быть, на этом уровне формализма достаточно, ведь это практическое применение математики в физике, а не математика. Как вы, наверное, знаете дельта не является функцией, а написанное вами «определение» непоследовательно: если дельта где функция, так как { Икс 0 } имеет нулевую меру, вы получите дельта ( Икс Икс 0 ) д Икс "=" 0 даже если дельта ( 0 ) "=" .
Чтобы сделать этот аргумент убедительным на таком уровне строгости, достаточно принять какую-нибудь небрежную аксиому вроде этой: ф ( Икс ) г ( Икс ) д Икс "=" 0 для всех г подразумевает ф ( Икс ) "=" 0 для всех Икс "...
(Кстати, я проголосовал за +1 ответ Альфреда Центавра)
@ValterMoretti, ваши ответы здесь часто выше моего уровня понимания, но мне всегда нравится их читать. Спасибо за ваш голос.

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

я | я я | Дж "=" я | я дельта я Дж "=" | Дж
доказывает, что предполагаемая идентичность действует, как и ожидалось, на базисных элементах, и тогда общий случай следует из линейности. Все, что нам нужно, это условие ортонормированности я | Дж "=" дельта я Дж .

Далее мы перейдем к пространству, которое не только бесконечномерно, но и имеет непрерывный спектр меток базисных элементов. Наш тождественный оператор теперь является интегралом, а не суммой, д Икс | Икс Икс | . Мы хотим

| Икс "=" д Икс | Икс Икс | Икс ,
что очевидно верно тогда и только тогда, когда | Икс Икс | Икс "=" дельта ( Икс Икс ) .