home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #20 / NN_1992_20.iso / spool / sci / math / 11334 < prev    next >
Encoding:
Internet Message Format  |  1992-09-12  |  1.8 KB

  1. Path: sparky!uunet!cis.ohio-state.edu!zaphod.mps.ohio-state.edu!moe.ksu.ksu.edu!matt.ksu.ksu.edu!news
  2. From: bubai@matt.ksu.ksu.edu (P.Chatterjee)
  3. Newsgroups: sci.math
  4. Subject: Re: Set-Theory Doubts: Got some conceptual glitches
  5. Date: 12 Sep 1992 19:41:50 -0500
  6. Organization: Kansas State University
  7. Lines: 23
  8. Message-ID: <18u2oeINNndt@matt.ksu.ksu.edu>
  9. References: <18s2mtINN2gf@matt.ksu.ksu.edu>
  10. NNTP-Posting-Host: matt.ksu.ksu.edu
  11.  
  12. bubai@matt.ksu.ksu.edu (P.Chatterjee) writes:
  13.  
  14. >Hello there,
  15.  
  16. >I was just wondering if somebody on the net could help clarify a few conceptual glitches I have regarding very elementary concepts of set-theory.
  17.  
  18. >a) According to my textbook, the ORDERED PAIR of two objects x and y is the set <x,y> = {{x}, {x,y}}. It also goes on to state that by this definition, the ordered pair is determined by x and y; and the order, x first and y second, is important unless x=y.
  19.  
  20. >What throws me off is the definition; what is the motivation behind it?                      
  21. >b) Let f: X --> Y be an injective mapping. By definition, this means:
  22. >  for all x, x' in X: f(x) = f(x') ==> x=x'.
  23.  
  24. >Equivalently, x not equal to x' ==> f(x) not equal to f(x').
  25.  
  26. >My question here is: for the firstmentioned implication why is the CONVERSE not true? (I know it's not but am having trouble finding an intuitive/logical answerfor it).
  27.  
  28.  
  29.  
  30. >>I'm sorry for the STUPID statement about the CONVERSE being untrue; of course, by the definition of a function, as some people pointed out, the converse is   true. Obviously, I got caught up in the 'logical' bind of 'if P, then Q' propositions and made the error of thoughtlessly discounting the reverse implication.
  31. Anyway, thanks to all concerned who pointed it out.
  32. >Would really appreciate if somebody helped clarify these concepts.
  33.  
  34. >Thanks.
  35.