G. Godefroy asked whether, on any Banach space, the set of norm-attaining functionals contains a 2-dimensional linear subspace. We prove that a recent construction due to C.J. Read provides an example of a space which does not have this property. This is done through a study of the relation between the following two sentences where X is a Banach space and Y is a closed subspace of finite codimension in X: (A) Y is proximinal in X. (B) The annihilator of Y consists of norm-attaining functionals. We prove that these are equivalent if X is the Read's space. Moreover, we prove that any non-reflexive Banach space X with any given closed subspace Y of finite codimension at least 2 admits an equivalent norm such that (B) is true and (A) is false.
We show that for every $1<n<\infty$, there exits a Banach space $X_n$ containing proximinal subspaces of codimension $n$ but no proximinal finite codimensional subspaces of higher codimension. Moreover, the set of norm-attaining functionals of $X_n$ contains $n$-dimensional subspaces, but no subspace of higher dimension. This gives a $n$-by-$n$ version of the solutions given by Read and Rmoutil to problems of Singer and Godefroy. We also study the existence of strongly proximinal subspaces of finite codimension, showing that for every $1<n<\infty$ and $1\leqslant k <n$, there is a Banach space…
We derive that for a separable proximinal subspace $Y$ of $X$, $Y$ is strongly proximinal (strongly ball proximinal) if and only if for $1\leq p< \infty$, $L_p(I,Y)$ is strongly proximinal (strongly ball proximinal) in $L_p(I,X)$. Case for $p=\infty$ follows from stronger assumption on $Y$ in $X$ (uniform proximinality). It is observed that for a separable proximinal subspace $Y$ in $X$, $Y$ is ball proximinal in $X$ if and only if $L_p(I,Y)$ is ball proximinal in $L_p(I,X)$ for $1\leq p\leq\infty$. Our observations also include the fact that for any (strongly) proximinal subspace $Y$ of $X$, …
The classical theorem of Bishop-Phelps asserts that, for a Banach space X, the norm-achieving functionals in X* are dense in X*. Bela Bollobas's extension of the theorem gives a quantitative description of just how dense the norm-achieving functionals have to be: if (x,f) is in X x X* with ||x||=||f||=1 and |1-f(x)|< h^2/4 then there are (x',f') in X x X* with ||x'||= ||f'||=1, ||x-x'||, ||f-f'||< h and f'(x')=1. This means that there are always "proximinal" hyperplanes H in X (a nonempty subset E of a metric space is said to be "proximinal" if, for x not in E, the distance d(x,E) is always ac…
We study geometric properties of the Banach space $\mathcal{R}$ constructed recently by C.~Read (arXiv 1307.7958) which does not contain proximinal subspaces of finite codimension greater than or equal to two. Concretely, we show that the bidual of $\mathcal{R}$ is strictly convex, that the norm of the dual of $\mathcal{R}$ is rough, and that $\mathcal{R}$ is weakly locally uniformly rotund (but it is not locally uniformly rotund). Apart of the own interest of the results, they provide a simplification of the proof by M.~Rmoutil (J.\ Funct.\ Anal.\ 272 (2017), 918--928) that the set of norm-at…
We present a construction that enables one to find Banach spaces $X$ whose sets $NA(X)$ of norm attaining functionals do not contain two-dimensional subspaces and such that, consequently, $X$ does not contain proximinal subspaces of finite codimension greater than one, extending the results recently provided by Read and Rmoutil. Roughly speaking, we construct an equivalent renorming with the requested properties for every Banach space $X$ where the set $NA(X)$ for the original norm is not "too large". The construction can be applied to every Banach space containing $c_0$ and having a countable…
For a closed subspace of the range space, we give conditions under which the subspace valued compact operators forms a proximinal subspace of compact operators into the range space.
We discuss a set-valued generalization of strong proximinality in Banach spaces, introduced by J. Mach [Continuity properties of Chebyshev centers, J. Approx. Theory, 29(3):223--230, 1980] as property-$(P_1)$. We establish that if the closed unit ball of a closed subspace of a Banach space $X$ possesses property-$(P_1)$ for each of the classes of closed bounded, compact and finite subsets of $X$, then so does the subspace. It is also proved that the closed unit ball of an $M$-ideal in an $L_{1}$-predual space satisfies property-$(P_{1})$ for the compact subsets of the space. For a Choquet simp…
The proximinality of certain subspaces of spaces of bounded affine functions is proved. The results presented here are some linear versions of an old result due to Mazur. For the proofs we use some sandwich theorems of Fenchel's duality theory.
In this article, we analyse the structure of finite dimensional subspaces of the set of points of strong subdifferentiability in a dual space. In a dual $L_1(μ)$ space, such a subspace is in the discrete part of the Yoshida-Hewitt type decomposition. In this set up, any Banach space consisting of points of strong subdifferentiability is necessarily finite dimensional. Our results also lead to streamlined and new proofs of results from the study of strong proximinality for subspaces of finite co-dimension in a Banach space.
Given a pointed metric space $M$, we study when there exist $n$-dimensional linear subspaces of $\operatorname{Lip}_0(M)$ consisting of strongly norm-attaining Lipschitz functionals, for $n\in\mathbb{N}$. We show that this is always the case for infinite metric spaces, providing a definitive answer to the question. We also study the possible sizes of such infinite-dimensional closed linear subspaces $Y$, as well as the inverse question, that is, the possible sizes of the metric space $M$ given that such a subspace $Y$ exists. We also show that if the metric space $M$ is $σ$-precompact, then th…
We prove that if $M$ is an infinite complete metric space then the set of strongly norm-attaining Lipschitz functions $\SA(M)$ contains a linear subspace isomorphic to $c_0$. This solves an open question posed by V. Kadets and O. Roldán.
Let $T:D(T)\rightarrow H_2$ be a densely defined closed operator with domain $D(T)\subset H_1$. We say $T$ to be absolutely minimum attaining if for every closed subspace $M$ of $H_1$, the restriction operator $T|_M:D(T)\cap M\rightarrow H_2$ attains its minimum modulus $m(T|_{M})$. That is, there exists $x \in D(T)\cap M$ with $\|x\|= 1$ and $\|T(x)\| = \inf \{\|T(m)\|: m \in D(T) \cap M: \|m\|=1\}$. In this article, we prove several characterizations of this class of operators and show that every operator in this class has a nontrivial hyperinvariant subspace. We also prove a spectral theore…
It is shown that if $1<p<\infty$ and $X$ is a subspace or a quotient of an $\ell_p$-direct sum of finite dimensional Banach spaces, then for any compact operator $T$ on $X$ such that $\|I+T\|>1$, the operator $I+T$ attains its norm. A reflexive Banach space $X$ and a bounded rank one operator $T$ on $X$ are constructed such that $\|I+T\|>1$ and $I+T$ does not attain its norm.
In this paper, we provide an infinite metric space $M$ such that the set $\mbox{SNA}(M)$ of strongly norm-attaining Lipschitz functions does not contain a subspace which is isometric to $c_0$. This answers a question posed by Antonio Avilés, Gonzalo Martínez Cervantes, Abraham Rueda Zoca, and Pedro Tradacete. On the other hand, we prove that $\mbox{SNA}(M)$ contains an isometric copy of $c_0$ whenever $M$ is a metric space which is not uniformly discrete. In particular, the latter holds true for infinite compact metric spaces while it does not for proper metric spaces. Some positive results in…
In this article, we first prove the existence of an invariant subspace for a norm-attaining $\ast$-paranormal operator. Then give a representation for $\ast$-paranormal operators in the closure of absolutely norm-attaining operators and further study a few sufficient conditions for the normality of such operators. Finally, we discuss Toeplitz and Hankel $\ast$-paranormal operators in the closure of absolutely norm-attaining operators on the Hardy space.
We provide sufficient conditions on a Banach space $X$ in order that there exist norm attaining operators of rank at least two from $X$ into any Banach space of dimension at least two. For example, a rather weak such condition is the existence of a non-trivial cone consisting of norm attaining functionals on $X$. We go on to discuss density of norm attaining operators of finite rank among all operators of finite rank, which holds for instance when there is a dense linear subspace consisting of norm attaining functionals on $X$. In particular, we consider the case of Hilbert space valued operat…
Let $H_1$ and $H_2$ be complex Hilbert spaces and $T:H_1\rightarrow H_2$ be a bounded linear operator. We say $T$ to be norm attaining, if there exists $x\in H_1$ with $\|x\|=1$ such that $\|Tx\|=\|T\|$. If for every closed subspace $M$ of $H_1$, the restriction $T|_{M}:M\rightarrow H_2$ is norm attaining then, $T$ is called absolutely norm attaining operator or $\mathcal{AN}$-operator. If we replace the norm of the operator by the minimum modulus $m(T)=\inf{\{\|Tx\|:x\in H_1,\; \|x\|=1}\}$, then $T$ is called the minimum attaining and the absolutely minimum attaining operator (or $\mathcal{AM…
We study idempotent, model, and Toeplitz operators that attain the norm. Notably, we prove that if $\mathcal{Q}$ is a backward shift invariant subspace of the Hardy space $H^2(\mathbb{D})$, then the model operator $S_{\mathcal{Q}}$ attains its norm. Here $S_{\mathcal{Q}} = P_{\mathcal{Q}}M_z|_{\mathcal{Q}}$, the compression of the shift $M_z$ on the Hardy space $H^2(\mathbb{D})$ to $\mathcal{Q}$.
Let $H_1$, $H_2$ be complex Hilbert spaces. A bounded linear operator $T : H_1 \to H_2$ is said to be norm attaining if there exists a unit vector $x \in H_1$ such that $\|Tx\| = \|T\|$. If $T|_{M} : M \to H_2$ is norm attaining for every closed subspace $M$ of $H_1$, then we say that $T$ is an absolutely norm attaining ($\mathcal{AN}$-operator). If the norm of the operator is replaced by the minimum modulus $m(T) = \inf\{\|Tx\| : x \in H_1, \|x\| =1\}$, then $T$ is said to be a minimum attaining and an absolutely minimum attaining operator ($\mathcal{AM}$-operator), respectively. In this arti…
Let $K$ be a Hausdorff space and $C_b(K)$ be the Banach algebra of all complex bounded continuous functions on $K$. We study the Gâteaux and Fréchet differentiability of subspaces of $C_b(K)$. Using this, we show that the set of all strong peak functions in a nontrivial separating separable subspace $H$ of $C_b(K)$ is a dense $G_δ$ subset of $H$, if $K$ is compact. This gives a generalized Bishop's theorem, which says that the closure of the set of strong peak point for $H$ is the smallest closed norming subset of $H$. The classical Bishop's theorem was proved for a separating subalgebra $H$ a…
We provide some new consequences on the Lipschitz numerical radius and index which were introduced recently. More precisely, we give some renorming results on the Lipschitz numerical index, introduce a concept of Lipschitz numerical radius attaining functions in order to show that the denseness fails for an arbitrary Banach space, and study a Lipschitz version of Daugavet centers. Furthermore, we discuss the Lipschitz numerical index of vector-valued function spaces, absolute sums of Banach spaces, the Köthe-Bochner spaces, and Banach spaces which contain a dense union of increasing family of …
Let $X$ be a Banach space. We prove that, for a large class of Banach or quasi-Banach spaces $E$ of $X$-valued sequences, the sets $E-\bigcup _{q\inΓ}\ell_{q}(X)$, where $Γ$ is any subset of $(0,\infty]$, and $E-c_{0}(X)$ contain closed infinite-dimensional subspaces of $E$ (if non-empty, of course). This result is applied in several particular cases and it is also shown that the same technique can be used to improve a result on the existence of spaces formed by norm-attaining linear operators.
We characterize the sets of norm one vectors $\mathbf{x}_1,\ldots,\mathbf{x}_k$ in a Hilbert space $\mathcal H$ such that there exists a $k$-linear symmetric form attaining its norm at $(\textbf{x}_1,\ldots,\mathbf{x}_k)$. We prove that in the bilinear case, any two vectors satisfy this property. However, for $k\ge 3$ only collinear vectors satisfy this property in the complex case, while in the real case this is equivalent to $\mathbf{x}_1,\ldots,\mathbf{x}_k$ spanning a subspace of dimension at most 2. We use these results to obtain some applications to symmetric multilinear forms, symmetric…
