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)

    “God is a concept by which we measure our pain.”
    —John Lennon (1940–1980)

    “It makes no sense to say what the objects of a theory are,
    beyond saying how to interpret or reinterpret that theory in another.”
    —Willard Van Orman Quine (b. 1908)

    “I’m beginning to think that the proper definition of “Man” is “an animal that writes letters.””
    —Lewis Carroll [Charles Lutwidge Dodgson] (1832–1898)