共查询到20条相似文献,搜索用时 46 毫秒
1.
Kô tarô Tanahashi Atsushi Uchiyama 《Proceedings of the American Mathematical Society》2000,128(6):1691-1695
Let be real numbers with and Furuta (1987) proved that if bounded linear operators on a Hilbert space satisfy , then . This inequality is called the Furuta inequality and has many applications. In this paper, we prove that the Furuta inequality holds in a unital hermitian Banach -algebra with continuous involution.
2.
Giovanni Stegel 《Proceedings of the American Mathematical Society》2000,128(6):1807-1812
Consider a discrete group and a bounded self-adjoint convolution operator on ; let be the spectrum of . The spectral theorem gives a unitary isomorphism between and a direct sum , where , and is a regular Borel measure supported on . Through this isomorphism corresponds to multiplication by the identity function on each summand. We prove that a nonzero function and its transform cannot be simultaneously concentrated on sets , such that and the cardinality of are both small. This can be regarded as an extension to this context of Heisenberg's classical uncertainty principle.
3.
Francesca Tartarone 《Proceedings of the American Mathematical Society》2000,128(6):1617-1625
Let be a domain with quotient field . The ring of integer-valued polynomials over is . We characterize the Krull-type domains such that is a Prüfer -multiplication domain.
4.
A sequence of positive integers is called a -sequence if every integer has at most representations with all in and . A -sequence is also called a -sequence or Sidon sequence. The main result is the following
Theorem. Let be a -sequence and for an integer . Then there is a -sequence of size , where .
Corollary. Let . The interval then contains a -sequence of size , when .
5.
In 1992, Móricz, Schipp and Wade proved the a.e. convergence of the double means of the Walsh-Fourier series () for functions in ( is the unit square). This paper aims to demonstrate the sharpness of this result. Namely, we prove that for all measurable function we have a function such as and does not converge to a.e. (in the Pringsheim sense).
6.
Hisao Taya 《Proceedings of the American Mathematical Society》2000,128(5):1285-1292
Let be a square-free integer with and . Put and . For the cyclotomic -extension of , we denote by the -th layer of over . We prove that the -Sylow subgroup of the ideal class group of is trivial for all integers if and only if the class number of is not divisible by the prime . This enables us to show that there exist infinitely many real quadratic fields in which splits and whose Iwasawa -invariant vanishes.
7.
Tomoaki Ono 《Proceedings of the American Mathematical Society》2000,128(2):353-360
Let be a tower of rings of characteristic . Suppose that is a finitely presented -module. We give necessary and sufficient conditions for the existence of -bases of over . Next, let be a polynomial ring where is a perfect field of characteristic , and let be a regular noetherian subring of containing such that . Suppose that is a free -module. Then, applying the above result to a tower of rings, we shall show that a polynomial of minimal degree in is a -basis of over .
8.
Paola Cellini 《Proceedings of the American Mathematical Society》2000,128(6):1633-1639
Let be a Coxeter system with set of reflections . It is known that if is a total reflection order for , then, for each , and its complement are stable under conjugation by . Moreover the upper and lower -conjugates of are still total reflection orders. For any total order on , say that is stable if is stable under conjugation by for each . We prove that if and all orders obtained from by successive lower or upper -conjugations are stable, then is a total reflection order.
9.
We consider the problem of the classification of semisimple Hopf algebras of dimension where are two prime numbers. First we prove that the order of the group of grouplike elements of is not , and that if it is , then . We use it to prove that if and its dual Hopf algebra are of Frobenius type, then is either a group algebra or a dual of a group algebra. Finally, we give a complete classification in dimension , and a partial classification in dimensions and .
10.
Byeong-Kweon Oh 《Proceedings of the American Mathematical Society》2000,128(3):683-689
Let be the minimal rank of -universal -lattices, by which we mean positive definite -lattices which represent all positive -lattices of rank . It is a well known fact that for . In this paper, we determine and find all -universal lattices of rank for .
11.
Jin-Hong Kim 《Proceedings of the American Mathematical Society》2000,128(3):865-871
In this article we show that when the structure group of the reducible principal bundle is and is an -subbundle of , the rank of the holonomy group of a connection which is gauge equivalent to its conjugate connection is less than or equal to , and use the estimate to show that for all odd prime , if the holonomy group of the irreducible connection as above is simple and is not isomorphic to , , or , then it is isomorphic to .
12.
Ferenc Weisz 《Proceedings of the American Mathematical Society》2000,128(8):2337-2345
The -dimensional dyadic martingale Hardy spaces are introduced and it is proved that the maximal operator of the means of a Walsh-Fourier series is bounded from to and is of weak type , provided that the supremum in the maximal operator is taken over a positive cone. As a consequence we obtain that the means of a function converge a.e. to the function in question. Moreover, we prove that the means are uniformly bounded on whenever . Thus, in case , the means converge to in norm. The same results are proved for the conjugate means, too.
13.
Let be a family of contractive mappings on such that the attractor has nonvoid interior. We show that if the 's are injective, have non-vanishing Jacobian on , and have zero Lebesgue measure for then the boundary of has measure zero. In addition if the 's are affine maps, then the conclusion can be strengthened to . These improve a result of Lagarias and Wang on self-affine tiles.
14.
Daniel Wulbert 《Proceedings of the American Mathematical Society》2000,128(8):2431-2438
Let be a -finite, nonatomic, Baire measure space. Let be a finite dimensional subspace of . There is a bounded, continuous function, , defined on , such that
(1) for all , and (2) almost everywhere.
15.
Ignacio Villanueva 《Proceedings of the American Mathematical Society》2000,128(3):793-801
Given a -linear operator from a product of spaces into a Banach space , our main result proves the equivalence between being completely continuous, having an -valued separately continuous extension to the product of the biduals and having a regular associated polymeasure. It is well known that, in the linear case, these are also equivalent to being weakly compact, and that, for , being weakly compact implies the conditions above but the converse fails.
16.
Guia Medolla Alberto G. Setti 《Proceedings of the American Mathematical Society》2000,128(6):1733-1742
Let be a homogeneous tree of degree , , the Laplace operator of and the fundamental solution of the heat equation on . We show that the heat kernel is asymptotically concentrated in an annulus moving to infinity with finite speed . Asymptotic concentration of heat in the norm is also investigated.
17.
James E. Joseph Myung H. Kwack 《Proceedings of the American Mathematical Society》2000,128(6):1697-1701
Let be the family of holomorphic selfmaps of the unit disk in the complex plane . Heins established the continuity of the functional which assigns to ( denotes the identity map) either (i) the fixed point of or (ii) the limit of its iterations or (iii) if ( represents the boundary of ). Using an Abate extension of the Denjoy-Wolff lemma to strongly convex domains, we extend this result of Heins to selfmaps of strongly convex domains in with boundary.
18.
Paolo Lipparini 《Proceedings of the American Mathematical Society》2000,128(2):605-609
We prove the following: Theorem A. If is a -regular ultrafilter, then either
- (a)
- is -regular, or
- (b)
- the cofinality of the linear order is , and is -regular for all .
19.
Michael Levin James T. Rogers Jr. 《Proceedings of the American Mathematical Society》2000,128(5):1537-1541
We prove that if an open map of compacta and has perfect fibers and is a -space, then there exists a -dimensional compact subset of intersecting each fiber of . This is a stronger version of a well-known theorem of Kelley. Applications of this result and related topics are discussed.
20.
David R. Richman proved that for every integral matrix is a sum of seven -th powers. In this paper, in light of a question proposed earlier by M. Newman for the ring of integers of an algebraic number field, we obtain a discriminant criterion for every matrix over an order of an algebraic number field to be a sum of (seven) -th powers.