Proof Understanding: E Normed space, F Banach space implies $L(E,F)$ is a Banach Space..
up vote
0
down vote
favorite
I am working through Hueser's Functional Analysis and have come across the proof (7.4) that:
If E is a normed space and F is a Banach space then $L(E,F)$, the set of continuous linear transformations from E to F is a Banach space.
The proof constructs a Cauchy sequence of operators and uses the fact that F is a Banach space to arrive at the result:
begin{equation} ||A_nx-Ax|| < epsilon||x|| end{equation}
Where $A_nx rightarrow Ax$ in F and ${A_j}$ constitutes a Cauchy sequence of operators.
My confusion arises as to how this implies $A_n rightarrow A$ as the author's just arrives at this result in the next line with no explanation.
My idea is that because $Ax$ is linear and continuous and E is a Vector space so contains the identity therefore set $x=1$ and get the result.
However any clarification or hints would be appreciated.
functional-analysis banach-spaces
add a comment |
up vote
0
down vote
favorite
I am working through Hueser's Functional Analysis and have come across the proof (7.4) that:
If E is a normed space and F is a Banach space then $L(E,F)$, the set of continuous linear transformations from E to F is a Banach space.
The proof constructs a Cauchy sequence of operators and uses the fact that F is a Banach space to arrive at the result:
begin{equation} ||A_nx-Ax|| < epsilon||x|| end{equation}
Where $A_nx rightarrow Ax$ in F and ${A_j}$ constitutes a Cauchy sequence of operators.
My confusion arises as to how this implies $A_n rightarrow A$ as the author's just arrives at this result in the next line with no explanation.
My idea is that because $Ax$ is linear and continuous and E is a Vector space so contains the identity therefore set $x=1$ and get the result.
However any clarification or hints would be appreciated.
functional-analysis banach-spaces
1
Us definition of $|A_n-A|$.
– Kavi Rama Murthy
Nov 13 at 10:32
@KaviRamaMurthy Ah of course! Thank you
– ocallam
Nov 13 at 10:36
add a comment |
up vote
0
down vote
favorite
up vote
0
down vote
favorite
I am working through Hueser's Functional Analysis and have come across the proof (7.4) that:
If E is a normed space and F is a Banach space then $L(E,F)$, the set of continuous linear transformations from E to F is a Banach space.
The proof constructs a Cauchy sequence of operators and uses the fact that F is a Banach space to arrive at the result:
begin{equation} ||A_nx-Ax|| < epsilon||x|| end{equation}
Where $A_nx rightarrow Ax$ in F and ${A_j}$ constitutes a Cauchy sequence of operators.
My confusion arises as to how this implies $A_n rightarrow A$ as the author's just arrives at this result in the next line with no explanation.
My idea is that because $Ax$ is linear and continuous and E is a Vector space so contains the identity therefore set $x=1$ and get the result.
However any clarification or hints would be appreciated.
functional-analysis banach-spaces
I am working through Hueser's Functional Analysis and have come across the proof (7.4) that:
If E is a normed space and F is a Banach space then $L(E,F)$, the set of continuous linear transformations from E to F is a Banach space.
The proof constructs a Cauchy sequence of operators and uses the fact that F is a Banach space to arrive at the result:
begin{equation} ||A_nx-Ax|| < epsilon||x|| end{equation}
Where $A_nx rightarrow Ax$ in F and ${A_j}$ constitutes a Cauchy sequence of operators.
My confusion arises as to how this implies $A_n rightarrow A$ as the author's just arrives at this result in the next line with no explanation.
My idea is that because $Ax$ is linear and continuous and E is a Vector space so contains the identity therefore set $x=1$ and get the result.
However any clarification or hints would be appreciated.
functional-analysis banach-spaces
functional-analysis banach-spaces
asked Nov 13 at 10:28
ocallam
19212
19212
1
Us definition of $|A_n-A|$.
– Kavi Rama Murthy
Nov 13 at 10:32
@KaviRamaMurthy Ah of course! Thank you
– ocallam
Nov 13 at 10:36
add a comment |
1
Us definition of $|A_n-A|$.
– Kavi Rama Murthy
Nov 13 at 10:32
@KaviRamaMurthy Ah of course! Thank you
– ocallam
Nov 13 at 10:36
1
1
Us definition of $|A_n-A|$.
– Kavi Rama Murthy
Nov 13 at 10:32
Us definition of $|A_n-A|$.
– Kavi Rama Murthy
Nov 13 at 10:32
@KaviRamaMurthy Ah of course! Thank you
– ocallam
Nov 13 at 10:36
@KaviRamaMurthy Ah of course! Thank you
– ocallam
Nov 13 at 10:36
add a comment |
1 Answer
1
active
oldest
votes
up vote
0
down vote
To show that $A_n to A$ in $L(E,F)$, we need to show that $||A_n - A|| to 0$, which is equivalent to saying that for any $epsilon > 0$, there exists $N$ such that if $n > N$ , we have $||A_n - A|| < epsilon$.
However, $||A_n - A|| < epsilon$ is the same as $||(A_n - A)x|| < epsilon ||x||$ for all $x in E$ , which is the same as $||A_n x - Ax|| < epsilon ||x||$ for all $x in E$, which is the statement you have.
In other words, the last statement is the assertion that $||A_n - A|| < epsilon$, which was to be shown for showing $A_n to A$. This equivalence was omitted in the text since it nearly follows by definition.
add a comment |
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
up vote
0
down vote
To show that $A_n to A$ in $L(E,F)$, we need to show that $||A_n - A|| to 0$, which is equivalent to saying that for any $epsilon > 0$, there exists $N$ such that if $n > N$ , we have $||A_n - A|| < epsilon$.
However, $||A_n - A|| < epsilon$ is the same as $||(A_n - A)x|| < epsilon ||x||$ for all $x in E$ , which is the same as $||A_n x - Ax|| < epsilon ||x||$ for all $x in E$, which is the statement you have.
In other words, the last statement is the assertion that $||A_n - A|| < epsilon$, which was to be shown for showing $A_n to A$. This equivalence was omitted in the text since it nearly follows by definition.
add a comment |
up vote
0
down vote
To show that $A_n to A$ in $L(E,F)$, we need to show that $||A_n - A|| to 0$, which is equivalent to saying that for any $epsilon > 0$, there exists $N$ such that if $n > N$ , we have $||A_n - A|| < epsilon$.
However, $||A_n - A|| < epsilon$ is the same as $||(A_n - A)x|| < epsilon ||x||$ for all $x in E$ , which is the same as $||A_n x - Ax|| < epsilon ||x||$ for all $x in E$, which is the statement you have.
In other words, the last statement is the assertion that $||A_n - A|| < epsilon$, which was to be shown for showing $A_n to A$. This equivalence was omitted in the text since it nearly follows by definition.
add a comment |
up vote
0
down vote
up vote
0
down vote
To show that $A_n to A$ in $L(E,F)$, we need to show that $||A_n - A|| to 0$, which is equivalent to saying that for any $epsilon > 0$, there exists $N$ such that if $n > N$ , we have $||A_n - A|| < epsilon$.
However, $||A_n - A|| < epsilon$ is the same as $||(A_n - A)x|| < epsilon ||x||$ for all $x in E$ , which is the same as $||A_n x - Ax|| < epsilon ||x||$ for all $x in E$, which is the statement you have.
In other words, the last statement is the assertion that $||A_n - A|| < epsilon$, which was to be shown for showing $A_n to A$. This equivalence was omitted in the text since it nearly follows by definition.
To show that $A_n to A$ in $L(E,F)$, we need to show that $||A_n - A|| to 0$, which is equivalent to saying that for any $epsilon > 0$, there exists $N$ such that if $n > N$ , we have $||A_n - A|| < epsilon$.
However, $||A_n - A|| < epsilon$ is the same as $||(A_n - A)x|| < epsilon ||x||$ for all $x in E$ , which is the same as $||A_n x - Ax|| < epsilon ||x||$ for all $x in E$, which is the statement you have.
In other words, the last statement is the assertion that $||A_n - A|| < epsilon$, which was to be shown for showing $A_n to A$. This equivalence was omitted in the text since it nearly follows by definition.
answered Nov 13 at 10:52
астон вілла олоф мэллбэрг
36.2k33375
36.2k33375
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
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2996574%2fproof-understanding-e-normed-space-f-banach-space-implies-le-f-is-a-banach%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
1
Us definition of $|A_n-A|$.
– Kavi Rama Murthy
Nov 13 at 10:32
@KaviRamaMurthy Ah of course! Thank you
– ocallam
Nov 13 at 10:36