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.
Let be a generalized frame in a separable Hilbert space indexed by a measure space , and assume its analysing operator is surjective. It is shown that is essentially discrete; that is, the corresponding index measure space can be decomposed into atoms such that is isometrically isomorphic to the weighted space of all sequences of complex numbers with , where This provides a new proof for the redundancy of the windowed Fourier transform as well as any wavelet family in .
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 consider the problem of minimizing the energy of the maps from the annulus to such that is equal to for , and to , for , where is a fixed angle.
We prove that the minimum is attained at a unique harmonic map which is a planar map if , while it is not planar in the case \pi^2$">.
Moreover, we show that tends to as , where minimizes the energy of the maps from to , with the boundary condition , .
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.
We consider constant symmetric tensors on , , and we study the problem of finding metrics conformal to the pseudo-Euclidean metric such that . We show that such tensors are determined by the diagonal elements and we obtain explicitly the metrics . As a consequence of these results we get solutions globally defined on for the equation Moreover, we show that for certain unbounded functions defined on , there are metrics conformal to the pseudo-Euclidean metric with scalar curvature .
In 1992, Blanc and Brylinski showed the following property for a -adic group , called the ``abstract Selberg principle': the orbital integrals on conjugacy classes of non-compact elements of the Hattori rank of a finitely generated projective smooth representation of vanish. The proof is by explicit computations of ``low' level ( and cyclic and Hochschild cohomologies. Here we intend to show that this property is actually a direct consequence of two facts: Clozel's integration formula (which leads us to assume the defining characteristic to be zero) and the triviality of the action of unramified characters on the of (which is also proven here, using a standard -theoretic argument due to Grothendieck).
Every system of linearly independent homogeneous linear equations in unknowns with coefficients in has a unique (up to multiplication by ) non-zero solution vector in which the 's are integers with no common divisor greater than 1. It is known that, for large , can be arbitrarily greater than . We prove that if every equation, written as , is such that and are intervals of contiguous indices, then . This confirms conjectures of the author and Fred Roberts that arose in the theory of unique finite measurement.
Let be a local ring and let be an ideal of positive height. If is a reduction of , then the coefficient ideal is by definition the largest ideal such that . In this article we study the ideal when the Rees algebra is Cohen-Macaulay.
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.
Let be a monic polynomial of degree , with complex coefficients, and let be its monic factor. We prove an asymptotically sharp inequality of the form , where denotes the sup norm on a compact set in the plane. The best constant in this inequality is found by potential theoretic methods. We also consider applications of the general result to the cases of a disk and a segment.
We estimate double exponential sums of the form
where is of multiplicative order modulo the prime and and are arbitrary subsets of the residue ring modulo . In the special case , our bound is nontrivial for with any fixed 0$">, while if in addition we have it is nontrivial for .
The author discusses the semilinear parabolic equation with . Under suitable assumptions on and , he proves that, if with , then the solutions are global, while if with 1$">, then the solutions blow up in a finite time, where is a positive solution of , with .
Given the disk algebra and an automorphism , there is associated a non-self-adjoint operator algebra called the semicrossed product of with . Buske and Peters showed that there is a one-to-one correspondence between the contractive Hilbert modules over and pairs of contractions and on satisfying . In this paper, we show that the orthogonally projective and Shilov Hilbert modules over correspond to pairs of isometries on satisfying . The problem of commutant lifting for is left open, but some related results are presented. 相似文献
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 .