Is the set of sequences $(x_n)$ in $ell^1$ such that $|x_n|leqslantfrac1n$ for every $n$, compact in $ell^1$?
$begingroup$
I was thinking about proving a set $S$ is compact in $l^{1}$ space.
$S = {f in l^{1} : |f(k)| leq frac{1}{k} forall k }$
where ${f_{n}}_{n=1}^{infty}$ be functions such that $f_{n} : Bbb{N} rightarrow Bbb{R}^{+}$
I thought of applying that a set $A subset l^{1}$ is compact if and only if $A$ is closed, bounded and $Sup_{x in A} sum_{j geq n}|x_{j}| rightarrow 0$ as $n rightarrow infty$.
Discussing a bit let me think of taking $f(n) = frac{1}{n}$, but it would not belong to $l^{1}$ as the harmonic series would not converge. How to proceed with this question.
EDIT -
Also, how the result changes if we would consider $l^{infty}$ instead of $l^{1}$ space. I think in this case we can take for a fixed integer $N$, $v_{k} = frac{1}{k}$ for $1 leq k leq N$ and $v_{k} =0$ otherwise.
then here $||v|| = 1$ and since $N$ is arbitrary so its bounded always, so the set is compact if we change the space from $l^{1}$ to $l^{infty}$. Is this correct?.
real-analysis sequences-and-series compactness lp-spaces
$endgroup$
add a comment |
$begingroup$
I was thinking about proving a set $S$ is compact in $l^{1}$ space.
$S = {f in l^{1} : |f(k)| leq frac{1}{k} forall k }$
where ${f_{n}}_{n=1}^{infty}$ be functions such that $f_{n} : Bbb{N} rightarrow Bbb{R}^{+}$
I thought of applying that a set $A subset l^{1}$ is compact if and only if $A$ is closed, bounded and $Sup_{x in A} sum_{j geq n}|x_{j}| rightarrow 0$ as $n rightarrow infty$.
Discussing a bit let me think of taking $f(n) = frac{1}{n}$, but it would not belong to $l^{1}$ as the harmonic series would not converge. How to proceed with this question.
EDIT -
Also, how the result changes if we would consider $l^{infty}$ instead of $l^{1}$ space. I think in this case we can take for a fixed integer $N$, $v_{k} = frac{1}{k}$ for $1 leq k leq N$ and $v_{k} =0$ otherwise.
then here $||v|| = 1$ and since $N$ is arbitrary so its bounded always, so the set is compact if we change the space from $l^{1}$ to $l^{infty}$. Is this correct?.
real-analysis sequences-and-series compactness lp-spaces
$endgroup$
2
$begingroup$
Consider every $f_N$ defined by $f_N(n)=frac1nmathbf 1_{nleqslant N}$, and proceed as it seems you wanted to, then the proof is direct.
$endgroup$
– Did
Dec 30 '18 at 21:16
$begingroup$
Nice!! the $1_{n leq N}$ is the characteristic function?
$endgroup$
– BAYMAX
Dec 30 '18 at 21:27
add a comment |
$begingroup$
I was thinking about proving a set $S$ is compact in $l^{1}$ space.
$S = {f in l^{1} : |f(k)| leq frac{1}{k} forall k }$
where ${f_{n}}_{n=1}^{infty}$ be functions such that $f_{n} : Bbb{N} rightarrow Bbb{R}^{+}$
I thought of applying that a set $A subset l^{1}$ is compact if and only if $A$ is closed, bounded and $Sup_{x in A} sum_{j geq n}|x_{j}| rightarrow 0$ as $n rightarrow infty$.
Discussing a bit let me think of taking $f(n) = frac{1}{n}$, but it would not belong to $l^{1}$ as the harmonic series would not converge. How to proceed with this question.
EDIT -
Also, how the result changes if we would consider $l^{infty}$ instead of $l^{1}$ space. I think in this case we can take for a fixed integer $N$, $v_{k} = frac{1}{k}$ for $1 leq k leq N$ and $v_{k} =0$ otherwise.
then here $||v|| = 1$ and since $N$ is arbitrary so its bounded always, so the set is compact if we change the space from $l^{1}$ to $l^{infty}$. Is this correct?.
real-analysis sequences-and-series compactness lp-spaces
$endgroup$
I was thinking about proving a set $S$ is compact in $l^{1}$ space.
$S = {f in l^{1} : |f(k)| leq frac{1}{k} forall k }$
where ${f_{n}}_{n=1}^{infty}$ be functions such that $f_{n} : Bbb{N} rightarrow Bbb{R}^{+}$
I thought of applying that a set $A subset l^{1}$ is compact if and only if $A$ is closed, bounded and $Sup_{x in A} sum_{j geq n}|x_{j}| rightarrow 0$ as $n rightarrow infty$.
Discussing a bit let me think of taking $f(n) = frac{1}{n}$, but it would not belong to $l^{1}$ as the harmonic series would not converge. How to proceed with this question.
EDIT -
Also, how the result changes if we would consider $l^{infty}$ instead of $l^{1}$ space. I think in this case we can take for a fixed integer $N$, $v_{k} = frac{1}{k}$ for $1 leq k leq N$ and $v_{k} =0$ otherwise.
then here $||v|| = 1$ and since $N$ is arbitrary so its bounded always, so the set is compact if we change the space from $l^{1}$ to $l^{infty}$. Is this correct?.
real-analysis sequences-and-series compactness lp-spaces
real-analysis sequences-and-series compactness lp-spaces
edited Dec 30 '18 at 22:16
BAYMAX
asked Dec 30 '18 at 21:10
BAYMAXBAYMAX
3,04421326
3,04421326
2
$begingroup$
Consider every $f_N$ defined by $f_N(n)=frac1nmathbf 1_{nleqslant N}$, and proceed as it seems you wanted to, then the proof is direct.
$endgroup$
– Did
Dec 30 '18 at 21:16
$begingroup$
Nice!! the $1_{n leq N}$ is the characteristic function?
$endgroup$
– BAYMAX
Dec 30 '18 at 21:27
add a comment |
2
$begingroup$
Consider every $f_N$ defined by $f_N(n)=frac1nmathbf 1_{nleqslant N}$, and proceed as it seems you wanted to, then the proof is direct.
$endgroup$
– Did
Dec 30 '18 at 21:16
$begingroup$
Nice!! the $1_{n leq N}$ is the characteristic function?
$endgroup$
– BAYMAX
Dec 30 '18 at 21:27
2
2
$begingroup$
Consider every $f_N$ defined by $f_N(n)=frac1nmathbf 1_{nleqslant N}$, and proceed as it seems you wanted to, then the proof is direct.
$endgroup$
– Did
Dec 30 '18 at 21:16
$begingroup$
Consider every $f_N$ defined by $f_N(n)=frac1nmathbf 1_{nleqslant N}$, and proceed as it seems you wanted to, then the proof is direct.
$endgroup$
– Did
Dec 30 '18 at 21:16
$begingroup$
Nice!! the $1_{n leq N}$ is the characteristic function?
$endgroup$
– BAYMAX
Dec 30 '18 at 21:27
$begingroup$
Nice!! the $1_{n leq N}$ is the characteristic function?
$endgroup$
– BAYMAX
Dec 30 '18 at 21:27
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
The set $S$ is not bounded in $ell^1$: for a fixed integer $N$, let $v$ be the element of $S$ define as $v_k=1/k$ for $1leqslant kleqslant N$ and $v_k=0$ otherwise. Then
$leftlVert vrightrVert_1=sum_{k=1}^N1/k$ hence $sup_{vin S}leftlVert vrightrVert_1geqslant sum_{k=1}^N1/k$. As $N$ is arbitrary and the series $sum_{kgeqslant 1}1/k$ is infinite, we derive that $S$ is not bounded.
If we consider instead $ell^infty$, that is,
$$S = left{f in l^{infty} : |f(k)| leq frac{1}{k} forall k right},
$$
then $S$ is closed (since the functional $fmapsto f(k)$ is continuous for all $k$) and relatively compact: for a fixed $varepsilon$, choose $K$ such that $1/Kltvarepsilon$ and use relative compactness of $left[-1,1right]^k$.
$endgroup$
$begingroup$
nice solution! I was thinking how would the answer change if we consider $l^{infty}$ instead of $l^{1}$ ? I htink it is still unbounded in $l^{infty}$ too, so its not compact in both $l^{1}$ and $l^{infty}$?
$endgroup$
– BAYMAX
Dec 30 '18 at 21:28
$begingroup$
I think for the case of $l^{infty}$, for a fixed integer $N$, we could take $v_{k} = k$ for $1 leq k leq N$ then $||v||_{infty} = N$ but since $N$ is arbitrary so its unbounded.
$endgroup$
– BAYMAX
Dec 30 '18 at 21:34
$begingroup$
@BAYMAX Is $kle 1/k$?
$endgroup$
– David C. Ullrich
Dec 31 '18 at 16:44
$begingroup$
Nope, I realised that, so please see my edit in the question
$endgroup$
– BAYMAX
Dec 31 '18 at 21:28
$begingroup$
Usually, it is better to ask a separate question. For this time I addressed a sketch of prove in the edit.
$endgroup$
– Davide Giraudo
Dec 31 '18 at 21:56
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%2f3057204%2fis-the-set-of-sequences-x-n-in-ell1-such-that-x-n-leqslant-frac1n-fo%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
The set $S$ is not bounded in $ell^1$: for a fixed integer $N$, let $v$ be the element of $S$ define as $v_k=1/k$ for $1leqslant kleqslant N$ and $v_k=0$ otherwise. Then
$leftlVert vrightrVert_1=sum_{k=1}^N1/k$ hence $sup_{vin S}leftlVert vrightrVert_1geqslant sum_{k=1}^N1/k$. As $N$ is arbitrary and the series $sum_{kgeqslant 1}1/k$ is infinite, we derive that $S$ is not bounded.
If we consider instead $ell^infty$, that is,
$$S = left{f in l^{infty} : |f(k)| leq frac{1}{k} forall k right},
$$
then $S$ is closed (since the functional $fmapsto f(k)$ is continuous for all $k$) and relatively compact: for a fixed $varepsilon$, choose $K$ such that $1/Kltvarepsilon$ and use relative compactness of $left[-1,1right]^k$.
$endgroup$
$begingroup$
nice solution! I was thinking how would the answer change if we consider $l^{infty}$ instead of $l^{1}$ ? I htink it is still unbounded in $l^{infty}$ too, so its not compact in both $l^{1}$ and $l^{infty}$?
$endgroup$
– BAYMAX
Dec 30 '18 at 21:28
$begingroup$
I think for the case of $l^{infty}$, for a fixed integer $N$, we could take $v_{k} = k$ for $1 leq k leq N$ then $||v||_{infty} = N$ but since $N$ is arbitrary so its unbounded.
$endgroup$
– BAYMAX
Dec 30 '18 at 21:34
$begingroup$
@BAYMAX Is $kle 1/k$?
$endgroup$
– David C. Ullrich
Dec 31 '18 at 16:44
$begingroup$
Nope, I realised that, so please see my edit in the question
$endgroup$
– BAYMAX
Dec 31 '18 at 21:28
$begingroup$
Usually, it is better to ask a separate question. For this time I addressed a sketch of prove in the edit.
$endgroup$
– Davide Giraudo
Dec 31 '18 at 21:56
add a comment |
$begingroup$
The set $S$ is not bounded in $ell^1$: for a fixed integer $N$, let $v$ be the element of $S$ define as $v_k=1/k$ for $1leqslant kleqslant N$ and $v_k=0$ otherwise. Then
$leftlVert vrightrVert_1=sum_{k=1}^N1/k$ hence $sup_{vin S}leftlVert vrightrVert_1geqslant sum_{k=1}^N1/k$. As $N$ is arbitrary and the series $sum_{kgeqslant 1}1/k$ is infinite, we derive that $S$ is not bounded.
If we consider instead $ell^infty$, that is,
$$S = left{f in l^{infty} : |f(k)| leq frac{1}{k} forall k right},
$$
then $S$ is closed (since the functional $fmapsto f(k)$ is continuous for all $k$) and relatively compact: for a fixed $varepsilon$, choose $K$ such that $1/Kltvarepsilon$ and use relative compactness of $left[-1,1right]^k$.
$endgroup$
$begingroup$
nice solution! I was thinking how would the answer change if we consider $l^{infty}$ instead of $l^{1}$ ? I htink it is still unbounded in $l^{infty}$ too, so its not compact in both $l^{1}$ and $l^{infty}$?
$endgroup$
– BAYMAX
Dec 30 '18 at 21:28
$begingroup$
I think for the case of $l^{infty}$, for a fixed integer $N$, we could take $v_{k} = k$ for $1 leq k leq N$ then $||v||_{infty} = N$ but since $N$ is arbitrary so its unbounded.
$endgroup$
– BAYMAX
Dec 30 '18 at 21:34
$begingroup$
@BAYMAX Is $kle 1/k$?
$endgroup$
– David C. Ullrich
Dec 31 '18 at 16:44
$begingroup$
Nope, I realised that, so please see my edit in the question
$endgroup$
– BAYMAX
Dec 31 '18 at 21:28
$begingroup$
Usually, it is better to ask a separate question. For this time I addressed a sketch of prove in the edit.
$endgroup$
– Davide Giraudo
Dec 31 '18 at 21:56
add a comment |
$begingroup$
The set $S$ is not bounded in $ell^1$: for a fixed integer $N$, let $v$ be the element of $S$ define as $v_k=1/k$ for $1leqslant kleqslant N$ and $v_k=0$ otherwise. Then
$leftlVert vrightrVert_1=sum_{k=1}^N1/k$ hence $sup_{vin S}leftlVert vrightrVert_1geqslant sum_{k=1}^N1/k$. As $N$ is arbitrary and the series $sum_{kgeqslant 1}1/k$ is infinite, we derive that $S$ is not bounded.
If we consider instead $ell^infty$, that is,
$$S = left{f in l^{infty} : |f(k)| leq frac{1}{k} forall k right},
$$
then $S$ is closed (since the functional $fmapsto f(k)$ is continuous for all $k$) and relatively compact: for a fixed $varepsilon$, choose $K$ such that $1/Kltvarepsilon$ and use relative compactness of $left[-1,1right]^k$.
$endgroup$
The set $S$ is not bounded in $ell^1$: for a fixed integer $N$, let $v$ be the element of $S$ define as $v_k=1/k$ for $1leqslant kleqslant N$ and $v_k=0$ otherwise. Then
$leftlVert vrightrVert_1=sum_{k=1}^N1/k$ hence $sup_{vin S}leftlVert vrightrVert_1geqslant sum_{k=1}^N1/k$. As $N$ is arbitrary and the series $sum_{kgeqslant 1}1/k$ is infinite, we derive that $S$ is not bounded.
If we consider instead $ell^infty$, that is,
$$S = left{f in l^{infty} : |f(k)| leq frac{1}{k} forall k right},
$$
then $S$ is closed (since the functional $fmapsto f(k)$ is continuous for all $k$) and relatively compact: for a fixed $varepsilon$, choose $K$ such that $1/Kltvarepsilon$ and use relative compactness of $left[-1,1right]^k$.
edited Dec 31 '18 at 21:55
answered Dec 30 '18 at 21:16
Davide GiraudoDavide Giraudo
128k17157269
128k17157269
$begingroup$
nice solution! I was thinking how would the answer change if we consider $l^{infty}$ instead of $l^{1}$ ? I htink it is still unbounded in $l^{infty}$ too, so its not compact in both $l^{1}$ and $l^{infty}$?
$endgroup$
– BAYMAX
Dec 30 '18 at 21:28
$begingroup$
I think for the case of $l^{infty}$, for a fixed integer $N$, we could take $v_{k} = k$ for $1 leq k leq N$ then $||v||_{infty} = N$ but since $N$ is arbitrary so its unbounded.
$endgroup$
– BAYMAX
Dec 30 '18 at 21:34
$begingroup$
@BAYMAX Is $kle 1/k$?
$endgroup$
– David C. Ullrich
Dec 31 '18 at 16:44
$begingroup$
Nope, I realised that, so please see my edit in the question
$endgroup$
– BAYMAX
Dec 31 '18 at 21:28
$begingroup$
Usually, it is better to ask a separate question. For this time I addressed a sketch of prove in the edit.
$endgroup$
– Davide Giraudo
Dec 31 '18 at 21:56
add a comment |
$begingroup$
nice solution! I was thinking how would the answer change if we consider $l^{infty}$ instead of $l^{1}$ ? I htink it is still unbounded in $l^{infty}$ too, so its not compact in both $l^{1}$ and $l^{infty}$?
$endgroup$
– BAYMAX
Dec 30 '18 at 21:28
$begingroup$
I think for the case of $l^{infty}$, for a fixed integer $N$, we could take $v_{k} = k$ for $1 leq k leq N$ then $||v||_{infty} = N$ but since $N$ is arbitrary so its unbounded.
$endgroup$
– BAYMAX
Dec 30 '18 at 21:34
$begingroup$
@BAYMAX Is $kle 1/k$?
$endgroup$
– David C. Ullrich
Dec 31 '18 at 16:44
$begingroup$
Nope, I realised that, so please see my edit in the question
$endgroup$
– BAYMAX
Dec 31 '18 at 21:28
$begingroup$
Usually, it is better to ask a separate question. For this time I addressed a sketch of prove in the edit.
$endgroup$
– Davide Giraudo
Dec 31 '18 at 21:56
$begingroup$
nice solution! I was thinking how would the answer change if we consider $l^{infty}$ instead of $l^{1}$ ? I htink it is still unbounded in $l^{infty}$ too, so its not compact in both $l^{1}$ and $l^{infty}$?
$endgroup$
– BAYMAX
Dec 30 '18 at 21:28
$begingroup$
nice solution! I was thinking how would the answer change if we consider $l^{infty}$ instead of $l^{1}$ ? I htink it is still unbounded in $l^{infty}$ too, so its not compact in both $l^{1}$ and $l^{infty}$?
$endgroup$
– BAYMAX
Dec 30 '18 at 21:28
$begingroup$
I think for the case of $l^{infty}$, for a fixed integer $N$, we could take $v_{k} = k$ for $1 leq k leq N$ then $||v||_{infty} = N$ but since $N$ is arbitrary so its unbounded.
$endgroup$
– BAYMAX
Dec 30 '18 at 21:34
$begingroup$
I think for the case of $l^{infty}$, for a fixed integer $N$, we could take $v_{k} = k$ for $1 leq k leq N$ then $||v||_{infty} = N$ but since $N$ is arbitrary so its unbounded.
$endgroup$
– BAYMAX
Dec 30 '18 at 21:34
$begingroup$
@BAYMAX Is $kle 1/k$?
$endgroup$
– David C. Ullrich
Dec 31 '18 at 16:44
$begingroup$
@BAYMAX Is $kle 1/k$?
$endgroup$
– David C. Ullrich
Dec 31 '18 at 16:44
$begingroup$
Nope, I realised that, so please see my edit in the question
$endgroup$
– BAYMAX
Dec 31 '18 at 21:28
$begingroup$
Nope, I realised that, so please see my edit in the question
$endgroup$
– BAYMAX
Dec 31 '18 at 21:28
$begingroup$
Usually, it is better to ask a separate question. For this time I addressed a sketch of prove in the edit.
$endgroup$
– Davide Giraudo
Dec 31 '18 at 21:56
$begingroup$
Usually, it is better to ask a separate question. For this time I addressed a sketch of prove in the edit.
$endgroup$
– Davide Giraudo
Dec 31 '18 at 21:56
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%2f3057204%2fis-the-set-of-sequences-x-n-in-ell1-such-that-x-n-leqslant-frac1n-fo%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
2
$begingroup$
Consider every $f_N$ defined by $f_N(n)=frac1nmathbf 1_{nleqslant N}$, and proceed as it seems you wanted to, then the proof is direct.
$endgroup$
– Did
Dec 30 '18 at 21:16
$begingroup$
Nice!! the $1_{n leq N}$ is the characteristic function?
$endgroup$
– BAYMAX
Dec 30 '18 at 21:27