共查询到20条相似文献,搜索用时 343 毫秒
1.
Sufficient conditions for one domain to contain another in a space of constant curvature 总被引:4,自引:0,他引:4
Jiazu Zhou 《Proceedings of the American Mathematical Society》1998,126(9):2797-2803
As an application of the analogue of C-S. Chen's kinematic formula in the 3-dimensional space of constant curvature , that is, Euclidean space , -sphere , hyperbolic space (, respectively), we obtain sufficient conditions for one domain to contain another domain in either an Euclidean space , or a -sphere or a hyperbolic space .
2.
Witold Marciszewski 《Proceedings of the American Mathematical Society》2003,131(6):1965-1969
Assuming that the minimal cardinality of a dominating family in is equal to , we construct a subset of a real line such that the space of continuous real-valued functions on does not admit any continuous bijection onto a -compact space. This gives a consistent answer to a question of Arhangel'skii.
3.
Karel Dekimpe 《Proceedings of the American Mathematical Society》2003,131(3):973-978
We are dealing with Lie groups which are diffeomorphic to , for some . After identifying with , the multiplication on can be seen as a map . We show that if is a polynomial map in one of the two (sets of) variables or , then is solvable. Moreover, if one knows that is polynomial in one of the variables, the group is nilpotent if and only if is polynomial in both its variables.
4.
Aron Simis Rafael H. Villarreal 《Proceedings of the American Mathematical Society》2003,131(7):2043-2048
Let be a field and let be a finite set of monomials whose exponents lie on a positive hyperplane. We give necessary conditions for the normality of both the Rees algebra and the subring . If the monomials in have the same degree, one of the consequences is a criterion for the -rational map defined by to be birational onto its image.
5.
Larry Smith 《Proceedings of the American Mathematical Society》2003,131(4):1043-1048
Let be a representation of a finite group over the field . Denote by the algebra of polynomial functions on the vector space . The group acts on and hence also on . The algebra of coinvariants is , where is the ideal generated by all the homogeneous -invariant forms of strictly positive degree. If the field has characteristic zero, then R. Steinberg has shown (this is the formulation of R. Kane) that is a Poincaré duality algebra if and only if is a pseudoreflection group. In this note we explore the situation for fields of nonzero characteristic. We prove an analogue of Steinberg's theorem for the case and give a counterexample in the modular case when .
6.
Krzysztof Plotka 《Proceedings of the American Mathematical Society》2003,131(4):1031-1041
We say that a function is a Hamel function ( ) if , considered as a subset of , is a Hamel basis for . We prove that every function from into can be represented as a pointwise sum of two Hamel functions. The latter is equivalent to the statement: for all there is a such that . We show that this fails for infinitely many functions.
7.
Richard Delaware 《Proceedings of the American Mathematical Society》2003,131(8):2537-2542
A set is -straight if has finite Hausdorff -measure equal to its Hausdorff -content, where is continuous and non-decreasing with . Here, if satisfies the standard doubling condition, then every set of finite Hausdorff -measure in is shown to be a countable union of -straight sets. This also settles a conjecture of Foran that when , every set of finite -measure is a countable union of -straight sets.
8.
Ali Abkar 《Proceedings of the American Mathematical Society》2003,131(1):155-164
Let denote the unit disk in the complex plane. We consider a class of superbiharmonic weight functions whose growth are subject to the condition for some constant . We first establish a Reisz-type representation formula for , and then use this formula to prove that the polynomials are dense in the weighted Bergman space with weight .
9.
Ahmad El Soufi Saï d Ilias 《Proceedings of the American Mathematical Society》2003,131(5):1611-1618
Let be a compact manifold. First, we give necessary and sufficient conditions for a Riemannian metric on to be extremal for with respect to conformal deformations of fixed volume. In particular, these conditions show that for any lattice of , the flat metric induced on from the standard metric of is extremal (in the previous sense). In the second part, we give, for any , an upper bound of on the conformal class of and exhibit a class of lattices for which the metric maximizes on its conformal class.
10.
Nobuhiro Asai Izumi Kubo Hui-Hsiung Kuo 《Proceedings of the American Mathematical Society》2003,131(3):815-823
Let and denote the Gaussian and Poisson measures on , respectively. We show that there exists a unique measure on such that under the Segal-Bargmann transform the space is isomorphic to the space of analytic -functions on with respect to . We also introduce the Segal-Bargmann transform for the Poisson measure and prove the corresponding result. As a consequence, when and have the same variance, and are isomorphic to the same space under the - and -transforms, respectively. However, we show that the multiplication operators by on and on act quite differently on .
11.
Stephen J. Gardiner Mary Hanley 《Proceedings of the American Mathematical Society》2003,131(3):773-779
Let denote a relatively closed subset of the unit ball of . The purpose of this paper is to characterize those sets which have the following property: any harmonic function on which satisfies on (where 0$">) can be locally uniformly approximated on by a sequence of harmonic polynomials which satisfy the same inequality on . This answers a question posed by Stray, who had earlier solved the corresponding problem for holomorphic functions on the unit disc.
12.
Giuliana Fatabbi Brian Harbourne Anna Lorenzini 《Proceedings of the American Mathematical Society》2006,134(12):3475-3483
Let be a fat point subscheme of , and let be a linear form such that some power of vanishes on (i.e., the support of lies in the hyperplane defined by , regarded as ). Let , where is the subscheme of residual to ; note that is a fat points subscheme of . In this paper we give a graded free resolution of the ideal over , in terms of the graded minimal free resolutions of the ideals . We also give a criterion for when the resolution is minimal, and we show that this criterion always holds if .
13.
R. Travis Kowalski 《Proceedings of the American Mathematical Society》2002,130(12):3679-3686
We give an example of a hypersurface in through whose stability group at is determined by -jets, but not by jets of any lesser order. We also examine some of the properties which the stability group of this infinite type hypersurface shares with the -sphere in .
14.
Francesco Uguzzoni 《Proceedings of the American Mathematical Society》1999,127(1):117-123
Let be the Kohn Laplacian on the Heisenberg group and let be a halfspace of whose boundary is parallel to the center of . In this paper we prove that if is a non-negative -superharmonic function such that
then in .
15.
Fernando Etayo 《Proceedings of the American Mathematical Society》2003,131(9):2911-2920
In this note we define the measure of holomorphicness of a compact real submanifold of an almost Hermitian manifold . The number verifies the following properties: is a complex submanifold iff ; if is odd, then . Explicit examples of surfaces in are obtained, showing that and that , being the Clifford torus.
16.
Let be an operator weight, i.e. a weight function taking values in the bounded linear operators on a Hilbert space . We prove that if the dyadic martingale transforms are uniformly bounded on for each dyadic grid in , then the Hilbert transform is bounded on as well, thus providing an analogue of Burkholder's theorem for operator-weighted -spaces. We also give a short new proof of Burkholder's theorem itself. Our proof is based on the decomposition of the Hilbert transform into ``dyadic shifts'.
17.
Richard L. Baker 《Proceedings of the American Mathematical Society》2004,132(9):2577-2591
Let be the set of real numbers, and define . We construct a complete measure space where the -algebra contains the Borel subsets of , and is a translation-invariant measure such that for any measurable rectangle , if , then , where is Lebesgue measure on . The measure is not -finite. We prove three Fubini theorems, namely, the Fubini theorem, the mean Fubini-Jensen theorem, and the pointwise Fubini-Jensen theorem. Finally, as an application of the measure , we construct, via selfadjoint operators on , a ``Schrödinger model' of the canonical commutation relations: , , .
18.
Naoya Sumi 《Proceedings of the American Mathematical Society》1999,127(3):915-924
We show that on the 2-torus there exists a open set of regular maps such that every map belonging to is topologically mixing but is not Anosov. It was shown by Mañé that this property fails for the class of toral diffeomorphisms, but that the property does hold for the class of diffeomorphisms on the 3-torus . Recently Bonatti and Diaz proved that the second result of Mañé is also true for the class of diffeomorphisms on the -torus ().
19.
Tzu-Chun Lin 《Proceedings of the American Mathematical Society》2006,134(6):1599-1604
Let be a faithful representation of a finite group over the field . Via the group acts on and hence on the algebra of homogenous polynomial functions on the vector space . R. Kane (1994) formulated the following result based on the work of R. Steinberg (1964): If the field has characteristic 0, then is a Poincaré duality algebra if and only if is a pseudoreflection group. The purpose of this note is to extend this result to the case (i.e. the order of is relatively prime to the characteristic of ).
20.
Rodney Y. Sharp 《Proceedings of the American Mathematical Society》2003,131(10):3009-3017
It is a well-known result of M. Brodmann that if is an ideal of a commutative Noetherian ring , then the set of associated primes of the -th power of is constant for all large . This paper is concerned with the following question: given a prime ideal of which is known to be in for all large integers , can one identify a term of the sequence beyond which will subsequently be an ever-present? This paper presents some results about convergence of sequences of sets of associated primes of graded components of finitely generated graded modules over a standard positively graded commutative Noetherian ring; those results are then applied to the above question.