5
votes
1answer
82 views

Is $(l^1 ,\|.\|)$ a Banach space?

Suppose $x=\{x_n\}\in l^1$ and $\|x\|=\sup|\sum_{k=1}^{n}x_k|$, let $\|x\|_1=\sum_{n=1}^{\infty}|x_n|$ is a norm for $l^1$ . Is $(l^1 ,\|.\|)$ a Banach space?
11
votes
1answer
79 views

Ideals of the algebra of all bounded linear operators on $\ell_p \oplus \ell_q$

Let $\mathcal{L}(X)$ be the algebra of all bounded linear operators from $X$ to $X$ for Banach space $X$. I need to show that $\mathcal{L}(\ell_p \oplus \ell_q)$ for $p \neq q$ contains at least two ...
2
votes
3answers
83 views

Completeness proof of $\ell^p$

Say $\{x_n\}$ is Cauchy in $\ell^p$ and $x$ is its pointwise limit. To argue that $x \in \ell^p$ would the following be correct: Let $\varepsilon > 0$ and let $N$ be s.t. $n,m > N$ ...
0
votes
2answers
77 views

How to compute the norm of this particular bounded linear functional?

On the Hilbert space $l^2$, let $f$ be the functional defined by $$f(x):= \sum_{j=1}^\infty \alpha_j \xi_j$$ for each $x:=(\xi_j)_{j=1}^\infty$ in $l^2$, where $a:= (\alpha_j)_{j=1}^\infty$ is a fixed ...
1
vote
0answers
158 views

Rademacher function and weak convergence

The function $r_{n}:[0,1]\rightarrow \{-1,1\}$ be defined by $r_{n}(t)=\operatorname{sgn}(\sin(2^{n}\pi t))$ is known as the $n$-th Rademacher function.a) Show that $r_{n}\xrightarrow{w}0$ in ...
1
vote
1answer
34 views

there is $M<\infty$ such that $\sum_{n} |\hat{f}(n)|\le M\int_{0}^{2\pi}|f(t)|dt$ for each $f\in X$

for $f\in L^1[0,2\pi]$ define $$\hat{f}(n)=\int_{0}^{2\pi} f(t)e^{-int} dt$$ for $n\in\mathbb{Z}$, $X$ is a closed linear subspace of $L^1[0,2\pi]$ such that $\sum_{n} |\hat{f}(n)|<\infty$ for each ...
3
votes
0answers
73 views

Weak $L^1$ as real interpolation space between $L^p$-spaces?

Let $\Omega$ be a measure space. We denote $L^{p,q}$ the usual Lorentz space. We use a real interpolation method $(\cdot,\cdot)_{\theta,q}$. Suppose $1\leqslant p,q\leqslant \infty$. I know that if ...
2
votes
1answer
78 views

Closed subspace of $L^1[0,1]$

The statement I need to prove is following. Let $S$ be a closed subspace of Lebesgue space $L^1[0,1].$ Assume that for every $f\in S$ there exists a number $p(f)>1$ such that $f\in L^{p(f)}[0,1].$ ...
2
votes
1answer
107 views

weak vs. norm compactness in $\ell_1$

So I'm trying to show that weakly compact sets in $\ell_1$ are norm-compact. I've already proven that weak sequential convergence implies norm convergence. I think the idea I want to go with is to ...
1
vote
1answer
96 views

prove a subset of squence space lp closed in strong topology

Let $l^p$ be the space of $p$-summable sequences. von Neumann constructed a subset of $l^p$ space $$S=\{X_{mn}: m,n≥1\}$$ where $X_{mn}\in l^p$ are defined by $X_{mn}(m)=1, X_{mn}(n)=m$ and ...
1
vote
1answer
67 views

Isometric embeddings of $\ell_q^m$ into $\ell_p$ and $L_p$ for $p,q\in[1,+\infty]$

I'm looking for articles describing (or proving nonexistence) of isometric embeddings of $m$-dimensional space $\ell_q^m$ into $L_p$ and $\ell_p$ for $q,p\in[1,+\infty]$. Since $\ell_q^m$ is finite ...
4
votes
1answer
361 views

How do you prove that $\ell_p$ is not isomorphic to $\ell_q$?

I guess that for all $1\le p,q<\infty $, such that $p\ne q$ , the spaces $\ell_p$ and $\ell_q$ are not isomorphic, but how do you prove this?
12
votes
1answer
510 views

If $1\leq p < \infty$ then show that $L^p([0,1])$ and $\ell_p$ are not topologically isomorphic

If $1\leq p < \infty$ then show that $L^p([0,1])$ and $\ell_p$ are not topologically isomorphic Maybe I would have to use the Rademachers.
11
votes
1answer
638 views

Strong and weak convergence in $\ell^1$

Let $\ell^1$ be the space of absolutely summable real or complex sequences. Let us say that a sequence $(x_1, x_2, \ldots)$ of vectors in $\ell^1$ converges weakly to $x \in \ell^1$ if for every ...