RELATIONS - DISCRETE MATHEMATICS

แชร์
ฝัง
  • เผยแพร่เมื่อ 26 ธ.ค. 2014
  • Looking for paid tutoring or online courses with practice exercises, text lectures, solutions, and exam practice? TrevTutor.com has you covered!
    We introduce relations. How to write them, what they are, and properties of relations including reflexivity, symmetry, and transitivity.
    #DiscreteMath #Mathematics #Relations
    Support me on Patreon: bit.ly/2EUdAl3
    Visit our website: bit.ly/1zBPlvm
    Subscribe on TH-cam: bit.ly/1vWiRxW
    -Playlists-
    Discrete Mathematics 1: • Discrete Math (Sets, L...
    Discrete Mathematics 2: • Discrete Math (Countin...
    -Recommended Textbooks-
    Discrete and Combinatorial Mathematics (Grimaldi): amzn.to/2T0iC53
    Discrete Mathematics (Johnsonbaugh): amzn.to/2Hh7H41
    Discrete Mathematics and Its Applications (Rosen): amzn.to/3lUgrMI
    Book of Proof (Hammack): amzn.to/35eEbVg
    Like us on Facebook: on. 1vWwDRc
    Hello, welcome to TheTrevTutor. I'm here to help you learn your college courses in an easy, efficient manner. If you like what you see, feel free to subscribe and follow me for updates. If you have any questions, leave them below. I try to answer as many questions as possible. If something isn't quite clear or needs more explanation, I can easily make additional videos to satisfy your need for knowledge and understanding.

ความคิดเห็น • 357

  • @Trevtutor
    @Trevtutor  9 ปีที่แล้ว +1233

    x-y != 0
    This situation is not transitive. xRy and yRz imply xRz. Consider the case 3R4, 4R3, therefore 3R3. We know 3R3 is 0, so the relationship isn't transitive!

    • @yeahboi8705
      @yeahboi8705 8 ปีที่แล้ว +241

      well if you're given those specific values and are asked if their relationship is transitive you could say yes, but when given only x and y, their relationship must be transitive for ALL values of the given domain, or else its NOT transitive, even if 99.9% of the possible cases are.

    • @shawonshurid9218
      @shawonshurid9218 8 ปีที่แล้ว +3

      thanks dude...

    • @Thegr8Gupta
      @Thegr8Gupta 7 ปีที่แล้ว +22

      but if we say this relation for DISTINCT x, y and z, then it is transitive right?

    • @ward7576
      @ward7576 7 ปีที่แล้ว +5

      Shouldn't it be that z != x to be more understandable in this scenario?
      'cause I'm confused af why is it not transitive.

    • @rayrutzer7238
      @rayrutzer7238 7 ปีที่แล้ว +9

      So x , y, z are not distinct?

  • @sontath7102
    @sontath7102 6 ปีที่แล้ว +738

    Thank you. You are literally the only person who can explain this in simple English it seems. My professor seems to get joy from talking in the most confusing, and ambiguous terms possible

    • @AZAZA19981907
      @AZAZA19981907 5 ปีที่แล้ว +20

      It's not always their fault, usually they have limited time and try to provide you with the most accurate statements possible. Though I agree, it's much easier to graps a broader concept after learning the intuition and basic intetion of it on simple examples, i wouldn't be here otherwise :P

    • @foxxul
      @foxxul 4 ปีที่แล้ว +41

      Try having a teacher who not only does that, but also has a thick Chinese accent.

    • @md123180
      @md123180 4 ปีที่แล้ว +15

      @@foxxul My teacher only posts links to TH-cam videos...and not Trev or Patrick... I may as well have the lady that designs suits from the Incredibles explaining relations backwards in Dutch while gargling peanut butter. Thank goodness for Google.

    • @viewerr69
      @viewerr69 3 ปีที่แล้ว +4

      @@AZAZA19981907 The problem begins where the college teachers go after completing the syllabus instead of actually teaching. The bigger the difference between the score of best performing student and the worst performing student, the worse the teacher is at his/her job

    • @BillboMC
      @BillboMC 2 ปีที่แล้ว

      Me 2 lol

  • @richardt.rogers2730
    @richardt.rogers2730 5 ปีที่แล้ว +84

    "and if you don't get confused... I really hope you don't" haha thank you

  • @loremipsum5697
    @loremipsum5697 6 ปีที่แล้ว +19

    i wish more teachers were like you. You make stuff way more intuitive and easy to understand.

  • @MaxzeeKVO
    @MaxzeeKVO 7 ปีที่แล้ว +557

    I got an A+ on my test.. you're awesome...keep it up 💪👍

  • @rorydaines3176
    @rorydaines3176 3 ปีที่แล้ว +1

    I was so stuck on transitive and your less than sign example just exploded a eureka, thanks a million.

  • @KillerKeeton
    @KillerKeeton ปีที่แล้ว +2

    This is such a better explanation than my professor. Everyone in class struggled with the homework on this topic. This helped a bit

  • @kallychicken7654
    @kallychicken7654 2 ปีที่แล้ว +68

    i just started computer science at uni this year and i got recommended your amazing videos! They are so helpful, even if my main language isnt english i still managed to understand you easily and mathematics have their own universel language which helps even more. Thank you again

    • @dianna5619
      @dianna5619 ปีที่แล้ว +3

      I'm in Com Sci too!

    • @bassitirfan7446
      @bassitirfan7446 ปีที่แล้ว +3

      @@dianna5619 same

    • @krizh289
      @krizh289 ปีที่แล้ว +2

      @@dianna5619 same

  • @groundg8397
    @groundg8397 3 ปีที่แล้ว +7

    Hey, I just wanna let you know that this video helped me so damn much. Thank you very much, you have no idea how good it felt when I finally had that eureka moment after many weeks having no idea what my professor was talking about. Keep doing what you're doing bro.

  • @JP-xm3qf
    @JP-xm3qf 5 ปีที่แล้ว +3

    You are an excelent Prof., thank you very much, it was very clever to introduce the logic tables on the symmetric relationship.

  • @extremelyhappysimmer
    @extremelyhappysimmer 5 ปีที่แล้ว +34

    11:42 "they want you to play with yourself" oh math, when did you become so enticing?

  • @DrewBrooksPB
    @DrewBrooksPB 6 ปีที่แล้ว +5

    Glad I found your channel before finals! Wish I found it in August, will recommend! Great stuff, thank you!

  • @mariageorge7600
    @mariageorge7600 4 ปีที่แล้ว +1

    Your explanation is so easy to understand. Hope our Professors could teach as good as you.

  • @28Graysonvb
    @28Graysonvb 5 ปีที่แล้ว +1

    The diagrams for reflexive symmetric and transitive help SO much.

  • @amosmaggy5020
    @amosmaggy5020 3 ปีที่แล้ว

    Thank you for the tutorial...seems like you are the only one who can help me understand what my lec teaches me☺☺

  • @MyCyberAcademy
    @MyCyberAcademy 8 ปีที่แล้ว

    Excellent video! Thank you!

  • @ikeikeikeikeikeikeikeike
    @ikeikeikeikeikeikeikeike 5 ปีที่แล้ว +1

    You my man, are fantastic, please never stop haha

  • @djtygre
    @djtygre 3 ปีที่แล้ว

    Awesome vid as usual. Thank you for all your help.

  • @fatumeshalla5686
    @fatumeshalla5686 2 ปีที่แล้ว

    wow , I spend so many hours understanding this but you are awesome !!!

  • @ekleanthony7997
    @ekleanthony7997 3 ปีที่แล้ว

    I love your course, the explanation is powerful..

  • @jingu127
    @jingu127 3 ปีที่แล้ว +5

    u save me while I'm studying last minute for my midterm tmr 🤦🏻‍♀️ thank you so much

  • @williamcordova7065
    @williamcordova7065 4 ปีที่แล้ว +3

    Thank you for putting these tutorials together for all of us that struggle with Math. Very appreciated

  • @personaincognita2669
    @personaincognita2669 2 ปีที่แล้ว +12

    A correction: every function may also be represented as a relation (i.e., as a subset of a Cartesian product), but not every relation is a function. Just think of a simple relation like a total order on a set and you will see that a given argument in a relation may be related to many other arguments and does not have to be related to an exclusive output as a function does.

  • @leafslizer2376
    @leafslizer2376 4 ปีที่แล้ว +19

    0:53 smoothest "L" I've ever seen
    your handwriting is so satisfying >.>

  • @lh5573
    @lh5573 7 ปีที่แล้ว

    That was brilliant! Thank you so much!

  • @HK-no9wm
    @HK-no9wm 6 ปีที่แล้ว

    Extremely helpful. Thank you.

  • @animejacker4218
    @animejacker4218 4 ปีที่แล้ว +1

    Am really grateful 🙏 your explanation was superb , it really helped me , thanks sooo much , looking forward to more of your videos 😊

  • @diegovasquezrevilla
    @diegovasquezrevilla 3 ปีที่แล้ว

    Great work! Cheers from Spain and Perú

  • @Carrymejane
    @Carrymejane 4 หลายเดือนก่อน

    This is a very good explanation for basic introduction, for one that doesn't learn them at othe sources.

  • @juanbecerra5073
    @juanbecerra5073 6 ปีที่แล้ว

    Great video! Helped me cram for my final

  • @WftYT
    @WftYT 3 ปีที่แล้ว

    So clear thank you. I don't know why my professor is turned on by using such big words. Your explanation was clear and easy to understand.

  • @j.jehml.1446
    @j.jehml.1446 ปีที่แล้ว +2

    it is criminal that a 15 min yt video explains this shit way better than 2 hours of lectures at a uni im paying to go to

  • @siddharthuzumaki6830
    @siddharthuzumaki6830 3 ปีที่แล้ว

    That's nice, You are helping me so much right now.

  • @jenicawoitowicz8895
    @jenicawoitowicz8895 6 ปีที่แล้ว +5

    Thanks for the video! Better than my university prof.

  • @Paul-P
    @Paul-P 7 ปีที่แล้ว

    the inflection in your voice at 13:20 so excited about math lol.

  • @mamo987
    @mamo987 2 ปีที่แล้ว +1

    you and people like organic chem tutor are god sends

  • @harindudilipa1559
    @harindudilipa1559 4 ปีที่แล้ว +1

    Sir this helped a lot thanks a lot❤️

  • @jeremyedbert5092
    @jeremyedbert5092 4 ปีที่แล้ว +3

    I'm from Indonesia, and I appreciate this one... Love your explanation

    • @Carrymejane
      @Carrymejane 4 หลายเดือนก่อน

      Aku telat nih 😁

  • @sulafafaleh9297
    @sulafafaleh9297 5 ปีที่แล้ว

    Your channel helps me a lot thank you very much 😍😊

  • @abdullateefidris-jf3ub
    @abdullateefidris-jf3ub ปีที่แล้ว

    Thanks 👍,I really understood the relations concept

  • @knanzeynalov7133
    @knanzeynalov7133 2 ปีที่แล้ว +2

    Thank you for the awesome explanatory videos! I have been preparing for my final exams by watching your videos. I hope I will pass the lesson.

  • @goodnightvids
    @goodnightvids ปีที่แล้ว

    amazing now i finally understand thanks!!!

  • @nouraaliabuhlega4023
    @nouraaliabuhlega4023 6 ปีที่แล้ว +1

    you r super hero ,, u saved me thanks

  • @astraadamskhan1399
    @astraadamskhan1399 8 ปีที่แล้ว +115

    play with your self......:) more teachers should be like this

    • @Trevtutor
      @Trevtutor  8 ปีที่แล้ว +115

      +Astra Adams Students who want to play with themselves are encouraged to sit in the back of the room with other students that want to play with themselves, that way they can play with each other instead ;)

    • @CharlieJ2588
      @CharlieJ2588 7 ปีที่แล้ว +5

      I thought I was the only one that caught that xD

    • @tF6U
      @tF6U 7 ปีที่แล้ว +69

      TheTrevTutor Dawg wtf I was tryna understand discrete math but here you are making sex jokes. Smh math nerds wildin' these days

    • @Kevessi
      @Kevessi 3 ปีที่แล้ว

      TheTrevTutor omfg lol

  • @071aleksandra
    @071aleksandra ปีที่แล้ว

    Oh wow! You are a star, keep doing this.

  • @Kwatch
    @Kwatch ปีที่แล้ว

    i like that you use different collor for each section. it makes things much easier to swallow

  • @benlewis-jones6719
    @benlewis-jones6719 3 ปีที่แล้ว

    the first video that is very good on this topic 👍

  • @wudayskitchensaffloho6421
    @wudayskitchensaffloho6421 6 ปีที่แล้ว +1

    hi i love your videos and requesting if you can make a video on relational
    closures

  • @joanneyuen6308
    @joanneyuen6308 6 ปีที่แล้ว

    thanks! it helps a lot :)

  • @elkanacapelle5701
    @elkanacapelle5701 5 ปีที่แล้ว

    thank you so much really help alot

  • @jemand1685
    @jemand1685 2 ปีที่แล้ว

    Thank you for the Video

  • @xsba7
    @xsba7 6 หลายเดือนก่อน

    was struggling so harddd thankk youuuuuuu

  • @anubhabchakrabortybkppathf6819
    @anubhabchakrabortybkppathf6819 8 ปีที่แล้ว +2

    In which video can I learn more about equivalence class and relations?

  • @benukhanov960
    @benukhanov960 3 ปีที่แล้ว

    This guy is a fu*king genius. He explained everything so simply.

  • @divitasharma
    @divitasharma 3 ปีที่แล้ว

    Can u pls tell the software u used here. I found it great

  • @oshadayasiru6224
    @oshadayasiru6224 2 ปีที่แล้ว

    Thank you, Very usefull

  • @churchillobiakalusi1593
    @churchillobiakalusi1593 2 หลายเดือนก่อน +3

    I think the answer for the exercise question is false. If X-y ≠ 0, and y-z≠ 0, it’s doesn’t necessarily mean x-z≠0… For example, when X= 2, y = 1, and z = 2, 2-1≠0 (true), and 1-2≠0(true); however, 2-2≠0(false). Therefore, it isn’t transitive.

  • @javiermelendrez5763
    @javiermelendrez5763 7 ปีที่แล้ว

    thank you!

  • @edemcudjoe5053
    @edemcudjoe5053 4 หลายเดือนก่อน +1

    9 years and it's still very comprehensive

  • @Pandzi
    @Pandzi 2 ปีที่แล้ว

    Thanks fir the help

  • @michaelkievits7073
    @michaelkievits7073 6 ปีที่แล้ว

    you are great!

  • @JamesHanzimanolis
    @JamesHanzimanolis 7 ปีที่แล้ว

    Nice video!

  • @sulafafaleh9297
    @sulafafaleh9297 5 ปีที่แล้ว +7

    What about Anti- Symmetric and irreflexive relationships?

  • @triscuit5962
    @triscuit5962 4 ปีที่แล้ว +1

    About to take a discrete structures test, wish me luck!

  • @marvinrichardson2668
    @marvinrichardson2668 8 ปีที่แล้ว

    Set of all integers where (x,y) is in R. xy>1 is it ref , symm , trans or anti? Could you help me understand more of this? I answered symmetric for this one and I got it correct. e.g (4 2) (2 4) > 1 but what about say (1,0) (0,1)? Also, why can't it be reflexive? like (2,2) but we can't have (1,1) (0,0).

  • @leulteferi285
    @leulteferi285 2 ปีที่แล้ว

    Thank you

  • @bagochips1208
    @bagochips1208 2 ปีที่แล้ว

    god my college discrete math course was so bad that straight up skipping the lecture and only studying the slides and videos like you got me better grades

  • @rosesofficialhusband5728
    @rosesofficialhusband5728 2 ปีที่แล้ว

    I would like to know what app are you using for writing things Trev!

  • @TharanaMayuranga
    @TharanaMayuranga 7 ปีที่แล้ว

    thanks a lot

  • @The6thProgrammer
    @The6thProgrammer 7 ปีที่แล้ว +18

    When determining reflexivity, symmetry, and transitivity at 11:31. Could we analyze x - y != 0 as x != y instead? Just seems like it may be a simpler approach. Do you see anything wrong w/ that approach?
    I noticed you actually worked out x != y at the end of the video. My question is: is there anything wrong with manipulating the variables around the operator? I'm assuming this should not change reflexivity, transitivity or symmetry. (i.e. x - y + z = 0 is the same as figuring out the relations of x = y - z, etc.)

    • @Trevtutor
      @Trevtutor  7 ปีที่แล้ว +15

      There's nothing wrong with that. In fact, it's easier to understand x != y rather than x-y != 0 for this kind of question, so the fact that you were able to change that and work with it better is a good thing.

  • @urmomispeng1997
    @urmomispeng1997 7 ปีที่แล้ว +2

    Ily still thanks for the help :)

  • @Oskar-ps1dr
    @Oskar-ps1dr 7 ปีที่แล้ว +40

    What about Irreflexive and antisymetric?

    • @XXgamemaster
      @XXgamemaster 5 ปีที่แล้ว +12

      Oskar Midbøe A relation R on a set X is antisymmetric if and only if x R y and y R x implies x = y.
      A relation is irreflexive if and only if every point x is not related to itself. An example of this is inequality since it’s illogical for an element say x to be not equal itself.

    • @mohameddoudou3285
      @mohameddoudou3285 4 ปีที่แล้ว

      @@XXgamemaster
      i appreciate that replay, thank you

  • @WhiskeredBope
    @WhiskeredBope 2 ปีที่แล้ว +2

    "Cool it with the anti-symmetric remarks!"

  • @rudyeilabouni
    @rudyeilabouni 7 ปีที่แล้ว

    I'm kinda struggling with this question I have... It's about Hash functions... SHA64 to be specific...
    It goes like this:
    We have a set of S which is a random long String combination (Cardinality is infinity therefore) and another set of Hex64, which consists of the Hexadecimals {0,1, 2...., 9, A, B, C, D, E, F) and this function takes any String input and generates a 64 digit long hexadecimal number from that string... However, because there are infinite input possibilities, however limited output possibilities (16^64 to be specific) there are bound to be "collisions" and that is when you enter 2 different strings but get the same output... and now my question is this... The following relationship is defined so:
    s1 and s2 are elements of S and are related as such:
    s1~s2 : Hex64(s1) Hex64(s2)
    So it's basically saying that 2 different strings are related, when they cause a collision and it's saying that this is an equivalence relation, and I have to show:
    a) How this is reflexive
    b) how this is symmetric
    c) how this is transitive
    Now I understand it in principle, but I'm not sure how to do it mathematically....

  • @Bryanbro
    @Bryanbro 3 หลายเดือนก่อน

    In the example x-y=!0, I assume you don't include negative numbers? Because then the relation would not be symmetric right?for example pick x to be -y?

  • @rajeshdansena
    @rajeshdansena 6 ปีที่แล้ว +2

    At 15:05 for proofing it is not transitive you took x and z same. don't you think it's wrong to take same value ? All x,y,z must be of different values? If you still says we can take same values for x and z then in that case, for symmetric property we also can take x and y same and which will say (let) 2=2 and hence it do not hold symmetric property as well.
    Appreciate you response on my query. Thanks. You are doing awesome job :)

  • @nadianoormohamed4432
    @nadianoormohamed4432 7 ปีที่แล้ว +2

    not all relations are functions as implicitly stated in your video. Apart from that great video, thanks.

  • @alberteinstein983
    @alberteinstein983 2 ปีที่แล้ว

    hello
    identity relation is what he explained in the place of reflexive!
    reflexive relation's are those in which elements are related to themselves, also they can be related to any other element!
    peace out.

  • @munauarjarif7196
    @munauarjarif7196 6 ปีที่แล้ว

    love your vdo

  • @castlemagic4746
    @castlemagic4746 2 ปีที่แล้ว +1

    11:44 Play with myself? Set Theory doesn't get me quite that excited...
    Great videos tho man. Thanks.

  • @AvarLalo
    @AvarLalo 3 ปีที่แล้ว

    Hey, i just wanna know at the end of the video for transitivity, why do we choose x=2, y=1, z=2. What if we choosed x=2, y=1 and z=3, wouldnt that make it transitve?

  • @philosophyversuslogic
    @philosophyversuslogic 4 ปีที่แล้ว +1

    The last example doesn't work when (xRy, yRz -> xRz) and x=z. For instance, 1-2 doesn't equal 0, 2-1 doesn't equal 0, but 1-1 equals zero.

  • @kaidokun2742
    @kaidokun2742 7 ปีที่แล้ว

    Helpful

  • @sethmuange9207
    @sethmuange9207 4 หลายเดือนก่อน

    I have a question concerning the last equation what if you changed z to 3, wont the equation be transitive

  • @kingstonmocktail7744
    @kingstonmocktail7744 4 ปีที่แล้ว

    So for a set like this {5,10,15,20 ......}, could you say that it follows a relexive relation? Because each element is related to itself?

  • @birengesobemerdine1521
    @birengesobemerdine1521 2 ปีที่แล้ว

    sufficient explanation

  • @xkillalex
    @xkillalex 7 ปีที่แล้ว

    You saved my grade ;'D

  • @bradfin12
    @bradfin12 2 หลายเดือนก่อน

    Wouldn't it be a type error rather than a syntax error? If function expects input int int and receives float int?

  • @Jessedegans
    @Jessedegans 4 ปีที่แล้ว

    What? This guy is a mind reader and a math god ?!?!?!

  • @azadalmasov5849
    @azadalmasov5849 5 ปีที่แล้ว +1

    Thank you for your explanations of these kind of intuitive abstract stuff. I heard you saying relations are functions but isn't it vice verse?

    • @IStMl
      @IStMl 4 ปีที่แล้ว

      Actually not all rel are functions

    • @farrukhsaif108
      @farrukhsaif108 2 ปีที่แล้ว

      @@IStMl Exactly, but the professor said at the beginning of the video that relations are functions

  • @vanessamariemanalac3105
    @vanessamariemanalac3105 3 ปีที่แล้ว

    How do you identify the relation R? Our prof said the condition or formula is x+y divided by 2 and the answer must be an integer. But I am just quite confused bc he gave us a problem to answer but the domain(x) is a vowel and the range(y) is a number.
    But the formula said that the answer must be an integer to say that xRy. But the set contains vowel and a number, for example (a,2). So my question is can (a,2) be aR2? Hope you can answer my question even after 5 years. Thanks in advance😊

  • @oliverkiptoo335
    @oliverkiptoo335 6 ปีที่แล้ว

    A question:
    Let A = Z the set of integers and let R be define by R b if and only if . is R an equivalence relation?

  • @SrgntLoveGaming
    @SrgntLoveGaming 6 ปีที่แล้ว

    So, was x-y =/=0 transitive? I can't seem to find a counterexample, nor your solution in the description or the comments.

    • @Trevtutor
      @Trevtutor  6 ปีที่แล้ว

      Not transitive.
      If it were, then 1-2 != 0 and 2-1 != 0 implies that 1-1 != 0.

  • @asadbaloch9769
    @asadbaloch9769 7 ปีที่แล้ว +1

    given fantastic proof

  • @MonkoGames
    @MonkoGames 3 ปีที่แล้ว +1

    is there a relation that is reflexive and symmetric but not transitive

  • @buensons
    @buensons 5 ปีที่แล้ว +57

    0:40 Not all relations are functions....

    • @kingneo4186
      @kingneo4186 4 ปีที่แล้ว +5

      Yea! All functions are relations, but not all relations are functions. How could he say this? OMEGALUL

    • @divyanshigupta1568
      @divyanshigupta1568 3 ปีที่แล้ว

      Yes

  • @kk999la
    @kk999la 8 ปีที่แล้ว

    for set like R={(2,3),(3,2), (5,4)}
    can i say it it symmetric becuz it contains 2,3 3,2...but what i confused is it doesn contain (4,5)..but hv (5,4) ..so it is symetric?

  • @YGhost_05
    @YGhost_05 ปีที่แล้ว

    We also have something called antisymmetric is it supposed to not be symmetric?

  • @hta-bi249
    @hta-bi249 6 ปีที่แล้ว

    in the last example where you said it's not transitive but (x not=y and y not = z implies x not =z SO T and T should imply T) so it should be transitive shouldn't it ?

  • @wanoyua8630
    @wanoyua8630 2 ปีที่แล้ว +1

    you made a comment on symmetry: "if the first part is false, then the whole thing is true". Does this logic also apply to the antisymmetric property?