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:

    “In the domain of art there is no light without heat.”
    —Victor Hugo (1802–1885)

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

    “The great tragedy of science—the slaying of a beautiful theory by an ugly fact.”
    —Thomas Henry Huxley (1825–1895)

    “No man, not even a doctor, ever gives any other definition of what a nurse should be than this—”devoted and obedient.” This definition would do just as well for a porter. It might even do for a horse. It would not do for a policeman.”
    —Florence Nightingale (1820–1910)