Equality (mathematics) - Relation With Equivalence and Isomorphism

Relation With Equivalence and Isomorphism

See also: Equivalence relation and Isomorphism

In some contexts, equality is sharply distinguished from equivalence or isomorphism. For example, one may distinguish fractions from rational numbers, the latter being equivalence classes of fractions: the fractions and are distinct as fractions, as different strings of symbols, but they "represent" the same rational number, the same point on a number line. This distinction gives rise to the notion of a quotient set.

Similarly, the sets

and

are not equal sets – the first consists of letters, while the second consists of numbers – but they are both sets of three elements, and thus isomorphic, meaning that there is a bijection between them, for example

However, there are other choices of isomorphism, such as

and these sets cannot be identified without making such a choice – any statement that identifies them "depends on choice of identification". This distinction, between equality and isomorphism, is of fundamental importance in category theory, and is one motivation for the development of category theory.

Read more about this topic:  Equality (mathematics)

Famous quotes containing the words relation with and/or relation:

    “There is undoubtedly something religious about it: everyone believes that they are special, that they are chosen, that they have a special relation with fate. Here is the test: you turn over card after card to see in which way that is true. If you can defy the odds, you may be saved. And when you are cleaned out, the last penny gone, you are enlightened at last, free perhaps, exhilarated like an ascetic by the falling away of the material world.”
    —Andrei Codrescu (b. 1947)

    “There is a relation between the hours of our life and the centuries of time. As the air I breathe is drawn from the great repositories of nature, as the light on my book is yielded by a star a hundred millions of miles distant, as the poise of my body depends on the equilibrium of centrifugal and centripetal forces, so the hours should be instructed by the ages and the ages explained by the hours.”
    —Ralph Waldo Emerson (1803–1882)