Matching binary convexities

We showed in an earlier paper that the Radon number of an n-dimensional binary convexity equals the Radon number of the n-cube, except for a well-determined sequence of dimensions, in which case the Radon number may be one unit larger. Examples of the latter are obtained in every predicted dimension. The basic tool is a matching procedure which works for binary convexities.     

Finite dimensional convex structures II: the invariants

Various relations between the dimension and the classical invariants of a topological convex structure have been obtained, leading to an equivalence between Helly's and Carathéodory's theorem, and to the closedness of the hull of compact sets in finite-dimensional convexities. It is also shown that the Radon number of an n-dimensional binary convexity is in most cases equal to the Radon number of the n-cube, and a natural condition is presented under which the invariants are equal to dimension plus one.     

There are uncountably many universal topological planes

We prove the existence of uncountably many nonisomorphic topological projective planes, each universal in the sense that it contains an isomorphic copy of every pseudoline arrangement.     

Maximal elements in topological and generalized metric spaces

In this note, some problems concerning existence of maximal elements in a topological as well as in a generalized metric space, equipped with an ordering, are studied. The results presented here may be considered as a partial refinement of those established in [2] for uniform structures.     

Superextensions which are Hilbert cubes

It is shown that each separable metric, not totally disconnected, topological space admits a superextension homeomorphic to the Hilbert cube. Moreover, for simple spaces, such as the closed unit interval or then-spheresS _n , we give easily described subbases for which the corresponding superextension is homeomorphic to the Hilbert cube.     

Expansive canonical coordinates are hyperbolic

Theorem. Let ?:X→X be an expansive homeomorphism of a compact metric space onto itself and let ? have canonical coordinates. Then there exists a metric compatible with the topology of X with respect to which the canonical coordinates are hyperbolic.     

Probabilistic convergence structures

Summary In this paper we try to argue that it is necessary to replace the topological convergence structure of Menger spaces with an appropriate probabilistic concept of convergence.     

The orderability of nonarchimedean spaces

Let X be a nonarchimedean space and C be the union of all compact open subsets of X. The following conditions are listed in increasing order of generality. (Conditions 2 and 3 are equivalent.) 1. X is perfect; 2. C is an F_σ in X; 3. C? is metrizable; 4. X is orderable. It is also shown that X is orderable if $\text{C}\text{?}\text{?C}$ is scattered or X is a GO space with countably many pseudogaps. An example is given of a non-orderable, totally disconnected, GO space with just one pseudogap.     

The dimension print of most convex surfaces

The dimension print is a concept which contains more detailed information than the usual Hausdorff dimension. So, for example, a sphere and the surface of a cube have same dimension but different dimension prints. Can anything be said about the dimension print of most convex surfaces (in the Baire category sense)?     

Arc-smoothness in hyperspaces

Let X be a metric continuum and 2^x (C(X)) denote the hyperspace of closed subsets (subcontinua) of X. The concept of arc-smoothness, which is a special type of contractibility, is investigated in 2^x and C(X). Results are obtained about hyperspaces of locally connected continua, about continua for which C(X) and the cone over X are homeomorphic, about Whitney levels in C(X), and about hyperspaces of hereditarily indecomposable continua. Some examples are given and several natural questions are raised.     

Densely two-valued metric projections in uniformly convex Banach spaces

For every uniformly convex Banach spaceX with dimX2 there is a residual setU in the Hausdorff metric spaceB(X) of bounded and closed sets inX such that the metric projection generated by a set fromU is two-valued and upper semicontinuous on a dense and everywhere continual subset ofX. For any two closed and separated subsetsM ₁ andM ₂ ofX the points on the equidistant hypersurface which have best approximations both inM ₁ andM ₂ form a dense G set in the induced topology.The author is partially supported by the National Fund for Scientific Research at the Bulgarian Ministry of Science and Education under contract MM 408/94.     

Lindelöf spaces which are Menger, Hurewicz, Alster, productive, or D

We discuss relationships in Lindelöf spaces among the properties “Menger”, “Hurewicz”, “Alster”, “productive”, and “D”.     

Dense orbits of automorphisms and compactness of groups

It is proved, by using topological properties, that when a group automorphism of a locally compact totally disconnected group is ergodic under the Haar measure, the group is compact. The result is an answer for Halmos's question that has remained open for the totally disconnected case.     

Pseudocompact group topologies with no infinite compact subsets

We show that every Abelian group satisfying a mild cardinal inequality admits a pseudocompact group topology from which all countable subgroups inherit the maximal totally bounded topology (we say that such a topology satisfies property ).Every pseudocompact Abelian group G with cardinality |G|≤2^2c satisfies this inequality and therefore admits a pseudocompact group topology with property . Under the Singular Cardinal Hypothesis (SCH) this criterion can be combined with an analysis of the algebraic structure of pseudocompact groups to prove that every pseudocompact Abelian group admits a pseudocompact group topology with property .We also observe that pseudocompact Abelian groups with property contain no infinite compact subsets and are examples of Pontryagin reflexive precompact groups that are not compact.     

Set convergences: A survey and a classification

We endow families of closed subsets of a metric space with uniformities defined by semi-metrics. Such a structure is determined bytypes, which are semi-metrics defined by canonical functions on the metric space, andclasses, which are families of closed subsets.We obtain a classification of convergences on hyperspace by identifying a convergence to a pair (types, classes).The research of this author was done when he was visiting U.F.R.-M.I.M. of University of Provence in 1992.     

Fractal boundaries are not typical

Let M be a C¹n-dimensional compact submanifold of Rn. The boundary of M, ∂M, is itself a C¹ compact (n−1)-dimensional submanifold of Rn. A carefully chosen set of deformations of ∂M defines a complete subspace consisting of boundaries of compact n-dimensional submanifolds of Rn, thus the Baire Category Theorem applies to the subspace. For the typical boundary element ∂W in this space, it is the case that ∂W is simultaneously nowhere-differentiable and of Hausdorff dimension n−1.     

Topological characterizations of linearly uniformizable spaces

The spaces having uniformities with a totally ordered base are characterized in bigger classes of non-archimedean spaces and suborderable spaces. Consequently, several new metrization results are obtained. By examples, we show that the conditions used in our main theorem cannot be weakened essentially. Our examples may be interesting elsewhere, too.