0
$\begingroup$

I have several questions as the title says, so I will try to explain how doubts appeared by following the book "Mathematical Methods in Quantum Mechanics" written by Gerald Teschl, precisely chapter 1.4.

At first, it is defined $$\mathcal{F}(H,\tilde{H})=\{\sum_{j=1}^n\alpha_j(\varphi_j,\tilde{\varphi}_j)\mid (\varphi_j,\tilde{\varphi}_j)\in(H,\tilde{H}),\alpha_j\in\mathbb{C}\},$$ where appear my first question:

1.- At this point we must think on $\alpha(\varphi,\tilde{\varphi})$ as $(\alpha\varphi,\alpha\tilde{\varphi})$ or more like a triplet $(\alpha,\varphi,\tilde{\varphi})$?

It follows the definition of $$\mathcal{N}(H,\tilde{H})=\text{span}\{\sum_{j,k=1}^n\alpha_j\beta_k(\varphi_j,\tilde{\varphi}_k)-(\sum_{j=1}^n\alpha_j\varphi_j,\sum_{k=1}^n\beta_k\tilde{\varphi}_k)\},$$ and of course we are going to consider $\mathcal{F}(H,\tilde{H})/\mathcal{N}(H,\tilde{H})$, because as said in the book it is in this set of classes where we have the next three properties:

a) $(\varphi_1+\varphi_2)\otimes\tilde{\varphi}=\varphi_1\otimes\tilde{\varphi}+\varphi_2\otimes\tilde{\varphi}$.

b) (the same for the right)

c) $(\alpha\varphi)\otimes\tilde{\varphi}=\varphi\otimes(\alpha\tilde{\varphi})$.

On $\mathcal{F}(H,\tilde{H})/\mathcal{N}(H,\tilde{H})$ it is defined the inner product $$\langle\varphi\otimes\tilde{\varphi},\psi\otimes\tilde{\psi}\rangle=\langle\varphi,\psi\rangle\langle\tilde{\varphi},\tilde{\psi}\rangle,$$ and then the tensor product is defined as the completition of $\mathcal{F}(H,\tilde{H})/\mathcal{N}(H,\tilde{H})$ with this inner product.

From here, my questions are about the examples and the proposed problems:

2.- Why it is easy to see that $H\otimes\mathbb{C}^n=H^n$?.

3.- Show that $\varphi\otimes\tilde{\varphi}=0$ if and only if $\varphi=0$ or $\tilde{\varphi}=0$.

4.- Show that $\varphi\otimes\tilde{\varphi}=\psi\otimes\tilde{\psi}\neq 0$ if and only if there is some $\alpha\in\mathbb{C}\backslash\{0\}$ such that $\varphi=\alpha\psi$ or $\tilde{\varphi}=\alpha^{-1}\psi$.

Remark: Problems 3 and 4 are easy from right to left by using the three properties mentioned before, but in the other direction I have just tried to use the definition of the tensor product, but writing the elements of the tensor product as cosets is quite cumbersome and doesn't take me anywhere.

Any help would be really appreciated even for the first question, that I think it must be just a misunderstanding.

$\endgroup$
1
$\begingroup$

Regarding your first question: $\mathcal F(H,\bar H)$ is simply the set of all finite (complex) linear combinations of elements of $H\times\bar H$, the cartesian product of the two Hilbert spaces. Maybe you are confused because you put the index in the wrong place but $(\varphi_j,\bar\varphi_j)$ is nothing but a vector.

The second question is just, as Teschl says, taking a basis for $\mathbb C^n$. If it helps, take his equation (1.43) and identify $H\otimes\mathbb C$ with $H$.

$\endgroup$
  • $\begingroup$ Thank you for your answer, it helped a lot. Regarding your comment on the first question, the index problem was just a typo. $\endgroup$ – Esteban Gutiérrez May 13 '18 at 19:02
  • $\begingroup$ Actually, your other questions can be answered from $\langle\varphi\otimes\tilde{\varphi},\psi\otimes\tilde{\psi}\rangle=\langle\varphi,\psi\rangle\langle\tilde{\varphi},\tilde{\psi}\rangle$ by taking the scalar product of $\varphi\otimes\bar\varphi=0$ with some $\psi\otimes\bar\psi$ where $\psi,\bar\psi\neq0$ $\endgroup$ – Eduard Tetzlaff May 13 '18 at 19:08
  • $\begingroup$ I never came back to say thanks again! I've actually solved the entire chapter of the Teschl's book and this part was essential. $\endgroup$ – Esteban Gutiérrez Aug 29 '18 at 21:32
  • $\begingroup$ Hey, glad to hear I could help! Keep up the enthusiasm for these beautiful topics! $\endgroup$ – Eduard Tetzlaff Aug 30 '18 at 22:03

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.