Zur Einführung der Eulerschen Charakteristik

For relatively open convex polyhedra (cells)Q ^d we put (Q):=(–1)^dimQ . Any polyhedronQ ^d is the disjoint union of a finite number of cells: . We show that is independent of the specific decomposition ofP into disjoint cells and therefore is uniquely determined byP. Since every closed convex polyhedron is the disjoint union of its relatively open faces of all dimensions, (P) is the Euler characteristic ofP. We finally present a new and elementary proof of the theorem of Euler-Schläfli.     

Eigenvalues of convex processes and convergence properties of differential inclusions

In this paper, we study (real) eigenvalues and eigenvectors of convex processes, and provide conditions for the existence of eigenvectors in a given convex coneK ⁿ . It is established that the maximal eigenvalue ofG(·) inK is expressed by (whereK ⁰ is the polar cone ofK) provided that the minimum is attained in intK ⁰. This result is applied to study the asymptotic behaviour of certain differential inclusions{G(x(t)). We extend some known results for the von Neumann-Gale model to our more general framework. We prove that ifx ₀ is the unique eigenvector corresponding to the maximal eigenvalue ₀ ofG(·) inK, then the nonexistence of solutions of a certain special trigonometric form is necessary and sufficient for every viable solutionx(·) to satisfy^- ₀ ^t x(t)cx ₀ ast for somec0. Our method is to study the family of convex conesW =cl{v–x :xK,vG(x) where is any real number. We characterize the maximal eigenvalue ₀ as the minimal for whichW can be separated fromK.The research was supported in part by a grant from the ministry of science and the Maagara special project for the absorption of new immigrants in the Department of Mathematics at Technion.     

Mathematical programs with a two-dimensional reverse convex constraint

We consider the problem min {f(x): x G, T(x) int D}, where f is a lower semicontinuous function, G a compact, nonempty set in ⁿ, D a closed convex set in ² with nonempty interior and T a continuous mapping from ⁿ to ². The constraint T(x) int D is a reverse convex constraint, so the feasible domain may be disconnected even when f, T are affine and G is a polytope. We show that this problem can be reduced to a quasiconcave minimization problem over a compact convex set in ² and hence can be solved effectively provided f, T are convex and G is convex or discrete. In particular we discuss a reverse convex constraint of the form c, x · d, x1. We also compare the approach in this paper with the parametric approach.     

Efficient Sets of Convex Compacta are Arcwise Connected

We prove that the efficient point set Max(Q|K) of a compact convex set QX in a Hausdorff topological vector space X ordered by a closed convex pointed cone KX with nonempty K ⁺ⁱ:={lK\{0}:l(x)>0} is arcwise connected.     

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     

Surfaces and the second homology of a group

LetG be a group andK(G, 1) an Eilenberg—MacLane space, i.e. ₁(K(G,1))G, _i (K(G,1))=0,i1. We give a purely algebraic proof that the second homology groupH ₂(G)=H ₂(G,)H ₂(K(G,1)) is isomorphic to the group of stable equivalence classes of continuous mapsFK(G,1) inducing surjections on fundamental groups (resp. surjections, whereF{F _g=closed orientable surface of genusg,g}. As a corollary we obtain an algebraic proof of the well-known isomorphismH ₂(G)₂(K(G,1)) (2-dimensional bordism group).     

Homothetic floating bodies

We show that a convex bodyK in ⁿ is homothetic to an ellipsoid if there is a sequence { _k }k converging to 0 so thatK is homothetic to its floating bodiesK _k.Supported by NSF grant DMS-9108003.     

On the divisibility of homogeneous hypergraphs

We denote byK _k ,k, 2, the set of allk-uniform hypergraphsK which have the property that every element subset of the base ofK is a subset of one of the hyperedges ofK. So, the only element inK ₂ ² are the complete graphs. If is a subset ofK _k then there is exactly one homogeneous hypergraphH whose age is the set of all finite hypergraphs which do not embed any element of . We callH -free homogeneous graphsH _n have been shown to be indivisible, that is, for any partition ofH _n into two classes, oue of the classes embeds an isomorphic copy ofH _n . [5]. Here we will investigate this question of indivisibility in the more general context of-free homogeneous hypergraphs. We will derive a general necessary condition for a homogeneous structure to be indivisible and prove that all-free hypergraphs for K _k with 3 are indivisible. The-free hypergraphs with K _k ² satisfy a weaker form of indivisibility which was first shown by Henson [2] to hold forH _n . The general necessary condition for homogeneous structures to be indivisible will then be used to show that not all-free homogeneous hypergraphs are indivisible.This research has been supported by NSERC grant 69–1325.     

Die konvexen Polytope im ℝ4, bei denen alle Facetten reguläre Tetraeder sind

All Convex Polytopes in ⁴ the Facets of Which Are Regular Tetrahedra. Continuing in ⁿ (n4) the study of convex polytopes the facets of which are regular, it is proved: Regular polytopes and the two bipyramids over the tetrahedron and the icosahedron are the only convex polytopes in ⁴ the facets of which are regular tetrahedra.     

Compact interval spaces in which all closed subsets are homeomorphic to clopen ones,I

A topological space X whose topology is the order topology of some linear ordering on X, is called an interval space. A space in which every closed subspace is homeomorphic to a clopen subspace, is called a CO space. We regard linear orderings as topological spaces, by equipping them with their order topology. If L and K are linear orderings, then L ^*, L+K, L·K denote respectively the reverse orderings of L, the ordered sum of L and K and the lexicographic order on L×K (so ·2=+ and 2·=). Ordinals are considered as linear orderings, and cardinals are initial ordinals. For cardinals , 0, let L(, )= + 1 + ^* . Main theorem. Let X be a compact interval space. Then X is a CO space if and only if X is homeomorphic to a space of the form + 1 + _i L( _i , _i ), where is any ordinal, n, for every ii, _i are regular cardinals and _{i i}, and if n>0, then max({ _i: i}) · . This first part is devoted to show the following result. Theorem: If X is a compact interval CO space, then X is a scattered space (that means that every subspace of X has an isolated point).Supported by the Université Claude-Bernard (Lyon-1), the Ben Gurion University of the Negev, and the C.N.R.S.: UPR 9016Supported by the City of Lyon     

A graded scale of parametric families of distributions,and parameter estimates based on the sample mean

Summary Denote by _k a class of familiesP={P} of distributions on the line R¹ depending on a general scalar parameter , being an interval of R¹, and such that the moments µ₁()=xdP ,...,µ_2k ()=x ^2k dP are finite, ₁ (), ..., _k (), _k+1 () ..., _k () exist and are continuous, with ₁ () 0, and _j +1 ()= ₁ () _j () +[₂() -₁()²] _j ()/ ₁ (), J=2, ..., k. Let ₁=¯x=x ₁ + ... +x _n/n, ₂=x ₁ ² + ... +x _n ²/n, ..., _k =(x ₁ ^k + ... +x _n ^k/n denote the sample moments constructed for a sample x₁, ..., x_n from a population with distribution Pg. We prove that the estimator of the parameter by the method of moments determined from the equation ₁= ₁() and depending on the observations x₁, ..., x_n only via the sample mean ¯x is asymptotically admissible (and optimal) in the class _k of the estimators determined by the estimator equations of the form ₀ () + ₁ () ₁ + ... + _k () _k =0 if and only ifP _k .The asymptotic admissibility (respectively, optimality) means that the variance of the limit, as n (normal) distribution of an estimator normalized in a standard way is less than the same characteristic for any estimator in the class under consideration for at least one 9 (respectively, for every ).The scales arise of classes _{1 2}... of parametric families and of classes _{1 2} ... of estimators related so that the asymptotic admissibility of an estimator by the method of moments in the class _k is equivalent to the membership of the familyP in the class _k .The intersection consists only of the families of distributions with densities of the form h(x) exp {C₀() + C₁() x } when for the latter the problem of moments is definite, that is, there is no other family with the same moments ₁ (), ₂ (), ...Such scales in the problem of estimating the location parameter were predicted by Linnik about 20 years ago and were constructed by the author in [1] (see also [2, 3]) in exact, not asymptotic, formulation.Translated from Problemy Ustoichivosti Stokhasticheskikh Modelei, pp. 41–47, 1981.     

Asymptotic Estimates for a Variational Problem Involving a Quasilinear Operator in the Semi-Classical Limit

Let be a domain of ^N . We study the infimum ₁(h) of the functional |u| ^p +h ^–p V(x)|u| ^p dx in W ^1,p () for ||u|| _LP()= 1 where h > 0 tends to zero and V is a measurable function on . When V is bounded, we describe the behaviour of ₁(h), in particular when V is radial and 'slowly' decaying to zero. We also study the limit of ₁(h) when h 0 for more general potentials and show a necessary and sufficient condition for ₁(h) to be bounded. A link with the tunelling effect is established. We end with a theorem of existence for a first eigenfunction related to ₁(h).     

Complexes whose boundaries cannot be pushed around

LetK ^{n n} be a triangulatedn-ball. Examples are given to show that unlike in the two-dimensional case, the following hold for alln3: (1) there are nonconvexK ⁿ with no convex simplexwise linear embeddingsK ^{n n} , even though there are strictly convex simplexwise linear embeddings K ^{n n} ; (2) there are convexK ⁿ , with no spanning simplices, such that not every simplexwise linear embeddingf: K ^{n n} with convex image can be extended to a simplexwise linear embedding ofK ⁿ ; (3) there are convexK ⁿ such that the space of simplexwise linear homeomorphisms ofK ⁿ , fixed on K ⁿ , is not path connected.Partially supported by NSF Contract DMS-8503388.     

Quadratic-Cycloidal Curves

Interesting curves can be represented in the space Q=span{1,t,t ²,cost,sint}, t[0,] (0<<2). In this paper we introduce quadratic-cycloidal B-splines associated to equally spaced knots and the properties of the generated curves for 0<<. It is proved that, when 0, the limit of a QC-B-spline curve approaches a B-spline curve of degree 4.     

Eigenvalue distribution of some fractal semi-elliptic differential operators: Combinatorial approach

We obtain the sharp order of growth of the eigenvalue distribution function for the operator in the anisotropic Sobolev space , generated by the quadratic form _Q u² d, whereQ² is the unit square and is a probability self-affine fractal measure onQ. The geometry of Supp should be in a certain way consistent with the parameterst ₁ ,t ₂ .     

Variational problems in SBV and image segmentation

We show how it is possible to prove the existence of solutions of the Mumford-Shah image segmentation functional F(u,K) = _\K [u² + (u – g)²]dx + ^{n – 1}(K), u W ^1,2(\K), K closed in .We use a weak formulation of the minimum problem in a special class SBV() of functions of bounded variation. Moreover, we also deal with the regularity of minimizers and the approximation of F by elliptic functionals defined on Sobolev spaces. In this paper, we have collected the main results of Ambrosio and others.     

A skew-product which is Bernoulli

We show that if is the shift on sequences of {0,1} and is the entropy zero transformation used by Ornstein in constructing a counter-example toPinsker's conjecture, then the skew-product transformationT defined byT(x,y)=(x, ^x0 y) is Bernoulli. ThisT is conditionally mixing with respect to the independent generator for , a partition with full entropy.This research was done while the first author was a visitor at Stanford, supported in part by NSF Grant MP-575-08324.     

Isolated points in duals of certain locally compact groups

Summary LetG be a separable locally compact group with dual space. consists of all equivalence classes of irreducible unitary representations ofG, and is endowed with the Fell-topology. We study the topological properties in of the square-integrable representations ofG. [ is square-integrable provided there is a coordinate functiong((g)v, v),gG, for which is inL ²(G) w.r.t. left Haar measure onG.]SupposeG contains an open normal subgroupN of the formeKN ⁿ e whereK is compact. (All groups with a compact invariant neighborhood of the identity, [IN] groups, satisfy this condition.) In this case we show that if is square-integrable then {} is an open point of.Finally, our techniques are used to prove this result for arbitrary (non connected) nilpotent Lie groups.     

Semimodular lattices with isomorphic graphs

Two discrete modular lattice and have isomorphic graphs if and only if is of the form A × and is of the form A × for some lattices A and and . We prove that for discrete semimodular lattices and this latter condition holds if and only if and have isomorphic graphs and the isomorphism preserves the order on all cover-preserving sublattices of which are isomorphic to the seven-element, semimodular, nonmodular lattice (see Figure 1). This answers in the affirmative a question posed by J. Jakubik.     

Finite presentability of Steinberg groups over group rings

LetA be a finitely generated commutative -algebra with Krull dimensiond, and let be an arbitrary finite group. It is proved that the Steinberg groupSt _n (A) is finitely presented whenevern4. If, in addition,nd+3, andK ₁ (A) andK ₂ (A) are finitely generated, thenE _n (A) andGL _n (A) are finitely presented.The Project supported by National Natural Science Foundation of China.