Non-unitary isometries in $B(H)$ are far away from invertible elements

Clash Royale CLAN TAG#URR8PPP
up vote
4
down vote
favorite
I am struggling with the second part of this problem:
Let $A$ be a unital Banach Algebra, and let $x$ and $y$ be elements in A such that that $xy=1_A$ and $yxneq1_A$.
(i) Let $z$ be an element in $A$, such that $|x-z|<frac1$. Show that $z$ is not invertible.
(ii) Let $H$ be an infinite dimensional Hilbert space. Let $Sin B(H)$ be a non-unitary isometry (i.e. $S^*S=I$ and $SS^* neq I$).
Show that $$1=|S|=textrmdist(S,G(B(H))),$$ where $G(B(H))$ is the subset of invertible elements in $B(H)$.
This is the progress, I have made: I have finished the proof of part (i) using the fact that if $|1_A-x|<1$, for some $xin A$, then $x$ is invertible . Further, it is easy to see that $|S|=|S^*|=1$. It therefore follows from part (i) that $textrmdist(S^*, G(B(H))geq 1$. Finally, it is evident that neither $S$ nor $S^*$ are invertible.
Any hints would be appreciated.
real-analysis functional-analysis operator-theory operator-algebras banach-algebras
 |Â
show 2 more comments
up vote
4
down vote
favorite
I am struggling with the second part of this problem:
Let $A$ be a unital Banach Algebra, and let $x$ and $y$ be elements in A such that that $xy=1_A$ and $yxneq1_A$.
(i) Let $z$ be an element in $A$, such that $|x-z|<frac1$. Show that $z$ is not invertible.
(ii) Let $H$ be an infinite dimensional Hilbert space. Let $Sin B(H)$ be a non-unitary isometry (i.e. $S^*S=I$ and $SS^* neq I$).
Show that $$1=|S|=textrmdist(S,G(B(H))),$$ where $G(B(H))$ is the subset of invertible elements in $B(H)$.
This is the progress, I have made: I have finished the proof of part (i) using the fact that if $|1_A-x|<1$, for some $xin A$, then $x$ is invertible . Further, it is easy to see that $|S|=|S^*|=1$. It therefore follows from part (i) that $textrmdist(S^*, G(B(H))geq 1$. Finally, it is evident that neither $S$ nor $S^*$ are invertible.
Any hints would be appreciated.
real-analysis functional-analysis operator-theory operator-algebras banach-algebras
1
I'm still trying to understand this myself, but it may help to know that you can show $textrmdist(S, G(B(H))geq 1$ using a statement analogous to(and just as easy to prove as) part (i).
â Aweygan
Feb 17 '17 at 20:17
@Aweygan. You are right about that. Thanks. Now we only need to show the other inequality sign.
â Kimarokko
Feb 17 '17 at 22:13
You're welcome. May I ask where this problem comes from? Is it an exercise from a book?
â Aweygan
Feb 17 '17 at 23:11
1
You are done, because $|S-A|=|S^*-A^*|$, and $A$ is invertible if and only if $A^*$ is, so $S$ and $S^*$ have the same distance from the invertible elements.
â Christian Remling
Feb 18 '17 at 0:43
2
@Kimarokko: I missed that part, but it's clear too: you already showed that the distance is $ge 1$, and it's $le 1$ because $|S|=1$ and $epsilon I$ is invertible for all $epsilonnot= 0$.
â Christian Remling
Feb 18 '17 at 17:40
 |Â
show 2 more comments
up vote
4
down vote
favorite
up vote
4
down vote
favorite
I am struggling with the second part of this problem:
Let $A$ be a unital Banach Algebra, and let $x$ and $y$ be elements in A such that that $xy=1_A$ and $yxneq1_A$.
(i) Let $z$ be an element in $A$, such that $|x-z|<frac1$. Show that $z$ is not invertible.
(ii) Let $H$ be an infinite dimensional Hilbert space. Let $Sin B(H)$ be a non-unitary isometry (i.e. $S^*S=I$ and $SS^* neq I$).
Show that $$1=|S|=textrmdist(S,G(B(H))),$$ where $G(B(H))$ is the subset of invertible elements in $B(H)$.
This is the progress, I have made: I have finished the proof of part (i) using the fact that if $|1_A-x|<1$, for some $xin A$, then $x$ is invertible . Further, it is easy to see that $|S|=|S^*|=1$. It therefore follows from part (i) that $textrmdist(S^*, G(B(H))geq 1$. Finally, it is evident that neither $S$ nor $S^*$ are invertible.
Any hints would be appreciated.
real-analysis functional-analysis operator-theory operator-algebras banach-algebras
I am struggling with the second part of this problem:
Let $A$ be a unital Banach Algebra, and let $x$ and $y$ be elements in A such that that $xy=1_A$ and $yxneq1_A$.
(i) Let $z$ be an element in $A$, such that $|x-z|<frac1$. Show that $z$ is not invertible.
(ii) Let $H$ be an infinite dimensional Hilbert space. Let $Sin B(H)$ be a non-unitary isometry (i.e. $S^*S=I$ and $SS^* neq I$).
Show that $$1=|S|=textrmdist(S,G(B(H))),$$ where $G(B(H))$ is the subset of invertible elements in $B(H)$.
This is the progress, I have made: I have finished the proof of part (i) using the fact that if $|1_A-x|<1$, for some $xin A$, then $x$ is invertible . Further, it is easy to see that $|S|=|S^*|=1$. It therefore follows from part (i) that $textrmdist(S^*, G(B(H))geq 1$. Finally, it is evident that neither $S$ nor $S^*$ are invertible.
Any hints would be appreciated.
real-analysis functional-analysis operator-theory operator-algebras banach-algebras
edited Feb 17 '17 at 16:01
asked Feb 17 '17 at 11:16
Kimarokko
1088
1088
1
I'm still trying to understand this myself, but it may help to know that you can show $textrmdist(S, G(B(H))geq 1$ using a statement analogous to(and just as easy to prove as) part (i).
â Aweygan
Feb 17 '17 at 20:17
@Aweygan. You are right about that. Thanks. Now we only need to show the other inequality sign.
â Kimarokko
Feb 17 '17 at 22:13
You're welcome. May I ask where this problem comes from? Is it an exercise from a book?
â Aweygan
Feb 17 '17 at 23:11
1
You are done, because $|S-A|=|S^*-A^*|$, and $A$ is invertible if and only if $A^*$ is, so $S$ and $S^*$ have the same distance from the invertible elements.
â Christian Remling
Feb 18 '17 at 0:43
2
@Kimarokko: I missed that part, but it's clear too: you already showed that the distance is $ge 1$, and it's $le 1$ because $|S|=1$ and $epsilon I$ is invertible for all $epsilonnot= 0$.
â Christian Remling
Feb 18 '17 at 17:40
 |Â
show 2 more comments
1
I'm still trying to understand this myself, but it may help to know that you can show $textrmdist(S, G(B(H))geq 1$ using a statement analogous to(and just as easy to prove as) part (i).
â Aweygan
Feb 17 '17 at 20:17
@Aweygan. You are right about that. Thanks. Now we only need to show the other inequality sign.
â Kimarokko
Feb 17 '17 at 22:13
You're welcome. May I ask where this problem comes from? Is it an exercise from a book?
â Aweygan
Feb 17 '17 at 23:11
1
You are done, because $|S-A|=|S^*-A^*|$, and $A$ is invertible if and only if $A^*$ is, so $S$ and $S^*$ have the same distance from the invertible elements.
â Christian Remling
Feb 18 '17 at 0:43
2
@Kimarokko: I missed that part, but it's clear too: you already showed that the distance is $ge 1$, and it's $le 1$ because $|S|=1$ and $epsilon I$ is invertible for all $epsilonnot= 0$.
â Christian Remling
Feb 18 '17 at 17:40
1
1
I'm still trying to understand this myself, but it may help to know that you can show $textrmdist(S, G(B(H))geq 1$ using a statement analogous to(and just as easy to prove as) part (i).
â Aweygan
Feb 17 '17 at 20:17
I'm still trying to understand this myself, but it may help to know that you can show $textrmdist(S, G(B(H))geq 1$ using a statement analogous to(and just as easy to prove as) part (i).
â Aweygan
Feb 17 '17 at 20:17
@Aweygan. You are right about that. Thanks. Now we only need to show the other inequality sign.
â Kimarokko
Feb 17 '17 at 22:13
@Aweygan. You are right about that. Thanks. Now we only need to show the other inequality sign.
â Kimarokko
Feb 17 '17 at 22:13
You're welcome. May I ask where this problem comes from? Is it an exercise from a book?
â Aweygan
Feb 17 '17 at 23:11
You're welcome. May I ask where this problem comes from? Is it an exercise from a book?
â Aweygan
Feb 17 '17 at 23:11
1
1
You are done, because $|S-A|=|S^*-A^*|$, and $A$ is invertible if and only if $A^*$ is, so $S$ and $S^*$ have the same distance from the invertible elements.
â Christian Remling
Feb 18 '17 at 0:43
You are done, because $|S-A|=|S^*-A^*|$, and $A$ is invertible if and only if $A^*$ is, so $S$ and $S^*$ have the same distance from the invertible elements.
â Christian Remling
Feb 18 '17 at 0:43
2
2
@Kimarokko: I missed that part, but it's clear too: you already showed that the distance is $ge 1$, and it's $le 1$ because $|S|=1$ and $epsilon I$ is invertible for all $epsilonnot= 0$.
â Christian Remling
Feb 18 '17 at 17:40
@Kimarokko: I missed that part, but it's clear too: you already showed that the distance is $ge 1$, and it's $le 1$ because $|S|=1$ and $epsilon I$ is invertible for all $epsilonnot= 0$.
â Christian Remling
Feb 18 '17 at 17:40
 |Â
show 2 more comments
1 Answer
1
active
oldest
votes
up vote
2
down vote
We have $|varepsilon I-S|geq1$, since $|I-S|<1$ would imply that $S$ is invertible. So $$1=|S|leq|varepsilon I-S|leq |S|+varepsilon$$ for all $varepsilon>0$. Thus $textdist,(S^*,G(B(H)))leq1+varepsilon$ for all $varepsilon >0$, and thus
$$tag1
textdist,(S,G(B(H)))leq1.
$$
On the other hand, using $(i)$ we have that if $T$ is invertible, then
$$tag2
|S-T|geqfrac1S=1.
$$
Combining $(1)$ and $(2)$, we get $$textdist,(S,G(B(H)))=1.$$
add a comment |Â
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
up vote
2
down vote
We have $|varepsilon I-S|geq1$, since $|I-S|<1$ would imply that $S$ is invertible. So $$1=|S|leq|varepsilon I-S|leq |S|+varepsilon$$ for all $varepsilon>0$. Thus $textdist,(S^*,G(B(H)))leq1+varepsilon$ for all $varepsilon >0$, and thus
$$tag1
textdist,(S,G(B(H)))leq1.
$$
On the other hand, using $(i)$ we have that if $T$ is invertible, then
$$tag2
|S-T|geqfrac1S=1.
$$
Combining $(1)$ and $(2)$, we get $$textdist,(S,G(B(H)))=1.$$
add a comment |Â
up vote
2
down vote
We have $|varepsilon I-S|geq1$, since $|I-S|<1$ would imply that $S$ is invertible. So $$1=|S|leq|varepsilon I-S|leq |S|+varepsilon$$ for all $varepsilon>0$. Thus $textdist,(S^*,G(B(H)))leq1+varepsilon$ for all $varepsilon >0$, and thus
$$tag1
textdist,(S,G(B(H)))leq1.
$$
On the other hand, using $(i)$ we have that if $T$ is invertible, then
$$tag2
|S-T|geqfrac1S=1.
$$
Combining $(1)$ and $(2)$, we get $$textdist,(S,G(B(H)))=1.$$
add a comment |Â
up vote
2
down vote
up vote
2
down vote
We have $|varepsilon I-S|geq1$, since $|I-S|<1$ would imply that $S$ is invertible. So $$1=|S|leq|varepsilon I-S|leq |S|+varepsilon$$ for all $varepsilon>0$. Thus $textdist,(S^*,G(B(H)))leq1+varepsilon$ for all $varepsilon >0$, and thus
$$tag1
textdist,(S,G(B(H)))leq1.
$$
On the other hand, using $(i)$ we have that if $T$ is invertible, then
$$tag2
|S-T|geqfrac1S=1.
$$
Combining $(1)$ and $(2)$, we get $$textdist,(S,G(B(H)))=1.$$
We have $|varepsilon I-S|geq1$, since $|I-S|<1$ would imply that $S$ is invertible. So $$1=|S|leq|varepsilon I-S|leq |S|+varepsilon$$ for all $varepsilon>0$. Thus $textdist,(S^*,G(B(H)))leq1+varepsilon$ for all $varepsilon >0$, and thus
$$tag1
textdist,(S,G(B(H)))leq1.
$$
On the other hand, using $(i)$ we have that if $T$ is invertible, then
$$tag2
|S-T|geqfrac1S=1.
$$
Combining $(1)$ and $(2)$, we get $$textdist,(S,G(B(H)))=1.$$
edited Aug 7 at 17:09
answered Feb 24 '17 at 1:33
Martin Argerami
116k1071164
116k1071164
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
StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2148625%2fnon-unitary-isometries-in-bh-are-far-away-from-invertible-elements%23new-answer', 'question_page');
);
Post as a guest
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
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
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
1
I'm still trying to understand this myself, but it may help to know that you can show $textrmdist(S, G(B(H))geq 1$ using a statement analogous to(and just as easy to prove as) part (i).
â Aweygan
Feb 17 '17 at 20:17
@Aweygan. You are right about that. Thanks. Now we only need to show the other inequality sign.
â Kimarokko
Feb 17 '17 at 22:13
You're welcome. May I ask where this problem comes from? Is it an exercise from a book?
â Aweygan
Feb 17 '17 at 23:11
1
You are done, because $|S-A|=|S^*-A^*|$, and $A$ is invertible if and only if $A^*$ is, so $S$ and $S^*$ have the same distance from the invertible elements.
â Christian Remling
Feb 18 '17 at 0:43
2
@Kimarokko: I missed that part, but it's clear too: you already showed that the distance is $ge 1$, and it's $le 1$ because $|S|=1$ and $epsilon I$ is invertible for all $epsilonnot= 0$.
â Christian Remling
Feb 18 '17 at 17:40