Displaying similar documents to “On the determination of the Plancherel measure for Lebedev-Whittaker transforms on GL(n)”

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.

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

Some extensions of a certain integral transform to a quotient space of generalized functions

Shrideh K.Q. Al-Omari, Jafar F. Al-Omari (2015)

Open Mathematics

Similarity:

In this paper, we establish certain spaces of generalized functions for a class of ɛs2,1 transforms. We give the definition and derive certain properties of the extended ɛs2,1 transform in a context of Boehmian spaces. The extended ɛs2,1 transform is therefore well defined, linear and consistent with the classical ɛs2,1 transforms. Certain results are also established in some detail.