Related papers: Every separable complex Fr\'echet space with a con…

All spaces are assumed to be separable and metrizable. Building on work of van Engelen, Harrington, Michalewski and Ostrovsky, we obtain the following results: (1) Every finite-dimensional analytic space is $\sigma$-homogeneous with…

We examine the surjectivity of isometries between weighted spaces of holomorphic functions. We show that for certain classical weights on the open unit disc all isometries of the weighted space of holomorphic functions, ${ \mathcal…

This paper shows that every totally-geodesic isometry from the unit disk to a finite-dimensional Teichm\"uller space for the intrinsic Kobayashi metric is either holomorphic or anti-holomorphic; in particular, it is a Teichm\"uller disk.…

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 a monomorphic functor $F:Comp\to Comp$ with finite supports is epimorphic, continuous, and its maximal $\emptyset$-modification $F^\circ$ preserves intersections. This implies that a monomorphic functor $F:Comp\to Comp$ of…

We show that the existence of a strongly convex function with a Lipschitz derivative on a Banach space already implies that the space is isomorphic to a Hilbert space. Similarly, if both a function and its convex conjugate are $C^2$ then…

Using the variational method, it is shown that the set of all strong peak functions in a closed algebra $A$ of $C_b(K)$ is dense if and only if the set of all strong peak points is a norming subset of $A$. As a corollary we can induce the…

We give a proof that every space of weighted square-integrable holomorphic functions admits an equivalent weight whose Bergman kernel has zeroes. Here the weights are equivalent in the sense that they determine the same space of holomorphic…

We prove that if f is a holomorphic function on the open unit disc in C whose cluster set C(f) has finite linear measure and is such that the complement of C(f) has finitely many components, then the derivative of f belongs to the Hardy…

We first show that in the function realizability topos every metric space is separable, and every object with decidable equality is countable. More generally, working with synthetic topology, every $T_0$-space is separable and every…

Let $\mathbb D^n\subset\mathbb C^n$ be the open unit polydisk, $K\subset\mathbb D^n$ be an $n$-ary Cartesian product of planar sets, and $\hat U\subset \mathfrak M^n$ be an open neighbourhood of the closure $\bar K$ of $K$ in $\mathfrak…

Let $A$ be a non-projectively-pluripolar set in a Fr\'{e}chet space $E.$ We give sufficient conditions to ensure the convergence on some zero-neighbourhood in $E$ of a (sequence of) formal power series of Fr\'{e}chet-valued continuous…

Uniform covers with a finite-dimensional nerve are rare (i.e., do not form a cofinal family) in many separable metric spaces of interest. To get hold on uniform homotopy properties of these spaces, a reasonably behaved notion of an…

Let X be a separable Banach space which admits a separating polynomial; in particular X a separable Hilbert space. Let $f:X \rightarrow R$ be bounded, Lipschitz, and $C^1$ with uniformly continuous derivative. Then for each {\epsilon}>0,…

We give a new proof of the completeness of the space $\mathcal{O}_C$ by applying a criterion of compact regularity for the isomorphic sequence space $\lim_{k\rightarrow} (s\hat \otimes (\ell^\infty)_{-k})$. Along the way we show that the…

Known results about hypercyclic subspaces concern either Fr\'echet spaces with a continuous norm or the space \omega. We fill the gap between these spaces by investigating Fr\'echet spaces without continuous norm. To this end, we divide…

Let $M$ be an open Riemann surface. We prove that every meromorphic function on $M$ is the complex Gauss map of a conformal minimal immersion $M\to\mathbb{R}^3$ which may furthermore be chosen as the real part of a holomorphic null curve…

We lift upper and lower estimates from linear functionals to $n$-homogeneous polynomials and using this result show that $l_\infty$ is finitely represented in the space of $n$-homogeneous polynomials, $n\ge2$, for any infinite dimensional…

A new subspace of Morrey spaces whose elements can be approximated by infinitely differentiable compactly supported functions is introduced. Consequently, we give an explicit description of the closure of the set of such functions in Morrey…

We prove that for infinite, countable, compact, Hausdorff spaces $K,L$, $C(K)\widehat{\otimes}_\pi C(L)$ is isomorphic to exactly one of the spaces $C(\omega^{\omega^\xi})\widehat{\otimes}_\pi C(\omega^{\omega^\zeta})$, $0\leqslant…