To install click the Add extension button. That's it.

The source code for the WIKI 2 extension is being checked by specialists of the Mozilla Foundation, Google, and Apple. You could also do it yourself at any point in time.

4,5
Kelly Slayton
Congratulations on this excellent venture… what a great idea!
Alexander Grigorievskiy
I use WIKI 2 every day and almost forgot how the original Wikipedia looks like.
Live Statistics
English Articles
Improved in 24 Hours
Added in 24 Hours
What we do. Every page goes through several hundred of perfecting techniques; in live mode. Quite the same Wikipedia. Just better.
.
Leo
Newton
Brights
Milds

Euclidean relation

From Wikipedia, the free encyclopedia

In mathematics, Euclidean relations are a class of binary relations that formalize "Axiom 1" in Euclid's Elements: "Magnitudes which are equal to the same are equal to each other."

YouTube Encyclopedic

  • 1/3
    Views:
    1 401 916
    197 788
    540 393
  • Euclid as the father of geometry | Introduction to Euclidean geometry | Geometry | Khan Academy
  • Euclidean Geometry - Grade 11 and 12 Mathematics
  • How to Find the Greatest Common Divisor by Using the Euclidian Algorithm

Transcription

"The laws of nature are but the mathematical thoughts of God." And this is a quote by Euclid of Alexandria, who was a Greek mathematician and philosopher who lived about 300 years before Christ. And the reason why I include this quote is because Euclid is considered to be the father of geometry. And it is a neat quote. Regardless of your views of God, whether or not God exists or the nature of God, it says something very fundamental about nature. The laws of nature are but the mathematical thoughts of God. That math underpins all of the laws of nature. And the word geometry itself has Greek roots. Geo comes from Greek for Earth. Metry comes from Greek for measurement. You're probably used to something like the metric system. And Euclid is considered to be the father of geometry not because he was the first person who studied geometry. You could imagine the very first humans might have studied geometry. They might have looked at two twigs on the ground that looked something like that and they might have looked at another pair of twigs that looked like that and said, this is a bigger opening. What is the relationship here? Or they might have looked at a tree that had a branch that came off it like that. And they said, oh there's something similar about this opening here and this opening here. Or they might have asked themselves, what is the ratio? Or what is the relationship between the distance around a circle and the distance across it? And is that the same for all circles? And is there a way for us to feel really good that that is definitely true? And then once you got to the early Greeks, they started to get even more thoughtful essentially about geometric things when you talk about Greek mathematicians like Pythagoras, who came before Euclid. But the reason why Euclid is considered to be the father of geometry, and why we often talk about Euclidean geometry, is around 300 BC-- and this right over here is a picture of Euclid painted by Raphael. And no one really knows what Euclid looked like, even when he was born or when he died. So this is just Raphael's impression of what Euclid might have looked like when he was teaching in Alexandria. But what made Euclid the father of geometry is really his writing of Euclid's Elements. And what the Elements were were essentially a 13 volume textbook. And arguably the most famous textbook of all time. And what he did in those 13 volumes is he essentially did a rigorous, thoughtful, logical march through geometry and number theory, and then also solid geometry. So geometry in three dimensions. And this right over here is the frontispiece piece for the English version, or the first translation of the English version of Euclid's Elements. And this was done in 1570. But it was obviously first written in Greek. And then during much of the Middle Ages, that knowledge was shepherded by the Arabs and it was translated into Arabic. And then eventually in the late Middle Ages, translated into Latin, and then obviously eventually English. And when I say that he did a rigorous march, what Euclid did is he didn't just say, oh well, I think if you take the length of one side of a right triangle and the length of the other side of the right triangle, it's going to be the same as the square of the hypotenuse, all of these other things. And we'll go into depth about what all of these things mean. He says, I don't want to just feel good that it's probably true. I want to prove to myself that it is true. And so what he did in Elements, especially the six books that are concerned with planar geometry, in fact, he did all of them, but from a geometrical point of view, he started with basic assumptions. So he started with basic assumptions and those basic assumptions in geometric speak are called axioms or postulates. And from them, he proved, he deduced other statements or propositions. Or these are sometimes called theorems. And then he says, now I know if this is true and this is true, this must be true. And he could also prove that other things cannot be true. So then he could prove that this is not going to be the truth. He didn't just say, well, every circle I've said has this property. He says, I've now proven that this is true. And then from there, we can go and deduce other propositions or theorems, and we can use some of our original axioms to do that. And what's special about that is no one had really done that before, rigorously proven beyond a shadow of a doubt across a whole broad sweep of knowledge. So not just one proof here or there. He did it for an entire set of knowledge that we're talking about. A rigorous march through a subject so that he could build this scaffold of axioms and postulates and theorems and propositions. And theorems and propositions are essentially the same thing. And essentially for about 2,000 years after Euclid-- so this is unbelievable shelf life for a textbook-- people didn't view you as educated if you did not read and understand Euclid's Elements. And Euclid's Elements, the book itself, was the second most printed book in the Western world after the Bible. This is a math textbook. It was second only to the Bible. When the first printing presses came out, they said OK, let's print the Bible. What do we print next? Let's print Euclid's Elements. And to show that this is relevant into the fairly recent past-- although whether or not you argue that about 150, 160 years ago is the recent past-- this right here is a direct quote from Abraham Lincoln, obviously one of the great American presidents. I like this picture of Abraham Lincoln. This is actually a photograph of Lincoln in his late 30s. But he was a huge fan of Euclid's Elements. He would actually use it to fine tune his mind. While he was riding his horse, he would read Euclid's Elements. While was in the White House, he would read Euclid's Elements. But this is a direct quote from Lincoln. "In the course of my law reading, I constantly came upon the word demonstrate. I thought at first that I understood its meaning, but soon became satisfied that I did not. I said to myself, what do I do when I demonstrate more than when I reason or prove? How does demonstration differ from any other proof?" So Lincoln's saying, there's this word demonstration that means something more. Proving beyond doubt. Something more rigorous. More than just simple feeling good about something or reasoning through it. "I consulted Webster's Dictionary." So Webster's Dictionary was around even when Lincoln was around. "They told of certain proof. Proof beyond the possibility of doubt. But I could form no idea of what sort of proof that was. "I thought a great many things were proved beyond the possibility of doubt, without recourse to any such extraordinary process of reasoning as I understood demonstration to be. I consulted all the dictionaries and books of reference I could find, but with no better results. You might as well have defined blue to a blind man. "At last I said, Lincoln--" he's talking to himself. "At last I said, Lincoln, you never can make a lawyer if you do not understand what demonstrate means. And I left my situation in Springfield, went home to my father's house, and stayed there till I could give any proposition in the six books of Euclid at sight." So the six books concerned with planar geometry. "I then found out what demonstrate means and went back to my law studies." So one of the greatest American presidents of all time felt that in order to be a great lawyer, he had to understand, be able to prove any proposition in the six books of Euclid's Elements at sight. And also once he was in the White House, he continued to do this to make him, in his mind, to fine tune his mind to become a great president. And so what we're going to be doing in the geometry play list is essentially that. What we're going to study is we're going to think about how do we really tightly, rigorously prove things? We're essentially going to be, in a slightly more modern form, studying what Euclid studied 2,300 years ago. Really tighten our reasoning of different statements and being able to make sure that when we say something, we can really prove what we're saying. And this is really some of the most fundamental, real mathematics that you will do. Arithmetic was really just computation. Now in geometry-- and what we're going to be doing is really Euclidean geometry-- this is really what math is about. Making some assumptions and then deducing other things from those assumptions.

Definition

Right Euclidean property: solid and dashed arrows indicate antecedents and consequents, respectively.

A binary relation R on a set X is Euclidean (sometimes called right Euclidean) if it satisfies the following: for every a, b, c in X, if a is related to b and c, then b is related to c.[1] To write this in predicate logic:

Dually, a relation R on X is left Euclidean if for every a, b, c in X, if b is related to a and c is related to a, then b is related to c:

Properties

Schematized right Euclidean relation according to property 10. Deeply-colored squares indicate the equivalence classes of R. Pale-colored rectangles indicate possible relationships of elements in X\ran(R). In these rectangles, relationships may, or may not, hold.
  1. Due to the commutativity of ∧ in the definition's antecedent, aRbaRc even implies bRccRb when R is right Euclidean. Similarly, bRacRa implies bRccRb when R is left Euclidean.
  2. The property of being Euclidean is different from transitivity. For example, ≤ is transitive, but not right Euclidean,[2] while xRy defined by 0 ≤ xy + 1 ≤ 2 is not transitive,[3] but right Euclidean on natural numbers.
  3. For symmetric relations, transitivity, right Euclideanness, and left Euclideanness all coincide. However, a non-symmetric relation can also be both transitive and right Euclidean, for example, xRy defined by y=0.
  4. A relation that is both right Euclidean and reflexive is also symmetric and therefore an equivalence relation.[1][4] Similarly, each left Euclidean and reflexive relation is an equivalence.
  5. The range of a right Euclidean relation is always a subset[5] of its domain. The restriction of a right Euclidean relation to its range is always reflexive,[6] and therefore an equivalence. Similarly, the domain of a left Euclidean relation is a subset of its range, and the restriction of a left Euclidean relation to its domain is an equivalence. Therefore, a right Euclidean relation on X that is also right total (respectively a left Euclidean relation on X that is also left total) is an equivalence, since its range (respectively its domain) is X.[7]
  6. A relation R is both left and right Euclidean, if, and only if, the domain and the range set of R agree, and R is an equivalence relation on that set.[8]
  7. A right Euclidean relation is always quasitransitive,[9] as is a left Euclidean relation.[10]
  8. A connected right Euclidean relation is always transitive;[11] and so is a connected left Euclidean relation.[12]
  9. If X has at least 3 elements, a connected right Euclidean relation R on X cannot be antisymmetric,[13] and neither can a connected left Euclidean relation on X.[14] On the 2-element set X = { 0, 1 }, e.g. the relation xRy defined by y=1 is connected, right Euclidean, and antisymmetric, and xRy defined by x=1 is connected, left Euclidean, and antisymmetric.
  10. A relation R on a set X is right Euclidean if, and only if, the restriction R := R|ran(R) is an equivalence and for each x in X\ran(R), all elements to which x is related under R are equivalent under R.[15] Similarly, R on X is left Euclidean if, and only if, R := R|dom(R) is an equivalence and for each x in X\dom(R), all elements that are related to x under R are equivalent under R.
  11. A left Euclidean relation is left-unique if, and only if, it is antisymmetric. Similarly, a right Euclidean relation is right unique if, and only if, it is anti-symmetric.
  12. A left Euclidean and left unique relation is vacuously transitive, and so is a right Euclidean and right unique relation.
  13. A left Euclidean relation is left quasi-reflexive. For left-unique relations, the converse also holds. Dually, each right Euclidean relation is right quasi-reflexive, and each right unique and right quasi-reflexive relation is right Euclidean.[16]

References

  1. ^ a b Fagin, Ronald (2003), Reasoning About Knowledge, MIT Press, p. 60, ISBN 978-0-262-56200-3.
  2. ^ e.g. 0 ≤ 2 and 0 ≤ 1, but not 2 ≤ 1
  3. ^ e.g. 2R1 and 1R0, but not 2R0
  4. ^ xRy and xRx implies yRx.
  5. ^ Equality of domain and range isn't necessary: the relation xRy defined by y=min{x,2} is right Euclidean on the natural numbers, and its range, {0,1,2}, is a proper subset of its domain of the natural numbers.
  6. ^ If y is in the range of R, then xRyxRy implies yRy, for some suitable x. This also proves that y is in the domain of R.
  7. ^ Buck, Charles (1967), "An Alternative Definition for Equivalence Relations", The Mathematics Teacher, 60: 124–125.
  8. ^ The only if direction follows from the previous paragraph. — For the if direction, assume aRb and aRc, then a,b,c are members of the domain and range of R, hence bRc by symmetry and transitivity; left Euclideanness of R follows similarly.
  9. ^ If xRy ∧ ¬yRxyRz ∧ ¬zRy holds, then both y and z are in the range of R. Since R is an equivalence on that set, yRz implies zRy. Hence the antecedent of the quasi-transitivity definition formula cannot be satisfied.
  10. ^ A similar argument applies, observing that x,y are in the domain of R.
  11. ^ If xRyyRz holds, then y and z are in the range of R. Since R is connected, xRz or zRx or x=z holds. In case 1, nothing remains to be shown. In cases 2 and 3, also x is in the range. Hence, xRz follows from the symmetry and reflexivity of R on its range, respectively.
  12. ^ Similar, using that x, y are in the domain of R.
  13. ^ Since R is connected, at least two distinct elements x,y are in its range, and xRyyRx holds. Since R is symmetric on its range, even xRyyRx holds. This contradicts the antisymmetry property.
  14. ^ By a similar argument, using the domain of R.
  15. ^ Only if: R is an equivalence as shown above. If xX\ran(R) and xRy1 and xRy2, then y1Ry2 by right Euclideaness, hence y1Ry2. — If: if xRyxRz holds, then y,z∈ran(R). In case also x∈ran(R), even xRyxRz holds, hence yRz by symmetry and transitivity of R, hence yRz. In case xX\ran(R), the elements y and z must be equivalent under R by assumption, hence also yRz.
  16. ^ Jochen Burghardt (Nov 2018). Simple Laws about Nonprominent Properties of Binary Relations (Technical Report). arXiv:1806.05036v2. Lemma 44-46.
This page was last edited on 10 April 2024, at 22:04
Basis of this page is in Wikipedia. Text is available under the CC BY-SA 3.0 Unported License. Non-text media are available under their specified licenses. Wikipedia® is a registered trademark of the Wikimedia Foundation, Inc. WIKI 2 is an independent company and has no affiliation with Wikimedia Foundation.