Representing the inverse of a matrix by a polynomial The Next CEO of Stack OverflowProperties of a matrix with the minimal polynomial $m_A(t) = t^3+2t^2+t+1$?Continuity of the inverse matrix functionWhat is the quickest way to find the characteristic polynomial of this matrix?Show that the minimal polynomial over $mathbbC$ of a real matrix has real coefficientsCharacteristic polynomial of a matrix polynomialDoes the inverse of a polynomial matrix have polynomial growth?Help with understanding the proof for: $AB$ and $BA$ have the same characteristic polynomial (for square complex matrices)Prove that matrix $A$ diagonalizable if $A^2=I$ using characteristic polynomialCounting Characteristic Polynomials?Determinant and trace of a matrix

Several mode to write the symbol of a vector

Rotate a column

Would a completely good Muggle be able to use a wand?

How to invert MapIndexed on a ragged structure? How to construct a tree from rules?

Is micro rebar a better way to reinforce concrete than rebar?

Can I equip Skullclamp on a creature I am sacrificing?

"In the right combination" vs "with the right combination"?

Is it ever safe to open a suspicious html file (e.g. email attachment)?

What is "(CFMCC)" on an ILS approach chart?

Multiple labels for a single equation

Inappropriate reference requests from Journal reviewers

Are there any limitations on attacking while grappling?

What is the result of assigning to std::vector<T>::begin()?

Is it professional to write unrelated content in an almost-empty email?

Why do we use the plural of movies in this phrase "We went to the movies last night."?

Can you replace a racial trait cantrip when leveling up?

To not tell, not take, and not want

Is it possible to search for a directory/file combination?

Is there a difference between "Fahrstuhl" and "Aufzug"

Is "for causing autism in X" grammatical?

What happens if you roll doubles 3 times then land on "Go to jail?"

sp_blitzCache results Memory grants

Why do variable in an inner function return nan when there is the same variable name at the inner function declared after log

Which kind of appliances can one connect to electric sockets located in an airplane's toilet?



Representing the inverse of a matrix by a polynomial



The Next CEO of Stack OverflowProperties of a matrix with the minimal polynomial $m_A(t) = t^3+2t^2+t+1$?Continuity of the inverse matrix functionWhat is the quickest way to find the characteristic polynomial of this matrix?Show that the minimal polynomial over $mathbbC$ of a real matrix has real coefficientsCharacteristic polynomial of a matrix polynomialDoes the inverse of a polynomial matrix have polynomial growth?Help with understanding the proof for: $AB$ and $BA$ have the same characteristic polynomial (for square complex matrices)Prove that matrix $A$ diagonalizable if $A^2=I$ using characteristic polynomialCounting Characteristic Polynomials?Determinant and trace of a matrix










0












$begingroup$


I saw a question that asks in the first part to prove that if $A, B in M_n(mathbb C)$ such that $AB=BA$ and for any 2 polynomials $f$ and $g$, we have $f(A)g(B)=g(B)f(A)$. Thats not difficult.



In the second part the question wa to prove that $A^−1=p(A)$ for some polynomial with complex coefficients. So how can I use part 1 to prove part 2? Or are they not related to each other ?



I think in general they use the fact that the characteristic polynomial $c_A(t) = det(t I - A)$ of any square matrix $A$ satisfies $c_A(A) = 0$.



But I also didn't know how to prove from here.










share|cite|improve this question









$endgroup$







  • 1




    $begingroup$
    The constant in the characteristic polynomial must be non zero if $A$ is invertible, so you can use the characteristic polynomial to find the required formula by just multiplying across by $A^-1$.
    $endgroup$
    – copper.hat
    2 days ago










  • $begingroup$
    I didn't understand what you mean, can you please explain it more?
    $endgroup$
    – Fareed AF
    2 days ago










  • $begingroup$
    What happens if you multiply the characteristic equation (with $A$) across by the inverse if $A$?
    $endgroup$
    – copper.hat
    2 days ago










  • $begingroup$
    The charactaristic equation is a determinant. So if I multiplied inside the determinant I will get $det(tA^-1-I)$. I didn't understand where you want me to multiply by $A^-1$ and do "multiply across by" have the same meaning as "multiply by"? Sorry maybe I am not that good in english...
    $endgroup$
    – Fareed AF
    2 days ago






  • 1




    $begingroup$
    I added an answer.
    $endgroup$
    – copper.hat
    2 days ago















0












$begingroup$


I saw a question that asks in the first part to prove that if $A, B in M_n(mathbb C)$ such that $AB=BA$ and for any 2 polynomials $f$ and $g$, we have $f(A)g(B)=g(B)f(A)$. Thats not difficult.



In the second part the question wa to prove that $A^−1=p(A)$ for some polynomial with complex coefficients. So how can I use part 1 to prove part 2? Or are they not related to each other ?



I think in general they use the fact that the characteristic polynomial $c_A(t) = det(t I - A)$ of any square matrix $A$ satisfies $c_A(A) = 0$.



But I also didn't know how to prove from here.










share|cite|improve this question









$endgroup$







  • 1




    $begingroup$
    The constant in the characteristic polynomial must be non zero if $A$ is invertible, so you can use the characteristic polynomial to find the required formula by just multiplying across by $A^-1$.
    $endgroup$
    – copper.hat
    2 days ago










  • $begingroup$
    I didn't understand what you mean, can you please explain it more?
    $endgroup$
    – Fareed AF
    2 days ago










  • $begingroup$
    What happens if you multiply the characteristic equation (with $A$) across by the inverse if $A$?
    $endgroup$
    – copper.hat
    2 days ago










  • $begingroup$
    The charactaristic equation is a determinant. So if I multiplied inside the determinant I will get $det(tA^-1-I)$. I didn't understand where you want me to multiply by $A^-1$ and do "multiply across by" have the same meaning as "multiply by"? Sorry maybe I am not that good in english...
    $endgroup$
    – Fareed AF
    2 days ago






  • 1




    $begingroup$
    I added an answer.
    $endgroup$
    – copper.hat
    2 days ago













0












0








0





$begingroup$


I saw a question that asks in the first part to prove that if $A, B in M_n(mathbb C)$ such that $AB=BA$ and for any 2 polynomials $f$ and $g$, we have $f(A)g(B)=g(B)f(A)$. Thats not difficult.



In the second part the question wa to prove that $A^−1=p(A)$ for some polynomial with complex coefficients. So how can I use part 1 to prove part 2? Or are they not related to each other ?



I think in general they use the fact that the characteristic polynomial $c_A(t) = det(t I - A)$ of any square matrix $A$ satisfies $c_A(A) = 0$.



But I also didn't know how to prove from here.










share|cite|improve this question









$endgroup$




I saw a question that asks in the first part to prove that if $A, B in M_n(mathbb C)$ such that $AB=BA$ and for any 2 polynomials $f$ and $g$, we have $f(A)g(B)=g(B)f(A)$. Thats not difficult.



In the second part the question wa to prove that $A^−1=p(A)$ for some polynomial with complex coefficients. So how can I use part 1 to prove part 2? Or are they not related to each other ?



I think in general they use the fact that the characteristic polynomial $c_A(t) = det(t I - A)$ of any square matrix $A$ satisfies $c_A(A) = 0$.



But I also didn't know how to prove from here.







matrices polynomials inverse






share|cite|improve this question













share|cite|improve this question











share|cite|improve this question




share|cite|improve this question










asked 2 days ago









Fareed AFFareed AF

62212




62212







  • 1




    $begingroup$
    The constant in the characteristic polynomial must be non zero if $A$ is invertible, so you can use the characteristic polynomial to find the required formula by just multiplying across by $A^-1$.
    $endgroup$
    – copper.hat
    2 days ago










  • $begingroup$
    I didn't understand what you mean, can you please explain it more?
    $endgroup$
    – Fareed AF
    2 days ago










  • $begingroup$
    What happens if you multiply the characteristic equation (with $A$) across by the inverse if $A$?
    $endgroup$
    – copper.hat
    2 days ago










  • $begingroup$
    The charactaristic equation is a determinant. So if I multiplied inside the determinant I will get $det(tA^-1-I)$. I didn't understand where you want me to multiply by $A^-1$ and do "multiply across by" have the same meaning as "multiply by"? Sorry maybe I am not that good in english...
    $endgroup$
    – Fareed AF
    2 days ago






  • 1




    $begingroup$
    I added an answer.
    $endgroup$
    – copper.hat
    2 days ago












  • 1




    $begingroup$
    The constant in the characteristic polynomial must be non zero if $A$ is invertible, so you can use the characteristic polynomial to find the required formula by just multiplying across by $A^-1$.
    $endgroup$
    – copper.hat
    2 days ago










  • $begingroup$
    I didn't understand what you mean, can you please explain it more?
    $endgroup$
    – Fareed AF
    2 days ago










  • $begingroup$
    What happens if you multiply the characteristic equation (with $A$) across by the inverse if $A$?
    $endgroup$
    – copper.hat
    2 days ago










  • $begingroup$
    The charactaristic equation is a determinant. So if I multiplied inside the determinant I will get $det(tA^-1-I)$. I didn't understand where you want me to multiply by $A^-1$ and do "multiply across by" have the same meaning as "multiply by"? Sorry maybe I am not that good in english...
    $endgroup$
    – Fareed AF
    2 days ago






  • 1




    $begingroup$
    I added an answer.
    $endgroup$
    – copper.hat
    2 days ago







1




1




$begingroup$
The constant in the characteristic polynomial must be non zero if $A$ is invertible, so you can use the characteristic polynomial to find the required formula by just multiplying across by $A^-1$.
$endgroup$
– copper.hat
2 days ago




$begingroup$
The constant in the characteristic polynomial must be non zero if $A$ is invertible, so you can use the characteristic polynomial to find the required formula by just multiplying across by $A^-1$.
$endgroup$
– copper.hat
2 days ago












$begingroup$
I didn't understand what you mean, can you please explain it more?
$endgroup$
– Fareed AF
2 days ago




$begingroup$
I didn't understand what you mean, can you please explain it more?
$endgroup$
– Fareed AF
2 days ago












$begingroup$
What happens if you multiply the characteristic equation (with $A$) across by the inverse if $A$?
$endgroup$
– copper.hat
2 days ago




$begingroup$
What happens if you multiply the characteristic equation (with $A$) across by the inverse if $A$?
$endgroup$
– copper.hat
2 days ago












$begingroup$
The charactaristic equation is a determinant. So if I multiplied inside the determinant I will get $det(tA^-1-I)$. I didn't understand where you want me to multiply by $A^-1$ and do "multiply across by" have the same meaning as "multiply by"? Sorry maybe I am not that good in english...
$endgroup$
– Fareed AF
2 days ago




$begingroup$
The charactaristic equation is a determinant. So if I multiplied inside the determinant I will get $det(tA^-1-I)$. I didn't understand where you want me to multiply by $A^-1$ and do "multiply across by" have the same meaning as "multiply by"? Sorry maybe I am not that good in english...
$endgroup$
– Fareed AF
2 days ago




1




1




$begingroup$
I added an answer.
$endgroup$
– copper.hat
2 days ago




$begingroup$
I added an answer.
$endgroup$
– copper.hat
2 days ago










2 Answers
2






active

oldest

votes


















2












$begingroup$

The characteristic polynomial is $chi_A(s) = det (sI-a)$ and the Cayley Hamilton theorem
tells us that $chi_A(A) = 0$. Since $A$ is invertible, we have
$c_0=chi_A(0) neq 0$ (the parameter $0$ means the scalar zero)
and so we have
$chi_A(A) = 0 = A^n+c_n-1A^n-1+cdots+ c_1A +c_0 I = 0$. Now multiply through by $A^-1$ to get
$A^n-1+c_n-2A^n-1+cdots+ c_1 I +c_0 A^-1 = 0$, from which we get
$A^-1 = - 1 over c_0 (A^n-1+c_n-2A^n-1+cdots+ c_1 I)$.






share|cite|improve this answer











$endgroup$












  • $begingroup$
    Thank you, I appreciate that
    $endgroup$
    – Fareed AF
    2 days ago


















3












$begingroup$

Here's a quick and dirty way, not using determinants.



Because $M_n$ itself has dimension $n^2$, we can find constants $c_1,dots,c_n^2+1$, not all zero, such that $c_1 A + dots + c_n^2+1 A^n^2+1=0$.



Suppose now $A$ is invertible. Let $j_0$ the smallest index satisfying $c_j_0ne 0$. Then $j_0<n^2+1$ because $A$ is invertible.



Multiply the linear combination by $frac1c_j_0A^-(j_0+1)$ to obtain



$$ boxed A^-1 + fracc_j_0+1c_j_0 A + dots + fracc_n^2+1c_j_0A^n^2+1-j_0 =0,$$



completing the proof.






share|cite|improve this answer









$endgroup$













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



    );













    draft saved

    draft discarded


















    StackExchange.ready(
    function ()
    StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3164731%2frepresenting-the-inverse-of-a-matrix-by-a-polynomial%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









    2












    $begingroup$

    The characteristic polynomial is $chi_A(s) = det (sI-a)$ and the Cayley Hamilton theorem
    tells us that $chi_A(A) = 0$. Since $A$ is invertible, we have
    $c_0=chi_A(0) neq 0$ (the parameter $0$ means the scalar zero)
    and so we have
    $chi_A(A) = 0 = A^n+c_n-1A^n-1+cdots+ c_1A +c_0 I = 0$. Now multiply through by $A^-1$ to get
    $A^n-1+c_n-2A^n-1+cdots+ c_1 I +c_0 A^-1 = 0$, from which we get
    $A^-1 = - 1 over c_0 (A^n-1+c_n-2A^n-1+cdots+ c_1 I)$.






    share|cite|improve this answer











    $endgroup$












    • $begingroup$
      Thank you, I appreciate that
      $endgroup$
      – Fareed AF
      2 days ago















    2












    $begingroup$

    The characteristic polynomial is $chi_A(s) = det (sI-a)$ and the Cayley Hamilton theorem
    tells us that $chi_A(A) = 0$. Since $A$ is invertible, we have
    $c_0=chi_A(0) neq 0$ (the parameter $0$ means the scalar zero)
    and so we have
    $chi_A(A) = 0 = A^n+c_n-1A^n-1+cdots+ c_1A +c_0 I = 0$. Now multiply through by $A^-1$ to get
    $A^n-1+c_n-2A^n-1+cdots+ c_1 I +c_0 A^-1 = 0$, from which we get
    $A^-1 = - 1 over c_0 (A^n-1+c_n-2A^n-1+cdots+ c_1 I)$.






    share|cite|improve this answer











    $endgroup$












    • $begingroup$
      Thank you, I appreciate that
      $endgroup$
      – Fareed AF
      2 days ago













    2












    2








    2





    $begingroup$

    The characteristic polynomial is $chi_A(s) = det (sI-a)$ and the Cayley Hamilton theorem
    tells us that $chi_A(A) = 0$. Since $A$ is invertible, we have
    $c_0=chi_A(0) neq 0$ (the parameter $0$ means the scalar zero)
    and so we have
    $chi_A(A) = 0 = A^n+c_n-1A^n-1+cdots+ c_1A +c_0 I = 0$. Now multiply through by $A^-1$ to get
    $A^n-1+c_n-2A^n-1+cdots+ c_1 I +c_0 A^-1 = 0$, from which we get
    $A^-1 = - 1 over c_0 (A^n-1+c_n-2A^n-1+cdots+ c_1 I)$.






    share|cite|improve this answer











    $endgroup$



    The characteristic polynomial is $chi_A(s) = det (sI-a)$ and the Cayley Hamilton theorem
    tells us that $chi_A(A) = 0$. Since $A$ is invertible, we have
    $c_0=chi_A(0) neq 0$ (the parameter $0$ means the scalar zero)
    and so we have
    $chi_A(A) = 0 = A^n+c_n-1A^n-1+cdots+ c_1A +c_0 I = 0$. Now multiply through by $A^-1$ to get
    $A^n-1+c_n-2A^n-1+cdots+ c_1 I +c_0 A^-1 = 0$, from which we get
    $A^-1 = - 1 over c_0 (A^n-1+c_n-2A^n-1+cdots+ c_1 I)$.







    share|cite|improve this answer














    share|cite|improve this answer



    share|cite|improve this answer








    edited 2 days ago

























    answered 2 days ago









    copper.hatcopper.hat

    128k559161




    128k559161











    • $begingroup$
      Thank you, I appreciate that
      $endgroup$
      – Fareed AF
      2 days ago
















    • $begingroup$
      Thank you, I appreciate that
      $endgroup$
      – Fareed AF
      2 days ago















    $begingroup$
    Thank you, I appreciate that
    $endgroup$
    – Fareed AF
    2 days ago




    $begingroup$
    Thank you, I appreciate that
    $endgroup$
    – Fareed AF
    2 days ago











    3












    $begingroup$

    Here's a quick and dirty way, not using determinants.



    Because $M_n$ itself has dimension $n^2$, we can find constants $c_1,dots,c_n^2+1$, not all zero, such that $c_1 A + dots + c_n^2+1 A^n^2+1=0$.



    Suppose now $A$ is invertible. Let $j_0$ the smallest index satisfying $c_j_0ne 0$. Then $j_0<n^2+1$ because $A$ is invertible.



    Multiply the linear combination by $frac1c_j_0A^-(j_0+1)$ to obtain



    $$ boxed A^-1 + fracc_j_0+1c_j_0 A + dots + fracc_n^2+1c_j_0A^n^2+1-j_0 =0,$$



    completing the proof.






    share|cite|improve this answer









    $endgroup$

















      3












      $begingroup$

      Here's a quick and dirty way, not using determinants.



      Because $M_n$ itself has dimension $n^2$, we can find constants $c_1,dots,c_n^2+1$, not all zero, such that $c_1 A + dots + c_n^2+1 A^n^2+1=0$.



      Suppose now $A$ is invertible. Let $j_0$ the smallest index satisfying $c_j_0ne 0$. Then $j_0<n^2+1$ because $A$ is invertible.



      Multiply the linear combination by $frac1c_j_0A^-(j_0+1)$ to obtain



      $$ boxed A^-1 + fracc_j_0+1c_j_0 A + dots + fracc_n^2+1c_j_0A^n^2+1-j_0 =0,$$



      completing the proof.






      share|cite|improve this answer









      $endgroup$















        3












        3








        3





        $begingroup$

        Here's a quick and dirty way, not using determinants.



        Because $M_n$ itself has dimension $n^2$, we can find constants $c_1,dots,c_n^2+1$, not all zero, such that $c_1 A + dots + c_n^2+1 A^n^2+1=0$.



        Suppose now $A$ is invertible. Let $j_0$ the smallest index satisfying $c_j_0ne 0$. Then $j_0<n^2+1$ because $A$ is invertible.



        Multiply the linear combination by $frac1c_j_0A^-(j_0+1)$ to obtain



        $$ boxed A^-1 + fracc_j_0+1c_j_0 A + dots + fracc_n^2+1c_j_0A^n^2+1-j_0 =0,$$



        completing the proof.






        share|cite|improve this answer









        $endgroup$



        Here's a quick and dirty way, not using determinants.



        Because $M_n$ itself has dimension $n^2$, we can find constants $c_1,dots,c_n^2+1$, not all zero, such that $c_1 A + dots + c_n^2+1 A^n^2+1=0$.



        Suppose now $A$ is invertible. Let $j_0$ the smallest index satisfying $c_j_0ne 0$. Then $j_0<n^2+1$ because $A$ is invertible.



        Multiply the linear combination by $frac1c_j_0A^-(j_0+1)$ to obtain



        $$ boxed A^-1 + fracc_j_0+1c_j_0 A + dots + fracc_n^2+1c_j_0A^n^2+1-j_0 =0,$$



        completing the proof.







        share|cite|improve this answer












        share|cite|improve this answer



        share|cite|improve this answer










        answered 2 days ago









        FnacoolFnacool

        5,281611




        5,281611



























            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%2f3164731%2frepresenting-the-inverse-of-a-matrix-by-a-polynomial%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

            Triangular numbers and gcdProving sum of a set is $0 pmod n$ if $n$ is odd, or $fracn2 pmod n$ if $n$ is even?Is greatest common divisor of two numbers really their smallest linear combination?GCD, LCM RelationshipProve a set of nonnegative integers with greatest common divisor 1 and closed under addition has all but finite many nonnegative integers.all pairs of a and b in an equation containing gcdTriangular Numbers Modulo $k$ - Hit All Values?Understanding the Existence and Uniqueness of the GCDGCD and LCM with logical symbolsThe greatest common divisor of two positive integers less than 100 is equal to 3. Their least common multiple is twelve times one of the integers.Suppose that for all integers $x$, $x|a$ and $x|b$ if and only if $x|c$. Then $c = gcd(a,b)$Which is the gcd of 2 numbers which are multiplied and the result is 600000?

            Ingelân Ynhâld Etymology | Geografy | Skiednis | Polityk en bestjoer | Ekonomy | Demografy | Kultuer | Klimaat | Sjoch ek | Keppelings om utens | Boarnen, noaten en referinsjes Navigaasjemenuwww.gov.ukOffisjele webside fan it regear fan it Feriene KeninkrykOffisjele webside fan it Britske FerkearsburoNederlânsktalige ynformaasje fan it Britske FerkearsburoOffisjele webside fan English Heritage, de organisaasje dy't him ynset foar it behâld fan it Ingelske kultuergoedYnwennertallen fan alle Britske stêden út 'e folkstelling fan 2011Notes en References, op dizze sideEngland

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