On isomorphisms by orthogonality of a normed space and an inner product space.
We prove that if Köthe F-spaces X and Y on finite atomless measure spaces (ΩX; ΣX, µX) and (ΩY; ΣY; µY), respectively, with absolute continuous norms are isomorphic and have the property (for µ = µX and µ = µY, respectively) then the measure spaces (ΩX; ΣX; µX) and (ΩY; ΣY; µY) are isomorphic, up to some positive multiples. This theorem extends a result of A. Plichko and M. Popov concerning isomorphic classification of L p(µ)-spaces for 0 < p < 1. We also provide a new class of F-spaces...
It is shown that Jackson type inequality fails in the Orlicz classes φ(L) if φ(x) differs essentially from a power function of any order.
Some relations between the James (or non-square) constant J(X) and the Jordan-von Neumann constant , and the normal structure coefficient N(X) of Banach spaces X are investigated. Relations between J(X) and J(X*) are given as an answer to a problem of Gao and Lau [16]. Connections between and J(X) are also shown. The normal structure coefficient of a Banach space is estimated by the -constant, which implies that a Banach space with -constant less than 5/4 has the fixed point property.
One computes the joint and essential joint spectra of a pair of multiplication operators with bounded analytic functions on the Hardy spaces of the unit ball in .
We present several notions of joint spectral radius of mutually commuting elements of a locally convex algebra and prove that all of them yield the same value in case the algebra is pseudo-complete. This generalizes a result proved by the author in 1993 for elements of a Banach algebra.
This paper deals with a few, not widely known, aspects of Kottman's constant of a Banach space and its symmetric and finite variations. We will consider their behaviour under ultrapowers, relations with other parameters such as Whitley's or James' constant, and connection with the extension of c₀-valued Lipschitz maps.
In this article, we formalized L1 space formed by complexvalued partial functions [11], [15]. The real-valued case was formalized in [22] and this article is its generalization.
This article contains some definitions and properties refering to function spaces formed by partial functions defined over a measurable space. We formalized a function space, the so-called L1 space and proved that the space turns out to be a normed space. The formalization of a real function space was given in [16]. The set of all function forms additive group. Here addition is defined by point-wise addition of two functions. However it is not true for partial functions. The set of partial functions...