Related papers: Tietze extension does not always work in construct…
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…
Let (X,d) be a metric space and $ \alpha > 0 $. In this paper, we study extensions of some complex-valued Lipschitz functions, from some special subset $ X_0 $ to X. These extensions are with no-increasing Lipschitz number or the smallest…
A $G$-invariant version of definable Tietze extension theorem for definably complete structures is proved when a definably compact definable topological group $G$ acts definably and continuously on the definable set.
We prove that several versions of the Tietze extension theorem for functions with moduli of uniform continuity are equivalent to WKL_0 over RCA_0. This confirms a conjecture of Giusto and Simpson that was also phrased as a question in…
We introduce the notion of \pi-extension of the semigroup \mathbb{Z}_+ and study the extensions of the Toeplitz algebras by isometric operators. We show that when the action of the Toeplitz algebra is irreducible all such extensions…
The main purpose is to establish two theorems about closed 0-definable subsets $A$ of an affine space $K^{n}$ over a Hensel minimal field $K$. The first, being a non-Archimedean counterpart of one from o-minimal geometry, states that every…
Let $F$ be an ordered topological vector space (over $\mathbb{R}$) whose positive cone $F_+$ is weakly closed, and let $E \subseteq F$ be a subspace. We prove that the set of positive continuous linear functionals on $E$ that can be…
A simple hierarchical structure is imposed on the set of Lipschitz functions on streams (i.e. sequences over a fixed alphabet set) under the standard metric. We prove that sets of non-expanding and contractive functions are closed under a…
Real numbers do not admit an extensional procedure for observing discrete information, such as the first digit of its decimal expansion, because every extensional, computable map from the reals to the integers is constant, as is well known.…
It is an open problem whether one can always extend an absolutely continuous function (in the sense of Ashton and Doust) on a compact subset of the plane to a larger compact set. In this paper we show that this can be done for a large…
We formulate a multi-valued version of the Tietze-Urysohn extension theorem. Precisely, we prove that any upper semicontinuous multi-valued map with nonempty closed convex values defined on a closed subset (resp. closed perfectly normal…
We consider linear operators defined on a subspace of a complex Banach space into its topological antidual acting positively in a natural sense. The goal of this paper is to investigate of this kind of operators. The main theorem is a…
Cantor's ordinal numbers, a powerful extension of the natural numbers, are a cornerstone of set theory. They can be used to reason about the termination of processes, prove the consistency of logical systems, and justify some of the core…
The following two assertions are equivalent for an o-minimal expansion of an ordered group $\mathcal M=(M,<,+,0,\ldots)$. There exists a definable bijection between a bounded interval and an unbounded interval. Any definable continuous…
According to the math tea argument, there must be real numbers that we cannot describe or define, because there are uncountably many real numbers, but only countably many definitions. And yet, the existence of pointwise-definable models of…
We consider the problem of constructing a weakly-continuous mapping extending continuous mapping defined on a dense set of a topological space to the entire space. Theorem on necessary and sufficient conditions for the existence of such an…
We study Toeplitz operators with respect to a commuting $n$-tuple of bounded operators which satisfies some additional conditions coming from complex geometry. Then we consider a particular such tuple on a function space. The algebra of…
Urysohn's Lemma is a crucial property of normal spaces that deals with separation of closed sets by continuous functions. It is also a fundamental ingredient in proving the Tietze Extension Theorem, another property of normal spaces that…
To enable the study of open sets in computational approaches to mathematics, lots of extra data and structure on these sets is assumed. For both foundational and mathematical reasons, it is then a natural question, and the subject of this…
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…