En general, una transformada de Fourier toma funciones sobre un grupo $G$ o un espacio $X$ en el que $G$ actos, y los descompone en términos de caracteres del grupo, como $\chi : G \to S^1$ y los coeficientes de la descomposición se codifican en la función transformada en el dual de Pontryagin $\hat G$ de $G$ .
Ahora para el espacio euclidiano, $\mathbb R^n$ podemos identificar el dual Pontryagin $\hat{ \mathbb{R}}^n$ con ella misma. En particular, es un grupo localmente compacto con $\mathbb R^n$ identificando $\xi \in \mathbb R^n$ como la frecuencia, para la cual $x \to \xi \cdot x.$ El dual de Pontryagin en general es el grupo de todos los caracteres de $G$ .
En general, la transformada de Fourier para $f \in L^1(G)$ está dada por,
$$\hat f (\chi) = \int_G f(x)\bar{\chi(x)} d \mu(x)$$
donde $d\mu$ es la medida de Haar. Especializando ahora al caso mencionado, se tiene,
$$\hat{f}(\xi) = \int_{\mathbb R^n} f(x)e^{-2\pi i \xi \cdot x} dx.$$
Si interpretamos el dominio de $f$ como tiempo, entonces el dominio correspondiente de la transformación es en el espacio de la frecuencia. Para la posición, se tiene el espacio del momento. Que podemos tomar $\psi(x)$ a $\hat \psi(p)$ no es exclusivo de la función de onda, sino que puede realizarse sobre cualquier función adecuada.
Otra comprobación: en el exponencial se tiene $e^{-i\omega t}$ y así se puede deducir $\omega$ tiene dimensiones de frecuencia para que el argumento sea adimensional. Ahora, para la posición, se obtendría algo como $[L]^{-1}$ que es en realidad el vector de onda $k$ pero $p = \hbar k$ por lo que podemos expresar la transformada de Fourier en términos del vector onda o del momento.
También trabajamos normalmente en unidades naturales en las que $\hbar = 1$ por lo que utilizamos cualquiera de los dos indistintamente.