Related papers: On a continuity theorem for constructive functions

Starting from Sinclair's 1976 work {\it Automatic Continuity of Linear Operators}, Cambridge University Press, (1976), on automatic continuity of linear operators on Banach spaces, we prove that sequences of intertwining continuous linear…

In this paper we formulate and prove a general theorem of stability of exactness properties under the pro-completion, which unifies several such theorems in the literature and gives many more. The theorem depends on a formal approach to…

We examine conditions on a (compact metrizable) space $X$ such that for any space $Y$ and closed subspace $Z$, the set of continuous functions from $Z$ to $X$ which extend to $Y$ is either open or closed in the set of continuous functions…

We prove some extension theorems involving uniformly continuous maps of the universal Urysohn space. We also prove reconstruction theorems for certain groups of autohomeomorphisms of this space and of its open subsets.

We prove a theorem which provides a method for constructing points on varieties defined by certain smooth functions. We require that the functions are definable in a definably complete expansion of a real closed field and are locally…

The goal of this work is to study the space of continuous functions whose ergodic averages converge everywhere towards a continuous function. We will connect, as in the case of a metric study, the convergence of the ergodic averages and the…

M.Gromov extended the concepts of conformal and quasiconformal mapping to the mappings acting between the manifolds of different dimensions. For instance, any entire holomorphic function $ f: \Cn \to {\mathbb C}$ defines a mapping conformal…

In a number of papers, Y. Sternfeld investigated the problems of representation of continuous and bounded functions by linear superpositions. In particular, he proved that if such representation holds for continuous functions, then it holds…

In this oaper, we prove some fixed point theorems in metric vector spaces, in which the continuity is not required for the considered mappings to satisfy. We provide some concrete examples to demonstrate these theorems. We also give some…

In the setting of constructive pointfree topology, we introduce a notion of continuous operation between pointfree topologies and the corresponding principle of pointfree continuity. An operation between points of pointfree topologies is…

In this paper, we consider a model of classical linear logic based on coherence spaces endowed with a notion of totality. If we restrict ourselves to total objects, each coherence space can be regarded as a uniform space and each linear map…

Brehm's extension theorem states that a non-expansive map on a finite subset of a Euclidean space can be extended to a piecewise-linear map on the entire space. In this note, it is verified that the proof of the theorem is constructive…

Kirill Mackenzie raised the following question: given a groupoid morphism $F$ which is continuous on a neighborhood of base, is it true that $F$ is continuous everywhere? This paper gives a negative answer to that question. Moreover, we…

We prove Runge-type theorems and universality results for locally univalent holomorphic and meromorphic functions. Refining a result of M. Heins, we also show that there is a universal bounded locally univalent function on the unit disk.…

It is known that the topology of a Polish group is uniquely determined by its Borel structure and group operations, but this does not give us a way to find the topology. In this article we expand on this theorem and give a criterion for a…

We generalize the classical Bernstein theorem concerning the constructive description of classes of functions uniformly continuous on the real line. The approximation of continuous bounded functions by entire functions of exponential type…

Kostyrko and Salat showed that if a linear space of bounded functions has an element that is discontinuous almost everywhere, then a typical element in the space is discontinuous almost everywhere. We give a topological analogue of this…

We develop a version of Herbrand's theorem for continuous logic and use it to prove that definable functions in infinite-dimensional Hilbert spaces are piecewise approximable by affine functions. We obtain similar results for definable…

We prove that self-similar measures on the real line are absolutely continuous for almost all parameters in the super-critical region, in particular confirming a conjecture of S-M. Ngai and Y. Wang. While recently there has been much…

We introduce the notion of a good map between topological spaces: a continuous map $f:X \to Y$ is *good* if for every non-empty irreducible locally closed subset $U \subseteq X$, there exists a non-empty open subset $W \subseteq Y$ such…