A commutative Banach algebra is said to have the property if the following holds: Let be a closed subspace of finite codimension such that, for every , the Gelfand transform has at least distinct zeros in , the maximal ideal space of . Then there exists a subset of of cardinality such that vanishes on , the set of common zeros of . In this paper we show that if is compact and nowhere dense, then , the uniform closure of the space of rational functions with poles off , has the property for all . We also investigate the property for the algebra of real continuous functions on a compact Hausdorff space.
Let be a -uniformly smooth Banach space possessing a weakly sequentially continuous duality map (e.g., ). Let be a Lipschitzian pseudocontractive selfmapping of a nonempty closed convex and bounded subset of and let be arbitrary. Then the iteration sequence defined by , converges strongly to a fixed point of , provided that and have certain properties. If is a Hilbert space, then converges strongly to the unique fixed point of closest to .
We consider a class of compact spaces for which the space of probability Radon measures on has countable tightness in the topology. We show that that class contains those compact zero-dimensional spaces for which is weakly Lindelöf, and, under MA + CH, all compact spaces with having property (C) of Corson.
Let be a rank two Chevalley group and be the corresponding Moufang polygon. J. Tits proved that is the universal completion of the amalgam formed by three subgroups of : the stabilizer of a point of , the stabilizer of a line incident with , and the stabilizer of an apartment passing through and . We prove a slightly stronger result, in which the exact structure of is not required. Our result can be used in conjunction with the ``weak -pair" theorem of Delgado and Stellmacher in order to identify subgroups of finite groups generated by minimal parabolics.
In this note, we show that when is a torsion group the second center of the group of units of the integral group ring is generated by its torsion subgroup and by the center of . This extends a result of Arora and Passi (1993) from finite groups to torsion groups, and completes the characterization of hypercentral units in when is a torsion group.
Let be a locally compact group, the Fourier algebra of and the von Neumann algebra generated by the left regular representation of . We introduce the notion of -spectral set and -Ditkin set when is an -invariant linear subspace of , thus providing a unified approach to both spectral and Ditkin sets and their local variants. Among other things, we prove results on unions of -spectral sets and -Ditkin sets, and an injection theorem for -spectral sets.
Let be an integral domain. A saturated multiplicatively closed subset of is a splitting set if each nonzero may be written as where and for all . We show that if is a splitting set in , then is a splitting set in , a multiplicatively closed subset of , and that is a splitting set in is an lcm splitting set of , i.e., is a splitting set of with the further property that is principal for all and . Several new characterizations and applications of splitting sets are given.
Using a technique developed by Louveau and Saint Raymond, we find the complexity of the space of probability measures in the Borel hierarchy: if is any non-Polish Borel subspace of a Polish space, then , the space of probability Borel measures on with the weak topology, is always true , where is the least ordinal such that is .
Let be a positive matrix-valued measure on a locally compact abelian group such that is the identity matrix. We give a necessary and sufficient condition on for the absence of a bounded non-constant matrix-valued function on satisfying the convolution equation . This extends Choquet and Deny's theorem for real-valued functions on .
We consider real spaces only.
Definition. An operator between Banach spaces and is called a Hahn-Banach operator if for every isometric embedding of the space into a Banach space there exists a norm-preserving extension of to .
A geometric property of Hahn-Banach operators of finite rank acting between finite-dimensional normed spaces is found. This property is used to characterize pairs of finite-dimensional normed spaces such that there exists a Hahn-Banach operator of rank . The latter result is a generalization of a recent result due to B. L. Chalmers and B. Shekhtman.
The behavior of the images of a fixed element of order in irreducible representations of a classical algebraic group in characteristic with highest weights large enough with respect to and this element is investigated. More precisely, let be a classical algebraic group of rank over an algebraically closed field of characteristic 2$">. Assume that an element of order is conjugate to that of an algebraic group of the same type and rank naturally embedded into . Next, an integer function on the set of dominant weights of and a constant that depend only upon , and a polynomial of degree one are defined. It is proved that the image of in the irreducible representation of with highest weight contains more than Jordan blocks of size if and are not too small and .
When is a Gorenstein ideal of grade in a local ring , results of Boffi and Sánchez, and of Kustin and Ulrich show that for each one can construct in a canonical way a finite free complex that is ``approximately" a resolution for the ideal . Kustin and Ulrich also provide a sufficient condition that is acyclic, and a sufficient condition that is a resolution of . We complete these two acyclicity criteria by showing that the corresponding sufficient conditions are also necessary.
Suppose is a complex Hilbert space and is a bounded operator. For each closed set let denote the corresponding spectral manifold. Let denote the set of all points with the property that for any open neighborhood of In this paper we show that if is dominating in some bounded open set, then has a nontrivial invariant subspace. As a corollary, every Hilbert space operator which is a quasiaffine transform of a subdecomposable operator with large spectrum has a nontrivial invariant subspace.
1. If and is nilpotent of class at most for any , then the group is nilpotent of -bounded class.
2. If and is nilpotent of class at most for any , then the derived group is nilpotent of -bounded class.
Let be a certain Banach space consisting of continuous functions defined on the open unit disk. Let be a univalent function defined on , and assume that denotes the operator of multiplication by . We characterize the structure of the operator such that . We show that for some function in . We also characterize the commutant of under certain conditions.
It was once conjectured that if is a uniform algebra on its maximal ideal space and if each point of is a peak point for , then . This peak point conjecture was disproved by Brian Cole in 1968. However, it was recently shown by Anderson and Izzo that the peak point conjecture does hold for uniform algebras generated by smooth functions on smooth two-manifolds with boundary. Although the corresponding assertion for smooth three-manifolds is false, we establish a peak point theorem for real-analytic three-manifolds with boundary.