Re: Set-free measure theory

Article View: sci.math.research

Article #196

#196

From: Gerald Edgar
Date: Tue, 26 Jan 1993 21:11

19 lines
1540 bytes

In article <C1GuEp.M99@sugar.neosoft.com> claird@NeoSoft.com (Cameron Laird) writes:
>I propose this definition:  a "set-free measure" is
>a triple <X, m, T> with
>1.  X a lattice (boolean algebra),
>2.  m a function defined on the members of X, and
>3.  T an equivalence relation on X, for which
>4.  m(x + y) = m(x) + m(y) - m(x.y) and
>5.  xTy implies m(x) = m(y).
>

A place to start your reading is Chapter X of Birkhoff's _Lattice Theory_
(3rd edition).  You have described a lattice with valuation (if you
omit 3 and 5).

-- 
  Gerald A. Edgar                Internet:  edgar@mps.ohio-state.edu
  Department of Mathematics      Bitnet:    EDGAR@OHSTPY
  The Ohio State University      telephone: 614-292-0395 (Office)
  Columbus, OH 43210             -292-4975 (Math. Dept.) -292-1479 (Dept. Fax)

Technical Details

Message-ID: <1k49daINNi1n@function.mps.ohio-state.edu>

Path:

arc1-ca.pugleaf.net!sparky!uunet!ogicse!usenet.coe.montana.edu!saimiri.primate.wisc.edu!sdd.hp.com!ux1.cso.uiuc.edu!news.cso.uiuc.edu!dan

References: <C1GuEp.M99@sugar.neosoft.com>

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!sparky!uunet!ogicse!usenet.coe.montana.edu!saimiri.primate.wisc.edu!sdd.hp.com!ux1.cso.uiuc.edu!news.cso.uiuc.edu!dan
From: edgar@FUNCTION.MPS.OHIO-STATE.EDU (Gerald Edgar)
Newsgroups: sci.math.research
Subject: Re: Set-free measure theory
Message-ID: <1k49daINNi1n@function.mps.ohio-state.edu>
Date: 26 Jan 93 21:11:06 GMT
Article-I.D.: function.1k49daINNi1n
References: <C1GuEp.M99@sugar.neosoft.com>
Sender: Daniel Grayson <dan@math.uiuc.edu>
Organization: The Ohio State University, Dept. of Math.
Lines: 19
Approved: Daniel Grayson <dan@math.uiuc.edu>
Originator: dan@symcom.math.uiuc.edu
X-Submissions-To: sci-math-research@uiuc.edu
X-Administrivia-To: sci-math-research-request@uiuc.edu

Reply to Parent Message