Measurable function
Wikipedia, the free encyclopedia - Cite This SourceIn mathematics, measurable functions are well-behaved functions between measurable spaces. Functions studied in analysis that are not measurable are generally considered pathological.
If Σ is a σ-algebra over a set X and Τ is a σ-algebra over Y, then a function f : X → Y is measurable Σ/Τ if the preimage of every set in Τ is in Σ.
By convention, if Y is some topological space, such as the space of real numbers or the complex numbers , then the Borel σ-algebra generated by the open sets on Y is used, unless otherwise specified. The measurable space (X,Σ) is also called a Borel space in this case.
If it is clear from the context what Τ and/or Σ are, then the function f may be (and usually is) called Σ-measurable or simply measurable.
Special measurable functions
If (X, Σ) and (Y, Τ) are Borel spaces, a measurable function f is also called a Borel function. Continuous functions are Borel but not all Borel functions are continuous. However, a measurable function is nearly a continuous function; see Luzin's theorem.
Random variables are by definition measurable functions defined on sample spaces.
Properties of measurable functions
- The sum and product of two real-valued measurable functions are measurable.
- If a function f is measurable and a function g is measurable , then the composition is measurable .
- The pointwise limit of measurable functions is measurable. (The corresponding statement for continuous functions requires stronger conditions than pointwise convergence, such as uniform convergence.)
- Only measurable functions can be Lebesgue integrated.
- A Lebesgue-measurable function is a real function f : R → R such that for every real number a, the set
is a Lebesgue-measurable set. A useful characterisation of Lebesgue measurable functions is that f is measurable if and only if mid{-g,f,g} is integrable for all non-negative Lebesgue integrable functions g.
Stationary transformations
If X=Y and Σ=Τ, a measurable function f is called an endomorphism or a measure-preserving or stationary transformation of the measure space (X,Σ,μ) if and only if the measure μ is invariant under composition with f, that is, for all A in Σ one hasA stationary transformation f is ergodic if every set in Σ, T invariant under f almost everywhere, with respect to μ has measure 0 or 1, i.e.
where denotes the symmetric difference .
An equivalent statement is that every set in Σ, T invariant under f, with respect to μ has measure 0 or 1, that is to say, for all A in Σ one has
A stochastic process is stationary if the domain of the sample functions is a time interval and all the time-shift transformations are stationary. If given a stationary or ergodic transformation for all time t where , a stationary or stationary ergodic process can be constructed by defining a measurable function , composing it with . That is to say,
and so maps the sample space to a functional space with domain t. Ergodic processes in general need not be stationary although processes generated this way with an ergodic transformation must be stationary ergodic. An ergodic process that is not stationary can, for example, be generated by running an ergodic Markov chain with an initial distribution other than its stationary distribution.
Notes
Wikipedia, the free encyclopedia © 2001-2006 Wikipedia contributors (Disclaimer)
This article is licensed under the GNU Free Documentation License.
Last updated on Monday January 28, 2008 at 13:02:09 PST (GMT -0800)
View this article at Wikipedia.org - Edit this article at Wikipedia.org - Donate to the Wikimedia Foundation