HOME
*





Feldman–Hájek Theorem
In probability theory, the Feldman–Hájek theorem or Feldman–Hájek dichotomy is a fundamental result in the theory of Gaussian measures. It states that two Gaussian measures \mu and \nu on a locally convex space X are either equivalent measures or else mutually singular: (See Theorem 2.7.2) there is no possibility of an intermediate situation in which, for example, \mu has a density with respect to \nu but not vice versa. In the special case that X is a Hilbert space, it is possible to give an explicit description of the circumstances under which \mu and \nu are equivalent: writing m_ and m_ for the means of \mu and \nu, and C_\mu and C_\nu for their covariance operator In probability theory, for a probability measure P on a Hilbert space ''H'' with inner product \langle \cdot,\cdot\rangle , the covariance of P is the bilinear form Cov: ''H'' × ''H'' → R given by :\mathrm(x, y) ...s, equivalence of \mu and \nu holds if and only if (S ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Probability Theory
Probability theory is the branch of mathematics concerned with probability. Although there are several different probability interpretations, probability theory treats the concept in a rigorous mathematical manner by expressing it through a set of axioms. Typically these axioms formalise probability in terms of a probability space, which assigns a measure taking values between 0 and 1, termed the probability measure, to a set of outcomes called the sample space. Any specified subset of the sample space is called an event. Central subjects in probability theory include discrete and continuous random variables, probability distributions, and stochastic processes (which provide mathematical abstractions of non-deterministic or uncertain processes or measured quantities that may either be single occurrences or evolve over time in a random fashion). Although it is not possible to perfectly predict random events, much can be said about their behavior. Two major results in probability ...
[...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]  


Locally Convex Space
In functional analysis and related areas of mathematics, locally convex topological vector spaces (LCTVS) or locally convex spaces are examples of topological vector spaces (TVS) that generalize normed spaces. They can be defined as topological vector spaces whose topology is generated by translations of balanced, absorbent, convex sets. Alternatively they can be defined as a vector space with a family of seminorms, and a topology can be defined in terms of that family. Although in general such spaces are not necessarily normable, the existence of a convex local base for the zero vector is strong enough for the Hahn–Banach theorem to hold, yielding a sufficiently rich theory of continuous linear functionals. Fréchet spaces are locally convex spaces that are completely metrizable (with a choice of complete metric). They are generalizations of Banach spaces, which are complete vector spaces with respect to a metric generated by a norm. History Metrizable topologies on vecto ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Equivalent Measures
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 h ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  




Singular Measure
In mathematics, two positive (or signed or complex) measures \mu and \nu defined on a measurable space (\Omega, \Sigma) are called singular if there exist two disjoint measurable sets A, B \in \Sigma whose union is \Omega such that \mu is zero on all measurable subsets of B while \nu is zero on all measurable subsets of A. This is denoted by \mu \perp \nu. A refined form of Lebesgue's decomposition theorem decomposes a singular measure into a singular continuous measure and a discrete measure. See below for examples. Examples on R''n'' As a particular case, a measure defined on the Euclidean space \R^n is called ''singular'', if it is singular with respect to the Lebesgue measure on this space. For example, the Dirac delta function is a singular measure. Example. A discrete measure. The Heaviside step function on the real line, H(x) \ \stackrel \begin 0, & x 0 but \delta_0(U) = 0. Example. A singular continuous measure. The Cantor distribution has a cumulative distribu ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Probability Density Function
In probability theory, a probability density function (PDF), or density of a continuous random variable, is a function whose value at any given sample (or point) in the sample space (the set of possible values taken by the random variable) can be interpreted as providing a ''relative likelihood'' that the value of the random variable would be close to that sample. Probability density is the probability per unit length, in other words, while the ''absolute likelihood'' for a continuous random variable to take on any particular value is 0 (since there is an infinite set of possible values to begin with), the value of the PDF at two different samples can be used to infer, in any particular draw of the random variable, how much more likely it is that the random variable would be close to one sample compared to the other sample. In a more precise sense, the PDF is used to specify the probability of the random variable falling ''within a particular range of values'', as opposed to ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Hilbert Space
In mathematics, Hilbert spaces (named after David Hilbert) allow generalizing the methods of linear algebra and calculus from (finite-dimensional) Euclidean vector spaces to spaces that may be infinite-dimensional. Hilbert spaces arise naturally and frequently in mathematics and physics, typically as function spaces. Formally, a Hilbert space is a vector space equipped with an inner product that defines a distance function for which the space is a complete metric space. The earliest Hilbert spaces were studied from this point of view in the first decade of the 20th century by David Hilbert, Erhard Schmidt, and Frigyes Riesz. They are indispensable tools in the theories of partial differential equations, quantum mechanics, Fourier analysis (which includes applications to signal processing and heat transfer), and ergodic theory (which forms the mathematical underpinning of thermodynamics). John von Neumann coined the term ''Hilbert space'' for the abstract concept that under ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Covariance Operator
In probability theory, for a probability measure P on a Hilbert space ''H'' with inner product \langle \cdot,\cdot\rangle , the covariance of P is the bilinear form Cov: ''H'' × ''H'' → R given by :\mathrm(x, y) = \int_ \langle x, z \rangle \langle y, z \rangle \, \mathrm \mathbf (z) for all ''x'' and ''y'' in ''H''. The covariance operator ''C'' is then defined by :\mathrm(x, y) = \langle Cx, y \rangle (from the Riesz representation theorem, such operator exists if Cov is bounded). Since Cov is symmetric in its arguments, the covariance operator is self-adjoint. When P is a centred Gaussian measure, ''C'' is also a nuclear operator. In particular, it is a compact operator of trace class, that is, it has finite trace. Even more generally, for a probability measure P on a Banach space ''B'', the covariance of P is the bilinear form on the algebraic dual ''B''#, defined by :\mathrm(x, y) = \int_ \langle x, z \rangle \langle y, z \rangle \, ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Cameron–Martin Theorem
In mathematics, the Cameron–Martin theorem or Cameron–Martin formula (named after Robert Horton Cameron and W. T. Martin) is a theorem of measure theory that describes how abstract Wiener measure changes under translation by certain elements of the Cameron–Martin Hilbert space. Motivation The standard Gaussian measure \gamma^n on n-dimensional Euclidean space \mathbf^n is not translation-invariant. (In fact, there is a unique translation invariant Radon measure up to scale by Haar's theorem: the n-dimensional Lebesgue measure, denoted here dx.) Instead, a measurable subset A has Gaussian measure :\gamma_n(A) = \frac\int_A \exp\left(-\tfrac12\langle x, x\rangle_\right)\,dx. Here \langle x,x\rangle_ refers to the standard Euclidean dot product in \mathbf^n. The Gaussian measure of the translation of A by a vector h \in \mathbf^n is :\begin \gamma_n(A-h) &= \frac\int_A \exp\left(-\tfrac12\langle x-h, x-h\rangle_\right)\,dx\\ pt&=\frac\int_A \exp\left(\frac\right)\exp\l ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  




Hilbert–Schmidt Operator
In mathematics, a Hilbert–Schmidt operator, named after David Hilbert and Erhard Schmidt, is a bounded operator A \colon H \to H that acts on a Hilbert space H and has finite Hilbert–Schmidt norm \, A\, ^2_ \ \stackrel\ \sum_ \, Ae_i\, ^2_H, where \ is an orthonormal basis. The index set I need not be countable. However, the sum on the right must contain at most countably many non-zero terms, to have meaning. This definition is independent of the choice of the orthonormal basis. In finite-dimensional Euclidean space, the Hilbert–Schmidt norm \, \cdot\, _\text is identical to the Frobenius norm. , , ·, , is well defined The Hilbert–Schmidt norm does not depend on the choice of orthonormal basis. Indeed, if \_ and \_ are such bases, then \sum_i \, Ae_i\, ^2 = \sum_ \left, \langle Ae_i, f_j\rangle \^2 = \sum_ \left, \langle e_i, A^*f_j\rangle \^2 = \sum_j\, A^* f_j\, ^2. If e_i = f_i, then \sum_i \, Ae_i\, ^2 = \sum_i\, A^* e_i\, ^2. As for any bounded operato ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Probability Theorems
Probability is the branch of mathematics concerning numerical descriptions of how likely an event is to occur, or how likely it is that a proposition is true. The probability of an event is a number between 0 and 1, where, roughly speaking, 0 indicates impossibility of the event and 1 indicates certainty."Kendall's Advanced Theory of Statistics, Volume 1: Distribution Theory", Alan Stuart and Keith Ord, 6th Ed, (2009), .William Feller, ''An Introduction to Probability Theory and Its Applications'', (Vol 1), 3rd Ed, (1968), Wiley, . The higher the probability of an event, the more likely it is that the event will occur. A simple example is the tossing of a fair (unbiased) coin. Since the coin is fair, the two outcomes ("heads" and "tails") are both equally probable; the probability of "heads" equals the probability of "tails"; and since no other outcomes are possible, the probability of either "heads" or "tails" is 1/2 (which could also be written as 0.5 or 50%). These conce ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]