Related papers: On a continuity theorem for constructive functions

We establish a fixed point theorem for mappings of square matrices of all sizes which respect the matrix sizes and direct sums of matrices. The conclusions are stronger if such a mapping also respects matrix similarities, i.e., is a…

We established a fixed-point theorem for mapping satisfying a general contractive inequality of integral type depended an another function. This theorem substantially extend the theorem due to Branciari (2003) and Rhoades (2003)

We prove that arbitrary homomorphisms from one of the groups ${\rm Homeo}(\ca)$, ${\rm Homeo}(\ca)^\N$, ${\rm Aut}(\Q,<)$, ${\rm Homeo}(\R)$, or ${\rm Homeo}(S^1)$ into a separable group are automatically continuous. This has consequences…

We give the definition of uniform symmetric continuity for functions defined on a nonempty subset of the real line. Then we investigate the properties of uniformly symmetrically continuous functions and compare them with those of…

We characterize order preserving continuous surjections between compact linearly ordered spaces which admit an averaging operator, together with estimates of the norm of such an operator. This result is used to the study of strengthenings…

Using a modification of a generalized Takagi-van der Waerden function on a metric space we prove that for any closed subset of a metric space without isolated points there exists a continuous function such that its big and local Lipschitz…

In this paper we develop a technique of constructing uni- formly continuous maps between function spaces Cp(X) endowed with the pointwise topology. We prove that if a space X is compact metrizable and strongly countable-dimensional, then…

Let M be a compact manifold, possibly with boundary. We show that the group of homeomorphisms of M has the automatic continuity property: any homomorphism from Homeo(M) to any separable group is necessarily continuous. This answers a…

A uniform space $X$ is said to be proximally fine if every proximally continuous map on $X$ into a uniform is uniformly continuous. We supply a proof that every topological group which is functionnaly generated by its precompact subsets is…

We investigate the connection between the spatiality of locale products and the earlier studies of the author on the locally fine coreflection of the products of uniform spaces. After giving a historical introduction and indicating the…

We prove a fixed point theorem for closed-graphed, decomposable-valued correspondences whose domain and range is a decomposable set of functions from an atomless measure space to a topological space. One consequence is an improvement of the…

We prove that every infinite-dimensional (locally convex) linear topological space that can be expressed as a direct limit of finite-dimensional metrizable compacta is (linearly) homeomorphic to the space $R^\infty=\dlim R^n$.

We construct a H\"older continuous function on the unit interval which coincides in uncountably (in fact continuum) many points with every function of total variation smaller than 1 passing through the origin. We say that a function with…

The embedding theorem arises in several problems from analysis and geometry. The purpose of this paper is to provide a deeper understanding of analysis and geometry with a particular focus on embedding theorems on spaces of homogeneous type…

In this paper we make some observations concerning m-metric spaces and point out some discrepancies in the proofs found in the literature. To remedy this, we propose a new topological construction and prove that it is in fact a…

This paper presents several independence results concerning the topos-valid and the intuitionistic (generalized) predicative theories of locales. In particular, certain consequences of the consistency of a general form of Troelstra's…

Motivated by the analysis and geometry of metric-measure structures in infinite dimensions, we study the category of extended metric-topological spaces, along with many of its distinguished subcategories (such as the one of compact spaces).…

In this paper, we present a constructive generalization of metric and uniform spaces by introducing a new class of spaces, called cover spaces. These spaces form a topological concrete category with a full reflective subcategory of complete…

We study universal approximation of continuous functionals on compact subsets of products of Hilbert spaces. We prove that any such functional can be uniformly approximated by models that first take finitely many continuous linear…

As an application of Brouwer's fixed-point theorem we prove that a continuously differentiable convex function with gradient of constant norm is an affine mapping. It is a first-order characterization of affine mappings among continuously…