It is perhaps the most fundamental principle of Quantum Mechanics that the system of states forms a linear manifold,1 in which a unitary scalar product is defined.2 The states are generally represented by wave functions3 in such a way that φ and constant multiples of φ represent the same physical state. It is possible, therefore, to normalize the wave function, i.e., to multiply it by a constant factor such that its scalar product with itself becomes 1. Then, only a constant factor of modulus 1, the so-called phase, will be left undetermined in the wave function. The linear character of the wave function is called the superposition principle. The square of the modulus of the unitary scalar product (ψ,Φ) of two normalized wave functions ψ and Φ is called the transition probability from the state ψ into Φ, or conversely. This is supposed to give the probability that an experiment performed on a system in the state Φ, to see whether or not the state is ψ, gives the result that it is ψ. If there are two or more different experiments to decide this (e.g., essentially the same experiment, performed at different times) they are all supposed to give the same result, i.e., the transition probability has an invariant physical sense.
[1]
P. Dirac.
Principles of Quantum Mechanics
,
1982
.
[2]
F. Murray.
On Rings of Operators
,
1936
.
[3]
E. Wigner.
Gruppentheorie und ihre Anwendung auf die Quantenmechanik der Atomspektren
,
1931
.
[4]
H. Weyl.
Integralgleichungen und fastperiodische Funktionen
,
1927
.
[5]
H. Weyl.
Gruppentheorie und Quantenmechanik
,
1928
.
[6]
A. Haar.
Der Massbegriff in der Theorie der Kontinuierlichen Gruppen
,
1933
.
[7]
Ettore Majorana,et al.
Relativistic theory of particles with arbitrary intrinsic angular momentum
,
1932
.
[8]
M. Stone,et al.
Linear Transformations in Hilbert Space: III. Operational Methods and Group Theory.
,
1930,
Proceedings of the National Academy of Sciences of the United States of America.
[9]
A. Proca.
Sur la théorie ondulatoire des électrons positifs et négatifs
,
1936
.
[10]
John von Neumann,et al.
Uber Funktionen Von Funktionaloperatoren
,
1931
.