The caratheodory number for thek-core

Thek-core of the setS ⁿ is the intersection of the convex hull of all setsA S with ¦SA¦<-k. The Caratheodory number of thek-core is the smallest integerf (d,k) with the property thatx core _{kS, S} ⁿ implies the existence of a subsetT S such thatx core_kT and ¦T¦f (d, k). In this paper various properties off(d, k) are established.Research of this author was partially supported by Hungarian National Science Foundation grant no. 1812.     

Ouverts d"harmonicité pour les fonctions séparément harmoniques

Let D ^N , G ^M be two open sets, E D and F G two compact sets which satisfy the condition (H) (that is a harmonic condition similar to Leja"s condition). We find an open set ^N+M such that each separately harmonic function f : X : = (D× F) (E × G) (i.e.: for all x in E, f(x,.) is harmonic on G; for all y in F, f(., y) is harmonic on D) extends to a harmonic function on .     

A solution of Hadwiger's covering problem for zonoids

For a convex body M ⁿ byb(M) the least integerp is denoted, such that there are bodiesM ₁, ...,M _p each of which is homothetic toM with a positive ratiok<1 andM ₁...M _p M. H. Martini has proved [7] thatb(M)<-3·2 ^n–2 for every zonotope M ⁿ , which is not a parallelotope.In the paper this Martini's result is extended to zonoids. In the proof some notions and facts of real functions theory are used (points of density, approximative continuity).     

The cross-section body, plane sections of convex bodies and approximation of convex bodies, I

For a convex body K ^d we investigate three associated bodies, its intersection body IK (for 0int K), cross-section body CK, and projection body IIK, which satisfy IKCKIIK. Conversely we prove CKconst₁(d)I(K–x) for some xint K, and IIKconst₂ (d)CK, for certain constants, the first constant being sharp. We estimate the maximal k-volume of sections of 1/2(K+(-K)) with k-planes parallel to a fixed k-plane by the analogous quantity for K; our inequality is, if only k is fixed, sharp. For L ^d a convex body, we take n random segments in L, and consider their Minkowski average D. We prove that, for V(L) fixed, the supremum of V(D) (with also nN arbitrary) is minimal for L an ellipsoid. This result implies the Petty projection inequality about max V((IIM)*), for M ^d a convex body, with V(M) fixed. We compare the volumes of projections of convex bodies and the volumes of the projections of their sections, and, dually, the volumes of sections of convex bodies and the volumes of sections of their circumscribed cylinders. For fixed n, the pth moments of V(D) (1p<) also are minimized, for V(L) fixed, by the ellipsoids. For k=2, the supremum (nN arbitrary) and the pth moment (n fixed) of V(D) are maximized for example by triangles, and, for L centrally symmetric, for example by parallelograms. Last we discuss some examples for cross-section bodies.Research (partially) supported by Hungarian National Foundation for Scientific Research, Grant No. 41.     

Variations on the theme of repeated distances

We give an asymptotically sharp estimate for the error term of the maximum number of unit distances determined byn points in ^{d, d}4. We also give asymptotically tight upper bounds on the total number of occurrences of the favourite distances fromn points in ^{d, d}4. Related results are proved for distances determined byn disjoint compact convex sets in ².At the time this paper was written, both authors were visiting the Technion — Israel Institute of Technology.     

A sandwich theorem and Hyers—Ulam stability of affine functions

It is shown that two real functionsf andg, defined on a real intervalI, satisfy the inequalitiesf(x + (1 – )y) g(x) + (1 – )g(y) andg(x + (1 – )y) f(x) + (1 – )f(y) for allx, y I and [0, 1], iff there exists an affine functionh: I such thatf h g. As a consequence we obtain a stability result of Hyers—Ulam type for affine functions.     

On local oscillatory integrals with variable Calderón-Zygmund kernels

Letp(1, ). In this paper, the authors investigate the uniformL ^p ( ⁿ ) in of the oscillatory singular integral operatorT defined by

Perron-frobenius theory for Banach spaces with a hyperbolic cone

If X is a real Banach space, then the inequality x defines so-called hyperbolic cone in E=X. We develop a relevant version of Perron-Frobenius-Krein-Rutman theory.     

Chaotic unbounded differentiation operators

We construct dense sets of hypercyclic vectors for unbounded differention operators, including differentiation operators on the Hardy spaceH ₂, and the Laplacian operator onL ₂((), for any bounded open subset of ². Furthermore, we show that these operators are chaotic, in the sense of Devaney.     

Wiener-Ditkin sets for certain beurling algebras

It is proved that closed subgroups of ⁿ are Wiener-Ditkin sets for the Beurling algebrasL ¹ ( ⁿ ), <1.     

Downward Sets and their separation and approximation properties

We develop a theory of downward subsets of the space ^I, where I is a finite index set. Downward sets arise as the set of all solutions of a system of inequalities x^I,f_t(x)0 (tT), where T is an arbitrary index set and each f _t (tT) is an increasing function defined on ^I. These sets play an important role in some parts of mathematical economics and game theory. We examine some functions related to a downward set (the distance to this set and the plus-Minkowski gauge of this set, which we introduce here) and study lattices of closed downward sets and of corresponding distance functions. We discuss two kinds of duality for downward sets, based on multiplicative and additive min-type functions, respectively, and corresponding separation properties, and we give some characterizations of best approximations by downward sets. Some links between the multiplicative and additive cases are established.     

Parabolische Kollineationen,die eine ebene konvexe Menge invariant lassen

Collineations ₁, ₂ of PG(2, ) leaving invariant a compact convex setK ² are called parabolic if |K Fix _i|=1. Conditions are stated under which the existence of ₁, ₂ imply that K is an ellipse.

Herrn Helmut R. Salzmann zum 65. Geburtstag gewidmet     

Finitely starlike sets whose F-stars have positive measure

Let and assume that there is a countable collection of lines {L _i : 1 i} such that (int cl S) and ((int cl S) S) L _i has one-dimensional Lebesgue measure zero, 1 i. Then every 4 point subset ofS sees viaS a set of positive two-dimensional Lebesgue measure if and only if every finite subset ofS sees viaS such a set. Furthermore, a parallel result holds with two-dimensional replaced by one-dimensional. Finally, setS is finitely starlike if and only if every 5 points ofS see viaS a common point. In each case, the number 4 or 5 is best possible.Supported in part by NSF grant DMS-8705336.     

Bochner-Riesz means of functions in weak-L p

The Bochner-Riesz means of order 0 for suitable test functions on ^N are defined via the Fourier transform by . We show that the means of the critical index , do not mapL ^p,( ^N ) intoL ^p,( ^N ), but they map radial functions ofL ^p,( ^N ) intoL ^p,( ^N ). Moreover, iff is radial and in theL ^p,( ^N ) closure of test functions,S _R f(x) converges, asR+, tof(x) in norm and for almost everyx in ^N . We also observe that the means of the function|x| ^–N/p, which belongs toL ^p,( ^N ) but not to the closure of test functions, converge for nox.     

Sur certaines algèbres associées à une mesure de Guelfand

Let be a Guelfand measure (cf. [A, B]) on a locally compact groupG DenoteL ₁ (G)=*L ₁(G)* the commutative Banach algebra associated to . We show thatL ₁ (G) is semi-simple and give a characterization of the closed ideals ofL ₁ (G). Using the -spherical Fourier transform, we characterize all linear bounded operators inL ₁ (G) which are invariants by -translations (i.e. such that ¹(( _x f) )=( _x ((f)) for eachxG andfL ₁ (G); where _x f(y)=f(xy); x,y G). WhenG is compact, we study the algebraL ₁ (G) and obtain results analogous to ones obtained for the commutative case: we show thatL ₁ (G) is regular, all closed sets of its Guelfand spectrum are sets of synthesis and establish theorems of harmonic synthesis for functions inL _p (G) (p=1,2 or +).

     

Permutation identity near-rings and “localized” distributivity conditions

A near-ringR is said to satisfy apermutation identity if there is some non-identity permutation of lengthn such that a _j =a _(j), for eacha ₁, ...,a _n R. Numerous examples of permutation identity near-rings are given. The theory is then developed making use of various localized distributive conditions, which include as special cases most of the standard global ones (e. g., d. g., pseudo-distributive). These localized conditions only assume distributivity among the elements of certain special (and often small) sets. Particularly useful for such sets are powers of the ideals generated by the sets of Lie commutators, additive commutators, or distributive elements. Examples are given where a localized condition holds yet none of the usual global ones do. Results are obtained concerning prime, semiprime, or maximal ideals as well as regular, simple, or subdirectly irreducible near-rings.     

On strong maximal operators corresponding to different frames

The problem is posed and solved whether the conditionsf L(1+1n⁺ L)²(²) and are equivalent for functionsf L(²) (whereM _2, denotes the strong maximal operator corresponding to the frame {OX ,OY }).The results obtained represent a general solution of M. de Guzmán's problem that was previously studied by various authors.     

j-partitions for visible shorelines

Summary LetC be a compact set inR ². A setS R ² C is said to have aj-partition relative toC if and only if there existj or fewer pointsc ₁,, c _j inC such that each point ofS sees somec _i via the complement ofC. Letm, j be fixed integers, 3 m, 2 j, and writem (uniquely) asm = qj + r, where 1 r j. Assume thatC is a convexm-gon in R², withS R ² C. Forq = 0 orq = 1, the setS has aj-partition relative toC. Forq 2,S has aj-partition relative toC if and only if every (qj + 1)-member subset ofS has aj-partition relative toC, and the Helly numberqj + 1 is best possible.IfC is a disk, no such Helly number exists.     

On staircase starshapedness in rectilinear spaces

Let P ⁿ be a union of a finite number of boxes whose intersection graph is a tree. If every two boundary points of P are visible via staircase paths from a common point of P, then P is starshaped via staircase paths. The same result holds true when P is a cubical polyhedron of ⁿ , which is the geometric realization of some median graph.This generalizes the recent result of M. Breen, J. Geometry, 51 (1994), established for simple rectilinear polygons.Research for this paper was done while the author was visiting the Mathematisches Seminar der Universität Hamburg, on leave from the Universitatea de Stat din Moldova. The author gratefully acknowledges financial support by the Alexander von Humboldt Stifting.     

Reconstructing dimensions of intersections of convex sets

Denoting by dimA the dimension of the affine hull of the setA, we prove that if {K _i:i T} and {K _i ^j :i T} are two finite families of convex sets inR ⁿ and if dim {K _i :i S} = dim {K _i ^j :i S}for eachS T such that|S| n + 1 then dim {K _i :i T} = dim {K _i : {i T}}.