home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #23 / NN_1992_23.iso / spool / sci / math / 13017 < prev    next >
Encoding:
Text File  |  1992-10-10  |  1.1 KB  |  35 lines
  1. Newsgroups: sci.math
  2. Path: sparky!uunet!psinntp!dorsai.com!mutation
  3. From: mutation@dorsai.com (Florian Lengyel)
  4. Subject: Re: too intuitive to prove
  5. Message-ID: <1992Oct9.135934.18437@dorsai.com>
  6. Organization: The Dorsai Embassy +1.718.729.5018
  7. X-Newsreader: Tin 1.1 PL4
  8. References: <1992Oct8.053608.24694@u.washington.edu>
  9. Date: Fri, 9 Oct 1992 13:59:34 GMT
  10. Lines: 23
  11.  
  12. menasian@milton.u.washington.edu (Gregor Menasian) writes:
  13. : A group of us are working on a problem that is far too obvious for us to
  14. : grasp.  We need to prove, either formally or informally, that a relaion R
  15. : on a set A is symmetric if and only R=R^(-1)
  16. : 
  17. : We're looking for either ideas to start us off or a complete proof.  
  18. : (a complete proof is, of course, perfered)
  19. : 
  20. : Our biggest problem is that the proof must be formal.  
  21. : 
  22. : Thanks, 
  23. : We call our selves the mutants.
  24. : 
  25. R = R^{-1} implies R is contained in R^{-1}, which is equivalent to
  26. \forall (a, b) \in R, (b, a) \in R. If R is contained in R^{-1},
  27. then also R^{-1} is contained in (R^{-1})^{-1} = R, so that
  28. R = R^{-1}. 
  29.  
  30. That will be $75/hour, please.
  31.  
  32. -- 
  33. MUTATION@DORSAI.COM
  34. FLORIAN@NEOTERIC.COM
  35.