Fell topology on the space of functions with closed graph

LetX andY beT ₁ topological spaces andG(X, Y) the space of all functions with closed graph. Conditions under which the Fell topology and the weak Fell topology coincide onG(X,Y) are given. Relations between the convergence in the Fell topologyτF, Kuratowski and continuous convergence are studied too. Characterizations of a topological spaceX by separation axioms of (G(X, R), τF) and topological properties of (G(X, R), τF) are investigated.     

Closed ideals in topological algebras: A characterization of the topological Φ-algebra C k (x)

Let A be a uniformly closed and locally m-convex Φ-algebra. We obtain internal conditions on A stated in terms of its closed ideals for A to be isomorphic and homeomorphic to C _k (X), the Φ-algebra of all the real continuous functions on a normal topological space X endowed with the compact convergence topology.     

ech-complete spaces and the upper topology

Let X be a topological space and let be the set of all compact subsets of X. The purpose of this note is to prove the following: if X is regular and q-space, then X is Lindelöf and ech-complete if and only if there exists a continuous map f from a Lindelöf and ech-complete space Y to the space endowed with the upper topology, such that f(Y) is cofinal in . This result extends the following result of Saint Raymond and Christensen: if X is separable metrizable, then X is a Polish space if and only if the space endowed with the Vietoris topology is the continuous image of a Polish space.     

Topological properties of the multifunction space <Emphasis Type="Italic">L</Emphasis>(<Emphasis Type="Italic">X</Emphasis>) of cusco maps

A set-valued mapping F from a topological space X to a topological space Y is called a cusco map if F is upper semicontinuous and F(x) is a nonempty, compact and connected subset of Y for each x ∈ X. We denote by L(X), the space of all subsets F of X × ℝ such that F is the graph of a cusco map from the space X to the real line ℝ. In this paper, we study topological properties of L(X) endowed with the Vietoris topology. The second author is supported by the SPM fellowship awarded by the Council of Scientific and Industrial Research, India.     

The dual of C ps (X)

This is a study of the dual space of continuous linear functionals on the function space C_ps(X) with a natural norm inherited from a larger Banach space. Here ps denotes the pseudocompact-open topology on C(X), the set of all real-valued continuous functions on a Tychonoff space X. The lattice structure and completeness of this dual space have been studied. Since this dual space is inherently related to a space of measures, the measure-theoretic characterization of this dual space has been studied extensively. Due to this characterization, a special kind of topological space, called pz-space, has been studied. Finally the separability of this dual space has been studied.      

Some notes on densely continuous forms

We consider a special space of set-valued functions (multifunctions), the space of densely continuous forms D(X, Y) between Hausdorff spaces X and Y, defined in [HAMMER, S. T.—McCOY, R. A.: Spaces of densely continuous forms, Set-Valued Anal. 5 (1997), 247–266] and investigated also in [HOLá, L’.: Spaces of densely continuous forms, USCO and minimal USCO maps, Set-Valued Anal. 11 (2003), 133–151]. We show some of its properties, completing the results from the papers [HOLY, D.—VADOVIČ, P.: Densely continuous forms, pointwise topology and cardinal functions, Czechoslovak Math. J. 58(133) (2008), 79–92] and [HOLY, D.—VADOVIČ, P.: Hausdorff graph topology, proximal graph topology and the uniform topology for densely continuous forms and minimal USCO maps, Acta Math. Hungar. 116 (2007), 133–144], in particular concerning the structure of the space of real-valued locally bounded densely continuous forms D _p ^*(X) equipped with the topology of pointwise convergence in the product space of all nonempty-compact-valued multifunctions. The paper also contains a comparison of cardinal functions on D _p ^*(X) and on real-valued continuous functions C _p (X) and a generalization of a sufficient condition for the countable cellularity of D _p ^*(X). This work was supported by Science and Technology Assistance Agency under the contract No. APVT-51-006904 and by the Eco-Net (EGIDE) programme of the Laboratoire de Mathématiques de l’Université de Saint-Etienne (LaMUSE), France.     

Vector Variational Inequalities and the (S)<Subscript>+</Subscript> Condition

Let $${\cal Z}$$ and X be Hausdorff real topological vector spaces and let $${\cal L}_b(X,{\cal Z})$$ be the space of continuous linear mappings from X into $${\cal Z}$$ equipped with the topology of bounded convergence. In this paper, we define the (S)₊ condition for operators from a nonempty subset of X into $${\cal L}_b(X,{\cal Z})$$ and derive some existence results for vector variational inequalities with operators of the class (S)₊. Some applications to vector complementarity problems are given.     

A topological characterization of the goldman prime spectrum of a commutative ring

A prime ideal p of a commutative ring R is said to be a Goldman ideal (or a G-ideal) if there exists a maximal ideal M of the polynomial ring R[X] such that p = M ∩ R. A topological space is said to be goldspectral if it is homeomorphic to the space Gold(R) of G-ideals of R (Gold(R) is considered as a subspace of the prime spectrum Spec(R) equipped with the Zariski topology). We give here a topological characterization of goldspectral spaces.     

Locally Compact Path Spaces

It is shown that the space X^[0,1], of continuous maps [0,1]X with the compact-open topology, is not locally compact for any space X having a nonconstant path of closed points. For a T₁-space X, it follows that X^[0,1] is locally compact if and only if X is locally compact and totally path-disconnected. Mathematics Subject Classifications (2000) 54C35, 54E45, 55P35, 18B30, 18D15.     

Group topologies coarser than the Isbell topology

The Isbell, compact-open and point-open topologies on the set C(X,R) of continuous real-valued maps can be represented as the dual topologies with respect to some collections α(X) of compact families of open subsets of a topological space X. Those α(X) for which addition is jointly continuous at the zero function in Cα(X,R) are characterized, and sufficient conditions for translations to be continuous are found. As a result, collections α(X) for which Cα(X,R) is a topological vector space are defined canonically. The Isbell topology coincides with this vector space topology if and only if X is infraconsonant. Examples based on measure theoretic methods, that Cα(X,R) can be strictly finer than the compact-open topology, are given. To our knowledge, this is the first example of a splitting group topology strictly finer than the compact-open topology.     

Interval Topology and Order-Convergence in the Hyperspace of a Topological Space

In the hyperspace Exp X of all closed subsets of a topological space X interval and order topology solely use the ?-relation in Exp X for their definitions whereas HAUSDORFF set convergence and VIETORIS topology use neighbourhoods in X itself. Nevertheless there exist intimate but non-trivial relations between them.     

Spaces of Densely Continuous Forms, USCO and Minimal USCO Maps

Our paper studies the topology of uniform convergence on compact sets on the space of densely continuous forms (introduced by Hammer and McCoy (1997)), usco and minimal usco maps. We generalize and complete results from Hammer and McCoy (1997) concerning the space D(X,Y) of densely continuous forms from X to Y. Let X be a Hausdorff topological space, (Y,d) be a metric space and D _k (X,Y) the topology of uniform convergence on compact sets on D(X,Y). We prove the following main results: D _k (X,Y) is metrizable iff D _k (X,Y) is first countable iff X is hemicompact. This result gives also a positive answer to question 4.1 of McCoy (1998). If moreover X is a locally compact hemicompact space and (Y,d) is a locally compact complete metric space, then D _k (X,Y) is completely metrizable, thus improving a result from McCoy (1998). We study also the question, suggested by Hammer and McCoy (1998), when two compatible metrics on Y generate the same topologies of uniform convergence on compact sets on D(X,Y). The completeness of the topology of uniform convergence on compact sets on the space of set-valued maps with closed graphs, usco and minimal usco maps is also discussed.     

Coincidence of the Isbell and fine Isbell topologies

Let C(X,Y) be the set of all continuous functions from a topological space X into a topological space Y. We find conditions on X that make the Isbell and fine Isbell topologies on C(X,Y) equal for all Y. For zero-dimensional spaces X, we show there is a space Z such that the coincidence of the Isbell and fine Isbell topologies on C(X,Z) implies the coincidence on C(X,Y) for all Y. We then consider the question of when the Isbell and fine Isbell topologies coincide on the set of continuous real-valued functions. Our results are similar to results established for consonant spaces.     

Boundedly UC Spaces and Topologies on Function Spaces

A new interesting topology on graphs of partial maps is introduced. This topology can be considered as a natural extension to a non locally compact setting of former topologies defined by P. Brandi, R. Ceppitelli and K. Back, having applications in mathematical economics, differential equations and in the convergence of dynamic programming models. New characterizations of boundedly Atsuji spaces are given by the coincidence of and the topology τ _ucb of uniform convergence on bounded sets on C(X,Y) and by topological properties of .      

Quasicontinuous functions,minimal usco maps and topology of pointwise convergence

In [HOLá, Ľ.—HOLY, D.: Pointwise convergence of quasicontinuous mappings and Baire spaces, Rocky Mountain J. Math.] a complete answer is given, for a Baire space X, to the question of when the pointwise limit of a sequence of real-valued quasicontinuous functions defined on X is quasicontinuous. In [HOLá, Ľ.—HOLY, D.: Minimal USCO maps, densely continuous forms and upper semicontinuous functions, Rocky Mountain J. Math. 39 (2009), 545–562], a characterization of minimal USCO maps by quasicontinuous and subcontinuous selections is proved. Continuing these results, we study closed and compact subsets of the space of quasicontinuous functions and minimal USCO maps equipped with the topology of pointwise convergence. We also study conditions under which the closure of the graph of a set-valued mapping which is the pointwise limit of a net of set-valued mappings, is a minimal USCO map.     

A universal complex structure on complete metrizable topological spaces

Let X be a topological space whose topology may be defined by a complete metric d. Taking all such metrics d we define a universal complex structure on X. For this complex structure the sheaf of germs of holomorphic functions on X coincides with the sheaf of germs of continuous functions on X, and hence the theories of topological and holomorphic vector bundles on X are the same.     

Translation invariant topologies on commutative *-algebras

Let A be a commutative *-algebra. Under certain conditions on the involution, we construct a topology makingA a HausdorffQ-ring with continuous involution and inversion; this topology is induced by anA-valued norm.Applying the previous considerations to the algebraC(X) of continuous complex-valued functions over a topological spaceX, we obtain a new characterization of Weierstrass spaces.Furthermore, we provide every projective finitely generated moduleM over a topological ring R with a unique topology, under whichM is a topologicalR-module and every R-linear mapf :M N is continuous, for any topologicalR-moduleN. In caseR =A, we prove that this topology is induced by anA-norm. Mathematics subject classification numbers, 1980/85. Primary 46K05, Secondary 16A80.     

Densely continuous forms, pointwise topology and cardinal functions

We consider the space D(X, Y) of densely continuous forms introduced by Hammer and McCoy [5] and investigated also by Holá [6]. We show some additional properties of D(X, Y) and investigate the subspace D*(X) of locally bounded real-valued densely continuous forms equipped with the topology of pointwise convergence τ- _p . The largest part of the paper is devoted to the study of various cardinal functions for (D*(X), τ _p ), in particular: character, pseudocharacter, weight, density, cellularity, diagonal degree, π-weight, π-character, netweight etc. This work was supported by Science and Technology Assistance Agency under the contract No. APVT-51-006904. The authors would like to thank Ľubica Holá for suggestions and comments.     

Properties of the normed cone of semi-Lipschitz functions

Summary We obtain several properties of the normed cone of semi-Lipschitz functions defined on a quasi-metric space (X,d) that vanish at a fixed point x₀∈X. For instance, we prove that it is both bicomplete and right K-sequentially complete, and the unit ball is compact with respect to the topology of quasi-uniform convergence. Furthermore, it has a structure of a Banach space if and only if (X,d) is a metric space.