Is there a norm $N$ such that the unit ball is not compact ? even not closed?
Clash Royale CLAN TAG#URR8PPP
up vote
1
down vote
favorite
Is there a normed space $(E,|cdot |)$ such that the unit ball $$xin Emid $$ is not compact ? not closed ? I would say no, but it's a question of an exercise of mine (please not go in weak topology).
functional-analysis
add a comment |Â
up vote
1
down vote
favorite
Is there a normed space $(E,|cdot |)$ such that the unit ball $$xin Emid $$ is not compact ? not closed ? I would say no, but it's a question of an exercise of mine (please not go in weak topology).
functional-analysis
add a comment |Â
up vote
1
down vote
favorite
up vote
1
down vote
favorite
Is there a normed space $(E,|cdot |)$ such that the unit ball $$xin Emid $$ is not compact ? not closed ? I would say no, but it's a question of an exercise of mine (please not go in weak topology).
functional-analysis
Is there a normed space $(E,|cdot |)$ such that the unit ball $$xin Emid $$ is not compact ? not closed ? I would say no, but it's a question of an exercise of mine (please not go in weak topology).
functional-analysis
asked Jul 15 at 14:17
Peter
358112
358112
add a comment |Â
add a comment |Â
2 Answers
2
active
oldest
votes
up vote
2
down vote
The unit ball will always be closed: If $x$ is not in the unit ball because $|x|>1$, then the open ball of radius $|x|-1$ around $x$ is disjoint to the uint ball.
However, it is often not compact: Let $E$ be the space of bounded real sequences and $|x|=supx_n$. Then the open balls of radius $frac12$ around arbitrary centers cover the unit ball, but there is no finite subcover.
Thank you for your answer. I'm unfortunately not allowed to prove the second point. But What could be a sequence of the unit ball that is not bounded in $ell^infty $ ?
– Peter
Jul 15 at 14:27
add a comment |Â
up vote
2
down vote
As Hagen von Eitzen points out, the unit ball $leq 1$ is always closed, because the map $xmapsto|x|$ is continuous, and $[0,1]$ is a closed subset of $[0,infty)$.
But compactness is different. The unit ball is compact if and only if $E$ is finite-dimensional. This is a consequence of the Riesz Lemma, which can be used to inductively define a sequence in the unit sphere $x$, a closed subset of the unit ball, which has to convergent subsequence.
add a comment |Â
2 Answers
2
active
oldest
votes
2 Answers
2
active
oldest
votes
active
oldest
votes
active
oldest
votes
up vote
2
down vote
The unit ball will always be closed: If $x$ is not in the unit ball because $|x|>1$, then the open ball of radius $|x|-1$ around $x$ is disjoint to the uint ball.
However, it is often not compact: Let $E$ be the space of bounded real sequences and $|x|=supx_n$. Then the open balls of radius $frac12$ around arbitrary centers cover the unit ball, but there is no finite subcover.
Thank you for your answer. I'm unfortunately not allowed to prove the second point. But What could be a sequence of the unit ball that is not bounded in $ell^infty $ ?
– Peter
Jul 15 at 14:27
add a comment |Â
up vote
2
down vote
The unit ball will always be closed: If $x$ is not in the unit ball because $|x|>1$, then the open ball of radius $|x|-1$ around $x$ is disjoint to the uint ball.
However, it is often not compact: Let $E$ be the space of bounded real sequences and $|x|=supx_n$. Then the open balls of radius $frac12$ around arbitrary centers cover the unit ball, but there is no finite subcover.
Thank you for your answer. I'm unfortunately not allowed to prove the second point. But What could be a sequence of the unit ball that is not bounded in $ell^infty $ ?
– Peter
Jul 15 at 14:27
add a comment |Â
up vote
2
down vote
up vote
2
down vote
The unit ball will always be closed: If $x$ is not in the unit ball because $|x|>1$, then the open ball of radius $|x|-1$ around $x$ is disjoint to the uint ball.
However, it is often not compact: Let $E$ be the space of bounded real sequences and $|x|=supx_n$. Then the open balls of radius $frac12$ around arbitrary centers cover the unit ball, but there is no finite subcover.
The unit ball will always be closed: If $x$ is not in the unit ball because $|x|>1$, then the open ball of radius $|x|-1$ around $x$ is disjoint to the uint ball.
However, it is often not compact: Let $E$ be the space of bounded real sequences and $|x|=supx_n$. Then the open balls of radius $frac12$ around arbitrary centers cover the unit ball, but there is no finite subcover.
answered Jul 15 at 14:24


Hagen von Eitzen
265k20258477
265k20258477
Thank you for your answer. I'm unfortunately not allowed to prove the second point. But What could be a sequence of the unit ball that is not bounded in $ell^infty $ ?
– Peter
Jul 15 at 14:27
add a comment |Â
Thank you for your answer. I'm unfortunately not allowed to prove the second point. But What could be a sequence of the unit ball that is not bounded in $ell^infty $ ?
– Peter
Jul 15 at 14:27
Thank you for your answer. I'm unfortunately not allowed to prove the second point. But What could be a sequence of the unit ball that is not bounded in $ell^infty $ ?
– Peter
Jul 15 at 14:27
Thank you for your answer. I'm unfortunately not allowed to prove the second point. But What could be a sequence of the unit ball that is not bounded in $ell^infty $ ?
– Peter
Jul 15 at 14:27
add a comment |Â
up vote
2
down vote
As Hagen von Eitzen points out, the unit ball $leq 1$ is always closed, because the map $xmapsto|x|$ is continuous, and $[0,1]$ is a closed subset of $[0,infty)$.
But compactness is different. The unit ball is compact if and only if $E$ is finite-dimensional. This is a consequence of the Riesz Lemma, which can be used to inductively define a sequence in the unit sphere $x$, a closed subset of the unit ball, which has to convergent subsequence.
add a comment |Â
up vote
2
down vote
As Hagen von Eitzen points out, the unit ball $leq 1$ is always closed, because the map $xmapsto|x|$ is continuous, and $[0,1]$ is a closed subset of $[0,infty)$.
But compactness is different. The unit ball is compact if and only if $E$ is finite-dimensional. This is a consequence of the Riesz Lemma, which can be used to inductively define a sequence in the unit sphere $x$, a closed subset of the unit ball, which has to convergent subsequence.
add a comment |Â
up vote
2
down vote
up vote
2
down vote
As Hagen von Eitzen points out, the unit ball $leq 1$ is always closed, because the map $xmapsto|x|$ is continuous, and $[0,1]$ is a closed subset of $[0,infty)$.
But compactness is different. The unit ball is compact if and only if $E$ is finite-dimensional. This is a consequence of the Riesz Lemma, which can be used to inductively define a sequence in the unit sphere $x$, a closed subset of the unit ball, which has to convergent subsequence.
As Hagen von Eitzen points out, the unit ball $leq 1$ is always closed, because the map $xmapsto|x|$ is continuous, and $[0,1]$ is a closed subset of $[0,infty)$.
But compactness is different. The unit ball is compact if and only if $E$ is finite-dimensional. This is a consequence of the Riesz Lemma, which can be used to inductively define a sequence in the unit sphere $x$, a closed subset of the unit ball, which has to convergent subsequence.
answered Jul 15 at 15:02


Aweygan
11.9k21437
11.9k21437
add a comment |Â
add a comment |Â
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2852571%2fis-there-a-norm-n-such-that-the-unit-ball-is-not-compact-even-not-closed%23new-answer', 'question_page');
);
Post as a guest
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password