34 results on '"Compact space"'
Search Results
2. ON OPEN MAPS AND RELATED FUNCTIONS OVER THE SALBANY COMPACTIFICATION.
- Author
-
NXUMALO, MBEKEZELI
- Subjects
- *
HAUSDORFF spaces , *TOPOLOGICAL spaces , *CONTINUOUS functions , *OPEN spaces , *USER experience - Abstract
Given a topological space X, let UX and ηX: X → UX denote, respectively, the Salbany compactification of X and the compactification map called the Salbany map of X. For every continuous function f: X → Y, there is a continuous function Uf: UX → UY, called the Salbany lift of f, satisfying (Uf) ◦ ηX = ηY ◦ f. If a continuous function f: X → Y has a stably compact codomain Y, then there is a Salbany extension F: UX → Y of f, not necessarily unique, such that F ◦ ηX = f. In this paper, we give a condition on a space such that its Salbany map is open. In particular, we prove that in a class of Hausdorff spaces, the spaces with open Salbany maps are precisely those that are almost discrete. We also investigate openness of the Salbany lift and a Salbany extension of a continuous function. Related to open continuous functions are initial maps as well as nearly open maps. It turns out that the Salbany map of every space is both initial and nearly open. We repeat the procedure done for openness of Salbany maps, Salbany lifts and Salbany extensions to their initiality and nearly openness. [ABSTRACT FROM AUTHOR]
- Published
- 2024
- Full Text
- View/download PDF
3. COMPACTNESS AND CARDINALITY OF THE SPACE OF CONTINUOUS FUNCTIONS UNDER REGULAR TOPOLOGY.
- Author
-
Aaliya, Mir and Mishra, Sanjay
- Subjects
FUNCTION spaces ,CONTINUOUS functions ,TOPOLOGY ,REGULAR graphs ,COMPACT spaces (Topology) ,TOPOLOGICAL spaces - Abstract
In this paper, we investigate the compactness and cardinality of the space C(X, Y ) of continuous functions from a topological space X to Y equipped with the regular topology. We prove that different forms of compactness, such as sequential compactness, countable compactness, and pseudocompactness, coincide on a subset of C(X, Y ) with regular topology. Moreover, we prove the comparison and coincidence of regular topology with the graph topology on the space C(X, Y ). Furthermore, we examine various cardinal invariants, such as density, character, pseudocharacter, etc., on the space C(X, Y ) equipped with the regular topology. In addition, we define a type of equivalence between X and Y in terms of C(X) and C(Y ) endowed with the regular topology and investigate certain cardinal invariants preserved by this equivalence. [ABSTRACT FROM AUTHOR]
- Published
- 2024
4. Smallness in topology.
- Author
-
Adámek, Jiří, Hušek, Miroslav, Rosický, Jiří, and Tholen, Walter
- Subjects
TOPOLOGICAL spaces ,TOPOLOGY ,HAUSDORFF spaces ,ALGEBRA ,COMPACT spaces (Topology) ,ABELIAN categories ,HOMOTOPY theory - Abstract
Quillen's notion of small object and the Gabriel-Ulmer notion of finitely presentable or generated object are fundamental in homotopy theory and categorical algebra. Do these notions always lead to rather uninteresting classes of objects in categories of topological spaces, such as all finite discrete spaces, or just the empty space, as the examples and remarks in the existing literature may suggest? This article demonstrates that the establishment of full characterizations of these notions (and some natural variations thereof) in many familiar categories of spaces can be quite challenging and may lead to unexpected surprises. In fact, we show that there are significant differences in this regard even amongst the categories defined by the standard separation axioms, with the T
1 -separation condition standing out. The findings about these specific categories lead us to insights also when considering rather arbitrary full reflective subcategories of the category of all topological spaces. [ABSTRACT FROM AUTHOR]- Published
- 2023
- Full Text
- View/download PDF
5. Topological Entropy for Arbitrary Subsets of Infinite Product Spaces.
- Author
-
Sadr, Maysam Maysami and Shahrestani, Mina
- Subjects
- *
TOPOLOGICAL entropy , *METRIC spaces , *TOPOLOGICAL spaces , *SEQUENCE spaces , *ORBITS (Astronomy) , *COMPACT spaces (Topology) , *INFINITE processes , *ENTROPY - Abstract
In this note, a notion of generalized topological entropy for arbitrary subsets of the space of all sequences in a compact topological space is introduced. It is shown that for a continuous map on a compact space, the generalized topological entropy of the set of all orbits of the map coincides with the classical topological entropy of the map. Some basic properties of this new notion of entropy are considered; among them are the behavior of the entropy with respect to disjoint union, cartesian product, component restriction and dilation, shift mapping, and some continuity properties with respect to Vietoris topology. As an example, it is shown that any self-similar structure of a fractal given by a finite family of contractions gives rise to a notion of intrinsic topological entropy for subsets of the fractal. A generalized notion of Bowen's entropy associated to any increasing sequence of compatible semimetrics on a topological space is introduced and some of its basic properties are considered. As a special case for 1 ≤ p ≤ ∞ , the Bowen p-entropy of sets of sequences of any metric space is introduced. It is shown that the notions of generalized topological entropy and Bowen ∞ -entropy for compact metric spaces coincide. [ABSTRACT FROM AUTHOR]
- Published
- 2023
- Full Text
- View/download PDF
6. Compact subspaces of the space of separately continuous functions with the cross-uniform topology.
- Author
-
Maslyuchenko, Oleksandr, Myronyk, Vadym, and Ivasiuk, Roman
- Subjects
- *
METRIC spaces , *TOPOLOGICAL spaces , *CONTINUOUS functions , *COMMERCIAL space ventures , *FUNCTION spaces - Abstract
We consider two natural topologies on the space S (X × Y , Z) of all separately continuous functions defined on the product of two topological spaces X and Y and ranged into a topological or metric space Z. These topologies are the cross-open topology and the cross-uniform topology. We show that these topologies coincides if X and Y are pseudocompacts and Z is a metric space. We prove that a compact space K embeds into S (X × Y , Z) for infinite compacts X , Y and a metrizable space Z ⊇ R if and only if the weight of K is less than the sharp cellularity of both spaces X and Y. [ABSTRACT FROM AUTHOR]
- Published
- 2024
- Full Text
- View/download PDF
7. Some classes of topological spaces related to zero-sets.
- Author
-
GOLRIZKHATAMI, F. and TAHERIFAR, A.
- Subjects
- *
TOPOLOGICAL property , *TOPOLOGICAL spaces , *COMPACT spaces (Topology) - Abstract
An almost P-space is a topological space in which every zero-set is regular-closed. We introduce a large class of spaces, C-almost P-space (briey CAP-space), consisting of those spaces in which the closure of the interior of every zero-set is a zero-set. In this paper we study CAP-spaces. It is proved that if X is a dense and Z#-embedded sub-space of a space T, then T is CAP if and only if X is a CAP and CRZ-extended in T (i.e, for each regular-closed zero-set Z in X, clT Z is a zero-set in T). In 6P.5 of [8] it was shown that a closed count- able union of zero-sets need not be a zero-set. We call X a CZ-space whenever the closure of any countable union of zero-sets is a zero-set. This class of spaces contains the class of P-spaces, perfectly normal spaces, and is contained in the cozero complemented spaces and CAP-spaces. In this paper we study topological properties of CZ (resp. coz-ero complemented)-space and other classes of topological spaces near to them. Some algebraic and topological equivalent conditions of CZ (resp. cozero complemented)-space are characterized. Examples are provided to illustrate and delimit our results. [ABSTRACT FROM AUTHOR]
- Published
- 2022
- Full Text
- View/download PDF
8. On cellular-compact spaces.
- Author
-
Juhász, I., Soukup, L., and Szentmiklóssy, Z.
- Subjects
- *
COMPACT spaces (Topology) , *MERGERS & acquisitions , *TOPOLOGICAL spaces , *SPACE - Abstract
As it was introduced by Tkachuk and Wilson in [7], a topological space X is cellular-compact if for any cellular, i.e. disjoint, family U of non-empty open subsets of X there is a compact subspace K ⊂ X such that K ∩ U ≠ ∅ for each U ∈ U . In this note we answer several questions raised in [7] by showing that any first countable cellular-compact T2-space is T3, and so its cardinality is at most c = 2 ω ; cov (M) > ω 1 implies that every first countable and separable cellular-compactT2-space is compact; if there is no S-space then any cellular-compact T3-space of countable spread is compact; M A ω 1 implies that every point of a compact T2-space of countable spread has a disjoint local π -base. [ABSTRACT FROM AUTHOR]
- Published
- 2020
- Full Text
- View/download PDF
9. LOCALLY ORDERED TOPOLOGICAL SPACES.
- Author
-
PIKUL, Piotr
- Subjects
- *
TOPOLOGICAL spaces , *LINEAR orderings , *TOPOLOGY , *COMPACT spaces (Topology) , *MATHEMATICAL connectedness , *AXIOMS - Abstract
While topology given by a linear order has been extensively studied, this cannot be said about the case when the order is given only locally. The aim of this paper is to fill this gap. We consider relation between local orderability and separation axioms and give characterisation of those regularly locally ordered spaces which are connected, locally connected or Lindelöf. We prove that local orderability is hereditary on open, connected or compact subsets. A collection of interesting examples is also offered. [ABSTRACT FROM AUTHOR]
- Published
- 2020
- Full Text
- View/download PDF
10. Dependence on ℵ coordinates of separately continuous functions of many variables and its analogs.
- Author
-
Mykhaylyuk, Volodymyr
- Subjects
- *
COMMERCIAL space ventures , *COORDINATES , *TOPOLOGICAL spaces , *COMPACT spaces (Topology) - Abstract
We introduce some cardinal functions on the product X 1 × ⋯ × X n of topological spaces X k , which are formulated in terms of the type of local finiteness of families of open sets. Using these cardinal functions, we obtain necessary and sufficient conditions that every separately continuous function or strongly separately continuous function f : X 1 × ⋯ × X n → R depends on ℵ coordinates, where every space X k is a strongly countably Čech complete space. [ABSTRACT FROM AUTHOR]
- Published
- 2023
- Full Text
- View/download PDF
11. Upper Namioka property of compact-valued mappings.
- Author
-
Mykhaylyuk, Volodymyr
- Subjects
- *
COMPACT spaces (Topology) , *MATHEMATICAL mappings , *SET theory , *BAIRE spaces , *TOPOLOGICAL spaces - Abstract
We introduce and study the notions of upper Namioka property, upper Namioka space and upper co-Namioka space which are development of the notions of Namioka property, Namioka space and co-Namioka space on the case of compact-valued mappings. We obtain the following results: the class of upper Namioka spaces consists of Baire spaces with everywhere dense set of isolated points; any subset of a upper co-Namioka compact space is separable; every well-ordered upper co-Namioka compact and every upper co-Namioka compact Valdivia are metrizable; the double arrow space is not upper co-Namioka; there exist a compact-valued mapping F ∈ L U ( X , Y ) defined on the product of Namioka and co-Namioka spaces such that F has not upper Namioka property; if there exists a non-metrizable linearly ordered upper co-Namioka space, then the set of its non-isolated neighbor points contains a subset always of the first category subset; every compact-valued mapping F ∈ L U ( X , Y ) defined on the product of a β - σ ′ -unfavorable space X and a separable linearly ordered compact space Y has the upper Namioka property. [ABSTRACT FROM AUTHOR]
- Published
- 2017
- Full Text
- View/download PDF
12. Spaces which are retracts or cofactors of paratopological groups.
- Author
-
Arhangel'skii, A.V.
- Subjects
- *
TOPOLOGICAL spaces , *BINARY operations , *MATHEMATICS theorems , *COMPACT spaces (Topology) , *THEORY of retracts - Abstract
In this paper we investigate Tychonoff spaces which are retracts of paratopological groups. A strong necessary condition for that is the existence of a certain binary operation on the space (called a τ -twister), which was introduced in [2,3] . Some general theorems are established which imply that βω is not a retract of a paratopological group. We also notice, using some deep results of V.V. Uspenskij, that the space ω 1 of countable ordinals is not a retract of any topological group (see Fact 3 ). [ABSTRACT FROM AUTHOR]
- Published
- 2017
- Full Text
- View/download PDF
13. Normal functors and hereditary paranormality.
- Author
-
Kombarov, A.P.
- Subjects
- *
DISCRETE systems , *SET theory , *TOPOLOGICAL spaces , *MATHEMATICS theorems , *MATHEMATICAL analysis - Abstract
A topological space is said to be paranormal if every countable discrete collection of closed sets { D n : n < ω } can be expanded to a locally finite collection of open sets { U n : n < ω } , i.e. D n ⊂ U n , and D m ∩ U n ≠ ∅ iff D m = D n . It is proved that if F is a normal functor F : C o m p → C o m p of degree ≥3 and the space F ( X ) ∖ X is hereditarily paranormal, then the compact space X is metrizable. [ABSTRACT FROM AUTHOR]
- Published
- 2017
- Full Text
- View/download PDF
14. Domination by a Polish space of the complement of the diagonal of X implies that X is cosmic.
- Author
-
Guerrero Sánchez, David and Tkachuk, Vladimir V.
- Subjects
- *
DOMINATING set , *POLISH spaces (Mathematics) , *COMPACT spaces (Topology) , *CONTINUUM hypothesis , *TOPOLOGICAL spaces - Abstract
We will prove that a Tychonoff space X is analytic if and only if ( X × X ) \ Δ is dominated by a Polish space; here Δ = { ( x , x ) : x ∈ X } is the diagonal of X . This solves two published open questions. We will also establish under CH, that a Tychonoff space X has a countable network whenever ( X × X ) \ Δ is dominated by a second countable space. [ABSTRACT FROM AUTHOR]
- Published
- 2016
- Full Text
- View/download PDF
15. S2 and the Fréchet property of free topological groups.
- Author
-
Cai, Zhangyong, Lin, Shou, and Liu, Chuan
- Subjects
- *
FRECHET spaces , *TOPOLOGICAL groups , *GROUP theory , *FREE groups , *NONNEGATIVE matrices , *INTEGERS , *TOPOLOGICAL spaces - Abstract
Let F ( X ) denote the free topological group over a Tychonoff space X , F n ( X ) denote the subspace of F ( X ) that consists of all words of reduced length ≤ n with respect to the free basis X for every non-negative integer n and E n ( X ) = F n ( X ) ∖ F n − 1 ( X ) for n ≥ 1 . In this paper, we study topological properties of free topological groups in terms of Arens' space S 2 . The following results are obtained. (1) If the free topological group F ( X ) over a Tychonoff space X contains a non-trivial convergent sequence, then F ( X ) contains a closed copy of S 2 , equivalently, F ( X ) contains a closed copy of S ω , which extends [6, Theorem 1.6] . (2) Let X be a topological space and A = { n 1 , . . . , n i , . . . } be an infinite subset of N . If C = ⋃ i ∈ N E n i ( X ) is κ -Fréchet–Urysohn and contains no copy of S 2 , then X is discrete, which improves [15, Proposition 3.5] . (3) If X is a μ -space and F 5 ( X ) is Fréchet–Urysohn, then X is compact or discrete, which improves [15, Theorem 2.4] . At last, a question posed by K. Yamada is partially answered in a shorter alternative way by means of a Tanaka's theorem concerning Arens' space S 2 . [ABSTRACT FROM AUTHOR]
- Published
- 2016
- Full Text
- View/download PDF
16. Function spaces jointly metrizable on compacta.
- Author
-
Tkachuk, Vladimir V.
- Subjects
- *
FUNCTION spaces , *COMPACT spaces (Topology) , *SUBSET selection , *TOPOLOGICAL spaces , *MATHEMATICAL analysis - Abstract
If C p ( X ) is jointly metrizable on compacta, then p ( X ) ≤ ω but ω 1 need not be a caliber of X . If X is either submetrizable or a P -space, then C p ( C p ( X ) ) is jointly metrizable on compacta and, in particular, all compact subsets of C p ( C p ( X ) ) are metrizable. We show that for any dyadic compact X , the space C p ( X ) is jointly metrizable on compacta. Therefore, the JCM property of C p ( X ) for a compact space X does not imply that X is separable. If X is a compact space of countable tightness and C p ( X ) is jointly metrizable on compacta, then it is independent of ZFC whether X must be separable. [ABSTRACT FROM AUTHOR]
- Published
- 2015
- Full Text
- View/download PDF
17. The cardinality of compact spaces satisfying the countable chain condition.
- Author
-
Toshimichi Usuba
- Subjects
- *
COMPACT spaces (Topology) , *TOPOLOGICAL spaces , *HAUSDORFF spaces , *MATHEMATICAL analysis , *CARDINAL numbers , *TOPOLOGY - Abstract
We prove that for a compact Hausdorff space X, if λc (X) < w (X) for every infinite cardinal λ < w (X) and λc (X) < cf (w (X)) for every infinite cardinal λ < cf (w (X)), then Tikhonov cube [0,1] w (X) is a continuous image of X, in particular the cardinality of X is just 2 w (X). As an application of this result, we consider elementary submodel spaces and improve Tall's result in [17]. [ABSTRACT FROM AUTHOR]
- Published
- 2014
- Full Text
- View/download PDF
18. COUNTABLY Z-COMPACT SPACES.
- Author
-
AL-ANI, A. T.
- Subjects
- *
COMPACT spaces (Topology) , *CONTINUOUS functions , *SET theory , *REALCOMPACT spaces , *TOPOLOGICAL spaces , *MATHEMATICAL analysis - Abstract
In this work we study countably z-compact spaces and z-Lindelof spaces. Several new properties of them are given. It is proved that every countably z-compact space is pseuodocompact (a space on which every real valued continuous function is bounded). Spaces which are countably z-compact but not countably compact are given. It is proved that a space is countably z-compact iff every countable z-closed set is compact. Characterizations of countably z-compact and z-Lindelof spaces by multifunctions are given. [ABSTRACT FROM AUTHOR]
- Published
- 2014
- Full Text
- View/download PDF
19. On the Topological Structure and Properties of Multidimensional (C, R) Space
- Author
-
Susmit Bagchi and Gyeongsang National University
- Subjects
norm ,Physics and Astronomy (miscellaneous) ,General Mathematics ,Open set ,02 engineering and technology ,Topological space ,Topology ,[MATH.MATH-FA]Mathematics [math]/Functional Analysis [math.FA] ,01 natural sciences ,[MATH.MATH-GN]Mathematics [math]/General Topology [math.GN] ,[MATH.MATH-GT]Mathematics [math]/Geometric Topology [math.GT] ,0202 electrical engineering, electronic engineering, information engineering ,Computer Science (miscellaneous) ,Topological group ,0101 mathematics ,[MATH]Mathematics [math] ,Mathematics ,quasinorm ,projections ,topological group ,lcsh:Mathematics ,010102 general mathematics ,MSC:54B10 ,54F05 ,54F65 ,lcsh:QA1-939 ,Linear subspace ,topological spaces ,Compact space ,Chemistry (miscellaneous) ,Norm (mathematics) ,020201 artificial intelligence & image processing ,Subspace topology ,Real projective space - Abstract
Generally, the linear topological spaces successfully generate Tychonoff product topology in lower dimensions. This paper proposes the construction and analysis of a multidimensional topological space based on the Cartesian product of complex and real spaces in continua. The geometry of the resulting space includes a real plane with planar rotational symmetry. The basis of topological space contains cylindrical open sets. The projection of a cylindrically symmetric continuous function in the topological space onto a complex planar subspace maintains surjectivity. The proposed construction shows that there are two projective topological subspaces admitting non-uniform scaling, where the complex subspace scales at a higher order than the real subspace generating a quasinormed space. Furthermore, the space can be equipped with commutative and finite translations on complex and real subspaces. The complex subspace containing the origin of real subspace supports associativity under finite translation and multiplication operations in a combination. The analysis of the formation of a multidimensional topological group in the space requires first-order translation in complex subspace, where the identity element is located on real plane in the space. Moreover, the complex translation of identity element is restricted within the corresponding real plane. The topological projections support additive group structures in real one-dimensional as well as two-dimensional complex subspaces. Furthermore, a multiplicative group is formed in the real projective space. The topological properties, such as the compactness and homeomorphism of subspaces under various combinations of projections and translations, are analyzed. It is considered that the complex subspace is holomorphic in nature.
- Published
- 2020
- Full Text
- View/download PDF
20. PROPER MAPS FOR LAX ALGEBRAS AND THE KURATOWSKI-MRÓWKA THEOREM.
- Author
-
MANUEL CLEMENTINO, MARIA and THOLEN, WALTER
- Subjects
- *
TOPOLOGICAL spaces , *MONADS (Mathematics) , *ALGEBRA , *FIBERS , *METRIC spaces - Abstract
The characterization of stably closed maps of topological spaces as the closed maps with compact fibres and the role of the Kuratowski-Mrówka' Theorem in this characterization are being explored in the general context of lax (T, V )-algebras, for a quantale V and a Set-monad T with a lax extension to V -relations. The general results are being applied in standard (topological and metric) and non-standard (labeled graphs) contexts. [ABSTRACT FROM AUTHOR]
- Published
- 2012
21. Domination by second countable spaces and Lindelöf Σ-property
- Author
-
Cascales, B., Orihuela, J., and Tkachuk, V.V.
- Subjects
- *
COMPACT spaces (Topology) , *SET theory , *POLISH spaces (Mathematics) , *METRIC spaces , *FUNCTION spaces , *TOPOLOGICAL spaces , *FUNCTIONAL analysis - Abstract
Abstract: Given a space M, a family of sets of a space X is ordered by M if { is a compact subset of M} and implies . We study the class of spaces which have compact covers ordered by a second countable space. We prove that a space belongs to if and only if it is a Lindelöf Σ-space. Under , if X is compact and has a compact cover ordered by a Polish space then X is metrizable; here is the diagonal of the space X. Besides, if X is a compact space of countable tightness and belongs to then X is metrizable in ZFC. We also consider the class of spaces X which have a compact cover ordered by a second countable space with the additional property that, for every compact set there exists with . It is a ZFC result that if X is a compact space and belongs to then X is metrizable. We also establish that, under CH, if X is compact and belongs to then X is countable. [ABSTRACT FROM AUTHOR]
- Published
- 2011
- Full Text
- View/download PDF
22. On some questions about KC and related spaces
- Author
-
Baldovino, Chiara and Costantini, Camillo
- Subjects
- *
COMPACT spaces (Topology) , *HAUSDORFF compactifications , *TOPOLOGICAL spaces , *ANALYTIC sets , *TOPOLOGY , *MATHEMATICS - Abstract
Abstract: Answering questions raised by O.T. Alas and R.G. Wilson, or by these two authors together with M.G. Tkachenko and V.V. Tkachuk, we show that every minimal SC space must be sequentially compact, and we produce the following examples: [–] a KC space which cannot be embedded in any compact KC space; [–] a countable KC space which does not admit any coarser compact KC topology; [–] a minimal Hausdorff space which is not a k-space. We also give an example of a compact KC space such that every nonempty open subset of it is dense, even if, as pointed out to us by the referee, a completely different construction carried out by E.K. van Douwen in 1993 leads to a space with the same properties. [Copyright &y& Elsevier]
- Published
- 2009
- Full Text
- View/download PDF
23. Problems on Universals
- Author
-
Collins, P.J.
- Subjects
- *
TOPOLOGY , *COMPACT spaces (Topology) , *TOPOLOGICAL spaces , *SET theory - Abstract
Some problems arising out of recent work of P.M. Gartside and J.T.H. Lo are here surveyed. [Copyright &y& Elsevier]
- Published
- 2004
- Full Text
- View/download PDF
24. On the Weight of Nowhere Dense Subsets in Compact Spaces.
- Author
-
Ivanov, A. V.
- Subjects
- *
COMPACT spaces (Topology) , *INVARIANTS (Mathematics) , *SET theory , *TOPOLOGICAL spaces , *MATHEMATICAL inequalities - Abstract
We study a new cardinal-valued invariant (calling it the nd-weight of X) of a topological space which is defined as the least upper bound of the weights of nowhere dense subsets of X. The main result is the proof of the inequality hl(X)≤ndw(X) for compact sets without isolated points ((hl is the hereditary Lindelof number). This inequality implies that a compact space without isolated points of countable nd-weight is completely normal. Assuming the continuum hypothesis, we construct an example of a nonmetrizable compact space of countable nd-weight without isolated points. [ABSTRACT FROM AUTHOR]
- Published
- 2003
- Full Text
- View/download PDF
25. Remarks on the set of -points in Eberlein and Corson compact spaces
- Author
-
Krawczyk, Adam, Marciszewski, Witold, and Michalewski, Henryk
- Subjects
- *
COMPACT spaces (Topology) , *TOPOLOGICAL spaces , *MATHEMATICAL programming , *ALGEBRAIC topology , *SET theory - Abstract
Abstract: For a compact space K we consider the set of all -points in K, i.e., points with countable base of neighborhoods in K. We show that, for every scattered Eberlein compact space K, the set is a -set in K. We also give an example of a scattered Eberlein compactum with non-metrizable set . Moreover, we give an example of a Corson compact space K such that does not contain any dense -subset of K. This answers three questions of Tkachuk. [Copyright &y& Elsevier]
- Published
- 2009
- Full Text
- View/download PDF
26. An Effective Tietze-Urysohn Theorem for QCB-Spaces
- Author
-
Matthias Schröder
- Subjects
Discrete mathematics ,Qcb-spaces ,General Computer Science ,Equicontinuity ,computable Analysis ,topological spaces ,Theoretical Computer Science ,Arzelà–Ascoli theorem ,Compact space ,Danskin's theorem ,Closed graph theorem ,Open mapping theorem (functional analysis) ,Brouwer fixed-point theorem ,Tietze extension theorem ,Computer Science(all) ,Mathematics - Abstract
The Tietze-Urysohn Theorem states that every continuous real-valued function defined on a closed subspace of a normal space can be extended to a continuous function on the whole space. We prove an effective version of this theorem in the Type Two Model of Effectivity (TTE). Moreover, we introduce for qcb-spaces a slightly weaker notion of normality than the classical one and show that this property suffices to establish an Extension Theorem for continuous functions defined on functionally closed subspaces. Qcb-spaces are known to form an important subcategory of the category Top of topological spaces. QCB is cartesian closed in contrast to Top.
- Published
- 2008
27. A universal characterization of the closed Euclidean interval
- Author
-
Martín Hötzel Escardó and Alex Simpson
- Subjects
Informatics ,Equations ,Logic ,closed Euclidean interval ,interval object ,Testing ,set theory ,Interval (mathematics) ,Topology ,computable functions ,Combinatorics ,Mathematics::Category Theory ,elementary topos ,bounded real line segments ,Category theory ,Mathematics ,Discrete mathematics ,Arithmetic ,arithmetic operations ,Mechanical factors ,Euclidean topology ,primitive recursion ,Computer science ,topological spaces ,category theory ,Compact space ,category ,Bounded function ,Category of topological spaces ,Universal property ,programming theory ,Convergence ,Category of sets ,process algebra ,universal characterization ,Unit interval - Abstract
We propose a notion of interval object in a category with finite products, providing a universal property for closed and bounded real line segments. The universal property gives rise to an analogue of primitive recursion for defining computable functions on the interval. We use this to define basic arithmetic operations and to verify equations between them. We test the notion in categories of interest. In the category of sets, any closed and bounded interval of real numbers is an interval object. In the category of topological spaces, the interval objects are closed and bounded intervals with the Euclidean topology. We also prove that an interval object exists in and elementary topos with natural numbers object.
- Published
- 2002
28. Universal Uniform Eberlein Compact Spaces
- Author
-
Bell, M.
- Published
- 2000
29. Universal Spaces for Classes of Scattered Eberlein Compact Spaces
- Author
-
Bell, Murray and Marciszewski, Witold
- Published
- 2006
30. Compact Spaces and Spaces of Maximal Complete Subgraphs
- Author
-
Bell, Murray and Ginsburg, John
- Published
- 1984
- Full Text
- View/download PDF
31. Around Effros' Theorem
- Author
-
Charatonik, J. J. and Maćkowiak, T.
- Published
- 1986
- Full Text
- View/download PDF
32. Products of a Compact Space and a Metric Space
- Author
-
Yajima, Yukinobu
- Published
- 1987
- Full Text
- View/download PDF
33. Extensions of Continuous Functions from Dense Subspaces
- Author
-
Blair, Robert L.
- Published
- 1976
- Full Text
- View/download PDF
34. Uniform Spaces of Countable Type
- Author
-
Vidossich, Giovanni
- Published
- 1970
- Full Text
- View/download PDF
Catalog
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.