Characterizing the Cantor bi-cube in asymptotic categories (Q766015)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Characterizing the Cantor bi-cube in asymptotic categories
scientific article

    Statements

    Characterizing the Cantor bi-cube in asymptotic categories (English)
    0 references
    0 references
    0 references
    22 March 2012
    0 references
    The Cantor bi-cube is the subspace of \(2^\mathbb{Z}\) consisting of those sequences \(\langle x_i:i\in\mathbb{Z}\rangle\) for which there is an~\(n\) such that \(x_i=0\) for \(i\geq n\), endowed with the following metric \(d(x,y)=\max_{i\in\mathbb{Z}} 2^i|x_i-y_i|\). One can consider three kinds of maps between metric spaces, defined using the oscillation function: \(\omega_f(\delta)=\sup\{d(f(x),f(y):d(x,y)\leq\delta\}\). We say \(f\) is uniformly continuous (or micro-uniform) if \((\forall\epsilon>0)(\exists\delta>0)(\omega_f(\delta)<\epsilon)\); macro-uniform if \((\forall\delta>0)(\exists\epsilon>0)(\omega_f(\delta)<\epsilon)\); and bi-uniform if it is micro- and macro-uniform. The authors establish characterizations of the Cantor bi-cube in each of the resulting categories of metric spaces.
    0 references
    Cantor set
    0 references
    extended Cantor set
    0 references
    coarse equivalence
    0 references

    Identifiers