Given a topological system on a -compact Hausdorff space and its factor we show the existence of a largest topological factor containing such that for each -invariant measure , . When a relative variational principle holds, .
Let be an open set and let denote the class of real analytic functions on . It is proved that for every surjective linear partial differential operator and every family depending holomorphically on there is a solution family depending on in the same way such that The result is a consequence of a characterization of Fréchet spaces such that the class of ``weakly' real analytic -valued functions coincides with the analogous class defined via Taylor series. An example shows that the analogous assertions need not be valid if is replaced by another set.
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.
This paper is devoted to a study of multivariate nonhomogeneous refinement equations of the form where is the unknown, is a given vector of functions on , is an dilation matrix, and is a finitely supported refinement mask such that each is an (complex) matrix. Let be an initial vector in . The corresponding cascade algorithm is given by In this paper we give a complete characterization for the -convergence of the cascade algorithm in terms of the refinement mask , the nonhomogeneous term , and the initial vector of functions .
The best available definition of a subset of an infinite dimensional, complete, metric vector space being ``small' is Christensen's Haar zero sets, equivalently, Hunt, Sauer, and Yorke's shy sets. The complement of a shy set is a prevalent set. There is a gap between prevalence and likelihood. For any probability on , there is a shy set with . Further, when is locally convex, any i.i.d. sequence with law repeatedly visits neighborhoods of only a shy set of points if the neighborhoods shrink to at any rate.
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 .
If and are Banach lattices such that is separable and has the countable interpolation property, then the space of all continuous regular operators has the Riesz decomposition property. This result is a positive answer to a conjecture posed by A. W. Wickstead.
We prove splitting results for subalgebras of tensor products of operator algebras. In particular, any -algebra s.t. is a tensor product provided is simple and nuclear.
Extending results of a number of authors, we prove that if is the unipotent radical of an -split solvable epimorphic subgroup of a real algebraic group which is generated by unipotents, then the action of on is uniquely ergodic for every cocompact lattice in . This gives examples of uniquely ergodic and minimal two-dimensional flows on homogeneous spaces of arbitrarily high dimension. Our main tools are the Ratner classification of ergodic invariant measures for the action of a unipotent subgroup on a homogeneous space, and a simple lemma (the `Cone Lemma') about representations of epimorphic subgroups.
A variety is a class of Banach algebras , for which there exists a family of laws such that is precisely the class of all Banach algebras which satisfies all of the laws (i.e. for all , . We say that is an -variety if all of the laws are homogeneous. A semivariety is a class of Banach algebras , for which there exists a family of homogeneous laws such that is precisely the class of all Banach algebras , for which there exists 0$"> such that for all homogeneous polynomials , , where . However, there is no variety between the variety of all -algebras and the variety of all -algebras, which can be defined by homogeneous laws alone. So the theory of semivarieties and the theory of varieties differ significantly. In this paper we shall construct uncountable chains and antichains of semivarieties which are not varieties.
For every normed space , we note its closed unit ball and unit sphere by and , respectively. Let and be normed spaces such that is Lipschitz homeomorphic to , and is Lipschitz homeomorphic to .
We prove that the following are equivalent:
1. is Lipschitz homeomorphic to .
2. is Lipschitz homeomorphic to .
3. is Lipschitz homeomorphic to .
This result holds also in the uniform category, except (2 or 3) 1 which is known to be false.
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
Let be an infinite set, a set of pseudo-metrics on and If is limited (finite) for every and every then, for each we can define a pseudo-metric on by writing st We investigate the conditions under which the topology induced on by has a basis consisting only of standard sets. This investigation produces a theory with a variety of applications in functional analysis. For example, a specialization of some of our general results will yield such classical compactness theorems as Schauder's theorem, Mazur's theorem, and Gelfand-Philips's theorem.
The degenerate elliptic equation with zero Dirichlet boundary condition, where is a positive parameter, and 0$">, is studied in three aspects: existence of maximal solution, -dependence of maximal solution and multiplicity of solutions.
We calculate the Brauer group of the four dimensional Hopf algebra introduced by M. E. Sweedler. This Brauer group is defined with respect to a (quasi-) triangular structure on , given by an element . In this paper is a field . The additive group of is embedded in the Brauer group and it fits in the exact and split sequence of groups: where is the well-known Brauer-Wall group of . The techniques involved are close to the Clifford algebra theory for quaternion or generalized quaternion algebras.
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 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.