We define $$\hat{a}=\sqrt{\frac{m \omega}{2 \hbar}}\left(\hat{x}+i \frac{\hat{p}}{m w}\right)$$ $$\hat{a}^{\dagger}=\sqrt{\frac{m \omega}{2 \hbar}}\left(\hat{x}-i \frac{\hat{p}}{m w}\right)$$ Lowering and raising operators respectively. Clearly, these are conjugates in the regular complex scalar sense but we label them and treat them as Hermitian adjoints (complex transpose). Since the differential operator can be represented by an infinitely large matrix, why do we not need to take the transpose part of it into account?

• You are mixing the two separate descriptions, wave mechanics (where you have functions and operators) and matrix mechanics, in which all quantum observables are finite/infinite matrices. You shouldn't do that. In matrix mechanics, indeed $p^{\dagger}$ is the transposed complex conjugate matrix of $p$. Nov 1 '19 at 5:26
• Who says you don't take the transpose into account? Nov 1 '19 at 5:44
• Nov 1 '19 at 8:30
• Look at the infinite matrices themselves, e.g. in Messiah V1, ch XII, sec 5, p437,8 . Reverse your definition to produce the hermitean $\hat x$ and $\hat p$. Had you inspected the matrices themselves the question would not have been asked. Nov 1 '19 at 17:17

In the number basis of the harmonic oscillator (where the number operator energy is diagonal), your text must (and certainly Wikipedia does) have $$a^\dagger =\begin{pmatrix} 0 & 0 & 0 & \dots & 0 &\dots \\ \sqrt{1} & 0 & 0 & \dots & 0 & \dots\\ 0 & \sqrt{2} & 0 & \dots & 0 & \dots\\ 0 & 0 & \sqrt{3} & \dots & 0 & \dots\\ \vdots & \vdots & \vdots & \ddots & \vdots & \dots\\ 0 & 0 & 0 & \dots & \sqrt{n} &\dots & \\ \vdots & \vdots & \vdots & \vdots & \vdots &\ddots \end{pmatrix}$$ and $$a =\begin{pmatrix} 0 & \sqrt{1} & 0 & 0 & \dots & 0 & \dots \\ 0 & 0 & \sqrt{2} & 0 & \dots & 0 & \dots \\ 0 & 0 & 0 & \sqrt{3} & \dots & 0 & \dots \\ 0 & 0 & 0 & 0 & \ddots & \vdots & \dots \\ \vdots & \vdots & \vdots & \vdots & \ddots & \sqrt{n} & \dots \\ 0 & 0 & 0 & 0 & \dots & 0 & \ddots \\ \vdots & \vdots & \vdots & \vdots & \vdots & \vdots & \ddots \end{pmatrix},$$

both infinite-dimensional matrices and adjoint (actually transpose) of each other.

Adding them together gives you the hermitian (actually symmetric) $$\hat x = \sqrt{\frac{\hbar}{2m\omega}} \begin{pmatrix} 0 & \sqrt{1} & 0 & 0 & \dots & 0 & \dots \\ \sqrt{1} & 0 & \sqrt{2} & 0 & \dots & 0 & \dots \\ 0 & \sqrt{2} & 0 & \sqrt{3} & \dots & 0 & \dots \\ 0 & 0 & \sqrt{3} & 0 & \ddots & \vdots & \dots \\ \vdots & \vdots & \vdots & \vdots & \ddots & \sqrt{n} & \dots \\ 0 & 0 & 0 & 0 & \sqrt{n} & 0 & \ddots \\ \vdots & \vdots & \vdots & \vdots & \vdots & \vdots & \ddots \end{pmatrix},$$ and it should be straightforward for you to construct the likewise hermitian (imaginary antisymmetric) $$\hat p$$.

Short answer: $$x$$ and $$p$$ in quantum mechanics are operators, not numbers. It means that, for example, $$\hat{x}|\psi\rangle = |\phi\rangle$$ where $$|\psi\rangle$$ and $$|\phi\rangle$$ vectors in our Hilbert space (up to normalization). As they are operators that correspond to physical observables, they must be Hermitian operators. The rules of how to take the Hermitian-conjugate of $$a$$ to get $$a^{\dagger}$$ follow immediately.

Longer answer: you are right that the usual definition of operators in terms of matrices in quantum mechanic is sometime problematic, especially at undergraduate level. The point is that $$x$$ and $$p$$ cannot be defined in terms of matrices of finite size. To see this, it is suffice to note that $$\left[ x,p \right] = i\hbar$$ is a requirement, yet for any two finite matrices $$A$$ and $$B$$, we have $${\rm Tr}\{\left[A, B\right]\} =0$$ because the trace is cyclic.

There are ways to write $$x$$ and $$p$$ as matrices, but they must be either infinite, or violate this fundamental commutation relation. Now, there is no problem with infinite matrices. In fact, $$a$$ and $$a^{\dagger}$$, represented as matrices, must also be infinite (just because they also maintain a commutation relation of $$[a,a^{\dagger}]=1$$). This comes from the fact that our Hilbert space is infinite $$|n\rangle$$ with $$n$$ any non-negative integer.

One can define $$x$$ and $$p$$ as finite matrices, with some finite-lattice spacing, in a large box $$L$$, and then demand that $$\langle \psi | [x,p] | \psi \rangle = i\hbar$$ for almost the entire Hilbert space, with the states for which this is violated have their support only at the edges of the box, and we are never to use them for any physical observable. This is sometimes done when we want to write $$x$$ and $$p$$ on the computer and calculate stuff, and we are of course restricted only to finite matrices.