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

In many recent articles, medians have been used as a replacement of integral averages when the function fails to be locally integrable. A point $x$ in a metric measure space $(X,d,\mu )$ is called a generalized Lebesgue point of a measurable function $f$ if the medians of $f$ over the balls $B(x,r)$ converge to $f\left(x\right)$ when $r$ converges to $0$. We know that almost every point of a measurable, almost everywhere finite function is a generalized Lebesgue point and the same is true for every point of a continuous function....

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

In this paper we prove the following theorems in incidence geometry. 1. There is $\delta >0$ such that for any $P_1,\cdots ,P_4$, and $Q_1,\cdots ,Q_n\in {ℂ}^2$, if there are $\le n^{(1+\delta )/2}$ many distinct lines between $P_i$ and $Q_j$ for all $i$, $j$, then $P_1,\cdots ,P_4$ are collinear. If the number of the distinct lines is $<c{n}^{1/2}$ then the cross ratio of the four points is algebraic. 2. Given $c>0$, there is $\delta >0$ such that for any $P_1,P_2,P_3\in {ℂ}^2$ noncollinear, and $Q_1,\cdots ,Q_n\in {ℂ}^2$, if there are $\le c{n}^{1/2}$ many distinct lines between $P_i$ and $Q_j$ for all $i$, $j$, then for any $P\in {ℂ}^2\setminus \{P_1,P_2,P_3\}$, we have $\delta n$ distinct lines between $P$ and $Q_j$. 3. Given...

A famous theorem of Carleson says that, given any function $f\in L^p\left(𝕋\right)$, $p\in (1,+\infty )$, its Fourier series $\left(S_{n}f\left(x\right)\right)$ converges for almost every $x\in 𝕋$. Beside this property, the series may diverge at some point, without exceeding $O\left(n^{1/p}\right)$. We define the divergence index at $x$ as the infimum of the positive real numbers $\beta$ such that $S_{n}f\left(x\right)=O\left(n^{\beta }\right)$ and we are interested in the size of the exceptional sets $E_{\beta }$, namely the sets of $x\in 𝕋$ with divergence index equal to $\beta$. We show that quasi-all functions in $L^p\left(𝕋\right)$ have a multifractal behavior with respect to...

Let $\Omega$ be a bounded domain of class $C^2$ in $ℝ$N and let $K$ be a compact subset of $\partial \Omega$. Assume that $q\ge (N+1)/\left(N-1\right)$ and denote by $U_K$ the maximal solution of $-\Delta u+u^q=0$ in $\Omega$ which vanishes on $\partial \Omega \setminus K$. We obtain sharp upper and lower estimates for $U_K$ in terms of the Bessel capacity $C_{2/q,q^{\text{'}}}$ and prove that $U_K$ is $\sigma$-moderate. In addition we describe the precise asymptotic behavior of $U_K$ at points $\sigma \in K$, which depends on the “density” of $K$ at $\sigma$, measured in terms of the capacity $C_{2/q,q^{\text{'}}}$.

A space $X$ is said to have the Rothberger property (or simply $X$ is Rothberger) if for every sequence $\langle {𝒰}_n:n\in \omega \rangle$ of open covers of $X$, there exists $U_n\in {𝒰}_n$ for each $n\in \omega$ such that $X={\bigcup }_{n\in \omega }{U}_n$. For any $n\in \omega$, necessary and sufficient conditions are obtained for $C_p{(\Psi \left(𝒜\right),2)}^n$ to have the Rothberger property when $𝒜$ is a Mrówka mad family and, assuming CH (the Continuum Hypothesis), we prove the existence of a maximal almost disjoint family $𝒜$ for which the space $C_p{(\Psi \left(𝒜\right),2)}^n$ is Rothberger for all $n\in \omega$.

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