The observables [$\hat{q}$](Position%20Operator.md) and [$\hat{p}$](Quantum%20Mechanics/Quantum%20Measurement/Momentum%20Operator.md) are an example of [conjugate observables](conjugate%20observables%20in%20quantum%20mechanics.md) in quantum mechanics and thus they form a _position-momentum [commutation relation](Commutators%20in%20quantum%20mechanics.md#Commuting%20and%20non-commuting%20pairs%20of%20observables)._ Due to its importance, this relation is known as the _canonical commutation relation_$[\hat{q},\hat{p}]=i\hbar\hat{\mathbb{1}}$ which may be written as $[\hat{q},\hat{p}]=i\hbar$ since applying the identity operator is equivalent to multiplying by $1$. This relation is also written in terms of different components of position or momentum on different axes such that $[\hat{q}_i,\hat{p}_j]=i\hbar\delta_{ij}$ where $\delta_{ij}$ is the [Kronecker delta.](Kronecker%20delta.md) This means that $[\hat{q}_i,\hat{p}_j]=0$ for $i=j.$ ^a96259 If we then consider the [position-Momentum commutation relation](Position-Momentum%20Commutators.md) relation along the same spatial axis, the relation reduces to $[\hat{x},\hat{p}]=i\hbar.$ %%many textbooks give [x,x] and [p,p] as commutators as well.%% # Position-Momentum commutators as Lie Brakets The [canonical commutation relation](Position-Momentum%20Commutators.md) is the [Lie bracket](Commutators%20in%20quantum%20mechanics.md#Lie%20brackets%20in%20quantum%20mechanics) that is associated with the [Heisenberg algebra,](Heisenberg%20group.md#Heisenberg%20algebra) # position-momentum commutator for a quantized field --- # Proofs and examples ## Proof that the momentum and position operators are infinite dimensional Since the proof that both the [position operator](Position%20Operator.md) and [momentum operator](Momentum%20Operator.md) are [infinite dimensional](Hilbert%20space%20dimension%20in%20quantum%20mechanics.md#Infinite%20dimensional%20Hilbert%20spaces%20in%20quantum%20mechanics) is derived from the properties of the [position-momentum commutators,](Position-Momentum%20Commutators.md) we will provide it here: ![](Proof%20that%20the%20position%20and%20momentum%20operators%20are%20infinite%20dimensional#^b72ffb) ![](Proof%20that%20the%20position%20and%20momentum%20operators%20are%20infinite%20dimensional#^44ac54) #QuantumMechanics/QuantumMeasurement/QuantumObservables