The stability of the electrons in an atom itself is not related to the exclusion principle, but is described by the quantum theory of the atom. The underlying idea is that close approach of an electron to the nucleus of the atom necessarily increases its kinetic energy, an application of the uncertainty principle of Heisenberg.[3] However, stability of large systems with many electrons and many nuclei is a different matter, and requires the Pauli exclusion principle.[4]
It has been shown that the Pauli exclusion principle is responsible for the fact that ordinary bulk matter is stable and occupies volume. This suggestion was first made in 1931 by Paul Ehrenfest, who pointed out that the electrons of each atom cannot all fall into the lowest-energy orbital and must occupy successively larger shells. Atoms therefore occupy a volume and cannot be squeezed too closely together.[5]
A more rigorous proof was provided in 1967 by Freeman Dyson and Andrew Lenard, who considered the balance of attractive (electron-nuclear) and repulsive (electron-electron and nuclear-nuclear) forces and showed that ordinary matter would collapse and occupy a much smaller volume without the Pauli principle.[6] The consequence of the Pauli principle here is that electrons of the same spin are kept apart by a repulsive exchange interaction, which is a short-range effect complemented by the long-range electrostatic or coulombic force. This effect is therefore partly responsible for the everyday observation in the macroscopic world that two solid objects cannot be in the same place in the same time.
However, Dyson and Lenard did not consider the extreme magnetic or gravitational forces which occur in some astronomical objects. In 1995, Elliott Lieb and coworkers showed that the Pauli principle still leads to stability in intense magnetic fields such as in neutron stars, although at a much higher density than in ordinary matter.[7] It is a consequence of General Relativity that in sufficiently intense gravitational fields, matter collapses to form a black hole.