Let S = {1,1/2,1/2^2,…,1/∞ = 0} and I = [0, 1] be the unit interval. We use ↓USC（S） and ↓C（S） to denote the families of the regions below of all upper semi-continuous maps and of the regions below of all conti...Let S = {1,1/2,1/2^2,…,1/∞ = 0} and I = [0, 1] be the unit interval. We use ↓USC（S） and ↓C（S） to denote the families of the regions below of all upper semi-continuous maps and of the regions below of all continuous maps from S to I and ↓C0（S） = {↓f∈↓C（S） ： f（0） = 0}. ↓USC（S） endowed with the Vietoris topology is a topological space. A pair of topological spaces （X, Y） means that X is a topological space and Y is its subspace. Two pairs of topological spaces （X, Y） and （A, B） are called pair-homeomorphic （≈） if there exists a homeomorphism h ： X→A from X onto A such that h（Y） = B. It is proved that, （↓USC（S）,↓C0（S）） ≈（Q, s） and （↓USC（S）,↓C（S）／ ↓C0（S））≈（Q, c0）, where Q = [-1,1]^ω is the Hilbert cube and s = （-1,1）^ω,c0= {（xn）∈Q ： limn→∞= 0}. But we do not know what （↓USC（S）,↓C（S））is.展开更多
Let (X, ρ) be a metric space and ↓USCC(X) and ↓CC(X) be the families of the regions below all upper semi-continuous compact-supported maps and below all continuous compact-supported maps from X to I = [0,1], respec...Let (X, ρ) be a metric space and ↓USCC(X) and ↓CC(X) be the families of the regions below all upper semi-continuous compact-supported maps and below all continuous compact-supported maps from X to I = [0,1], respectively. With the Hausdorff-metric, they are topological spaces. In this paper, we prove that, if X is an infinite compact metric space with a dense set of isolated points, then (↓USCC(X), ↓CC(X)) ≈ (Q, c 0 ∪ (Q Σ)), i.e., there is a homeomorphism h:↓USCC(X) → Q such that h(↓CC(X)) = c 0 ∪ (Q Σ), where Q = [?1,1]ω, Σ = {(x n ) n∈? ∈ Q: sup|x n | < 1} and c 0 = {(x n ) n∈? ∈ Σ: lim n→+∞ x n = 0}. Combining this statement with a result in our previous paper, we have $$ ( \downarrow USCC(X), \downarrow CC(X)) \approx \left\{ \begin{gathered} (Q,c_0 \cup (Q\backslash \Sigma )), if the set of isolanted points is dense in X, \hfill \\ (Q,c_0 ),otherwise, \hfill \\ \end{gathered} \right. $$ if X is an infinite compact metric space. We also prove that, for a metric space X, (↓USCC(X), ↓CC(X)) ≈ (Σ, c 0) if and only if X is non-compact, locally compact, non-discrete and separable.展开更多
基金The NNSF （10471084） of China and by Guangdong Provincial Natural Science Foundation（04010985）.
文摘Let S = {1,1/2,1/2^2,…,1/∞ = 0} and I = [0, 1] be the unit interval. We use ↓USC（S） and ↓C（S） to denote the families of the regions below of all upper semi-continuous maps and of the regions below of all continuous maps from S to I and ↓C0（S） = {↓f∈↓C（S） ： f（0） = 0}. ↓USC（S） endowed with the Vietoris topology is a topological space. A pair of topological spaces （X, Y） means that X is a topological space and Y is its subspace. Two pairs of topological spaces （X, Y） and （A, B） are called pair-homeomorphic （≈） if there exists a homeomorphism h ： X→A from X onto A such that h（Y） = B. It is proved that, （↓USC（S）,↓C0（S）） ≈（Q, s） and （↓USC（S）,↓C（S）／ ↓C0（S））≈（Q, c0）, where Q = [-1,1]^ω is the Hilbert cube and s = （-1,1）^ω,c0= {（xn）∈Q ： limn→∞= 0}. But we do not know what （↓USC（S）,↓C（S））is.
基金supported by National Natural Science Foundation of China (Grant No. 10471084)
文摘Let (X, ρ) be a metric space and ↓USCC(X) and ↓CC(X) be the families of the regions below all upper semi-continuous compact-supported maps and below all continuous compact-supported maps from X to I = [0,1], respectively. With the Hausdorff-metric, they are topological spaces. In this paper, we prove that, if X is an infinite compact metric space with a dense set of isolated points, then (↓USCC(X), ↓CC(X)) ≈ (Q, c 0 ∪ (Q Σ)), i.e., there is a homeomorphism h:↓USCC(X) → Q such that h(↓CC(X)) = c 0 ∪ (Q Σ), where Q = [?1,1]ω, Σ = {(x n ) n∈? ∈ Q: sup|x n | < 1} and c 0 = {(x n ) n∈? ∈ Σ: lim n→+∞ x n = 0}. Combining this statement with a result in our previous paper, we have $$ ( \downarrow USCC(X), \downarrow CC(X)) \approx \left\{ \begin{gathered} (Q,c_0 \cup (Q\backslash \Sigma )), if the set of isolanted points is dense in X, \hfill \\ (Q,c_0 ),otherwise, \hfill \\ \end{gathered} \right. $$ if X is an infinite compact metric space. We also prove that, for a metric space X, (↓USCC(X), ↓CC(X)) ≈ (Σ, c 0) if and only if X is non-compact, locally compact, non-discrete and separable.
