What are the differences between equality and equations and identities?

Question

What are the differences between equality and equations and identities?

Look at the following:

1. $x=y$, $x$ and $y$ are mathematical objects.
2. $x+2=4$
3. $(a+b)^2=a^2+2ab+b^2$

What are all of the differences between the three?

Edit #1: From my understanding the $1$ claims that $x$ and $y$ are the exact same object, meaning that $x$ and $y$ are simply two names for the same things.

The second one is a conditional that "asks" what $x$ make the predicate $P(x):x+2=4$ true.

The third one claims that the predicate $P(x): (a+b)^2 = a^2+2ab+b^2$ is a true statement for any $x$. I don't really know why it is different from the first one. Basically $(a+b)^2$ is the same thing as $a^2+2ab+b^2$, they are 2 different names for the same thing.

Answer 1

Note: the equality $(a+b)^2=a^2+2ab+b^2$ is not really an equality of mathematical objects, since it is a priori not true. In any context where $ab \neq ba$, this does not hold.

Answer 2

You're missing quantifiers on all of these, so all your descriptions are guesses based on assumed context. It's like going into a kitchen and asking "what is an egg?", when we could be making an omelette, or a cake, or glazing some buns.

However, independent of you examples:

• Equations and equalities assert that two things are equal.

• An identity asserts that two things are equal for all values that variables may take on in a specified (or implicitly specified) range.

The "exactly same object" description you've given for #1 isn't part of math as I know it. In the C++ programming language

int &a = b;

more or less does that. I can also imagine philosophy.SE saying something like that when discussing exactly what "is" means. But it doesn't seem like math, at least to me.

You also make several references to "naming" things. This also feels more like philosophy than math.