Applied General Topology - Vol 03, No 2 (2002)
Permanent URI for this collection
Tabla de contenidos
Research articles
- Strengthening connected Tychonoff topologies
- Large and small sets with respect to homomorphisms and products of groups
- On the structure of completely useful topologies
- Extendible spaces
- Cofinitely and co-countably projective spaces
- Finite approximation of stably compact spaces
- A curious example involving ordered compactifications
Browse
Recent Submissions
Now showing 1 - 5 of 7
- PublicationFinite approximation of stably compact spaces(Universitat Politècnica de València, 2002-10-01) Smyth, M.B.; Webster, J.; Engineering and Physical Sciences Research Council, Reino Unido[EN] Finite approximation of spaces by inverse sequences of graphs (in the category of so-called topological graphs) was introduced by Smyth, and developed further. The idea was subsequently taken up by Kopperman and Wilson, who developed their own purely topological approach using inverse spectra of finite T0-spaces in the category of stably compact spaces. Both approaches are, however, restricted to the approximation of (compact) Hausdorff spaces and therefore cannot accommodate, for example, the upper space and (multi-) function space constructions. We present a new method of finite approximation of stably compact spaces using finite stably compact graphs, which when the topology is discrete are simply finite directed graphs. As an extended example, illustrating the problems involved, we study (ordered spaces and) arcs.
- PublicationCofinitely and co-countably projective spaces(Universitat Politècnica de València, 2002-10-01) Mendoza Iturralde, Pablo; Tkachuk, Vladimir V.; Consejo Nacional de Ciencia y Tecnología, México[EN] We show that X is cofinitely projective if and only if it is a finite union of Alexandroff compactatifications of discrete spaces. We also prove that X is co-countably projective if and only if X admits no disjoint infinite family of uncountable cozero sets. It is shown that a paracompact space X is co-countably projective if and only if there exists a finite set B C X such that B C U ϵ τ (X) implies │X\U│ ≤ ω. In case of existence of such a B we will say that X is concentrated around B. We prove that there exists a space Y which is co-countably projective while there is no finite set B C Y around which Y is concentrated. We show that any metrizable co-countably projective space is countable. An important corollary is that every co-countably projective topological group is countable.
- PublicationExtendible spaces(Universitat Politècnica de València, 2002-10-01) Schellekens, M.P.[EN] The domain theoretic notion of lifting allows one to extend a partial order in a trivial way by a minimum. In the context of Quantitative Domain Theory partial orders are represented as quasi-metric spaces. For such spaces, the notion of the extension by an extremal element turns out to be non trivial. To some extent motivated by these considerations, we characterize the directed quasi-metric spaces extendible by an extremum. The class is shown to include the S-completable directef quasi-metric spaces. As an application of this result, we show that for the case of the invariant quasi-metric (semi)lattices, weightedness can be characterized by order convexity with the extension property.
- PublicationOn the structure of completely useful topologies(Universitat Politècnica de València, 2002-10-01) Bosi, Gianni; Herden, Gerhard[EN] Let X be an arbitrary set. Then a topology t on X is completely useful if every upper semicontinuous linear preorder on X can be represented by an upper semicontinuous order preserving real-valued function. In this paper we characterize in ZFC (Zermelo-Fraenkel + Axiom of Choice) and ZFC+SH (ZFC + Souslin Hypothesis) completely useful topologies on X. This means, in the terminology of mathematical utility theory, that we clarify the topological structure of any type of semicontinuous utility representation problem.
- PublicationLarge and small sets with respect to homomorphisms and products of groups(Universitat Politècnica de València, 2002-10-01) Gusso, Riccardo[EN] We study the behaviour of large, small and medium subsets with respect to homomorphisms and products of groups. Then we introduce the definition af a P-small set in abelian groups and we investigate the relations between this kind of smallness and the previous one, giving some examples that distinguish them.