Recursive constructions in topological spaces

1979 ◽  
Vol 44 (4) ◽  
pp. 609-625 ◽  
Author(s):  
Iraj Kalantari ◽  
Allen Retzlaff
Keyword(s):  
Topological Space ◽  
Topological Spaces ◽  
Recursively Enumerable ◽  
Recursive Constructions

AbstractWe study topological constructions in the recursion theoretic framework of the lattice of recursively enumerable open subsets of a topological spaceX. Various constructions produce complemented recursively enumerable open sets with additional recursion theoretic properties, as well as noncomplemented open sets. In contrast to techniques in classical topology, we construct a disjoint recursively enumerable collection of basic open sets which cannot be extended to a recursively enumerable disjoint collection of basic open sets whose union is dense inX.

Maximality in effective topology

1983 ◽  
Vol 48 (1) ◽  
pp. 100-112 ◽  
Author(s):  
Iraj Kalantari ◽  
Anne Leggett
Keyword(s):  
Topological Space ◽  
Boolean Algebras ◽  
Vector Spaces ◽  
Topological Spaces ◽  
Mathematical Structures ◽  
Topological Vector Spaces ◽  
Linear Orderings ◽  
Recursively Enumerable ◽  
Countable Basis ◽  
Effective Analysis

In this paper we continue the study of the structure of the lattice of recursively enumerable (r.e.) open subsets of a topological space. Work in this approach to effective topology began in Kalantari and Retzlaff [5] and continued in Kalantari [2], Kalantari and Leggett [3] and Kalantari and Remmel [4]. Studies in effectiveness of results in structures other than integers began with the work of Specker [17] and Lacombe [8] on effective analysis.The renewed activity in the study of the effective content of mathematical structures owes much to Nerode's program and Metakides' and Nerode's [11], [12] work on vector spaces and fields. These studies have been extended by Kalantari, Remmel, Retzlaff, Shore and Smith. Similar studies on the effective content of other mathematical structures have been conducted. These include work on topological vector spaces, boolean algebras, linear orderings etc.Kalantari and Retzlaff [5] began a study of effective topological spaces by considering a topological space with a countable basis ⊿ for the topology. The space X is to be fully effective; that is, the basis elements are coded into ω and the operations of intersection of basis elements and the relation of inclusion among them are both computable. An r.e. open subset of X is then represented as the union of basic open sets whose codes lie in an r.e. subset of ω.

Simplicity in effective topology

1982 ◽  
Vol 47 (1) ◽  
pp. 169-183 ◽  
Author(s):  
Iraj Kalantari ◽  
Anne Leggett
Keyword(s):  
Topological Space ◽  
Recursion Theory ◽  
Activity Analysis ◽  
Vector Spaces ◽  
Topological Spaces ◽  
Mathematical Structures ◽  
Recursively Enumerable ◽  
Countable Basis ◽  
Recursive Analysis ◽  
And Algebra

The recursion-theoretic study of mathematical structures other thanωis now a field of much activity. Analysis and algebra are two such structures which have been studied for their effective contents. Studies in analysis began with the work of Specker on nonconstructive proofs in analysis [16] and in Lacombe's inspiring notes on relevant notions of recursive analysis [8]. Studies in algebra originated in the work of Frolich and Shepherdson on effective extensions of explicit fields [1] and in Rabin's study of computable fields [15]. Equipped with the richness of modern techniques in recursion theory, Metakides and Nerode [11]–[13] began investigating the effective content of vector spaces and fields; these studies have been extended by Kalantari, Remmel, Retzlaff, Shore and others.Kalantari and Retzlaff [5] began a foundational inquiry into effectiveness in topological spaces. They consider a topological spaceXwith a countable basis ⊿ for the topology. The space isfully effective, that is, the basis elements are coded intoωand the operation of intersection of basis elements and the relation of inclusion among them are both computable. Similar to, the lattice of recursively enumerable (r.e.) subsets ofω, the collection of r.e. open subsets ofXforms a latticeℒ(X)under the usual operations of union and intersection.

Degrees of recursively enumerable topological spaces

1983 ◽  
Vol 48 (3) ◽  
pp. 610-622 ◽  
Author(s):  
Iraj Kalantari ◽  
J. B. Remmel
Keyword(s):  
Topological Space ◽  
Open Subset ◽  
The Body ◽  
Topological Spaces ◽  
Open Set ◽  
Recursively Enumerable ◽  
Closed Fields ◽  
Algebraically Closed Fields ◽  
Nowhere Dense Set ◽  
Dense Set

In [5], Metakides and Nerode introduced the study of recursively enumerable (r.e.) substructures of a recursively presented structure. The main line of study presented in [5] is to examine the effective content of certain algebraic structures. In [6], Metakides and Nerode studied the lattice of r.e. subspaces of a recursively presented vector space. This lattice was later studied by Kalantari, Remmel, Retzlaff and Shore. Similar studies have been done by Metakides and Nerode [7] for algebraically closed fields, by Remmel [10] for Boolean algebras and by Metakides and Remmel [8] and [9] for orderings. Kalantari and Retzlaff [4] introduced and studied the lattice of r.e. subsets of a recursively presented topological space. Kalantari and Retzlaff consideredX, a topological space with ⊿, a countable basis. This basis is coded into integers and with the help of this coding, r.e. subsets ofωgive rise to r.e. subsets ofX. The notion of “recursiveness” of a topological space is the natural next step which gives rise to the question of what should be the “degree” of an r.e. open subset ofX? It turns out that any r.e. open set partitions ⊿; into four sets whose Turing degrees become central in answering the question raised above.In this paper we show that the degrees of the elements of the partition of ⊿ imposed by an r.e. open set can be “controlled independently” in a sense to be made precise in the body of the paper. In [4], Kalantari and Retzlaff showed that givenAany r.e. set andany r.e. open subset ofX, there exists an r.e. open set ℋ which is a subset ofand is dense in(in a topological sense) and in whichAis coded. This shows that modulo a nowhere dense set, an r.e. open set can become as complicated as desired. After giving the general technical and notational machinery in §1, and giving the particulars of our needs in §2, in §3 we prove that the set ℋ described above could be made to be precisely of degree ofA. We then go on and establish various results (both existential and universal) on the mentioned partitioning of ⊿. One of the surprising results is that there are r.e. open sets such that every element of partitioning of ⊿ is of a different degree. Since the exact wording of the results uses the technical definitions of these partitioning elements, we do not summarize the results here and ask the reader to examine §3 after browsing through §§1 and 2.

scholarly journals Antisymmetry of the Stochastical Order on all Ordered Topological Spaces

2019 ◽  
Vol 7 (1) ◽  
pp. 250-252 ◽  
Author(s):  
Tobias Fritz
Keyword(s):  
Topological Space ◽  
General Result ◽  
Elementary Proof ◽  
Short Note ◽  
Stochastic Order ◽  
Topological Spaces ◽  
Probability Measures ◽  
Ordered Topological Space ◽  
Special Cases

Abstract In this short note, we prove that the stochastic order of Radon probability measures on any ordered topological space is antisymmetric. This has been known before in various special cases. We give a simple and elementary proof of the general result.

On topological quotient maps preserved by pullbacks or products

1970 ◽  
Vol 67 (3) ◽  
pp. 553-558 ◽  
Author(s):  
B. J. Day ◽  
G. M. Kelly
Keyword(s):  
Topological Space ◽  
Topological Spaces ◽  
Quotient Maps ◽  
Continuous Maps

We are concerned with the category of topological spaces and continuous maps. A surjection f: X → Y in this category is called a quotient map if G is open in Y whenever f−1G is open in X. Our purpose is to answer the following three questions:Question 1. For which continuous surjections f: X → Y is every pullback of f a quotient map?Question 2. For which continuous surjections f: X → Y is f × lz: X × Z → Y × Z a quotient map for every topological space Z? (These include all those f answering to Question 1, since f × lz is the pullback of f by the projection map Y ×Z → Y.)Question 3. For which topological spaces Z is f × 1Z: X × Z → Y × Z a qiptoent map for every quotient map f?

scholarly journals Separation Axioms in Intuitionistic Fuzzy Topological Spaces

2012 ◽  
Vol 2012 ◽  
pp. 1-7
Author(s):  
Amit Kumar Singh ◽  
Rekha Srivastava
Keyword(s):  
Topological Space ◽  
Left Adjoint ◽  
Topological Spaces ◽  
Intuitionistic Fuzzy ◽  
Separation Axioms ◽  
Fuzzy Topological Space ◽  
Fuzzy Topological Spaces

In this paper we have studied separation axiomsTi,i=0,1,2in an intuitionistic fuzzy topological space introduced by Coker. We also show the existence of functorsℬ:IF-Top→BF-Topand𝒟:BF-Top→IF-Topand observe that𝒟is left adjoint toℬ.

Uniformity on generalized topological spaces

2021 ◽  
Vol ahead-of-print (ahead-of-print) ◽  
Author(s):  
Dipankar Dey ◽  
Dhananjay Mandal ◽  
Manabendra Nath Mukherjee
Keyword(s):  
Topological Space ◽  
Present Article ◽  
Design Methodology ◽  
Original Work ◽  
Generalized Topology ◽  
Topological Spaces ◽  
Intermediate Structure ◽  
Content Type ◽  
Completely Regular ◽  
Generalized Topological Space

PurposeThe present article deals with the initiation and study of a uniformity like notion, captioned μ-uniformity, in the context of a generalized topological space.Design/methodology/approachThe existence of uniformity for a completely regular topological space is well-known, and the interrelation of this structure with a proximity is also well-studied. Using this idea, a structure on generalized topological space has been developed, to establish the same type of compatibility in the corresponding frameworks.FindingsIt is proved, among other things, that a μ-uniformity on a non-empty set X always induces a generalized topology on X, which is μ-completely regular too. In the last theorem of the paper, the authors develop a relation between μ-proximity and μ-uniformity by showing that every μ-uniformity generates a μ-proximity, both giving the same generalized topology on the underlying set.Originality/valueIt is an original work influenced by the previous works that have been done on generalized topological spaces. A kind of generalization has been done in this article, that has produced an intermediate structure to the already known generalized topological spaces.

scholarly journals Study of a Forwarding Chain in the Category of Topological Spaces between T0 and T2 with respect to One Point Compactification Operator

2014 ◽  
Vol 2014 ◽  
pp. 1-10 ◽  
Author(s):  
Fatemah Ayatollah Zadeh Shirazi ◽  
Meysam Miralaei ◽  
Fariba Zeinal Zadeh Farhadi
Keyword(s):  
Topological Space ◽  
Topological Spaces ◽  
The One ◽  
One Point Compactification

In the following text, we want to study the behavior of one point compactification operator in the chain Ξ := {Metrizable, Normal, T2, KC, SC, US, T1, TD, TUD, T0, Top} of subcategories of category of topological spaces, Top (where we denote the subcategory of Top, containing all topological spaces with property P , simply by P). Actually we want to know, for P∈Ξ and X∈P, the one point compactification of topological space X belongs to which elements of Ξ. Finally we find out that the chain {Metrizable, T2, KC, SC, US, T1, TD, TUD, T0, Top} is a forwarding chain with respect to one point compactification operator.

scholarly journals Orderability of topological spaces by continuous preferences

2001 ◽  
Vol 27 (8) ◽  
pp. 505-512 ◽  
Author(s):  
José Carlos Rodríguez Alcantud
Keyword(s):  
Topological Space ◽  
Topological Spaces ◽  
Topological Properties ◽  
Linear Orders ◽  
Mathematical Economics

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.

scholarly journals A Tychonoff theorem in intuitionistic fuzzy topological spaces

2004 ◽  
Vol 2004 (70) ◽  
pp. 3829-3837
Author(s):  
Doğan Çoker ◽  
A. Haydar Eş ◽  
Necla Turanli
Keyword(s):  
Topological Space ◽  
Fuzzy Set ◽  
Intuitionistic Fuzzy Set ◽  
Topological Spaces ◽  
Fuzzy Topology ◽  
Intuitionistic Fuzzy ◽  
Fuzzy Topological Space ◽  
Fuzzy Topological Spaces ◽  
Tychonoff Theorem

The purpose of this paper is to prove a Tychonoff theorem in the so-called “intuitionistic fuzzy topological spaces.” After giving the fundamental definitions, such as the definitions of intuitionistic fuzzy set, intuitionistic fuzzy topology, intuitionistic fuzzy topological space, fuzzy continuity, fuzzy compactness, and fuzzy dicompactness, we obtain several preservation properties and some characterizations concerning fuzzy compactness. Lastly we give a Tychonoff-like theorem.

Sign in / Sign up

Export Citation Format

Share Document