Related papers: Locally Constant Constructive Functions and Connec…
We study different notions of connected constructive metric spaces. They differ the types of connected components and how different components relate to each other. These notions are equivalent in classical point set topology but they give…
One proves that any everywhere defined constructive mapping from a complete metric space into a complete metric space which preserves the property of precompacity of subsets is locally uniformly continuous. This fact can be viewed as…
We construct an example of a real-valued continuous non-constant function $f$ defined on a connected complete metric space $X$ such that every point of $X$ is a point of local minimum or local maximum for $f$. The space $X$ is connected but…
A subset $B \subset Y$ is constructible if it is an element of the smallest family that contains all open sets and is stable under finite intersections and complements. A function $f : X \to Y$ is said to be piece-wise closed if $X$ can be…
We present a constructive proof of Tychonoff's fixed point theorem in a locally convex space for sequentially locally non-constant functions, As a corollary to this theorem we also present Schauder's fixed point theorem in a Banach space…
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…
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…
It is proved that every linear biseparating map between spaces of vector-valued differentiable functions is a weighted composition map. As a consequence, such a map is always continuous.
The main result of this paper states that for a function $f:\R^2\to Y$ with a closed, connected and locally connected graph, where $Y$ is a locally compact, second-countable metrisable space, the graph over discontinuity points remains…
We address a classical open question by H.Brezis and R.Ignat concerning the characterization of constant functions through double integrals that involve difference quotients. Our first result is a counterexample to the question in its full…
It is obtained that every constructive (in A.A.Markov's sense) function is summable, if it is defined almost everywhere in the interval $[0,1]$ and integrable in Riemann's sense.
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…
Given a compact set K in the plane, which contains no triple of points forming a vertical and a horizontal segment, and a continuous real-valued map f on K, we give a construction of real-valued continuous maps of one variable g,h such that…
Circular-arc graphs are graphs that can be represented as intersection graphs of subpaths of a cycle. Interval graphs are graphs that can be represented as intersection graphs of subpaths of a path. Since cycles are locally paths, every…
Localized noncommutative structures for manifolds with connection are constructed based on the use of vertical star products. The model's main feature is that two points that are far away from each other will not be subject to a deviation…
We study various proofs of the caracterization of constant functions, more precisely of the theorem: a derivable function, defined on a real interval, is constant if, and only if, its derivative is null. Our aim is to study the…
The work is devoted to the construction of a new type of intervals -- functional intervals. These intervals are built on the idea of expanding boundaries from numbers to functions. Functional intervals have shown themselves to be promising…
An interval in a combinatorial structure S is a set I of points which relate to every point from S I in the same way. A structure is simple if it has no proper intervals. Every combinatorial structure can be expressed as an inflation of a…
The notion of constructible functions in the setting of tame real geometry has been introduced by Cluckers and Dan Miller in their work on parametric integration of globally subanalytic functions. A function on a globally subanalytic set is…
We consider the space $C_{\lambda}$ of all continuous interval maps preserving the Lebesgue measure $\lambda$. A continuous function $f\colon~[0,1]\to \mathbb R$ is called Besicovitch if it does not have any finite or infinite unilateral…