In the history of mathematics, the principle of permanence, or law of the permanence of equivalent forms, was the idea that algebraic operations like addition and multiplication should behave consistently in every number system, especially when developing extensions to established number systems.[1]
Before the advent of modern mathematics and its emphasis on the axiomatic method, the principle of permanence was considered an important tool in mathematical arguments. In modern mathematics, arguments have instead been supplanted by rigorous proofs built upon axioms, and the principle is instead used as a heuristic for discovering new algebraic structures.[2] Additionally, the principle has been formalized into a class of theorems called transfer principles,[2] which state that all statements of some language that are true for some structure are true for another structure.
The principle was described by George Peacock in his book A Treatise of Algebra (emphasis in original):[3]
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[4] [5] and adopted by Giuseppe Peano, Ernst Mach, Hermann Schubert, Alfred Pringsheim, and others.
Around the same time period as A Treatise of Algebra, Augustin-Louis Cauchy published Cours d'Analyse, which used the term "generality of algebra"[6] 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.[7]
As an example, the equation
es+t-eset=0
For a counter example, consider the following properties
x+y=y+x
x,y
x+y=x+z
y=z
x,y,z
3+\omega=\omega ≠ \omega+3
x+y=max\{x,y\}
x
y
\aleph0+1=\aleph0=\aleph0+2
1 ≠ 2
\omega
\aleph0