home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #23 / NN_1992_23.iso / spool / sci / math / 13109 < prev    next >
Encoding:
Internet Message Format  |  1992-10-13  |  985 b 
  1. Path: sparky!uunet!mcsun!uknet!doc.ic.ac.uk!sot-ecs!dbc
  2. From: dbc@ecs.soton.ac.uk (Bryan Carpenter)
  3. Newsgroups: sci.math
  4. Subject: Re: too intuitive to prove
  5. Message-ID: <13101@ecs.soton.ac.uk>
  6. Date: 13 Oct 92 16:35:11 GMT
  7. References: <1992Oct8.053608.24694@u.washington.edu>
  8. Sender: news@ecs.soton.ac.uk
  9. Lines: 18
  10. Nntp-Posting-Host: louis
  11.  
  12. In <1992Oct8.053608.24694@u.washington.edu> menasian@milton.u.washington.edu (Gregor Menasian) writes:
  13.  
  14. >A group of us are working on a problem that is far too obvious for us to
  15. >grasp.  We need to prove, either formally or informally, that a relaion R
  16. >on a set A is symmetric if and only R=R^(-1)
  17.  
  18. >We're looking for either ideas to start us off or a complete proof.  
  19. >(a complete proof is, of course, perfered)
  20.  
  21. >Our biggest problem is that the proof must be formal.  
  22.  
  23. ``R symmetric'' defined by a R b <=> b R a, and ``R^-1'' defined by
  24. a R^-1 b <=> b R a, seem like good starting points.
  25.  
  26. >Thanks, 
  27. >We call our selves the mutants.
  28.  
  29. Bryan
  30.