共查询到20条相似文献,搜索用时 31 毫秒
1.
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.
2.
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.
3.
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 .
4.
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.
5.
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.
6.
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 .
7.
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.
8.
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.
9.
Felix Schlenk 《Proceedings of the American Mathematical Society》2003,131(6):1925-1929
We consider a connected smooth -dimensional manifold endowed with a volume form , and we show that an open subset of of Lebesgue measure embeds into by a smooth volume preserving embedding whenever the volume condition is met.
10.
Liana M. Sega 《Proceedings of the American Mathematical Society》2003,131(8):2313-2323
We prove that if , are finite modules over a Gorenstein local ring of codimension at most , then the vanishing of for is equivalent to the vanishing of for . Furthermore, if has no embedded deformation, then such vanishing occurs if and only if or has finite projective dimension.
11.
A Borel (or even analytic) subring of either has Hausdorff dimension or is all of . Extensions of the method of proof yield (among other things) that any analytic subring of having positive Hausdorff dimension is equal to either or .
12.
In this note we provide an example of a semi-hyponormal Hilbert space operator for which is not -hyponormal for some and all .
13.
Let be the right-angled hyperbolic dodecahedron or -cell, and let be the group generated by reflections across codimension-one faces of . We prove that if is a torsion free subgroup of minimal index, then the corresponding hyperbolic manifold is determined up to homeomorphism by modulo symmetries of .
14.
Robert Gilmer 《Proceedings of the American Mathematical Society》2003,131(8):2337-2346
Let be an integral domain with quotient field and integral closure . An overring of is a subring of containing , and denotes the set of overrings of . We consider primarily two finiteness conditions on : (FO), which states that is finite, and (FC), the condition that each chain of distinct elements of is finite. (FO) is strictly stronger than (FC), but if , each of (FO) and (FC) is equivalent to the condition that is a Prüfer domain with finite prime spectrum. In general satisfies (FC) iff satisfies (FC) and all chains of subrings of containing have finite length. The corresponding statement for (FO) is also valid.
15.
On strong convergence to common fixed points of nonexpansive semigroups in Hilbert spaces 总被引:3,自引:0,他引:3
Tomonari Suzuki 《Proceedings of the American Mathematical Society》2003,131(7):2133-2136
In this paper, we prove the following strong convergence theorem: Let be a closed convex subset of a Hilbert space . Let be a strongly continuous semigroup of nonexpansive mappings on such that . Let and be sequences of real numbers satisfying , 0$"> and . Fix and define a sequence in by for . Then converges strongly to the element of nearest to .
16.
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.
17.
Hans Schoutens 《Proceedings of the American Mathematical Society》2003,131(1):103-112
Using a tight closure argument in characteristic and then lifting the argument to characteristic zero with the aid of ultraproducts, I present an elementary proof of the Briançon-Skoda Theorem: for an -generated ideal of , the -th power of its integral closure is contained in . It is well-known that as a corollary, one gets a solution to the following classical problem. Let be a convergent power series in variables over which vanishes at the origin. Then lies in the ideal generated by the partial derivatives of .
18.
Inhyeop Yi 《Proceedings of the American Mathematical Society》2003,131(4):1273-1282
Let be an edge-wrapping rule which presents a one-dimensional generalized solenoid , and let be the adjacency matrix of . When is a wedge of circles and leaves the unique branch point fixed, we show that the stationary dimension group of is an invariant of homeomorphism of even if is not orientable.
19.
Zbigniew Jelonek 《Proceedings of the American Mathematical Society》2003,131(5):1361-1367
Let be a polynomial of degree . Assume that the set there is a sequence s.t. and is finite. We prove that the set of generalized critical values of (hence in particular the set of bifurcation points of ) has at most points. Moreover, We also compute the set effectively.
20.
Michael Bolt 《Proceedings of the American Mathematical Society》2003,131(4):1131-1136
In this paper it is shown that a connected smooth local hypersurface in for which the skew-hermitian part of the Bochner-Martinelli kernel has a weak singularity must lie on a surface having one of the following forms: for some , or where is a one-dimensional curve. This strengthens results of Boas about the Bochner-Martinelli kernel and it generalizes a result of Kerzman and Stein about the Cauchy kernel.