Typical elements and meager spaces
type: Item
instance of: scholarly article
title: Typical elements and meager spaces
zbMATH Open document ID: 1029.54016
DOI: 10.1016/S0166-8641(02)00262-6
author: W. L. Bloch
published in: Topology and its Applications
publication date: 2003-07-29T00:00:00Z
review text: Let \(M\) be a complete metric space. A subset \(A\) of \(M\) is called nowhere dense if its closure \(A\) contains no open subset. A subset is called meager if it is the countable union of nowhere dense subsets. The complement of a meager set is called a generic set. An element of a generic set is called typical. Let \(\mathbb{K}^n\) be the set of all compact subsets of \(\mathbb{R}^n\) equipped with the Hausdorff metric. For fixed \(\varepsilon> 0\), let \(D^n_\varepsilon\) be the set of all \(X\in\mathbb{K}^n\) such that each component of \(X\) contains an open ball of radius \(\varepsilon\). The author characterizes the typical element of \(D^n_\varepsilon\), as below: The ball-and-chain theorem. For \(n\geq 2\), the typical element of \(D^n_\varepsilon\) is the union of a closed \(\varepsilon\)-ball and a pseudo-arc, and as a consequence, the Hausdorff dimension of its boundary equals \(n-1\). The author also proves several subspaces of \(\mathbb{K}^n\) to be meager. Theorem 2. For \(n\geq 2\), the following subspaces of \(\mathbb{K}^n\) are each the union of a countable number of nowhere dense sets. (1) The space \(D'\), in which each element consists of a finite number of connected components; the \(i\)th component contains an open ball of radius \(\varepsilon\). (2) The subspace of all compact \(n\)-dimensional submanifolds of \(\mathbb{R}^n\). (3) The subspace \(M\) of all \(n\)-dimensional compact submanifolds of \(\mathbb{R}^n\) having diameter greater than some preassigned \(\varepsilon\). (4) The subspace \(M'\) of all \(n\)-dimensional compact connected submanifolds of \(\mathbb{R}^n\) that have diameter greater than some preassigned \(\varepsilon\). Theorem 3. The following two subspaces of \(\mathbb{K}^n\) are meager. (1) The subspace \(P\), which consists of all compact, connected and locally connected sets. (2) The subspace AC, which consists of all arc-connected compact subsets.
reviewed by: Akihiro Okuyama
Mathematics Subject Classification ID: 54B20
Mathematics Subject Classification ID: 54E50
Mathematics Subject Classification ID: 54D05
Mathematics Subject Classification ID: 54E52
zbMATH DE Number: 1955984
zbMATH Keywords: hyperspaces
zbMATH Keywords: meager spaces
zbMATH Keywords: Baire category theorem
zbMATH Keywords: typical
zbMATH Keywords: Hausdorff metric
zbMATH Keywords: connectedness
zbMATH Keywords: submanifold of \(\mathbb{R}^n\)
MaRDI profile type: Publication
cites work: Dynamics of Typical Continuous Functions
cites work: Q4946905
cites work: Concerning hereditarily indecomposable continua
cites work: The Lipschitz structure of continuous self-maps of generic compact sets
cites work: Q3714302
cites work: Q3995301
cites work: Category and dimension of compact subsets of \(\mathbb R^n\)
cites work: Q4314797
cites work: Q3674930
cites work: Dimension and structure of typical compact sets, continua and curves
cites work: Q3142503
cites work: Q5835082
cites work: Q5508167
cites work: Applications of the Baire category theorem
cites work: The topology of attractors
cites work: Q5541833
cites work: Q3304890
cites work: Topologies on Spaces of Subsets
cites work: Q4064159
cites work: Q3869981
cites work: Families of compact sets and their universals
cites work: Q5620774
cites work: Fractals and hyperspaces
cites work: The convex hull of a typical compact set
description: scientific article; zbMATH DE number 1955984