It has been very recently discovered that there are compact linear operators between Banach spaces which cannot be approximated by norm attaining operators. The aim of this expository paper is to give an overview of those examples and also of sufficient conditions ensuring that compact linear operators can be approximated by norm attaining operators. To do so, we introduce the analogues for compact operators of Lindenstrauss properties A and B.
Based on conditional set theory, we study conditional weak topologies, extending some well-known results to this framework and culminating with the proof of conditional versions of Eberlein-Šmulian and Amir-Lindenstrauss Theorems. In pursuing this aim, we prove conditional versions of Baire Category Theorem and Uniform Boundedness Principle.
We study a Bishop-Phelps-Bollobás version of Lindenstrauss properties A and B. For domain spaces, we study Banach spaces $X$ such that $(X,Y)$ has the Bishop-Phelps-Bollobás property (BPBp) for every Banach space $Y$. We show that in this case, there exists a universal function $η_X(\varepsilon)$ such that for every $Y$, the pair $(X,Y)$ has the BPBp with this function. This allows us to prove some necessary isometric conditions for $X$ to have the property. We also prove that if $X$ has this property in every equivalent norm, then $X$ is one-dimensional. For range spaces, we study Banach spac…
The Bishop-Phelps-Bollobás property for operators deals with simultaneous approximation of an operator $T$ and a vector $x$ at which $T: X\rightarrow Y$ nearly attains its norm by an operator $F$ and a vector $z$, respectively, such that $F$ attains its norm at $z$. We study the possible estimates from above and from below for parameters that measure the rate of approximation in the Bishop-Phelps-Bollobás property for operators for the case of $Y$ having the property $β$ of Lindenstrauss.
We study the problem of extension and lifting of operators belonging to certain operator ideals, as well as that of their associated polynomials and holomorphic functions. Our results provide a characterization of $\mathcal{L}_1$ and $\mathcal{L}_{\infty}$-spaces that includes and extends those of Lindenstrauss-Rosenthal \cite{LR} using compact operators and González-Gutiérrez \cite{GG} using compact polynomials. We display several examples to show the difference between extending and lifting compact (resp. weakly compact, unconditionally convergent, separable and Rosenthal) operators to opera…
We study operators on the Kalton-Peck Banach space $Z_2$ from various points of view: matrix representations, examples, spectral properties and operator ideals. For example, we prove that there are non-compact, strictly singular operators acting on $Z_2$, but the product of two of them is a compact operator. Among applications, we show that every copy of $Z_2$ in $Z_2$ is complemented, and each semi-Fredholm operator on $Z_2$ has complemented kernel and range, the space $Z_2$ is $Z_2$-automorphic and we give a partial solution to a problem of Johnson, Lindenstrauss and Schetchman about strictl…
In this paper, we study geometric properties of the set of group invariant continuous linear operators between Banach spaces. In particular, we present group invariant versions of the Hahn-Banach separation theorems and elementary properties of the invariant operators. This allows us to contextualize our main applications in the theory of norm-attaining operators; we establish group invariant versions of the properties $α$ of Schachermayer and $β$ of Lindenstrauss, and present relevant results from this theory in this (much wider) setting. In particular, we generalize Bourgain's result, which …
The notion of linear Hahn-Banach extension operator was first studied in detail by Heinrich and Mankiewicz (1982). Previously, J. Lindenstrauss (1966) studied similar versions of this notion in the context of non separable reflexive Banach spaces. Subsequently, Sims and Yost (1989) proved the existence of linear Hahn-Banach extension operators via interspersing subspaces in a purely Banach space theoretic set up. In this paper, we study similar questions in the context of Banach modules and module homomorphisms, in particular, Banach algebras of operators on Banach spaces. Based on Dales, Kani…
Edwards' Theorem establishes duality between a convex cone in the space of continuous functions on a compact space and the set of representing or Jensen measures for this cone. In this paper we prove non-compact versions of this theorem.
Let $E(0,1)$ be a symmetric space on $(0,1)$ and $C_F$ be a symmetric ideal of compact operators on the Hilbert space $\ell_2$ associated with a symmetric sequence space $F$. We give several criteria for $E(0,1)$ and $ F$ so that $E(0,1)$ does not embed into the ideal $C_F$, extending the result for the case when $E(0,1)=L_p(0,1)$ and $F=\ell_p $, $1\le p<\infty$, due to Arazy and Lindenstrauss.
In this paper we prove Korovkin type theorems for sequences of sublinear, monotone and weak additive operators acting on function spaces C(X); where X is a compact or a locally compact metric space. Our results are illustrated by a series of examples
A well-known result by Lindenstrauss is that any two-dimensional normed space can be isometrically imbedded into $L_1(0,1)$. We provide an explicit form of a such an imbedding. The proof is elementary and self-contained. Applications are given concerning the following: (i) explicit representations of the moments of the norm of a random vector $X$ in terms of the characteristic function and the Fourier--Laplace transform of the distribution of $X$; (ii) an explicit and partially improved form of the exact version of the Littlewood--Khinchin--Kahane inequality obtained by Latała and Oleszkiewicz…
In this short note we give a proof of the refined version of the uniform invariant approximation property for compact (non-commutative) groups following the Bourgain's approach.
A version of Arzelà-Ascoli theorem for $X$ being $σ$-locally compact Hausdorff space is proved. The result is used in proving compactness of Fredholm, Hammerstein and Urysohn operators. Two fixed point theorems, for Hammerstein and Urysohn operator, are derived on the basis of Schauder theorem.
In this paper we study various convolution-type algebras associated with a locally compact quantum group from cohomological and geometrical points of view. The quantum group duality endows the space of trace class operators over a locally compact quantum group with two products which are operator versions of convolution and pointwise multiplication, respectively; we investigate the relation between these two products, and derive a formula linking them. Furthermore, we define some canonical module structures on these convolution algebras, and prove that certain topological properties of a quant…
Let $X$ be a real Banach space. A subset $B$ of the dual unit sphere of $X$ is said to be a boundary for $X$, if every element of $X$ attains its norm on some functional in $B$. The well-known Boundary Problem originally posed by Godefroy asks whether a bounded subset of $X$ which is compact in the topology of pointwise convergence on $B$ is already weakly compact. This problem was recently solved by H.Pfitzner in the positive. In this note we collect some stronger versions of the solution to the Boundary Problem, most of which are restricted to special types of Banach spaces. We shall use the…
This is the fourth of a series of papers surveying some small part of the remarkable work of our friend and colleague Nigel Kalton. We have written it as part of a tribute to his memory. It contains almost no new results. This time we discuss Nigel's partial solutions (obtained jointly with one of us) of the problem of whether the complex method of interpolation preserves the compactness of operators. This problem is now 51 years old and still lacks a complete solution. We also survey some other partial solutions of this problem, obtained before and after the above mentioned joint work. We are…
In a previous paper, we obtained several "compact versions" of Rubio de Francia's weighted extrapolation theorem, which allowed us to extrapolate the compactness of linear operators from just one space to the full range of weighted Lebesgue spaces, where these operators are bounded. In this paper, we study the extrapolation of compactness for bilinear operators in terms of bilinear Muckenhoupt weights. As applications, we easily recover and improve earlier results on the weighted compactness of commutators of bilinear Calderón-Zygmund operators, bilinear fractional integrals and bilinear Fouri…
We give a necessary and sufficient condition on a compact semitopological quantum semigroup which turns it into a compact quantum group. In particular, we obtain a generalisation of Ellis's joint continuity theorem. We also investigate the question of the existence of the Haar state on a compact semitopological quantum semigroup and prove a "noncommutative" version of the converse Haar's theorem.
A Banach space X has Pelczynski's property (V) if for every Banach space Y every unconditionally converging operator T: X -> Y is weakly compact. H. Pfitzner proved that C*-algebras have Pelczynski's property (V). In the preprint "H. Krulisova: Quantification of Pelczynski's property (V)" the author explores possible quantifications of the property (V) and shows that C(K) spaces for a compact Hausdorff space K enjoy a quantitative version of the property (V). In this paper we generalize this result by quantifying Pfitzner's theorem. Moreover, we prove that in dual Banach spaces a quantitative …
We present a connected version of the compact $L$-space constructed by Kenneth Kunen under CH. We show that this provides a Corson compact space $K$ such that the Banach space $C(K)$ is isomorphic to no space of continuous function on a zero-dimensional compactum.
In this paper we prove a version of the Gohberg lemma on compact Lie groups giving an estimate from below for the distance from a given operator to the set of compact operators on compact Lie groups. As a consequence, we prove several results on bounds for the essential spectrum and a criterion for an operator to be compact. The conditions are given in terms of the matrix-valued symbols of operators.
