Apparent (?) contraddiction with bounded operators

The name of the pictureThe name of the pictureThe name of the pictureClash Royale CLAN TAG#URR8PPP











up vote
-1
down vote

favorite












In mathematics, we can define
$l_2(mathbbN)= $$ $$x_i$$,hspace2mm $with$ hspace2mm x_i in mathbbN .



The following theorem can be simply proved:




Consider an operator $hatT in mathbbB$. If $hatT geq 0$,b then $hatT=hatT^*$.




I have to prove the following result:




Let $hatTinmathbbL(l_2(mathbbN)) | forall $$x_n$$in l_2(mathbbN)$, $nin mathbbN$, $hatT(x_n) = x_n+1/n$.

Prove that $hatT$ is bounded and calculate $hatT^*$.




Note that I used the notation: $mathbbL()$ for the linearity, $mathbbB$ for the bounded operators'set and $ hatT^*$ for the adjoint.



Well, the first proof is trivial and if I calculate the adjoint I discover that $hatT neq hatT^*$.



But, it is simple to show that $hatT geq 0$ and using the theorem it should result $hatT = hatT^*.$ Why I obtained 2 different results? Could anyone show me where I did wrong?







share|cite|improve this question











migrated from physics.stackexchange.com Jul 24 at 12:57


This question came from our site for active researchers, academics and students of physics.














  • $hatT$ is not symmetric so you can't have $hatT geq 0$.
    – Keith McClary
    Jul 24 at 1:55










  • $hatT in mathbbL(H, H) geq 0$ if $forall psi in H, (psi, hatTpsi) geq 0$
    – SimonTat
    Jul 24 at 5:55






  • 2




    If $x=(0,-1,1,0,0,...)$, then $hatT(x)=(frac11,0,0,...)$. If follows that $left(x,hatTxright)=-1<0$. From the statement I didn't understand if $hatT$ is a left or right weighted shift. If it shifts to the right, then take $x=(-1,1,0,...)$ and do the same computation.
    – user578878
    Jul 24 at 13:07














up vote
-1
down vote

favorite












In mathematics, we can define
$l_2(mathbbN)= $$ $$x_i$$,hspace2mm $with$ hspace2mm x_i in mathbbN .



The following theorem can be simply proved:




Consider an operator $hatT in mathbbB$. If $hatT geq 0$,b then $hatT=hatT^*$.




I have to prove the following result:




Let $hatTinmathbbL(l_2(mathbbN)) | forall $$x_n$$in l_2(mathbbN)$, $nin mathbbN$, $hatT(x_n) = x_n+1/n$.

Prove that $hatT$ is bounded and calculate $hatT^*$.




Note that I used the notation: $mathbbL()$ for the linearity, $mathbbB$ for the bounded operators'set and $ hatT^*$ for the adjoint.



Well, the first proof is trivial and if I calculate the adjoint I discover that $hatT neq hatT^*$.



But, it is simple to show that $hatT geq 0$ and using the theorem it should result $hatT = hatT^*.$ Why I obtained 2 different results? Could anyone show me where I did wrong?







share|cite|improve this question











migrated from physics.stackexchange.com Jul 24 at 12:57


This question came from our site for active researchers, academics and students of physics.














  • $hatT$ is not symmetric so you can't have $hatT geq 0$.
    – Keith McClary
    Jul 24 at 1:55










  • $hatT in mathbbL(H, H) geq 0$ if $forall psi in H, (psi, hatTpsi) geq 0$
    – SimonTat
    Jul 24 at 5:55






  • 2




    If $x=(0,-1,1,0,0,...)$, then $hatT(x)=(frac11,0,0,...)$. If follows that $left(x,hatTxright)=-1<0$. From the statement I didn't understand if $hatT$ is a left or right weighted shift. If it shifts to the right, then take $x=(-1,1,0,...)$ and do the same computation.
    – user578878
    Jul 24 at 13:07












up vote
-1
down vote

favorite









up vote
-1
down vote

favorite











In mathematics, we can define
$l_2(mathbbN)= $$ $$x_i$$,hspace2mm $with$ hspace2mm x_i in mathbbN .



The following theorem can be simply proved:




Consider an operator $hatT in mathbbB$. If $hatT geq 0$,b then $hatT=hatT^*$.




I have to prove the following result:




Let $hatTinmathbbL(l_2(mathbbN)) | forall $$x_n$$in l_2(mathbbN)$, $nin mathbbN$, $hatT(x_n) = x_n+1/n$.

Prove that $hatT$ is bounded and calculate $hatT^*$.




Note that I used the notation: $mathbbL()$ for the linearity, $mathbbB$ for the bounded operators'set and $ hatT^*$ for the adjoint.



Well, the first proof is trivial and if I calculate the adjoint I discover that $hatT neq hatT^*$.



But, it is simple to show that $hatT geq 0$ and using the theorem it should result $hatT = hatT^*.$ Why I obtained 2 different results? Could anyone show me where I did wrong?







share|cite|improve this question











In mathematics, we can define
$l_2(mathbbN)= $$ $$x_i$$,hspace2mm $with$ hspace2mm x_i in mathbbN .



The following theorem can be simply proved:




Consider an operator $hatT in mathbbB$. If $hatT geq 0$,b then $hatT=hatT^*$.




I have to prove the following result:




Let $hatTinmathbbL(l_2(mathbbN)) | forall $$x_n$$in l_2(mathbbN)$, $nin mathbbN$, $hatT(x_n) = x_n+1/n$.

Prove that $hatT$ is bounded and calculate $hatT^*$.




Note that I used the notation: $mathbbL()$ for the linearity, $mathbbB$ for the bounded operators'set and $ hatT^*$ for the adjoint.



Well, the first proof is trivial and if I calculate the adjoint I discover that $hatT neq hatT^*$.



But, it is simple to show that $hatT geq 0$ and using the theorem it should result $hatT = hatT^*.$ Why I obtained 2 different results? Could anyone show me where I did wrong?









share|cite|improve this question










share|cite|improve this question




share|cite|improve this question









asked Jul 23 at 23:47







SimonTat











migrated from physics.stackexchange.com Jul 24 at 12:57


This question came from our site for active researchers, academics and students of physics.






migrated from physics.stackexchange.com Jul 24 at 12:57


This question came from our site for active researchers, academics and students of physics.













  • $hatT$ is not symmetric so you can't have $hatT geq 0$.
    – Keith McClary
    Jul 24 at 1:55










  • $hatT in mathbbL(H, H) geq 0$ if $forall psi in H, (psi, hatTpsi) geq 0$
    – SimonTat
    Jul 24 at 5:55






  • 2




    If $x=(0,-1,1,0,0,...)$, then $hatT(x)=(frac11,0,0,...)$. If follows that $left(x,hatTxright)=-1<0$. From the statement I didn't understand if $hatT$ is a left or right weighted shift. If it shifts to the right, then take $x=(-1,1,0,...)$ and do the same computation.
    – user578878
    Jul 24 at 13:07
















  • $hatT$ is not symmetric so you can't have $hatT geq 0$.
    – Keith McClary
    Jul 24 at 1:55










  • $hatT in mathbbL(H, H) geq 0$ if $forall psi in H, (psi, hatTpsi) geq 0$
    – SimonTat
    Jul 24 at 5:55






  • 2




    If $x=(0,-1,1,0,0,...)$, then $hatT(x)=(frac11,0,0,...)$. If follows that $left(x,hatTxright)=-1<0$. From the statement I didn't understand if $hatT$ is a left or right weighted shift. If it shifts to the right, then take $x=(-1,1,0,...)$ and do the same computation.
    – user578878
    Jul 24 at 13:07















$hatT$ is not symmetric so you can't have $hatT geq 0$.
– Keith McClary
Jul 24 at 1:55




$hatT$ is not symmetric so you can't have $hatT geq 0$.
– Keith McClary
Jul 24 at 1:55












$hatT in mathbbL(H, H) geq 0$ if $forall psi in H, (psi, hatTpsi) geq 0$
– SimonTat
Jul 24 at 5:55




$hatT in mathbbL(H, H) geq 0$ if $forall psi in H, (psi, hatTpsi) geq 0$
– SimonTat
Jul 24 at 5:55




2




2




If $x=(0,-1,1,0,0,...)$, then $hatT(x)=(frac11,0,0,...)$. If follows that $left(x,hatTxright)=-1<0$. From the statement I didn't understand if $hatT$ is a left or right weighted shift. If it shifts to the right, then take $x=(-1,1,0,...)$ and do the same computation.
– user578878
Jul 24 at 13:07




If $x=(0,-1,1,0,0,...)$, then $hatT(x)=(frac11,0,0,...)$. If follows that $left(x,hatTxright)=-1<0$. From the statement I didn't understand if $hatT$ is a left or right weighted shift. If it shifts to the right, then take $x=(-1,1,0,...)$ and do the same computation.
– user578878
Jul 24 at 13:07















active

oldest

votes











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',
convertImagesToLinks: true,
noModals: false,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
);



);








 

draft saved


draft discarded


















StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2861307%2fapparent-contraddiction-with-bounded-operators%23new-answer', 'question_page');

);

Post as a guest


































active

oldest

votes













active

oldest

votes









active

oldest

votes






active

oldest

votes










 

draft saved


draft discarded


























 


draft saved


draft discarded














StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2861307%2fapparent-contraddiction-with-bounded-operators%23new-answer', 'question_page');

);

Post as a guest













































































Comments

Popular posts from this blog

Color the edges and diagonals of a regular polygon

Relationship between determinant of matrix and determinant of adjoint?

What is the equation of a 3D cone with generalised tilt?