Intereting Posts

Cosemisimple Hopf algebra and Krull-Schmidt
$e$ to 50 billion decimal places
Prove $2^b-1$ does not divide $2^a + 1$ for $a,b>2$
How many digits of $\pi$ are currently known?
Showing the polynomials form a Gröbner basis
How can I compare two matrices?
elementary set theory (cartesian product and symmetric difference proof)
A problem about periodic functions
Solve the Integral $\int \frac{dx}{\left(x-2\right)^3\sqrt{3x^2-8x+5}}$
Can we construct Sturm Liouville problems from an orthogonal basis of functions?
Is the sum and difference of two irrationals always irrational?
Mondrian Art Problem Upper Bound for defect
Determinant of a block lower triangular matrix
Find and sketch the image of the straight line $z = (1+ia)t+ib$ under the map $w=e^{z}$
Summation of series $\sum_{n=1}^\infty \frac{n^a}{b^n}$?

I was asked to decide if $ \ell^1\subset c_0$ is closed or not, where

$$\ell^1=\{(x_n)_{n\in\mathbb N}\subset\mathbb R:\sum_{n=0}^{\infty}|x_n|<\infty\}$$

$$c_0=\{ (x_n)_{n\in\mathbb N}\subset\mathbb R:\lim_{n\rightarrow\infty}x_n=0\}$$

In my opinion it is not closed so I want to prove my claim.

Here is what I did,

- A vector without minimum norm in a Banach space
- A uniform bound on $u_n$ in $L^\infty(0,T;L^\infty(\Omega))$
- Analytic Applications of Stone-Čech compactification
- Counterexample for the solvability of $-\Delta u = f$ for $f\in C^2$
- About Banach Spaces And Absolute Convergence Of Series
- Proof Complex positive definite => self-adjoint

In order to show my claim I will try to show that the complement of $\ell^1$ can not be open.

Consider the sequence $(\frac{1}{n})_{n\in\mathbb N}\in c_0$. Clearly $(\frac{1}{n})_{n\in\mathbb N}\notin\ell^1$ since $\sum_{n=0}^{\infty}\frac{1}{n}=\infty$.

and define $B_{\epsilon}(\frac{1}{n}):=\{(x_n)_{n\in\mathbb N}\in c_0:\sup_n|\frac{1}{n}-x_n|<\epsilon\}$ for an arbitrary $\epsilon>0$.

Now consider the sequence $(\frac{\delta}{n^2})_{n\in\mathbb N}\in \ell^1$ for some $\delta$ strictly smaller $\epsilon$ i.e $\delta<\epsilon$.

Then we have,

$$\sup_n|\frac{1}{n}-\frac{\delta}{n^2}|=\sup_n|\frac{n^2-\delta n}{n^3}|=\sup_n|\frac{n-\delta}{n^2}|=\delta<\epsilon $$

This implies that $(\frac{\delta}{n^2})_{n\in\mathbb N}\in B_{\epsilon}(\frac{1}{n})\bigcap\ell^1\neq\emptyset\quad\forall \epsilon>0$

What finally yields that the complement of $\ell^1$ is not open and so $\ell^1$ is not closed.

Could someone look over it and tell if it is correct or not? Thank you!

- How generalize the bicommutant theorem?
- Convergence of $\sqrt{x^n+y^n}$ (for $x, y > 0$)
- Need help unpacking definitions of $\limsup$, $\liminf$
- Infinite Sum of Sines With Increasing Period
- Suppose $\lim \limits_{n \to ∞} a_n=L$. Prove that $\lim\limits_{n \to ∞} \frac{a_1+a_2+\cdots+a_n}{n}=L$
- What is the reasoning behind why the ratio test works?
- Prove a certain property of linear functionals, using the Hahn-Banach-Separation theorems
- Weighted Poincare Inequality
- Spectral Measures: Reducibility
- Problem when integrating $e^x / x$.

$\ell^1$ contains the sequences with finite support (i.e. which vanish eventually), and the set of such sequences is dense in $c_0$. Thus the closure of $\ell^1$ in $c_0$ is $c_0$. As noted in the OP, $\ell^1\neq c_0$ hence $\ell^1$ cannot be closed in $c_0$.

- What is the difference between a variety and a manifold?
- Show that the ideal $ (2, 1 + \sqrt{-7} ) $ in $ \mathbb{Z} $ is not principal
- Could it be that Goldbach conjecture is undecidable?
- Rotating a rectangle
- Prove that $2^{2^{\sqrt3}}>10$
- A finite-dimensional vector space cannot be covered by finitely many proper subspaces?
- expectation of $\int_0^t W_s^2 dW_s $ (integral of square of brownian wrt to brownian)
- On $x^3+y^3=z^3$, the Dixonian elliptic functions, and the Borwein cubic theta functions
- $L$-function, easiest way to see the following sum?
- Multivariate Residue Theorem?
- Finding circle circumscribed in spherical triangle
- Quadratic congruence
- What is the Topology of point-wise convergence?
- $\mathbf{Q} 2]=\mathbf{Q} 2]$?
- Sum of two squares modulo p