Source author record

Paul Gartside

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.GN math.CO math.FA math.LO

Catalog footprint

Research overview

13works

4topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2024arXiv

Products of Directed Sets with Calibre $(ω_1, ω)$

A directed set $P$ is calibre $(ω_1, ω)$ if every uncountable subset of $P$ contains an infinite bounded subset. $P$ is productively calibre $(ω_1, ω)$ if $P \times Q$ is calibre $(ω_1, ω)$ for every directed set $Q$ with calibre $(ω_1, ω)$ , and $P$ is powerfully calibre $(ω_1, ω)$ if the countable power of $P$ is calibre $(ω_1, ω)$ . It is shown that (1) uncountable products are calibre $(ω_1, ω)$ only in highly restrictive circumstances, (2) many but not all $\sum$ -products of calibre $(ω_1, ω)$ directed sets are calibre $(ω_1, ω)$ , (3) there are directed sets which are calibre $(ω_1, ω)$ but neither productively nor powerfully calibre $(ω_1, ω)$ , and (4) there are directed sets which are powerfully but not productively calibre $(ω_1, ω)$ . As an application, the position is established of $\sum ω^{ω_1}$ in the Tukey order among Isbell's classical 10 directed sets.

preprint2016arXiv

Graph-Like Compacta: Characterizations and Eulerian Loops

A compact graph-like space is a triple $(X,V,E)$ where $X$ is a compact, metrizable space, $V \subseteq X$ is a closed zero-dimensional subset, and $E$ is an index set such that $X \setminus V \cong E \times (0,1)$ . New characterizations of compact graph-like spaces are given, connecting them to certain classes of continua, and to standard subspaces of Freudenthal compactifications of locally finite graphs. These are applied to characterize Eulerian graph-like compacta.

preprint2016arXiv

The Tukey Order and Subsets of $ω_1$

One partially ordered set, $Q$ , is a Tukey quotient of another, $P$ , if there is a map $ϕ: P \to Q$ carrying cofinal sets of $P$ to cofinal sets of $Q$ . Two partial orders which are mutual Tukey quotients are said to be Tukey equivalent. Let $X$ be a space and denote by $\mathcal{K}(X)$ the set of compact subsets of $X$ , ordered by inclusion. The principal object of this paper is to analyze the Tukey equivalence classes of $\mathcal{K}(S)$ corresponding to various subspaces $S$ of $ω_1$ , their Tukey invariants, and hence the Tukey relations between them. It is shown that $ω^ω$ is a strict Tukey quotient of $Σ(ω^{ω_1})$ and thus we distinguish between two Tukey classes out of Isbell's ten partially ordered sets. The relationships between Tukey equivalence classes of $\mathcal{K}(S)$ , where $S$ is a subspace of $ω_1$ , and $\mathcal{K}(M)$ , where $M$ is a separable metrizable space, are revealed. Applications are given to function spaces.

preprint2016arXiv

Tukey Order, Calibres and the Rationals

One partially ordered set, $Q$ , is a Tukey quotient of another, $P$ , denoted $P \geq_T Q$ , if there is a map $ϕ: P \to Q$ carrying cofinal sets of $P$ to cofinal sets of $Q$ . Let $X$ be a space and denote by $\mathcal{K}(X)$ the set of compact subsets of $X$ , ordered by inclusion. For certain separable metrizable spaces $M$ , Tukey upper and lower bounds of $\mathcal{K}(M)$ are calculated. Results on invariants of $\mathcal{K}(M)$ 's are deduced. The structure of all $\mathcal{K}(M)$ 's under $\le_T$ is investigated. Particular emphasis is placed on the position of $\mathcal{K}(M)$ when $M$ is: completely metrizable, the rationals $\mathbb{Q}$ , co-analytic or analytic.

preprint2015arXiv

$P$ -Paracompact and $P$ -Metrizable Spaces

Let $P$ be a directed set and $X$ a space. A collection $\mathcal{C}$ of subsets of $X$ is \emph{ $P$ -locally finite} if $\mathcal{C}=\bigcup \{ \mathcal{C}_p : p \in P\}$ where (i) if $p \le p'$ then $\mathcal{C}_p \subseteq \mathcal{C}_{p'}$ and (ii) each $\mathcal{C}_p$ is locally finite. Then $X$ is \emph{ $P$ -paracompact} if every open cover has a $P$ -locally finite open refinement. Further, $X$ is \emph{ $P$ -metrizable} if it has a $(P \times \mathbb{N})$ -locally finite base. This work provides the first detailed study of $P$ -paracompact and $P$ -metrizable spaces, particularly in the case when $P$ is a $\mathcal{K}(M)$ , the set of all compact subsets of a separable metrizable space $M$ ordered by set inclusion.

preprint2015arXiv

Minimum Topological Group Topologies

A Hausdorff topological group topology on a group $G$ is the minimum (Hausdorff) group topology if it is contained in every Hausdorff group topology on $G$ . For every compact metrizable space $X$ containing an open $n$ -cell, $n\ge2$ , the homeomorphism group $H(X)$ has no minimum Hausdorff group topology. The homeomorphism groups of the Cantor set and the Hilbert cube have no minimum group topology. For every compact metrizable space $X$ containing a dense open one-manifold, $H(X)$ has the minimum group topology. Some, but not all, oligomorphic groups have the minimum group topology.

preprint2015arXiv

Point Networks for Special Subspaces of $\mathbb{R}^κ$

Uniform characterizations of certain special subspaces of products of lines are presented. The characterizations all involve a collection of subsets (base, almost subbase, network or point network) organized by a directed set. New characterizations of Eberlein, Talagrand and Gulko compacta follow.

preprint2015arXiv

Reconstructing Compact Metrizable Spaces

The deck, $\mathcal{D}(X)$ , of a topological space $X$ is the set $\mathcal{D}(X)=\{[X \setminus \{x\}]\colon x \in X\}$ , where $[Y]$ denotes the homeomorphism class of $Y$ . A space $X$ is (topologically) reconstructible if whenever $\mathcal{D}(Z)=\mathcal{D}(X)$ then $Z$ is homeomorphic to $X$ . It is known that every (metrizable) continuum is reconstructible, whereas the Cantor set is non-reconstructible. The main result of this paper characterises the non-reconstructible compact metrizable spaces as precisely those where for each point $x$ there is a sequence $\langle B_n^x \colon n \in \mathbb{N}\rangle$ of pairwise disjoint clopen subsets converging to $x$ such that $B_n^x$ and $B_n^y$ are homeomorphic for each $n$ , and all $x$ and $y$ . In a non-reconstructible compact metrizable space the set of $1$ -point components forms a dense $G_δ$ . For $h$ -homogeneous spaces, this condition is sufficient for non-reconstruction. A wide variety of spaces with a dense $G_δ$ set of $1$ -point components are presented, some reconstructible and others not reconstructible.

preprint2015arXiv

Reconstructing Topological Graphs and Continua

The deck of a topological space $X$ is the set $\mathcal{D}(X)=\{[X \setminus \{x\}] \colon x \in X\}$ , where $[Z]$ denotes the homeomorphism class of $Z$ . A space $X$ is topologically reconstructible if whenever $\mathcal{D}(X)=\mathcal{D}(Y)$ then $X$ is homeomorphic to $Y$ . It is shown that all metrizable compact connected spaces are reconstructible. It follows that all finite graphs, when viewed as a 1-dimensional cell-complex, are reconstructible in the topological sense, and more generally, that all compact graph-like spaces are reconstructible.

preprint2015arXiv

Spaces l-Dominated by I or R

If $X$ is compact metrizable and has finite fd-height then the unit interval, $I$ , $\ell$ -dominates $X$ , in other words, there is a continuous linear map of $C_p(I)$ onto $C_p(X)$ . If the unit interval $\ell$ -dominates a space $X$ then $X$ is compact metrizable and has countable fd-height. Similar results are given for spaces $\ell$ -dominated by the reals.

preprint2012arXiv

n-Arc Connected Spaces

A space is `n-arc connected' (n-ac) if any family of no more than n-points are contained in an arc. For graphs the following are equivalent: (i) 7-ac, (ii) n-ac for all n, (iii) continuous injective image of a closed sub-interval of the real line, and (iv) one of a finite family of graphs. General continua that are aleph_0-ac are characterized. The complexity of characterizing n-ac graphs for n=2,3,4,5 is determined to be strictly higher than that of the stated characterization of 7-ac graphs.

preprint2012arXiv

Strong Arcwise Connectedness

A space is `n-strong arc connected' (n-sac) if for any n points in the space there is an arc in the space visiting them in order. A space is omega-strong arc connected (omega-sac) if it is n-sac for all n. We study these properties in finite graphs, regular continua, and rational continua. There are no 4-sac graphs, but there are 3-sac graphs and graphs which are 2-sac but not 3-sac. For every n there is an n-sac regular continuum, but no regular continuum is omega-sac. There is an omega-sac rational continuum. For graphs we give a simple characterization of those graphs which are 3-sac. It is shown, using ideas from descriptive set theory, that there is no simple characterization of n-sac, or omega-sac, rational continua.

preprint2008arXiv

Spaces with a Finite Family of Basic Functions

A space X is finite dimensional, locally compact and separable metrizable if and only if X has a finite basic family: continuous functions Phi_1,...,Phi_n of X to the reals, R, such that for all continuous f from X to R there are g_1,..., g_n in C(R) satisfying f(x)=g_1(Phi_1(x))+g_2(Phi_2(x))+...+g_n(Phi_n(x)) for all x in X. This give the complete solution to four problems on basic functions posed by Sternfeld, as well as questions posed by Hattori and others.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Paul Gartside

Research overview

Is this your work?

13 publications

Products of Directed Sets with Calibre $(ω_1, ω)$

Graph-Like Compacta: Characterizations and Eulerian Loops

The Tukey Order and Subsets of $ω_1$

Tukey Order, Calibres and the Rationals

$P$ -Paracompact and $P$ -Metrizable Spaces

Minimum Topological Group Topologies

Point Networks for Special Subspaces of $\mathbb{R}^κ$

Reconstructing Compact Metrizable Spaces

Reconstructing Topological Graphs and Continua

Spaces l-Dominated by I or R

n-Arc Connected Spaces

Strong Arcwise Connectedness

Spaces with a Finite Family of Basic Functions

See the researcher in context

Building this map preview

Paul Gartside

Research overview

Is this your work?

13 publications

Products of Directed Sets with Calibre (ω1,ω)(ω_1, ω)(ω1​,ω)

Graph-Like Compacta: Characterizations and Eulerian Loops

The Tukey Order and Subsets of ω1ω_1ω1​

Tukey Order, Calibres and the Rationals

PPP-Paracompact and PPP-Metrizable Spaces

Minimum Topological Group Topologies

Point Networks for Special Subspaces of Rκ\mathbb{R}^κRκ

Reconstructing Compact Metrizable Spaces

Reconstructing Topological Graphs and Continua

Spaces l-Dominated by I or R

n-Arc Connected Spaces

Strong Arcwise Connectedness

Spaces with a Finite Family of Basic Functions

See the researcher in context

Building this map preview

Products of Directed Sets with Calibre $(ω_1, ω)$

The Tukey Order and Subsets of $ω_1$

$P$ -Paracompact and $P$ -Metrizable Spaces

Point Networks for Special Subspaces of $\mathbb{R}^κ$