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)

    This entire most beautiful order of good things is going to pass away after its measure has been exhausted; for both morning and evening were made in them.
    St. Augustine (354–430)

    every subjective phenomenon is essentially connected with a single point of view, and it seems inevitable that an objective, physical theory will abandon that point of view.
    Thomas Nagel (b. 1938)

    Was man made stupid to see his own stupidity?
    Is God by definition indifferent, beyond us all?
    Is the eternal truth man’s fighting soul
    Wherein the Beast ravens in its own avidity?
    Richard Eberhart (b. 1904)