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.     

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.     

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.     

Box and Packing Dimensions of Typical Compact Sets

 Let (X,ρ) be a complete metric space and let dim A be the upper box dimension of the set . We show that packing dimension of the typical (in the sense of Baire category) compact set is at least . (Received 27 March 2000; in revised form 5 June 2000)     

Refinable maps in dimension theory

This paper studies properties of refinable maps and contains applications to dimension theory. It is proved that refinable maps between compact Hausdorff spaces preserve covering dimension exactly and do not raise small cohomological dimension with any coefficient group. The notion of a c-refinable map is introduced and is shown to play a comparable role in the setting of normal spaces. For example, c-refinable maps between normal spaces are shown to preserve covering dimension and S-weak infinite-dimensionality. These facts do not hold for refinable maps.     

The Katětov dimension of proximity spaces

An analogue of Kattov's theorem on the equality between the dimension of a Tychonov space and the analytic dimension of its ring of bounded real-valued continuous maps is established for proximity spaces and proximally continuous maps by an internal method of proof. A new kind of filter, called proximally prime filter, arises naturally as a tool in this theory.     

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.     

Characterizations of certain classes of infinite dimensional metrizable spaces

We shall give the characterizations of metrizable spaces that have both large transfinite dimension Ind and strong small transfinite dimension sind in terms of ranks and developments. A characterization of such separable metrizable spaces by means of embeddings into the Hilbert cube is also obtained.     

On base dimension-like functions of the type Ind

In [5] base dimension-like functions of the type Ind were introduced. These functions were studied only with respect to the property of universality. Here, we first compare these dimensions with the classical large inductive dimension Ind and then study these functions with respect to other standard properties of dimension theory.     

A space with maximal discrepancy between its Katêtov and covering dimension

It is shown, using a non-measurable partition of the real line, that the covering dimension of a modified Niemytzki space is infinite while its Katêtov dimension is zero.     

Strongly countable dimensional compacta form the Hurewicz set

The hyperspaces of strongly countable dimensional compacta of positive dimension and of strongly countable dimensional continua of dimension greater than 1 in the Hilbert cube are homeomorphic to the Hurewicz set of all nonempty countable closed subsets of the unit interval [0,1]. These facts hold true, in particular, for covering dimension dim and cohomological dimension dimG, where G is any Abelian group.     

Some characterizations of spaces that have transfinite dimension

We characterize separable metrizable spaces that have small transfinite dimension and metrizable spaces that have large transfinite dimension modifying two classical characterizations of countable-dimensional spaces and applying the notion of a strongly point-finite family.     

Dimension zero at all scales

We consider the notion of dimension in four categories: the category of (unbounded) separable metric spaces and (metrically proper) Lipschitz maps, and the category of (unbounded) separable metric spaces and (metrically proper) uniform maps. A unified treatment is given to the large scale dimension and the small scale dimension. We show that in all categories a space has dimension zero if and only if it is equivalent to an ultrametric space. Also, 0-dimensional spaces are characterized by means of retractions to subspaces. There is a universal zero-dimensional space in all categories. In the Lipschitz Category spaces of dimension zero are characterized by means of extensions of maps to the unit 0-sphere. Any countable group of asymptotic dimension zero is coarsely equivalent to a direct sum of cyclic groups. We construct uncountably many examples of coarsely inequivalent ultrametric spaces.     

Approximate extension property of mappings

The extension problem is to determine the extendability of a mapping defined on a closed subset of a space into a nice space such as a CW complex over the whole space. In this paper, we consider the extension problem when the codomains are general spaces. We take a shape theoretic approach to generalize the extension theory so that the codomains are allowed to be general spaces. We extend the notion of extension type which has been defined for the class of CW complexes and introduce the notion of approximate extension type which is defined for general spaces. We define approximate extension dimension analogously to extension dimension, replacing the class of CW complexes by the class of finitistic separable metrizable spaces. For every metrizable space X, we show the existence of approximate extension dimension of X.     

On dimension of inverse limits with upper semicontinuous set-valued bonding functions

We give results about the dimension of continua, obtained by combining inverse limits of inverse sequences of metric spaces and one-valued bonding maps with inverse limits of inverse sequences of metric spaces and upper semicontinuous set-valued bonding functions, by standard procedure introduced in [I. Bani?, Continua with kernels, Houston J. Math. (2006), in press].     

There is no upper bound of small transfinite compactness degree in metrizable spaces

In [J.M. Aarts, T. Nishiura, Dimension and Extensions, North-Holland, Amsterdam, 1993], Aarts and Nishiura investigated several types of dimensions modulo a class P of spaces. These dimension functions have natural transfinite extensions. The small transfinite compactness degree trcmp is such transfinite dimension function extending the small compactness degree cmp. We shall prove that there is no upper bound for trcmp in the class of metrizable spaces, i.e. for each ordinal number α there exists a metrizable space Xα such that trcmpXα=α. We also give a characterization of the dimension dim of a separable (compact) metrizable space in terms of the function cmp of the product of this space with a nowhere locally compact zero-dimensional factor.