Properties of domain representations of spaces through dyadic subbases

2016 ◽  
Vol 27 (8) ◽  
pp. 1625-1638
Author(s):  
YASUYUKI TSUKAMOTO ◽  
HIDEKI TSUIKI

A dyadic subbase S of a topological space X is a subbase consisting of a countable collection of pairs of open subsets that are exteriors of each other. If a dyadic subbase S is proper, then we can construct a dcpo DS in which X is embedded. We study properties of S with respect to two aspects. (i) Whether the dcpo DS is consistently complete depends on not only S itself but also the enumeration of S. We give a characterization of S that induces the consistent completeness of DS regardless of its enumeration. (ii) If the space X is regular Hausdorff, then X is embedded in the minimal limit set of DS. We construct an example of a Hausdorff but non-regular space with a dyadic subbase S such that the minimal limit set of DS is empty.

2015 ◽  
Vol 26 (03) ◽  
pp. 1550032 ◽  
Author(s):  
Richard W. M. Alves ◽  
Victor H. L. Rocha ◽  
Josiney A. Souza

This paper proves that uniform spaces and admissible spaces form the same class of topological spaces. This result characterizes a completely regular space as a topological space that admits an admissible family of open coverings. In addition, the admissible family of coverings provides an interesting methodology of studying aspects of uniformity and dynamics in completely regular spaces.


2001 ◽  
Vol 27 (8) ◽  
pp. 505-512 ◽  
Author(s):  
José Carlos Rodríguez Alcantud

We extend van Dalen and Wattel's (1973) characterization of orderable spaces and their subspaces by obtaining analogous results for two larger classes of topological spaces. This type of spaces are defined by considering preferences instead of linear orders in the former definitions, and possess topological properties similar to those of (totally) orderable spaces (cf. Alcantud, 1999). Our study provides particular consequences of relevance in mathematical economics; in particular, a condition equivalent to the existence of a continuous preference on a topological space is obtained.


1976 ◽  
Vol 19 (1) ◽  
pp. 117-119
Author(s):  
H. L. Shapiro ◽  
F. A. Smith

Recently there has been a great deal of interest in extending refinements of locally finite and point finite collections on subsets of certain topological spaces. In particular the first named author showed that a subset S of a topological space X is P-embedded in X if and only if every locally finite cozero-set cover on S has a refinement that can be extended to a locally finite cozero-set cover of X. Since then many authors have studied similar types of embeddings (see [1], [2], [3], [4], [6], [8], [9], [10], [11], and [12]). Since the above characterization of P-embedding is equivalent to extending continuous pseudometrics from the subspace S up to the whole space X, it is natural to wonder when can a locally finite or a point finite open or cozero-set cover on S be extended to a locally finite or point-finite open or cozero-set cover on X.


Author(s):  
V. V. Mykhaylyuk

A connection between the separability and the countable chain condition of spaces withL-property (a topological spaceXhasL-property if for every topological spaceY, separately continuous functionf:X×Y→ℝand open setI⊆ℝ,the setf−1(I)is anFσ-set) is studied. We show that every completely regular Baire space with theL-property and the countable chain condition is separable and constructs a nonseparable completely regular space with theL-property and the countable chain condition. This gives a negative answer to a question of M. Burke.


1978 ◽  
Vol 21 (2) ◽  
pp. 183-186 ◽  
Author(s):  
Shwu-Yeng T. Lin ◽  
You-Feng Lin

AbstractIt is proved, in particular, that a topological space X is a Baire space if and only if every real valued function f: X →R is almost continuous on a dense subset of X. In fact, in the above characterization of a Baire space, the range space R of real numbers may be generalized to any second countable, Hausdorfï space that contains infinitely many points.


1996 ◽  
Vol 19 (2) ◽  
pp. 311-316
Author(s):  
Jennifer P. Montgomery

The concept of a uniformity was developed by A. Well and there have been several generalizations. This paper defines a point semiuniformity and gives necessary and sufficient conditions for a topological space to be point semiuniformizable. In addition, just as uniformities are associated with topological groups, a point semiuniformity is naturally associated with a semicontinuous group. This paper shows that a point semiuniformity associated with a semicontinuous group is a uniformity if and only if the group is a topological group.


Algebra ◽  
2013 ◽  
Vol 2013 ◽  
pp. 1-3 ◽  
Author(s):  
Ehsan Momtahan

Gelfand-Naimark's theorem states that every commutative -algebra is isomorphic to a complex valued algebra of continuous functions over a suitable compact space. We observe that for a completely regular space , is dense--separable if and only if is -cogenerated if and only if every family of maximal ideals of with zero intersection has a subfamily with cardinal number less than and zero intersection. This gives a simple characterization of -cogenerated commutative unital -algebras via their maximal ideals.


Author(s):  
Joshua Sack ◽  
Saleem Watson

LetXbe a completely regular topological space. An intermediate ring is a ringA(X)of continuous functions satisfyingC*(X)⊆A(X)⊆C(X). In Redlin and Watson (1987) and in Panman et al. (2012), correspondences𝒵AandℨAare defined between ideals inA(X)andz-filters onX, and it is shown that these extend the well-known correspondences studied separately forC∗(X)andC(X), respectively, to any intermediate ring. Moreover, the inverse map𝒵A←sets up a one-one correspondence between the maximal ideals ofA(X)and thez-ultrafilters onX. In this paper, we define a function𝔎Athat, in the case thatA(X)is aC-ring, describesℨAin terms of extensions of functions to realcompactifications ofX. For such rings, we show thatℨA←mapsz-filters to ideals. We also give a characterization of the maximal ideals inA(X)that generalize the Gelfand-Kolmogorov theorem fromC(X)toA(X).


1982 ◽  
Vol 91 (3) ◽  
pp. 457-458 ◽  
Author(s):  
Roy O. Davies ◽  
Claude Tricot

A function f:X → ℝ is countably decomposable (into continuous functions) if the topological space X can be partitioned into countably many sets An with each restriction f│ An continuous. According to L. V. Keldysh(2), the question whether every Baire function is countably decomposable was first raised by N. N. Luzin, and answered by P. S. Novikov. The answer is negative even for Baire-1 functions, as is shown in (2) (see also (1). In this paper we develop a characterization of the countably decomposable functions on a separable metric space X (see Corollary 1). We deduce that when X is complete they include all functions possessing the property P defined by D. E. Peek in (3): each non-empty σ-perfect set H contains a point at which f│ H is continuous. The example given by Peek shows that not every countably decomposable Baire-1 function has property P.


Sign in / Sign up

Export Citation Format

Share Document