English
Related papers

Related papers: Continuity of the Jones' set function $\mathcal{T}…

200 papers

Given a set $X$ and a family $G$ of self-maps of $X$, we study the problem of the existence of a non-discrete Hausdorff topology on $X$ with respect to which all functions $f\in G$ are continuous. A topology on $X$ with this property is…

General Topology · Mathematics 2014-12-04 Taras Banakh , Igor Protasov , Olga Sipacheva

SJT reducibility between sets $A,B \subseteq \mathbb N$ is defined by $A \le_{SJT} B$ if for each computable function $h$ that is unbounded and nondecreasing, there is an $h$-bounded uniformly $B$-c.e.\ trace $(T_n)_{n \in \mathbb N} $ such…

Logic · Mathematics 2026-03-02 Noam Greenberg , Andre Nies , Dan Turetsky

We present a finitary version of Moss' coalgebraic logic for $T$-coalgebras, where $T$ is a locally monotone endofunctor of the category of posets and monotone maps. The logic uses a single cover modality whose arity is given by the least…

Logic in Computer Science · Computer Science 2023-06-22 Marta Bílková , Matěj Dostál

For the set C(X) of real-valued continuous functions on a Tychonoff space X, the compact-open topology on C(X) is a "set-open topology". This paper studies the separation and countability properties of the space C(X) having the topology…

General Topology · Mathematics 2016-04-07 Anubha Jindal , R. A. McCoy , S. Kundu

Let the measure algebra of a topological group be equipped with the topology of uniform convergence on bounded right uniformly equicontinuous sets of functions. Convolution is separately continuous on the measure algebra, and it is jointly…

Functional Analysis · Mathematics 2019-08-15 Jan Pachl , Juris Steprāns

Let $X$ be a locally compact topological space, $(Y,d)$ be a boundedly compact metric space and $LB(X,Y)$ be the space of all locally bounded functions from $X$ to $Y$. We characterize compact sets in $LB(X,Y)$ equipped with the topology of…

General Topology · Mathematics 2018-03-29 Ľubica Holá , Dušan Holý

Let $(X,T)$ be a topological dynamical system. Given a continuous vector-valued function $F \in C(X, \mathbb{R}^{d})$ called a potential we define its rotation set $R(F)$ as the set of integrals of $F$ with respect to all $T$-invariant…

Dynamical Systems · Mathematics 2020-11-13 Sebastián Pavez-Molina

We give a partial answer to an important open problem in descriptive set theory, the Decomposability Conjecture for Borel functions on an analytic subset of a Polish space to a separable metrizable space. Our techniques employ deep results…

Logic · Mathematics 2016-05-27 Vassilios Gregoriades , Takayuki Kihara , Keng Meng Ng

Let $A_t=\sum_{s\le t} F(X_{s-},X_s)$ be a purely discontinuous additive functional of a subordinate Brownian motion $X=(X_t, \mathbb P_x)$. We give a sufficient condition on the non-negative function $F$ that guarantees that finiteness of…

Probability · Mathematics 2017-06-16 Zoran Vondraček , Vanja Wagner

In this work, we establish a representation theorem for multivariable totally symmetric functions: a multisymmetric continuous function must be the composition of a continuous function and a set of generators of the multisymmetric…

Classical Analysis and ODEs · Mathematics 2024-12-25 Chongyao Chen , Ziang Chen , Jianfeng Lu

Suppose $k$ is a positive integer and $\mathcal{X}$ is a $k$-fold packing of the plane by infinitely many arc-connected compact sets, which means that every point of the plane belongs to at most $k$ sets. Suppose there is a function…

Metric Geometry · Mathematics 2016-01-13 János Pach , Bartosz Walczak

We prove that a certain series defines a constant function using Wolpert's formula for the variation of the length of a geodesic along a Fenchel Nielsen twist. Subsequently we determine the value viewing it as function on the the Deligne…

Geometric Topology · Mathematics 2007-05-23 Greg McShane

In his 1990 paper, Jones proved the following: given $E \subseteq \mathbb{R}^2$, there exists a curve $\Gamma$ such that $E \subseteq \Gamma$ and \[ \mathscr{H}^1(\Gamma) \sim \text{diam}\, E + \sum_{Q} \beta_{E}(3Q)^2\ell(Q).\] Here,…

Classical Analysis and ODEs · Mathematics 2020-09-14 Matthew Hyde

This paper addresses some questions about dimension theory for P-minimal structures. We show that, for any definable set A, the dimension of the frontier of A is strictly smaller than the dimension of A itself, and that A has a…

Logic · Mathematics 2015-09-01 Pablo Cubides-Kovacsics , Luck Darnière , Eva Leenknegt

We introduce the set-self-Tietze property, an analogue of the self-Tietze property for upper semi-continuous set-valued functions. A topological space $X$ is self-Tietze, if for every closed $A \subseteq X$ and continuous function $f \colon…

General Topology · Mathematics 2026-03-17 Andrew Wood

The problem of finding graph structure of functions commuting with a given function in terms of their functional graphs is considered. Structure of functional graphs of commuting functions is described. The problem is reduced to describing…

Combinatorics · Mathematics 2015-01-05 Peteris Daugulis

Jayne and Rogers proved that every function from an analytic space into a separable metric space is decomposable into countably many continuous functions with closed domains if and only if the preimage of each $F_\sigma$ set under it is…

Logic · Mathematics 2016-09-06 Takayuki Kihara

We prove that a set of finite perimeter is indecomposable if and only if it is, up to a choice of suitable representative, connected in the 1-fine topology. This gives a topological characterization of indecomposability which is new even in…

Metric Geometry · Mathematics 2025-12-23 Paolo Bonicatto , Panu Lahti , Enrico Pasqualetto

The present paper studies continuity of generalized entropy functions and relative entropies defined using the notion of a deformed logarithmic function. In particular, two distinct definitions of relative entropy are discussed. As an…

Mathematical Physics · Physics 2007-05-23 Jan Naudts

Consider a Hausdorff space (X,T) and a set C of converging nets in X. By virtue of the limit uniqueness, the relation Lim which assigns each member x of X to every net N lying in C that converges to x is a map. Of course, structuring C with…

General Topology · Mathematics 2007-05-23 J. E. Palomar Tarancon