Powers of lower triangular matrices











up vote
2
down vote

favorite












How can I show that for an $ntimes n$ strictly lower triangular matrix $A$, $A^n = [0]$, but $A^{n-1} neq 0$? I can see it from some quick examples but I'm having trouble formalizing those observations.










share|cite|improve this question


















  • 2




    Take a $3 times 3$ matrix with a $1$ in the lower left corner for a counterexample.
    – T. Bongers
    Nov 13 at 23:07






  • 3




    The result could be amended to "show that $A^n=0$" without the "$A^{n-1}neq 0$" part.
    – Dave
    Nov 13 at 23:08

















up vote
2
down vote

favorite












How can I show that for an $ntimes n$ strictly lower triangular matrix $A$, $A^n = [0]$, but $A^{n-1} neq 0$? I can see it from some quick examples but I'm having trouble formalizing those observations.










share|cite|improve this question


















  • 2




    Take a $3 times 3$ matrix with a $1$ in the lower left corner for a counterexample.
    – T. Bongers
    Nov 13 at 23:07






  • 3




    The result could be amended to "show that $A^n=0$" without the "$A^{n-1}neq 0$" part.
    – Dave
    Nov 13 at 23:08















up vote
2
down vote

favorite









up vote
2
down vote

favorite











How can I show that for an $ntimes n$ strictly lower triangular matrix $A$, $A^n = [0]$, but $A^{n-1} neq 0$? I can see it from some quick examples but I'm having trouble formalizing those observations.










share|cite|improve this question













How can I show that for an $ntimes n$ strictly lower triangular matrix $A$, $A^n = [0]$, but $A^{n-1} neq 0$? I can see it from some quick examples but I'm having trouble formalizing those observations.







linear-algebra matrices






share|cite|improve this question













share|cite|improve this question











share|cite|improve this question




share|cite|improve this question










asked Nov 13 at 23:05









Matt Swanson

132




132








  • 2




    Take a $3 times 3$ matrix with a $1$ in the lower left corner for a counterexample.
    – T. Bongers
    Nov 13 at 23:07






  • 3




    The result could be amended to "show that $A^n=0$" without the "$A^{n-1}neq 0$" part.
    – Dave
    Nov 13 at 23:08
















  • 2




    Take a $3 times 3$ matrix with a $1$ in the lower left corner for a counterexample.
    – T. Bongers
    Nov 13 at 23:07






  • 3




    The result could be amended to "show that $A^n=0$" without the "$A^{n-1}neq 0$" part.
    – Dave
    Nov 13 at 23:08










2




2




Take a $3 times 3$ matrix with a $1$ in the lower left corner for a counterexample.
– T. Bongers
Nov 13 at 23:07




Take a $3 times 3$ matrix with a $1$ in the lower left corner for a counterexample.
– T. Bongers
Nov 13 at 23:07




3




3




The result could be amended to "show that $A^n=0$" without the "$A^{n-1}neq 0$" part.
– Dave
Nov 13 at 23:08






The result could be amended to "show that $A^n=0$" without the "$A^{n-1}neq 0$" part.
– Dave
Nov 13 at 23:08












2 Answers
2






active

oldest

votes

















up vote
5
down vote



accepted










The $3 times 3$ matrix



$$left[begin{array}{cc} 0 & 0 & 0 \ 0 & 0 & 0 \ 1 & 0 & 0end{array}right]$$



gives a counterexample to the claim.






share|cite|improve this answer




























    up vote
    2
    down vote













    See Corollary 3.78 in my Notes on linear algebra for the proof of $A^n = 0_{n times n}$. (The proof is not difficult, but is significantly lengthened by the fact that I could assume nothing for granted in that class.)



    As @T.Bongers pointed out in his answer, $A^{n-1} neq 0_{n times n}$ is not always satisfied. However, for each $n > 0$, there exists a lower-triangular $n times n$-matrix $A$ that satisfies $A^{n-1} neq 0_{n times n}$. To prove this, set
    begin{equation}
    A = begin{pmatrix}
    0 & 0 & 0 & cdots & 0 & 0 \
    1 & 0 & 0 & cdots & 0 & 0 \
    0 & 1 & 0 & cdots & 0 & 0 \
    vdots & vdots & vdots & ddots & vdots & vdots \
    0 & 0 & 0 & cdots & 0 & 0 \
    0 & 0 & 0 & cdots & 1 & 0
    end{pmatrix} ;
    end{equation}

    this is the $n times n$-matrix whose $left(i,jright)$-th entry is $delta_{i, j+1}$ for all $i$ and $j$ (where we are using the Kronecker delta notation; see Definition 2.37 in op. cit.). Then, the $left(i,jright)$-th entry of $A^k$ is $delta_{i, j+k}$ for all $i$ and $j$ and $k geq 0$ (indeed, this can be proven by induction on $k$, where the induction step relies on the definition of the product of two matrices). Thus, in particular, the $left(n,1right)$-th entry of $A^{n-1}$ is $delta_{n, 1+left(n-1right)} = delta_{n, n} = 1 neq 0$; therefore, $A^{n-1} neq 0_{ntimes n}$. (See also Show that $A^n = 0$ but $A^{n-1} neq 0$ for an $ntimes n$ strictly lower triangular matrix for variants of this proof.)






    share|cite|improve this answer























      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: 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%2f2997495%2fpowers-of-lower-triangular-matrices%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








      up vote
      5
      down vote



      accepted










      The $3 times 3$ matrix



      $$left[begin{array}{cc} 0 & 0 & 0 \ 0 & 0 & 0 \ 1 & 0 & 0end{array}right]$$



      gives a counterexample to the claim.






      share|cite|improve this answer

























        up vote
        5
        down vote



        accepted










        The $3 times 3$ matrix



        $$left[begin{array}{cc} 0 & 0 & 0 \ 0 & 0 & 0 \ 1 & 0 & 0end{array}right]$$



        gives a counterexample to the claim.






        share|cite|improve this answer























          up vote
          5
          down vote



          accepted







          up vote
          5
          down vote



          accepted






          The $3 times 3$ matrix



          $$left[begin{array}{cc} 0 & 0 & 0 \ 0 & 0 & 0 \ 1 & 0 & 0end{array}right]$$



          gives a counterexample to the claim.






          share|cite|improve this answer












          The $3 times 3$ matrix



          $$left[begin{array}{cc} 0 & 0 & 0 \ 0 & 0 & 0 \ 1 & 0 & 0end{array}right]$$



          gives a counterexample to the claim.







          share|cite|improve this answer












          share|cite|improve this answer



          share|cite|improve this answer










          answered Nov 13 at 23:08









          T. Bongers

          22.2k54359




          22.2k54359






















              up vote
              2
              down vote













              See Corollary 3.78 in my Notes on linear algebra for the proof of $A^n = 0_{n times n}$. (The proof is not difficult, but is significantly lengthened by the fact that I could assume nothing for granted in that class.)



              As @T.Bongers pointed out in his answer, $A^{n-1} neq 0_{n times n}$ is not always satisfied. However, for each $n > 0$, there exists a lower-triangular $n times n$-matrix $A$ that satisfies $A^{n-1} neq 0_{n times n}$. To prove this, set
              begin{equation}
              A = begin{pmatrix}
              0 & 0 & 0 & cdots & 0 & 0 \
              1 & 0 & 0 & cdots & 0 & 0 \
              0 & 1 & 0 & cdots & 0 & 0 \
              vdots & vdots & vdots & ddots & vdots & vdots \
              0 & 0 & 0 & cdots & 0 & 0 \
              0 & 0 & 0 & cdots & 1 & 0
              end{pmatrix} ;
              end{equation}

              this is the $n times n$-matrix whose $left(i,jright)$-th entry is $delta_{i, j+1}$ for all $i$ and $j$ (where we are using the Kronecker delta notation; see Definition 2.37 in op. cit.). Then, the $left(i,jright)$-th entry of $A^k$ is $delta_{i, j+k}$ for all $i$ and $j$ and $k geq 0$ (indeed, this can be proven by induction on $k$, where the induction step relies on the definition of the product of two matrices). Thus, in particular, the $left(n,1right)$-th entry of $A^{n-1}$ is $delta_{n, 1+left(n-1right)} = delta_{n, n} = 1 neq 0$; therefore, $A^{n-1} neq 0_{ntimes n}$. (See also Show that $A^n = 0$ but $A^{n-1} neq 0$ for an $ntimes n$ strictly lower triangular matrix for variants of this proof.)






              share|cite|improve this answer



























                up vote
                2
                down vote













                See Corollary 3.78 in my Notes on linear algebra for the proof of $A^n = 0_{n times n}$. (The proof is not difficult, but is significantly lengthened by the fact that I could assume nothing for granted in that class.)



                As @T.Bongers pointed out in his answer, $A^{n-1} neq 0_{n times n}$ is not always satisfied. However, for each $n > 0$, there exists a lower-triangular $n times n$-matrix $A$ that satisfies $A^{n-1} neq 0_{n times n}$. To prove this, set
                begin{equation}
                A = begin{pmatrix}
                0 & 0 & 0 & cdots & 0 & 0 \
                1 & 0 & 0 & cdots & 0 & 0 \
                0 & 1 & 0 & cdots & 0 & 0 \
                vdots & vdots & vdots & ddots & vdots & vdots \
                0 & 0 & 0 & cdots & 0 & 0 \
                0 & 0 & 0 & cdots & 1 & 0
                end{pmatrix} ;
                end{equation}

                this is the $n times n$-matrix whose $left(i,jright)$-th entry is $delta_{i, j+1}$ for all $i$ and $j$ (where we are using the Kronecker delta notation; see Definition 2.37 in op. cit.). Then, the $left(i,jright)$-th entry of $A^k$ is $delta_{i, j+k}$ for all $i$ and $j$ and $k geq 0$ (indeed, this can be proven by induction on $k$, where the induction step relies on the definition of the product of two matrices). Thus, in particular, the $left(n,1right)$-th entry of $A^{n-1}$ is $delta_{n, 1+left(n-1right)} = delta_{n, n} = 1 neq 0$; therefore, $A^{n-1} neq 0_{ntimes n}$. (See also Show that $A^n = 0$ but $A^{n-1} neq 0$ for an $ntimes n$ strictly lower triangular matrix for variants of this proof.)






                share|cite|improve this answer

























                  up vote
                  2
                  down vote










                  up vote
                  2
                  down vote









                  See Corollary 3.78 in my Notes on linear algebra for the proof of $A^n = 0_{n times n}$. (The proof is not difficult, but is significantly lengthened by the fact that I could assume nothing for granted in that class.)



                  As @T.Bongers pointed out in his answer, $A^{n-1} neq 0_{n times n}$ is not always satisfied. However, for each $n > 0$, there exists a lower-triangular $n times n$-matrix $A$ that satisfies $A^{n-1} neq 0_{n times n}$. To prove this, set
                  begin{equation}
                  A = begin{pmatrix}
                  0 & 0 & 0 & cdots & 0 & 0 \
                  1 & 0 & 0 & cdots & 0 & 0 \
                  0 & 1 & 0 & cdots & 0 & 0 \
                  vdots & vdots & vdots & ddots & vdots & vdots \
                  0 & 0 & 0 & cdots & 0 & 0 \
                  0 & 0 & 0 & cdots & 1 & 0
                  end{pmatrix} ;
                  end{equation}

                  this is the $n times n$-matrix whose $left(i,jright)$-th entry is $delta_{i, j+1}$ for all $i$ and $j$ (where we are using the Kronecker delta notation; see Definition 2.37 in op. cit.). Then, the $left(i,jright)$-th entry of $A^k$ is $delta_{i, j+k}$ for all $i$ and $j$ and $k geq 0$ (indeed, this can be proven by induction on $k$, where the induction step relies on the definition of the product of two matrices). Thus, in particular, the $left(n,1right)$-th entry of $A^{n-1}$ is $delta_{n, 1+left(n-1right)} = delta_{n, n} = 1 neq 0$; therefore, $A^{n-1} neq 0_{ntimes n}$. (See also Show that $A^n = 0$ but $A^{n-1} neq 0$ for an $ntimes n$ strictly lower triangular matrix for variants of this proof.)






                  share|cite|improve this answer














                  See Corollary 3.78 in my Notes on linear algebra for the proof of $A^n = 0_{n times n}$. (The proof is not difficult, but is significantly lengthened by the fact that I could assume nothing for granted in that class.)



                  As @T.Bongers pointed out in his answer, $A^{n-1} neq 0_{n times n}$ is not always satisfied. However, for each $n > 0$, there exists a lower-triangular $n times n$-matrix $A$ that satisfies $A^{n-1} neq 0_{n times n}$. To prove this, set
                  begin{equation}
                  A = begin{pmatrix}
                  0 & 0 & 0 & cdots & 0 & 0 \
                  1 & 0 & 0 & cdots & 0 & 0 \
                  0 & 1 & 0 & cdots & 0 & 0 \
                  vdots & vdots & vdots & ddots & vdots & vdots \
                  0 & 0 & 0 & cdots & 0 & 0 \
                  0 & 0 & 0 & cdots & 1 & 0
                  end{pmatrix} ;
                  end{equation}

                  this is the $n times n$-matrix whose $left(i,jright)$-th entry is $delta_{i, j+1}$ for all $i$ and $j$ (where we are using the Kronecker delta notation; see Definition 2.37 in op. cit.). Then, the $left(i,jright)$-th entry of $A^k$ is $delta_{i, j+k}$ for all $i$ and $j$ and $k geq 0$ (indeed, this can be proven by induction on $k$, where the induction step relies on the definition of the product of two matrices). Thus, in particular, the $left(n,1right)$-th entry of $A^{n-1}$ is $delta_{n, 1+left(n-1right)} = delta_{n, n} = 1 neq 0$; therefore, $A^{n-1} neq 0_{ntimes n}$. (See also Show that $A^n = 0$ but $A^{n-1} neq 0$ for an $ntimes n$ strictly lower triangular matrix for variants of this proof.)







                  share|cite|improve this answer














                  share|cite|improve this answer



                  share|cite|improve this answer








                  edited Nov 14 at 1:09

























                  answered Nov 13 at 23:55









                  darij grinberg

                  9,89532961




                  9,89532961






























                       

                      draft saved


                      draft discarded



















































                       


                      draft saved


                      draft discarded














                      StackExchange.ready(
                      function () {
                      StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2997495%2fpowers-of-lower-triangular-matrices%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

                      Probability when a professor distributes a quiz and homework assignment to a class of n students.

                      Aardman Animations

                      Are they similar matrix