We introduce the notion of a strongly Whyburn space, and show that a space $X$ is strongly Whyburn if and only if $X\times (\omega +1)$ is Whyburn. We also show that if $X\times Y$ is Whyburn for any Whyburn space $Y$, then $X$ is discrete.

We prove that on ${ℝ}^N$, there is no n-supercyclic operator with 1 ≤ n < ⌊(N + 1)/2⌋, i.e. if ${ℝ}^N$ has an n-dimensional subspace whose orbit under $T\in \left({ℝ}^N\right)$ is dense in ${ℝ}^N$, then n is greater than ⌊(N + 1)/2⌋. Moreover, this value is optimal. We then consider the case of strongly n-supercyclic operators. An operator $T\in \left({ℝ}^N\right)$ is strongly n-supercyclic if ${ℝ}^N$ has an n-dimensional subspace whose orbit under T is dense in $\mathbb{P}ₙ\left({ℝ}^N\right)$, the nth Grassmannian. We prove that strong n-supercyclicity does not occur non-trivially...

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

For Banach spaces $X$ and $Y$, let $K_{w^{*}}(X^{*},Y)$ denote the space of all $w^{*}-w$ continuous compact operators from $X^{*}$ to $Y$ endowed with the operator norm. A Banach space $X$ has the $wGP$ property if every Grothendieck subset of $X$ is relatively weakly compact. In this paper we study Banach spaces with property $wGP$. We investigate whether the spaces $K_{w^{*}}(X^{*},Y)$ and $X{\otimes }_{ϵ}Y$ have the $wGP$ property, when $X$ and $Y$ have the $wGP$ property.

Denote by spanf₁,f₂,... the collection of all finite linear combinations of the functions f₁,f₂,... over ℝ. The principal result of the paper is the following. Theorem (Full Clarkson-Erdős-Schwartz Theorem). Suppose ${\left({\lambda }_j\right)}_{j=1}^{\infty }$ is a sequence of distinct positive numbers. Then $span1,x^{\lambda ₁},x^{\lambda ₂},...$ is dense in C[0,1] if and only if ${\sum }_{j=1}^{\infty }\left({\lambda }_j\right)/({\lambda }_j²+1)=\infty$. Moreover, if ${\sum }_{j=1}^{\infty }\left({\lambda }_j\right)/({\lambda }_j²+1)<\infty$, then every function from the C[0,1] closure of $span1,x^{\lambda ₁},x^{\lambda ₂},...$ can be represented as an analytic function on z ∈ ℂ ∖ (-∞, 0]: |z| < 1 restricted to (0,1). This result improves an...

Suppose $A$ is a separable unital $𝒞\left(X\right)$-algebra each fibre of which is isomorphic to the same strongly self-absorbing and $K_1$-injective $C^{*}$-algebra $𝒟$. We show that $A$ and $𝒞\left(X\right)\otimes 𝒟$ are isomorphic as $𝒞\left(X\right)$-algebras provided the compact Hausdorff space $X$ is finite-dimensional. This statement is known not to extend to the infinite-dimensional case.

This paper is concerned with the isomorphic structure of the Banach space ${\ell }_{\infty }/c₀$ and how it depends on combinatorial tools whose existence is consistent with but not provable from the usual axioms of ZFC. Our main global result is that it is consistent that ${\ell }_{\infty }/c₀$ does not have an orthogonal ${\ell }_{\infty }$-decomposition, that is, it is not of the form ${\ell }_{\infty }\left(X\right)$ for any Banach space X. The main local result is that it is consistent that ${\ell }_{\infty }\left(c₀\left(\right)\right)$ does not embed isomorphically into ${\ell }_{\infty }/c₀$, where is the cardinality of the continuum,...

The aim of this paper is to establish an existence and uniqueness result for a class of the set functional differential equations of neutral type$$\left\{\begin{array}{c}{D}_{H}X\left(t\right)=F(t,X_t,D_H{X}_t),\hfill \\ {X|}_{[-r,0]}=\Psi ,\hfill \end{array}\right.$$ where $F:[0,b]\times {𝒞}_0\times {𝔏}_0^1\to K_c\left(E\right)$ is a given function, $K_c\left(E\right)$ is the family of all nonempty compact and convex subsets of a separable Banach space $E$, ${𝒞}_0$ denotes the space of all continuous set-valued functions $X$ from $[-r,0]$ into $K_c\left(E\right)$, ${𝔏}_0^1$ is the space of all integrally bounded set-valued functions $X:[-r,0]\to K_c\left(E\right)$, $\Psi \in {𝒞}_0$ and $D_H$ is the Hukuhara derivative. The continuous dependence of solutions on initial...

The aim of this paper is to show that for every Banach space $(X,\parallel ·\parallel )$ containing asymptotically isometric copy of the space $c_0$ there is a bounded, closed and convex set $C\subset X$ with the Chebyshev radius $r\left(C\right)=1$ such that for every $k\ge 1$ there exists a $k$-contractive mapping $T:C\to C$ with $\parallel x-Tx\parallel >1-1/k$ for any $x\in C$.

In this paper, we define the direct sum ${\left({⨁}_{i=1}^n{X}_i\right)}_{ce{s}_p}$ of Banach spaces X₁,X₂,..., and Xₙ and consider it equipped with the Cesàro p-norm when 1 ≤ p < ∞. We show that ${\left({⨁}_{i=1}^n{X}_i\right)}_{ce{s}_p}$ has the H-property if and only if each $X_i$ has the H-property, and ${\left({⨁}_{i=1}^n{X}_i\right)}_{ce{s}_p}$ has the Schur property if and only if each $X_i$ has the Schur property. Moreover, we also show that ${\left({⨁}_{i=1}^n{X}_i\right)}_{ce{s}_p}$ is rotund if and only if each $X_i$ is rotund.

A subset of a product of topological spaces is called $n$-thin if every its two distinct points differ in at least $n$ coordinates. We generalize a construction of Gruenhage, Natkaniec, and Piotrowski, and obtain, under CH, a countable $T_3$ space $X$ without isolated points such that $X^n$ contains an $n$-thin dense subset, but $X^{n+1}$ does not contain any $n$-thin dense subset. We also observe that part of the construction can be carried out under MA.

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

The first author has recently proved that if f: X → Y is a k-dimensional map between compacta and Y is p-dimensional (0 ≤ k, p < ∞), then for each 0 ≤ i ≤ p + k, the set of maps g in the space $C(X,I^{p+2k+1-i})$ such that the diagonal product $f\times g:X\to Y\times I^{p+2k+1-i}$ is an (i+1)-to-1 map is a dense $G_{\delta }$-subset of $C(X,I^{p+2k+1-i})$. In this paper, we prove that if f: X → Y is as above and $D_j$ (j = 1,..., k) are superdendrites, then the set of maps h in $C(X,{\prod }_{j=1}^k{D}_j\times I^{p+1-i})$ such that $f\times h:X\to Y\times \left({\prod }_{j=1}^k{D}_j\times I^{p+1-i}\right)$ is (i+1)-to-1 is a dense $G_{\delta }$-subset of $C(X,{\prod }_{j=1}^k{D}_j\times I^{p+1-i})$ for each 0 ≤ i ≤ p.

For a sequence x ∈ ℓ₁∖c₀₀, one can consider the set E(x) of all subsums of the series ${\sum }_{n=1}^{\infty }x\left(n\right)$. Guthrie and Nymann proved that E(x) is one of the following types of sets: () a finite union of closed intervals; () homeomorphic to the Cantor set; homeomorphic to the set T of subsums of ${\sum }_{n=1}^{\infty }b\left(n\right)$ where b(2n-1) = 3/4ⁿ and b(2n) = 2/4ⁿ. Denote by ℐ, and the sets of all sequences x ∈ ℓ₁∖c₀₀ such that E(x) has the property (ℐ), () and ( ), respectively. We show that ℐ and are strongly -algebrable and is -lineable....

Let $W$ be the subspace of ${\mathbb{N}}^{*}$ consisting of all weak $P$-points. It is not hard to see that $W$ is a pseudocompact space. In this paper we shall prove that this space has stronger pseudocompact properties. Indeed, it is shown that $W$ is a $p$-pseudocompact space for all $p\in {\mathbb{N}}^{*}$.

Let $D$ be a ${𝒞}^d$ $q$-convex intersection, $d\ge 2$, $0\le q\le n-1$, in a complex manifold $X$ of complex dimension $n$, $n\ge 2$, and let $E$ be a holomorphic vector bundle of rank $N$ over $X$. In this paper, ${𝒞}^k$-estimates, $k=2,3,\cdots ,\infty$, for solutions to the $\overline{\partial }$-equation with small loss of smoothness are obtained for $E$-valued $(0,s)$-forms on $D$ when $n-q\le s\le n$. In addition, we solve the $\overline{\partial }$-equation with a support condition in ${𝒞}^k$-spaces. More precisely, we prove that for a $\overline{\partial }$-closed form $f$ in ${𝒞}_{0,q}^k(X\setminus D,E)$, $1\le q\le n-2$, $n\ge 3$, with compact support and for $\epsilon$ with $0<\epsilon <1$ there...

In this note we shall prove that for a continuous function $\varphi :\Delta \to {ℝ}^n$, where $\Delta \subset ℝ$,  the paratingent of $\varphi$ at $a\in \Delta$ is a non-empty and compact set in ${ℝ}^n$ if and only if $\varphi$ satisfies Lipschitz condition in a neighbourhood of $a$. Moreover, in this case the paratingent is a connected set.

Let $X$ be a zero-dimensional space and $C_c\left(X\right)$ be the set of all continuous real valued functions on $X$ with countable image. In this article we denote by $C_c^K\left(X\right)$ (resp., $C_c^{\psi }\left(X\right))$ the set of all functions in $C_c\left(X\right)$ with compact (resp., pseudocompact) support. First, we observe that $C_c^K\left(X\right)=O_c^{{\beta }_{0}X\setminus X}$ (resp., $C_c^{\psi }\left(X\right)=M_c^{{\beta }_{0}X\setminus {\upsilon }_{0}X}$), where ${\beta }_{0}X$ is the Banaschewski compactification of $X$ and ${\upsilon }_{0}X$ is the $\mathbb{N}$-compactification of $X$. This implies that for an $\mathbb{N}$-compact space $X$, the intersection of all free maximal ideals in $C_c\left(X\right)$ is equal to $C_c^K\left(X\right)$, i.e., $M_c^{{\beta }_{0}X\setminus X}=C_c^K\left(X\right)$. By applying...

We prove that if $X$ is a first countable space with property $\left(DC\left({\omega }_1\right)\right)$ and with a $G_{\delta }$-diagonal then the cardinality of $X$ is at most $𝔠$. We also show that if $X$ is a first countable, DCCC, normal space then the extent of $X$ is at most $𝔠$.

A vector $x$ is said to be an eigenvector of a square max-min matrix $A$ if $A\otimes x=x$. An eigenvector $x$ of $A$ is called the greatest $𝐗$-eigenvector of $A$ if $x\in 𝐗=\{x;\underline{x}\le x\le \overline{x}\}$ and $y\le x$ for each eigenvector $y\in 𝐗$. A max-min matrix $A$ is called strongly $𝐗$-robust if the orbit $x,A\otimes x,A^2\otimes x,\cdots$ reaches the greatest $𝐗$-eigenvector with any starting vector of $𝐗$. We suggest an $O\left(n^3\right)$ algorithm for computing the greatest $𝐗$-eigenvector of $A$ and study the strong $𝐗$-robustness. The necessary and sufficient conditions for strong $𝐗$-robustness are introduced...