home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1993 #3 / NN_1993_3.iso / spool / sci / math / research / 667 < prev    next >
Encoding:
Internet Message Format  |  1993-01-28  |  1.5 KB
  1. Path: sparky!uunet!ogicse!usenet.coe.montana.edu!saimiri.primate.wisc.edu!sdd.hp.com!ux1.cso.uiuc.edu!news.cso.uiuc.edu!dan
  2. From: edgar@FUNCTION.MPS.OHIO-STATE.EDU (Gerald Edgar)
  3. Newsgroups: sci.math.research
  4. Subject: Re: Set-free measure theory
  5. Message-ID: <1k49daINNi1n@function.mps.ohio-state.edu>
  6. Date: 26 Jan 93 21:11:06 GMT
  7. Article-I.D.: function.1k49daINNi1n
  8. References: <C1GuEp.M99@sugar.neosoft.com>
  9. Sender: Daniel Grayson <dan@math.uiuc.edu>
  10. Organization: The Ohio State University, Dept. of Math.
  11. Lines: 19
  12. Approved: Daniel Grayson <dan@math.uiuc.edu>
  13. Originator: dan@symcom.math.uiuc.edu
  14. X-Submissions-To: sci-math-research@uiuc.edu
  15. X-Administrivia-To: sci-math-research-request@uiuc.edu
  16.  
  17. In article <C1GuEp.M99@sugar.neosoft.com> claird@NeoSoft.com (Cameron Laird) writes:
  18. >I propose this definition:  a "set-free measure" is
  19. >a triple <X, m, T> with
  20. >1.  X a lattice (boolean algebra),
  21. >2.  m a function defined on the members of X, and
  22. >3.  T an equivalence relation on X, for which
  23. >4.  m(x + y) = m(x) + m(y) - m(x.y) and
  24. >5.  xTy implies m(x) = m(y).
  25. >
  26.  
  27. A place to start your reading is Chapter X of Birkhoff's _Lattice Theory_
  28. (3rd edition).  You have described a lattice with valuation (if you
  29. omit 3 and 5).
  30.  
  31. -- 
  32.   Gerald A. Edgar                Internet:  edgar@mps.ohio-state.edu
  33.   Department of Mathematics      Bitnet:    EDGAR@OHSTPY
  34.   The Ohio State University      telephone: 614-292-0395 (Office)
  35.   Columbus, OH 43210             -292-4975 (Math. Dept.) -292-1479 (Dept. Fax)
  36.