Two particles are said to be identical if all their intrinsic properties, such as mass, spin, charge, are exactly the same. We can rephrase the definition saying that two particles are identical if no experiment can distinguish between them. An important consequence can be deduced from this definition: a system composed of identical particles must be invariant under the exchange of the particles roles.
Identical particles are of great importance in physics: all the electrons, protons, neutrons, etc in the universe are identical. Since we are dealing with the problem of an exhaustive quantum description of atoms and molecules, where lots of identical particles are concerned, we have to develop a proper quantum mechanical theory about identical particles.
In classical mechanics identical particles are treated just as they were different.In principle, indeed, it is always possible to distinguish between them following their orbits, and for this reason we can label the particles with , labels which act as intrinsic properties that distinguish the particles and make them "no longer identical". The problem of indistinguishability is purely quantum mechanical, since we have learned that particles no longer have definite trajectories. The labels can't be seen as intrinsic properties. Consider for example a system of two identical particles:when we detect one particle in a region of space in which both of them have a non-zero position probability, we have no way of knowing if the particle detected is the number or the number .
Indistinguishability creates fundamental difficulties, since it introduces an exchange degeneracy: when identical particles are concerned a complete measurement on each of the particle does not permit the determination of a unique ket of the state space of the system.
Consider a system of two identical particles with spin degrees of freedom only. Each particle spin observable constitutes a C.S.C.O in the state space of the single particle, and its eigenkets form a base of that space. We can construct an orthonormal base of the state space of the system taking the tensor product between the bases of the two state spaces.
Consider a system of three identical particles and an observable which form a C.S.C.O in the state space of particle . Since the particles are identical the observables exist and form a C.S.C.O in the state space of particle . We can construct an orthonormal base of the state space of the system by taking the tensor product between each base of single-particle state spaces.Since the particles are identical we are not able to distinguish between and we can only measure the observable for each of the particles. Suppose we find the values . The final state of the system can be represented by any ket spanned by the six kets
Examples clearly show the deep connection between exchange degeneracy and permutations. In the next chapter we're going to develop this connection by the introduction of permutation operators