Let E be a Banach space with 1-unconditional basis. Denote by $\Delta \left(\otimes {̂}_{n,\pi }E\right)$ (resp. $\Delta \left(\otimes {̂}_{n,s,\pi }E\right)$) the main diagonal space of the n-fold full (resp. symmetric) projective Banach space tensor product, and denote by $\Delta \left(\otimes {̂}_{n,\left|\pi \right|}E\right)$ (resp. $\Delta \left(\otimes {̂}_{n,s,\left|\pi \right|}E\right)$) the main diagonal space of the n-fold full (resp. symmetric) projective Banach lattice tensor product. We show that these four main diagonal spaces are pairwise isometrically isomorphic, and in addition, that they are isometrically lattice isomorphic to $E_{\left[n\right]}$, the completion of the n-concavification of...

Given a finite set X⊆ ℝ we characterize the diagonals of self-adjoint operators with spectrum X. Our result extends the Schur-Horn theorem from a finite-dimensional setting to an infinite-dimensional Hilbert space analogous to Kadison's theorem for orthogonal projections (2002) and the second author's result for operators with three-point spectrum (2013).

We present an equivalent midpoint locally uniformly rotund (MLUR) renorming of C[0,1] with the diameter 2 property (D2P), i.e. every non-empty relatively weakly open subset of the unit ball has diameter 2. An example of an MLUR space with the D2P and with convex combinations of slices of arbitrarily small diameter is also given.

We study the extremal structure of Banach spaces of continuous functions with the diameter norm.

Under some mild assumptions, non-linear diameter-preserving bijections between (vector-valued) function spaces are characterized with the help of a well-known theorem of Ulam and Mazur. A necessary and sufficient condition for the existence of a diameter-preserving bijection between function spaces in the complex scalar case is derived, and a complete description of such maps is given in several important cases.

Stemming from the study of signals via wavelet coefficients, the spaces $S^{\nu }$ are complete metrizable and separable topological vector spaces, parametrized by a function ν, whose elements are sequences indexed by a binary tree. Several papers were devoted to their basic topology; recently it was also shown that depending on ν, $S^{\nu }$ may be locally convex, locally p-convex for some p > 0, or not at all, but under a minor condition these spaces are always pseudoconvex. We deal with some more sophisticated...

Jachymski showed that the set $$\left\{(x,y)\in {𝐜}_0\times {𝐜}_0:{\left(\sum _{i=1}^n\alpha \left(i\right)x\left(i\right)y\left(i\right)\right)}_{n=1}^{\infty }\text{is}\text{bounded}\right\}$$ is either a meager subset of ${𝐜}_0\times {𝐜}_0$ or is equal to ${𝐜}_0\times {𝐜}_0$. In the paper we generalize this result by considering more general spaces than ${𝐜}_0$, namely ${𝐂}_0\left(X\right)$, the space of all continuous functions which vanish at infinity, and ${𝐂}_b\left(X\right)$, the space of all continuous bounded functions. Moreover, we replace the meagerness by $\sigma$-porosity.

Assume that L p,q, $L^{p_1,q_1},...,L^{p_n,q_n}$ are Lorentz spaces. This article studies the question: what is the size of the set $E=\{(f_1,...,f_n)\in L^{p_{1,}{q}_1}\times \cdots \times L^{p_n,q_n}:f_1\cdots f_n\in L^{p,q}\}$. We prove the following dichotomy: either $E=L^{p_1,q_1}\times \cdots \times L^{p_n,q_n}$ or E is σ-porous in $L^{p_1,q_1}\times \cdots \times L^{p_n,q_n}$, provided 1/p ≠ 1/p 1 + … + 1/p n. In general case we obtain that either $E=L^{p_1,q_1}\times \cdots \times L^{p_n,q_n}$ or E is meager. This is a generalization of the results for classical L p spaces.

There is a general conjecture, the dichotomy (C) about Borel equivalence relations E: (i) E is Borel reducible to the equivalence relation $E_G^X$ where X is a Polish space, and a Polish group acting continuously on X; or (ii) a canonical relation $E_1$ is Borel reducible to E. (C) is only proved for special cases as in [So].  In this paper we make a contribution to the study of (C): a stronger conjecture is true for hereditary subspaces of the Polish space ${ℝ}^{\omega }$ of real sequences, i.e., subspaces such that $[y={\left(y_n\right)}_n\in X$...