Let $Y$ be the subspace of $B(Bbb N, Bbb F)$ consisting of those sequences tending to zero. Show that $Y$ is...
Let $Y$ be the subspace of $B(Bbb N,Bbb F)$ consisting of those sequences tending to zero.
Show that $Y$ is separable.
Here $Bbb F= Bbb C$ or $Bbb R$ (field of complex numbers or real numbers), $Bbb N$ is the field of natural numbers, and $B(Bbb N,Bbb F):= {f : Bbb N → Bbb F : f text{ is bounded}}$.
real-analysis general-topology
add a comment |
Let $Y$ be the subspace of $B(Bbb N,Bbb F)$ consisting of those sequences tending to zero.
Show that $Y$ is separable.
Here $Bbb F= Bbb C$ or $Bbb R$ (field of complex numbers or real numbers), $Bbb N$ is the field of natural numbers, and $B(Bbb N,Bbb F):= {f : Bbb N → Bbb F : f text{ is bounded}}$.
real-analysis general-topology
A dense subspace is all sequences of rational numbers (or rational real and imaginary part) that are eventually $0$. (What topology do you consider on the space of bounded sequences?)
– Mirko
Nov 20 at 3:16
Thanks for the coment. this question was in the chapter of my book about metric spaces so, I am not sure what type of topologies you could consider in the space of bounded sequences, but you could turn it into a metric space through the metric: D(f,g) := sup x∈S d(f(x), g(x)).
– Hypathius
Nov 20 at 3:31
add a comment |
Let $Y$ be the subspace of $B(Bbb N,Bbb F)$ consisting of those sequences tending to zero.
Show that $Y$ is separable.
Here $Bbb F= Bbb C$ or $Bbb R$ (field of complex numbers or real numbers), $Bbb N$ is the field of natural numbers, and $B(Bbb N,Bbb F):= {f : Bbb N → Bbb F : f text{ is bounded}}$.
real-analysis general-topology
Let $Y$ be the subspace of $B(Bbb N,Bbb F)$ consisting of those sequences tending to zero.
Show that $Y$ is separable.
Here $Bbb F= Bbb C$ or $Bbb R$ (field of complex numbers or real numbers), $Bbb N$ is the field of natural numbers, and $B(Bbb N,Bbb F):= {f : Bbb N → Bbb F : f text{ is bounded}}$.
real-analysis general-topology
real-analysis general-topology
edited Nov 20 at 3:20
Tianlalu
3,12321038
3,12321038
asked Nov 20 at 3:11
Hypathius
62
62
A dense subspace is all sequences of rational numbers (or rational real and imaginary part) that are eventually $0$. (What topology do you consider on the space of bounded sequences?)
– Mirko
Nov 20 at 3:16
Thanks for the coment. this question was in the chapter of my book about metric spaces so, I am not sure what type of topologies you could consider in the space of bounded sequences, but you could turn it into a metric space through the metric: D(f,g) := sup x∈S d(f(x), g(x)).
– Hypathius
Nov 20 at 3:31
add a comment |
A dense subspace is all sequences of rational numbers (or rational real and imaginary part) that are eventually $0$. (What topology do you consider on the space of bounded sequences?)
– Mirko
Nov 20 at 3:16
Thanks for the coment. this question was in the chapter of my book about metric spaces so, I am not sure what type of topologies you could consider in the space of bounded sequences, but you could turn it into a metric space through the metric: D(f,g) := sup x∈S d(f(x), g(x)).
– Hypathius
Nov 20 at 3:31
A dense subspace is all sequences of rational numbers (or rational real and imaginary part) that are eventually $0$. (What topology do you consider on the space of bounded sequences?)
– Mirko
Nov 20 at 3:16
A dense subspace is all sequences of rational numbers (or rational real and imaginary part) that are eventually $0$. (What topology do you consider on the space of bounded sequences?)
– Mirko
Nov 20 at 3:16
Thanks for the coment. this question was in the chapter of my book about metric spaces so, I am not sure what type of topologies you could consider in the space of bounded sequences, but you could turn it into a metric space through the metric: D(f,g) := sup x∈S d(f(x), g(x)).
– Hypathius
Nov 20 at 3:31
Thanks for the coment. this question was in the chapter of my book about metric spaces so, I am not sure what type of topologies you could consider in the space of bounded sequences, but you could turn it into a metric space through the metric: D(f,g) := sup x∈S d(f(x), g(x)).
– Hypathius
Nov 20 at 3:31
add a comment |
2 Answers
2
active
oldest
votes
I assume $B(N,F)$ is a metric space with the metric $$d_infty(x_n,y_n)=sup_n vert x_n-y_n vert$$The set $$S:={y_n in Bbb Q: text{finitely many $y_n$ are non zero }}$$ is a countable dense subset of $Y$
Countable part is easy(?). For the other part, take $x_n=(x_1,x_2,...)in Y$. Then $lim x_n=0$. That is, $$(forall varepsilon>0:exists N in Bbb N): vert x_n vert< varepsilon$$ whenever $n >N$. Choose rational $y_1,y_2,...,y_N$ so that $vert x_i-y_i vert < varepsilon$ for $1 leq i leq N$. Define $y_n=(y_1,y_2,..,y_N,0,0,cdots,0)$, we have $y in S$ and $$d_infty(x_n,y_n) < varepsilon$$
The question didn't specify any metrics, so the result should hold for any metric. Now, is S countable because it is a collection of countable sets? Also, the conclusion that $d(x_n,y_n)<ε$, implies that $B_ε(y_n)$ has non empty intersection with $Bbb F$ for all ε>0? (here $B_ε(x)$ is just the open ball centered on x. )
– Hypathius
Nov 20 at 3:57
Yes for the first one! For the second one, dense means for any $x_n in Y$, there exists $y_n in S$ so that $d(x_n , y_n)< varepsilon$. Thats what I prove!
– Chinnapparaj R
Nov 20 at 4:01
Oh, I see it now, the sequences from $S$ that need to have nonempty intersection with the sequences from $Y$ for any ε>0. Im insisting on this definition because it is the one used in my book. Thanks for clarifying.
– Hypathius
Nov 20 at 4:06
add a comment |
Let $D$ be the set of sequences with rational values that have only at most finitely many non-zero values, This is essentially $bigcup_n mathbb{Q}^n$ so a countable set.
Then for any sequence $(x_n)$ tending to $0$ and any $varepsilon>0$ find $N$ such that all $|x_n| < frac{varepsilon}{2}$ for $n ge N$. Then note that $(x_1,ldots,x_N)$ can be approximated in the sup-metric (on $N$ coordinates) by a rational vector $(q_1,ldots,q_N)$ such that $sup_{i=1,ldots N} |x_i - q_i| < varepsilon$.
Then $(q_1,ldots, q_N,0,0,0,ldots)$ is in $D$ and in $B((x_n),varepsilon)$.
This shows density of $D$ in the set of sequences under consideration.
add a comment |
Your Answer
StackExchange.ifUsing("editor", function () {
return StackExchange.using("mathjaxEditing", function () {
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
});
});
}, "mathjax-editing");
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%2f3005885%2flet-y-be-the-subspace-of-b-bbb-n-bbb-f-consisting-of-those-sequences-ten%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
2 Answers
2
active
oldest
votes
2 Answers
2
active
oldest
votes
active
oldest
votes
active
oldest
votes
I assume $B(N,F)$ is a metric space with the metric $$d_infty(x_n,y_n)=sup_n vert x_n-y_n vert$$The set $$S:={y_n in Bbb Q: text{finitely many $y_n$ are non zero }}$$ is a countable dense subset of $Y$
Countable part is easy(?). For the other part, take $x_n=(x_1,x_2,...)in Y$. Then $lim x_n=0$. That is, $$(forall varepsilon>0:exists N in Bbb N): vert x_n vert< varepsilon$$ whenever $n >N$. Choose rational $y_1,y_2,...,y_N$ so that $vert x_i-y_i vert < varepsilon$ for $1 leq i leq N$. Define $y_n=(y_1,y_2,..,y_N,0,0,cdots,0)$, we have $y in S$ and $$d_infty(x_n,y_n) < varepsilon$$
The question didn't specify any metrics, so the result should hold for any metric. Now, is S countable because it is a collection of countable sets? Also, the conclusion that $d(x_n,y_n)<ε$, implies that $B_ε(y_n)$ has non empty intersection with $Bbb F$ for all ε>0? (here $B_ε(x)$ is just the open ball centered on x. )
– Hypathius
Nov 20 at 3:57
Yes for the first one! For the second one, dense means for any $x_n in Y$, there exists $y_n in S$ so that $d(x_n , y_n)< varepsilon$. Thats what I prove!
– Chinnapparaj R
Nov 20 at 4:01
Oh, I see it now, the sequences from $S$ that need to have nonempty intersection with the sequences from $Y$ for any ε>0. Im insisting on this definition because it is the one used in my book. Thanks for clarifying.
– Hypathius
Nov 20 at 4:06
add a comment |
I assume $B(N,F)$ is a metric space with the metric $$d_infty(x_n,y_n)=sup_n vert x_n-y_n vert$$The set $$S:={y_n in Bbb Q: text{finitely many $y_n$ are non zero }}$$ is a countable dense subset of $Y$
Countable part is easy(?). For the other part, take $x_n=(x_1,x_2,...)in Y$. Then $lim x_n=0$. That is, $$(forall varepsilon>0:exists N in Bbb N): vert x_n vert< varepsilon$$ whenever $n >N$. Choose rational $y_1,y_2,...,y_N$ so that $vert x_i-y_i vert < varepsilon$ for $1 leq i leq N$. Define $y_n=(y_1,y_2,..,y_N,0,0,cdots,0)$, we have $y in S$ and $$d_infty(x_n,y_n) < varepsilon$$
The question didn't specify any metrics, so the result should hold for any metric. Now, is S countable because it is a collection of countable sets? Also, the conclusion that $d(x_n,y_n)<ε$, implies that $B_ε(y_n)$ has non empty intersection with $Bbb F$ for all ε>0? (here $B_ε(x)$ is just the open ball centered on x. )
– Hypathius
Nov 20 at 3:57
Yes for the first one! For the second one, dense means for any $x_n in Y$, there exists $y_n in S$ so that $d(x_n , y_n)< varepsilon$. Thats what I prove!
– Chinnapparaj R
Nov 20 at 4:01
Oh, I see it now, the sequences from $S$ that need to have nonempty intersection with the sequences from $Y$ for any ε>0. Im insisting on this definition because it is the one used in my book. Thanks for clarifying.
– Hypathius
Nov 20 at 4:06
add a comment |
I assume $B(N,F)$ is a metric space with the metric $$d_infty(x_n,y_n)=sup_n vert x_n-y_n vert$$The set $$S:={y_n in Bbb Q: text{finitely many $y_n$ are non zero }}$$ is a countable dense subset of $Y$
Countable part is easy(?). For the other part, take $x_n=(x_1,x_2,...)in Y$. Then $lim x_n=0$. That is, $$(forall varepsilon>0:exists N in Bbb N): vert x_n vert< varepsilon$$ whenever $n >N$. Choose rational $y_1,y_2,...,y_N$ so that $vert x_i-y_i vert < varepsilon$ for $1 leq i leq N$. Define $y_n=(y_1,y_2,..,y_N,0,0,cdots,0)$, we have $y in S$ and $$d_infty(x_n,y_n) < varepsilon$$
I assume $B(N,F)$ is a metric space with the metric $$d_infty(x_n,y_n)=sup_n vert x_n-y_n vert$$The set $$S:={y_n in Bbb Q: text{finitely many $y_n$ are non zero }}$$ is a countable dense subset of $Y$
Countable part is easy(?). For the other part, take $x_n=(x_1,x_2,...)in Y$. Then $lim x_n=0$. That is, $$(forall varepsilon>0:exists N in Bbb N): vert x_n vert< varepsilon$$ whenever $n >N$. Choose rational $y_1,y_2,...,y_N$ so that $vert x_i-y_i vert < varepsilon$ for $1 leq i leq N$. Define $y_n=(y_1,y_2,..,y_N,0,0,cdots,0)$, we have $y in S$ and $$d_infty(x_n,y_n) < varepsilon$$
answered Nov 20 at 3:35
Chinnapparaj R
5,2601826
5,2601826
The question didn't specify any metrics, so the result should hold for any metric. Now, is S countable because it is a collection of countable sets? Also, the conclusion that $d(x_n,y_n)<ε$, implies that $B_ε(y_n)$ has non empty intersection with $Bbb F$ for all ε>0? (here $B_ε(x)$ is just the open ball centered on x. )
– Hypathius
Nov 20 at 3:57
Yes for the first one! For the second one, dense means for any $x_n in Y$, there exists $y_n in S$ so that $d(x_n , y_n)< varepsilon$. Thats what I prove!
– Chinnapparaj R
Nov 20 at 4:01
Oh, I see it now, the sequences from $S$ that need to have nonempty intersection with the sequences from $Y$ for any ε>0. Im insisting on this definition because it is the one used in my book. Thanks for clarifying.
– Hypathius
Nov 20 at 4:06
add a comment |
The question didn't specify any metrics, so the result should hold for any metric. Now, is S countable because it is a collection of countable sets? Also, the conclusion that $d(x_n,y_n)<ε$, implies that $B_ε(y_n)$ has non empty intersection with $Bbb F$ for all ε>0? (here $B_ε(x)$ is just the open ball centered on x. )
– Hypathius
Nov 20 at 3:57
Yes for the first one! For the second one, dense means for any $x_n in Y$, there exists $y_n in S$ so that $d(x_n , y_n)< varepsilon$. Thats what I prove!
– Chinnapparaj R
Nov 20 at 4:01
Oh, I see it now, the sequences from $S$ that need to have nonempty intersection with the sequences from $Y$ for any ε>0. Im insisting on this definition because it is the one used in my book. Thanks for clarifying.
– Hypathius
Nov 20 at 4:06
The question didn't specify any metrics, so the result should hold for any metric. Now, is S countable because it is a collection of countable sets? Also, the conclusion that $d(x_n,y_n)<ε$, implies that $B_ε(y_n)$ has non empty intersection with $Bbb F$ for all ε>0? (here $B_ε(x)$ is just the open ball centered on x. )
– Hypathius
Nov 20 at 3:57
The question didn't specify any metrics, so the result should hold for any metric. Now, is S countable because it is a collection of countable sets? Also, the conclusion that $d(x_n,y_n)<ε$, implies that $B_ε(y_n)$ has non empty intersection with $Bbb F$ for all ε>0? (here $B_ε(x)$ is just the open ball centered on x. )
– Hypathius
Nov 20 at 3:57
Yes for the first one! For the second one, dense means for any $x_n in Y$, there exists $y_n in S$ so that $d(x_n , y_n)< varepsilon$. Thats what I prove!
– Chinnapparaj R
Nov 20 at 4:01
Yes for the first one! For the second one, dense means for any $x_n in Y$, there exists $y_n in S$ so that $d(x_n , y_n)< varepsilon$. Thats what I prove!
– Chinnapparaj R
Nov 20 at 4:01
Oh, I see it now, the sequences from $S$ that need to have nonempty intersection with the sequences from $Y$ for any ε>0. Im insisting on this definition because it is the one used in my book. Thanks for clarifying.
– Hypathius
Nov 20 at 4:06
Oh, I see it now, the sequences from $S$ that need to have nonempty intersection with the sequences from $Y$ for any ε>0. Im insisting on this definition because it is the one used in my book. Thanks for clarifying.
– Hypathius
Nov 20 at 4:06
add a comment |
Let $D$ be the set of sequences with rational values that have only at most finitely many non-zero values, This is essentially $bigcup_n mathbb{Q}^n$ so a countable set.
Then for any sequence $(x_n)$ tending to $0$ and any $varepsilon>0$ find $N$ such that all $|x_n| < frac{varepsilon}{2}$ for $n ge N$. Then note that $(x_1,ldots,x_N)$ can be approximated in the sup-metric (on $N$ coordinates) by a rational vector $(q_1,ldots,q_N)$ such that $sup_{i=1,ldots N} |x_i - q_i| < varepsilon$.
Then $(q_1,ldots, q_N,0,0,0,ldots)$ is in $D$ and in $B((x_n),varepsilon)$.
This shows density of $D$ in the set of sequences under consideration.
add a comment |
Let $D$ be the set of sequences with rational values that have only at most finitely many non-zero values, This is essentially $bigcup_n mathbb{Q}^n$ so a countable set.
Then for any sequence $(x_n)$ tending to $0$ and any $varepsilon>0$ find $N$ such that all $|x_n| < frac{varepsilon}{2}$ for $n ge N$. Then note that $(x_1,ldots,x_N)$ can be approximated in the sup-metric (on $N$ coordinates) by a rational vector $(q_1,ldots,q_N)$ such that $sup_{i=1,ldots N} |x_i - q_i| < varepsilon$.
Then $(q_1,ldots, q_N,0,0,0,ldots)$ is in $D$ and in $B((x_n),varepsilon)$.
This shows density of $D$ in the set of sequences under consideration.
add a comment |
Let $D$ be the set of sequences with rational values that have only at most finitely many non-zero values, This is essentially $bigcup_n mathbb{Q}^n$ so a countable set.
Then for any sequence $(x_n)$ tending to $0$ and any $varepsilon>0$ find $N$ such that all $|x_n| < frac{varepsilon}{2}$ for $n ge N$. Then note that $(x_1,ldots,x_N)$ can be approximated in the sup-metric (on $N$ coordinates) by a rational vector $(q_1,ldots,q_N)$ such that $sup_{i=1,ldots N} |x_i - q_i| < varepsilon$.
Then $(q_1,ldots, q_N,0,0,0,ldots)$ is in $D$ and in $B((x_n),varepsilon)$.
This shows density of $D$ in the set of sequences under consideration.
Let $D$ be the set of sequences with rational values that have only at most finitely many non-zero values, This is essentially $bigcup_n mathbb{Q}^n$ so a countable set.
Then for any sequence $(x_n)$ tending to $0$ and any $varepsilon>0$ find $N$ such that all $|x_n| < frac{varepsilon}{2}$ for $n ge N$. Then note that $(x_1,ldots,x_N)$ can be approximated in the sup-metric (on $N$ coordinates) by a rational vector $(q_1,ldots,q_N)$ such that $sup_{i=1,ldots N} |x_i - q_i| < varepsilon$.
Then $(q_1,ldots, q_N,0,0,0,ldots)$ is in $D$ and in $B((x_n),varepsilon)$.
This shows density of $D$ in the set of sequences under consideration.
answered Nov 20 at 4:37
Henno Brandsma
104k346113
104k346113
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.
Some of your past answers have not been well-received, and you're in danger of being blocked from answering.
Please pay close attention to the following guidance:
- 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.
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%2f3005885%2flet-y-be-the-subspace-of-b-bbb-n-bbb-f-consisting-of-those-sequences-ten%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
A dense subspace is all sequences of rational numbers (or rational real and imaginary part) that are eventually $0$. (What topology do you consider on the space of bounded sequences?)
– Mirko
Nov 20 at 3:16
Thanks for the coment. this question was in the chapter of my book about metric spaces so, I am not sure what type of topologies you could consider in the space of bounded sequences, but you could turn it into a metric space through the metric: D(f,g) := sup x∈S d(f(x), g(x)).
– Hypathius
Nov 20 at 3:31