So let me get this straight. The goal behind equivalence relation is to introduce the concept of ‘=‘? As in what it means? Im sorry if this is a dumb question but can someone explain the application for this? Why does it have to meet all 3 properties (reflexive, symmetric, trasitive)?
Love your presentations and may I ask a couple humble questions friend: 1) Can I say a “subset relation” is an equivalence relation since a set is its own subset so it satisfies the reflexive property. But what about the symmetric ? Can I say aRa and trivially aRa so it’s symmetric too? As for transitive this is where I am confusion: if we have a b and c, can the a b and c all be the same object? Like they all are the object “a” so then a is a subset of a and a is a subset of a then a is a subset of a therefor transitive? But if it’s not all “a’s” then we cannot say for sure it’s gonna be transitive right?! 2) I been perusing differing RU-vid videos and it seems there are two completely different equivalence relation definitions. Is this because one has to do with set theory and one has to just do with something more basic? Or maybe I’m confused and there is only one definition but it’s explained differently ?
Can you please do a video on equivalence classes, it’s so confusing to me how [x] = the set of all elements related by x to y but solving for the set makes no sense to me.
Thanks a lot, Tarun, and I have a lot more lessons on functions, as a sort of first chapter of calculus, on the way! Let me know if you ever have any video requests!
But seriously u are great i think you are so passionate in maths u dont need improve ment but u should be more informetive i mean more point to point topics and learning
Hi brother, may I pose a question: let’s say we have an equivalence relation aRb. Why can’t I represent this within set theory as set T comprising subset of Cartesian product of a and b, mapped to a set U which contains true or false? Thanks so much!!
Thanks for watching and good question! Late reply, but better late than never! There are countless mathematical relations. Among the basic ones that you listed, you're right that != is the only one that is not transitive. But there are plenty others outside of those that are not transitive. For example, the successor relation is not transitive. We can say 3 is the successor of 2, because 3 = 2+1, or 3 = S(2) where S is the successor function. Also, 2 is the successor of 1, since 2 = 1 + 1, or 2 = S(1). However, 3 is not the successor of 1.
Kind sir: I have one other question: I do hope you get to both my questions; why is the different than not a transitive? I can say 6 is different from 4 , 4 is different from 3, and 6 is different from 3.
I have videos on group homomorphisms, but I do not have anything on topology specifically. Once the channel has grown enough - I'll be able to spend time making videos on everything!
Thanks for watching and a relation is commonly thought to relate elements of a set A to some other set B, and we can equivalently think of this sort of relation as being a subset of the set AxB. You may see a relation being defined as a subset of AxA for some set A. If we have elements in some set B which are also involved in the relation, we could say A U B = C and the relation is a subset of CxC. The point is our single set can include whatever elements we want. So, at times it is convenient, but it is never necessary to describe a relation as being a subset of the cartesian product of two DIFFERENT sets. We can always consider it as a subset of the cartesian product of a single set. Does that help? The short answer to your question is yes.
Thanks for watching and it depends on the set that the anti-symmetric relation is on. Many relations that aren't generally equivalence relations technically are on the right, usually small and trivial, set. Anti-symmetric relations typically will not be equivalence relations because, as the name suggests: as long two distinct elements relate to each other in one direction (like x relates to y) under an anti-symmetric relation, they cannot relate in the other direction (y cannot relate to x), in this way anti-symmetric relations cannot be symmetric and are thus not equivalence relations. But remember it's not ALWAYS true. For example, consider the relation { (0,0) }. This means 0 relates to 0 under this relation, and that is it. This relation is technically antisymmetric because under this relation there are not distinct objects x and y that relate symmetrically. It is also an equivalence relation which you could easily verify. Does that make sense?
Would you kindly explain how (0,0) is an equivalence relation? For transitivity don’t we need an a b and c? We only have a and b so how do we even test transitivity?
I did have a lesson on relations, but then I took it down because I didn’t think it was good. Then I made another one, but apparently I took that down too because I didn’t think it was good. Are you looking for a video introducing relations with set theory or without set theory? I’d be happy to make one for you either way, third time is the charm!