Valuation (measure Theory) - Domain/Measure Theory Definition

Domain/Measure Theory Definition

Let be a topological space: a valuation is any map

satisfying the following three properties

\begin{array}{lll} v(\varnothing) = 0 & & \scriptstyle{\text{Strictness property}}\\ v(U)\leq v(V) & \mbox{if}~U\subseteq V\quad U,V\in\mathcal{T} & \scriptstyle{\text{Monotonicity property}}\\ v(U\cup V)+ v(U\cap V) = v(U)+v(V) & \forall U,V\in\mathcal{T} & \scriptstyle{\text{Modularity property}}\, \end{array}

The definition immediately shows the relationship between a valuation and a measure: the properties of the two mathematical object are often very similar if not identical, the only difference being that the domain of a measure is the Borel algebra of the given topological space, while the domain of a valuation is the class of open sets. Further details and references can be found in Alvarez-Manilla et al. 2000 and Goulbault-Larrecq 2002.

Read more about this topic:  Valuation (measure Theory)

Famous quotes containing the words domain, measure, theory and/or definition:

    “You are the harvest and not the reaper
    And of your domain another is the keeper.”
    —John Ashbery (b. 1927)

    “I am not the measure of creation.
    This is beyond me, this fish.
    His God stands outside my God.”
    —D.H. (David Herbert)

    “No theory is good unless it permits, not rest, but the greatest work. No theory is good except on condition that one use it to go on beyond.”
    —André Gide (1869–1951)

    “The definition of good prose is proper words in their proper places; of good verse, the most proper words in their proper places. The propriety is in either case relative. The words in prose ought to express the intended meaning, and no more; if they attract attention to themselves, it is, in general, a fault.”
    —Samuel Taylor Coleridge (1772–1834)