Algebras of real-valued continuous functions in product spaces

Let {X_i:iϵI} be an arbitrary family of spaces, we say that the cartesian product X has the approximation property when C(X) coincides with the Algebra on X generated by the functions which depend on one variable. In this paper we study the problem of characterizing topologically when an arbitrary product space has the approximation property. We prove that if X is an uncountable pseudo-ℵ₁-compact P-space, then X×Y has the approximation property if, and only if, X×Y is pseudo-ℵ₁-compact. As a corollary we obtain the following characterization for P-spaces: Let X and Y be P-spaces, then X×Y has the approximation property if, and only if, X or Y is countable or X×Y is pseudo-ℵ₁-compact.     

Products of symmetric spaces, and k-networks

As is well known, every product of symmetric spaces need not be symmetric. For symmetric spaces X and Y, in terms of their balls, we give characterizations for the product X×Y to be symmetric under X and Y having certain k-networks, or Y being semi-metric.     

Local compactness and Hewitt realcompactifications of products II

We generalize and refine results from the author's paper [18]. For a completely regular Hausdorff space X, υX denotes the Hewitt realcompactification of X. It is proved that if υ(X×Y)=υX×υY for any metacompact subparacompact (or m-paracompact) space Y, then X is locally compact. A P(n)-space is a space in which every intersection of less than n open sets is open. A characterization of those spaces X such that υ (X×Y = υX×υY for any (metacompact) P(n)-space Y is also obtained.     

There are no hereditary productive γ-spaces

We show that if X is an uncountable productive γ-set [F. Jordan, Productive local properties of function spaces, Topology Appl. 154 (2007) 870-883], then there is a countable Y⊆X such that X?Y is not Hurewicz.Along the way we answer a question of A. Miller by showing that an increasing countable union of γ-spaces is again a γ-space. We will also show that λ-spaces with the Hurewicz property are precisely those spaces for which every co-countable set is Hurewicz.     

Continuity of separately continuous mappings

By means of a topological game, a class of topological spaces which contains compact spaces, q-spaces and W-spaces was defined in [BOUZIAD, A.: The Ellis theorem and continuity in groups, Topology Appl. 50 (1993), 73–80]. We will show that if Y belongs to this class, every separately continuous function f: X × Y → Z is jointly continuous on a dense subset of X × Y provided that X is σ-β-unfavorable and Z is a regular weakly developable space.     

A counterexample for a problem of Arhangel'skii concerning the product of Fréchet spaces

Using the continuum hypothesis, we give a counterexample for the following problem posed by Arhangel'skii: if X × Y is Fréchet for each countably compact regular Fréchet space Y, then is X an 〈α₃〉-space?     

A note on D-spaces

We introduce notions of nearly good relations and N-sticky modulo a relation as tools for proving that spaces are D-spaces. As a corollary to general results about such relations, we show that Cp(X) is hereditarily a D-space whenever X is a Lindelöf Σ-space. This answers a question of Matveev, and improves a result of Buzyakova, who proved the same result for X compact.We also prove that if a space X is the union of finitely many D-spaces, and has countable extent, then X is linearly Lindelöf. It follows that if X is in addition countably compact, then X must be compact. We also show that Corson compact spaces are hereditarily D-spaces. These last two results answer recent questions of Arhangel'skii. Finally, we answer a question of van Douwen by showing that a perfectly normal collectionwise-normal non-paracompact space constructed by R. Pol is a D-space.     

H-spectral spaces

Let X be a T₀-space, we say that X is H-spectral if its T₀-compactification is spectral. This paper deal with topological properties of H-spectral spaces. In the case of T₁-spaces the T₀-compactification coincides with the Wallman compactification. We give necessary and sufficient condition on the T₁-space X in order to get its Wallman compactification spectral.     

Kaleidoscopical configurations

Let G be a group, and let X be a G-space with the action G × X → X, (g, x) ?gx. A subset A of X is called a kaleidoscopical configuration if there is a coloring χ : X → κ (i.e., a mapping of X onto a cardinal κ) such that the restriction χ|gA is a bijection for each g ∈ G. We survey some recent results on kaleidoscopical configurations in metric spaces considered as G-spaces with respect to the groups of their isometries and in groups considered as left regular G-spaces.     

T0-spaces and pointwise convergence

The purpose of this paper is to give several different characterizations of those T₀-spaces E with the property that if F:X × E → Y is separately continuous, then it is jointly continuous. One such is that the lattice 0(E) of open sets of E be a hypercontinuous lattice (i.e. the interval topology on 0(E) is Hausdorff). If E is a sober space, then E must be a quasicontinuous poset endowed with the Scott topology.     

On the Dimension of Preimages of Certain Paracompact Spaces

It is proved that if X is a normal space which admits a closed fiberwise strongly zero-dimensional continuous map onto a stratifiable space Y in a certain class (an S-space), then IndX = dimX. This equality also holds if Y is a paracompact σ-space and ind Y = 0. It is shown that any closed network of a closed interval or the real line is an S-network. A simple proof of the Kateˇ tov–Morita inequality for paracompact σ-spaces (and, hence, for stratifiable spaces) is given.     

A Convenient Subcategory of Tych

A map f:XY between Hausdorff topological spaces is k-continuous if its restriction f| _K to every compact subspace K of X is continuous. X is called a k _R -space if every k-continuous function from X to a Tychonoff space is continuous. In this paper we investigate the category of Tychonoff k _R -spaces, and show that it is Cartesian closed (thus convenient in the sense of Wyler).     

Normality in products

If P is a paracompact p-space, P×X is collectionwise normal, and Y is a closed image of X, then P×Y is collectionwise normal.If M is metric, X shrinking, and M×X is normal, then M×X is shrinking.     

On the existence of G-equivariant maps

Let G be a compact Lie group. Let X, Y be free G-spaces. In this paper, by using the numerical index i (X; R), under cohomological conditions on the spaces X and Y, we consider the question of the existence of G-equivariant maps f: X ?? Y.     

On a generalization of distance sets

A subset X in the d-dimensional Euclidean space is called a k-distance set if there are exactly k distinct distances between two distinct points in X and a subset X is called a locally k-distance set if for any point x in X, there are at most k distinct distances between x and other points in X.Delsarte, Goethals, and Seidel gave the Fisher type upper bound for the cardinalities of k-distance sets on a sphere in 1977. In the same way, we are able to give the same bound for locally k-distance sets on a sphere. In the first part of this paper, we prove that if X is a locally k-distance set attaining the Fisher type upper bound, then determining a weight function w, (X,w) is a tight weighted spherical 2k-design. This result implies that locally k-distance sets attaining the Fisher type upper bound are k-distance sets. In the second part, we give a new absolute bound for the cardinalities of k-distance sets on a sphere. This upper bound is useful for k-distance sets for which the linear programming bound is not applicable. In the third part, we discuss about locally two-distance sets in Euclidean spaces. We give an upper bound for the cardinalities of locally two-distance sets in Euclidean spaces. Moreover, we prove that the existence of a spherical two-distance set in (d−1)-space which attains the Fisher type upper bound is equivalent to the existence of a locally two-distance set but not a two-distance set in d-space with more than d(d+1)/2 points. We also classify optimal (largest possible) locally two-distance sets for dimensions less than eight. In addition, we determine the maximum cardinalities of locally two-distance sets on a sphere for dimensions less than forty.     

Monolithic spaces and D-spaces revisited

We introduce the classes of monotonically monolithic and strongly monotonically monolithic spaces. They turn out to be reasonably large and with some nice categorical properties. We prove, in particular, that any strongly monotonically monolithic countably compact space is metrizable and any monotonically monolithic space is a hereditary D-space. We show that some classes of monolithic spaces which were earlier proved to be contained in the class of D-spaces are monotonically monolithic. In particular, Cp(X) is monotonically monolithic for any Lindelöf Σ-space X. This gives a broader view of the results of Buzyakova and Gruenhage on hereditary D-property in function spaces.     

Locally Complemented Subspaces and ℒ︁p-Spaces for 0 < p < 1

We develop a theory of ??_p-spaces for 0 < p < 1, basing our definition on the concept of a locally complemented subspace of a quasi-BANACH space. Among the topics we consider are the existence of basis in ??_p-spaces, and lifting and extension properties for operators. We also give a simple construction of uncountably many separable ??_p-spaces of the form ??_p(X) where X is not a ??_p-space. We also give some applications of our theory to the spaces H_p, 0 < p < 1.     

A note on D-spaces and infinite unions

It is shown that if X is a countably compact space that is the union of a countable family of D-spaces, then X is compact. This gives a positive answer to Arhangel'skii's problem [A.V. Arhangel'skii, D-spaces and finite unions, Proc. Amer. Math. Soc. 132 (7) (2004) 2163-2170]. In this note, we also obtain a result that if a regular space X is sequential and has a point-countable k-network, then X is a D-space.     

Subcontinuity

We give interesting characterizations using subcontinuity. Let X, Y be topological spaces. We study subcontinuity of multifunctions from X to Y and its relations to local compactness, local total boundedness and upper semicontinuity. If Y is regular, then F is subcontinuous iff [`(F)]\bar F is USCO. A uniform space Y is complete iff for every topological space X and for every net {F _a }, F _a ⊂ X × Y, of multifunctions subcontinuous at x ∈ X, uniformly convergent to F, F is subcontinuous at x. A Tychonoff space Y is Čech-complete (resp. G _m-space) iff for every topological space X and every multifunction F ⊂ X × Y the set of points of subcontinuity of F is a G _δ -subset (resp. G _m-subset) of X.