G.Sam b in引入了(代数)信息基的概念,并证明了代数Scott D om a in范畴和信息基范畴是等价的.B.R.C.Bedrega l给出了ω-代数cpo和SFP dom a in的刻划.而G.Q.Zhang通过序结构给出了SFP dom a in的刻划.本文将引入了拟信息基的概念并给...G.Sam b in引入了(代数)信息基的概念,并证明了代数Scott D om a in范畴和信息基范畴是等价的.B.R.C.Bedrega l给出了ω-代数cpo和SFP dom a in的刻划.而G.Q.Zhang通过序结构给出了SFP dom a in的刻划.本文将引入了拟信息基的概念并给出了ω-代数cpo和SFP dom a in的刻划.展开更多
Let K be a class of spaces which are eigher a pseudo-open s-image of a metric space or a k-space having a compact-countable closed k-network. Let K′ be a class of spaces which are either a Fréchet space with a p...Let K be a class of spaces which are eigher a pseudo-open s-image of a metric space or a k-space having a compact-countable closed k-network. Let K′ be a class of spaces which are either a Fréchet space with a point-countable k-network or a point-G_δ k-space having a compact-countable k-network. In this paper, we obtain some sufficient and necessary conditions that the products of finitely or countably many spaces in the class K or K′ are a k-space. The main results are that Theorem A If X, Y ∈ K. Then X x Y is a k-space if and only if (X, Y) has the Tanaka’s condition. Theorem B The following are equivalent: (a) BF(w2) is false. (b) For each X, Y ∈ K′, X x Y is a k-space if and only if (X, Y) has the Tanaka’s condition.展开更多
文摘G.Sam b in引入了(代数)信息基的概念,并证明了代数Scott D om a in范畴和信息基范畴是等价的.B.R.C.Bedrega l给出了ω-代数cpo和SFP dom a in的刻划.而G.Q.Zhang通过序结构给出了SFP dom a in的刻划.本文将引入了拟信息基的概念并给出了ω-代数cpo和SFP dom a in的刻划.
基金Project supported by the Mathematical Tianyuan Foundation of China
文摘Let K be a class of spaces which are eigher a pseudo-open s-image of a metric space or a k-space having a compact-countable closed k-network. Let K′ be a class of spaces which are either a Fréchet space with a point-countable k-network or a point-G_δ k-space having a compact-countable k-network. In this paper, we obtain some sufficient and necessary conditions that the products of finitely or countably many spaces in the class K or K′ are a k-space. The main results are that Theorem A If X, Y ∈ K. Then X x Y is a k-space if and only if (X, Y) has the Tanaka’s condition. Theorem B The following are equivalent: (a) BF(w2) is false. (b) For each X, Y ∈ K′, X x Y is a k-space if and only if (X, Y) has the Tanaka’s condition.