Spectrum for a bounded linear operator and its adjoint on a Banach space are same. Announcing the arrival of Valued Associate #679: Cesar Manara Planned maintenance scheduled April 17/18, 2019 at 00:00UTC (8:00pm US/Eastern)Residual spectrum of the adjoint on Banach spaceRotating the spectrum of a bounded operatorSelf-adjoint operator has non-empty spectrum.Example of a self-adjoint bounded operator on a Hilbert space with empty point spectrumShape of spectrum of bounded linear operator on complex Banach spacerelation between essential spectrum and spectrum of an operatorResidual spectrum of the adjoint on Banach spaceSpectrum of the right-shift operator on $ell ^2 (mathbbC)$, and a general spectrum questionBounded linear operator property and its spectral radiusthe spectrum of a bounded linear operator on $Xtimes X$Adjoint of Bounded Below Operator

Is the Standard Deduction better than Itemized when both are the same amount?

I am not a queen, who am I?

Does accepting a pardon have any bearing on trying that person for the same crime in a sovereign jurisdiction?

Is there a "higher Segal conjecture"?

Letter Boxed validator

What LEGO pieces have "real-world" functionality?

How to motivate offshore teams and trust them to deliver?

How to draw this diagram using TikZ package?

Can Pao de Queijo, and similar foods, be kosher for Passover?

Why is black pepper both grey and black?

How can I make names more distinctive without making them longer?

Output the ŋarâþ crîþ alphabet song without using (m)any letters

Why was the term "discrete" used in discrete logarithm?

Is there a Spanish version of "dot your i's and cross your t's" that includes the letter 'ñ'?

Why did the IBM 650 use bi-quinary?

How discoverable are IPv6 addresses and AAAA names by potential attackers?

What is the longest distance a 13th-level monk can jump while attacking on the same turn?

ListPlot join points by nearest neighbor rather than order

Is there a way in Ruby to make just any one out of many keyword arguments required?

Is a manifold-with-boundary with given interior and non-empty boundary essentially unique?

Should I use Javascript Classes or Apex Classes in Lightning Web Components?

WAN encapsulation

Can a non-EU citizen traveling with me come with me through the EU passport line?

If Jon Snow became King of the Seven Kingdoms what would his regnal number be?



Spectrum for a bounded linear operator and its adjoint on a Banach space are same.



Announcing the arrival of Valued Associate #679: Cesar Manara
Planned maintenance scheduled April 17/18, 2019 at 00:00UTC (8:00pm US/Eastern)Residual spectrum of the adjoint on Banach spaceRotating the spectrum of a bounded operatorSelf-adjoint operator has non-empty spectrum.Example of a self-adjoint bounded operator on a Hilbert space with empty point spectrumShape of spectrum of bounded linear operator on complex Banach spacerelation between essential spectrum and spectrum of an operatorResidual spectrum of the adjoint on Banach spaceSpectrum of the right-shift operator on $ell ^2 (mathbbC)$, and a general spectrum questionBounded linear operator property and its spectral radiusthe spectrum of a bounded linear operator on $Xtimes X$Adjoint of Bounded Below Operator










2












$begingroup$



I have to show that spectrum for a bounded linear operator and its adjoint on a Banach space are the same. Spectrum is defined as $$ sigma(T)=lambdain mathbbK : T-lambda I textis invertible. $$




I have to show $sigma(T)=sigma(T^*)$. Let $lambda notin sigma(T)$; then $ (T-lambda I ) $ is invertible and bounded. This implies $(T-lambda I)^*$ is also invertible, since $$ (T^*-lambda I)^-1=[(T-lambda I)^*]^-1implies T^*-lambda I textis invertible.
$$

So $lambdanotin sigma(T^*).$



I am unable to prove the other part. Can anyone help me please?



Thanks.










share|cite|improve this question











$endgroup$
















    2












    $begingroup$



    I have to show that spectrum for a bounded linear operator and its adjoint on a Banach space are the same. Spectrum is defined as $$ sigma(T)=lambdain mathbbK : T-lambda I textis invertible. $$




    I have to show $sigma(T)=sigma(T^*)$. Let $lambda notin sigma(T)$; then $ (T-lambda I ) $ is invertible and bounded. This implies $(T-lambda I)^*$ is also invertible, since $$ (T^*-lambda I)^-1=[(T-lambda I)^*]^-1implies T^*-lambda I textis invertible.
    $$

    So $lambdanotin sigma(T^*).$



    I am unable to prove the other part. Can anyone help me please?



    Thanks.










    share|cite|improve this question











    $endgroup$














      2












      2








      2


      1



      $begingroup$



      I have to show that spectrum for a bounded linear operator and its adjoint on a Banach space are the same. Spectrum is defined as $$ sigma(T)=lambdain mathbbK : T-lambda I textis invertible. $$




      I have to show $sigma(T)=sigma(T^*)$. Let $lambda notin sigma(T)$; then $ (T-lambda I ) $ is invertible and bounded. This implies $(T-lambda I)^*$ is also invertible, since $$ (T^*-lambda I)^-1=[(T-lambda I)^*]^-1implies T^*-lambda I textis invertible.
      $$

      So $lambdanotin sigma(T^*).$



      I am unable to prove the other part. Can anyone help me please?



      Thanks.










      share|cite|improve this question











      $endgroup$





      I have to show that spectrum for a bounded linear operator and its adjoint on a Banach space are the same. Spectrum is defined as $$ sigma(T)=lambdain mathbbK : T-lambda I textis invertible. $$




      I have to show $sigma(T)=sigma(T^*)$. Let $lambda notin sigma(T)$; then $ (T-lambda I ) $ is invertible and bounded. This implies $(T-lambda I)^*$ is also invertible, since $$ (T^*-lambda I)^-1=[(T-lambda I)^*]^-1implies T^*-lambda I textis invertible.
      $$

      So $lambdanotin sigma(T^*).$



      I am unable to prove the other part. Can anyone help me please?



      Thanks.







      functional-analysis operator-theory banach-spaces spectral-theory






      share|cite|improve this question















      share|cite|improve this question













      share|cite|improve this question




      share|cite|improve this question








      edited Dec 3 '18 at 16:04









      Martin Argerami

      130k1184185




      130k1184185










      asked Dec 9 '16 at 0:36









      Sachchidanand PrasadSachchidanand Prasad

      1,684722




      1,684722




















          2 Answers
          2






          active

          oldest

          votes


















          1












          $begingroup$

          $T-lambda I$ is invertible if and only if $(T-lambda I)^*=T^*-lambda I$ is invertible: Since for every linear operator $A$ invertibility of $A$ and of $A^*$ are equivalent, which follows by taking the adjoints of, e.g., $AA^-1=I$ and $A^-1A=I$.






          share|cite|improve this answer











          $endgroup$












          • $begingroup$
            I've never heard about this theorem. Anyway, what version are you using? In the wikipedia article I think there are more assumptions than that on the OP.
            $endgroup$
            – Filburt
            Nov 28 '17 at 19:13










          • $begingroup$
            This has nothing to do with closed range theorem. Modified answer
            $endgroup$
            – daw
            Nov 28 '17 at 20:35






          • 1




            $begingroup$
            Could you help me to prove that, if the adjoint $T*$ of a operator is invertible, then $T$ is surjective?
            $endgroup$
            – Filburt
            Nov 30 '17 at 15:25


















          2












          $begingroup$

          We want to prove that if $X$ is a Banach space and $T^*in B(X^*)$ is invertible, then $T$ is invertible in $B(X)$.



          We go through a few steps.



          • Note that $operatornameran T$ is closed. indeed, let $W$ be the inverse of $T^*$, and let $Tx_n$ be a Cauchy sequence. Then
            beginalign
            |x_n-x_m|
            &=supf\ \
            &=sup: fin X^*, \ \
            &=sup(Wf),(Tx_n-Tx_m)\ \
            &leq|Tx_n-Tx_m|,sup\ \
            &=|W|,|Tx_n-Tx_m|.
            endalign

            So $x_n$ is Cauchy; there exists $xin X$ with $x=lim x_n$. As $T$ is bounded, $Tx=lim Tx_n$, and $operatornameran T$ is closed.


          • $T$ is injective. Indeed, if $Tx=0$, then for any $fin X^*$ we have $f=T^*g$ (since $T^*$ is surjective). Then $$f(x)=T^*g(x)=g(Tx)=g(0)=0.$$ Thus $f(x)=0$ for all $fin X^*$, and so $x=0$.


          • $T$ is surjective. Indeed, if $yin Xsetminus operatornameran T$, using Hahn-Banach (and the fact that $operatornameran T$ is closed) there exists $gin X^*$ with $g(y)=1$, $g(Tx)=0$ for all $x$. But then $0=g(Tx)=T^*g(x)$ for all $x$, and so $T^*g=0$. As $T^*$ is injective, $g=0$; this is a contradiction. So $X=$operatornameran T$, and $T$ is surjetive.


          • Finally, since $T$ is bijective and bounded, by the Inverse Mapping Theorem it is invertible.






          share|cite|improve this answer











          $endgroup$












          • $begingroup$
            Very nice proof: maybe it is just the first inequality that is a bit unclear, how can we put the norm of W outside, if it is evaluating at one point (x_n - x_m) (instead of the norm of functions themselves).
            $endgroup$
            – Philimathmuse
            Mar 31 at 20:10










          • $begingroup$
            You are definitely right: that equation is wrong. I'll see if it can be saved.
            $endgroup$
            – Martin Argerami
            Mar 31 at 20:24










          • $begingroup$
            I see, maybe it is easier to first compose T* with W, instead of W with T*, and then view Wf as g, whose norm is bdd above by that of W. All the estimates of your original argument still hold.
            $endgroup$
            – Philimathmuse
            Mar 31 at 20:25











          • $begingroup$
            Yes, you are definitely right. I'll edit that into the answer. Thanks for noticing.
            $endgroup$
            – Martin Argerami
            Mar 31 at 20:31











          Your Answer








          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
          );



          );













          draft saved

          draft discarded


















          StackExchange.ready(
          function ()
          StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2050473%2fspectrum-for-a-bounded-linear-operator-and-its-adjoint-on-a-banach-space-are-sam%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









          1












          $begingroup$

          $T-lambda I$ is invertible if and only if $(T-lambda I)^*=T^*-lambda I$ is invertible: Since for every linear operator $A$ invertibility of $A$ and of $A^*$ are equivalent, which follows by taking the adjoints of, e.g., $AA^-1=I$ and $A^-1A=I$.






          share|cite|improve this answer











          $endgroup$












          • $begingroup$
            I've never heard about this theorem. Anyway, what version are you using? In the wikipedia article I think there are more assumptions than that on the OP.
            $endgroup$
            – Filburt
            Nov 28 '17 at 19:13










          • $begingroup$
            This has nothing to do with closed range theorem. Modified answer
            $endgroup$
            – daw
            Nov 28 '17 at 20:35






          • 1




            $begingroup$
            Could you help me to prove that, if the adjoint $T*$ of a operator is invertible, then $T$ is surjective?
            $endgroup$
            – Filburt
            Nov 30 '17 at 15:25















          1












          $begingroup$

          $T-lambda I$ is invertible if and only if $(T-lambda I)^*=T^*-lambda I$ is invertible: Since for every linear operator $A$ invertibility of $A$ and of $A^*$ are equivalent, which follows by taking the adjoints of, e.g., $AA^-1=I$ and $A^-1A=I$.






          share|cite|improve this answer











          $endgroup$












          • $begingroup$
            I've never heard about this theorem. Anyway, what version are you using? In the wikipedia article I think there are more assumptions than that on the OP.
            $endgroup$
            – Filburt
            Nov 28 '17 at 19:13










          • $begingroup$
            This has nothing to do with closed range theorem. Modified answer
            $endgroup$
            – daw
            Nov 28 '17 at 20:35






          • 1




            $begingroup$
            Could you help me to prove that, if the adjoint $T*$ of a operator is invertible, then $T$ is surjective?
            $endgroup$
            – Filburt
            Nov 30 '17 at 15:25













          1












          1








          1





          $begingroup$

          $T-lambda I$ is invertible if and only if $(T-lambda I)^*=T^*-lambda I$ is invertible: Since for every linear operator $A$ invertibility of $A$ and of $A^*$ are equivalent, which follows by taking the adjoints of, e.g., $AA^-1=I$ and $A^-1A=I$.






          share|cite|improve this answer











          $endgroup$



          $T-lambda I$ is invertible if and only if $(T-lambda I)^*=T^*-lambda I$ is invertible: Since for every linear operator $A$ invertibility of $A$ and of $A^*$ are equivalent, which follows by taking the adjoints of, e.g., $AA^-1=I$ and $A^-1A=I$.







          share|cite|improve this answer














          share|cite|improve this answer



          share|cite|improve this answer








          edited Nov 28 '17 at 20:37

























          answered Dec 9 '16 at 13:59









          dawdaw

          25.1k1745




          25.1k1745











          • $begingroup$
            I've never heard about this theorem. Anyway, what version are you using? In the wikipedia article I think there are more assumptions than that on the OP.
            $endgroup$
            – Filburt
            Nov 28 '17 at 19:13










          • $begingroup$
            This has nothing to do with closed range theorem. Modified answer
            $endgroup$
            – daw
            Nov 28 '17 at 20:35






          • 1




            $begingroup$
            Could you help me to prove that, if the adjoint $T*$ of a operator is invertible, then $T$ is surjective?
            $endgroup$
            – Filburt
            Nov 30 '17 at 15:25
















          • $begingroup$
            I've never heard about this theorem. Anyway, what version are you using? In the wikipedia article I think there are more assumptions than that on the OP.
            $endgroup$
            – Filburt
            Nov 28 '17 at 19:13










          • $begingroup$
            This has nothing to do with closed range theorem. Modified answer
            $endgroup$
            – daw
            Nov 28 '17 at 20:35






          • 1




            $begingroup$
            Could you help me to prove that, if the adjoint $T*$ of a operator is invertible, then $T$ is surjective?
            $endgroup$
            – Filburt
            Nov 30 '17 at 15:25















          $begingroup$
          I've never heard about this theorem. Anyway, what version are you using? In the wikipedia article I think there are more assumptions than that on the OP.
          $endgroup$
          – Filburt
          Nov 28 '17 at 19:13




          $begingroup$
          I've never heard about this theorem. Anyway, what version are you using? In the wikipedia article I think there are more assumptions than that on the OP.
          $endgroup$
          – Filburt
          Nov 28 '17 at 19:13












          $begingroup$
          This has nothing to do with closed range theorem. Modified answer
          $endgroup$
          – daw
          Nov 28 '17 at 20:35




          $begingroup$
          This has nothing to do with closed range theorem. Modified answer
          $endgroup$
          – daw
          Nov 28 '17 at 20:35




          1




          1




          $begingroup$
          Could you help me to prove that, if the adjoint $T*$ of a operator is invertible, then $T$ is surjective?
          $endgroup$
          – Filburt
          Nov 30 '17 at 15:25




          $begingroup$
          Could you help me to prove that, if the adjoint $T*$ of a operator is invertible, then $T$ is surjective?
          $endgroup$
          – Filburt
          Nov 30 '17 at 15:25











          2












          $begingroup$

          We want to prove that if $X$ is a Banach space and $T^*in B(X^*)$ is invertible, then $T$ is invertible in $B(X)$.



          We go through a few steps.



          • Note that $operatornameran T$ is closed. indeed, let $W$ be the inverse of $T^*$, and let $Tx_n$ be a Cauchy sequence. Then
            beginalign
            |x_n-x_m|
            &=supf\ \
            &=sup: fin X^*, \ \
            &=sup(Wf),(Tx_n-Tx_m)\ \
            &leq|Tx_n-Tx_m|,sup\ \
            &=|W|,|Tx_n-Tx_m|.
            endalign

            So $x_n$ is Cauchy; there exists $xin X$ with $x=lim x_n$. As $T$ is bounded, $Tx=lim Tx_n$, and $operatornameran T$ is closed.


          • $T$ is injective. Indeed, if $Tx=0$, then for any $fin X^*$ we have $f=T^*g$ (since $T^*$ is surjective). Then $$f(x)=T^*g(x)=g(Tx)=g(0)=0.$$ Thus $f(x)=0$ for all $fin X^*$, and so $x=0$.


          • $T$ is surjective. Indeed, if $yin Xsetminus operatornameran T$, using Hahn-Banach (and the fact that $operatornameran T$ is closed) there exists $gin X^*$ with $g(y)=1$, $g(Tx)=0$ for all $x$. But then $0=g(Tx)=T^*g(x)$ for all $x$, and so $T^*g=0$. As $T^*$ is injective, $g=0$; this is a contradiction. So $X=$operatornameran T$, and $T$ is surjetive.


          • Finally, since $T$ is bijective and bounded, by the Inverse Mapping Theorem it is invertible.






          share|cite|improve this answer











          $endgroup$












          • $begingroup$
            Very nice proof: maybe it is just the first inequality that is a bit unclear, how can we put the norm of W outside, if it is evaluating at one point (x_n - x_m) (instead of the norm of functions themselves).
            $endgroup$
            – Philimathmuse
            Mar 31 at 20:10










          • $begingroup$
            You are definitely right: that equation is wrong. I'll see if it can be saved.
            $endgroup$
            – Martin Argerami
            Mar 31 at 20:24










          • $begingroup$
            I see, maybe it is easier to first compose T* with W, instead of W with T*, and then view Wf as g, whose norm is bdd above by that of W. All the estimates of your original argument still hold.
            $endgroup$
            – Philimathmuse
            Mar 31 at 20:25











          • $begingroup$
            Yes, you are definitely right. I'll edit that into the answer. Thanks for noticing.
            $endgroup$
            – Martin Argerami
            Mar 31 at 20:31















          2












          $begingroup$

          We want to prove that if $X$ is a Banach space and $T^*in B(X^*)$ is invertible, then $T$ is invertible in $B(X)$.



          We go through a few steps.



          • Note that $operatornameran T$ is closed. indeed, let $W$ be the inverse of $T^*$, and let $Tx_n$ be a Cauchy sequence. Then
            beginalign
            |x_n-x_m|
            &=supf\ \
            &=sup: fin X^*, \ \
            &=sup(Wf),(Tx_n-Tx_m)\ \
            &leq|Tx_n-Tx_m|,sup\ \
            &=|W|,|Tx_n-Tx_m|.
            endalign

            So $x_n$ is Cauchy; there exists $xin X$ with $x=lim x_n$. As $T$ is bounded, $Tx=lim Tx_n$, and $operatornameran T$ is closed.


          • $T$ is injective. Indeed, if $Tx=0$, then for any $fin X^*$ we have $f=T^*g$ (since $T^*$ is surjective). Then $$f(x)=T^*g(x)=g(Tx)=g(0)=0.$$ Thus $f(x)=0$ for all $fin X^*$, and so $x=0$.


          • $T$ is surjective. Indeed, if $yin Xsetminus operatornameran T$, using Hahn-Banach (and the fact that $operatornameran T$ is closed) there exists $gin X^*$ with $g(y)=1$, $g(Tx)=0$ for all $x$. But then $0=g(Tx)=T^*g(x)$ for all $x$, and so $T^*g=0$. As $T^*$ is injective, $g=0$; this is a contradiction. So $X=$operatornameran T$, and $T$ is surjetive.


          • Finally, since $T$ is bijective and bounded, by the Inverse Mapping Theorem it is invertible.






          share|cite|improve this answer











          $endgroup$












          • $begingroup$
            Very nice proof: maybe it is just the first inequality that is a bit unclear, how can we put the norm of W outside, if it is evaluating at one point (x_n - x_m) (instead of the norm of functions themselves).
            $endgroup$
            – Philimathmuse
            Mar 31 at 20:10










          • $begingroup$
            You are definitely right: that equation is wrong. I'll see if it can be saved.
            $endgroup$
            – Martin Argerami
            Mar 31 at 20:24










          • $begingroup$
            I see, maybe it is easier to first compose T* with W, instead of W with T*, and then view Wf as g, whose norm is bdd above by that of W. All the estimates of your original argument still hold.
            $endgroup$
            – Philimathmuse
            Mar 31 at 20:25











          • $begingroup$
            Yes, you are definitely right. I'll edit that into the answer. Thanks for noticing.
            $endgroup$
            – Martin Argerami
            Mar 31 at 20:31













          2












          2








          2





          $begingroup$

          We want to prove that if $X$ is a Banach space and $T^*in B(X^*)$ is invertible, then $T$ is invertible in $B(X)$.



          We go through a few steps.



          • Note that $operatornameran T$ is closed. indeed, let $W$ be the inverse of $T^*$, and let $Tx_n$ be a Cauchy sequence. Then
            beginalign
            |x_n-x_m|
            &=supf\ \
            &=sup: fin X^*, \ \
            &=sup(Wf),(Tx_n-Tx_m)\ \
            &leq|Tx_n-Tx_m|,sup\ \
            &=|W|,|Tx_n-Tx_m|.
            endalign

            So $x_n$ is Cauchy; there exists $xin X$ with $x=lim x_n$. As $T$ is bounded, $Tx=lim Tx_n$, and $operatornameran T$ is closed.


          • $T$ is injective. Indeed, if $Tx=0$, then for any $fin X^*$ we have $f=T^*g$ (since $T^*$ is surjective). Then $$f(x)=T^*g(x)=g(Tx)=g(0)=0.$$ Thus $f(x)=0$ for all $fin X^*$, and so $x=0$.


          • $T$ is surjective. Indeed, if $yin Xsetminus operatornameran T$, using Hahn-Banach (and the fact that $operatornameran T$ is closed) there exists $gin X^*$ with $g(y)=1$, $g(Tx)=0$ for all $x$. But then $0=g(Tx)=T^*g(x)$ for all $x$, and so $T^*g=0$. As $T^*$ is injective, $g=0$; this is a contradiction. So $X=$operatornameran T$, and $T$ is surjetive.


          • Finally, since $T$ is bijective and bounded, by the Inverse Mapping Theorem it is invertible.






          share|cite|improve this answer











          $endgroup$



          We want to prove that if $X$ is a Banach space and $T^*in B(X^*)$ is invertible, then $T$ is invertible in $B(X)$.



          We go through a few steps.



          • Note that $operatornameran T$ is closed. indeed, let $W$ be the inverse of $T^*$, and let $Tx_n$ be a Cauchy sequence. Then
            beginalign
            |x_n-x_m|
            &=supf\ \
            &=sup: fin X^*, \ \
            &=sup(Wf),(Tx_n-Tx_m)\ \
            &leq|Tx_n-Tx_m|,sup\ \
            &=|W|,|Tx_n-Tx_m|.
            endalign

            So $x_n$ is Cauchy; there exists $xin X$ with $x=lim x_n$. As $T$ is bounded, $Tx=lim Tx_n$, and $operatornameran T$ is closed.


          • $T$ is injective. Indeed, if $Tx=0$, then for any $fin X^*$ we have $f=T^*g$ (since $T^*$ is surjective). Then $$f(x)=T^*g(x)=g(Tx)=g(0)=0.$$ Thus $f(x)=0$ for all $fin X^*$, and so $x=0$.


          • $T$ is surjective. Indeed, if $yin Xsetminus operatornameran T$, using Hahn-Banach (and the fact that $operatornameran T$ is closed) there exists $gin X^*$ with $g(y)=1$, $g(Tx)=0$ for all $x$. But then $0=g(Tx)=T^*g(x)$ for all $x$, and so $T^*g=0$. As $T^*$ is injective, $g=0$; this is a contradiction. So $X=$operatornameran T$, and $T$ is surjetive.


          • Finally, since $T$ is bijective and bounded, by the Inverse Mapping Theorem it is invertible.







          share|cite|improve this answer














          share|cite|improve this answer



          share|cite|improve this answer








          edited Mar 31 at 20:33

























          answered Dec 3 '18 at 16:15









          Martin ArgeramiMartin Argerami

          130k1184185




          130k1184185











          • $begingroup$
            Very nice proof: maybe it is just the first inequality that is a bit unclear, how can we put the norm of W outside, if it is evaluating at one point (x_n - x_m) (instead of the norm of functions themselves).
            $endgroup$
            – Philimathmuse
            Mar 31 at 20:10










          • $begingroup$
            You are definitely right: that equation is wrong. I'll see if it can be saved.
            $endgroup$
            – Martin Argerami
            Mar 31 at 20:24










          • $begingroup$
            I see, maybe it is easier to first compose T* with W, instead of W with T*, and then view Wf as g, whose norm is bdd above by that of W. All the estimates of your original argument still hold.
            $endgroup$
            – Philimathmuse
            Mar 31 at 20:25











          • $begingroup$
            Yes, you are definitely right. I'll edit that into the answer. Thanks for noticing.
            $endgroup$
            – Martin Argerami
            Mar 31 at 20:31
















          • $begingroup$
            Very nice proof: maybe it is just the first inequality that is a bit unclear, how can we put the norm of W outside, if it is evaluating at one point (x_n - x_m) (instead of the norm of functions themselves).
            $endgroup$
            – Philimathmuse
            Mar 31 at 20:10










          • $begingroup$
            You are definitely right: that equation is wrong. I'll see if it can be saved.
            $endgroup$
            – Martin Argerami
            Mar 31 at 20:24










          • $begingroup$
            I see, maybe it is easier to first compose T* with W, instead of W with T*, and then view Wf as g, whose norm is bdd above by that of W. All the estimates of your original argument still hold.
            $endgroup$
            – Philimathmuse
            Mar 31 at 20:25











          • $begingroup$
            Yes, you are definitely right. I'll edit that into the answer. Thanks for noticing.
            $endgroup$
            – Martin Argerami
            Mar 31 at 20:31















          $begingroup$
          Very nice proof: maybe it is just the first inequality that is a bit unclear, how can we put the norm of W outside, if it is evaluating at one point (x_n - x_m) (instead of the norm of functions themselves).
          $endgroup$
          – Philimathmuse
          Mar 31 at 20:10




          $begingroup$
          Very nice proof: maybe it is just the first inequality that is a bit unclear, how can we put the norm of W outside, if it is evaluating at one point (x_n - x_m) (instead of the norm of functions themselves).
          $endgroup$
          – Philimathmuse
          Mar 31 at 20:10












          $begingroup$
          You are definitely right: that equation is wrong. I'll see if it can be saved.
          $endgroup$
          – Martin Argerami
          Mar 31 at 20:24




          $begingroup$
          You are definitely right: that equation is wrong. I'll see if it can be saved.
          $endgroup$
          – Martin Argerami
          Mar 31 at 20:24












          $begingroup$
          I see, maybe it is easier to first compose T* with W, instead of W with T*, and then view Wf as g, whose norm is bdd above by that of W. All the estimates of your original argument still hold.
          $endgroup$
          – Philimathmuse
          Mar 31 at 20:25





          $begingroup$
          I see, maybe it is easier to first compose T* with W, instead of W with T*, and then view Wf as g, whose norm is bdd above by that of W. All the estimates of your original argument still hold.
          $endgroup$
          – Philimathmuse
          Mar 31 at 20:25













          $begingroup$
          Yes, you are definitely right. I'll edit that into the answer. Thanks for noticing.
          $endgroup$
          – Martin Argerami
          Mar 31 at 20:31




          $begingroup$
          Yes, you are definitely right. I'll edit that into the answer. Thanks for noticing.
          $endgroup$
          – Martin Argerami
          Mar 31 at 20:31

















          draft saved

          draft discarded
















































          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.




          draft saved


          draft discarded














          StackExchange.ready(
          function ()
          StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2050473%2fspectrum-for-a-bounded-linear-operator-and-its-adjoint-on-a-banach-space-are-sam%23new-answer', 'question_page');

          );

          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







          Popular posts from this blog

          Boston (Lincolnshire) Stedsbyld | Berne yn Boston | NavigaasjemenuBoston Borough CouncilBoston, Lincolnshire

          Ballerup Komuun Stääden an saarpen | Futnuuten | Luke uk diar | Nawigatsjuunwww.ballerup.dkwww.statistikbanken.dk: Tabelle BEF44 (Folketal pr. 1. januar fordelt på byer)Commonskategorii: Ballerup Komuun55° 44′ N, 12° 22′ O

          Serbia Índice Etimología Historia Geografía Entorno natural División administrativa Política Demografía Economía Cultura Deportes Véase también Notas Referencias Bibliografía Enlaces externos Menú de navegación44°49′00″N 20°28′00″E / 44.816666666667, 20.46666666666744°49′00″N 20°28′00″E / 44.816666666667, 20.466666666667U.S. Department of Commerce (2015)«Informe sobre Desarrollo Humano 2018»Kosovo-Metohija.Neutralna Srbija u NATO okruzenju.The SerbsTheories on the Origin of the Serbs.Serbia.Earls: Webster's Quotations, Facts and Phrases.Egeo y Balcanes.Kalemegdan.Southern Pannonia during the age of the Great Migrations.Culture in Serbia.History.The Serbian Origin of the Montenegrins.Nemanjics' period (1186-1353).Stefan Uros (1355-1371).Serbian medieval history.Habsburg–Ottoman Wars (1525–1718).The Ottoman Empire, 1700-1922.The First Serbian Uprising.Miloš, prince of Serbia.3. Bosnia-Hercegovina and the Congress of Berlin.The Balkan Wars and the Partition of Macedonia.The Falcon and the Eagle: Montenegro and Austria-Hungary, 1908-1914.Typhus fever on the eastern front in World War I.Anniversary of WWI battle marked in Serbia.La derrota austriaca en los Balcanes. Fin del Imperio Austro-Húngaro.Imperio austriaco y Reino de Hungría.Los tiempos modernos: del capitalismo a la globalización, siglos XVII al XXI.The period of Croatia within ex-Yugoslavia.Yugoslavia: Much in a Name.Las dictaduras europeas.Croacia: mito y realidad."Crods ask arms".Prólogo a la invasión.La campaña de los Balcanes.La resistencia en Yugoslavia.Jasenovac Research Institute.Día en memoria de las víctimas del genocidio en la Segunda Guerra Mundial.El infierno estuvo en Jasenovac.Croacia empieza a «desenterrar» a sus muertos de Jasenovac.World fascism: a historical encyclopedia, Volumen 1.Tito. Josip Broz.El nuevo orden y la resistencia.La conquista del poder.Algunos aspectos de la economía yugoslava a mediados de 1962.Albania-Kosovo crisis.De Kosovo a Kosova: una visión demográfica.La crisis de la economía yugoslava y la política de "estabilización".Milosevic: el poder de un absolutista."Serbia under Milošević: politics in the 1990s"Milosevic cavó en Kosovo la tumba de la antigua Yugoslavia.La ONU exculpa a Serbia de genocidio en la guerra de Bosnia.Slobodan Milosevic, el burócrata que supo usar el odio.Es la fuerza contra el sufrimiento de muchos inocentes.Matanza de civiles al bombardear la OTAN un puente mientras pasaba un tren.Las consecuencias negativas de los bombardeos de Yugoslavia se sentirán aún durante largo tiempo.Kostunica advierte que la misión de Europa en Kosovo es ilegal.Las 24 horas más largas en la vida de Slobodan Milosevic.Serbia declara la guerra a la mafia por matar a Djindjic.Tadic presentará "quizás en diciembre" la solicitud de entrada en la UE.Montenegro declara su independencia de Serbia.Serbia se declara estado soberano tras separación de Montenegro.«Accordance with International Law of the Unilateral Declaration of Independence by the Provisional Institutions of Self-Government of Kosovo (Request for Advisory Opinion)»Mladic pasa por el médico antes de la audiencia para extraditarloDatos de Serbia y Kosovo.The Carpathian Mountains.Position, Relief, Climate.Transport.Finding birds in Serbia.U Srbiji do 2010. godine 10% teritorije nacionalni parkovi.Geography.Serbia: Climate.Variability of Climate In Serbia In The Second Half of The 20thc Entury.BASIC CLIMATE CHARACTERISTICS FOR THE TERRITORY OF SERBIA.Fauna y flora: Serbia.Serbia and Montenegro.Información general sobre Serbia.Republic of Serbia Environmental Protection Agency (SEPA).Serbia recycling 15% of waste.Reform process of the Serbian energy sector.20-MW Wind Project Being Developed in Serbia.Las Naciones Unidas. Paz para Kosovo.Aniversario sin fiesta.Population by national or ethnic groups by Census 2002.Article 7. Coat of arms, flag and national anthem.Serbia, flag of.Historia.«Serbia and Montenegro in Pictures»Serbia.Serbia aprueba su nueva Constitución con un apoyo de más del 50%.Serbia. Population.«El nacionalista Nikolic gana las elecciones presidenciales en Serbia»El europeísta Borís Tadic gana la segunda vuelta de las presidenciales serbias.Aleksandar Vucic, de ultranacionalista serbio a fervoroso europeístaKostunica condena la declaración del "falso estado" de Kosovo.Comienza el debate sobre la independencia de Kosovo en el TIJ.La Corte Internacional de Justicia dice que Kosovo no violó el derecho internacional al declarar su independenciaKosovo: Enviado de la ONU advierte tensiones y fragilidad.«Bruselas recomienda negociar la adhesión de Serbia tras el acuerdo sobre Kosovo»Monografía de Serbia.Bez smanjivanja Vojske Srbije.Military statistics Serbia and Montenegro.Šutanovac: Vojni budžet za 2009. godinu 70 milijardi dinara.Serbia-Montenegro shortens obligatory military service to six months.No hay justicia para las víctimas de los bombardeos de la OTAN.Zapatero reitera la negativa de España a reconocer la independencia de Kosovo.Anniversary of the signing of the Stabilisation and Association Agreement.Detenido en Serbia Radovan Karadzic, el criminal de guerra más buscado de Europa."Serbia presentará su candidatura de acceso a la UE antes de fin de año".Serbia solicita la adhesión a la UE.Detenido el exgeneral serbobosnio Ratko Mladic, principal acusado del genocidio en los Balcanes«Lista de todos los Estados Miembros de las Naciones Unidas que son parte o signatarios en los diversos instrumentos de derechos humanos de las Naciones Unidas»versión pdfProtocolo Facultativo de la Convención sobre la Eliminación de todas las Formas de Discriminación contra la MujerConvención contra la tortura y otros tratos o penas crueles, inhumanos o degradantesversión pdfProtocolo Facultativo de la Convención sobre los Derechos de las Personas con DiscapacidadEl ACNUR recibe con beneplácito el envío de tropas de la OTAN a Kosovo y se prepara ante una posible llegada de refugiados a Serbia.Kosovo.- El jefe de la Minuk denuncia que los serbios boicotearon las legislativas por 'presiones'.Bosnia and Herzegovina. Population.Datos básicos de Montenegro, historia y evolución política.Serbia y Montenegro. Indicador: Tasa global de fecundidad (por 1000 habitantes).Serbia y Montenegro. Indicador: Tasa bruta de mortalidad (por 1000 habitantes).Population.Falleció el patriarca de la Iglesia Ortodoxa serbia.Atacan en Kosovo autobuses con peregrinos tras la investidura del patriarca serbio IrinejSerbian in Hungary.Tasas de cambio."Kosovo es de todos sus ciudadanos".Report for Serbia.Country groups by income.GROSS DOMESTIC PRODUCT (GDP) OF THE REPUBLIC OF SERBIA 1997–2007.Economic Trends in the Republic of Serbia 2006.National Accounts Statitics.Саопштења за јавност.GDP per inhabitant varied by one to six across the EU27 Member States.Un pacto de estabilidad para Serbia.Unemployment rate rises in Serbia.Serbia, Belarus agree free trade to woo investors.Serbia, Turkey call investors to Serbia.Success Stories.U.S. Private Investment in Serbia and Montenegro.Positive trend.Banks in Serbia.La Cámara de Comercio acompaña a empresas madrileñas a Serbia y Croacia.Serbia Industries.Energy and mining.Agriculture.Late crops, fruit and grapes output, 2008.Rebranding Serbia: A Hobby Shortly to Become a Full-Time Job.Final data on livestock statistics, 2008.Serbian cell-phone users.U Srbiji sve više računara.Телекомуникације.U Srbiji 27 odsto gradjana koristi Internet.Serbia and Montenegro.Тренд гледаности програма РТС-а у 2008. и 2009.години.Serbian railways.General Terms.El mercado del transporte aéreo en Serbia.Statistics.Vehículos de motor registrados.Planes ambiciosos para el transporte fluvial.Turismo.Turistički promet u Republici Srbiji u periodu januar-novembar 2007. godine.Your Guide to Culture.Novi Sad - city of culture.Nis - european crossroads.Serbia. Properties inscribed on the World Heritage List .Stari Ras and Sopoćani.Studenica Monastery.Medieval Monuments in Kosovo.Gamzigrad-Romuliana, Palace of Galerius.Skiing and snowboarding in Kopaonik.Tara.New7Wonders of Nature Finalists.Pilgrimage of Saint Sava.Exit Festival: Best european festival.Banje u Srbiji.«The Encyclopedia of world history»Culture.Centenario del arte serbio.«Djordje Andrejevic Kun: el único pintor de los brigadistas yugoslavos de la guerra civil española»About the museum.The collections.Miroslav Gospel – Manuscript from 1180.Historicity in the Serbo-Croatian Heroic Epic.Culture and Sport.Conversación con el rector del Seminario San Sava.'Reina Margot' funde drama, historia y gesto con música de Goran Bregovic.Serbia gana Eurovisión y España decepciona de nuevo con un vigésimo puesto.Home.Story.Emir Kusturica.Tercer oro para Paskaljevic.Nikola Tesla Year.Home.Tesla, un genio tomado por loco.Aniversario de la muerte de Nikola Tesla.El Museo Nikola Tesla en Belgrado.El inventor del mundo actual.República de Serbia.University of Belgrade official statistics.University of Novi Sad.University of Kragujevac.University of Nis.Comida. Cocina serbia.Cooking.Montenegro se convertirá en el miembro 204 del movimiento olímpico.España, campeona de Europa de baloncesto.El Partizan de Belgrado se corona campeón por octava vez consecutiva.Serbia se clasifica para el Mundial de 2010 de Sudáfrica.Serbia Name Squad For Northern Ireland And South Korea Tests.Fútbol.- El Partizán de Belgrado se proclama campeón de la Liga serbia.Clasificacion final Mundial de balonmano Croacia 2009.Serbia vence a España y se consagra campeón mundial de waterpolo.Novak Djokovic no convence pero gana en Australia.Gana Ana Ivanovic el Roland Garros.Serena Williams gana el US Open por tercera vez.Biography.Bradt Travel Guide SerbiaThe Encyclopedia of World War IGobierno de SerbiaPortal del Gobierno de SerbiaPresidencia de SerbiaAsamblea Nacional SerbiaMinisterio de Asuntos exteriores de SerbiaBanco Nacional de SerbiaAgencia Serbia para la Promoción de la Inversión y la ExportaciónOficina de Estadísticas de SerbiaCIA. Factbook 2008Organización nacional de turismo de SerbiaDiscover SerbiaConoce SerbiaNoticias de SerbiaSerbiaWorldCat1512028760000 0000 9526 67094054598-2n8519591900570825ge1309191004530741010url17413117006669D055771Serbia