Asymptotics of convex sets in Euclidean and hyperbolic spaces

We study convex sets C of finite (but non-zero) volume in Hn and En. We show that the intersection C_∞ of any such set with the ideal boundary of Hn has Minkowski (and thus Hausdorff) dimension of at most (n−1)/2, and this bound is sharp, at least in some dimensions n. We also show a sharp bound when C_∞ is a smooth submanifold of _∂∞Hn. In the hyperbolic case, we show that for any k?(n−1)/2 there is a bounded section S of C through any prescribed point p, and we show an upper bound on the radius of the ball centered at p containing such a section. We show similar bounds for sections through the origin of a convex body in En, and give asymptotic estimates as 1?k?n.     

The discrete parts of approximately decidable sets in Euclidean spaces

It is shown that the classes of discrete parts, A ∩ ?^k, of approximately resp. weakly decidable subsets of Euclidean spaces, A ? ?^k, coincide and are equal to the class of ω‐r. e. sets which is well‐known as the first transfinite level in Ershov's hierarchy exhausting Δ⁰₂.     

A general theory of tensor products of convex sets in Euclidean spaces

Positivity - We introduce both the notions of tensor product of convex bodies that contain zero in the interior, and of tensor product of 0-symmetric convex bodies in Euclidean spaces. We prove...     

Random embeddings of Euclidean spaces in sequence spaces

It is proved that for some absolute constantd and forn≦dm mostn×m matrices with ± 1 entries are good embeddings ofl ₂ ⁿ intol ₁ ^m . Similar theorems are obtained wherel ₁ ^m is replaced by members of a wide class of sequence spaces. Supported in part by NSF Grant No. MCS-79-03042.     

Metric tangent spaces to Euclidean spaces

We prove that the metric spaces pretangent to a finite-dimensional Euclidean or unitary space E are isometric to E. As a consequence of this result, we describe the metric pretangent spaces at the nonsingular points of smooth surfaces. It is also proved that there exist the spaces pretangent to the Hilbert space l ₂ , which are not isometric to it.     

OnG-semidifferentiable functions in Euclidean spaces

We give a criterion for a functionf:R ⁿ R to be upperG-semidifferentiable in the sense of Ref. 1 at a point . Using this result, we describe upperG-semiderivatives whenG is, for instance, one of the following basic classes of homogeneous functions: the set of all continuous positively homogeneous functions, the set of differences of two sublinear functions, and the set of sublinear functions. As a result, connections between upperG-semidifferentiability and the concepts of differentiability in Refs. 2–4 are obtained.This research was supported by a grant from the World Laboratory. The author would like to thank Professor M. Pappalardo for useful comments.     

g-functions andg-derivatives in Euclidean spaces

In this paper we give several results showing the correspondence between g-functions and g-derivatives with the usual concepts in Euclidean spaces. Entrata in Redazione il 16 novembre 1970.     

On quasiplanes in Euclidean spaces

A variational inequality for the images of -dimensional hyperplanes under quasiconformal maps of the -dimensional Euclidean space is proved when

     

Equi-isoclinic planes of Euclidean spaces

In a Euclidean space, a p-set of equi-isoclinic planes is a set of p isoclinic planes of which each pair has the same non-zero angle.The Euclidean 4-space E⁴ contains a unique congruence class of quadruples of equi-isoclinic planes, whereas quintuples of equi-isoclinic planes do not exist in E⁴.In the following a method is given to derive sets of equi-isoclinic planes in Euclidean spaces. We find again the well-known sets of equi-isoclinic planes of E⁴. The quadruples of equi-isoclinic planes in E⁵ are derived. It turns out that E⁵ contains one congruence class of such quadruples which are not flat quadruples and one congruence class of quintuples of equi-isoclinic planes, whereas sextuples of equi-isoclinic planes do not exist in E⁵.It appears that the symmetry group of that quintuple is isomorphic to the symmetric group S₅.     

Transitive sets in Euclidean Ramsey theory

A finite set X in some Euclidean space Rn is called Ramsey if for any k there is a d such that whenever Rd is k-coloured it contains a monochromatic set congruent to X. This notion was introduced by Erd?s, Graham, Montgomery, Rothschild, Spencer and Straus, who asked if a set is Ramsey if and only if it is spherical, meaning that it lies on the surface of a sphere. This question (made into a conjecture by Graham) has dominated subsequent work in Euclidean Ramsey theory.In this paper we introduce a new conjecture regarding which sets are Ramsey; this is the first ever ‘rival’ conjecture to the conjecture above. Calling a finite set transitive if its symmetry group acts transitively—in other words, if all points of the set look the same—our conjecture is that the Ramsey sets are precisely the transitive sets, together with their subsets. One appealing feature of this conjecture is that it reduces (in one direction) to a purely combinatorial statement. We give this statement as well as several other related conjectures. We also prove the first non-trivial cases of the statement.Curiously, it is far from obvious that our new conjecture is genuinely different from the old. We show that they are indeed different by proving that not every spherical set embeds in a transitive set. This result may be of independent interest.     

Embedding metric spaces in Euclidean space

In this paper, we give necessary and sufficient conditions for embedding a given metric space in Euclidean space. We shall introduce the notions of flatness and dimension for metric spaces and prove that a metric space can be embedded in Euclidean n-space if and only if the metric space is flat and of dimension less than or equal to n.     

Euclidean self-similar sets generated by geometrically independent sets

For every integer n>0, we consider all iterated function systems generated by n+1 Euclidean similarities acting on Rn whose fixed points form the set of vertices of an n-simplex, and characterize the nature of attractors of such iterated function systems in terms of contractivity factors of their generators.     

Biharmonic ideal hypersurfaces in Euclidean spaces

Let $x:M\to {\mathbb{E}}^m$ be an isometric immersion from a Riemannian n-manifold into a Euclidean m-space. Denote by Δ and $\overrightarrow{x}$ the Laplace operator and the position vector of M, respectively. Then M is called biharmonic if ${\mathrm{\Delta }}^2\overrightarrow{x}=0$. The following Chen?s Biharmonic Conjecture made in 1991 is well-known and stays open: The only biharmonic submanifolds of Euclidean spaces are the minimal ones. In this paper we prove that the biharmonic conjecture is true for $\delta (2)$-ideal and $\delta (3)$-ideal hypersurfaces of a Euclidean space of arbitrary dimension.     

Anisotropic isoparametric hypersurfaces in Euclidean spaces

In this paper, by Nomizu’s method and some technical treatment of the asymmetry of the F-Weingarten operator, we obtain a classification of complete anisotropic isoparametric hypersurfaces, i.e., hypersurfaces with constant anisotropic principal curvatures, in Euclidean spaces, which is a generalization of the classical case for isoparametric hypersurfaces in Euclidean spaces. On the other hand, by an example of local anisotropic isoparametric surface constructed by B. Palmer, we find that in general anisotropic isoparametric hypersurfaces have both local and global aspects as in the theory of proper Dupin hypersurfaces, which differs from classical isoparametric hypersurfaces.     

Characterizations of Sobolev spaces in Euclidean spaces and Heisenberg groups

Recently, many new features of Sobolev spaces W k,p ？RN ？ were studied in [4-6, 32]. This paper is devoted to giving a brief review of some known characterizations of Sobolev spaces in Euclidean spaces and describing our recent study of new characterizations of Sobolev spaces on both Heisenberg groups and Euclidean spaces obtained in [12] and [13] and outlining their proofs. Our results extend those characterizations of first order Sobolev spaces in [32] to the Heisenberg group setting. Moreover, our theorems also provide diff erent characterizations for the second order Sobolev spaces in Euclidean spaces from those in [4, 5].     

Zone diagrams in Euclidean spaces and in other normed spaces

Zone diagrams are a variation on the classical concept of Voronoi diagrams. Given n sites in a metric space that compete for territory, the zone diagram is an equilibrium state in the competition. Formally it is defined as a fixed point of a certain “dominance” map. Asano, Matou?ek, and Tokuyama proved the existence and uniqueness of a zone diagram for point sites in the Euclidean plane, and Reem and Reich showed existence for two arbitrary sites in an arbitrary metric space. We establish existence and uniqueness for n disjoint compact sites in a Euclidean space of arbitrary (finite) dimension, and more generally, in a finite-dimensional normed space with a smooth and rotund norm. The proof is considerably simpler than that of Asano et?al. We also provide an example of non-uniqueness for a norm that is rotund but not smooth. Finally, we prove existence and uniqueness for two point sites in the plane with a smooth (but not necessarily rotund) norm.     

Hausdorff operators on Euclidean spaces

Hausdorff operator is an important operator raised from the dilation on Euclidean space and rooted in the classical summability of number series and Fourier series. It is also connected to many well known operators in real and complex analysis. This article is a survey of some recent developments and extensions on the Hausdorff operator. Particularly, various boundedness properties of the Hausdorff operators, studied recently by our research group, are addressed.