- #1

- 675

- 4

Call the 1-D Hilbert space ## H_1 ## and the 3-D Hilbert space ## H_3 ##. Is this question equivalent to asking is ## H_3 = H_1 \otimes H_1 \otimes H_1 ##?

You are using an out of date browser. It may not display this or other websites correctly.

You should upgrade or use an alternative browser.

You should upgrade or use an alternative browser.

- I
- Thread starter pellman
- Start date

- #1

- 675

- 4

Call the 1-D Hilbert space ## H_1 ## and the 3-D Hilbert space ## H_3 ##. Is this question equivalent to asking is ## H_3 = H_1 \otimes H_1 \otimes H_1 ##?

- #2

- 3,894

- 1,460

Yes. To see why, it's easier to look at it the other was around. The full Hilbert space is defined as the tensor product of the the three 'component' Hilbert spaces, so that a basis for the full space is the set of all tensor products of basis elements of those three component spaces: ## | x,y,z \rangle = | x \rangle \otimes | y \rangle \otimes | z \rangle ##.A particle in a 1-D Hilbert space would have position basis states ## |x \rangle ## where ## \langle x' | x \rangle = \delta(x'-x) ## A 3-D Hilbert space for one particle might have a basis ## | x,y,z \rangle ## where ##\langle x', y', z' | x,y,z \rangle = \delta(x'-x) \delta (y-y') \delta(z-z') ## . Would it be correct to write ## | x,y,z \rangle = | x \rangle \otimes | y \rangle \otimes | z \rangle ## ? Why or why not?

We then define the inner product on the product space in the most natural way, as:

$$\langle x,y,z|x',y',z'\rangle \equiv \langle x|x'\rangle\times\langle y|y'\rangle\times\langle z|z'\rangle$$

and extending linearly. We need to confirm that this obeys the inner product rules, but that's pretty easy to do.

It then follows that

$$\langle x,y,z|x',y',z'\rangle \equiv \langle x|x'\rangle\times\langle y|y'\rangle\times\langle z|z'\rangle\equiv\delta(x'-x) \delta (y-y') \delta(z-z') $$

The three Hilbert spaces are isomorphic to one another, but they are not the same space, as they relate to different physical phenomena. Hence it is more accurately represented by saying that thre three spaces are ##H_a,H_b,H_c##, with ##H_a\cong H_b\cong H_c## and the full Hilbert space is ##H_3\equiv H_a\otimes H_b\otimes H_c##.Call the 1-D Hilbert space ## H_1 ## and the 3-D Hilbert space ## H_3 ##. Is this question equivalent to asking is ## H_3 = H_1 \otimes H_1 \otimes H_1 ##?

- #3

- 675

- 4

Thank you. This was helpful.

What does ## \cong ## mean here?

What does ## \cong ## mean here?

- #4

- 3,894

- 1,460

It means 'is isomorphic to'

Share: