Let $(M,d)$ be a bounded countable metric space and $c>0$ a constant, such that $d(x,y)+d(y,z)-d(x,z)\ge c$, for any pairwise distinct points $x,y,z$ of $M$. For such metric spaces we prove that they can be isometrically embedded into any Banach space containing an isomorphic copy of ${\ell }_{\infty }$.

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 $𝕍$ be a separable real Hilbert space, $k\in \mathbb{N}$ with $k<dim𝕍$, and let $B$ be convex and closed in $𝕍$. Let $𝒫$ be a collection of linear $k$-subspaces of $𝕍$. A point $w\in B$ is called exposed by $𝒫$ if there is a $P\in 𝒫$ so that $(w+P)\cap B=\left\{w\right\}$. We show that, under some natural conditions, $B$ can be reconstituted as the convex hull of the closure of all its exposed by $𝒫$ points whenever $𝒫$ is dense and $G_{\delta }$. In addition, we discuss the question when the set of exposed by some $𝒫$ points forms a $G_{\delta }$-set.

In every infinite-dimensional Fréchet space X, we construct a linear subspace E such that E is an $F_{\sigma \delta \sigma }$-subset of X and contains a retract R so that $R\times E^{\omega }$ is not homeomorphic to $E^{\omega }$. This shows that Toruńczyk’s Factor Theorem fails in the Borel case.

For a linear operator T in a Banach space let ${\sigma }_p\left(T\right)$ denote the point spectrum of T, let ${\sigma }_{p,n}\left(T\right)$ for finite n > 0 be the set of all $\lambda \in {\sigma }_p\left(T\right)$ such that dim ker(T - λ) = n and let ${\sigma }_{p,\infty }\left(T\right)$ be the set of all $\lambda \in {\sigma }_p\left(T\right)$ for which ker(T - λ) is infinite-dimensional. It is shown that ${\sigma }_p\left(T\right)$ is ${ℱ}_{\sigma }$, ${\sigma }_{p,\infty }\left(T\right)$ is ${ℱ}_{\sigma \delta }$ and for each finite n the set ${\sigma }_{p,n}\left(T\right)$ is the intersection of an ${ℱ}_{\sigma }$ set and a ${}_{\delta }$ set provided T is closable and the domain of T is separable and weakly σ-compact. For closed densely defined operators in a separable Hilbert space a more...

Erdős space is the “rational” Hilbert space, that is, the set of vectors in ℓ² with all coordinates rational. Erdős proved that is one-dimensional and homeomorphic to its own square × , which makes it an important example in dimension theory. Dijkstra and van Mill found topological characterizations of . Let $M{ₙ}^{n+1}$, n ∈ ℕ, be the n-dimensional Menger continuum in ${ℝ}^{n+1}$, also known as the n-dimensional Sierpiński carpet, and let D be a countable dense subset of $M{ₙ}^{n+1}$. We consider the topological group...

Let $F$ be a closed subset of ${ℝ}^n$ and let $P\left(x\right)$ denote the metric projection (closest point mapping) of $x\in {ℝ}^n$ onto $F$ in $l^p$-norm. A classical result of Asplund states that $P$ is (Fréchet) differentiable almost everywhere (a.e.) in ${ℝ}^n$ in the Euclidean case $p=2$. We consider the case $2<p<\infty$ and prove that the $i$th component $P_i\left(x\right)$ of $P\left(x\right)$ is differentiable a.e. if $P_i\left(x\right)\ne x_i$ and satisfies Hölder condition of order $1/(p-1)$ if $P_i\left(x\right)=x_i$.

For each ordinal 1 ≤ α < ω₁ we present separable metrizable spaces $X_{\alpha }$, $Y_{\alpha }$ and $Z_{\alpha }$ such that (i) $f{X}_{\alpha },f{Y}_{\alpha },f{Z}_{\alpha }=\omega ₀$, where f is either trdef or ₀-trsur, (ii) $A\left(\alpha \right)-trind{X}_{\alpha }=\infty$ and $M\left(\alpha \right)-trind{X}_{\alpha }=-1$, (iii) $A\left(\alpha \right)-trind{Y}_{\alpha }=-1$ and $M\left(\alpha \right)-trind{Y}_{\alpha }=\infty$, and (iv) $A\left(\alpha \right)-trind{Z}_{\alpha }=M\left(\alpha \right)-trind{Z}_{\alpha }=\infty$ and $A(\alpha +1)\cap M(\alpha +1)-trind{Z}_{\alpha }=-1$. We also show that there exists no separable metrizable space $W_{\alpha }$ with $A\left(\alpha \right)-trind{W}_{\alpha }\ne \infty$, $M\left(\alpha \right)-trind{W}_{\alpha }\ne \infty$ and $A\left(\alpha \right)\cap M\left(\alpha \right)-trind{W}_{\alpha }=\infty$, where A(α) (resp. M(α)) is the absolutely additive (resp. multiplicative) Borel class.

Let $A$ be a bounded linear operator in a complex separable Hilbert space $\mathscr{H}$, and $S$ be a selfadjoint operator in $\mathscr{H}$. Assuming that $A-S$ belongs to the Schatten-von Neumann ideal ${𝒮}_p$ $(p>1),$ we derive a bound for ${\sum }_k{|\mathrm{R}{\lambda }_k\left(A\right)-{\lambda }_k\left(S\right)|}^p$, where ${\lambda }_k\left(A\right)$ $(k=1,2,\cdots )$ are the eigenvalues of $A$. Our results are formulated in terms of the “extended” eigenvalue sets in the sense introduced by T. Kato. In addition, in the case $p=2$ we refine the Weyl inequality between the real parts of the eigenvalues of $A$ and the eigenvalues...

Given a topological space ⟨X,⟩ ∈ M, an elementary submodel of set theory, we define $X_M$ to be X ∩ M with topology generated by $U\cap M:U\in \cap M$. Suppose $X_M$ is homeomorphic to the irrationals; must $X=X_M$? We have partial results. We also answer a question of Gruenhage by showing that if $X_M$ is homeomorphic to the “Long Cantor Set”, then $X=X_M$.

We study some generalized metric properties on the hyperspace $ℱ\left(X\right)$ of finite subsets of a space $X$ endowed with the Vietoris topology. We prove that $X$ has a point-star network consisting of (countable) $wcs$-covers if and only if so does $ℱ\left(X\right)$. Moreover, $X$ has a sequence of $wcs$-covers with property $\left(P\right)$ which is a point-star network if and only if so does $ℱ\left(X\right)$, where $\left(P\right)$ is one of the following properties: point-finite, point-countable, compact-finite, compact-countable, locally finite, locally countable....

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...

We study extension operators between spaces of continuous functions on the spaces $\sigma ₙ\left(2^X\right)$ of subsets of X of cardinality at most n. As an application, we show that if $B_H$ is the unit ball of a nonseparable Hilbert space H equipped with the weak topology, then, for any 0 < λ < μ, there is no extension operator $T:C\left(\lambda B_H\right)\to C\left(\mu B_H\right)$.

The author proved in 2018 that if $G$ is an open subset of a Hilbert space, $f_1,f_2:G\to ℝ$ continuous functions and $\omega$ a nontrivial modulus such that $f_1\le f_2$, $f_1$ is locally semiconvex with modulus $\omega$ and $f_2$ is locally semiconcave with modulus $\omega$, then there exists $f\in C_{\text{loc}}^{1,\omega }\left(G\right)$ such that $f_1\le f\le f_2$. This is a generalization of Ilmanen’s lemma (which deals with linear modulus and functions on an open subset of ${ℝ}^n$). Here we extend the mentioned result from Hilbert spaces to some superreflexive spaces, in particular to $L^p$ spaces, $p\in [2,\infty )$. We...

Given a Banach space X, for n ∈ ℕ and p ∈ (1,∞) we investigate the smallest constant ∈ (0,∞) for which every n-tuple of functions f₁,...,fₙ: -1,1ⁿ → X satisfies ${\int }_{-1,1ⁿ}\left|\right|{\sum }_{j=1}^n{\partial }_j{f}_j{\left(\epsilon \right)\left|\right|}^{p}d\mu \left(\epsilon \right){\le }^p{\int }_{-1,1ⁿ}{\int }_{-1,1ⁿ}\left|\right|{\sum }_{j=1}^n{\delta }_j\Delta f_j\left(\epsilon \right){\left|\right|}^{p}d\mu \left(\epsilon \right)d\mu \left(\delta \right)$, where μ is the uniform probability measure on the discrete hypercube -1,1ⁿ, and ${{\partial }_j}_{j=1}^n$ and $\Delta ={\sum }_{j=1}^n{\partial }_j$ are the hypercube partial derivatives and the hypercube Laplacian, respectively. Denoting this constant by ${ⁿ}_p\left(X\right)$, we show that ${ⁿ}_p\left(X\right)\le {\sum }_{k=1}^{n}1/k$ for every Banach space (X,||·||). This extends the classical Pisier inequality, which corresponds to the special...