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
Browsing Applied General Topology - Vol 03, No 2 (2002) by Title
Now showing 1 - 7 of 7
Results Per Page
Sort Options
- PublicationA curious example involving ordered compactifications(Universitat Politècnica de València, 2002-10-01) Richmond, Thomas A.[EN] For a certain product X x Y where X is compact, connected, totally ordered space, we find that the semilattice K0 (X x Y) of ordered compactifications of X x Y is isomorphic to a collection of Galois connections and to a collection of functions F which determines a quasi-uniformity on an extended set X U {+∞}, from which the topology and order on X is easily recovered. It is well-known that each ordered compactification of an ordered space X x Y corresponds to a totally bounded quasi-uniformity on X x Y compatible with the topology and order on X x Y, and thus K0 (X x Y) may be viewed as a collection of quasi-uniformities on X x Y. By the results here, these quasi-uniformities on X x Y determine a quasi-uniformity on the related space X U {+∞}.
- 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.
- 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.
- 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.
- 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.
- PublicationStrengthening connected Tychonoff topologies(Universitat Politècnica de València, 2002-10-01) Shakhmatov, Dimitri; Tkachenko, Mikhail; Tkachuk, Vladimir V.; Wilson, Richard G.; Consejo Nacional de Ciencia y Tecnología, México[EN] The problem of whether a given connected Tychonoff space admits a strictly finer connected Tychonoff topology is considered. We show that every Tychonoff space X satisfying ω (X) ≤ c and c (X) ≤ N0 admits a finer strongly σ-discrete connected Tychonoff topology of weight 2c. We also prove that every connected Tychonoff space is an open continuous image of a connected strongly σ-discrete submetrizable Tychonoff space. The latter result is applied to represent every connected topological group as a quotient of a connected strongly σ-discrete submetrizable topological group