A Banach space $X$ has Pełczyński’s property (V) if for every Banach space $Y$ every unconditionally converging operator $T:X\to Y$ is weakly compact. H. Pfitzner proved that $C^{*}$-algebras have Pełczyński’s property (V). In the preprint (Krulišová, (2015)) the author explores possible quantifications of the property (V) and shows that $C\left(K\right)$ spaces for a compact Hausdorff space $K$ enjoy a quantitative version of the property (V). In this paper we generalize this result by quantifying Pfitzner’s theorem. Moreover,...

Let G be a locally compact group. We use the canonical operator space structure on the spaces $L^p\left(G\right)$ for p ∈ [1,∞] introduced by G. Pisier to define operator space analogues $O{A}_p\left(G\right)$ of the classical Figà-Talamanca-Herz algebras $A_p\left(G\right)$. If p ∈ (1,∞) is arbitrary, then $A_p\left(G\right)\subset O{A}_p\left(G\right)$ and the inclusion is a contraction; if p = 2, then OA₂(G) ≅ A(G) as Banach spaces, but not necessarily as operator spaces. We show that $O{A}_p\left(G\right)$ is a completely contractive Banach algebra for each p ∈ (1,∞), and that $O{A}_q\left(G\right)\subset O{A}_p\left(G\right)$ completely contractively...

We consider real Banach spaces X for which the quotient algebra (X)/ℐn(X) is finite-dimensional, where ℐn(X) stands for the ideal of inessential operators on X. We show that these spaces admit a decomposition as a finite direct sum of indecomposable subspaces $X_i$ for which $\left(X_i\right)/ℐn\left(X_i\right)$ is isomorphic as a real algebra to either the real numbers ℝ, the complex numbers ℂ, or the quaternion numbers ℍ. Moreover, the set of subspaces $X_i$ can be divided into subsets in such a way that if $X_i$ and $X_j$ are in different...

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

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.

Let 1 ≤ p < ∞, $={\left(Xₙ\right)}_{n\in \mathbb{N}}$ be a sequence of Banach spaces and $l_p\left(\right)$ the coresponding vector valued sequence space. Let $={\left(Xₙ\right)}_{n\in \mathbb{N}}$, $={\left(Yₙ\right)}_{n\in \mathbb{N}}$ be two sequences of Banach spaces, $={\left(Vₙ\right)}_{n\in \mathbb{N}}$, Vₙ: Xₙ → Yₙ, a sequence of bounded linear operators and 1 ≤ p,q < ∞. We define the multiplication operator $M_{}:l_p\left(\right)\to l_q\left(\right)$ by $M_{}\left({\left(xₙ\right)}_{n\in \mathbb{N}}\right):={\left(Vₙ\left(xₙ\right)\right)}_{n\in \mathbb{N}}$. We give necessary and sufficient conditions for $M_{}$ to be 2-summing when (p,q) is one of the couples (1,2), (2,1), (2,2), (1,1), (p,1), (p,2), (2,p), (1,p), (p,q); in the last case 1 < p < 2, 1 < q < ∞. ...

For the integral equation (1) below we prove the existence on an interval $J=[0,a]$ of a solution $x$ with values in a Banach space $E$, belonging to the class $L^p(J,E)$, $p>1$. Further, the set of solutions is shown to be a compact one in the sense of Aronszajn.

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.

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

By using the concepts of limited $p$-converging operators between two Banach spaces $X$ and $Y$, $L_p$-sets and $L_p$-limited sets in Banach spaces, we obtain some characterizations of these concepts relative to some well-known geometric properties of Banach spaces, such as $*$-Dunford–Pettis property of order $p$ and Pelczyński’s property of order $p$, $1\le p<\infty$.

Let $A\left(X\right)$ denote a subalgebra of $C\left(X\right)$ which is closed under local bounded inversion, briefly, an $LBI$-subalgebra. These subalgebras were first introduced and studied in Redlin L., Watson S., Structure spaces for rings of continuous functions with applications to realcompactifications, Fund. Math. 152 (1997), 151–163. By characterizing maximal ideals of $A\left(X\right)$, we generalize the notion of $z_A^{\beta }$-ideals, which was first introduced in Acharyya S.K., De D., An interesting class of ideals in subalgebras of $C\left(X\right)$...

Let $G$ be a simple algebraic group over an algebraically closed field $𝕜$ of characteristic 0, and $𝔤=LieG$. Let $(e,h,f)$ be an $𝔰{𝔩}_2$-triple in $𝔤$ with $e$ being a long root vector in $𝔤$. Let $(·,·)$ be the $G$-invariant bilinear form on $𝔤$ with $(e,f)=1$ and let $\chi \in {𝔤}^{*}$ be such that $\chi \left(x\right)=(e,x)$ for all $x\in 𝔤$. Let $𝒮$ be the Slodowy slice at $e$ through the adjoint orbit of $e$ and let $H$ be the enveloping algebra of $𝒮$; see [31]. In this article we give an explicit presentation of $H$ by generators and relations. As a consequence we deduce that $H$ contains...

Let $R$ be a commutative ring with nonzero identity, let $ℐ\left(ℛ\right)$ be the set of all ideals of $R$ and $\delta :ℐ\left(ℛ\right)\to ℐ\left(ℛ\right)$ an expansion of ideals of $R$ defined by $I\mapsto \delta \left(I\right)$. We introduce the concept of $(\delta ,2)$-primary ideals in commutative rings. A proper ideal $I$ of $R$ is called a $(\delta ,2)$-primary ideal if whenever $a,b\in R$ and $ab\in I$, then $a^2\in I$ or $b^2\in \delta \left(I\right)$. Our purpose is to extend the concept of $2$-ideals to $(\delta ,2)$-primary ideals of commutative rings. Then we investigate the basic properties of $(\delta ,2)$-primary ideals and also discuss the relations among $(\delta ,2)$-primary, $\delta$-primary...

It is known that $ℬ\left({\ell }^p\right)$ is not amenable for p = 1,2,∞, but whether or not $ℬ\left({\ell }^p\right)$ is amenable for p ∈ (1,∞) ∖ 2 is an open problem. We show that, if $ℬ\left({\ell }^p\right)$ is amenable for p ∈ (1,∞), then so are ${\ell }^{\infty }\left(ℬ\left({\ell }^p\right)\right)$ and ${\ell }^{\infty }\left(\left({\ell }^p\right)\right)$. Moreover, if ${\ell }^{\infty }\left(\left({\ell }^p\right)\right)$ is amenable so is ${\ell }^{\infty }(,\left(E\right))$ for any index set and for any infinite-dimensional ${ℒ}^p$-space E; in particular, if ${\ell }^{\infty }\left(\left({\ell }^p\right)\right)$ is amenable for p ∈ (1,∞), then so is ${\ell }^{\infty }\left(\left({\ell }^p\oplus \ell ²\right)\right)$. We show that ${\ell }^{\infty }\left(\left({\ell }^p\oplus \ell ²\right)\right)$ is not amenable for p = 1,∞, but also that our methods fail us if p ∈ (1,∞). Finally, for p ∈ (1,2) and a free ultrafilter over...

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

A nonzero $R$-module $M$ is atomic if for each two nonzero elements $a,b$ in $M$, both cyclic submodules $Ra$ and $Rb$ have nonzero isomorphic submodules. In this article it is shown that for an infinite $P$-space $X$, the factor rings $C(X,\mathbb{Z})/C_F(X,\mathbb{Z})$ and $C_c\left(X\right)/C_F\left(X\right)$ have no atomic ideals. This fact generalizes a result published in paper by A. Mozaffarikhah, E. Momtahan, A. R. Olfati and S. Safaeeyan (2020), which says that for an infinite set $X$, the factor ring ${\mathbb{Z}}^X/{\mathbb{Z}}^{\left(X\right)}$ has no atomic ideal. Another result is that for each infinite...

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.

Given a locale $L$ and a join semilattice $J$ with bottom element $0_J$, a new concept $(\sigma ,J)$ called $L$-slice is defined,where $\sigma$ is as an action of the locale $L$ on the join semilattice $J$. The $L$-slice $(\sigma ,J)$ adopts topological properties of the locale $L$ through the action $\sigma$. It is shown that for each $a\in L$, ${\sigma }_a$ is an interior operator on $(\sigma ,J)$.The collection $M=\{{\sigma }_a;a\in L\}$ is a Priestly space and a subslice of $L$-$Hom(J,J)$. If the locale $L$ is spatial we establish an isomorphism between the $L$-slices $(\sigma ,L)$ and $(\delta ,M)$. We have shown that the fixed...

Let $𝒳$ be a Banach space of dimension $n>1$ and $𝔄\subset ℬ\left(𝒳\right)$ be a standard operator algebra. In the present paper it is shown that if a mapping $d:𝔄\to 𝔄$ (not necessarily linear) satisfies $$d\left(\right[[U,V],W\left]\right)=\left[\right[d\left(U\right),V],W]+\left[\right[U,d\left(V\right)],W]+\left[\right[U,V],d(W\left)\right]$$ for all $U,V,W\in 𝔄$, then $d=\psi +\tau$, where $\psi$ is an additive derivation of $𝔄$ and $\tau :𝔄\to 𝔽I$ vanishes at second commutator $\left[\right[U,V],W]$ for all $U,V,W\in 𝔄$. Moreover, if $d$ is linear and satisfies the above relation, then there exists an operator $S\in 𝔄$ and a linear mapping $\tau$ from $𝔄$ into $𝔽I$ satisfying $\tau \left(\right[[U,V],W\left]\right)=0$ for all $U,V,W\in 𝔄$, such that $d\left(U\right)=SU-US+\tau \left(U\right)$ for all $U\in 𝔄$.

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.

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

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