Let ${Rₙ}_{n=1}^{\infty }$ be a commuting approximating sequence of the Banach space X leaving the closed subspace A ⊂ X invariant. Then we prove three-space results of the following kind: If the operators Rₙ induce basis projections on X/A, and X or A is an ${ℒ}_p$-space, then both X and A have bases. We apply these results to show that the spaces $C_{\Lambda }=\overline{span}{z}^k:k\in \Lambda \subset C\left(\right)$ and $L_{\Lambda }=\overline{span}{z}^k:k\in \Lambda \subset L₁\left(\right)$ have bases whenever Λ ⊂ ℤ and ℤ∖Λ is a Sidon set.

We introduce the algebras satisfying the $(ℬ,n)$ condition. If $\Lambda$, $\Gamma$ are algebras satisfying the $(ℬ,n)$, $(ℰ,m)$ condition, respectively, we give a construction of $(m+n)$-almost split sequences in some subcategories ${(ℬ\otimes ℰ)}^{(i_0,j_0)}$ of $mod(\Lambda \otimes \Gamma )$ by tensor products and mapping cones. Moreover, we prove that the tensor product algebra $\Lambda \otimes \Gamma$ satisfies the $({(ℬ\otimes ℰ)}^{(i_0,j_0)},n+m)$ condition for some integers $i_0$, $j_0$; this construction unifies and extends the work of A. Pasquali (2017), (2019).

We give a classification of all linear natural operators transforming $p$-vectors (i.e., skew-symmetric tensor fields of type $(p,0)$) on $n$-dimensional manifolds $M$ to tensor fields of type $(q,0)$ on $T^{A}M$, where $T^A$ is a Weil bundle, under the condition that $p\ge 1$, $n\ge p$ and $n\ge q$. The main result of the paper states that, roughly speaking, each linear natural operator lifting $p$-vectors to tensor fields of type $(q,0)$ on $T^A$ is a sum of operators obtained by permuting the indices of the tensor products of linear natural...

Let $Q={\left(q_n\right)}_{n=1}^{\infty }$ be a sequence of bases with $q_i\ge 2$. In the case when the $q_i$ are slowly growing and satisfy some additional weak conditions, we provide a construction of a number whose $Q$-Cantor series expansion is both $Q$-normal and $Q$-distribution normal. Moreover, this construction will result in a computable number provided we have some additional conditions on the computability of $Q$, and from this construction we can provide computable constructions of numbers with atypical normality properties. ...

Let $\Theta :={\theta }_I^e:e\in E,I\in D$ be a decomposition system for $L₂\left({ℝ}^d\right)$ indexed over D, the set of dyadic cubes in ${ℝ}^d$, and a finite set E, and let $\Theta ̃:=\Theta {̃}_I^e:e\in E,I\in D$ be the corresponding dual functionals. That is, for every $f\in L₂\left({ℝ}^d\right)$, $f={\sum }_{e\in E}{\sum }_{I\in D}⟨f,\Theta {̃}_I^e⟩{\theta }_I^e$. We study sufficient conditions on Θ,Θ̃ so that they constitute a decomposition system for Triebel-Lizorkin and Besov spaces. Moreover, these conditions allow us to characterize the membership of a distribution f in these spaces by the size of the coefficients $⟨f,\Theta {̃}_I^e⟩$, e ∈ E, I ∈ D. Typical examples of such decomposition...

It is well known that if φ(t) ≡ t, then the system ${\phi ⁿ\left(t\right)}_{n=0}^{\infty }$ is not a Schauder basis in L₂[0,1]. It is natural to ask whether there is a function φ for which the power system ${\phi ⁿ\left(t\right)}_{n=0}^{\infty }$ is a basis in some Lebesgue space $L_p$. The aim of this short note is to show that the answer to this question is negative.

We give sufficient conditions implying that the projective tensor product of two Banach spaces $X$ and $Y$ has the $p$-sequentially Right and the $p$-$L$-limited properties, $1\le p<\infty$.

Let β ∈ (1,2) and x ∈ [0,1/(β-1)]. We call a sequence ${\left({ϵ}_i\right)}_{i=1}^{\infty }\in {0,1}^{\mathbb{N}}$ a β-expansion for x if $x={\sum }_{i=1}^{\infty }{ϵ}_i{\beta }^{-i}$. We call a finite sequence ${\left({ϵ}_i\right)}_{i=1}^n\in {0,1}^n$ an n-prefix for x if it can be extended to form a β-expansion of x. In this paper we study how good an approximation is provided by the set of n-prefixes. Given $\Psi :\mathbb{N}\to {ℝ}_{\ge 0}$, we introduce the following subset of ℝ: $W_{\beta }\left(\Psi \right):={\bigcap }_{m=1}^{\infty }{\bigcup }_{n=m}^{\infty }{\bigcup }_{{\left({ϵ}_i\right)}_{i=1}^n\in {0,1}^n}[{\sum }_{i=1}^n\left({ϵ}_i\right)/\left({\beta }^i\right),{\sum }_{i=1}^n\left({ϵ}_i\right)/\left({\beta }^i\right)+\Psi \left(n\right)]$In other words, $W_{\beta }\left(\Psi \right)$ is the set of x ∈ ℝ for which there exist infinitely many solutions to the inequalities $0\le x-{\sum }_{i=1}^n\left({ϵ}_i\right)/\left({\beta }^i\right)\le \Psi \left(n\right)$. When ${\sum }_{n=1}^{\infty }{2}^n\Psi \left(n\right)<\infty$, the Borel-Cantelli lemma tells us that the Lebesgue measure...

We study sums and products in a field. Let $F$ be a field with $\mathrm{ch}\left(F\right)\ne 2$, where $\mathrm{ch}\left(F\right)$ is the characteristic of $F$. For any integer $k\ge 4$, we show that any $x\in F$ can be written as $a_1+\cdots +a_k$ with $a_1,\cdots ,a_k\in F$ and $a_1\cdots a_k=1$, and that for any $\alpha \in F\setminus \left\{0\right\}$ we can write every $x\in F$ as $a_1\cdots a_k$ with $a_1,\cdots ,a_k\in F$ and $a_1+\cdots +a_k=\alpha$. We also prove that for any $x\in F$ and $k\in \{2,3,\cdots \}$ there are $a_1,\cdots ,a_{2k}\in F$ such that $a_1+\cdots +a_{2k}=x=a_1\cdots a_{2k}$.

Let $G$ be a finite group and $H$ a subgroup. Denote by $D(G;H)$ (or $D\left(G\right)$) the crossed product of $C\left(G\right)$ and $ℂH$ (or $ℂG$) with respect to the adjoint action of the latter on the former. Consider the algebra $\langle D\left(G\right),e\rangle$ generated by $D\left(G\right)$ and $e$, where we regard $E$ as an idempotent operator $e$ on $D\left(G\right)$ for a certain conditional expectation $E$ of $D\left(G\right)$ onto $D(G;H)$. Let us call $\langle D\left(G\right),e\rangle$ the basic construction from the conditional expectation $E:D\left(G\right)\to D(G;H)$. The paper constructs a crossed product algebra $C(G/H\times G)⋊ℂG$, and proves that there is an algebra isomorphism between...

It is shown that there is a subspace $Z_q$ of ${\ell }_q$ for $1<q<2$ which is isomorphic to ${\ell }_q$ such that ${\ell }_q/Z_q$ does not have the approximation property. On the other hand, for $2<p<\infty$ there is a subspace $Y_p$ of ${\ell }_p$ such that $Y_p$ does not have the approximation property (AP) but the quotient space ${\ell }_p/Y_p$ is isomorphic to ${\ell }_p$. The result is obtained by defining random “Enflo-Davie spaces” $Y_p$ which with full probability fail AP for all $2<p\le \infty$ and have AP for all $1\le p\le 2$. For $1<p\le 2$, $Y_p$ are isomorphic to ${\ell }_p$.

Let $G$ be a group generated by a set of finite order elements. We prove that any bicrossed product $H_{m,d}\left(q\right)\bowtie k\left[G\right]$ between the generalized Taft algebra $H_{m,d}\left(q\right)$ and group algebra $k\left[G\right]$ is actually the smash product $H_{m,d}\left(q\right)♯k\left[G\right]$. Then we show that the classification of these smash products could be reduced to the description of the group automorphisms of $G$. As an application, the classification of $H_{m,d}\left(q\right)\bowtie k[C_{n_1}\times C_{n_2}]$ is completely presented by generators and relations, where $C_n$ denotes the $n$-cyclic group.

Let ${}_s$ be the family of open rectangles in the plane ℝ² with a side of angle s to the x-axis. We say that a set S of directions is an R-set if there exists a function f ∈ L¹(ℝ²) such that the basis ${}_s$ differentiates the integral of f if s ∉ S, and $D{̅}_{s}f\left(x\right)=limsu{p}_{diam\left(R\right)\to 0,x\in R{\in }_s}{\left|R\right|}^{-1}{\int }_{R}f=\infty$ almost everywhere if s ∈ S. If the condition $D{̅}_{s}f\left(x\right)=\infty$ holds on a set of positive measure (instead of a.e.) we say that S is a WR-set. It is proved that S is an R-set (resp. a WR-set) if and only if it is a $G_{\delta }$ (resp. a $G_{\delta \sigma }$).