Displaying similar documents to “The Haar measure of certain sets in the Bohr group”

On the sum of two squares and two powers of k

Roger Clement Crocker (2008)

Colloquium Mathematicae

Similarity:

It can be shown that the positive integers representable as the sum of two squares and one power of k (k any fixed integer ≥ 2) have positive density, from which it follows that those integers representable as the sum of two squares and (at most) two powers of k also have positive density. The purpose of this paper is to show that there is an infinity of positive integers not representable as the sum of two squares and two (or fewer) powers of k, k again any fixed integer ≥ 2. ...

On some properties of squares of Sierpiński sets

Andrzej Nowik (2004)

Colloquium Mathematicae

Similarity:

We investigate some geometrical properties of squares of special Sierpiński sets. In particular, we prove that (under CH) there exists a Sierpiński set S and a function p: S → S such that the images of the graph of this function under π'(⟨x,y⟩) = x - y and π''(⟨x,y⟩) = x + y are both Lusin sets.

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.

On Sums of Four Coprime Squares

A. Schinzel (2013)

Bulletin of the Polish Academy of Sciences. Mathematics

Similarity:

It is proved that all sufficiently large integers satisfying the necessary congruence conditions mod 24 are sums of four squares prime in pairs.

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.

Construction of Measure from Semialgebra of Sets1

Noboru Endou (2015)

Formalized Mathematics

Similarity:

In our previous article [22], we showed complete additivity as a condition for extension of a measure. However, this condition premised the existence of a σ-field and the measure on it. In general, the existence of the measure on σ-field is not obvious. On the other hand, the proof of existence of a measure on a semialgebra is easier than in the case of a σ-field. Therefore, in this article we define a measure (pre-measure) on a semialgebra and extend it to a measure on a σ-field. Furthermore,...