Some Consequences of Restrictions on Digitally Continuous Functions

Laurence Boxer

DOI: https://doi.org/10.48550/arXiv.2202.06446

2022-04-05

Abstract:We study the consequences of some restrictions on digitally continuous functions. One of our results modifies easily to yield an analogous result for topological spaces.

Geometric Topology

What problem does this paper attempt to address?

Multivalued Functions in Digital Topology

Laurence Boxer

DOI: https://doi.org/10.48550/arXiv.1703.01700

2017-03-06

Abstract:We study several types of multivalued functions in digital topology.

General Topology
A generalization of Markov's approach to the continuity problem for Type 1 computable functions

Emmanuel Rauzy

2024-12-11

Abstract:We axiomatize and generalize Markov's approach to the continuity problem for Type 1 computable functions, i.e. the problem of finding sufficient conditions on a computable topological space to obtain a theorem of the form "computable functions are (effectively) continuous". We introduce different notions of effective closure. These notions of effective closure lead to different notions of effective discontinuity at a point. We give conditions that prevent computable functions from having effective discontinuities. We finally show that results that forbid effective discontinuities can be turned into (abstract) continuity results on spaces where the closure and effective closure of semi-decidable sets naturally coincide. This happens for instance on spaces which admit a dense and computable sequence.

Logic
Fixed Point Sets in Digital Topology, 2

Laurence Boxer

DOI: https://doi.org/10.48550/arXiv.1904.00534

2020-02-13

Abstract:We continue the work of [10], studying properties of digital images determined by fixed point invariants. We introduce pointed versions of invariants that were introduced in [10]. We introduce freezing sets and cold sets to show how the existence of a fixed point set for a continuous self-map restricts the map on the complement of the fixed point set.

Geometric Topology,General Topology
Limits of limit sets in rank-one symmetric spaces

Antonin Guilloux,Theodore Weisman

2024-07-05

Abstract:We consider the question of continuity of limit sets for sequences of geometrically finite subgroups of isometry groups of rank-one symmetric spaces, and prove analogues of classical (Kleinian) theorems in this context. In particular we show that, assuming strong convergence of the sequence of subgroups, the limit sets vary continuously with respect to Hausdorff distance, and if the sequence is weakly type-preserving, the sequence of Cannon-Thurston maps also converges uniformly to a limiting Cannon-Thurston map. Our approach uses the theory of extended geometrically finite representations, developed recently by the second author.

Geometric Topology
On Bloch's "Principle of Topological Continuity"

Walter Bergweiler,Alexandre Eremenko

DOI: https://doi.org/10.1007/s40315-024-00531-w

2024-04-05

Computational Methods and Function Theory

Abstract:We discuss to what extent certain results about totally ramified values of entire and meromorphic functions remain valid if one relaxes the hypothesis that some value is totally ramified by assuming only that all islands over some Jordan domain are multiple. In particular, we prove a result suggested by Bloch which says that an entire function of order less than 1 has a simple island over at least one of two given Jordan domains with disjoint closures.

mathematics, applied
Non-linear functionals, deficient topological measures, and representation theorems on locally compact spaces

Svetlana V. Butler

DOI: https://doi.org/10.48550/arXiv.1902.05692

2019-02-15

Abstract:We study non-linear functionals, including quasi-linear functionals, p-conic quasi-linear functionals, d-functionals, r-functionals, and their relationships to deficient topological measures and topological measures on locally compact spaces. We prove representation theorems and show, in particular, that there is an order-preserving, conic-linear bijection between the class of finite deficient topological measures and the class of bounded p-conic quasi-linear functionals. Our results imply known representation theorems for finite topological measures and deficient topological measures. When the space is compact we obtain four equivalent definitions of a quasi-linear functional and four equivalent definitions of functionals corresponding to deficient topological measures.

Functional Analysis
Continuous Domains for Function Spaces Using Spectral Compactification

Amin Farjudian,Achim Jung

2024-11-12

Abstract:We introduce a continuous domain for function spaces over topological spaces which are not core-compact. Notable examples of such topological spaces include the real line with the upper limit topology, which is used in solution of initial value problems with temporal discretization, and various infinite dimensional Banach spaces which are ubiquitous in functional analysis and solution of partial differential equations. If a topological space $\mathbb{X}$ is not core-compact and $\mathbb{D}$ is a non-singleton bounded-complete domain, the function space $[\mathbb{X} \to \mathbb{D}]$ is not a continuous domain. To construct a continuous domain, we consider a spectral compactification $\mathbb{Y}$ of $\mathbb{X}$ and relate $[\mathbb{X} \to \mathbb{D}]$ with the continuous domain $[\mathbb{Y} \to \mathbb{D}]$ via a Galois connection. This allows us to perform computations in the native structure $[\mathbb{X} \to \mathbb{D}]$ while computable analysis is performed in the continuous domain $[\mathbb{Y} \to \mathbb{D}]$, with the left and right adjoints used for moving between the two function spaces.

Logic in Computer Science,General Topology
Notes on Remainders of Topological Spaces in Some Compactifications

Hanfeng Wang,Wei He

DOI: https://doi.org/10.1016/j.topol.2016.05.009

IF: 0.583

2016-01-01

Topology and its Applications

Abstract:In this paper, we investigate the compactifications of some topological spaces such that their remainders have countable tightness. We also study addition theorems for compacta. The main results are: (1) If bX is a compactification of a first-countable space X with a Gδ-diagonal (or a space X with a point-countable base) and bX∖X has countable tightness, then both bX and bX∖X have countable fan-tightness; (2) If a non-locally compact paratopological group G has a compactification bG such that the remainder bG∖G is the union of a finite family of metrizable subspaces, then G is locally separable and locally metrizable; (3) If a compact Hausdorff space Z=X∪Y, where X is a non-locally compact topological group which is a σ-space and dense in Z, and Y is a semitopological group, then Z is separable and metrizable; (4) If a compact Hausdorff space Z=X∪Y, where X is a non-locally compact paratopological group that has a countable network and is dense in Z, and Y is a semitopological group, then Z is separable and metrizable. Among them (2) and (3) improve the corresponding results given by A.V. Arhangel'skii in [7].
Limiting Sets in Digital Topology

Laurence Boxer

2023-11-07

Abstract:Freezing sets and cold sets have been introduced as part of the theory of fixed points in digital topology. In this paper, we introduce a generalization of these notions, the limiting set, and examine properties of limiting sets.

General Topology
On a variant of extremal disconnectedness in locales and spaces

Themba Dube,Ali Taherifar

DOI: https://doi.org/10.2989/16073606.2024.2411451

2024-10-17

Quaestiones Mathematicae

Abstract:We study a variant of extremal disconnectedness in frames, defined by requiring that any two disjoint open sublocales should be separable by disjoint open sublocales each of which is the interior of some zero-sublocale. In spaces, this notion was recently introduced in [1] in order to study some properties of frames of z -ideals of rings of continuous functions. The point-free approach adopted here brings to the fore some topological results not considered in [1], such as that a dense z -embedded subspace of a Tychonoff space has this property if and only if the space containing it has the property. In [1], this was proved only for the embedding X ⊆ βX . We give a ring-theoretic characterization by defining a property of f -rings in a transparent manner which shows why the property should be defined the way we do. The property is that if two annihilator ideals meet trivially, then the annihilator of each of the annihilator ideals contains a positive element such that the sum of the two elements is a non-zerodivisor.

mathematics
Conformal Restriction and Brownian Motion

Hao Wu

DOI: https://doi.org/10.48550/arXiv.1409.1898

2015-10-09

Abstract:We review some of the results related to conformal restriction: the chordal case and the radial case. We describe Brownian intersection exponents, conformal restriction property and SLE, and study their properties.

Probability
Extremizability of Fourier restriction to the paraboloid

Betsy Stovall

DOI: https://doi.org/10.1016/j.aim.2019.106898

IF: 1.675

2020-01-01

Advances in Mathematics

Abstract:In this article, we prove that nearly all valid, scale-invariant Fourier restriction inequalities for the paraboloid in R1+d have extremizers and that Lp-normalized extremizing sequences are precompact modulo symmetries. This result had previously been established for the case q=2. In the range where the boundedness of the restriction operator is still an open question, our result is conditional on improvements toward the restriction conjecture.

mathematics
Conundrums for continuous Lebesgue measure-preserving interval maps

Jozef Bobok,Jernej Činč,Piotr Oprocha,Serge Troubetzkoy

2024-05-16

Abstract:We consider continuous maps of the interval which preserve the Lebesgue measure. Except for the identity map or $1 - \id$ all such maps have topological entropy at least $\log2/2$ and generically they have infinite topological entropy. In this article we show that thegeneric map has zero measure-theoretic entropy. This implies that there are dramatic differences in the topological versus metric behavior both for injectivity as well as for the structure of thelevel sets of generic maps.

Dynamical Systems
Remarks on some special points in extremally disconnected compact spaces

Joanna Jureczko

2023-05-09

Abstract:We prove under ZFC that in each extremally disconnected compact space there exists a non-limit point of any countable discrete subset.

General Topology
Spreen spaces and the synthetic Kreisel-Lacombe-Shoenfield-Tseitin theorem

Andrej Bauer

2023-07-15

Abstract:I take a constructive look at Dieter Spreen's treatment of effective topological spaces and the Kreisel-Lacombe-Shoenfield-Tseitin (KLST) continuity theorem. Transferring Spreen's ideas from classical computability theory and numbered sets to a constructive setting leads to a theory of topological spaces, in fact two of them: a locale-theoretic one embodied by the notion of $\sigma$-frames, and a pointwise one that follows more closely traditional topology. Spreen's notion of effective limit passing turns out to be closely related to sobriety, while his witnesses for non-inclusion give rise to a novel separation property - any point separated from an overt subset by a semidecidable subset is already separated from it by an open one. I name spaces with this property Spreen spaces, and show that they give rise to a purely constructive continuity theorem: every map from an overt Spreen space to a pointwise regular space is pointwise continuous. The theorem is easily proved, but finding non-trivial examples of Spreen spaces is harder. I show that they are plentiful in synthetic computability theory.

Logic,General Topology
Remarks on Fixed Point Assertions in Digital Topology, 2

Laurence Boxer

DOI: https://doi.org/10.48550/arXiv.1808.09903

2018-08-30

Abstract:Several recent papers in digital topology have sought to obtain fixed point results by mimicking the use of tools from classical topology, such as complete metric spaces. We show that in many cases, researchers using these tools have derived conclusions that are incorrect, trivial, or limited.

Geometric Topology
Towards an Effective Theory of Absolutely Continuous Measures

Henry Towsner

DOI: https://doi.org/10.48550/arXiv.1503.04743

2015-03-16

Logic

Abstract:We give a constructive, metastable formulation of a theorem about the exchange of limits for convergent sequence $L^1$ functions. A crucial tool is a one-dimensional version of Szemeredi's regularity lemma for $L^1$ functions.
The Bounded Isomorphism Conjecture for Box Spaces of Residually Finite Groups

Markus Zeggel

DOI: https://doi.org/10.48550/arXiv.2103.16967

2021-03-31

Abstract:In this article we study a coarse version of the $K$-theoretic Farrell--Jones conjecture we call coarse or bounded isomorphism conjecture. Using controlled category theory we are able to translate this conjecture for asymptotically faithful covers into a more familiar form. This allows us to prove the conjecture for box spaces of residually finite groups whose Farrell--Jones assembly map with coefficients is an isomorphism.

K-Theory and Homology
Remarks on Fixed Point Assertions in Digital Topology, 8

Laurence Boxer

2024-01-19

Abstract:This paper continues a series in which we study deficiencies in previously published works concerning fixed point assertions for digital images.

Geometric Topology
Conformal Restriction: the Radial Case

Hao Wu

DOI: https://doi.org/10.1016/j.spa.2014.09.008

2013-01-01

Abstract:We describe all random sets that satisfy the radial conformal restriction property, therefore providing the analogue in the radial case of results of Lawler, Schramm and Werner in the chordal case.

Some Consequences of Restrictions on Digitally Continuous Functions

Multivalued Functions in Digital Topology

A generalization of Markov's approach to the continuity problem for Type 1 computable functions

Fixed Point Sets in Digital Topology, 2

Limits of limit sets in rank-one symmetric spaces

On Bloch's "Principle of Topological Continuity"

Non-linear functionals, deficient topological measures, and representation theorems on locally compact spaces

Continuous Domains for Function Spaces Using Spectral Compactification

Notes on Remainders of Topological Spaces in Some Compactifications

Limiting Sets in Digital Topology

On a variant of extremal disconnectedness in locales and spaces

Conformal Restriction and Brownian Motion

Extremizability of Fourier restriction to the paraboloid

Conundrums for continuous Lebesgue measure-preserving interval maps

Remarks on some special points in extremally disconnected compact spaces

Spreen spaces and the synthetic Kreisel-Lacombe-Shoenfield-Tseitin theorem

Remarks on Fixed Point Assertions in Digital Topology, 2

Towards an Effective Theory of Absolutely Continuous Measures

The Bounded Isomorphism Conjecture for Box Spaces of Residually Finite Groups

Remarks on Fixed Point Assertions in Digital Topology, 8

Conformal Restriction: the Radial Case