Minimal embeddings of topological spaces into the real line (Q735658): Difference between revisions
From MaRDI portal
Created a new Item |
Set OpenAlex properties. |
||
(5 intermediate revisions by 4 users not shown) | |||
Property / author | |||
Property / author: Mikhail Patrakeev / rank | |||
Property / author | |||
Property / author: Mikhail Patrakeev / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5643279 / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1134/s0081543808060151 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2077433966 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 12:15, 30 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Minimal embeddings of topological spaces into the real line |
scientific article |
Statements
Minimal embeddings of topological spaces into the real line (English)
0 references
23 October 2009
0 references
Let \(X\) and \(Y\) be topological spaces and \(f:X\to Y\) a map. If \(f\) is a homeomorphism between \(X\) and some subspace of \(Y,\) then we call \(f\) an embedding of \(X\) into \(Y.\) For example, each second countable regular space is homeomorphic to a subset of the Hilbert cube. The Hilbert cube is then called the ambient space. The ambient space in this paper is the real line \(\mathbb R\) and the minimal embedding of a space into \(\mathbb R\) means the following: A topological space \((X,\tau)\) is called \(\mathbb R\)-minimal if it is homeomorphic to a subspace of \(\mathbb R\) but does not posses this property for any weaker topology \(\tau' \leq \tau, \tau' \neq \tau.\) Clearly that the segment \([a,b]\) is \(\mathbb R\)-minimal, but there are more \(\mathbb R\)-minimal spaces. The result of the paper characterizes such subspaces as follows, where \(\mathbb R^*\) denotes the two-point compactification of \(\mathbb R\) and \(\Gamma_A\) the family of nontrivial components of \(A\): A subspace \(A\) of \(\mathbb R\) is \(\mathbb R\)-minimal if and only if at least one of the following condition is satisfied. {\parindent6mm \begin{itemize}\item[(1)] \(A\) is a compact subset; \item[(2)] \(A\) is open in \(\mathbb R\); \item[(3)] \(A\) has the form \([a,b), (a,b], [a,+\infty), (-\infty,b];\) \item[(4)] All the components of \(A\) are nontrivial (i.e., \(A=\bigcup\{M\mid M\in \Gamma_A\}\)); the set \(\bigcup\{\mathrm{cl}M_{\mathbb R^*}\mid M\in \Gamma_A\}\) is compact; and for any component \(M\) of \(A\), a point \(a\in \mathrm{Fr}M\) belongs to \(M\) if and only if every neighborhood \(O_a\) of \(a\) contains infinitely many components of \(A\). \end{itemize}}
0 references
Embedding
0 references
minimal embedding
0 references
\(\mathbb R\)-minimal
0 references
real line.
0 references