Substitution of equals: If x = y, then x + z = y + z, and z + x = z + y.Īssociativity: For each x, y, and z, ( x + y) + z = x + ( y + z).Ĭommutativity: For each x and y, x + y = y + x.Īssociativity and commutativity together imply that the order that addition is performed is irrelevant. Furthermore, assume addition satisfies the axioms Next, assume a binary operation called addition and written the usual way, x + y. Transitivity: If x = y and y = z, then x = z. Alternatively, we could identify equal magnitudes so that equality is identity.) Assume that equality is what is called an equivalence relation, that is, it satisfies three axioms: (This equality is not identity as we want different magnitudes, such as two different triangles, to be equal. This outline doesn’t have many of the details that would normally be included.įirst, assume there is a binary relation on a set of magnitudes of the same kind called equality, denoted as usual with an equal sign as in x = y. Here is an outline for a presentation for magnitudes. Typically a presentation is given symbolically and in terms of set theory, although the set theory isn’t necessary. In modern mathematics, axioms such as these would form the basis of an abstract algebra. This law, in particular, really ought to have been made an explicit common notion. Is called the law of trichotomy for magnitudes. The statement thatįor two magnitudes x and y of the same kind, exactly one of the three cases x y holds Statement 2 says that two of those cases cannot simultaneously hold. Some of the others are logical variants of each other, for instance, numbers 1, 8, and 9 are all equivalent to the statement that at least one of the three cases x y holds. Number 11 is a special case of C.N.2 since doubling is a special case of addition, that is, 2 x is just x + x. Number 3 is an instance of the logical principle of double negation, rather than a common notion. If not x = y, then x > y or x y, then x = y or x y. Here are a few of them and locations where they are used. There are a number of properties of magnitudes used in Book I besides the listed Common Notions. At any rate, Euclid frequently treats these two conditions as being equivalent. Symbolically, A > B means that there is some C such that A = B + C. See the notes on I.4 for more discussion on this point.Ĭ.N.5, the whole is greater than the part, could be interpreted as a definition of “greater than.” To say one magnitude B is a part of another A could be taken as saying that A is the sum of B and C for some third magnitude C, the remainder. Using this principle, if one thing can be moved to coincide with another, then they are equal. But the way it traditionally is interpreted is as a justification of a principle of superposition, which is used, for instance, in proposition I.4. On the face of it, it seems to say that if two things are identical (that is, they are the same one), then they are equal, in other words, anything equals itself. For instance, a line cannot be added to a rectangle, nor can an angle be compared to a pentagon.Ĭ.N.4 requires interpretation. Magnitudes of the same kind can be compared and added, but magnitudes of different kinds cannot. The first Common Notion could be applied to plane figures to say, for instance, that if a triangle equals a rectangle, and the rectangle equals a square, then the triangle also equals the square. The various kinds of magnitudes that occur in the Elements include lines, angles, plane figures, and solid figures. These common notions, sometimes called axioms, refer to magnitudes of one kind. Things which coincide with one another equal one another. If equals are subtracted from equals, then the remainders are equal.Ĥ. If equals are added to equals, then the wholes are equal.ģ. Things which equal the same thing also equal one another.Ģ. Saving Earth Britannica Presents Earth’s To-Do List for the 21st Century.1.Britannica Beyond We’ve created a new place where questions are at the center of learning.100 Women Britannica celebrates the centennial of the Nineteenth Amendment, highlighting suffragists and history-making politicians.COVID-19 Portal While this global health crisis continues to evolve, it can be useful to look to past pandemics to better understand how to respond today.Student Portal Britannica is the ultimate student resource for key school subjects like history, government, literature, and more.This Time in History In these videos, find out what happened this month (or any month!) in history.#WTFact Videos In #WTFact Britannica shares some of the most bizarre facts we can find.Demystified Videos In Demystified, Britannica has all the answers to your burning questions.Britannica Explains In these videos, Britannica explains a variety of topics and answers frequently asked questions.Britannica Classics Check out these retro videos from Encyclopedia Britannica’s archives.
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |