Compactness in normed vector spaces.Are Arzelà–Ascoli theorems results of similar theorems on normed spaces, metric spaces or other spaces?Finiteness of the dimension of a normed space and compactnessProof of compactness for sets of norm equal to one in finite-dimensional normed vector spacesConvex hull, compactness, normed spacesAre all the finite dimensional vector spaces with a metric isometric to $mathbb R^n$Compactness of subspaces of finite-dimensional vector spacesCounterexample showing that weakly* compact sets might not be norm bounded in a normed spaces.Dual of a normed vector spaceCompactness of normed linear spacesProblem about strictly normed spaces.
Examples where existence is harder than evaluation
Why did Missandei say this?
Best species to breed to intelligence
How likely are Coriolis-effect-based quirks to develop in starship crew members?
Was the Highlands Ranch shooting the 115th mass shooting in the US in 2019
Passport stamps art, can it be done?
Randomly generate a sorted set with uniform distribution
What replaces x86 intrinsics for C when Apple ditches Intel CPUs for their own chips?
What is the minimum required technology to reanimate someone who has been cryogenically frozen?
Is it possible to reduce the cost of brewing potions?
How can I make parentheses stick to formula?
"Estrontium" on poster
How do carbureted and fuel injected engines compare in high altitude?
What does the "DS" in "DS-..." US visa application forms stand for?
Which spells are in some way related to shadows or the Shadowfell?
How to explain intravenous drug abuse to a 6-year-old?
Why use steam instead of just hot air?
How do I minimise waste on a flight?
How is Arya still alive?
I might have messed up in the 'Future Work' section of my thesis
Are on’yomi words loanwords?
Rusty Chain and back cassette – Replace or Repair?
Why do the Avengers care about returning these items in Endgame?
Company stopped paying my salary. What are my options?
Compactness in normed vector spaces.
Are Arzelà–Ascoli theorems results of similar theorems on normed spaces, metric spaces or other spaces?Finiteness of the dimension of a normed space and compactnessProof of compactness for sets of norm equal to one in finite-dimensional normed vector spacesConvex hull, compactness, normed spacesAre all the finite dimensional vector spaces with a metric isometric to $mathbb R^n$Compactness of subspaces of finite-dimensional vector spacesCounterexample showing that weakly* compact sets might not be norm bounded in a normed spaces.Dual of a normed vector spaceCompactness of normed linear spacesProblem about strictly normed spaces.
$begingroup$
Let $(X,VertcdotVert)$ be a normed $mathbbK$-vector space and $A subset X$ be closed and bounded. My problem is how to determine whether $A$ is compact?
I know that a compact subset is always closed and bounded. And that in $mathbbR$ the converse holds due to Bolzano–Weierstraß.
But I think I am missing something. Do there exist subsets in normed vector spaces which are closed and bounded but not compact?
functional-analysis compactness normed-spaces
asked 1 hour ago
GrazelGrazel
155115
$endgroup$
add a comment |
$begingroup$
Let $(X,VertcdotVert)$ be a normed $mathbbK$-vector space and $A subset X$ be closed and bounded. My problem is how to determine whether $A$ is compact?
I know that a compact subset is always closed and bounded. And that in $mathbbR$ the converse holds due to Bolzano–Weierstraß.
But I think I am missing something. Do there exist subsets in normed vector spaces which are closed and bounded but not compact?
functional-analysis compactness normed-spaces
asked 1 hour ago
GrazelGrazel
155115
$endgroup$
add a comment |
$begingroup$
Let $(X,VertcdotVert)$ be a normed $mathbbK$-vector space and $A subset X$ be closed and bounded. My problem is how to determine whether $A$ is compact?
I know that a compact subset is always closed and bounded. And that in $mathbbR$ the converse holds due to Bolzano–Weierstraß.
But I think I am missing something. Do there exist subsets in normed vector spaces which are closed and bounded but not compact?
functional-analysis compactness normed-spaces
asked 1 hour ago
GrazelGrazel
155115
$endgroup$
Let $(X,VertcdotVert)$ be a normed $mathbbK$-vector space and $A subset X$ be closed and bounded. My problem is how to determine whether $A$ is compact?
I know that a compact subset is always closed and bounded. And that in $mathbbR$ the converse holds due to Bolzano–Weierstraß.
But I think I am missing something. Do there exist subsets in normed vector spaces which are closed and bounded but not compact?
functional-analysis compactness normed-spaces
functional-analysis compactness normed-spaces
asked 1 hour ago
GrazelGrazel
155115
asked 1 hour ago
GrazelGrazel
155115
edited 1 hour ago
Grazel
asked 1 hour ago
GrazelGrazel
155115
asked 1 hour ago
GrazelGrazel
155115
asked 1 hour ago
GrazelGrazel
155115
155115
add a comment |
add a comment |
3 Answers
3
active
oldest
votes
$begingroup$
Let $c_0$ denote the infinite-dimensional normed vector space consisting of sequences that converge to $0$. The norm on $c_0$ is given by:
$$
|(a_1,a_1,a_3,ldots)|:=sup_kinmathbbN|a_k|.
$$
Let $A$ denote the set of all vectors in $c_0$ of norm at most one. Clearly $A$ is bounded and it is easy to show that $A$ is closed. To see that $A$ is not compact, let, for each $xin A$, $B_1/2(x):=<1/2$. Then, $B_1/2(x):xin A$ is an open cover of $A$. To see that it has no finite subcover, let, for each $kinmathbbN$, $e_k$ denote the sequence $(0,ldots,0,1,0,ldots)$, where the $1$ is in position $k$. Since $|e_k-e_ell|=1$ if $knot=ell$, it follows that no two such vectors can belong to the same $B_1/2(x)$ for any $x$.
Note that in general, a set in a metric space is compact if and only if it is complete and totally bounded.
answered 1 hour ago
ervxervx
10.4k31438
$endgroup$
add a comment |
$begingroup$
Yes.
The equivalence of "compact" and "closed and bounded" holds only in finite-dimensional spaces.
In a general, infinite-dimensional normed space (e.g., over the real scalars), for a set to be compact, it is not enough that it be closed and bounded. It must be closed and totally bounded.
answered 1 hour ago
avsavs
4,6701515
$endgroup$
add a comment |
$begingroup$
Example. The unit ball $B$ in Hilbert space $l^2$. It is closed and bounded, but not compact. Let the orthonormal unit vectors be $e_n, n=1,2,3,dots$. Then sequence $e_n$ is a sequence in $B$, but it has no convergent subsequence. This is because all the distances are $|e_n-e_m| = sqrt2$ so in fact no subsequence is even a Cauchy sequence.
answered 1 hour ago
GEdgarGEdgar
63.9k369177
$endgroup$
add a comment |
Your Answer
StackExchange.ready(function()
var channelOptions =
tags: "".split(" "),
id: "69"
;
initTagRenderer("".split(" "), "".split(" "), channelOptions);
StackExchange.using("externalEditor", function()
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled)
StackExchange.using("snippets", function()
createEditor();
);
else
createEditor();
);
function createEditor()
StackExchange.prepareEditor(
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader:
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
,
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
);
);
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
Required, but never shown
StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3218973%2fcompactness-in-normed-vector-spaces%23new-answer', 'question_page');
);
Post as a guest
Required, but never shown
3 Answers
3
active
oldest
votes
3 Answers
3
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
Let $c_0$ denote the infinite-dimensional normed vector space consisting of sequences that converge to $0$. The norm on $c_0$ is given by:
$$
|(a_1,a_1,a_3,ldots)|:=sup_kinmathbbN|a_k|.
$$
Let $A$ denote the set of all vectors in $c_0$ of norm at most one. Clearly $A$ is bounded and it is easy to show that $A$ is closed. To see that $A$ is not compact, let, for each $xin A$, $B_1/2(x):=<1/2$. Then, $B_1/2(x):xin A$ is an open cover of $A$. To see that it has no finite subcover, let, for each $kinmathbbN$, $e_k$ denote the sequence $(0,ldots,0,1,0,ldots)$, where the $1$ is in position $k$. Since $|e_k-e_ell|=1$ if $knot=ell$, it follows that no two such vectors can belong to the same $B_1/2(x)$ for any $x$.
Note that in general, a set in a metric space is compact if and only if it is complete and totally bounded.
answered 1 hour ago
ervxervx
10.4k31438
$endgroup$
add a comment |
$begingroup$
Let $c_0$ denote the infinite-dimensional normed vector space consisting of sequences that converge to $0$. The norm on $c_0$ is given by:
$$
|(a_1,a_1,a_3,ldots)|:=sup_kinmathbbN|a_k|.
$$
Let $A$ denote the set of all vectors in $c_0$ of norm at most one. Clearly $A$ is bounded and it is easy to show that $A$ is closed. To see that $A$ is not compact, let, for each $xin A$, $B_1/2(x):=<1/2$. Then, $B_1/2(x):xin A$ is an open cover of $A$. To see that it has no finite subcover, let, for each $kinmathbbN$, $e_k$ denote the sequence $(0,ldots,0,1,0,ldots)$, where the $1$ is in position $k$. Since $|e_k-e_ell|=1$ if $knot=ell$, it follows that no two such vectors can belong to the same $B_1/2(x)$ for any $x$.
Note that in general, a set in a metric space is compact if and only if it is complete and totally bounded.
answered 1 hour ago
ervxervx
10.4k31438
$endgroup$
add a comment |
$begingroup$
Let $c_0$ denote the infinite-dimensional normed vector space consisting of sequences that converge to $0$. The norm on $c_0$ is given by:
$$
|(a_1,a_1,a_3,ldots)|:=sup_kinmathbbN|a_k|.
$$
Let $A$ denote the set of all vectors in $c_0$ of norm at most one. Clearly $A$ is bounded and it is easy to show that $A$ is closed. To see that $A$ is not compact, let, for each $xin A$, $B_1/2(x):=<1/2$. Then, $B_1/2(x):xin A$ is an open cover of $A$. To see that it has no finite subcover, let, for each $kinmathbbN$, $e_k$ denote the sequence $(0,ldots,0,1,0,ldots)$, where the $1$ is in position $k$. Since $|e_k-e_ell|=1$ if $knot=ell$, it follows that no two such vectors can belong to the same $B_1/2(x)$ for any $x$.
Note that in general, a set in a metric space is compact if and only if it is complete and totally bounded.
answered 1 hour ago
ervxervx
10.4k31438
$endgroup$
Let $c_0$ denote the infinite-dimensional normed vector space consisting of sequences that converge to $0$. The norm on $c_0$ is given by:
$$
|(a_1,a_1,a_3,ldots)|:=sup_kinmathbbN|a_k|.
$$
Let $A$ denote the set of all vectors in $c_0$ of norm at most one. Clearly $A$ is bounded and it is easy to show that $A$ is closed. To see that $A$ is not compact, let, for each $xin A$, $B_1/2(x):=<1/2$. Then, $B_1/2(x):xin A$ is an open cover of $A$. To see that it has no finite subcover, let, for each $kinmathbbN$, $e_k$ denote the sequence $(0,ldots,0,1,0,ldots)$, where the $1$ is in position $k$. Since $|e_k-e_ell|=1$ if $knot=ell$, it follows that no two such vectors can belong to the same $B_1/2(x)$ for any $x$.
Note that in general, a set in a metric space is compact if and only if it is complete and totally bounded.
answered 1 hour ago
ervxervx
10.4k31438
answered 1 hour ago
ervxervx
10.4k31438
answered 1 hour ago
ervxervx
10.4k31438
answered 1 hour ago
ervxervx
10.4k31438
10.4k31438
add a comment |
add a comment |
$begingroup$
Yes.
The equivalence of "compact" and "closed and bounded" holds only in finite-dimensional spaces.
In a general, infinite-dimensional normed space (e.g., over the real scalars), for a set to be compact, it is not enough that it be closed and bounded. It must be closed and totally bounded.
answered 1 hour ago
avsavs
4,6701515
$endgroup$
add a comment |
$begingroup$
Yes.
The equivalence of "compact" and "closed and bounded" holds only in finite-dimensional spaces.
In a general, infinite-dimensional normed space (e.g., over the real scalars), for a set to be compact, it is not enough that it be closed and bounded. It must be closed and totally bounded.
answered 1 hour ago
avsavs
4,6701515
$endgroup$
add a comment |
$begingroup$
Yes.
The equivalence of "compact" and "closed and bounded" holds only in finite-dimensional spaces.
In a general, infinite-dimensional normed space (e.g., over the real scalars), for a set to be compact, it is not enough that it be closed and bounded. It must be closed and totally bounded.
answered 1 hour ago
avsavs
4,6701515
$endgroup$
Yes.
The equivalence of "compact" and "closed and bounded" holds only in finite-dimensional spaces.
In a general, infinite-dimensional normed space (e.g., over the real scalars), for a set to be compact, it is not enough that it be closed and bounded. It must be closed and totally bounded.
answered 1 hour ago
avsavs
4,6701515
answered 1 hour ago
avsavs
4,6701515
answered 1 hour ago
avsavs
4,6701515
answered 1 hour ago
avsavs
4,6701515
4,6701515
add a comment |
add a comment |
$begingroup$
Example. The unit ball $B$ in Hilbert space $l^2$. It is closed and bounded, but not compact. Let the orthonormal unit vectors be $e_n, n=1,2,3,dots$. Then sequence $e_n$ is a sequence in $B$, but it has no convergent subsequence. This is because all the distances are $|e_n-e_m| = sqrt2$ so in fact no subsequence is even a Cauchy sequence.
answered 1 hour ago
GEdgarGEdgar
63.9k369177
$endgroup$
add a comment |
$begingroup$
Example. The unit ball $B$ in Hilbert space $l^2$. It is closed and bounded, but not compact. Let the orthonormal unit vectors be $e_n, n=1,2,3,dots$. Then sequence $e_n$ is a sequence in $B$, but it has no convergent subsequence. This is because all the distances are $|e_n-e_m| = sqrt2$ so in fact no subsequence is even a Cauchy sequence.
answered 1 hour ago
GEdgarGEdgar
63.9k369177
$endgroup$
add a comment |
$begingroup$
Example. The unit ball $B$ in Hilbert space $l^2$. It is closed and bounded, but not compact. Let the orthonormal unit vectors be $e_n, n=1,2,3,dots$. Then sequence $e_n$ is a sequence in $B$, but it has no convergent subsequence. This is because all the distances are $|e_n-e_m| = sqrt2$ so in fact no subsequence is even a Cauchy sequence.
answered 1 hour ago
GEdgarGEdgar
63.9k369177
$endgroup$
Example. The unit ball $B$ in Hilbert space $l^2$. It is closed and bounded, but not compact. Let the orthonormal unit vectors be $e_n, n=1,2,3,dots$. Then sequence $e_n$ is a sequence in $B$, but it has no convergent subsequence. This is because all the distances are $|e_n-e_m| = sqrt2$ so in fact no subsequence is even a Cauchy sequence.
answered 1 hour ago
GEdgarGEdgar
63.9k369177
answered 1 hour ago
GEdgarGEdgar
63.9k369177
answered 1 hour ago
GEdgarGEdgar
63.9k369177
answered 1 hour ago
GEdgarGEdgar
63.9k369177
63.9k369177
add a comment |
add a comment |
Thanks for contributing an answer to Mathematics Stack Exchange!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
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
Required, but never shown
StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3218973%2fcompactness-in-normed-vector-spaces%23new-answer', 'question_page');
);
Post as a guest
Required, but never shown
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
Required, but never shown
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
Required, but never shown
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
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
