Ambiguous loci of the metric projection onto compact starshaped sets in a Banach space

LetE be a real Banach space andL(E) the family of all nonempty compact starshaped subsets ofE. Under the Hausdorff distance,L(E) is a complete metric space. The elements of the complement of a first Baire category subset ofL(E) are called typical elements ofL(E). ForXL(E) we denote by the metrical projection ontoX, i.e. the mapping which associates to eachaE the set of all points inX closest toa. In this note we prove that, ifE is strictly convex and separable with dimE2, then for a typicalXL(E) the map is not single valued at a dense set of points. Moreover, we show that a typical element ofL(E) has kernel consisting of one point and set of directions dense in the unit sphere ofE.     

Convergence of epigraphs and of sublevel sets

Let LSC(X) be the set of the proper lower semicontinuous extended real-valued functions defined on a metric spaceX. Given a sequence f _n in LSC(X) and a functionf LSC(X), we show that convergence of f _n tof in several variational convergence modes implies that for each , the sublevel set at height off is the limit, in the same variational sense, of an appropriately chosen sequence of sublevel sets of thef _n, at height _n approaching . The converse holds true whenever a form of stability of the sublevel sets of the limit function is verified. The results are obtained by regarding a hyperspace topology as the weakest topology for which each member of an appropriate family of excess functionals is upper semicontinuous, and each member of an appropriate family of gap functionals is lower semicontinuous. General facts about the representation of hyperspace topologies in this manner are given.     

Frobenius-Perron operators and approximation of invariant measures for set-valued dynamical systems

A set-valued dynamical systemF on a Borel spaceX induces a set-valued operatorF onM(X) — the set of probability measures onX. We define arepresentation ofF, each of which induces an explicitly defined selection ofF; and use this to extend the notions of invariant measure and Frobenius-Perron operators to set-valued maps. We also extend a method ofS. Ulam to Markov finite approximations of invariant measures to the set-valued case and show how this leads to the approximation ofT-invariant measures for transformations , whereT corresponds to the closure of the graph of .     

Nonstandard analysis of ordered sets

We introduce a nonstandard approach to the study of ordered setsX based on a classification of the elements of the ordered set *X into three types, upward, downward, and lateral, which may be thought of dynamically as arising from the possibilities of upward, downward, and lateral motion withinX. Initial applications include the characterization thatX has no infinite diverse subset iff *X has no lateral elements, a result subsequently exploited in work on the interval topology and order-compatibility, where we give a nonstandard proof of Naito's result that ifX has no infinite diverse subset, it has a unique order-compatible topology. We also describe how the completion of a nonempty linearly ordered setX may be obtained as a quotient of *X.     

ApproximatingL 2-invariants by their finite-dimensional analogues

LetX be a finite connectedCW-complex. Suppose that its fundamental group is residually finite, i.e. there is a nested sequence ... _m + 1 _m ... of in normal subgroups of finite index whose intersection is trivial. Then we show that thep-thL ²-Betti number ofX is the limit of the sequenceb _p(X_m)/[: _m ] whereb _p(X_m) is the (ordinary)p-th Betti number of the finite covering ofX associated with _m .     

k-regular factors and semi-k-regular factors in bipartite graphs

LetG be a graph, andk1 an integer. LetU be a subset ofV(G), and letF be a spanning subgraph ofG such that deg _F (x)=k for allx V(G)–U. If deg _F (x)k for allxU, thenF is called an upper semi-k-regular factor with defect setU, and if deg _F (x)k for allxU, thenF is called a lower semi-k-regular factor with defect setU. Now letG=(X, Y;E(G)) be a bipartite graph with bipartition (X,Y) such that X=Yk+2. We prove the following two results.(1) Suppose that for each subsetU ₁X such that U ₁=max{k+1, X+1/2},G has an upper semi-k-regular factor with defect setU ₁Y, and for each subsetU ₂Y such that U ₂=max{k+1, X+1/2},G has an upper semi-k-regular factor with defect setXU ₂. ThenG has ak-factor.(2) Suppose that for each subsetU ₁X such that U ₁=X–1/k+1,G has a lower semi-k-regular factor with defect setU ₁Y, and for each subsetU ₂Y such that U ₂=X–1/k+1,G has a lower semi-k-regular factor with defect setXU ₂. ThenG has ak-factor.     

Minimization of the Conformal Radius under Circular Cutting of a Domain

Let D be a simply connected domain on the complex plane such that 0 D. For r > 0 , let D _r be the connected component of D {z : |z| < r} containing the origin. For fixed r, we solve the problem on minimization of the conformal radius R(D _r, 0) among all domains D with given conformal radius R(D, 0). This also leads to the solution of the problem on maximization of the logarithmic capacity of the local -extension E (a) of E among all continua E with given logarithmic capacity. Here, E (a) = E {z : |z – a| }, a E, > 0. Bibliography: 12 titles.     

The Milnor–Totaro Theorem for Space Polygons

If denotes the curvature and the torsion of a closed, generic, and oriented polygonal space curve X in , then we show that _X (² + ²) ds = _X ds + _X | | ds > 4 if is positive. We also show that _X (² + ²) ds 2n if no four consecutive vertices lie in a plane and X has linking number n with a straight line. These extend theorems of Milnor and Totaro.     

Convergence of diagonally stationary sequences in convex optimization

LetX be a real normed linear space,f, f ⁿ, n , be extended real-valued proper closed convex functions onX. A sequence {x _n} inX is called diagonally stationary for {f ⁿ} if for alln there existsx* _n f ⁿ (x _n) such that x* _{n *} 0. Such sequences arise in approximation methods for the problem of minimizingf. Some general convergence results based upon variational convergence theory and appropriate equi-well-posedness are presented.     

Approximation du temps local des surfaces gaussiennes

Summary LetX be a centered stationary Gaussian stochastic process with ad-dimensional parameter (d2),F its spectral measure, (x denotes the Euclidean norm ofx). We consider regularizations of the trajectories ofX by means of convolutions of the formX (t)=( *X)(t) where stands for an approximation of unity (as tends to zero) satisfying certain regularity conditions.The aim of this paper is to recover the local time ofX at a given levelu, as a limit of appropriate normalizations of the geometric measure of theu-level set of the regular approximating processesX . A part of the difficulties comes from the fact that the geometric behavior of the covariance of the Gaussian processX can be a complex one as approaches O.The results are onL ²-convergence and include bounds for the speed of convergence.L ^presults may be obtained in similar ways, but almost sure convergence or simultaneous convergence for the various values ofu do not seem to follow from our methods. In Sect. 3 we have included examples showing a diversity of geometric behaviors, especially in what concerns the dependence on the thickness of the set in which the covariance of the original processX is irregular.Some technical results of analytic nature are included as appendices in Sect. 4.     

On a problem of Erdős and Lovász: Random lines in a projective plane

Letn(k) be the least size of an intersecting family ofk-sets with cover numberk, and let _k denote any projective plane of orderk–1.Theorem There is a constant A such that ifH is a random set ofm Aklogk lines from _k then P_r(H<)0(k).Corollary If there exists a _k thenn(k)=O(klogk). These statements were conjectured by P. Erds and L. Lovász in 1973.Supported in part by NSF-DMS87-83558 and AFOSR grants 89-0066, 89-0512 and 90-0008     

Positivity notions for coherent sheaves over compact complex spaces

LetX be a reduced compact complex space, X a coherent sheaf, andV=V() its associated linear fiber space. LetV _R be the reduction ofV, letA be the analytic set inX over which is not locally-free, and letV be the closure inV _R ofV _R |(X–A). is (primary) weakly positive if the zerosection ofV (V) is exceptional. is (primary) cohomologically positive if, for any coherent sheaf X, for all 0,k1. Then is (primary) weakly positive if and only if is (primary) cohomologically positive.LetX be a normal irreducible compact complex space. ThenX is Moishezon if and only if it carries a primary weakly positive, and hence primary cohomologically positive, coherent sheaf.Several other positivity notions are also discussed.     

Milnor numbers and the topology of polynomial hypersurfaces

Summary LetF: n + 1 be a polynomial. The problem of determining the homology groupsH _q (F ^–1 (c)), c , in terms of the critical points ofF is considered. In the best case it is shown, for a certain generic class of polynomials (tame polynomials), that for allc,F ^–1 (c) has the homotopy type of a bouquet of - ^c n-spheres. Here is the sum of all the Milnor numbers ofF at critical points ofF and ^c is the corresponding sum for critical points lying onF ^–1 (c). A second best case is also discussed and the homology groupsH _q (F ^–1 (c)) are calculated for genericc. This case gives an example in which the critical points at infinity ofF must be considered in order to determine the homology groupsH _q (F ^–1 (c)).     

Über einen Satz von Shl. Sternberg in der Theorie der analytischen Iterationen

Let X=X ₁,...,X _n be the ring of formal power series inn indeterminates over . LetF:XAX+B(X)=(F ⁽¹⁾(X),...,F ⁽ⁿ⁾(X))(X) ⁿ denote an automorphism of X and let ₁,..., _n be the eigenvalues of the linear partA ofF. We will say thatF has an analytic iteration (a. i.) if there exists a family (F _t (itX)) _t of automorphisms such thatF _t(X) has coefficients analytic int and such thatF ₀=X,F ₁=F,F _t+t=F_tF_t for allt,t. Let now a set=(ln₁,...,ln _n ) of determinations of the logarithms be given. We ask if there exists an a. i. ofF such that the eigenvalues of the linear partA(t) ofF _t(X) are . We will give necessary and sufficient conditions forF to have such an a. i., namely thatF is conjugate to a semicanonical formN=T ^–1FT such that inN ^(k)(X) there appear at most monomialsX ₁ ¹ ...X _n ⁿ . This generalizes a result of Shl.Sternberg.

---

---

Herrn Prof. Dr. E. Hlawka zum 60. Geburtstag gewidmet     

Locally most powerful rank tests for testing randomness and symmetry

Let X _i, 1 i N, be N independent random variables (i.r.v.) with distribution functions (d.f.) F _i(x,), 1 i N, respectively, where is a real parameter. Assume furthermore that F _i(·,0) = F(·) for 1 i N. Let R = (R ₁,R _N) and R ⁺,...,R _N ⁺ be the rank vectors of X = (X ₁,X _N) and |X|=(|X ₁|,...,|X _N|), respectively, and let V = (V ₁,V _N) be the sign vector of X. The locally most powerful rank tests (LMPRT) S = S(R) and the locally most powerful signed rank tests (LMPSRT) S = S(R ⁺, V) will be found for testing = 0 against > 0 or < 0 with F being arbitrary and with F symmetric, respectively.     

Sobolev inequalities on homogeneous spaces

We consider a homogeneous spaceX=(X, d, m) of dimension 1 and a local regular Dirichlet forma inL ² (X, m). We prove that if a Poincaré inequality of exponent 1p< holds on every pseudo-ballB(x, R) ofX, then Sobolev and Nash inequalities of any exponentq[p, ), as well as Poincaré inequalities of any exponentq[p, +), also hold onB(x, R).Lavoro eseguito nell'ambito del Contratto CNR Strutture variazionali irregolari.     

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 .     

On the Fell topology

Let 2 ^X denote the closed subsets of a Hausdorff topological space <X, {gt}>. The Fell topology _F on 2 ^X has as a subbase all sets of the form {A 2 ^X :A V 0}, whereV is an open subset ofX, plus all sets of the form {A 2 ^X :A W}, whereW has compact complement. The purpose of this article is two-fold. First, we characterize first and second countability for _F in terms of topological properties for . Second, we show that convergence of nets of closed sets with respect to the Fell topology parallels Attouch-Wets convergence for nets of closed subsets in a metric space. This approach to set convergence is highly tractable and is well-suited for applications. In particular, we characterize Fell convergence of nets of lower semicontinuous functions as identified with their epigraphs in terms of the convergence of sublevel sets.     

Présentations des groupes de Fischer (II)

In this paper we give Coxeter presentation (X, ) for the three Fischer groupsG=Fi₂₂, Fi₂₃, Fi₂₄; we apply methods exposed in the first part. Each of these groups is generated by a class of 3-transpositions (named here a Fischer class) in which elements ofX are chosen. A subset of is the set of all the relations (xy) ^m(x,y)=1, wherex andy are inX and wherem(x,y) means the order ofxy inG. We obtainG as a specified quotient of the Coxeter group (X, ) with the appropriate diagram .     

Randomly Weighted Sums of Subexponential Random Variables with Application to Ruin Theory

Let {X _k , 1 k n} be n independent and real-valued random variables with common subexponential distribution function, and let {k, 1 k n} be other n random variables independent of {X _k , 1 k n} and satisfying a _k b for some 0 < a b < for all 1 k n. This paper proves that the asymptotic relations P (max_{1 m n k=1} ^m _k X _k > x) P (sum _k=1 ⁿ _k X _k > x) sum _k=1 ⁿ P ( _k X _k > x) hold as x . In doing so, no any assumption is made on the dependence structure of the sequence { _k , 1 k n}. An application to ruin theory is proposed.