Equality (mathematics)

Basic notion of sameness in mathematics

For the symbol =, see equals sign.

In

not equal are said to be distinct.^[4]

Equality is often considered a

symbolic logic

.

There are generally two ways that equality is formalized in mathematics: through

foundation of mathematics. In set theory, any two sets are defined to be equal if they have all the same members. This is called the axiom of extensionality

.

Etymology

Further information: Equals sign § History

In English, the word equal is derived from the Latin aequālis ('like', 'comparable', 'similar'), which itself stems from aequus ('level', 'just').^[6] The word entered Middle English around the 14th century, borrowed from Old French equalité (modern égalité).^[7] More generally, the interlingual synonyms of equal have been used more broadly throughout history (see § Geometry).

Before the 16th century, there was no common symbol for equality, and equality was usually expressed with a word, such as aequales, aequantur, esgale, faciunt, ghelijck, or gleich, and sometimes by the abbreviated form aeq, or simply ⟨æ⟩ and ⟨œ⟩.

Arithmetica (c. 250 AD) is considered one of the first uses of an equals sign.^[9]

The sign =, now universally accepted in mathematics for equality, was first recorded by Welsh mathematician

parallel lines to represent equality because he believed that "no two things could be more equal."^[5][8]

Recorde's symbol was not immediately popular. After its introduction, it was next used in print in 1618 (61 years later), in an anonymous Appendix in

Gottfried Leibniz, and due to the prevalence of calculus at the time, it quickly spread throughout the rest of Europe.^[8]

Basic properties

Reflexivity

For every a, one has a = a.[10]^[11]

Symmetry

For every a and b, if a = b, then b = a.^[10][11]

Transitivity

For every a, b, and c, if a = b and b = c, then a = c.^[10][11]

Substitution

Informally, this just means that if a = b, then a can replace b in any mathematical

real numbers

a and b, if a = b, then ${\displaystyle a>0}$ implies ${\displaystyle b>0.}$

For every a and b, with some operation ${\displaystyle f(x),}$ if a = b, then ${\displaystyle f(a)=f(b).}$^[14][13][a] For example:

• Given integers a and b, if a = b, then ${\displaystyle 3a+1=3b+1.}$ (Here, ${\displaystyle f(x)=3x+1,}$ a unary operation.)
• Given natural numbers a, b, c, and d, if ${\displaystyle a^{2}=2b^{2}}$ and ${\displaystyle c=d\neq 0,}$ then ${\displaystyle a^{2}/c=2b^{2}/d.}$ (Here, ${\displaystyle f(x,y)=x/y,}$ a
  real functions
  ⁠${\displaystyle g}$⁠ and ⁠${\displaystyle h}$⁠ over some variable a, if ${\displaystyle g(a)=h(a)}$ for all a, then ${\textstyle {\frac {d}{da}}g(a)={\frac {d}{da}}h(a)}$ for all a. (Here, ${\textstyle f(x)={\frac {dx}{da}}.}$ An operation over functions (i.e. an operator), called the derivative).^[b]

The first three properties are generally attributed to Giuseppe Peano for being the first to explicitly state these as fundamental properties of equality in his Arithmetices principia (1889).^[15][16] However, the basic notions have always existed; for example, in Euclid's Elements (c. 300 BC), he includes 'common notions': "Things that are equal to the same thing are also equal to one another" (transitivity), "Things that coincide with one another are equal to one another" (reflexivity), along with some operation-application properties for addition and subtraction.^[17] The operation-application property was also stated in Peano's Arithmetices principia,^[15] however, it had been common practice in algebra since at least Diophantus (c. 250 AD).^[18] The substitution property is generally attributed to Gottfried Leibniz (c. 1686), and often called Leibniz's Law.^[12][19]

An equation is a symbolic equality of two mathematical expressions connected with an equals sign (=).^[20] Algebra is the branch of mathematics concerned with equation solving: the problem of finding values of some variable, called unknown, for which the specified equality is true. Each value of the unknown for which the equation holds is called a solution of the given equation; also stated as satisfying the equation. For example, the equation ${\displaystyle x^{2}-6x+5=0}$ has the values ${\displaystyle x=1}$ and ${\displaystyle x=5}$ as its only solutions. The terminology is used similarly for equations with several unknowns.^[21] The set of solutions to an equation or system of equations is called its solution set.^[22]

In

Often, equations are considered to be a statement, or

true or false

. For example, ${\displaystyle 1+1=2}$ is true, and ${\displaystyle 1+1=3}$ is false. Equations with unknowns are considered

${\displaystyle x^{2}-6x+5=0}$

${\displaystyle x=1}$

${\displaystyle x=5,}$

An identity is an equality that is true for all values of its variables in a given domain.^[27][28] An "equation" may sometimes mean an identity, but more often than not, it specifies a subset of the variable space to be the subset where the equation is true. An example is ${\displaystyle \left(x+1\right)\left(x+1\right)=x^{2}+2x+1,}$ which is true for each real number ${\displaystyle x.}$ There is no standard notation that distinguishes an equation from an identity, or other use of the equality relation: one has to guess an appropriate interpretation from the semantics of expressions and the context.^[29] Sometimes, but not always, an identity is written with a triple bar: ${\displaystyle \left(x+1\right)\left(x+1\right)\equiv x^{2}+2x+1.}$^[30] This notation was introduced by Bernhard Riemann in his 1857 Elliptische Funktionen lectures (published in 1899).^[31][32][33]

Alternatively, identities may be viewed as an equality of functions, where instead of writing ${\displaystyle f(a)=g(a){\text{ for all }}a,}$ one may simply write ${\displaystyle f=g.}$^[34][35] This is called the extensionality of functions.^[36][37] In this sense, the operation-application property refers to operators, operations on a function space (functions mapping between functions) like composition^[38] or the derivative, commonly used in operational calculus.^[39] An identity can contain an functions as "unknowns", which can be solved for similarly to a regular equation, called a functional equation.^[40] A functional equation involving derivatives is called a differential equation.^[41]

Equations are often used to introduce new terms or symbols for constants, assert equalities, and introduce shorthand for complex expressions, which is called "equal by definition", and often denoted with (${\displaystyle :=}$).^[42] It is similar to the concept of assignment of a variable in computer science. For example, ${\textstyle \mathbb {e} :=\sum _{n=0}^{\infty }{\frac {1}{n!}}}$ defines

and ${\displaystyle i^{2}=-1}$ is the defining property of the

${\displaystyle i.}$

In mathematical logic, this is called an extension by definition (by equality) which is a conservative extension to a formal system.^[45] This is done by taking the equation defining the new constant symbol as a new axiom of the theory. The first recorded symbolic use of "Equal by definition" appeared in Logica Matematica (1894) by Cesare Burali-Forti, an Italian mathematician. Burali-Forti, in his book, used the notation (${\displaystyle =_{\text{Def}}}$).^[46][47]

Equality is often considered a primitive notion, informally said to be "a relation each thing bears to itself and to no other thing".^[48] This tradition can be traced at least as far back as Aristotle, who in his Categories (c. 350 BC) defines the notion of quantity in terms of a more primitive equality (distinct from identity or similarity), stating:^[49]

The most distinctive mark of quantity is that equality and inequality are predicated of it. Each of the aforesaid quantities is said to be equal or unequal. For instance, one solid is said to be equal or unequal to another; number, too, and time can have these terms applied to them, indeed can all those kinds of quantity that have been mentioned.

That which is not a quantity can by no means, it would seem, be termed equal or unequal to anything else. One particular disposition or one particular quality, such as whiteness, is by no means compared with another in terms of equality and inequality but rather in terms of similarity. Thus it is the distinctive mark of quantity that it can be called equal and unequal. ― (translated by

E. M. Edghill

)

Aristotle had separate categories for

(1686), stating, roughly, that "No two distinct things can have all properties in common." This has since broken into two principles, the substitution property (if ${\displaystyle x=y,}$ then any property of ${\displaystyle x}$ is a property of ${\displaystyle y}$), and its

${\displaystyle x}$

${\displaystyle y}$

${\displaystyle x=y}$

• Law of identity: Stating that each thing is identical with itself, without restriction. That is, for every ${\displaystyle a,}$ ${\displaystyle a=a.}$ It is the first of the traditional three laws of thought.^[55]
  The above can be stated symbolically as: ${\displaystyle \forall a(a=a).}$
• Substitution property: Generally stating that if two things are equal, then any property of one must be a property of the other. It is sometimes referred to as "Leibniz's law".^[56]
  It can be stated formally as: for every a and b, and any formula ${\displaystyle \phi (x),}$ with a
  free variable
  x, if ${\displaystyle a=b,}$ then ${\displaystyle \phi (a)}$ implies ${\displaystyle \phi (b).}$
  The above can be stated symbolically as: ${\displaystyle (a=b)\implies {\bigl [}\phi (a)\Rightarrow \phi (b){\bigr ]}.}$

Function application is also sometimes included in the axioms of equality,^[14] but isn't necessary as it can be deduced from the other two axioms, and similarly for symmetry and transitivity (see § Derivations of basic properties). In first-order logic, these are axiom schemas (usually, see below), each of which specify an infinite set of axioms.^[57] If a theory has a predicate that satisfies the law of identity and substitution property, it is common to say that it "has equality", or is "a theory with equality".^[45]

The use of "equality" here somewhat of a misnomer in that any system with equality can be modeled by a theory without standard identity, and with indiscernibles.^[58][57] Those two axioms are strong enough, however, to be isomorphic to a model with identity; that is, if a system has a predicate satisfying those axioms without standard equality, there is a model of that system with standard equality.^[57] This can be done by defining a new domain whose objects are the equivalence classes of the original "equality".^[59] If a model is interpreted to have equality then those properties are enough, since if ${\displaystyle x}$ has all the same properties as ${\displaystyle y,}$ and ${\displaystyle x}$ has the property of being equal to ${\displaystyle x,}$ then ${\displaystyle y}$ has the property of being equal to ${\displaystyle x.}$^[54][60]

As axioms, one can deduce from the first using universal instantiation, and the from second, given ${\displaystyle a=b}$ and ${\displaystyle \phi (a),}$ by using

• Reflexivity: Given any expression ${\displaystyle a,}$ by the law of identity, ${\displaystyle a=a.}$[63]
• Symmetry: Given ${\displaystyle a=b,}$ take the formula ${\displaystyle \phi (x):x=a.}$
  Accordingly, ${\displaystyle (a=b)\implies ((a=a)\Rightarrow (b=a)).}$
  Since ${\displaystyle a=b}$ by assumption, and ${\displaystyle a=a}$ by reflexivity, it follows that ${\displaystyle b=a.}$^[63]
• Transitivity: Given ${\displaystyle a=b}$ and ${\displaystyle b=c,}$ take the formula ${\displaystyle \phi (x):x=c.}$
  Accordingly, ${\displaystyle (b=a)\implies ((b=c)\Rightarrow (a=c)).}$
  Since ${\displaystyle b=a}$ by symmetry, and ${\displaystyle b=c}$ by assumption, it follows that ${\displaystyle a=c.}$^[63]
• Function application: Given some function ${\displaystyle f(x)}$ and expressions a and b, such that a = b, then take the formula ${\displaystyle \phi (x):f(a)=f(x).}$^[63]
  Accordingly, ${\displaystyle (a=b)\implies [(f(a)=f(a))\Rightarrow (f(a)=f(b))].}$
  Since ${\displaystyle a=b}$ by assumption, and ${\displaystyle f(a)=f(a)}$ by reflexivity, it follows that ${\displaystyle f(a)=f(b).}$

Two sets of polygons in Euler diagrams. These sets are equal since both have the same elements, even though the arrangement differs.

Set theory is the branch of mathematics that studies sets, which can be informally described as "collections of objects".^[64] Although objects of any kind can be collected into a set, set theory—as a branch of mathematics—is mostly concerned with those that are relevant to mathematics as a whole. Sets are uniquely characterized by their

${\displaystyle (\mathbb {Z} )}$ greater than 0 but not more than 3 is equal to the set containing only 1, 2, and 3", despite the differences in formulation.

$${\displaystyle \{x\in \mathbb {Z} \mid 0<x\leq 3\}=\{1,2,3\},}$$

The term extensionality, as used in 'Axiom of Extensionality' has its roots in logic and grammar (cf.

José Ferreirós credits Richard Dedekind for being the first to explicitly state the principle, although he does not assert it as a definition:^[69]

It very frequently happens that different things a, b, c... considered for any reason under a common point of view, are collected together in the mind, and one then says that they form a system S; one calls the things a, b, c... the elements of the system S, they are contained in S; conversely, S consists of these elements. Such a system S (or a collection, a manifold, a totality), as an object of our thought, is likewise a thing; it is completely determined when, for every thing, it is determined whether it is an element of S or not.

— Richard Dedekind, 1888 (translated by José Ferreirós)

Background

Further information: Set theory § History

Around the turn of the 20th century, mathematics faced several

foundational crisis of mathematics.^[71]

The resolution of this crisis involved the rise of a new mathematical discipline called

foundation of mathematics.^[72]

Set equality based on first-order logic with equality

In first-order logic with equality (see § Axioms), the axiom of extensionality states that two sets that contain the same elements are the same set.^[73]

• Logic axiom: ${\displaystyle x=y\implies \forall z,(z\in x\iff z\in y)}$
• Logic axiom: ${\displaystyle x=y\implies \forall z,(x\in z\iff y\in z)}$
• Set theory axiom: ${\displaystyle (\forall z,(z\in x\iff z\in y))\implies x=y}$

The first two are given by the substitution property of equality from first-order logic; the last is a new axiom of the theory. Incorporating half of the work into the first-order logic may be regarded as a mere matter of convenience, as noted by Azriel Lévy:

The reason why we take up first-order predicate calculus with equality is a matter of convenience; by this, we save the labor of defining equality and proving all its properties; this burden is now assumed by the logic.^[74]

Set equality based on first-order logic without equality

In first-order logic without equality, two sets are defined to be equal if they contain the same elements. Then the axiom of extensionality states that two equal sets are contained in the same sets.^[75]

• Set theory definition: ${\displaystyle (x=y)\ :=\ \forall z,(z\in x\iff z\in y)}$
• Set theory axiom: ${\displaystyle x=y\implies \forall z,(x\in z\iff y\in z)}$

Or, equivalently, one may choose to define equality in a way that mimics, the substitution property explicitly, as the conjunction of all atomic formulas:^[76]

• Set theory definition: ${\displaystyle (x=y):=}$${\displaystyle \;\forall z(z\in x\implies z\in y)\,\land \,}$${\displaystyle \forall w(x\in w\implies y\in w)}$
• Set theory axiom: ${\displaystyle (\forall z,(z\in x\iff z\in y))\implies x=y}$

In either case, the axiom of extensionality based on first-order logic without equality states:

$${\displaystyle \forall z(z\in x\Rightarrow z\in y)\implies \forall w(x\in w\Rightarrow y\in w).}$$

Proof of basic properties

• Reflexivity: Given a set ${\displaystyle X,}$ assume ${\displaystyle z\in X,}$ it follows trivially that ${\displaystyle z\in X,}$ and the same follows in reverse, thus ${\displaystyle \forall z,(z\in X\iff z\in X),}$ therefore ${\displaystyle X=X.}$^[77]
• Symmetry: Given sets ${\displaystyle X,Y,}$ such that ${\displaystyle X=Y,}$ then ${\displaystyle \forall z,(z\in X\iff z\in Y),}$ which implies ${\displaystyle \forall z,(z\in Y\iff z\in X),}$ therefore ${\displaystyle Y=X.}$^[77]
• Transitivity: Given sets ${\displaystyle X,Y,Z,}$ such that:
  1. ${\displaystyle X=Y,}$ and
  2. ${\displaystyle Y=Z,}$

assume ${\displaystyle z\in X.}$ Then, ${\displaystyle z\in Y}$ by (1), which implies ${\displaystyle z\in Z}$ by (2), and similarly for the reverse. Thus ${\displaystyle \forall z,(z\in X\iff z\in Z),}$ therefore ${\displaystyle X=Z.}$^[77]

• Substitution: See Substitution (logic) § Proof of substitution in ZFC.
• Function application: Given ${\displaystyle a=b}$ and ${\displaystyle f(a)=c,}$ then ${\displaystyle (a,c)\in f.}$ Since ${\displaystyle a=b}$ and ${\displaystyle c=c,}$ then ${\displaystyle (a,c)=(b,c).}$ This is the defining property of an ordered pair.^[78] Since ${\displaystyle (a,c)=(b,c),}$ by the axiom of extensionality, they must belong to the same sets. Thus, since ${\displaystyle (a,c)\in f,}$ it follows that ${\displaystyle (b,c)\in f,}$ or ${\displaystyle f(b)=c.}$ Therefore, ${\displaystyle f(a)=f(b).}$

Similar relations

Approximate equality

Main article: Approximation § Mathematics

circumscribe the unit circle

approximates ${\displaystyle 2\pi }$.

solved analytically.^[79]

Calculations are likely to involve rounding errors and other approximation errors. Log tables, slide rules, and calculators produce approximate answers to all but the simplest calculations. The results of computer calculations are normally an approximation, expressed in a limited number of significant digits, although they can be programmed to produce more precise results.^[80]

If approximate equality is viewed as a binary relation (denoted by the symbol ${\displaystyle \approx }$) between real numbers or other things, any rigorous definition of it will not be an equivalence relation, due to its not being transitive. This is the case even when it is modeled as a fuzzy relation.^[81]

In

arithmetic operations, the logarithm and the exponential function). In other words, there cannot exist any algorithm for deciding such an equality (see Richardson's theorem).^[83]

Equivalence relation

An

mathematical relation that generalizes the idea of similarity or sameness. It is defined on a set

${\displaystyle X}$ as a binary relation ${\displaystyle \sim }$ that satisfies the three properties: reflexivity, symmetry, and transitivity. Reflexivity means that every element in ${\displaystyle X}$ is equivalent to itself (${\displaystyle a\sim a}$ for all ${\displaystyle a\in X}$). Symmetry requires that if one element is equivalent to another, the reverse also holds (${\displaystyle a\sim b\implies b\sim a}$). Transitivity ensures that if one element is equivalent to a second, and the second to a third, then the first is equivalent to the third (${\displaystyle a\sim b}$ and ${\displaystyle b\sim c\implies a\sim c}$).^[84] These properties are enough to partition a set into disjoint equivalence classes. Conversely, every partition defines an equivalence class.^[85]

The equivalence relation of equality is a special case, as, if restricted to a given set ${\displaystyle S,}$ it is the strictest possible equivalence relation on ${\displaystyle S}$; specifically, equality partitions a set into equivalence classes consisting of all

singleton sets.^[85] Other equivalence relations, since they're less restrictive, generalize equality by identifying elements based on shared properties or transformations, such as congruence in modular arithmetic or similarity in geometry.^[86][87]

Congruence relation

In abstract algebra, a congruence relation extends the idea of an equivalence relation to include the operation-application property. That is, given a set ${\displaystyle X,}$ and a set of operations on ${\displaystyle X,}$ then a congruence relation ${\displaystyle \sim }$ has the property that ${\displaystyle a\sim b\implies f(a)\sim f(b)}$ for all operations ${\displaystyle f}$ (here, written as unary to avoid cumbersome notation, but ${\displaystyle f}$ may be of any arity). A congruence relation on an algebraic structure such as a group, ring, or module is an equivalence relation that respects the operations defined on that structure.^[88]

Isomorphism

In mathematics, especially in abstract algebra and category theory, it is common to deal with objects that already have some internal structure. An isomorphism describes a kind of structure-preserving correspondence between two objects, establishing them as essentially identical in their structure or properties.^[89][90]

More formally, an isomorphism is a bijective mapping (or morphism) ${\displaystyle f}$ between two sets or structures ${\displaystyle A}$ and ${\displaystyle B}$ such that ${\displaystyle f}$ and its inverse ${\displaystyle f^{-1}}$ preserve the operations, relations, or functions defined on those structures.^[89] This means that any operation or relation valid in ${\displaystyle A}$ corresponds precisely to the operation or relation in ${\displaystyle B}$ under the mapping. For example, in group theory, a group isomorphism ${\displaystyle f:G\mapsto H}$ satisfies ${\displaystyle f(a*b)=f(a)*f(b)}$ for all elements ${\displaystyle a,b,}$ where ${\displaystyle *}$ denotes the group operation.^[91]

When two objects or systems are isomorphic, they are considered indistinguishable in terms of their internal structure, even though their elements or representations may differ. For instance, all

cyclic groups

of order ${\displaystyle \infty }$ are isomorphic to the integers, ${\displaystyle \mathbb {Z} ,}$ with addition.

linear bijection between their elements.^[93]

The concept of isomorphism extends to numerous branches of mathematics, including

ring isomorpisms), among others. Isomorphisms facilitate the classification of mathematical entities and enable the transfer of results and techniques between similar systems. Bridging the gap between isomorphism and equality was one motivation for the development of category theory, as well as for homotopy type theory and univalent foundations.^[94][95][96]

Geometry

In geometry, formally, two figures are equal if they contain exactly the same points. However, historically, geometric-equality has always been taken to be much broader. Euclid and Archimedes used "equal" (ἴσος isos) often referring to figures with the same area or those that could be cut and rearranged to form one another. For example, Euclid stated the Pythagorean theorem as "the square on the hypotenuse is equal to the squares on the sides, taken together", and Archimedes said that "a circle is equal to the rectangle whose sides are the radius and half the circumference."^[97] (See Area of a circle § Rearrangement proof.)

This notion persisted until

After the rise of set theory, around the 1960s, there was a push for a reform in mathematics education called "New Math", following Andrey Kolmogorov, who, in an effort to restructure Russian geometry courses, proposed presenting geometry through the lens of transformations and set theory. Since a figure was seen as a set of points, it could only be equal to itself, as a result of Kolmogorov, the term "congruent" became standard in schools for figures that were previously called "equal", which popularized the term.^[101]

While Euclid addressed

• Essentially unique
• Glossary of mathematical symbols § Equality, equivalence and similarity
• Identity type
• Identity (object-oriented programming)
• Inequality
• Logical equality
• Logical equivalence
• Relational operator § Equality
• Setoid
• Theory of pure equality
• Uniqueness quantification