A (discrete) group is said to be maximally almost periodic if the points of are distinguished by homomorphisms into compact Hausdorff groups. A Hausdorff topology on a group is totally bounded if whenever there is such that . For purposes of this abstract, a family with a totally bounded topological group is a strongly extraresolvable family if (a) \vert G\vert$">, (b) each is dense in , and (c) distinct satisfy ; a totally bounded topological group with such a family is a strongly extraresolvable topological group.
We give two theorems, the second generalizing the first.
Theorem 1. Every infinite totally bounded group contains a dense strongly extraresolvable subgroup.
Corollary. In its largest totally bounded group topology, every infinite Abelian group is strongly extraresolvable.
Theorem 2. Let be maximally almost periodic. Then there are a subgroup of and a family such that
(i) is dense in every totally bounded group topology on ;
(ii) the family is a strongly extraresolvable family for every totally bounded group topology on such that ; and
(iii) admits a totally bounded group topology as in (ii).
Remark. In certain cases, for example when is Abelian, one must in Theorem 2 choose . In certain other cases, for example when the largest totally bounded group topology on is compact, the choice is impossible.
Let , where and is a Banach space. Let be an extension of to all of (i.e., ) such that has minimal (operator) norm. In this paper we show in particular that, in the case and the field is R, there exists a rank- such that for all if and only if the unit ball of is either not smooth or not strictly convex. In this case we show, furthermore, that, for some , there exists a choice of basis such that ; i.e., each is a Hahn-Banach extension of .
The Dirichlet-type space ) is the Banach space of functions analytic in the unit disc with derivatives belonging to the Bergman space . Let be an analytic self-map of the disc and define for . The operator is bounded (respectively, compact) if and only if a related measure is Carleson (respectively, compact Carleson). If is bounded (or compact) on , then the same behavior holds on ) and on the weighted Dirichlet space . Compactness on implies that is compact on the Hardy spaces and the angular derivative exists nowhere on the unit circle. Conditions are given which, together with the angular derivative condition, imply compactness on the space . Inner functions which induce bounded composition operators on are discussed briefly.
is considered where the functions and are polynomials. The authors study the problem of determining which functions will admit polynomial solutions for any polynomial . When one additionally requires the classical condition , this forces , and a complete classification is obtained. Some necessary conditions are obtained for the case 2$">.
If is a smoothly bounded multiply-connected domain in the complex plane and where we show that is compact if and only if its Berezin transform vanishes at the boundary.
. Let where and consider the first nontrivial eigenvalue of the Laplacian on . Using geometric considerations, we prove the inequality . Since the continuous spectrum is represented by the band , our bound on can be viewed as an analogue of Selberg's eigenvalue conjecture for quotients of the hyperbolic half space.
We prove the existence of invariant projections from the Banach space of -pseudomeasures onto with for closed neutral subgroup of a locally compact group . As a main application we obtain that every closed neutral subgroup is a set of -synthesis in and in fact locally -Ditkin in . We also obtain an extension theorem concerning the Fourier algebra.
Given , the algebra of operators on a Hilbert space , define and by and . Let and be two classes of operators strictly larger than the class of normal operators. Define (resp., if (resp., for all and . This note shows that the equivalence holds for a number of the commonly considered classes of operators.
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 .
Let be a self-similar probability measure on satisfying where 0$"> and Let be the Fourier transform of A necessary and sufficient condition for to approach zero at infinity is given. In particular, if and for then 0$"> if and only if is a PV-number and is not a factor of . This generalizes the corresponding theorem of Erdös and Salem for the case
We show how for every integer one can explicitly construct distinct plane quartics and one hyperelliptic curve over all of whose Jacobians are isomorphic to one another as abelian varieties without polarization. When we say that the curves can be constructed ``explicitly', we mean that the coefficients of the defining equations of the curves are simple rational expressions in algebraic numbers in whose minimal polynomials over can be given exactly and whose decimal approximations can be given to as many places as is necessary to distinguish them from their conjugates. We also prove a simply-stated theorem that allows one to decide whether or not two plane quartics over , each with a pair of commuting involutions, are isomorphic to one another.
A new construction of semi-free actions on Menger manifolds is presented. As an application we prove a theorem about simultaneous coexistence of countably many semi-free actions of compact metric zero-dimensional groups with the prescribed fixed-point sets: Let be a compact metric zero-dimensional group, represented as the direct product of subgroups , a -manifold and (resp., ) its pseudo-interior (resp., pseudo-boundary). Then, given closed subsets of , there exists a -action on such that (1) and are invariant subsets of ; and (2) each is the fixed point set of any element .
We show that if is an -regular set in for which the triple integral of the Menger curvature is finite and if , then almost all of can be covered with countably many curves. We give an example to show that this is false for .