Differences of vector-valued functions on topological groups

Let be a locally compact group equipped with right Haar measure. The right differences of functions on are defined by for . Let and suppose for some and all . We prove that is a right uniformly continuous function of . If is abelian and the Beurling spectrum does not contain the unit of the dual group , then we show . These results have analogues for functions , where is a separable or reflexive Banach space. Finally, we apply our methods to vector-valued right uniformly continuous differences and to absolutely continuous elements of left Banach -modules.

     

Characterization of the Fourier series of a distribution having a value at a point

Let be a periodic distribution of period . Let be its Fourier series. We show that the distributional point value exists and equals if and only if the partial sums converge to in the Cesàro sense as for each .

     

Completely distributive CSL algebras with no complements in

Anoussis and Katsoulis have obtained a criterion for the space to have a closed complement in , where is a completely distributive commutative subspace lattice. They show that, for a given , the set of for which this complement exists forms an interval whose endpoints are harmonic conjugates. Also, they establish the existence of a lattice for which has no complement for any . However, they give no specific example. In this note an elementary demonstration of a simple example of this phenomenon is given. From this it follows that for a wide range of lattices , fails to have a complement for any .

     

The existence of a maximizing vector for the numerical range of a compact operator

Let be a complex Lebesgue space with a unique duality map from to , the conjugate space of . Let be a compact operator on . This paper focuses on properties of and . We adapt an example due to Halmos to show that for , there is a compact operator on with the semi-open interval . So is not attained as a maximum. A corollary of the main result in this paper is that if , and , then is attained as a maximum.

     

Finite and -resolvability

A topological space is -resolvable if has disjoint dense subsets. In this paper, we prove that if is -resolvable for each positive integer , then is -resolvable.

     

Interpolation spaces between the Lipschitz class and the space of continuous functions

It is shown that the complex interpolation spaces and do not coincide with or and also that the couple is not a Calderón couple. Similar results are also obtained for the couples and when .

     

Chains of strongly non-reflexive dual groups of integer-valued continuous functions

Answering a question of Eklof-Mekler (Almost free modules, set-theoretic methods, North-Holland, Amsterdam, 1990), we prove: (1) If there exists a non-reflecting stationary set of consisting of ordinals of cofinality for each , then there exist abelian groups such that and for each . (2) There exist abelian groups such that for each and for each . The groups are the groups of -valued continuous functions on a topological space and their dual groups.

     

On maximal functions in Orlicz spaces

Let and be the functions having the representations and , where is a positive continuous function such that and is quasi-increasing. Then the maximal function is a function in Orlicz space for all if and only if there exists a positive constant such that for all .

     

On perturbations of M-accretive operators in Banach spaces

In this paper, we consider the solvability of nonlinear equations of the form

where is an m-accretive operator on a Banach space , is a mapping on and .

     

Critical points of real entire functions and a conjecture of Pólya

Let be a nonconstant real entire function of genus and assume that all the zeros of are distributed in some infinite strip , . It is shown that (1) if has nonreal zeros in the region , and has nonreal zeros in the same region, and if the points and are located outside the Jensen disks of , then has exactly critical zeros in the closed interval , (2) if is at most of order , , and minimal type, then for each positive constant there is a positive integer such that for all has only real zeros in the region , and (3) if is of order less than , then has just as many critical points as couples of nonreal zeros.

     

Almost linearity of -bi-Lipschitz maps between real Banach spaces

Let and be real Banach spaces. A map between and is called an -bi-Lipschitz map if for all . In this note we show that if is an -bi-Lipschitz map with from onto , then is almost linear. We also show that if is a surjective -bi-Lipschitz map with , then there exists a linear isomorphism such that

where as and .

     

A completely regular space which is the -complement of itself

Two topologies and on a fixed set are -complements if is the cofinite topology and is a sub-base for the discrete topology. In 1967, Steiner and Steiner showed that of any two -complements on a countable set, at least one is not Hausdorff. In 1969, Anderson and Stewart asked whether a Hausdorff topology on an uncountable set can have a Hausdorff -complement. We construct two homeomorphic completely regular -complementary topologies.

     

Three counterexamples for a question concerning Green's functions and circular symmetrization

We construct domains in the plane such that if is the Green's function of with pole at zero, while is the symmetric non-increasing rearrangement of for each fixed and is the Green's function of the circular symmetrization , again with pole at zero, then there are positive numbers and such that

whenever . One of our constructions will have simply connected. We also consider the case where the poles of the Green's functions do not lie at the origin. Our work provides a negative answer to a question of Hayman (1967).

     

Isometries of certain operator algebras

To a given basis on an -dimensional Hilbert space , we associate the algebra of all linear operators on having every as an eigenvector. So, is commutative, semisimple, and -dimensional. Given two algebras of this type, and , there is a natural algebraic isomorphism of and . We study the question: When does preserve the operator norm?

     

Cohomological detection and regular elements in group cohomology

Suppose that is a compact Lie group or a discrete group of finite virtual cohomological dimension and that is a field of characteristic . Suppose that is a set of elementary abelian -subgroups such that the cohomology is detected on the centralizers of the elements of . Assume also that is closed under conjugation and that is in whenever some subgroup of is in . Then there exists a regular element in the cohomology ring such that the restriction of to an elementary abelian -subgroup is not nilpotent if and only if is in . The converse of the result is a theorem of Lannes, Schwartz and the second author. The results have several implications for the depth and associated primes of the cohomology rings.

     

On Voiculescu's double commutant theorem

For a separable infinite-dimensional Hilbert space , we consider the full algebra of bounded linear transformations and the unique non-trivial norm-closed two-sided ideal of compact operators . We also consider the quotient -algebra with quotient map

For any -subalgebra of , the relative commutant is given by for all in . It was shown by D. Voiculescu that, for any separable unital -subalgebra of ,

In this note, we exhibit a non-separable unital -subalgebra of for which (VDCT) fails.

     

Bounds for the operator norms of some Nörlund matrices

Suppose is a non-increasing sequence of non-negative numbers with , , , and is the lower triangular matrix defined by , , and , . We show that the operator norm of as a linear operator on is no greater than , for ; this generalizes, yet again, Hardy's inequality for sequences, and simplifies and improves, in this special case, more generally applicable results of D. Borwein, Cass, and Kratz. When the tend to a positive limit, the operator norm of on is exactly . We also give some cases when the operator norm of on is less than .

     

On contravariant finiteness of subcategories of modules of projective dimension

Let be an artin algebra. This paper presents a sufficient condition for the subcategory of to be contravariantly finite in , where is the subcategory of consisting of --modules of projective dimension less than or equal to . As an application of this condition it is shown that is contravariantly finite in for each when is stably equivalent to a hereditary algebra.

     

Integral equations, implicit functions, and fixed points

The problem is to show that (1) has a solution, where defines a contraction, , and defines a compact map, . A fixed point of would solve the problem. Such equations arise naturally in the search for a solution of where , but so that the standard conditions of the implicit function theorem fail. Now would be in the form for a classical fixed point theorem of Krasnoselskii if were a contraction. But fails to be a contraction for precisely the same reasons that the implicit function theorem fails. We verify that has enough properties that an extension of Krasnoselskii's theorem still holds and, hence, (1) has a solution. This substantially improves the classical implicit function theorem and proves that a general class of integral equations has a solution.