|
Quasi-invariant Measure
In mathematics, a quasi-invariant measure ''μ'' with respect to a transformation ''T'', from a measure space ''X'' to itself, is a measure which, roughly speaking, is multiplied by a numerical function of ''T''. An important class of examples occurs when ''X'' is a smooth manifold ''M'', ''T'' is a diffeomorphism of ''M'', and ''μ'' is any measure that locally is a measure with base the Lebesgue measure on Euclidean space. Then the effect of ''T'' on μ is locally expressible as multiplication by the Jacobian determinant of the derivative (pushforward) of ''T''. To express this idea more formally in measure theory terms, the idea is that the Radon–Nikodym derivative of the transformed measure μ′ with respect to ''μ'' should exist everywhere; or that the two measures should be equivalent (i.e. mutually absolutely continuous): :\mu' = T_ (\mu) \approx \mu. That means, in other words, that ''T'' preserves the concept of a set of measure zero. Considering the whole equ ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics with the major subdisciplines of number theory, algebra, geometry, and analysis, respectively. There is no general consensus among mathematicians about a common definition for their academic discipline. Most mathematical activity involves the discovery of properties of abstract objects and the use of pure reason to prove them. These objects consist of either abstractions from nature orin modern mathematicsentities that are stipulated to have certain properties, called axioms. A ''proof'' consists of a succession of applications of deductive rules to already established results. These results include previously proved theorems, axioms, andin case of abstraction from naturesome basic properties that are considered true starting points of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Equivalence (measure Theory)
In mathematics, and specifically in measure theory, equivalence is a notion of two measures being qualitatively similar. Specifically, the two measures agree on which events have measure zero. Definition Let \mu and \nu be two measures on the measurable space (X, \mathcal A), and let :\mathcal_\mu := \ and :\mathcal_\nu := \ be the sets of \mu-null sets and \nu-null sets, respectively. Then the measure \nu is said to be absolutely continuous in reference to \mu iff \mathcal N_\nu \supseteq \mathcal N_\mu. This is denoted as \nu \ll \mu. The two measures are called equivalent iff \mu \ll \nu and \nu \ll \mu, which is denoted as \mu \sim \nu. That is, two measures are equivalent if they satisfy \mathcal N_\mu = \mathcal N_\nu. Examples On the real line Define the two measures on the real line as : \mu(A)= \int_A \mathbf 1_(x) \mathrm dx : \nu(A)= \int_A x^2 \mathbf 1_(x) \mathrm dx for all Borel sets A . Then \mu and \nu are equivalent, since all sets outside of ,1 have ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Invariant Measure
In mathematics, an invariant measure is a measure that is preserved by some function. The function may be a geometric transformation. For examples, circular angle is invariant under rotation, hyperbolic angle is invariant under squeeze mapping, and a difference of slopes is invariant under shear mapping. Ergodic theory is the study of invariant measures in dynamical systems. The Krylov–Bogolyubov theorem proves the existence of invariant measures under certain conditions on the function and space under consideration. Definition Let (X, \Sigma) be a measurable space and let f : X \to X be a measurable function from X to itself. A measure \mu on (X, \Sigma) is said to be invariant under f if, for every measurable set A in \Sigma, \mu\left(f^(A)\right) = \mu(A). In terms of the pushforward measure, this states that f_*(\mu) = \mu. The collection of measures (usually probability measures) on X that are invariant under f is sometimes denoted M_f(X). The collection of ergodic meas ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Trivial Measure
In mathematics, specifically in measure theory, the trivial measure on any measurable space (''X'', Σ) is the measure ''μ'' which assigns zero measure to every measurable set: ''μ''(''A'') = 0 for all ''A'' in Σ. Properties of the trivial measure Let ''μ'' denote the trivial measure on some measurable space (''X'', Σ). * A measure ''ν'' is the trivial measure ''μ'' if and only if ''ν''(''X'') = 0. * ''μ'' is an invariant measure (and hence a quasi-invariant measure) for any measurable function ''f'' : ''X'' → ''X''. Suppose that ''X'' is a topological space and that Σ is the Borel ''σ''-algebra on ''X''. * ''μ'' trivially satisfies the condition to be a regular measure. * ''μ'' is never a strictly positive measure, regardless of (''X'', Σ), since every measurable set has zero measure. * Since ''μ''(''X'') = 0, ''μ'' is always a finite measure, and hence a locally finite measure. * If ''X'' is a Hausdorff topol ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Borel Measure
In mathematics, specifically in measure theory, a Borel measure on a topological space is a measure that is defined on all open sets (and thus on all Borel sets). Some authors require additional restrictions on the measure, as described below. Formal definition Let X be a locally compact Hausdorff space, and let \mathfrak(X) be the smallest σ-algebra that contains the open sets of X; this is known as the σ-algebra of Borel sets. A Borel measure is any measure \mu defined on the σ-algebra of Borel sets. A few authors require in addition that \mu is locally finite, meaning that \mu(C) 0 and μ(''B''(''x'', ''r'')) ≤ ''rs'' holds for some constant ''s'' > 0 and for every ball ''B''(''x'', ''r'') in ''X'', then the Hausdorff dimension dimHaus(''X'') ≥ ''s''. A partial converse is provided by the Frostman lemma: Lemma: Let ''A'' be a Borel subset of R''n'', and let ''s'' > 0. Then the following are equivalent: *''H''''s''(''A'') > 0, where ''H''''s'' den ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Locally Finite Measure
In mathematics, a locally finite measure is a Measure (mathematics), measure for which every point of the measure space has a Neighbourhood (mathematics), neighbourhood of Finite set, finite measure. Definition Let (X, T) be a Hausdorff space, Hausdorff topological space and let \Sigma be a sigma algebra, \sigma-algebra on X that contains the topology T (so that every open set is a measurable set, and \Sigma is at least as fine as the Borel sigma algebra, Borel \sigma-algebra on X). A measure/signed measure/complex measure \mu defined on \Sigma is called locally finite if, for every point p of the space X, there is an open Neighbourhood (mathematics), neighbourhood N_p of p such that the \mu-measure of N_p is finite. In more condensed notation, \mu is locally finite if and only if \text p \in X, \text N_p \in T \mbox p \in N_p \mbox \left, \mu\left(N_p\right)\ < + \infty. Examples # Any probability measure on is locally finite, since it a ...[...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Banach Space
In mathematics, more specifically in functional analysis, a Banach space (pronounced ) is a complete normed vector space. Thus, a Banach space is a vector space with a metric that allows the computation of vector length and distance between vectors and is complete in the sense that a Cauchy sequence of vectors always converges to a well-defined limit that is within the space. Banach spaces are named after the Polish mathematician Stefan Banach, who introduced this concept and studied it systematically in 1920–1922 along with Hans Hahn and Eduard Helly. Maurice René Fréchet was the first to use the term "Banach space" and Banach in turn then coined the term "Fréchet space." Banach spaces originally grew out of the study of function spaces by Hilbert, Fréchet, and Riesz earlier in the century. Banach spaces play a central role in functional analysis. In other areas of analysis, the spaces under study are often Banach spaces. Definition A Banach space is a complete norme ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Separable Space
In mathematics, a topological space is called separable if it contains a countable, dense subset; that is, there exists a sequence \_^ of elements of the space such that every nonempty open subset of the space contains at least one element of the sequence. Like the other axioms of countability, separability is a "limitation on size", not necessarily in terms of cardinality (though, in the presence of the Hausdorff axiom, this does turn out to be the case; see below) but in a more subtle topological sense. In particular, every continuous function on a separable space whose image is a subset of a Hausdorff space is determined by its values on the countable dense subset. Contrast separability with the related notion of second countability, which is in general stronger but equivalent on the class of metrizable spaces. First examples Any topological space that is itself finite or countably infinite is separable, for the whole space is a countable dense subset of itself. An importa ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Gaussian Measure
In mathematics, Gaussian measure is a Borel measure on finite-dimensional Euclidean space R''n'', closely related to the normal distribution in statistics. There is also a generalization to infinite-dimensional spaces. Gaussian measures are named after the Germany, German mathematician Carl Friedrich Gauss. One reason why Gaussian measures are so ubiquitous in probability theory is the central limit theorem. Loosely speaking, it states that if a random variable ''X'' is obtained by summing a large number ''N'' of independent random variables of order 1, then ''X'' is of order \sqrt and its law is approximately Gaussian. Definitions Let ''n'' ∈ N and let ''B''0(R''n'') denote the complete measure, completion of the Borel sigma algebra, Borel ''σ''-algebra on R''n''. Let ''λ''''n'' : ''B''0(R''n'') → [0, +∞] denote the usual ''n''-dimensional Lebesgue measure. Then the standard Gaussian measure ''γ''''n'' : ''B''0(R''n'') → [0, 1] is defined by :\gamma^ (A) = \frac \ ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Oseledets Theorem
In mathematics, the multiplicative ergodic theorem, or Oseledets theorem provides the theoretical background for computation of Lyapunov exponents of a nonlinear dynamical system. It was proved by Valery Oseledets (also spelled "Oseledec") in 1965 and reported at the International Mathematical Congress in Moscow in 1966. A conceptually different proof of the multiplicative ergodic theorem was found by M. S. Raghunathan. The theorem has been extended to semisimple Lie groups by V. A. Kaimanovich and further generalized in the works of David Ruelle, Grigory Margulis, Anders Karlsson, and François Ledrappier. Cocycles The multiplicative ergodic theorem is stated in terms of matrix cocycles of a dynamical system. The theorem states conditions for the existence of the defining limits and describes the Lyapunov exponents. It does not address the rate of convergence. A cocycle of an autonomous dynamical system ''X'' is a map ''C'' : ''X×T'' → R''n×n'' satisfying :C( ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Measure Zero
In mathematical analysis, a null set N \subset \mathbb is a measurable set that has measure zero. This can be characterized as a set that can be covered by a countable union of intervals of arbitrarily small total length. The notion of null set should not be confused with the empty set as defined in set theory. Although the empty set has Lebesgue measure zero, there are also non-empty sets which are null. For example, any non-empty countable set of real numbers has Lebesgue measure zero and therefore is null. More generally, on a given measure space M = (X, \Sigma, \mu) a null set is a set S\in\Sigma such that \mu(S) = 0. Example Every finite or countably infinite subset of the real numbers is a null set. For example, the set of natural numbers and the set of rational numbers are both countably infinite and therefore are null sets when considered as subsets of the real numbers. The Cantor set is an example of an uncountable null set. Definition Suppose A is a subs ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Absolutely Continuous
In calculus, absolute continuity is a smoothness property of functions that is stronger than continuity and uniform continuity. The notion of absolute continuity allows one to obtain generalizations of the relationship between the two central operations of calculus— differentiation and integration. This relationship is commonly characterized (by the fundamental theorem of calculus) in the framework of Riemann integration, but with absolute continuity it may be formulated in terms of Lebesgue integration. For real-valued functions on the real line, two interrelated notions appear: absolute continuity of functions and absolute continuity of measures. These two notions are generalized in different directions. The usual derivative of a function is related to the '' Radon–Nikodym derivative'', or ''density'', of a measure. We have the following chains of inclusions for functions over a compact subset of the real line: : ''absolutely continuous'' ⊆ ''uniformly continuous'' = ''cont ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
