Related papers: Linearizing holomorphic functions on operator spac…
We characterize functions of $d$-tuples of bounded operators on a Hilbert space that are uniformly approximable by free polynomials on balanced open sets.
In this paper we continue the study of free holomorphic functions on the unit ball of B(H)^n, where B(H) is the algebra of all bounded linear operators on a Hilbert space H. Several classical results from complex analysis have free…
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…
In this article, we show that the predual $\mathcal{G}_w(U)$ of the weighted space of holomorphic functions has the $\mathcal{I}$- approximation property if and only if $E$ has the $\mathcal{I}$- approximation property, where $\mathcal{I}$…
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,…
In this paper, we consider the locally convex spaces of entire functions with growth given by proximate orders, and study the representation as a differential operator of a continuous homomorphism from such a space to another one. As a…
A necessary and sufficient condition for an operator space to support a multiplication making it completely isometric and isomorphic to a unital operator algebra is proved. The condition involves only the holomorphic structure of the Banach…
Functional analysis, especially the theory of Hilbert spaces and of operators on these, form an important area in mathematics. We formalized the Isabelle/HOL library Complex_Bounded_Operators containing a large amount of theorems about…
We define the domain of a linear fractional transformation in a space of operators and show that both the affine automorphisms and the compositions of symmetries act transitively on these domains. Further, we show that Liouville's theorem…
We study functions f(z) holomorphic in the upper half plane and having no zeros when the imaginary part of z is between 0 and 1, and we obtain a lower bound for the modulus of f(z) in this strip. In our analysis we deal with scalar…
We show that under natural and quite general assumptions, a large part of a matrix for a bounded linear operator on a Hilbert space can be preassigned. The result is obtained in a more general setting of operator tuples leading to…
We give canonical forms of selfadjoint and isometric operators on a complex vector space $U$ with scalar product given by a positive semidefinite Hermitian form, and of Hermitian forms on $U$. For an arbitrary system of semiunitary spaces…
Given an operator ideal I, a Banach space E has the I-approximation property if operators on E can be uniformly approximated on compact subsets of E by operators belonging to I. In this paper the I- approximation property is studied in…
We investigate operators between spaces of holomorphic functions in several complex variables. Let $G_1, G_2 \subset \mathbb{C}^n$ be cylindrical domains. We construct a canonical map from the space of bounded linear operators…
In this paper we initiate the study of real operator monotonicity for functions of tuples of operators, which are multivariate structured maps with a functional calculus called free functions that preserve the order between real parts (or…
Let H be an infinite-dimensional (real or complex) Hilbert space, viewed as a metric structure in its natural signature. We characterize the definable linear operators on H as exactly the "scalar plus compact" operators.
We define a free holomorphic function to be a function that is locally a bounded nc-function. We prove that free holomorphic functions are the functions that are locally uniformly approximable by free polynomials. We prove a realization…
We study the predual of the space of functions of bounded variation defined over a metric measure space $({\rm X},{\sf d},\mathfrak m)$ with $\mathfrak m$ finite. More specifically, for any exponent $p\in(1,\infty)$ we construct an…
A standard technique in infinite dimensional holomorphy, which produced several useful results, uses the Borel transform to represent linear functionals on certain spaces of multilinear operators between Banach spaces as multilinear…
Continuing the study of preduals of spaces $\mathcal{L}(H,Y)$ of bounded, linear maps, we consider the situation that $H$ is a Hilbert space. We establish a natural correspondence between isometric preduals of $\mathcal{L}(H,Y)$ and…