Displaying similar documents to “On limit points of subsequences of uniformly distributed sequences”

Fubini’s Theorem on Measure

Noboru Endou (2017)

Formalized Mathematics

Similarity:

The purpose of this article is to show Fubini’s theorem on measure [16], [4], [7], [15], [18]. Some theorems have the possibility of slight generalization, but we have priority to avoid the complexity of the description. First of all, for the product measure constructed in [14], we show some theorems. Then we introduce the section which plays an important role in Fubini’s theorem, and prove the relevant proposition. Finally we show Fubini’s theorem on measure.

A Characterization of Uniform Distribution

Joanna Chachulska (2005)

Bulletin of the Polish Academy of Sciences. Mathematics

Similarity:

Is the Lebesgue measure on [0,1]² a unique product measure on [0,1]² which is transformed again into a product measure on [0,1]² by the mapping ψ(x,y) = (x,(x+y)mod 1))? Here a somewhat stronger version of this problem in a probabilistic framework is answered. It is shown that for independent and identically distributed random variables X and Y constancy of the conditional expectations of X+Y-I(X+Y > 1) and its square given X identifies uniform distribution either absolutely continuous...

Product Pre-Measure

Noboru Endou (2016)

Formalized Mathematics

Similarity:

In this article we formalize in Mizar [5] product pre-measure on product sets of measurable sets. Although there are some approaches to construct product measure [22], [6], [9], [21], [25], we start it from σ-measure because existence of σ-measure on any semialgebras has been proved in [15]. In this approach, we use some theorems for integrals.