Let ${ℳ}^d$ be a d-dimensional normed space with norm ||·|| and let B be the unit ball in ${ℳ}^d$. Let us fix a Lebesgue measure $V_B$ in ${ℳ}^d$ with $V_B\left(B\right)=1$. This measure will play the role of the volume in ${ℳ}^d$. We consider an arbitrary simplex T in ${ℳ}^d$ with prescribed edge lengths. For the case d = 2, sharp upper and lower bounds of $V_B\left(T\right)$ are determined. For d ≥ 3 it is noticed that the tight lower bound of $V_B\left(T\right)$ is zero.

A bounded linear operator T on a Banach space X is called an (m,p)-isometry for a positive integer m and a real number p ≥ 1 if, for any vector x ∈ X, ${\sum }_{k=0}^m{(-1)}^k\left(\genfrac{}{}{0pt}{}{m}{k}\right)\left|\right|T^{k}x{\left|\right|}^p=0$. We prove that any power of an (m,p)-isometry is also an (m,p)-isometry. In general the converse is not true. However, we prove that if $T^r$ and $T^{r+1}$ are (m,p)-isometries for a positive integer r, then T is an (m,p)-isometry. More precisely, if $T^r$ is an (m,p)-isometry and $T^s$ is an (l,p)-isometry, then $T^t$ is an (h,p)-isometry, where t = gcd(r,s)...

Let $X$ be a Banach space of analytic functions on the open unit disk and $\Gamma$ a subset of linear isometries on $X$. Sufficient conditions are given for non-supercyclicity of $\Gamma$. In particular, we show that the semigroup of linear isometries on the spaces $S^p$ ($p>1$), the little Bloch space, and the group of surjective linear isometries on the big Bloch space are not supercyclic. Also, we observe that the groups of all surjective linear isometries on the Hardy space $H^p$ or the Bergman space $L_a^p$ ($1<p<\infty$, $p\ne 2$)...

Suppose Δ̃ is the Laplace-Beltrami operator on the sphere $S^{d-1},{\Delta }_{\rho }^{k}f\left(x\right)={\Delta }_{\rho }{\Delta }_{\rho }^{k-1}f\left(x\right)$ and ${\Delta }_{\rho }f\left(x\right)=f\left(\rho x\right)-f\left(x\right)$ where ρ ∈ SO(d). Then ${\omega }^m{(f,t)}_{L_p\left(S^{d-1}\right)}\equiv sup\parallel {\Delta }_{\rho }^{m}f{\parallel }_{L_p\left(S^{d-1}\right)}:\rho \in SO\left(d\right),ma{x}_{x\in S^{d-1}}\rho x·x\ge cost$ and $K̃ₘ{(f,t^m)}_p\equiv inf\parallel f-g{\parallel }_{L_p\left(S^{d-1}\right)}+t^m\parallel {(-\Delta ̃)}^{m/2}g{\parallel }_{L_p\left(S^{d-1}\right)}:g\in \left({(-\Delta ̃)}^{m/2}\right)$ are equivalent for 1 < p < ∞. We note that for even m the relation was recently investigated by the second author. The equivalence yields an extension of the results on sharp Jackson inequalities on the sphere. A new strong converse inequality for $L_p\left(S^{d-1}\right)$ given in this paper plays a significant role in the proof.

Let $L\left(H\right)$ denote the algebra of operators on a complex infinite dimensional Hilbert space $H$. For $A,B\in L\left(H\right)$, the generalized derivation ${\delta }_{A,B}$ and the elementary operator ${\Delta }_{A,B}$ are defined by ${\delta }_{A,B}\left(X\right)=AX-XB$ and ${\Delta }_{A,B}\left(X\right)=AXB-X$ for all $X\in L\left(H\right)$. In this paper, we exhibit pairs $(A,B)$ of operators such that the range-kernel orthogonality of ${\delta }_{A,B}$ holds for the usual operator norm. We generalize some recent results. We also establish some theorems on the orthogonality of the range and the kernel of ${\Delta }_{A,B}$ with respect to the wider class of unitarily invariant...

CONTENTS1. Introduction...................................................................................................... 52. Notation and basic terminology........................................................................... 73. Definition and basic properties of the $L_{p,q}$ spaces................................. 114. Integral representation of bounded linear functionals on $L_{p,q}\left(B\right)$........ 235. Examples in $L_{p,q}$ theory...................................................................................

Let $\mathscr{H}$ be a complex Hilbert space, $A$ a positive operator with closed range in $ℬ\left(\mathscr{H}\right)$ and ${ℬ}_A\left(\mathscr{H}\right)$ the sub-algebra of $ℬ\left(\mathscr{H}\right)$ of all $A$-self-adjoint operators. Assume $\phi :{ℬ}_A\left(\mathscr{H}\right)$ onto itself is a linear continuous map. This paper shows that if $\phi$ preserves $A$-unitary operators such that $\phi \left(I\right)=P$ then $\psi$ defined by $\psi \left(T\right)=P\phi \left(PT\right)$ is a homomorphism or an anti-homomorphism and $\psi \left(T^{♯}\right)=\psi {\left(T\right)}^{♯}$ for all $T\in {ℬ}_A\left(\mathscr{H}\right)$, where $P=A^{+}A$ and $A^{+}$ is the Moore-Penrose inverse of $A$. A similar result is also true if $\phi$ preserves $A$-quasi-unitary operators in both directions such that there...

Let $f^j={\sum }_k{a}_{k}f(2^{j+1}x-2k)$, where the sum is taken over the lattice of all points k in ${ℝ}^n$ having integer-valued components, j∈ℕ and $a_k\in ℂ$. Let $A_{pq}^s$ be either $B_{pq}^s$ or $F_{pq}^s$ (s ∈ ℝ, 0 < p < ∞, 0 < q ≤ ∞) on ${ℝ}^n.$ The aim of the paper is to clarify under what conditions $\parallel f^j|A_{pq}^s\parallel$ is equivalent to $2^{j(s-n/p)}({\sum }_k|a_k{|}^p{)}^{1/p}\parallel f|A_{pq}^s\parallel$.

We take another approach to the well known theorem of Korovkin, in the following situation: X, Y are compact Hausdorff spaces, M is a unital subspace of the Banach space C(X) (respectively, $C_{ℝ}\left(X\right)$) of all complex-valued (resp., real-valued) continuous functions on X, S ⊂ M a complex (resp., real) function space on X, ϕₙ a sequence of unital linear contractions from M into C(Y) (resp., $C_{ℝ}\left(Y\right)$), and ${\varphi }_{\infty }$ a linear isometry from M into C(Y) (resp., $C_{ℝ}\left(Y\right)$). We show, under the assumption that ${\Pi }_N\subset {\Pi }_T$, where ${\Pi }_N$ is...

Let D and ∂D denote the open unit disk and the unit circle of the complex plane, respectively. We denote by ₙ (resp. ${ₙ}^c$) the set of all polynomials of degree at most n with real (resp. complex) coefficients. We define the truncation operators Sₙ for polynomials $Pₙ\in {ₙ}^c$ of the form $Pₙ\left(z\right):={\sum }_{j=0}^n{a}_j{z}_j$, $a_j\in C$, by $Sₙ\left(Pₙ\right)\left(z\right):={\sum }_{j=0}^{n}a{̃}_j{z}_j$, $a{̃}_j:=a_j\left|a_j\right|min|a_j|,1$ (here 0/0 is interpreted as 1). We define the norms of the truncation operators by $\parallel Sₙ{\parallel }_{\infty ,\partial D}^{real}:=su{p}_{Pₙ\in ₙ}(ma{x}_{z\in \partial D}\left|Sₙ\left(Pₙ\right)\left(z\right)\right|)/(ma{x}_{z\in \partial D}\left|Pₙ\left(z\right)\right|)$, $\parallel Sₙ{\parallel }_{\infty ,\partial D}^{comp}:=su{p}_{Pₙ\in {ₙ}^c}(ma{x}_{z\in \partial D}\left|Sₙ\left(Pₙ\right)\left(z\right)\right|)/(ma{x}_{z\in \partial D}\left|Pₙ\left(z\right)\right|$. Our main theorem establishes the right order of magnitude of the above norms: there is an absolute constant c₁...

We show that every operator from ${\ell }_s$ to ${\ell }_p\otimes ̂{\ell }_q$ is compact when 1 ≤ p,q < s and that every operator from ${\ell }_s$ to ${\ell }_p\widehat{\otimes ̂}{\ell }_q$ is compact when 1/p + 1/q > 1 + 1/s.

Let ${ℱ}_h^i(k,n)$ be the $i$-th ordered configuration space of all distinct points $H_1,...,H_h$ in the Grassmannian $Gr(k,n)$ of $k$-dimensional subspaces of ${ℂ}^n$, whose sum is a subspace of dimension $i$. We prove that ${ℱ}_h^i(k,n)$ is (when non empty) a complex submanifold of $Gr{(k,n)}^h$ of dimension $i(n-i)+hk(i-k)$ and its fundamental group is trivial if $i=min(n,hk)$, $hk\ne n$ and $n\&gt;2$ and equal to the braid group of the sphere $ℂ$ $P^1$ if $n=2$. Eventually we compute the fundamental group in the special case of hyperplane arrangements, i.e. $k=n-1$.

We show that any ${\Sigma }_s$-product of at most $𝔠$-many $L\Sigma (\le \omega )$-spaces has the $L\Sigma (\le \omega )$-property. This result generalizes some known results about $L\Sigma (\le \omega )$-spaces. On the other hand, we prove that every ${\Sigma }_s$-product of monotonically monolithic spaces is monotonically monolithic, and in a similar form, we show that every ${\Sigma }_s$-product of Collins-Roscoe spaces has the Collins-Roscoe property. These results generalize some known results about the Collins-Roscoe spaces and answer some questions due to Tkachuk [Lifting the Collins-Roscoe...

Let ${\mathrm{𝙴𝙼𝙱𝙴𝙳}}_{k\to d}$ be the following algorithmic problem: Given a finite simplicial complex $K$ of dimension at most $k$, does there exist a (piecewise linear) embedding of $K$ into ${ℝ}^d$? Known results easily imply polynomiality of ${\mathrm{𝙴𝙼𝙱𝙴𝙳}}_{k\to 2}$ ($k=1,2$; the case $k=1,d=2$ is graph planarity) and of ${\mathrm{𝙴𝙼𝙱𝙴𝙳}}_{k\to 2k}$ for all $k\ge 3$. We show that the celebrated result of Novikov on the algorithmic unsolvability of recognizing the 5-sphere implies that ${\mathrm{𝙴𝙼𝙱𝙴𝙳}}_{d\to d}$ and ${\mathrm{𝙴𝙼𝙱𝙴𝙳}}_{(d-1)\to d}$ are undecidable for each ${}_d\ge 5$. Our main result is NP-hardness of ${\mathrm{𝙴𝙼𝙱𝙴𝙳}}_{2\to 4}$ and, more generally, of ${\mathrm{𝙴𝙼𝙱𝙴𝙳}}_{k\to d}$ for all...