Displaying similar documents to “Three problems for polynomials of small measure”

Irreducible polynomials with all but one zero close to the unit disk

DoYong Kwon (2016)

Colloquium Mathematicae

Similarity:

We consider a certain class of polynomials whose zeros are, all with one exception, close to the closed unit disk. We demonstrate that the Mahler measure can be employed to prove irreducibility of these polynomials over ℚ.

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.

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.

Density of Polynomials in the L^2 Space on the Real and the Imaginary Axes and in a Sobolev Space

Klotz, Lutz, Zagorodnyuk, Sergey M. (2009)

Serdica Mathematical Journal

Similarity:

2000 Mathematics Subject Classification: 41A10, 30E10, 41A65. In this paper we consider an L^2 type space of scalar functions L^2 M, A (R u iR) which can be, in particular, the usual L^2 space of scalar functions on R u iR. We find conditions for density of polynomials in this space using a connection with the L^2 space of square-integrable matrix-valued functions on R with respect to a non-negative Hermitian matrix measure. The completness of L^2 M, A (R u iR ) is also established. ...

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,...