Physlib.QuantumMechanics.OneDimension.HilbertSpace.PositionStates
Position states
We define plane waves as a member of the dual of the Schwartz submodule of the Hilbert space.
2 declarations
definition
Position state as a tempered distribution
For 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 .
