Search Results for ""

Let (X,B,mu) be a measure space and let E be a measurable set with mu(E)<infty. Let {f_n} be a sequence of measurable functions on E such that each f_n is finite almost ...

Euler integration was defined by Schanuel and subsequently explored by Rota, Chen, and Klain. The Euler integral of a function f:R->R (assumed to be piecewise-constant with ...

Let alpha(x) be a monotone increasing function and define an interval I=(x_1,x_2). Then define the nonnegative function U(I)=alpha(x_2)-alpha(x_1). The Lebesgue integral with ...

Suppose that {f_n} is a sequence of measurable functions, that f_n->f pointwise almost everywhere as n->infty, and that |f_n|<=g for all n, where g is integrable. Then f is ...

Let Omega be a space with measure mu>=0, and let Phi(P,Q) be a real function on the product space Omega×Omega. When (mu,nu) = intintPhi(P,Q)dmu(Q)dnu(P) (1) = ...

An important result in ergodic theory. It states that any two "Bernoulli schemes" with the same measure-theoretic entropy are measure-theoretically isomorphic.

The hypothesis is that, for X is a measure space, f_n(x)->f(x) for each x in X, as n->infty. The hypothesis may be weakened to almost everywhere convergence.

A triple (S,S,P) on the domain S, where (S,S) is a measurable space, S are the measurable subsets of S, and P is a measure on S with P(S)=1.

A group whose left Haar measure equals its right Haar measure.

A relation connecting the values of a meromorphic function inside a disk with its boundary values on the circumference and with its zeros and poles (Jensen 1899, Levin 1980). ...