General Topology

In the absence of the axiom of choice, the set-theoretic status of many natural statements about metrizable compact spaces is investigated. Some of the statements are provable in $\mathbf{ZF}$, some are shown to be independent of…

A locale, being a complete Heyting algebra, satisfies De Morgan law $(a\vee b)^*=a^*\wedge b^*$ for pseudocomplements. The dual De Morgan law $(a\wedge b)^*={a^* \vee b^*}$ (here referred to as the second De Morgan law) is equivalent to,…

Propounding a general categorical framework for the extension of dualities, we present a new proof of the de Vries Duality Theorem for the category $\bf KHaus$ of compact Hausdorff spaces and their continuous maps, as an extension of a…

In this survey we catalogue the many results of the past several decades concerning bounds on the cardinality of a topological space with homogeneous or homogeneous-like properties. These results include van Douwen's Theorem, which states…

A quasi-continuous dynamical system is a pair $(X,f)$ consisting of a topological space $X$ and a mapping $f: X\to X$ such that $f^n$ is quasi-continuous for all $n \in \mathbb N$, where $\mathbb N$ is the set of non-negative integers. In…

In the early 1960s, Brown and Mazur proved the general Jordan-Schoenflies theorem. This fundamental theorem states: If we embed an $(n-1)$ sphere $S^{(n-1)}$ locally flatly in an $n$ sphere $S^{n}$, then it decomposes $S^{n}$ into two…

This paper gives a concise proof of the Jordan curve theorem on discrete surfaces. We also embed the discrete surface in the 2D plane to prove the original version of the Jordan curve theorem. This paper is a simple version of L. Chen, Note…

In this paper, we continue to study one of the classic problems in general topology raised by P.S. Alexandrov: when a Hausdorff space $X$ has a continuous bijection (a condensation) onto a compactum? We concentrate on the situation when not…

Given a topological group $G$ that can be embedded as a topological subgroup into some topological vector space (over the field of reals) we say that $G$ has invariant linear span if all linear spans of $G$ under arbitrary embeddings into…

In this paper, we introduce the notion of topologically Banach contraction mapping defined on an arbitrary topological space X with the help of a continuous function $g:X\times X\rightarrow \mathbb{R}$ and investigate the existence of fixed…

Indecomposable continua with one composant are $\textit{large}$ in the sense of being non-metrisable. We adapt the method of Smith $[18]$ to construct an example which is $\textit{small}$ in the sense of being separable.

We construct an indecomposable continuum with exactly one strong non-cut point. The method is an adaptation of Bellamy $[1]$. We start with an $\omega_1$-chain of indecomposable metric continua and retractions. The inverse limit is an…

We prove the three propositions are equivalent: $(a)$ Every Hausdorff continuum has two or more shore points. $(b)$ Every Hausdorff continuum has two or more non-block points. $(c)$ Every Hausdorff continuum is coastal at each point. Thus…

For any composant $E \subset \mathbb H^*$ and corresponding near-coherence class $\mathscr E \subset \omega^*$ we prove the following are equivalent : (1) $E$ properly contains a dense semicontinuum. (2) Each countable subset of $E$ is…

We study the shore and non-block points of non-metric continua. We reduce the problem of showing a continuum to have non-block points to that of showing an indecomposable continuum to have non-block points. As a corollary we prove that…

We give a description of Hausdorff continuous open images of the Sorgenfrey line: these are precisely those spaces that have a Sorgenfrey base. Using this description we prove that no Hausdorff compact space that contains a copy of the…

The Grothendieck property has become important in research on the definability of pathological Banach spaces [CI], [HT], and especially [HT20]. We here answer a question of Arhangel'ski\u{\i} by proving it undecidable whether countably…

The probabilistic powerdomain $\mathbf V X$ on a space $X$ is the space of all continuous valuations on $X$. We show that, for every quasi-continuous domain $X$, $\mathbf V X$ is again a quasi-continuous domain, and that the Scott and weak…

Let $\mathscr{F}=(F_n)$ be a sequence of nonempty finite subsets of $\omega$ such that $\lim_n |F_n|=\infty$ and define the ideal $$\mathcal{I}(\mathscr{F}):=\left\{A\subseteq \omega: |A\cap F_n|/|F_n|\to 0~\mbox{as}~n\to \infty \right\}.$$…

E.D. Tymchatyn constructed a hereditarily locally connected continuum which can be approximated by a sequence of mutually disjoint arcs. We show the example re-opens a conjecture of G.T. Seidler and H. Kato about continua which admit…