Skip to main content
added 10 characters in body
Source Link
Silly Goose
  • 3.3k
  • 1
  • 6
  • 23

Let $\mathcal{H}$ be a complex vector space. By using the notation $\langle . \lvert . \rangle$, you are referring to ana complex inner product $\langle . \lvert . \rangle: \mathcal{H}\times \mathcal{H} \rightarrow \mathbb{C}.$ (i.e.

Let $\mathcal{H}$ be a map that takes two vectors from your complex vector space and sends them to a complex number). This is known as aA complex inner product. By definition is a map $\langle . \lvert . \rangle: \mathcal{H}\times \mathcal{H} \rightarrow \mathbb{C}$ such that $\langle . \lvert . \rangle$ is bilinear (or just linear in one of the arguments), complex inner products arepositive-definite, and conjugate symmetric. Conjugate symmetry gives us for any (among other things)$a,b \in \mathcal{H}$: $$ \langle a \lvert b \rangle = \langle b \lvert a \rangle^*.$$ Hence the necessary condition is that $\langle a \lvert b \rangle \in \mathbb{R} \iff \langle b \lvert a \rangle \in \mathbb{R}$.

Let $\mathcal{H}$ be a complex vector space. By using the notation $\langle . \lvert . \rangle$, you are referring to an inner product $\langle . \lvert . \rangle: \mathcal{H}\times \mathcal{H} \rightarrow \mathbb{C}.$ (i.e. a map that takes two vectors from your complex vector space and sends them to a complex number). This is known as a complex inner product. By definition, complex inner products are conjugate symmetric (among other things): $$ \langle a \lvert b \rangle = \langle b \lvert a \rangle^*.$$ Hence the necessary condition is that $\langle a \lvert b \rangle \in \mathbb{R} \iff \langle b \lvert a \rangle \in \mathbb{R}$.

By using the notation $\langle . \lvert . \rangle$, you are referring to a complex inner product.

Let $\mathcal{H}$ be a complex vector space. A complex inner product is a map $\langle . \lvert . \rangle: \mathcal{H}\times \mathcal{H} \rightarrow \mathbb{C}$ such that $\langle . \lvert . \rangle$ is bilinear (or just linear in one of the arguments), positive-definite, and conjugate symmetric. Conjugate symmetry gives us for any $a,b \in \mathcal{H}$: $$ \langle a \lvert b \rangle = \langle b \lvert a \rangle^*.$$ Hence the necessary condition is that $\langle a \lvert b \rangle \in \mathbb{R} \iff \langle b \lvert a \rangle \in \mathbb{R}$.

Source Link
Silly Goose
  • 3.3k
  • 1
  • 6
  • 23

Let $\mathcal{H}$ be a complex vector space. By using the notation $\langle . \lvert . \rangle$, you are referring to an inner product $\langle . \lvert . \rangle: \mathcal{H}\times \mathcal{H} \rightarrow \mathbb{C}.$ (i.e. a map that takes two vectors from your complex vector space and sends them to a complex number). This is known as a complex inner product. By definition, complex inner products are conjugate symmetric (among other things): $$ \langle a \lvert b \rangle = \langle b \lvert a \rangle^*.$$ Hence the necessary condition is that $\langle a \lvert b \rangle \in \mathbb{R} \iff \langle b \lvert a \rangle \in \mathbb{R}$.