Functional analysis completeness proof
$begingroup$
Heres a proof for $(C^{0}[0,1],left | . right |_{infty })$ being complete.
In red: Why does $f_k$ being a cauchy sequence imply that it converges? I thought the implication only holds the other way around (i.e. all convergent sequences are cauchy).
In green: Why are they showing that $f_k$ converges to $f$ uniformly. In the usual proofs ive seen of completeness they let a sequence of a sequence (i.e $(f_k)_p$ converge to a function in the vector space wrt to the norm but here $f_k$ isnt a sequence of a sequence so im not sure why they've done that.
functional-analysis
$endgroup$
add a comment |
$begingroup$
Heres a proof for $(C^{0}[0,1],left | . right |_{infty })$ being complete.
In red: Why does $f_k$ being a cauchy sequence imply that it converges? I thought the implication only holds the other way around (i.e. all convergent sequences are cauchy).
In green: Why are they showing that $f_k$ converges to $f$ uniformly. In the usual proofs ive seen of completeness they let a sequence of a sequence (i.e $(f_k)_p$ converge to a function in the vector space wrt to the norm but here $f_k$ isnt a sequence of a sequence so im not sure why they've done that.
functional-analysis
$endgroup$
add a comment |
$begingroup$
Heres a proof for $(C^{0}[0,1],left | . right |_{infty })$ being complete.
In red: Why does $f_k$ being a cauchy sequence imply that it converges? I thought the implication only holds the other way around (i.e. all convergent sequences are cauchy).
In green: Why are they showing that $f_k$ converges to $f$ uniformly. In the usual proofs ive seen of completeness they let a sequence of a sequence (i.e $(f_k)_p$ converge to a function in the vector space wrt to the norm but here $f_k$ isnt a sequence of a sequence so im not sure why they've done that.
functional-analysis
$endgroup$
Heres a proof for $(C^{0}[0,1],left | . right |_{infty })$ being complete.
In red: Why does $f_k$ being a cauchy sequence imply that it converges? I thought the implication only holds the other way around (i.e. all convergent sequences are cauchy).
In green: Why are they showing that $f_k$ converges to $f$ uniformly. In the usual proofs ive seen of completeness they let a sequence of a sequence (i.e $(f_k)_p$ converge to a function in the vector space wrt to the norm but here $f_k$ isnt a sequence of a sequence so im not sure why they've done that.
functional-analysis
functional-analysis
asked Dec 14 '18 at 17:25
NoteBookNoteBook
1197
1197
add a comment |
add a comment |
2 Answers
2
active
oldest
votes
$begingroup$
In red: We know $mathbb{R}$ (or $mathbb{C}$) is complete, so every Cuachy sequence of scalars converges to some scalar.
In green: We are showing that $(C[0,1],|cdot|_infty)$ is complete. By definition this means that every Cauchy sequence must converge to some function under the norm $|cdot|_infty$. This is also called uniform convergence.
$endgroup$
$begingroup$
Maybe im missing the obvious here but how do we know they are talking about scalars, the vector space is the space of continuous functions so wouldnt $f_k$ be a cont. function? Also where did you get the R and C part from as its not mentioned anywhere in the proof. Im new to functional analysis so still need help with the basic
$endgroup$
– NoteBook
Dec 14 '18 at 17:45
$begingroup$
In red: We are looking at ${f_k(x)}$ which is a sequence of scalars. That $mathbb{R}$ is complete is almost literally an axiom, and that $mathbb{C}$ is complete follows from the completeness of $mathbb{R}$ and the definition of $mathbb{C}$.
$endgroup$
– SmileyCraft
Dec 14 '18 at 17:47
$begingroup$
i get that R and C are complete but how did you deduce that $f_k$ are scalars as it can be a sequence of any continuous functions correct? For example $f_1$ = x where k =1 and $f_2$ = 2x and so on as these are continuous functions for x in [0,1]... that may not be the best example as f is taken to be cauchy but hopefully you get my point
$endgroup$
– NoteBook
Dec 14 '18 at 19:05
1
$begingroup$
We fix some $x$. I quote "so $f_k(x)$ converges for each fixed $xin[0,1]$." Thus $f_k(x)$ does not represent the function $f_k$, but rather the function $f_k$ evaluated at the $x$ that we have fixed.
$endgroup$
– SmileyCraft
Dec 14 '18 at 19:22
add a comment |
$begingroup$
In red: because it s puntual convergente and being Cauchy in $mathbb R$ is equivalente to being convergent.
In green: because convergente in $|cdot|_infty$ is exactly The uniform convergence.
$endgroup$
$begingroup$
If I understand your first point properly, you're saying that because $f_n$ is pointwise convergent, you have that $f_n(x)$ is convergent in $mathbb{R}$, and hence Cauchy. But, if that's the case, there is no such assumption that $f_n(x)$ pointwise converges. The Cauchiness is proven from the uniform Cauchiness, and convergence is deduced from completeness.
$endgroup$
– Theo Bendit
Dec 14 '18 at 18:22
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%2f3039670%2ffunctional-analysis-completeness-proof%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
$begingroup$
In red: We know $mathbb{R}$ (or $mathbb{C}$) is complete, so every Cuachy sequence of scalars converges to some scalar.
In green: We are showing that $(C[0,1],|cdot|_infty)$ is complete. By definition this means that every Cauchy sequence must converge to some function under the norm $|cdot|_infty$. This is also called uniform convergence.
$endgroup$
$begingroup$
Maybe im missing the obvious here but how do we know they are talking about scalars, the vector space is the space of continuous functions so wouldnt $f_k$ be a cont. function? Also where did you get the R and C part from as its not mentioned anywhere in the proof. Im new to functional analysis so still need help with the basic
$endgroup$
– NoteBook
Dec 14 '18 at 17:45
$begingroup$
In red: We are looking at ${f_k(x)}$ which is a sequence of scalars. That $mathbb{R}$ is complete is almost literally an axiom, and that $mathbb{C}$ is complete follows from the completeness of $mathbb{R}$ and the definition of $mathbb{C}$.
$endgroup$
– SmileyCraft
Dec 14 '18 at 17:47
$begingroup$
i get that R and C are complete but how did you deduce that $f_k$ are scalars as it can be a sequence of any continuous functions correct? For example $f_1$ = x where k =1 and $f_2$ = 2x and so on as these are continuous functions for x in [0,1]... that may not be the best example as f is taken to be cauchy but hopefully you get my point
$endgroup$
– NoteBook
Dec 14 '18 at 19:05
1
$begingroup$
We fix some $x$. I quote "so $f_k(x)$ converges for each fixed $xin[0,1]$." Thus $f_k(x)$ does not represent the function $f_k$, but rather the function $f_k$ evaluated at the $x$ that we have fixed.
$endgroup$
– SmileyCraft
Dec 14 '18 at 19:22
add a comment |
$begingroup$
In red: We know $mathbb{R}$ (or $mathbb{C}$) is complete, so every Cuachy sequence of scalars converges to some scalar.
In green: We are showing that $(C[0,1],|cdot|_infty)$ is complete. By definition this means that every Cauchy sequence must converge to some function under the norm $|cdot|_infty$. This is also called uniform convergence.
$endgroup$
$begingroup$
Maybe im missing the obvious here but how do we know they are talking about scalars, the vector space is the space of continuous functions so wouldnt $f_k$ be a cont. function? Also where did you get the R and C part from as its not mentioned anywhere in the proof. Im new to functional analysis so still need help with the basic
$endgroup$
– NoteBook
Dec 14 '18 at 17:45
$begingroup$
In red: We are looking at ${f_k(x)}$ which is a sequence of scalars. That $mathbb{R}$ is complete is almost literally an axiom, and that $mathbb{C}$ is complete follows from the completeness of $mathbb{R}$ and the definition of $mathbb{C}$.
$endgroup$
– SmileyCraft
Dec 14 '18 at 17:47
$begingroup$
i get that R and C are complete but how did you deduce that $f_k$ are scalars as it can be a sequence of any continuous functions correct? For example $f_1$ = x where k =1 and $f_2$ = 2x and so on as these are continuous functions for x in [0,1]... that may not be the best example as f is taken to be cauchy but hopefully you get my point
$endgroup$
– NoteBook
Dec 14 '18 at 19:05
1
$begingroup$
We fix some $x$. I quote "so $f_k(x)$ converges for each fixed $xin[0,1]$." Thus $f_k(x)$ does not represent the function $f_k$, but rather the function $f_k$ evaluated at the $x$ that we have fixed.
$endgroup$
– SmileyCraft
Dec 14 '18 at 19:22
add a comment |
$begingroup$
In red: We know $mathbb{R}$ (or $mathbb{C}$) is complete, so every Cuachy sequence of scalars converges to some scalar.
In green: We are showing that $(C[0,1],|cdot|_infty)$ is complete. By definition this means that every Cauchy sequence must converge to some function under the norm $|cdot|_infty$. This is also called uniform convergence.
$endgroup$
In red: We know $mathbb{R}$ (or $mathbb{C}$) is complete, so every Cuachy sequence of scalars converges to some scalar.
In green: We are showing that $(C[0,1],|cdot|_infty)$ is complete. By definition this means that every Cauchy sequence must converge to some function under the norm $|cdot|_infty$. This is also called uniform convergence.
answered Dec 14 '18 at 17:30
SmileyCraftSmileyCraft
3,591517
3,591517
$begingroup$
Maybe im missing the obvious here but how do we know they are talking about scalars, the vector space is the space of continuous functions so wouldnt $f_k$ be a cont. function? Also where did you get the R and C part from as its not mentioned anywhere in the proof. Im new to functional analysis so still need help with the basic
$endgroup$
– NoteBook
Dec 14 '18 at 17:45
$begingroup$
In red: We are looking at ${f_k(x)}$ which is a sequence of scalars. That $mathbb{R}$ is complete is almost literally an axiom, and that $mathbb{C}$ is complete follows from the completeness of $mathbb{R}$ and the definition of $mathbb{C}$.
$endgroup$
– SmileyCraft
Dec 14 '18 at 17:47
$begingroup$
i get that R and C are complete but how did you deduce that $f_k$ are scalars as it can be a sequence of any continuous functions correct? For example $f_1$ = x where k =1 and $f_2$ = 2x and so on as these are continuous functions for x in [0,1]... that may not be the best example as f is taken to be cauchy but hopefully you get my point
$endgroup$
– NoteBook
Dec 14 '18 at 19:05
1
$begingroup$
We fix some $x$. I quote "so $f_k(x)$ converges for each fixed $xin[0,1]$." Thus $f_k(x)$ does not represent the function $f_k$, but rather the function $f_k$ evaluated at the $x$ that we have fixed.
$endgroup$
– SmileyCraft
Dec 14 '18 at 19:22
add a comment |
$begingroup$
Maybe im missing the obvious here but how do we know they are talking about scalars, the vector space is the space of continuous functions so wouldnt $f_k$ be a cont. function? Also where did you get the R and C part from as its not mentioned anywhere in the proof. Im new to functional analysis so still need help with the basic
$endgroup$
– NoteBook
Dec 14 '18 at 17:45
$begingroup$
In red: We are looking at ${f_k(x)}$ which is a sequence of scalars. That $mathbb{R}$ is complete is almost literally an axiom, and that $mathbb{C}$ is complete follows from the completeness of $mathbb{R}$ and the definition of $mathbb{C}$.
$endgroup$
– SmileyCraft
Dec 14 '18 at 17:47
$begingroup$
i get that R and C are complete but how did you deduce that $f_k$ are scalars as it can be a sequence of any continuous functions correct? For example $f_1$ = x where k =1 and $f_2$ = 2x and so on as these are continuous functions for x in [0,1]... that may not be the best example as f is taken to be cauchy but hopefully you get my point
$endgroup$
– NoteBook
Dec 14 '18 at 19:05
1
$begingroup$
We fix some $x$. I quote "so $f_k(x)$ converges for each fixed $xin[0,1]$." Thus $f_k(x)$ does not represent the function $f_k$, but rather the function $f_k$ evaluated at the $x$ that we have fixed.
$endgroup$
– SmileyCraft
Dec 14 '18 at 19:22
$begingroup$
Maybe im missing the obvious here but how do we know they are talking about scalars, the vector space is the space of continuous functions so wouldnt $f_k$ be a cont. function? Also where did you get the R and C part from as its not mentioned anywhere in the proof. Im new to functional analysis so still need help with the basic
$endgroup$
– NoteBook
Dec 14 '18 at 17:45
$begingroup$
Maybe im missing the obvious here but how do we know they are talking about scalars, the vector space is the space of continuous functions so wouldnt $f_k$ be a cont. function? Also where did you get the R and C part from as its not mentioned anywhere in the proof. Im new to functional analysis so still need help with the basic
$endgroup$
– NoteBook
Dec 14 '18 at 17:45
$begingroup$
In red: We are looking at ${f_k(x)}$ which is a sequence of scalars. That $mathbb{R}$ is complete is almost literally an axiom, and that $mathbb{C}$ is complete follows from the completeness of $mathbb{R}$ and the definition of $mathbb{C}$.
$endgroup$
– SmileyCraft
Dec 14 '18 at 17:47
$begingroup$
In red: We are looking at ${f_k(x)}$ which is a sequence of scalars. That $mathbb{R}$ is complete is almost literally an axiom, and that $mathbb{C}$ is complete follows from the completeness of $mathbb{R}$ and the definition of $mathbb{C}$.
$endgroup$
– SmileyCraft
Dec 14 '18 at 17:47
$begingroup$
i get that R and C are complete but how did you deduce that $f_k$ are scalars as it can be a sequence of any continuous functions correct? For example $f_1$ = x where k =1 and $f_2$ = 2x and so on as these are continuous functions for x in [0,1]... that may not be the best example as f is taken to be cauchy but hopefully you get my point
$endgroup$
– NoteBook
Dec 14 '18 at 19:05
$begingroup$
i get that R and C are complete but how did you deduce that $f_k$ are scalars as it can be a sequence of any continuous functions correct? For example $f_1$ = x where k =1 and $f_2$ = 2x and so on as these are continuous functions for x in [0,1]... that may not be the best example as f is taken to be cauchy but hopefully you get my point
$endgroup$
– NoteBook
Dec 14 '18 at 19:05
1
1
$begingroup$
We fix some $x$. I quote "so $f_k(x)$ converges for each fixed $xin[0,1]$." Thus $f_k(x)$ does not represent the function $f_k$, but rather the function $f_k$ evaluated at the $x$ that we have fixed.
$endgroup$
– SmileyCraft
Dec 14 '18 at 19:22
$begingroup$
We fix some $x$. I quote "so $f_k(x)$ converges for each fixed $xin[0,1]$." Thus $f_k(x)$ does not represent the function $f_k$, but rather the function $f_k$ evaluated at the $x$ that we have fixed.
$endgroup$
– SmileyCraft
Dec 14 '18 at 19:22
add a comment |
$begingroup$
In red: because it s puntual convergente and being Cauchy in $mathbb R$ is equivalente to being convergent.
In green: because convergente in $|cdot|_infty$ is exactly The uniform convergence.
$endgroup$
$begingroup$
If I understand your first point properly, you're saying that because $f_n$ is pointwise convergent, you have that $f_n(x)$ is convergent in $mathbb{R}$, and hence Cauchy. But, if that's the case, there is no such assumption that $f_n(x)$ pointwise converges. The Cauchiness is proven from the uniform Cauchiness, and convergence is deduced from completeness.
$endgroup$
– Theo Bendit
Dec 14 '18 at 18:22
add a comment |
$begingroup$
In red: because it s puntual convergente and being Cauchy in $mathbb R$ is equivalente to being convergent.
In green: because convergente in $|cdot|_infty$ is exactly The uniform convergence.
$endgroup$
$begingroup$
If I understand your first point properly, you're saying that because $f_n$ is pointwise convergent, you have that $f_n(x)$ is convergent in $mathbb{R}$, and hence Cauchy. But, if that's the case, there is no such assumption that $f_n(x)$ pointwise converges. The Cauchiness is proven from the uniform Cauchiness, and convergence is deduced from completeness.
$endgroup$
– Theo Bendit
Dec 14 '18 at 18:22
add a comment |
$begingroup$
In red: because it s puntual convergente and being Cauchy in $mathbb R$ is equivalente to being convergent.
In green: because convergente in $|cdot|_infty$ is exactly The uniform convergence.
$endgroup$
In red: because it s puntual convergente and being Cauchy in $mathbb R$ is equivalente to being convergent.
In green: because convergente in $|cdot|_infty$ is exactly The uniform convergence.
answered Dec 14 '18 at 17:33
Tito EliatronTito Eliatron
1,601622
1,601622
$begingroup$
If I understand your first point properly, you're saying that because $f_n$ is pointwise convergent, you have that $f_n(x)$ is convergent in $mathbb{R}$, and hence Cauchy. But, if that's the case, there is no such assumption that $f_n(x)$ pointwise converges. The Cauchiness is proven from the uniform Cauchiness, and convergence is deduced from completeness.
$endgroup$
– Theo Bendit
Dec 14 '18 at 18:22
add a comment |
$begingroup$
If I understand your first point properly, you're saying that because $f_n$ is pointwise convergent, you have that $f_n(x)$ is convergent in $mathbb{R}$, and hence Cauchy. But, if that's the case, there is no such assumption that $f_n(x)$ pointwise converges. The Cauchiness is proven from the uniform Cauchiness, and convergence is deduced from completeness.
$endgroup$
– Theo Bendit
Dec 14 '18 at 18:22
$begingroup$
If I understand your first point properly, you're saying that because $f_n$ is pointwise convergent, you have that $f_n(x)$ is convergent in $mathbb{R}$, and hence Cauchy. But, if that's the case, there is no such assumption that $f_n(x)$ pointwise converges. The Cauchiness is proven from the uniform Cauchiness, and convergence is deduced from completeness.
$endgroup$
– Theo Bendit
Dec 14 '18 at 18:22
$begingroup$
If I understand your first point properly, you're saying that because $f_n$ is pointwise convergent, you have that $f_n(x)$ is convergent in $mathbb{R}$, and hence Cauchy. But, if that's the case, there is no such assumption that $f_n(x)$ pointwise converges. The Cauchiness is proven from the uniform Cauchiness, and convergence is deduced from completeness.
$endgroup$
– Theo Bendit
Dec 14 '18 at 18:22
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%2f3039670%2ffunctional-analysis-completeness-proof%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