Related papers: Computable classifications of continuous, transduc…

An important consequence of the Hahn-Banach Theorem says that on any locally convex Hausdorff topological space $X$, there are sufficiently many continuous linear functionals to separate points of $X$. In the paper, we establish a `local'…

We present a simple functional programming language, called Dual PCF, that implements forward mode automatic differentiation using dual numbers in the framework of exact real number computation. The main new feature of this language is the…

In a previous paper the second author introduced a compact topology on the space of closed ideals of a unital Banach algebra A. If A is separable then this topology is either metrizable or else neither Hausdorff nor first countable. Here it…

In the study of locally convex quasi *-algebras an important role is played by representable linear functionals; i.e., functionals which allow a GNS-construction. This paper is mainly devoted to the study of the continuity of representable…

We introduce a real vector space composed of set-valued maps on an open set X and note it by S. It is a complete metric space and a complete lattice. The set of continuous functions on X is dense in S as in a metric space and as in a…

We systematically derive general properties of continuous and holomorphic functions with values in closed operators, allowing in particular for operators with empty resolvent set. We provide criteria for a given operator-valued function to…

Let CBV denote the Banach algebra of all continuous real-valued functions of bounded variation, defined in [0,1]. We show that the set of strongly singular functions in CBV is nonseparably spaceable. We also prove that certain families of…

Under the right conditions on a compact metric space $X$ and on a Banach space $E$, we give a description of the $2$-local (standard) isometries on the Banach space $\hbox{Lip}(X,E)$ of vector-valued Lipschitz functions from $X$ to $E$ in…

We prove that a function in several variables is in the local Zygmund class $\mathcal Z^{m,1}$ if and only if its composite with every smooth curve is of class $\mathcal Z^{m,1}$. This complements the well-known analogous result for local…

Let $X$ and $Y$ be compact Hausdorff spaces, and let $C(X)$ and $C(Y)$ denote the commutative Banach algebras of all continuous complex-valued functions on $X$ and $Y$, respectively. We study bijective maps $T$ from $C(X)$ onto $C(Y)$ which…

The class of uniformly computable real functions with respect to a small subrecursive class of operators computes the elementary functions of calculus, restricted to compact subsets of their domains. The class of conditionally computable…

The classical theorems of Banach and Stone, Gelfand and Kolmogorov, and Kaplansky show that a compact Hausdorff space $X$ is uniquely determined by the linear isometric structure, the algebraic structure, and the lattice structure,…

In this note, we show that if a Banach space X has a predual, then every bounded linear operator on X with a continuous functional calculus admits a bounded Borel functional calculus. A consequence of this is that on such a Banach space,…

Let $\operatorname{Lip}_0(M)$ be the space of Lipschitz functions on a complete metric space $M$ that vanish at a base point. We show that every normal functional in $\operatorname{Lip}_0(M)^\ast$ is weak$^*$ continuous, answering a…

The isometric universality of the spaces $C(K)$ for $K$ a non scattered Hausdorff compact does not take into account the ``quality'' of the representation. Indeed, the existence of an isometric copy of a separable Banach space $X$ into…

Specifying a computational problem requires fixing encodings for input and output: encoding graphs as adjacency matrices, characters as integers, integers as bit strings, and vice versa. For such discrete data, the actual encoding is…

The classification of separable operator spaces and systems is commonly believed to be intractable. We analyze this belief from the point of view of Borel complexity theory. On one hand we confirm that the classification problems for…

We make some remarks on the global shape of continuous convex functions defined on a Banach space $Z$. Among other results we prove that if $Z$ is separable then for every continuous convex function $f:Z\to\mathbb{R}$ there exist a unique…

A new classification of real functions and other related real objects defined within a compact interval is proposed. The scope of the classification includes normal real functions and distributions in the sense of Schwartz, referred to…

We show that Sobczyk's Theorem holds for a new class of Banach spaces, namely spaces of continuous functions on linearly ordered compacta.