Principle of permanence

The principle was described by George Peacock in his book A Treatise of Algebra (emphasis in original):[4]

132. Let us again recur to this principle or law of the permanence of equivalent forms, and consider it when stated in the form of a direct and converse proportion.

"Whatever form is Algebraically equivalent to another, when expressed in general symbols, must be true, whatever those symbols denote."

Conversely, if we discover an equivalent form in Arithmetical Algebra or any other subordinate science, when the symbols are general in form though specific in their nature, the same must be an equivalent form, when the symbols are general in their nature as well as in their form.

The principle was later revised by Hermann Hankel[5][6] and adopted by Giuseppe Peano, Ernst Mach, Hermann Schubert, Alfred Pringsheim, and others.[7]

Around the same time period as A Treatise of Algebra, Augustin-Louis Cauchy published Cours d'Analyse, which used the term "generality of algebra"[8] to describe (and criticize) a method of argument used by 18th century mathematicians like Euler and Lagrange that was similar to the Principle of Permanence.

One of the main uses of the principle of permanence is to show that a functional equation that holds for the real numbers also holds for the complex numbers.[9]

As an example, the equation ${\displaystyle e^{s+t}-e^{s}e^{t}=0}$ hold for all real numbers s, t. By the principle of permanence for functions of two variables, this suggests that it holds for all complex numbers as well.[10]

For a counter example, consider the following properties

• commutativity of addition: ${\displaystyle x+y=y+x}$ for all ${\displaystyle x,y}$,
• left-cancellative property of addition: if ${\displaystyle x+y=x+z}$, then ${\displaystyle y=z}$, for all ${\displaystyle x,y,z}$.

Both properties hold for all natural, integer, rational, real, and complex numbers. However, when, following Georg Cantor, natural numbers are extended beyond infinity, no systems are known that satisfy both properties simultaneously.

• In ordinal arithmetic, addition is left-cancellative, but no longer commutative. For example, ${\displaystyle 3+\omega =\omega \neq \omega +3}$.
• In cardinal arithmetic, addition is commutative, but no longer left-cancellative, since ${\displaystyle x+y=max\{x,y\}}$ whenever ${\displaystyle x}$ or ${\displaystyle y}$ is infinite. For example, ${\displaystyle \aleph _{0}+1=\aleph _{0}=\aleph _{0}+2}$, but ${\displaystyle 1\neq 2}$.[11]

Hence both systems violate the principle of permanence.