Krasnosel'skii numbers for bounded finitely starlike sets inR d

For eachk andd, 1kd, definef(d, d)=d+1 andf(d, k)=2d if 1kd–1. The following results are established:Let be a uniformly bounded collection of compact, convex sets inR ^d . For a fixedk, 1kd, dim {MM in }k if and only if for some > 0, everyf(d, k) members of contain a commonk-dimensional set of measure (volume) at least.LetS be a bounded subset ofR ^d . Assume that for some fixedk, 1kd, there exists a countable family of (k–l)-flats {H _i :i1} inR ^d such that clS S {H_i i 1 } and for eachi1, (clS S) H _i has (k–1) dimensional measure zero. Every finite subset ofS sees viaS a set of positivek-dimensional measure if and only if for some>0, everyf(d,k) points ofS see viaS a set ofk-dimensional measure at least .The numbers off(d,d) andf(d, 1) above are best possible.Supported in part by NSF grant DMS-8705336.     

On the Sobolev distance of convex bodies

Summary LetK ^d denote the cone of all convex bodies in the Euclidean spaceK ^d . The mappingK h _K of each bodyK K ^d onto its support function induces a metric _w onK ^d by" _w (K, L)h _L –h _{K w} where _w is the Sobolev I-norm on the unit sphere . We call _w (K, L) the Sobolev distance ofK andL. The goal of our paper is to develop some fundamental properties of the Sobolev distance.     

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}}.     

Geometric methods in the study of irregularities of distribution

Let be a signed measure on E ^d with E ^d =0 and ¦¦E^d<. DefineD _s() as sup ¦H¦ whereH is an open halfspace. Using integral and metric geometric techniques results are proved which imply theorems such as the following.Theorem A. Let be supported by a finite pointsetp _i. ThenD _s()>c _d(₁/ ₂)^1/2{ _{i(p i})²}^1/2 where ₁ is the minimum distance between two distinctp _i, and ₂ is the maximum distance. The numberc _d is an absolute dimensional constant. (The number .05 can be chosen forc ₂ in Theorem A.)Theorem B. LetD be a disk of unit area in the planeE ², andp ₁,p ₂,...,p _n be a set of points lying inD. If m if the usual area measure restricted toD, while nP _i=1/n defines an atomic measure _n, then independently of _n,nD _s(m – _n) .0335n ^1/4. Theorem B gives an improved solution to the Roth disk segment problem as described by Beck and Chen. Recent work by Beck shows thatnD _s(m – _n)cn ^1/4(logn)^–7/2.     

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.     

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.     

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.     

ℒ2 sets which are almost starshaped

Let S be a subset of R ^d . The set S is said to be an set if and only if for every two points x and y of S, there exists some z S such that [x, z] [z, y] S. Clearly every starshaped set is an set, yet the converse is false and introduces an interesting question: Under what conditions will an set S be almost starshaped; that is, when will there exist a convex subset C of S such that every point of S sees some point of C via SThis paper provides one answer to the question above, and we have the following result: Let S be a closed planar set, S simply connected, and assume that the set Q of points of local nonconvexity of S is finite. If some point p of S see each member of Q via S, then there is a convex subset C of S such that every point of S sees some point of C via S.     

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     

Sets associated with the farthest point problem

LetS be a convex compact set in a normed linear spaceX. For each cardinal numbern, defineS _n = {x X:x has exactlyn farthest points inS} andT _n = _kn S _k. It is shown that ifX =E thenT ₃ is countable andT ₂ is contractible to a point. Properties of associated level curves are given.     

Points of local nonconvexity and sets which are almost starshaped

Let Sø be a bounded connected set in R ², and assume that every 3 or fewer lnc points of S are clearly visible from a common point of S. Then for some point p in S, the set A{s : s in S and [p, s] S} is nowhere dense in S. Furthermore, when S is open, then S in starshaped.     

Extensions of an inequality of Bonnesen toD-dimensional space and curvature conditions for convex bodies

For convex bodies inE ^d (d 3) with diameter 2 we consider inequalitiesW _i – W _d–1 +( - 1) W _d 0 (i = 0, , d – 2) whereW _j are the quermassintegrals. In addition, for a ball, equality is attained for a body of revolution for which the elementary symmetric functions _d–1–i of main curvature radii is constant. The inequality is actually proved fori = d – 2 by means of Weierstrass's fundamental theorem of the calculus of variations.Dedicated to Professor Otto Haupt with best wishes on his 100th birthday     

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).     

On averaging multisets

We give sufficient conditions to ensure that, given a set , everyxint convM can be represented as a convex combination,x = _{i = 1} ⁿ _i x _i , wherex _i M, _i rational, andn=2s orn=2s–1, respectively.     

L 2-approximation by the translates of a function and related attenuation factors

Summary Let be thek-dimensional subspace spanned by the translates (·–2j/k),j=0, 1, ...,k–1, of a continuous, piecewise smooth, complexvalued, 2-periodic function . For a given functionfL ²(–, ), its least squares approximantS _kf from can be expressed in terms of an orthonormal basis. Iff is continuous,S _kf can be computed via its discrete analogue by fast Fourier transform. The discrete least squares approximant is used to approximate Fourier coefficients, and this complements the works of Gautschi on attenuation factors. Examples of include the space of trigonometric polynomials where is the de la Valleé Poussin kernel, algebraic polynomial splines where is the periodic B-spline, and trigonometric polynomial splines where is the trigonometric B-spline.     

Staircase kernels for orthogonald-polytopes

LetS be a finite union of boxes inR ^d . Forx inS, defineA _x ={yx is clearly visible fromy via staircase paths inS}, and let KerS denote the staircase kernel ofS. Then KerS={A _x x is a point of local nonconvexity ofS}. A similar result holds with clearly visible replaced by visible and points of local nonconvexity ofS replaced by boundary points ofS.Supported in part by NSF grant DMS-9207019.     

Maximum Number of Constant Weight Vertices of the Unit <Emphasis Type="Italic">n</Emphasis>-Cube Contained in a <Emphasis Type="Italic">k</Emphasis>-Dimensional Subspace

We introduce and solve a natural geometrical extremal problem. For the set E (n,w) = {x ⁿ {0,1} ⁿ : x ⁿ has w ones } of vertices of weight w in the unit cube of ⁿ we determine M (n,k,w) max{|U _k ⁿ E(n,w)|:U _k ⁿ is a k-dimensional subspace of ⁿ . We also present an extension to multi-sets and explain a connection to a higher dimensional Erds–Moser type problem.     

Visible shorelines inR d

Summary LetC be a closed set inR ^d and letj be a fixed integer,j 1. The setS R ^d ~C is said to have aj-partition relative toC if there existj or fewer pointsc ₁,, c _j ofC such that each point ofS sees via the complement ofC at least one pointc _i. For every triple of integersd, p, j withd 0, p d + 1, j 1, there exists a smallest integerf(d, p, j) such that the following is true: IfC is a convexd-polytope inR ^d havingp vertices and ifS R ^d ~C, S has aj-partition relative toC if and only if everyf(d, p, j)-member subset of S has such a partition.ForC a convex polytope inR ² andS R ² ~C, all points ofS see via the complement ofC a common neighborhood in the boundary ofC if and only if every three points ofS see via the complement ofC such a neighborhood.A weak analogue of this result holds for arbitrary compact convex sets inR ^d .     

On a characterization of the support functions

Letf:S ^n–1 be a support function. Then, for everya , if the functionu f(u)–a, u has a negative minimum, then a unique argument exists for which this minimum is attained. It is shown that the converse holds true under some obvious restrictions onf. A perturbation theorem for the space (S ^n–1) is given as an application.     

On Tabor's problem concerning a certain quasi-ordering of iterative roots of functions

Summary Using the Isaacs-Zimmermann's theory of iterative roots of functions, we prove a theorem concerning the problemP 250 posed by J. Tabor:Letf: E E be a given mapping. Denote byF the set of all iterative roots off. InF we define the following relation: if and only if is an iterative root of. The relation is obviously reflexive and transitive. The question is: Is it also antisymmetric? If we consider iterative roots of a monotonic function the answer is yes. But in general the question is open.Here we prove that there exists a three-element decomposition { _i ;i = 1, 2, 3} of the setE ^E with blocks _i of the same cardinality 2^cardE such that the functions from ₁ do not possess any proper iterative root, the quasi-ordering is not antisymmetric onF(f) for anyf ₂, and is an ordering onF(f) for anyf ₃. Iff is a strictly increasing continuous self-bijection ofE, then the relation is an ordering onF(f) ifff is different from the identity mapping of the setE.