Tangent segments in Minkowski planes.
In this article, we prove the first mean value theorem for integrals [16]. The formalization of various theorems about the properties of the Lebesgue integral is also presented.MML identifier: MESFUNC7, version: 7.8.09 4.97.1001
The scalar product of the FEM basis functions with non-intersecting supports vanishes. This property is generalized and the concept of local bilinear functional in a Hilbert space is introduced. The general form of such functionals in the spaces and is given.
We prove that, for 1 ≤ p ≤ q < 2, each multiple p-summing multilinear operator between Banach spaces is also q-summing. We also give an improvement of this result for an image space of cotype 2. As a consequence, we obtain a characterization of Hilbert-Schmidt multilinear operators similar to the linear one given by A. Pełczyński in 1967. We also give a multilinear generalization of Grothendieck's Theorem for GT spaces.
In this article we prove the Monotone Convergence Theorem [16].MML identifier: MESFUNC9, version: 7.8.10 4.100.1011
We shall show that every differential operator of 2-nd order in a real separable Hilbert space can be decomposed into a regular and an irregular operator. Then we shall characterize irregular operators and differential operators satisfying the maximum principle. Results obtained for the Lévy laplacian in [3] will be generalized for irregular differential operators satisfying the maximum principle.
Let H be a real Hilbert space. It is well known that a positive-definite function φ on H is the Fourier transform of a Radon measure on the dual space if (and only if) φ is continuous in the Sazonov topology (resp. the Gross topology) on H. Let G be an additive subgroup of H and let (resp. ) be the character group endowed with the topology of uniform convergence on precompact (resp. bounded) subsets of G. It is proved that if a positive-definite function φ on G is continuous in the Gross topology,...