Optimizing Area and Perimeter of Convex Sets for Fixed Circumradius and Inradius

 In this paper two problems posed by Santaló are solved: we determine the planar convex sets which have maximum and minimum area or perimeter when the circumradius and the inradius are given, obtaining complete systems of inequalities for the cases (A, R, r) and (p, R, r).     

Optimizing Area and Perimeter of Convex Sets for Fixed Circumradius and Inradius

 In this paper two problems posed by Santaló are solved: we determine the planar convex sets which have maximum and minimum area or perimeter when the circumradius and the inradius are given, obtaining complete systems of inequalities for the cases (A, R, r) and (p, R, r). This work is supported in part by Dirección General de Investigación (MCYT) BFM2001-2871, and by OTKA grants No 31984 and 30012 Received October 15, 2001; revised January 29, 2002     

涉及四个单形的一类不等式

本文研究了涉及四个单形的一类不等式问题.利用距离几何的理论和方法获得了两个单形的棱长与另两个单形的内点、中线、高、外接超球半径、内切超球半径、旁切超球半径以及n-1维侧面的体积、外接超球半径、内切超球半径的一类新的几何不等式.推广了文献([5])中的全部结果.     

Inner and outerj-radii of convex bodies in finite-dimensional normed spaces

This paper is concerned with the various inner and outer radii of a convex bodyC in ad-dimensional normed space. The innerj-radiusr _j (C) is the radius of a largestj-ball contained inC, and the outerj-radiusR _j (C) measures how wellC can be approximated, in a minimax sense, by a (d —j)-flat. In particular,r _d (C) andR _d (C) are the usual inradius and circumradius ofC, while 2r ₁(C) and 2R ₁(C) areC's diameter and width.Motivation for the computation of polytope radii has arisen from problems in computer science and mathematical programming. The radii of polytopes are studied in [GK1] and [GK2] from the viewpoint of the theory of computational complexity. This present paper establishes the basic geometric and algebraic properties of radii that are needed in that study.Much of this paper was written when both authors were visiting the Institute for Mathematics and Its Applications, 206 Church Street S.E., Minneapolis, MN 55455, USA. The research of P. Gritzmann was supported in part by the Alexander-von-Humboldt Stiftung and the Deutsche Forschungsgemeinschaft. V. Klee's research was supported in part by the National Science Foundation.     

Inequalities for a Simplex and an Interior Point

We establish some inequalities for the inradius, circumradius and distances between an interior point and facets of an n-simplex, and prove a recursion inequality for the radii of the circumscribed spheres of an n-simplex and its facets.     

Ball and spindle convexity with respect to a convex body

Let ${C \subset \mathbb{R}^n}$ be a convex body. We introduce two notions of convexity associated to C. A set K is C-ball convex if it is the intersection of translates of C, or it is either ${\emptyset}$ , or ${\mathbb{R}^n}$ . The C-ball convex hull of two points is called a C-spindle. K is C-spindle convex if it contains the C-spindle of any pair of its points. We investigate how some fundamental properties of conventional convex sets can be adapted to C-spindle convex and C-ball convex sets. We study separation properties and Carathéodory numbers of these two convexity structures. We investigate the basic properties of arc-distance, a quantity defined by a centrally symmetric planar disc C, which is the length of an arc of a translate of C, measured in the C-norm that connects two points. Then we characterize those n-dimensional convex bodies C for which every C-ball convex set is the C-ball convex hull of finitely many points. Finally, we obtain a stability result concerning covering numbers of some C-ball convex sets, and diametrically maximal sets in n-dimensional Minkowski spaces.     

Dynamical borel-cantelli lemma for hyperbolic spaces

We prove that almost every (resp. almost no) geodesic rays in a finite volume hyperbolic manifold of real dimensionn intersects for arbitrary large timest a decreasing family of balls of radiusr _t, provided the integral ∫ ₀ ^∞ r _t ⁿ −1 dt diverges (resp. converges).     

On Blaschke's extension of Bonnesen's inequality

W. Blaschke established a Bonnesen-style inequality for the relative inradius and circumradius of a planar convex bodyK with respect to another. We sharpen this inequality by considering the radii of the minimal convex annulus ofK.     

Successive radii and Minkowski addition

In this paper we study the behavior of the so called successive inner and outer radii with respect to the Minkowski addition of convex bodies, generalizing the well-known cases of the diameter, minimal width, circumradius and inradius. We get all possible upper and lower bounds for the radii of the sum of two convex bodies in terms of the sum of the corresponding radii.     

Ball-Polyhedra

We study two notions. One is that of spindle convexity. A set of circumradius not greater than one is spindle convex if, for any pair of its points, it contains every short circular arc of radius at least one, connecting them. The other objects of study are bodies obtained as intersections of finitely many balls of the same radius, called ball-polyhedra. We find analogues of several results on convex polyhedral sets for ball-polyhedra.     

Diametrically complete sets in Minkowski spaces

We obtain a new characterization of the diametrically complete sets in Minkowski spaces, by modifying two well-known characteristic properties of bodies of constant width. We also get sharp inequalities for the circumradius and inradius of a diametrically complete set of given diameter. Strengthening former work of D. Yost, we show that in a generic Minkowski space of dimension at least three the set of diametrically complete sets is not closed under the operation of adding a ball. We conclude with new results about Eggleston’s problem of characterizing the Minkowski spaces in which every diametrically complete set is of constant width.     

Successive radii and Minkowski addition

In this paper we study the behavior of the so called successive inner and outer radii with respect to the Minkowski addition of convex bodies, generalizing the well-known cases of the diameter, minimal width, circumradius and inradius. We get?all possible upper and lower bounds for the radii of the sum of two convex bodies in terms of the sum of the corresponding radii.     

<Emphasis Type="Italic">f</Emphasis>-Vectors of Triangulated Balls

We describe two methods for showing that a vector cannot be the f-vector of a homology d-ball. As a consequence, we disprove a conjectured characterization of the f-vectors of balls of dimension five and higher due to Billera and Lee. We also provide a construction of triangulated balls with various f-vectors. We show that this construction obtains all possible f-vectors of three- and four-dimensional balls and we conjecture that this result also extends to dimension five.     

Tilings,packings, coverings,and the approximation of functions

A packing (resp. covering) ? of a normed space X consisting of unit balls is called completely saturated (resp. completely reduced) if no finite set of its members can be replaced by a more numerous (resp. less numerous) set of unit balls of X without losing the packing property (resp. covering property) of ?. We show that a normed space X admits completely saturated packings with disjoint closed unit balls as well as completely reduced coverings with open unit balls, provided that there exists a tiling of X with unit balls. Completely reduced coverings by open balls are of interest in the context of an approximation theory for continuous real‐valued functions that rests on so‐called controllable coverings of compact metric spaces. The close relation between controllable coverings and completely reduced coverings allows an extension of the approximation theory to non‐compact spaces. (© 2004 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Jacobson’s lemma and Cline’s formula for generalized inverses in a ring with involution

Abstract

In a ring with involution, we prove that a Drazin invertible element is pseudo core invertible if and only if its spectral idempotent is {1, 4}-invertible. As its applications, we obtain necessary and sufficient conditions for 1???ba (resp., ba) being pseudo core invertible while 1???ab (resp., ab) has pseudo core inverse, and the pseudo core inverse of 1???ba (resp., ba) is given in terms of 1???ab (resp., ab). Inspired by the above idea, Jacobson’s lemma for Moore-Penrose inverse is considered.     

On covering bridged plane triangulations with balls

We show that every plane graph of diameter 2r in which all inner faces are triangles and all inner vertices have degree larger than 5 can be covered with two balls of radius r. © 2003 Wiley Periodicals, Inc. J Graph Theory 44: 65–80, 2003     

ON THE NORMALITY OF MONOMIAL IDEALS OF MIXED PRODUCTS

Let R = K[x, y] be a polynomial ring in two disjoint sets of variables x, y over a field K. We study ideals of mixed products L = I_kJ_r + I_sJ_t such that k + r = s + t, where I_k (resp. J_r ) denotes the ideal of R generated by the square-free monomials of degree k (resp. r) in the x (resp. y ) variables. Our main result is a characterization of when a given ideal L of mixed products is normal.

     

McCoy modules and related modules over commutative rings

Let M be a left R-module. Then M is a McCoy (resp., dual McCoy) module if for nonzero f(X)∈R[X] and m(X)∈M[X], f(X)m(X) = 0 implies there exists a nonzero r∈R (resp., m∈M) with rm(X) = 0 (resp., f(X)m = 0). We show that for R commutative every R-module is dual McCoy, but give an example of a non-McCoy module. A number of other results concerning (dual) McCoy modules as well as arithmetical, Gaussian, and Armendariz modules are given.     

Some Inequalities Involving Two Simplexes

We establish some inequalities on the inradius and circumradius of two simplexes, and prove a number of applications thereof.     

Examples of proper k-ball contractive retractions in F-normed spaces

Assume X is an infinite dimensional F-normed space and let r be a positive number such that the closed ball Br(X) of radius r is properly contained in X. The main aim of this paper is to give examples of regular F-normed ideal spaces in which there is a 1-ball or a (1+ε)-ball contractive retraction of Br(X) onto its boundary with positive lower Hausdorff measure of noncompactness. The examples are based on the abstract results of the paper, obtained under suitable hypotheses on X.