Я пытаюсь согласовать определение пространств внутренних произведений, с которым я столкнулся в математике, с тем, с которым я недавно столкнулся в физике. В частности, если обозначает скалярный продукт в векторном пространстве над :
,
и ,
, (* обозначает комплексное сопряжение)
были некоторые из свойств, перечисленных в моем курсе математики.
Однако в физике внутренний продукт считается линейным по второму аргументу и где и являются кетами в гильбертовом пространстве и являются комплексными числами.
Для меня эти свойства внутреннего продукта несовместимы. Если первое определение внутреннего продукта верно, то я думаю где обозначает комплексное сопряжение.
Чтобы формализовать комментарии как ответ:
Разница между требованием
Определение физика имеет то преимущество, что оно хорошо распространяется на обозначения Дирака в том смысле, что матричные элементы, такие как линейны в , так что состояние соответствует обозначению оператора, действующего на векторе . Если бы скобка была линейной тогда нам пришлось бы заставить операторов действовать слева от них . Это снова нормальное соглашение, но его никто не использует.
Внутренний продукт, используемый в квантовой механике, является полуторалинейным , а не просто линейным. Хорошей ссылкой для чтения по этому поводу является Hassani: Mathematical Physics .
Выпуклость