Let L be a continuous semilattice. We use USC(X, L) to denote the family of all lower closed sets including X × {0} in the product space X × AL and ↓1 C(X,L) the one of the regions below of all continuous m...Let L be a continuous semilattice. We use USC(X, L) to denote the family of all lower closed sets including X × {0} in the product space X × AL and ↓1 C(X,L) the one of the regions below of all continuous maps from X to AL. USC(X, L) with the Vietoris topology is a topological space and ↓C(X, L) is its subspace. It will be proved that, if X is an infinite locally connected compactum and AL is an AR, then USC(X, L) is homeomorphic to [-1,1]ω. Furthermore, if L is the product of countably many intervals, then ↓ C(X, L) is homotopy dense in USC(X,L), that is, there exists a homotopy h : USC(X,L) × [0,1] →USC(X,L) such that h0 = idUSC(X,L) and ht(USC(X,L)) C↓C(X,L) for any t > 0. But ↓C(X, L) is not completely metrizable.展开更多
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.展开更多
A metric space （X, d） is called bi-Lipschitz homogeneous if for any points x, y ∈X, there exists a self-homeomorphism h of X such that both h and h-1 are Lipschitz and h（x） = y. Let 2（x,d） denote the family of ...A metric space （X, d） is called bi-Lipschitz homogeneous if for any points x, y ∈X, there exists a self-homeomorphism h of X such that both h and h-1 are Lipschitz and h（x） = y. Let 2（x,d） denote the family of all non-empty compact subsets of metric space （X, d） with the Hausdorff metric. In 1985, Hohti proved that 2（[0,1],d） is not bi-Lipschitz homogeneous, where d is the standard metric on [0, 1]. We extend this result in two aspects. One is that 2（[0,1],e ） is not bi-Lipschitz homogeneous for an admissible metric Q satisfying some conditions. Another is that 2（X,d） is not bi-Lipschitz homogeneous if （X, d） has a nonempty open subspace which is isometric to an open subspace of m-dimensional Euclidean space R^m.展开更多
Hilbert problem 15 requires to understand Schubert's book. In this book, there is a theorem in §23, about the relation of the tangent lines from a point and the singular points of cubed curves with cusp near ...Hilbert problem 15 requires to understand Schubert's book. In this book, there is a theorem in §23, about the relation of the tangent lines from a point and the singular points of cubed curves with cusp near a 3-multiple straight line, which was obtained by the so called main trunk numbers, while for these numbers, Schubert said that he obtained them by experiences. So essentially Schubert even did not give any hint for the proof of this theorem. In this paper, by using the concept of generic point in the framework of Van der Waerden and Weil on algebraic geometry, and realizing Ritt-Wu method on computer, the authors prove that this theorem of Schubert is completely right.展开更多
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.展开更多
For a Tychonoff space X, we use ↓USCF（X） and↓CF（X） to denote the families of the hypographs of all semi-continuous maps and of all continuous maps from X to I = [0, 1] with the subspace topologies of the hypersp...For a Tychonoff space X, we use ↓USCF（X） and↓CF（X） to denote the families of the hypographs of all semi-continuous maps and of all continuous maps from X to I = [0, 1] with the subspace topologies of the hyperspace Cldf（X × I） consisting of all non-empty closed sets in X × I endowed with the Fell topology. In this paper, we shall show that there exists a homeomorphism h： ↓USCF（X） → Q = [-1, 1]^∞ such that h（↓ CF（X）） ： co ： {（Xn） E Q ｜ limn→ ∞ xn = O} if and only if X is a locally compact separable metrizable space and the set of isolated points is not dense in X.展开更多
The concepts of metric R0-algebra and Hilbert cube of type RO are introduced. A unified approximate reasoning theory in propositional caculus system ? and predicate calculus system (?) is established semantically as w...The concepts of metric R0-algebra and Hilbert cube of type RO are introduced. A unified approximate reasoning theory in propositional caculus system ? and predicate calculus system (?) is established semantically as well as syntactically, and a unified complete theorem is obtained.展开更多
We prove that a locally compact ANR-space X is a Q-manifold if and only if it has the Disjoint Disk Property (DDP), all points of X are homological Z∞-points and X has the countable-dimensional approximation property...We prove that a locally compact ANR-space X is a Q-manifold if and only if it has the Disjoint Disk Property (DDP), all points of X are homological Z∞-points and X has the countable-dimensional approximation property (cd-AP), which means that each map f:K→X of a compact polyhedron can be approximated by a map with the countable-dimensional image. As an application we prove that a space X with DDP and cd-AP is a Q-manifold if some finite power of X is a Q-manifold. If some finite power of a space X with cd-AP is a Q-manifold, then X2 and X×[0,1] are Q-manifolds as well. We construct a countable familyχof spaces with DDP and cd-AP such that no space X∈χis homeomorphic to the Hilbert cube Q whereas the product X×Y of any different spaces X, Y∈χis homeomorphic to Q. We also show that no uncountable familyχwith such properties exists.展开更多
基金This work was supported by the National Natural Science Foundation of China(Grant No.10471084)by Guangdong Provincial Natural Science Fundation(Grant No.04010985).
文摘Let L be a continuous semilattice. We use USC(X, L) to denote the family of all lower closed sets including X × {0} in the product space X × AL and ↓1 C(X,L) the one of the regions below of all continuous maps from X to AL. USC(X, L) with the Vietoris topology is a topological space and ↓C(X, L) is its subspace. It will be proved that, if X is an infinite locally connected compactum and AL is an AR, then USC(X, L) is homeomorphic to [-1,1]ω. Furthermore, if L is the product of countably many intervals, then ↓ C(X, L) is homotopy dense in USC(X,L), that is, there exists a homotopy h : USC(X,L) × [0,1] →USC(X,L) such that h0 = idUSC(X,L) and ht(USC(X,L)) C↓C(X,L) for any t > 0. But ↓C(X, L) is not completely metrizable.
基金The first author was supported by the Special Fund of Shaanxi Provincial Education Department(No.05JK226)The second author was supported by the NSFC(No.10471084)by Guangdong Provincial Natural Science Foundation(No.04010985).
基金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 the National Natural Science Foundation of China(Grant No.10971125)
文摘A metric space （X, d） is called bi-Lipschitz homogeneous if for any points x, y ∈X, there exists a self-homeomorphism h of X such that both h and h-1 are Lipschitz and h（x） = y. Let 2（x,d） denote the family of all non-empty compact subsets of metric space （X, d） with the Hausdorff metric. In 1985, Hohti proved that 2（[0,1],d） is not bi-Lipschitz homogeneous, where d is the standard metric on [0, 1]. We extend this result in two aspects. One is that 2（[0,1],e ） is not bi-Lipschitz homogeneous for an admissible metric Q satisfying some conditions. Another is that 2（X,d） is not bi-Lipschitz homogeneous if （X, d） has a nonempty open subspace which is isometric to an open subspace of m-dimensional Euclidean space R^m.
文摘Hilbert problem 15 requires to understand Schubert's book. In this book, there is a theorem in §23, about the relation of the tangent lines from a point and the singular points of cubed curves with cusp near a 3-multiple straight line, which was obtained by the so called main trunk numbers, while for these numbers, Schubert said that he obtained them by experiences. So essentially Schubert even did not give any hint for the proof of this theorem. In this paper, by using the concept of generic point in the framework of Van der Waerden and Weil on algebraic geometry, and realizing Ritt-Wu method on computer, the authors prove that this theorem of Schubert is completely right.
基金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.
基金Supported by National Natural Science Foundation of China (Grant No.10971125)
文摘For a Tychonoff space X, we use ↓USCF（X） and↓CF（X） to denote the families of the hypographs of all semi-continuous maps and of all continuous maps from X to I = [0, 1] with the subspace topologies of the hyperspace Cldf（X × I） consisting of all non-empty closed sets in X × I endowed with the Fell topology. In this paper, we shall show that there exists a homeomorphism h： ↓USCF（X） → Q = [-1, 1]^∞ such that h（↓ CF（X）） ： co ： {（Xn） E Q ｜ limn→ ∞ xn = O} if and only if X is a locally compact separable metrizable space and the set of isolated points is not dense in X.
基金supported by the National Natural Science Foundation of China(Grant No.19331010).
文摘The concepts of metric R0-algebra and Hilbert cube of type RO are introduced. A unified approximate reasoning theory in propositional caculus system ? and predicate calculus system (?) is established semantically as well as syntactically, and a unified complete theorem is obtained.
基金This work was supported by the Slovenian-Ukrainian(Grant No.SLO-UKR 04-06/07)
文摘We prove that a locally compact ANR-space X is a Q-manifold if and only if it has the Disjoint Disk Property (DDP), all points of X are homological Z∞-points and X has the countable-dimensional approximation property (cd-AP), which means that each map f:K→X of a compact polyhedron can be approximated by a map with the countable-dimensional image. As an application we prove that a space X with DDP and cd-AP is a Q-manifold if some finite power of X is a Q-manifold. If some finite power of a space X with cd-AP is a Q-manifold, then X2 and X×[0,1] are Q-manifolds as well. We construct a countable familyχof spaces with DDP and cd-AP such that no space X∈χis homeomorphic to the Hilbert cube Q whereas the product X×Y of any different spaces X, Y∈χis homeomorphic to Q. We also show that no uncountable familyχwith such properties exists.
