Search Results for ""

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.

Bézout's theorem for curves states that, in general, two algebraic curves of degrees m and n intersect in m·n points and cannot meet in more than m·n points unless they have ...

All lengths can be expressed as real numbers.

An integral which is equivalent to the Denjoy integral "in the restricted sense."