Physlib.QuantumMechanics.OneDimension.HilbertSpace.PositionStates
2 declarations
definition
Position state as a tempered distribution
#positionStateFor a given position , the position state is defined as the continuous linear functional on the Schwartz space that maps a function to its value at , i.e., . This functional is the Dirac delta distribution , viewed as an element of the space of tempered distributions .
theorem
For any position and any Schwartz function , the application of the position state functional at to is equal to the value of the function at , i.e., . This identifies the position state as the Dirac delta distribution .
