Independent subbases and non-redundant codings of separable metrizable spaces
type: Item
instance of: scholarly article
title: Independent subbases and non-redundant codings of separable metrizable spaces
zbMATH Open document ID: 1230.54026
author: Haruto Ohta
author: Hideki Tsuiki
author: Shuji Yamada
published in: Topology and its Applications
publication date: 2011-01-12T00:00:00Z
review text: An independent subbase of a space \(X\) is a subbase \(S= \{S_{n,i}:n<\omega,i<2\}\) for the topology on \(X\) such that for all \(n<\omega\), \(S_{n,0}\cap S_{n,1}=\emptyset\) and for every \(\sigma\in {}^{<\omega}2\), the set of all functions from a non-negative integer into \(2=\{0,1\}\), \(\bigcap_{k<n}S_{k,\sigma(k)}\not=\emptyset\). The authors prove that a separable metric space \(X\) is dense-in-itself if and only if \(X\) has an independent subbase. This answers a question raised by the second author in [Topol. Proc. 28, No.~2, 673--687 (2004; Zbl 1125.54018)]. The authors say that an independent subbase \(S= \{S_{n,i}:n<\omega,i<2\}\) has dimension \(m\) provided \(\{X\setminus(S_{n,0}\cup S_{n,1}):n<\omega\}\) has order at most \(m-1\), where the order of a family of sets \(\mathcal A\) is the largest non-negative integer \(m\) such that \(\mathcal A\) contains \(m+1\) sets with non-empty intersection. Let \(\dim(X)\) denote the covering dimension of a separable metric space \(X\). The authors prove that a separable metric space \(X\) is dense in itself and has \(\dim(X)\leq m\) if and only if \(X\) has an independent subbase of dimension \(m\). These results are proved using \(\mathbb T^\omega\)-codes, where \(\mathbb T=\{0,1,\perp\}\), where \(\perp\) is called the bottom element. Such codes arise in computability theory.
Mathematics Subject Classification ID: 54E35
Mathematics Subject Classification ID: 54E99
Mathematics Subject Classification ID: 54F65
Mathematics Subject Classification ID: 68Q99
Mathematics Subject Classification ID: 54D70
zbMATH DE Number: 5835571
zbMATH Keywords: separable metric spaces
zbMATH Keywords: independent subbase
zbMATH Keywords: bottom character
zbMATH Keywords: non redundant coding
reviewed by: Jerry E. Vaughan
MaRDI profile type: Publication
full work available at URL: j.topol.2010.09.003
OpenAlex ID: W1997160929
cites work: Q4855460
cites work: Q3994935
cites work: An abstract data type for real numbers
cites work: Normal families and dimension theory for metric spaces
cites work: Q4023900
cites work: Q4531996
cites work: Real number computation through Gray code embedding.
cites work: Compact metric spaces as minimal-limit sets in domains of bottomed sequences
cites work: Q3368439
cites work: Q4485693
DOI: 10.1016/J.TOPOL.2010.09.003
Recommended article: Q4365920
Recommended article: Characterizations of certain classes of infinite dimensional metrizable spaces
Recommended article: Axiomatic characterizations of dimension in special classes of spaces
Recommended article: Q4531996
Recommended article: A note on the Prabir Roy space
Recommended article: Q3482542
Recommended article: Some versions of second countability of metric spaces in ZF and their role to compactness
Recommended article: On isometric embeddings of compact metric spaces of a countable dimension
Recommended article: Dense computability structures
Recommended article: On special metrics characterizing topological properties
description: scientific article; zbMATH DE number 5835571