<?xml version="1.0" encoding="UTF-8"?><!DOCTYPE article PUBLIC "-//NLM//DTD Journal Publishing DTD v3.0 20080202//EN" "http://dtd.nlm.nih.gov/publishing/3.0/journalpublishing3.dtd">
<article xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink" dtd-version="3.0" xml:lang="en" article-type="research article">
 <front>
  <journal-meta>
   <journal-id journal-id-type="publisher-id">
    jamp
   </journal-id>
   <journal-title-group>
    <journal-title>
     Journal of Applied Mathematics and Physics
    </journal-title>
   </journal-title-group>
   <issn pub-type="epub">
    2327-4352
   </issn>
   <issn publication-format="print">
    2327-4379
   </issn>
   <publisher>
    <publisher-name>
     Scientific Research Publishing
    </publisher-name>
   </publisher>
  </journal-meta>
  <article-meta>
   <article-id pub-id-type="doi">
    10.4236/jamp.2025.132034
   </article-id>
   <article-id pub-id-type="publisher-id">
    jamp-140973
   </article-id>
   <article-categories>
    <subj-group subj-group-type="heading">
     <subject>
      Articles
     </subject>
    </subj-group>
    <subj-group subj-group-type="Discipline-v2">
     <subject>
      Physics 
     </subject>
     <subject>
       Mathematics
     </subject>
    </subj-group>
   </article-categories>
   <title-group>
    Definition and Properties of a Vector-Matrix Reversal Operator
   </title-group>
   <contrib-group>
    <contrib contrib-type="author" xlink:type="simple">
     <name name-style="western">
      <surname>
       Ramon
      </surname>
      <given-names>
       Carbó-Dorca
      </given-names>
     </name>
    </contrib>
   </contrib-group> 
   <aff id="affnull">
    <addr-line>
     aInstitut de Química Computacional, Universitat de Girona, Girona (Spain) and Ronin Institute, Montclair, NJ, USA
    </addr-line> 
   </aff> 
   <pub-date pub-type="epub">
    <day>
     10
    </day> 
    <month>
     02
    </month>
    <year>
     2025
    </year>
   </pub-date> 
   <volume>
    13
   </volume> 
   <issue>
    02
   </issue>
   <fpage>
    623
   </fpage>
   <lpage>
    632
   </lpage>
   <history>
    <date date-type="received">
     <day>
      26,
     </day>
     <month>
      January
     </month>
     <year>
      2025
     </year>
    </date>
    <date date-type="published">
     <day>
      25,
     </day>
     <month>
      January
     </month>
     <year>
      2025
     </year> 
    </date> 
    <date date-type="accepted">
     <day>
      25,
     </day>
     <month>
      February
     </month>
     <year>
      2025
     </year> 
    </date>
   </history>
   <permissions>
    <copyright-statement>
     © Copyright 2014 by authors and Scientific Research Publishing Inc. 
    </copyright-statement>
    <copyright-year>
     2014
    </copyright-year>
    <license>
     <license-p>
      This work is licensed under the Creative Commons Attribution International License (CC BY). http://creativecommons.org/licenses/by/4.0/
     </license-p>
    </license>
   </permissions>
   <abstract>
    An in-depth description of an apparently forgotten matrix operation, the reversal operator, is developed. The properties of such an operation are also given, resulting in a new vector-matrix operation resembling the well-known ones of conjugation, transposition, and inversion. The reversal operator operates by ordering the object components where applied. Reversal is easy to perform as it is distributive regarding the vector sum and matrix product. Supplementary descriptions of matrix regions not often used in linear algebra, like the anti-diagonal concept, are also discussed. Some practical problems are given.
   </abstract>
   <kwd-group> 
    <kwd>
     Reversal Operator
    </kwd> 
    <kwd>
      Reverse of a Vector
    </kwd> 
    <kwd>
      Reverse of a Matrix
    </kwd> 
    <kwd>
      Reversal Invariance
    </kwd> 
    <kwd>
      Reversal Matrix
    </kwd> 
    <kwd>
      Linear Algebra
    </kwd> 
    <kwd>
      Programming Techniques
    </kwd>
   </kwd-group>
  </article-meta>
 </front>
 <body>
  <sec id="s1">
   <title>1. Introduction</title>
   <p>The author is aware of a large amount of literature in the form of books related to structure, manipulation, and solving equations involving matrices and vectors (considered here as row or column matrices). Thus, the aim of the present study cannot be an exhaustive bibliographic description of matrix algebra. However, a literature résumé will be given in any way to provide a maybe biased point of view related to the present author.</p>
   <p>Perhaps the readers have in mind the basic definitions of Linear Algebra both in teaching volumes <xref ref-type="bibr" rid="scirp.140973-1">
     [1]
    </xref> <xref ref-type="bibr" rid="scirp.140973-2">
     [2]
    </xref> and in specialized treatises like the old book of Wilkinson <xref ref-type="bibr" rid="scirp.140973-3">
     [3]
    </xref>, a compendium of the Linear Algebra techniques for computational purposes, along with the two-volume practical treatise <xref ref-type="bibr" rid="scirp.140973-4">
     [4]
    </xref> mainly based on the previous Wilkinson’s book. The exhaustive study of Durand <xref ref-type="bibr" rid="scirp.140973-5">
     [5]
    </xref> is of similar interest, where the most interesting Linear Algebra problems are studied and solved. One can obtain more recent information in <xref ref-type="bibr" rid="scirp.140973-6">
     [6]
    </xref>.</p>
   <p>Surely, the readers will know the words reversal, reverse, and reversing, among other meanings and uses, in certain aspects of time description <xref ref-type="bibr" rid="scirp.140973-7">
     [7]
    </xref>-<xref ref-type="bibr" rid="scirp.140973-9">
     [9]
    </xref>, they are often encountered. However, as far as the present author knows, such wording is scarcely used enough in mathematics <xref ref-type="bibr" rid="scirp.140973-10">
     [10]
    </xref>, if not at all, as some operation to manipulate vectors and matrices in a Linear Algebra context.</p>
   <p>This paper describes how a reversal operator acting on matrices and vectors might be defined. That means one can set how the reversal of a vector or a matrix transforms the implied vector or matrix elements upon reversal, the structure of reverse vectors and matrices, and the relations with other well-known operators and operations acting over and belonging to matrix algebra.</p>
   <p>The present paper is structured so that first, one can set the vector reversal definition and its properties and purpose. After this initial setup, one can discuss the structure of square matrix elements as a step to define their reversal operator action. At this stage, one will describe the concept of anti-diagonal and the new matrix regions that one can add to the already known ones. After this, one discusses several additional aspects of matrix reversal. This study continues with the action of the reversal operator upon the matrix product, the determinant of a matrix, and the matrix inverse.</p>
  </sec><sec id="s2">
   <title>2. Vector Reversal</title>
   <sec id="s2_1">
    <title>2.1. Definition and Symbols of Row and Column Vectors</title>
    <p>
     <xref ref-type="bibr" rid="scirp.140973-"></xref>Suppose an N-dimensional vector space 
     <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
       <msub> 
        <mi>
          V 
        </mi> 
        <mi>
          N 
        </mi> 
       </msub> 
       <mrow> 
        <mo>
          ( 
        </mo> 
        <mstyle mathvariant="bold" mathsize="normal"> 
         <mi>
           Q 
         </mi> 
        </mstyle> 
        <mo>
          ) 
        </mo> 
       </mrow> 
      </mrow> 
     </math>, where one has chosen the rational field 
     <math xmlns="http://www.w3.org/1998/Math/MathML"> <mstyle mathvariant="bold" mathsize="normal"> 
       <mi>
         Q 
       </mi> 
      </mstyle> 
     </math> instead of the real field 
     <math display="inline" xmlns="http://www.w3.org/1998/Math/MathML"> <mstyle mathvariant="bold" mathsize="normal"> 
       <mi>
         R 
       </mi> 
      </mstyle> 
     </math>, stressing the computational background of vector-matrix operations developed in this study.</p>
    <p>Choosing to represent a vector, noted by 
     <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
       <mrow> 
        <mo>
          〈 
        </mo> 
        <mstyle mathvariant="bold" mathsize="normal"> 
         <mi>
           a 
         </mi> 
        </mstyle> 
        <mo>
          | 
        </mo> 
       </mrow> 
      </mrow> 
     </math>, in the form of a row vector, and writing:</p>
    <p>
     <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
       <mrow> 
        <mo>
          〈 
        </mo> 
        <mstyle mathvariant="bold" mathsize="normal"> 
         <mi>
           a 
         </mi> 
        </mstyle> 
        <mo>
          | 
        </mo> 
       </mrow> 
       <mo>
         = 
       </mo> 
       <mrow> 
        <mo>
          ( 
        </mo> 
        <mrow> 
         <msub> 
          <mi>
            a 
          </mi> 
          <mn>
            1 
          </mn> 
         </msub> 
         <mo>
           , 
         </mo> 
         <msub> 
          <mi>
            a 
          </mi> 
          <mn>
            2 
          </mn> 
         </msub> 
         <mo>
           , 
         </mo> 
         <msub> 
          <mi>
            a 
          </mi> 
          <mn>
            3 
          </mn> 
         </msub> 
         <mo>
           , 
         </mo> 
         <mo>
           ⋯ 
         </mo> 
         <mo>
           , 
         </mo> 
         <msub> 
          <mi>
            a 
          </mi> 
          <mi>
            N 
          </mi> 
         </msub> 
        </mrow> 
        <mo>
          ) 
        </mo> 
       </mrow> 
       <mo>
         ∈ 
       </mo> 
       <msub> 
        <mi>
          V 
        </mi> 
        <mi>
          N 
        </mi> 
       </msub> 
       <mrow> 
        <mo>
          ( 
        </mo> 
        <mstyle mathvariant="bold" mathsize="normal"> 
         <mi>
           Q 
         </mi> 
        </mstyle> 
        <mo>
          ) 
        </mo> 
       </mrow> 
      </mrow> 
     </math>,</p>
    <p>then, one selects vectors this bra way instead of the equivalent column ket symbols. Because this row form is easier to write explicitly than the equivalent column dual counterpart. Such consideration becomes easy to accept, taking into account that there is a straightforward relation between both representations involving the dual vector space 
     <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
       <msubsup> 
        <mi>
          V 
        </mi> 
        <mi>
          N 
        </mi> 
        <mo>
          * 
        </mo> 
       </msubsup> 
       <mrow> 
        <mo>
          ( 
        </mo> 
        <mstyle mathvariant="bold" mathsize="normal"> 
         <mi>
           Q 
         </mi> 
        </mstyle> 
        <mo>
          ) 
        </mo> 
       </mrow> 
      </mrow> 
     </math> and the transposition of row into column vectors:</p>
    <p>
     <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
       <mo>
         ∀ 
       </mo> 
       <mrow> 
        <mo>
          〈 
        </mo> 
        <mstyle mathvariant="bold" mathsize="normal"> 
         <mi>
           a 
         </mi> 
        </mstyle> 
        <mo>
          | 
        </mo> 
       </mrow> 
       <mo>
         ∈ 
       </mo> 
       <msub> 
        <mi>
          V 
        </mi> 
        <mi>
          N 
        </mi> 
       </msub> 
       <mrow> 
        <mo>
          ( 
        </mo> 
        <mstyle mathvariant="bold" mathsize="normal"> 
         <mi>
           Q 
         </mi> 
        </mstyle> 
        <mo>
          ) 
        </mo> 
       </mrow> 
       <mo>
         → 
       </mo> 
       <mo>
         ∃ 
       </mo> 
       <mrow> 
        <mo>
          | 
        </mo> 
        <mstyle mathvariant="bold" mathsize="normal"> 
         <mi>
           a 
         </mi> 
        </mstyle> 
        <mo>
          〉 
        </mo> 
       </mrow> 
       <mo>
         = 
       </mo> 
       <msup> 
        <mrow> 
         <mrow> 
          <mo>
            〈 
          </mo> 
          <mstyle mathvariant="bold" mathsize="normal"> 
           <mi>
             a 
           </mi> 
          </mstyle> 
          <mo>
            | 
          </mo> 
         </mrow> 
        </mrow> 
        <mtext>
          T 
        </mtext> 
       </msup> 
       <mo>
         ∈ 
       </mo> 
       <msubsup> 
        <mi>
          V 
        </mi> 
        <mi>
          N 
        </mi> 
        <mo>
          * 
        </mo> 
       </msubsup> 
       <mrow> 
        <mo>
          ( 
        </mo> 
        <mstyle mathvariant="bold" mathsize="normal"> 
         <mi>
           Q 
         </mi> 
        </mstyle> 
        <mo>
          ) 
        </mo> 
       </mrow> 
      </mrow> 
     </math>.</p>
   </sec>
   <sec id="s2_2">
    <title>2.2. Reversal Operator Definition</title>
    <p>The reverse of any vector belonging to the space 
     <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
       <msub> 
        <mi>
          V 
        </mi> 
        <mi>
          N 
        </mi> 
       </msub> 
       <mrow> 
        <mo>
          ( 
        </mo> 
        <mstyle mathvariant="bold" mathsize="normal"> 
         <mi>
           Q 
         </mi> 
        </mstyle> 
        <mo>
          ) 
        </mo> 
       </mrow> 
      </mrow> 
     </math> is defined and noted as:</p>
    <p>
     <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
       <mo>
         ∀ 
       </mo> 
       <mrow> 
        <mo>
          〈 
        </mo> 
        <mstyle mathvariant="bold" mathsize="normal"> 
         <mi>
           a 
         </mi> 
        </mstyle> 
        <mo>
          | 
        </mo> 
       </mrow> 
       <mo>
         = 
       </mo> 
       <mrow> 
        <mo>
          ( 
        </mo> 
        <mrow> 
         <msub> 
          <mi>
            a 
          </mi> 
          <mn>
            1 
          </mn> 
         </msub> 
         <mo>
           , 
         </mo> 
         <msub> 
          <mi>
            a 
          </mi> 
          <mn>
            2 
          </mn> 
         </msub> 
         <mo>
           , 
         </mo> 
         <msub> 
          <mi>
            a 
          </mi> 
          <mn>
            3 
          </mn> 
         </msub> 
         <mo>
           , 
         </mo> 
         <mo>
           ⋯ 
         </mo> 
         <mo>
           , 
         </mo> 
         <msub> 
          <mi>
            a 
          </mi> 
          <mi>
            N 
          </mi> 
         </msub> 
        </mrow> 
        <mo>
          ) 
        </mo> 
       </mrow> 
       <mo>
         ∈ 
       </mo> 
       <msub> 
        <mi>
          V 
        </mi> 
        <mi>
          N 
        </mi> 
       </msub> 
       <mrow> 
        <mo>
          ( 
        </mo> 
        <mstyle mathvariant="bold" mathsize="normal"> 
         <mi>
           Q 
         </mi> 
        </mstyle> 
        <mo>
          ) 
        </mo> 
       </mrow> 
       <mo>
         → 
       </mo> 
       <mo>
         ∃ 
       </mo> 
       <msup> 
        <mrow> 
         <mrow> 
          <mo>
            〈 
          </mo> 
          <mstyle mathvariant="bold" mathsize="normal"> 
           <mi>
             a 
           </mi> 
          </mstyle> 
          <mo>
            | 
          </mo> 
         </mrow> 
        </mrow> 
        <mi>
          R 
        </mi> 
       </msup> 
       <mo>
         = 
       </mo> 
       <mrow> 
        <mo>
          ( 
        </mo> 
        <mrow> 
         <msub> 
          <mi>
            a 
          </mi> 
          <mi>
            N 
          </mi> 
         </msub> 
         <mo>
           , 
         </mo> 
         <msub> 
          <mi>
            a 
          </mi> 
          <mrow> 
           <mi>
             N 
           </mi> 
           <mo>
             − 
           </mo> 
           <mn>
             1 
           </mn> 
          </mrow> 
         </msub> 
         <mo>
           , 
         </mo> 
         <msub> 
          <mi>
            a 
          </mi> 
          <mrow> 
           <mi>
             N 
           </mi> 
           <mo>
             − 
           </mo> 
           <mn>
             2 
           </mn> 
          </mrow> 
         </msub> 
         <mo>
           , 
         </mo> 
         <mo>
           ⋯ 
         </mo> 
         <mo>
           , 
         </mo> 
         <msub> 
          <mi>
            a 
          </mi> 
          <mn>
            1 
          </mn> 
         </msub> 
        </mrow> 
        <mo>
          ) 
        </mo> 
       </mrow> 
       <mo>
         ∈ 
       </mo> 
       <msub> 
        <mi>
          V 
        </mi> 
        <mi>
          N 
        </mi> 
       </msub> 
       <mrow> 
        <mo>
          ( 
        </mo> 
        <mstyle mathvariant="bold" mathsize="normal"> 
         <mi>
           Q 
         </mi> 
        </mstyle> 
        <mo>
          ) 
        </mo> 
       </mrow> 
      </mrow> 
     </math>.</p>
    <p>Therefore, a superscript R on the right side of the vector symbol represents the reversal operator.</p>
    <p>Also, if necessary, one can use the following equivalent notations to denote the reversed vectors under the reversal operator on a bra: 
     <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
       <msup> 
        <mrow> 
         <mrow> 
          <mo>
            〈 
          </mo> 
          <mstyle mathvariant="bold" mathsize="normal"> 
           <mi>
             a 
           </mi> 
          </mstyle> 
          <mo>
            | 
          </mo> 
         </mrow> 
        </mrow> 
        <mi>
          R 
        </mi> 
       </msup> 
       <mo>
         = 
       </mo> 
       <mrow> 
        <mo>
          〈 
        </mo> 
        <mrow> 
         <msup> 
          <mstyle mathvariant="bold" mathsize="normal"> 
           <mi>
             a 
           </mi> 
          </mstyle> 
          <mi>
            R 
          </mi> 
         </msup> 
        </mrow> 
        <mo>
          | 
        </mo> 
       </mrow> 
      </mrow> 
     </math>. The same notation can be supposed to hold for ket vectors, that is: 
     <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
       <mrow> 
        <mo>
          | 
        </mo> 
        <mrow> 
         <msup> 
          <mstyle mathvariant="bold" mathsize="normal"> 
           <mi>
             a 
           </mi> 
          </mstyle> 
          <mi>
            R 
          </mi> 
         </msup> 
        </mrow> 
        <mo>
          〉 
        </mo> 
       </mrow> 
       <mo>
         = 
       </mo> 
       <msup> 
        <mrow> 
         <mrow> 
          <mo>
            | 
          </mo> 
          <mstyle mathvariant="bold" mathsize="normal"> 
           <mi>
             a 
           </mi> 
          </mstyle> 
          <mo>
            〉 
          </mo> 
         </mrow> 
        </mrow> 
        <mi>
          R 
        </mi> 
       </msup> 
      </mrow> 
     </math>.</p>
   </sec>
   <sec id="s2_3">
    <title>2.3. Properties of the Reversal Operator</title>
    <p>With this above definition, the reversal of a vector is a linear operation similar to the transposition or the conjugation, as one can easily find:</p>
    <p>1) 
     <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
       <mo>
         ∀ 
       </mo> 
       <mrow> 
        <mo>
          { 
        </mo> 
        <mrow> 
         <mrow> 
          <mo>
            〈 
          </mo> 
          <mstyle mathvariant="bold" mathsize="normal"> 
           <mi>
             a 
           </mi> 
          </mstyle> 
          <mo>
            | 
          </mo> 
         </mrow> 
         <mo>
           , 
         </mo> 
         <mrow> 
          <mo>
            〈 
          </mo> 
          <mstyle mathvariant="bold" mathsize="normal"> 
           <mi>
             b 
           </mi> 
          </mstyle> 
          <mo>
            | 
          </mo> 
         </mrow> 
        </mrow> 
        <mo>
          } 
        </mo> 
       </mrow> 
       <mo>
         ⊂ 
       </mo> 
       <msub> 
        <mi>
          V 
        </mi> 
        <mi>
          N 
        </mi> 
       </msub> 
       <mrow> 
        <mo>
          ( 
        </mo> 
        <mstyle mathvariant="bold" mathsize="normal"> 
         <mi>
           Q 
         </mi> 
        </mstyle> 
        <mo>
          ) 
        </mo> 
       </mrow> 
       <mo>
         : 
       </mo> 
       <msup> 
        <mrow> 
         <mrow> 
          <mo>
            ( 
          </mo> 
          <mrow> 
           <mrow> 
            <mo>
              〈 
            </mo> 
            <mstyle mathvariant="bold" mathsize="normal"> 
             <mi>
               a 
             </mi> 
            </mstyle> 
            <mo>
              | 
            </mo> 
           </mrow> 
           <mo>
             + 
           </mo> 
           <mrow> 
            <mo>
              〈 
            </mo> 
            <mstyle mathvariant="bold" mathsize="normal"> 
             <mi>
               b 
             </mi> 
            </mstyle> 
            <mo>
              | 
            </mo> 
           </mrow> 
          </mrow> 
          <mo>
            ) 
          </mo> 
         </mrow> 
        </mrow> 
        <mi>
          R 
        </mi> 
       </msup> 
       <mo>
         = 
       </mo> 
       <msup> 
        <mrow> 
         <mrow> 
          <mo>
            〈 
          </mo> 
          <mstyle mathvariant="bold" mathsize="normal"> 
           <mi>
             a 
           </mi> 
          </mstyle> 
          <mo>
            | 
          </mo> 
         </mrow> 
        </mrow> 
        <mi>
          R 
        </mi> 
       </msup> 
       <mo>
         + 
       </mo> 
       <msup> 
        <mrow> 
         <mrow> 
          <mo>
            〈 
          </mo> 
          <mstyle mathvariant="bold" mathsize="normal"> 
           <mi>
             b 
           </mi> 
          </mstyle> 
          <mo>
            | 
          </mo> 
         </mrow> 
        </mrow> 
        <mi>
          R 
        </mi> 
       </msup> 
      </mrow> 
     </math></p>
    <p>2) 
     <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
       <mi>
         λ 
       </mi> 
       <mo>
         ∈ 
       </mo> 
       <mstyle mathvariant="bold" mathsize="normal"> 
        <mi>
          Q 
        </mi> 
       </mstyle> 
       <mo>
         ∧ 
       </mo> 
       <mrow> 
        <mo>
          〈 
        </mo> 
        <mstyle mathvariant="bold" mathsize="normal"> 
         <mi>
           a 
         </mi> 
        </mstyle> 
        <mo>
          | 
        </mo> 
       </mrow> 
       <mo>
         ∈ 
       </mo> 
       <msub> 
        <mi>
          V 
        </mi> 
        <mi>
          N 
        </mi> 
       </msub> 
       <mrow> 
        <mo>
          ( 
        </mo> 
        <mstyle mathvariant="bold" mathsize="normal"> 
         <mi>
           Q 
         </mi> 
        </mstyle> 
        <mo>
          ) 
        </mo> 
       </mrow> 
       <mo>
         : 
       </mo> 
       <msup> 
        <mrow> 
         <mrow> 
          <mo>
            ( 
          </mo> 
          <mrow> 
           <mi>
             λ 
           </mi> 
           <mrow> 
            <mo>
              〈 
            </mo> 
            <mstyle mathvariant="bold" mathsize="normal"> 
             <mi>
               a 
             </mi> 
            </mstyle> 
            <mo>
              | 
            </mo> 
           </mrow> 
          </mrow> 
          <mo>
            ) 
          </mo> 
         </mrow> 
        </mrow> 
        <mi>
          R 
        </mi> 
       </msup> 
       <mo>
         = 
       </mo> 
       <mi>
         λ 
       </mi> 
       <msup> 
        <mrow> 
         <mrow> 
          <mo>
            〈 
          </mo> 
          <mstyle mathvariant="bold" mathsize="normal"> 
           <mi>
             a 
           </mi> 
          </mstyle> 
          <mo>
            | 
          </mo> 
         </mrow> 
        </mrow> 
        <mi>
          R 
        </mi> 
       </msup> 
      </mrow> 
     </math></p>
    <p>3) 
     <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
       <mo>
         ∀ 
       </mo> 
       <mrow> 
        <mo>
          〈 
        </mo> 
        <mstyle mathvariant="bold" mathsize="normal"> 
         <mi>
           a 
         </mi> 
        </mstyle> 
        <mo>
          | 
        </mo> 
       </mrow> 
       <mo>
         ∈ 
       </mo> 
       <msub> 
        <mi>
          V 
        </mi> 
        <mi>
          N 
        </mi> 
       </msub> 
       <mrow> 
        <mo>
          ( 
        </mo> 
        <mstyle mathvariant="bold" mathsize="normal"> 
         <mi>
           Q 
         </mi> 
        </mstyle> 
        <mo>
          ) 
        </mo> 
       </mrow> 
       <mo>
         : 
       </mo> 
       <msup> 
        <mrow> 
         <mrow> 
          <mo>
            ( 
          </mo> 
          <mrow> 
           <msup> 
            <mrow> 
             <mrow> 
              <mo>
                〈 
              </mo> 
              <mstyle mathvariant="bold" mathsize="normal"> 
               <mi>
                 a 
               </mi> 
              </mstyle> 
              <mo>
                | 
              </mo> 
             </mrow> 
            </mrow> 
            <mi>
              R 
            </mi> 
           </msup> 
          </mrow> 
          <mo>
            ) 
          </mo> 
         </mrow> 
        </mrow> 
        <mi>
          R 
        </mi> 
       </msup> 
       <mo>
         = 
       </mo> 
       <mrow> 
        <mo>
          〈 
        </mo> 
        <mstyle mathvariant="bold" mathsize="normal"> 
         <mi>
           a 
         </mi> 
        </mstyle> 
        <mo>
          | 
        </mo> 
       </mrow> 
      </mrow> 
     </math></p>
    <p>4) 
     <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
       <mo>
         ∀ 
       </mo> 
       <mrow> 
        <mo>
          〈 
        </mo> 
        <mstyle mathvariant="bold" mathsize="normal"> 
         <mi>
           a 
         </mi> 
        </mstyle> 
        <mo>
          | 
        </mo> 
       </mrow> 
       <mo>
         ∈ 
       </mo> 
       <msub> 
        <mi>
          V 
        </mi> 
        <mi>
          N 
        </mi> 
       </msub> 
       <mrow> 
        <mo>
          ( 
        </mo> 
        <mstyle mathvariant="bold" mathsize="normal"> 
         <mi>
           Q 
         </mi> 
        </mstyle> 
        <mo>
          ) 
        </mo> 
       </mrow> 
       <mo>
         : 
       </mo> 
       <msup> 
        <mrow> 
         <mrow> 
          <mo>
            ( 
          </mo> 
          <mrow> 
           <msup> 
            <mrow> 
             <mrow> 
              <mo>
                〈 
              </mo> 
              <mstyle mathvariant="bold" mathsize="normal"> 
               <mi>
                 a 
               </mi> 
              </mstyle> 
              <mo>
                | 
              </mo> 
             </mrow> 
            </mrow> 
            <mtext>
              T 
            </mtext> 
           </msup> 
          </mrow> 
          <mo>
            ) 
          </mo> 
         </mrow> 
        </mrow> 
        <mi>
          R 
        </mi> 
       </msup> 
       <mo>
         = 
       </mo> 
       <msup> 
        <mrow> 
         <mrow> 
          <mo>
            ( 
          </mo> 
          <mrow> 
           <msup> 
            <mrow> 
             <mrow> 
              <mo>
                〈 
              </mo> 
              <mstyle mathvariant="bold" mathsize="normal"> 
               <mi>
                 a 
               </mi> 
              </mstyle> 
              <mo>
                | 
              </mo> 
             </mrow> 
            </mrow> 
            <mi>
              R 
            </mi> 
           </msup> 
          </mrow> 
          <mo>
            ) 
          </mo> 
         </mrow> 
        </mrow> 
        <mtext>
          T 
        </mtext> 
       </msup> 
       <mo>
         = 
       </mo> 
       <msup> 
        <mrow> 
         <mrow> 
          <mo>
            | 
          </mo> 
          <mstyle mathvariant="bold" mathsize="normal"> 
           <mi>
             a 
           </mi> 
          </mstyle> 
          <mo>
            〉 
          </mo> 
         </mrow> 
        </mrow> 
        <mi>
          R 
        </mi> 
       </msup> 
      </mrow> 
     </math></p>
    <p>Any vector: 
     <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
       <mrow> 
        <mo>
          〈 
        </mo> 
        <mstyle mathvariant="bold" mathsize="normal"> 
         <mi>
           i 
         </mi> 
        </mstyle> 
        <mo>
          | 
        </mo> 
       </mrow> 
       <mo>
         ∈ 
       </mo> 
       <msub> 
        <mi>
          V 
        </mi> 
        <mi>
          N 
        </mi> 
       </msub> 
       <mrow> 
        <mo>
          ( 
        </mo> 
        <mstyle mathvariant="bold" mathsize="normal"> 
         <mi>
           Q 
         </mi> 
        </mstyle> 
        <mo>
          ) 
        </mo> 
       </mrow> 
      </mrow> 
     </math>, whenever the equality: 
     <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
       <msup> 
        <mrow> 
         <mrow> 
          <mo>
            〈 
          </mo> 
          <mstyle mathvariant="bold" mathsize="normal"> 
           <mi>
             i 
           </mi> 
          </mstyle> 
          <mo>
            | 
          </mo> 
         </mrow> 
        </mrow> 
        <mi>
          R 
        </mi> 
       </msup> 
       <mo>
         = 
       </mo> 
       <mrow> 
        <mo>
          〈 
        </mo> 
        <mstyle mathvariant="bold" mathsize="normal"> 
         <mi>
           i 
         </mi> 
        </mstyle> 
        <mo>
          | 
        </mo> 
       </mrow> 
      </mrow> 
     </math> holds, one can call it reversal invariant. For instance, the unity vector 
     <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
       <mrow> 
        <mo>
          〈 
        </mo> 
        <mn>
          1 
        </mn> 
        <mo>
          | 
        </mo> 
       </mrow> 
       <mo>
         = 
       </mo> 
       <mrow> 
        <mo>
          ( 
        </mo> 
        <mrow> 
         <mn>
           1 
         </mn> 
         <mo>
           , 
         </mo> 
         <mn>
           1 
         </mn> 
         <mo>
           , 
         </mo> 
         <mn>
           1 
         </mn> 
         <mo>
           , 
         </mo> 
         <mo>
           , 
         </mo> 
         <mn>
           1 
         </mn> 
        </mrow> 
        <mo>
          ) 
        </mo> 
       </mrow> 
      </mrow> 
     </math> and all its homothecies are reversal invariant in any vector space dimension.</p>
   </sec>
   <sec id="s2_4">
    <title>2.4. Reversal Operator and Inward Product of Vectors</title>
    <p>Concerning the inward1 product <xref ref-type="bibr" rid="scirp.140973-11">
      [11]
     </xref> of two vectors, when defined as:</p>
    <p>
     <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
       <mo>
         ∀ 
       </mo> 
       <mrow> 
        <mo>
          { 
        </mo> 
        <mrow> 
         <mrow> 
          <mo>
            〈 
          </mo> 
          <mstyle mathvariant="bold" mathsize="normal"> 
           <mi>
             a 
           </mi> 
          </mstyle> 
          <mo>
            | 
          </mo> 
         </mrow> 
         <mo>
           , 
         </mo> 
         <mrow> 
          <mo>
            〈 
          </mo> 
          <mstyle mathvariant="bold" mathsize="normal"> 
           <mi>
             b 
           </mi> 
          </mstyle> 
          <mo>
            | 
          </mo> 
         </mrow> 
        </mrow> 
        <mo>
          } 
        </mo> 
       </mrow> 
       <mo>
         ⊂ 
       </mo> 
       <msub> 
        <mi>
          V 
        </mi> 
        <mi>
          N 
        </mi> 
       </msub> 
       <mrow> 
        <mo>
          ( 
        </mo> 
        <mstyle mathvariant="bold" mathsize="normal"> 
         <mi>
           Q 
         </mi> 
        </mstyle> 
        <mo>
          ) 
        </mo> 
       </mrow> 
       <mo>
         : 
       </mo> 
       <mrow> 
        <mo>
          〈 
        </mo> 
        <mstyle mathvariant="bold" mathsize="normal"> 
         <mi>
           p 
         </mi> 
        </mstyle> 
        <mo>
          | 
        </mo> 
       </mrow> 
       <mo>
         = 
       </mo> 
       <mrow> 
        <mo>
          〈 
        </mo> 
        <mstyle mathvariant="bold" mathsize="normal"> 
         <mi>
           a 
         </mi> 
        </mstyle> 
        <mo>
          | 
        </mo> 
       </mrow> 
       <mo>
         ∗ 
       </mo> 
       <mrow> 
        <mo>
          〈 
        </mo> 
        <mstyle mathvariant="bold" mathsize="normal"> 
         <mi>
           b 
         </mi> 
        </mstyle> 
        <mo>
          | 
        </mo> 
       </mrow> 
       <mo>
         = 
       </mo> 
       <mrow> 
        <mo>
          { 
        </mo> 
        <mrow> 
         <msub> 
          <mi>
            p 
          </mi> 
          <mi>
            I 
          </mi> 
         </msub> 
         <mo>
           = 
         </mo> 
         <msub> 
          <mi>
            a 
          </mi> 
          <mi>
            I 
          </mi> 
         </msub> 
         <msub> 
          <mi>
            b 
          </mi> 
          <mi>
            I 
          </mi> 
         </msub> 
         <mrow> 
          <mo>
            | 
          </mo> 
          <mrow> 
           <mi>
             I 
           </mi> 
           <mo>
             = 
           </mo> 
           <mn>
             1 
           </mn> 
           <mo>
             , 
           </mo> 
           <mi>
             N 
           </mi> 
          </mrow> 
         </mrow> 
        </mrow> 
        <mo>
          } 
        </mo> 
       </mrow> 
       <mo>
         ∈ 
       </mo> 
       <msub> 
        <mi>
          V 
        </mi> 
        <mi>
          N 
        </mi> 
       </msub> 
       <mrow> 
        <mo>
          ( 
        </mo> 
        <mstyle mathvariant="bold" mathsize="normal"> 
         <mi>
           Q 
         </mi> 
        </mstyle> 
        <mo>
          ) 
        </mo> 
       </mrow> 
      </mrow> 
     </math>,</p>
    <p>then, the reversal operation acts like an operation distributed within the inward product:</p>
    <p>
     <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
       <msup> 
        <mrow> 
         <mrow> 
          <mo>
            ( 
          </mo> 
          <mrow> 
           <mrow> 
            <mo>
              〈 
            </mo> 
            <mstyle mathvariant="bold" mathsize="normal"> 
             <mi>
               a 
             </mi> 
            </mstyle> 
            <mo>
              | 
            </mo> 
           </mrow> 
           <mo>
             ∗ 
           </mo> 
           <mrow> 
            <mo>
              〈 
            </mo> 
            <mstyle mathvariant="bold" mathsize="normal"> 
             <mi>
               b 
             </mi> 
            </mstyle> 
            <mo>
              | 
            </mo> 
           </mrow> 
          </mrow> 
          <mo>
            ) 
          </mo> 
         </mrow> 
        </mrow> 
        <mi>
          R 
        </mi> 
       </msup> 
       <mo>
         = 
       </mo> 
       <msup> 
        <mrow> 
         <mrow> 
          <mo>
            〈 
          </mo> 
          <mstyle mathvariant="bold" mathsize="normal"> 
           <mi>
             a 
           </mi> 
          </mstyle> 
          <mo>
            | 
          </mo> 
         </mrow> 
        </mrow> 
        <mi>
          R 
        </mi> 
       </msup> 
       <mo>
         ∗ 
       </mo> 
       <msup> 
        <mrow> 
         <mrow> 
          <mo>
            〈 
          </mo> 
          <mstyle mathvariant="bold" mathsize="normal"> 
           <mi>
             b 
           </mi> 
          </mstyle> 
          <mo>
            | 
          </mo> 
         </mrow> 
        </mrow> 
        <mi>
          R 
        </mi> 
       </msup> 
      </mrow> 
     </math>.</p>
   </sec>
   <sec id="s2_5">
    <title>2.5. Reversal Operator and Scalar Product</title>
    <p>Thus, the scalar product of two vectors is invariant under reversal. To demonstrate such invariance, one can first use the complete sum of the elements of a given vector, defined as:</p>
    <p>
     <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
       <mo>
         ∀ 
       </mo> 
       <mrow> 
        <mo>
          〈 
        </mo> 
        <mstyle mathvariant="bold" mathsize="normal"> 
         <mi>
           a 
         </mi> 
        </mstyle> 
        <mo>
          | 
        </mo> 
       </mrow> 
       <mo>
         = 
       </mo> 
       <mrow> 
        <mo>
          ( 
        </mo> 
        <mrow> 
         <msub> 
          <mi>
            a 
          </mi> 
          <mn>
            1 
          </mn> 
         </msub> 
         <mo>
           , 
         </mo> 
         <msub> 
          <mi>
            a 
          </mi> 
          <mn>
            2 
          </mn> 
         </msub> 
         <mo>
           , 
         </mo> 
         <msub> 
          <mi>
            a 
          </mi> 
          <mn>
            3 
          </mn> 
         </msub> 
         <mo>
           , 
         </mo> 
         <mo>
           ⋯ 
         </mo> 
         <mo>
           , 
         </mo> 
         <msub> 
          <mi>
            a 
          </mi> 
          <mi>
            N 
          </mi> 
         </msub> 
        </mrow> 
        <mo>
          ) 
        </mo> 
       </mrow> 
       <mo>
         ∈ 
       </mo> 
       <msub> 
        <mi>
          V 
        </mi> 
        <mi>
          N 
        </mi> 
       </msub> 
       <mrow> 
        <mo>
          ( 
        </mo> 
        <mstyle mathvariant="bold" mathsize="normal"> 
         <mi>
           Q 
         </mi> 
        </mstyle> 
        <mo>
          ) 
        </mo> 
       </mrow> 
       <mo>
         : 
       </mo> 
       <mrow> 
        <mo>
          〈 
        </mo> 
        <mrow> 
         <mrow> 
          <mo>
            〈 
          </mo> 
          <mstyle mathvariant="bold" mathsize="normal"> 
           <mi>
             a 
           </mi> 
          </mstyle> 
          <mo>
            | 
          </mo> 
         </mrow> 
        </mrow> 
        <mo>
          〉 
        </mo> 
       </mrow> 
       <mo>
         = 
       </mo> 
       <mstyle displaystyle="true"> 
        <munderover> 
         <mo>
           ∑ 
         </mo> 
         <mrow> 
          <mi>
            I 
          </mi> 
          <mo>
            = 
          </mo> 
          <mn>
            1 
          </mn> 
         </mrow> 
         <mi>
           N 
         </mi> 
        </munderover> 
        <mrow> 
         <msub> 
          <mi>
            a 
          </mi> 
          <mi>
            I 
          </mi> 
         </msub> 
        </mrow> 
       </mstyle> 
      </mrow> 
     </math>,</p>
    <p>which is a linear operator:</p>
    <p>
     <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
       <mo>
         ∀ 
       </mo> 
       <mrow> 
        <mo>
          { 
        </mo> 
        <mrow> 
         <mi>
           λ 
         </mi> 
         <mo>
           , 
         </mo> 
         <mi>
           μ 
         </mi> 
        </mrow> 
        <mo>
          } 
        </mo> 
       </mrow> 
       <mo>
         ⊂ 
       </mo> 
       <mstyle mathvariant="bold" mathsize="normal"> 
        <mi>
          Q 
        </mi> 
       </mstyle> 
       <mo>
         ∧ 
       </mo> 
       <mo>
         ∀ 
       </mo> 
       <mrow> 
        <mo>
          { 
        </mo> 
        <mrow> 
         <mrow> 
          <mo>
            〈 
          </mo> 
          <mstyle mathvariant="bold" mathsize="normal"> 
           <mi>
             a 
           </mi> 
          </mstyle> 
          <mo>
            | 
          </mo> 
         </mrow> 
         <mo>
           , 
         </mo> 
         <mrow> 
          <mo>
            〈 
          </mo> 
          <mstyle mathvariant="bold" mathsize="normal"> 
           <mi>
             b 
           </mi> 
          </mstyle> 
          <mo>
            | 
          </mo> 
         </mrow> 
        </mrow> 
        <mo>
          } 
        </mo> 
       </mrow> 
       <mo>
         ⊂ 
       </mo> 
       <msub> 
        <mi>
          V 
        </mi> 
        <mi>
          N 
        </mi> 
       </msub> 
       <mrow> 
        <mo>
          ( 
        </mo> 
        <mstyle mathvariant="bold" mathsize="normal"> 
         <mi>
           Q 
         </mi> 
        </mstyle> 
        <mo>
          ) 
        </mo> 
       </mrow> 
       <mo>
         : 
       </mo> 
       <mrow> 
        <mo>
          〈 
        </mo> 
        <mrow> 
         <mi>
           λ 
         </mi> 
         <mrow> 
          <mo>
            〈 
          </mo> 
          <mstyle mathvariant="bold" mathsize="normal"> 
           <mi>
             a 
           </mi> 
          </mstyle> 
          <mo>
            | 
          </mo> 
         </mrow> 
         <mo>
           + 
         </mo> 
         <mi>
           μ 
         </mi> 
         <mrow> 
          <mo>
            〈 
          </mo> 
          <mstyle mathvariant="bold" mathsize="normal"> 
           <mi>
             b 
           </mi> 
          </mstyle> 
          <mo>
            | 
          </mo> 
         </mrow> 
        </mrow> 
        <mo>
          〉 
        </mo> 
       </mrow> 
       <mo>
         = 
       </mo> 
       <mi>
         λ 
       </mi> 
       <mrow> 
        <mo>
          〈 
        </mo> 
        <mrow> 
         <mrow> 
          <mo>
            〈 
          </mo> 
          <mstyle mathvariant="bold" mathsize="normal"> 
           <mi>
             a 
           </mi> 
          </mstyle> 
          <mo>
            | 
          </mo> 
         </mrow> 
        </mrow> 
        <mo>
          〉 
        </mo> 
       </mrow> 
       <mo>
         + 
       </mo> 
       <mi>
         μ 
       </mi> 
       <mrow> 
        <mo>
          〈 
        </mo> 
        <mrow> 
         <mrow> 
          <mo>
            〈 
          </mo> 
          <mstyle mathvariant="bold" mathsize="normal"> 
           <mi>
             b 
           </mi> 
          </mstyle> 
          <mo>
            | 
          </mo> 
         </mrow> 
        </mrow> 
        <mo>
          〉 
        </mo> 
       </mrow> 
      </mrow> 
     </math>;</p>
    <p>then the scalar product of two vectors can be written as:</p>
    <p>
     <math xmlns="http://www.w3.org/1998/Math/MathML"> <mtable columnalign="left"> 
       <mtr> 
        <mtd> 
         <mrow> 
          <mo>
            〈 
          </mo> 
          <mstyle mathvariant="bold" mathsize="normal"> 
           <mi>
             a 
           </mi> 
          </mstyle> 
          <mo>
            | 
          </mo> 
          <mstyle mathvariant="bold" mathsize="normal"> 
           <mi>
             b 
           </mi> 
          </mstyle> 
          <mo>
            〉 
          </mo> 
         </mrow> 
         <mo>
           = 
         </mo> 
         <mrow> 
          <mo>
            〈 
          </mo> 
          <mrow> 
           <mrow> 
            <mo>
              〈 
            </mo> 
            <mstyle mathvariant="bold" mathsize="normal"> 
             <mi>
               a 
             </mi> 
            </mstyle> 
            <mo>
              | 
            </mo> 
           </mrow> 
           <mo>
             ∗ 
           </mo> 
           <mrow> 
            <mo>
              〈 
            </mo> 
            <mstyle mathvariant="bold" mathsize="normal"> 
             <mi>
               b 
             </mi> 
            </mstyle> 
            <mo>
              | 
            </mo> 
           </mrow> 
          </mrow> 
          <mo>
            〉 
          </mo> 
         </mrow> 
         <mo>
           = 
         </mo> 
         <mstyle displaystyle="true"> 
          <munderover> 
           <mo>
             ∑ 
           </mo> 
           <mrow> 
            <mi>
              I 
            </mi> 
            <mo>
              = 
            </mo> 
            <mn>
              1 
            </mn> 
           </mrow> 
           <mi>
             N 
           </mi> 
          </munderover> 
          <mrow> 
           <msub> 
            <mi>
              a 
            </mi> 
            <mi>
              I 
            </mi> 
           </msub> 
           <msub> 
            <mi>
              b 
            </mi> 
            <mi>
              I 
            </mi> 
           </msub> 
          </mrow> 
         </mstyle> 
         <mo>
           ∧ 
         </mo> 
        </mtd> 
       </mtr> 
       <mtr> 
        <mtd> 
         <msup> 
          <mrow> 
           <mo>
             〈 
           </mo> 
           <mstyle mathvariant="bold" mathsize="normal"> 
            <mi>
              a 
            </mi> 
           </mstyle> 
           <mo>
             | 
           </mo> 
           <mstyle mathvariant="bold" mathsize="normal"> 
            <mi>
              b 
            </mi> 
           </mstyle> 
           <mo>
             〉 
           </mo> 
          </mrow> 
          <mi>
            R 
          </mi> 
         </msup> 
         <mo>
           = 
         </mo> 
         <msup> 
          <mrow> 
           <mo>
             〈 
           </mo> 
           <mrow> 
            <mrow> 
             <mo>
               〈 
             </mo> 
             <mstyle mathvariant="bold" mathsize="normal"> 
              <mi>
                a 
              </mi> 
             </mstyle> 
             <mo>
               | 
             </mo> 
            </mrow> 
            <mo>
              ∗ 
            </mo> 
            <mrow> 
             <mo>
               〈 
             </mo> 
             <mstyle mathvariant="bold" mathsize="normal"> 
              <mi>
                b 
              </mi> 
             </mstyle> 
             <mo>
               | 
             </mo> 
            </mrow> 
           </mrow> 
           <mo>
             〉 
           </mo> 
          </mrow> 
          <mi>
            R 
          </mi> 
         </msup> 
         <mo>
           = 
         </mo> 
         <mrow> 
          <mo>
            〈 
          </mo> 
          <mrow> 
           <msup> 
            <mrow> 
             <mrow> 
              <mo>
                〈 
              </mo> 
              <mstyle mathvariant="bold" mathsize="normal"> 
               <mi>
                 a 
               </mi> 
              </mstyle> 
              <mo>
                | 
              </mo> 
             </mrow> 
            </mrow> 
            <mi>
              R 
            </mi> 
           </msup> 
           <mo>
             ∗ 
           </mo> 
           <msup> 
            <mrow> 
             <mrow> 
              <mo>
                〈 
              </mo> 
              <mstyle mathvariant="bold" mathsize="normal"> 
               <mi>
                 b 
               </mi> 
              </mstyle> 
              <mo>
                | 
              </mo> 
             </mrow> 
            </mrow> 
            <mi>
              R 
            </mi> 
           </msup> 
          </mrow> 
          <mo>
            〉 
          </mo> 
         </mrow> 
         <mo>
           = 
         </mo> 
         <mstyle displaystyle="true"> 
          <munderover> 
           <mo>
             ∑ 
           </mo> 
           <mrow> 
            <mi>
              I 
            </mi> 
            <mo>
              = 
            </mo> 
            <mi>
              N 
            </mi> 
           </mrow> 
           <mn>
             1 
           </mn> 
          </munderover> 
          <mrow> 
           <msub> 
            <mi>
              a 
            </mi> 
            <mi>
              I 
            </mi> 
           </msub> 
           <msub> 
            <mi>
              b 
            </mi> 
            <mi>
              I 
            </mi> 
           </msub> 
          </mrow> 
         </mstyle> 
         <mo>
           = 
         </mo> 
         <mstyle displaystyle="true"> 
          <munderover> 
           <mo>
             ∑ 
           </mo> 
           <mrow> 
            <mi>
              I 
            </mi> 
            <mo>
              = 
            </mo> 
            <mn>
              1 
            </mn> 
           </mrow> 
           <mi>
             N 
           </mi> 
          </munderover> 
          <mrow> 
           <msub> 
            <mi>
              a 
            </mi> 
            <mrow> 
             <mi>
               N 
             </mi> 
             <mo>
               − 
             </mo> 
             <mi>
               I 
             </mi> 
             <mo>
               + 
             </mo> 
             <mn>
               1 
             </mn> 
            </mrow> 
           </msub> 
           <msub> 
            <mi>
              b 
            </mi> 
            <mrow> 
             <mi>
               N 
             </mi> 
             <mo>
               − 
             </mo> 
             <mi>
               I 
             </mi> 
             <mo>
               + 
             </mo> 
             <mn>
               1 
             </mn> 
            </mrow> 
           </msub> 
          </mrow> 
         </mstyle> 
         <mo>
           ⇒ 
         </mo> 
        </mtd> 
       </mtr> 
       <mtr> 
        <mtd> 
         <mrow> 
          <mo>
            〈 
          </mo> 
          <mstyle mathvariant="bold" mathsize="normal"> 
           <mi>
             a 
           </mi> 
          </mstyle> 
          <mo>
            | 
          </mo> 
          <mstyle mathvariant="bold" mathsize="normal"> 
           <mi>
             b 
           </mi> 
          </mstyle> 
          <mo>
            〉 
          </mo> 
         </mrow> 
         <mo>
           = 
         </mo> 
         <msup> 
          <mrow> 
           <mo>
             〈 
           </mo> 
           <mstyle mathvariant="bold" mathsize="normal"> 
            <mi>
              a 
            </mi> 
           </mstyle> 
           <mo>
             | 
           </mo> 
           <mstyle mathvariant="bold" mathsize="normal"> 
            <mi>
              b 
            </mi> 
           </mstyle> 
           <mo>
             〉 
           </mo> 
          </mrow> 
          <mi>
            R 
          </mi> 
         </msup> 
        </mtd> 
       </mtr> 
      </mtable> 
     </math></p>
    <p>Therefore, the scalar product is invariant upon the reversal operator application.</p>
   </sec>
   <sec id="s2_6">
    <title>2.6. Reversal Operator and Euclidean Norms</title>
    <p>Therefore, the Euclidean norm of a vector is invariant upon reversal because:</p>
    <p>
     <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
       <mo>
         ∀ 
       </mo> 
       <mrow> 
        <mo>
          〈 
        </mo> 
        <mstyle mathvariant="bold" mathsize="normal"> 
         <mi>
           a 
         </mi> 
        </mstyle> 
        <mo>
          | 
        </mo> 
       </mrow> 
       <mo>
         ∈ 
       </mo> 
       <msub> 
        <mi>
          V 
        </mi> 
        <mi>
          N 
        </mi> 
       </msub> 
       <mrow> 
        <mo>
          ( 
        </mo> 
        <mstyle mathvariant="bold" mathsize="normal"> 
         <mi>
           Q 
         </mi> 
        </mstyle> 
        <mo>
          ) 
        </mo> 
       </mrow> 
       <mo>
         : 
       </mo> 
       <mrow> 
        <mo>
          〈 
        </mo> 
        <mstyle mathvariant="bold" mathsize="normal"> 
         <mi>
           a 
         </mi> 
        </mstyle> 
        <mo>
          | 
        </mo> 
        <mstyle mathvariant="bold" mathsize="normal"> 
         <mi>
           a 
         </mi> 
        </mstyle> 
        <mo>
          〉 
        </mo> 
       </mrow> 
       <mo>
         = 
       </mo> 
       <mstyle displaystyle="true"> 
        <munderover> 
         <mo>
           ∑ 
         </mo> 
         <mrow> 
          <mi>
            I 
          </mi> 
          <mo>
            = 
          </mo> 
          <mn>
            1 
          </mn> 
         </mrow> 
         <mi>
           N 
         </mi> 
        </munderover> 
        <mrow> 
         <msubsup> 
          <mi>
            a 
          </mi> 
          <mi>
            I 
          </mi> 
          <mn>
            2 
          </mn> 
         </msubsup> 
        </mrow> 
       </mstyle> 
       <mo>
         = 
       </mo> 
       <mstyle displaystyle="true"> 
        <munderover> 
         <mo>
           ∑ 
         </mo> 
         <mrow> 
          <mi>
            I 
          </mi> 
          <mo>
            = 
          </mo> 
          <mi>
            N 
          </mi> 
         </mrow> 
         <mn>
           1 
         </mn> 
        </munderover> 
        <mrow> 
         <msubsup> 
          <mi>
            a 
          </mi> 
          <mi>
            I 
          </mi> 
          <mn>
            2 
          </mn> 
         </msubsup> 
        </mrow> 
       </mstyle> 
       <mo>
         = 
       </mo> 
       <mstyle displaystyle="true"> 
        <munderover> 
         <mo>
           ∑ 
         </mo> 
         <mrow> 
          <mi>
            I 
          </mi> 
          <mo>
            = 
          </mo> 
          <mn>
            1 
          </mn> 
         </mrow> 
         <mi>
           N 
         </mi> 
        </munderover> 
        <mrow> 
         <msubsup> 
          <mi>
            a 
          </mi> 
          <mrow> 
           <mi>
             N 
           </mi> 
           <mo>
             − 
           </mo> 
           <mi>
             I 
           </mi> 
           <mo>
             + 
           </mo> 
           <mn>
             1 
           </mn> 
          </mrow> 
          <mn>
            2 
          </mn> 
         </msubsup> 
        </mrow> 
       </mstyle> 
       <mo>
         = 
       </mo> 
       <mrow> 
        <mo>
          〈 
        </mo> 
        <mrow> 
         <msup> 
          <mstyle mathvariant="bold" mathsize="normal"> 
           <mi>
             a 
           </mi> 
          </mstyle> 
          <mi>
            R 
          </mi> 
         </msup> 
        </mrow> 
        <mo>
          | 
        </mo> 
        <mrow> 
         <msup> 
          <mstyle mathvariant="bold" mathsize="normal"> 
           <mi>
             a 
           </mi> 
          </mstyle> 
          <mi>
            R 
          </mi> 
         </msup> 
        </mrow> 
        <mo>
          〉 
        </mo> 
       </mrow> 
       <mo>
         = 
       </mo> 
       <msup> 
        <mrow> 
         <mrow> 
          <mo>
            〈 
          </mo> 
          <mstyle mathvariant="bold" mathsize="normal"> 
           <mi>
             a 
           </mi> 
          </mstyle> 
          <mo>
            | 
          </mo> 
          <mstyle mathvariant="bold" mathsize="normal"> 
           <mi>
             a 
           </mi> 
          </mstyle> 
          <mo>
            〉 
          </mo> 
         </mrow> 
        </mrow> 
        <mi>
          R 
        </mi> 
       </msup> 
      </mrow> 
     </math>.</p>
   </sec>
   <sec id="s2_7">
    <title>2.7. Half-Reversal Euclidean Norms</title>
    <p>However, there is the possibility to define the half-reversal Euclidean norm of a vector, a scalar attached to any vector which can be defined as:</p>
    <p>
     <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
       <mo>
         ∀ 
       </mo> 
       <mrow> 
        <mo>
          〈 
        </mo> 
        <mstyle mathvariant="bold" mathsize="normal"> 
         <mi>
           a 
         </mi> 
        </mstyle> 
        <mo>
          | 
        </mo> 
       </mrow> 
       <mo>
         ∈ 
       </mo> 
       <msub> 
        <mi>
          V 
        </mi> 
        <mi>
          N 
        </mi> 
       </msub> 
       <mrow> 
        <mo>
          ( 
        </mo> 
        <mstyle mathvariant="bold" mathsize="normal"> 
         <mi>
           Q 
         </mi> 
        </mstyle> 
        <mo>
          ) 
        </mo> 
       </mrow> 
       <mo>
         : 
       </mo> 
       <mrow> 
        <mo>
          〈 
        </mo> 
        <mstyle mathvariant="bold" mathsize="normal"> 
         <mi>
           a 
         </mi> 
        </mstyle> 
        <mo>
          | 
        </mo> 
        <mrow> 
         <msup> 
          <mstyle mathvariant="bold" mathsize="normal"> 
           <mi>
             a 
           </mi> 
          </mstyle> 
          <mi>
            R 
          </mi> 
         </msup> 
        </mrow> 
        <mo>
          〉 
        </mo> 
       </mrow> 
       <mo>
         = 
       </mo> 
       <mrow> 
        <mo>
          〈 
        </mo> 
        <mrow> 
         <msup> 
          <mstyle mathvariant="bold" mathsize="normal"> 
           <mi>
             a 
           </mi> 
          </mstyle> 
          <mi>
            R 
          </mi> 
         </msup> 
        </mrow> 
        <mo>
          | 
        </mo> 
        <mstyle mathvariant="bold" mathsize="normal"> 
         <mi>
           a 
         </mi> 
        </mstyle> 
        <mo>
          〉 
        </mo> 
       </mrow> 
       <mo>
         = 
       </mo> 
       <mstyle displaystyle="true"> 
        <munderover> 
         <mo>
           ∑ 
         </mo> 
         <mrow> 
          <mi>
            I 
          </mi> 
          <mo>
            = 
          </mo> 
          <mn>
            1 
          </mn> 
         </mrow> 
         <mi>
           N 
         </mi> 
        </munderover> 
        <mrow> 
         <msub> 
          <mi>
            a 
          </mi> 
          <mi>
            I 
          </mi> 
         </msub> 
         <msub> 
          <mi>
            a 
          </mi> 
          <mrow> 
           <mrow> 
            <mo>
              ( 
            </mo> 
            <mrow> 
             <mi>
               N 
             </mi> 
             <mo>
               − 
             </mo> 
             <mi>
               I 
             </mi> 
             <mo>
               + 
             </mo> 
             <mn>
               1 
             </mn> 
            </mrow> 
            <mo>
              ) 
            </mo> 
           </mrow> 
          </mrow> 
         </msub> 
        </mrow> 
       </mstyle> 
       <mo>
         = 
       </mo> 
       <mrow> 
        <mo>
          〈 
        </mo> 
        <mrow> 
         <mrow> 
          <mo>
            〈 
          </mo> 
          <mstyle mathvariant="bold" mathsize="normal"> 
           <mi>
             a 
           </mi> 
          </mstyle> 
          <mo>
            | 
          </mo> 
         </mrow> 
         <mo>
           ∗ 
         </mo> 
         <mrow> 
          <mo>
            〈 
          </mo> 
          <mrow> 
           <msup> 
            <mstyle mathvariant="bold" mathsize="normal"> 
             <mi>
               a 
             </mi> 
            </mstyle> 
            <mi>
              R 
            </mi> 
           </msup> 
          </mrow> 
          <mo>
            | 
          </mo> 
         </mrow> 
        </mrow> 
        <mo>
          〉 
        </mo> 
       </mrow> 
       <mo>
         = 
       </mo> 
       <mrow> 
        <mo>
          〈 
        </mo> 
        <mrow> 
         <mrow> 
          <mo>
            〈 
          </mo> 
          <mrow> 
           <msup> 
            <mstyle mathvariant="bold" mathsize="normal"> 
             <mi>
               a 
             </mi> 
            </mstyle> 
            <mi>
              R 
            </mi> 
           </msup> 
          </mrow> 
          <mo>
            | 
          </mo> 
         </mrow> 
         <mo>
           ∗ 
         </mo> 
         <mrow> 
          <mo>
            〈 
          </mo> 
          <mstyle mathvariant="bold" mathsize="normal"> 
           <mi>
             a 
           </mi> 
          </mstyle> 
          <mo>
            | 
          </mo> 
         </mrow> 
        </mrow> 
        <mo>
          〉 
        </mo> 
       </mrow> 
      </mrow> 
     </math>.</p>
    <p>An example illustrates this interesting property in a 3-dimensional space:</p>
    <p>
     <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
       <mrow> 
        <mo>
          〈 
        </mo> 
        <mstyle mathvariant="bold" mathsize="normal"> 
         <mi>
           a 
         </mi> 
        </mstyle> 
        <mo>
          | 
        </mo> 
       </mrow> 
       <mo>
         = 
       </mo> 
       <mrow> 
        <mo>
          ( 
        </mo> 
        <mrow> 
         <mi>
           a 
         </mi> 
         <mo>
           , 
         </mo> 
         <mi>
           b 
         </mi> 
         <mo>
           , 
         </mo> 
         <mi>
           c 
         </mi> 
        </mrow> 
        <mo>
          ) 
        </mo> 
       </mrow> 
       <mo>
         ⇒ 
       </mo> 
       <mrow> 
        <mo>
          〈 
        </mo> 
        <mstyle mathvariant="bold" mathsize="normal"> 
         <mi>
           a 
         </mi> 
        </mstyle> 
        <mo>
          | 
        </mo> 
        <mstyle mathvariant="bold" mathsize="normal"> 
         <mi>
           a 
         </mi> 
        </mstyle> 
        <mo>
          〉 
        </mo> 
       </mrow> 
       <mo>
         = 
       </mo> 
       <msup> 
        <mi>
          a 
        </mi> 
        <mn>
          2 
        </mn> 
       </msup> 
       <mo>
         + 
       </mo> 
       <msup> 
        <mi>
          b 
        </mi> 
        <mn>
          2 
        </mn> 
       </msup> 
       <mo>
         + 
       </mo> 
       <msup> 
        <mi>
          c 
        </mi> 
        <mn>
          2 
        </mn> 
       </msup> 
      </mrow> 
     </math></p>
    <p>
     <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
       <mrow> 
        <mo>
          〈 
        </mo> 
        <mrow> 
         <msup> 
          <mstyle mathvariant="bold" mathsize="normal"> 
           <mi>
             a 
           </mi> 
          </mstyle> 
          <mi>
            R 
          </mi> 
         </msup> 
        </mrow> 
        <mo>
          | 
        </mo> 
       </mrow> 
       <mo>
         = 
       </mo> 
       <msup> 
        <mrow> 
         <mrow> 
          <mo>
            ( 
          </mo> 
          <mrow> 
           <mi>
             a 
           </mi> 
           <mo>
             , 
           </mo> 
           <mi>
             b 
           </mi> 
           <mo>
             , 
           </mo> 
           <mi>
             c 
           </mi> 
          </mrow> 
          <mo>
            ) 
          </mo> 
         </mrow> 
        </mrow> 
        <mi>
          R 
        </mi> 
       </msup> 
       <mo>
         = 
       </mo> 
       <mrow> 
        <mo>
          ( 
        </mo> 
        <mrow> 
         <mi>
           c 
         </mi> 
         <mo>
           , 
         </mo> 
         <mi>
           b 
         </mi> 
         <mo>
           , 
         </mo> 
         <mi>
           a 
         </mi> 
        </mrow> 
        <mo>
          ) 
        </mo> 
       </mrow> 
       <mo>
         ⇒ 
       </mo> 
       <mrow> 
        <mo>
          〈 
        </mo> 
        <mrow> 
         <msup> 
          <mstyle mathvariant="bold" mathsize="normal"> 
           <mi>
             a 
           </mi> 
          </mstyle> 
          <mi>
            R 
          </mi> 
         </msup> 
        </mrow> 
        <mo>
          | 
        </mo> 
        <mstyle mathvariant="bold" mathsize="normal"> 
         <mi>
           a 
         </mi> 
        </mstyle> 
        <mo>
          〉 
        </mo> 
       </mrow> 
       <mo>
         = 
       </mo> 
       <mrow> 
        <mo>
          〈 
        </mo> 
        <mrow> 
         <mrow> 
          <mo>
            〈 
          </mo> 
          <mrow> 
           <msup> 
            <mstyle mathvariant="bold" mathsize="normal"> 
             <mi>
               a 
             </mi> 
            </mstyle> 
            <mi>
              R 
            </mi> 
           </msup> 
          </mrow> 
          <mo>
            | 
          </mo> 
         </mrow> 
         <mo>
           ∗ 
         </mo> 
         <mrow> 
          <mo>
            | 
          </mo> 
          <mstyle mathvariant="bold" mathsize="normal"> 
           <mi>
             a 
           </mi> 
          </mstyle> 
          <mo>
            〉 
          </mo> 
         </mrow> 
        </mrow> 
        <mo>
          〉 
        </mo> 
       </mrow> 
       <mo>
         = 
       </mo> 
       <mn>
         2 
       </mn> 
       <mi>
         a 
       </mi> 
       <mi>
         c 
       </mi> 
       <mo>
         + 
       </mo> 
       <msup> 
        <mi>
          b 
        </mi> 
        <mn>
          2 
        </mn> 
       </msup> 
      </mrow> 
     </math>.</p>
    <p>If 
     <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
       <mrow> 
        <mo>
          〈 
        </mo> 
        <mstyle mathvariant="bold" mathsize="normal"> 
         <mi>
           a 
         </mi> 
        </mstyle> 
        <mo>
          | 
        </mo> 
       </mrow> 
       <mo>
         = 
       </mo> 
       <mrow> 
        <mo>
          ( 
        </mo> 
        <mrow> 
         <mi>
           a 
         </mi> 
         <mo>
           , 
         </mo> 
         <mi>
           b 
         </mi> 
         <mo>
           , 
         </mo> 
         <mi>
           b 
         </mi> 
        </mrow> 
        <mo>
          ) 
        </mo> 
       </mrow> 
      </mrow> 
     </math>, note that in this simple case, one can write:</p>
    <p>
     <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
       <mrow> 
        <mo>
          〈 
        </mo> 
        <mrow> 
         <msup> 
          <mstyle mathvariant="bold" mathsize="normal"> 
           <mi>
             a 
           </mi> 
          </mstyle> 
          <mi>
            R 
          </mi> 
         </msup> 
        </mrow> 
        <mo>
          | 
        </mo> 
        <mstyle mathvariant="bold" mathsize="normal"> 
         <mi>
           a 
         </mi> 
        </mstyle> 
        <mo>
          〉 
        </mo> 
       </mrow> 
       <mo>
         = 
       </mo> 
       <mrow> 
        <mo>
          〈 
        </mo> 
        <mstyle mathvariant="bold" mathsize="normal"> 
         <mi>
           a 
         </mi> 
        </mstyle> 
        <mo>
          | 
        </mo> 
        <mrow> 
         <msup> 
          <mstyle mathvariant="bold" mathsize="normal"> 
           <mi>
             a 
           </mi> 
          </mstyle> 
          <mi>
            R 
          </mi> 
         </msup> 
        </mrow> 
        <mo>
          〉 
        </mo> 
       </mrow> 
       <mo>
         = 
       </mo> 
       <msup> 
        <mrow> 
         <mrow> 
          <mo>
            ( 
          </mo> 
          <mrow> 
           <mi>
             a 
           </mi> 
           <mo>
             + 
           </mo> 
           <mi>
             b 
           </mi> 
          </mrow> 
          <mo>
            ) 
          </mo> 
         </mrow> 
        </mrow> 
        <mn>
          2 
        </mn> 
       </msup> 
       <mo>
         − 
       </mo> 
       <msup> 
        <mi>
          a 
        </mi> 
        <mn>
          2 
        </mn> 
       </msup> 
       <mo>
         = 
       </mo> 
       <mrow> 
        <mo>
          ( 
        </mo> 
        <mrow> 
         <mn>
           2 
         </mn> 
         <mi>
           a 
         </mi> 
         <mo>
           + 
         </mo> 
         <mi>
           b 
         </mi> 
        </mrow> 
        <mo>
          ) 
        </mo> 
       </mrow> 
       <mi>
         b 
       </mi> 
      </mrow> 
     </math>.</p>
   </sec>
   <sec id="s2_8">
    <title>2.8. Invariance of Higher Order Norms</title>
    <p>One might write higher-order vector norms as complete sums of inward power vectors.</p>
    <p>Using the following definition of the inward power of any vector:</p>
    <p>
     <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
       <mo>
         ∀ 
       </mo> 
       <mrow> 
        <mo>
          〈 
        </mo> 
        <mstyle mathvariant="bold" mathsize="normal"> 
         <mi>
           a 
         </mi> 
        </mstyle> 
        <mo>
          | 
        </mo> 
       </mrow> 
       <mo>
         ∈ 
       </mo> 
       <msub> 
        <mi>
          V 
        </mi> 
        <mi>
          N 
        </mi> 
       </msub> 
       <mrow> 
        <mo>
          ( 
        </mo> 
        <mstyle mathvariant="bold" mathsize="normal"> 
         <mi>
           Q 
         </mi> 
        </mstyle> 
        <mo>
          ) 
        </mo> 
       </mrow> 
       <mo>
         ∧ 
       </mo> 
       <mo>
         ∀ 
       </mo> 
       <mi>
         P 
       </mi> 
       <mo>
         ∈ 
       </mo> 
       <mstyle mathvariant="bold" mathsize="normal"> 
        <mi>
          Q 
        </mi> 
       </mstyle> 
       <mo>
         : 
       </mo> 
       <msup> 
        <mrow> 
         <mrow> 
          <mo>
            〈 
          </mo> 
          <mstyle mathvariant="bold" mathsize="normal"> 
           <mi>
             a 
           </mi> 
          </mstyle> 
          <mo>
            | 
          </mo> 
         </mrow> 
        </mrow> 
        <mrow> 
         <mrow> 
          <mo>
            [ 
          </mo> 
          <mi>
            P 
          </mi> 
          <mo>
            ] 
          </mo> 
         </mrow> 
        </mrow> 
       </msup> 
       <mo>
         = 
       </mo> 
       <mrow> 
        <mo>
          ( 
        </mo> 
        <mrow> 
         <msubsup> 
          <mi>
            a 
          </mi> 
          <mn>
            1 
          </mn> 
          <mi>
            P 
          </mi> 
         </msubsup> 
         <mo>
           , 
         </mo> 
         <msubsup> 
          <mi>
            a 
          </mi> 
          <mn>
            2 
          </mn> 
          <mi>
            P 
          </mi> 
         </msubsup> 
         <mo>
           , 
         </mo> 
         <msubsup> 
          <mi>
            a 
          </mi> 
          <mn>
            3 
          </mn> 
          <mi>
            P 
          </mi> 
         </msubsup> 
         <mo>
           , 
         </mo> 
         <mo>
           ⋯ 
         </mo> 
         <mo>
           , 
         </mo> 
         <msubsup> 
          <mi>
            a 
          </mi> 
          <mi>
            N 
          </mi> 
          <mi>
            P 
          </mi> 
         </msubsup> 
        </mrow> 
        <mo>
          ) 
        </mo> 
       </mrow> 
      </mrow> 
     </math>,</p>
    <p>when the power is attached to a natural number 
     <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
       <mo>
         ∀ 
       </mo> 
       <mi>
         P 
       </mi> 
       <mo>
         ∈ 
       </mo> 
       <mstyle mathvariant="bold" mathsize="normal"> 
        <mi>
          N 
        </mi> 
       </mstyle> 
      </mrow> 
     </math>, then the P-th order norm of the vector can be defined as:</p>
    <p>
     <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
       <msub> 
        <mi>
          N 
        </mi> 
        <mi>
          P 
        </mi> 
       </msub> 
       <mrow> 
        <mo>
          [ 
        </mo> 
        <mrow> 
         <mrow> 
          <mo>
            〈 
          </mo> 
          <mstyle mathvariant="bold" mathsize="normal"> 
           <mi>
             a 
           </mi> 
          </mstyle> 
          <mo>
            | 
          </mo> 
         </mrow> 
        </mrow> 
        <mo>
          ] 
        </mo> 
       </mrow> 
       <mo>
         = 
       </mo> 
       <mstyle displaystyle="true"> 
        <munderover> 
         <mo>
           ∑ 
         </mo> 
         <mrow> 
          <mi>
            I 
          </mi> 
          <mo>
            = 
          </mo> 
          <mn>
            1 
          </mn> 
         </mrow> 
         <mi>
           N 
         </mi> 
        </munderover> 
        <mrow> 
         <mrow> 
          <mo>
            | 
          </mo> 
          <mrow> 
           <msubsup> 
            <mi>
              a 
            </mi> 
            <mi>
              I 
            </mi> 
            <mi>
              P 
            </mi> 
           </msubsup> 
          </mrow> 
          <mo>
            | 
          </mo> 
         </mrow> 
        </mrow> 
       </mstyle> 
       <mo>
         = 
       </mo> 
       <mrow> 
        <mo>
          〈 
        </mo> 
        <mrow> 
         <mrow> 
          <mo>
            | 
          </mo> 
          <mrow> 
           <msup> 
            <mrow> 
             <mrow> 
              <mo>
                〈 
              </mo> 
              <mstyle mathvariant="bold" mathsize="normal"> 
               <mi>
                 a 
               </mi> 
              </mstyle> 
              <mo>
                | 
              </mo> 
             </mrow> 
            </mrow> 
            <mrow> 
             <mrow> 
              <mo>
                [ 
              </mo> 
              <mi>
                P 
              </mi> 
              <mo>
                ] 
              </mo> 
             </mrow> 
            </mrow> 
           </msup> 
          </mrow> 
          <mo>
            | 
          </mo> 
         </mrow> 
        </mrow> 
        <mo>
          〉 
        </mo> 
       </mrow> 
      </mrow> 
     </math>.</p>
    <p>Such a definition is invariant by vector reversal, as one can write:</p>
    <p>
     <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
       <msub> 
        <mi>
          N 
        </mi> 
        <mi>
          P 
        </mi> 
       </msub> 
       <mrow> 
        <mo>
          [ 
        </mo> 
        <mrow> 
         <mrow> 
          <mo>
            〈 
          </mo> 
          <mrow> 
           <msup> 
            <mstyle mathvariant="bold" mathsize="normal"> 
             <mi>
               a 
             </mi> 
            </mstyle> 
            <mi>
              R 
            </mi> 
           </msup> 
          </mrow> 
          <mo>
            | 
          </mo> 
         </mrow> 
        </mrow> 
        <mo>
          ] 
        </mo> 
       </mrow> 
       <mo>
         = 
       </mo> 
       <mstyle displaystyle="true"> 
        <munderover> 
         <mo>
           ∑ 
         </mo> 
         <mrow> 
          <mi>
            I 
          </mi> 
          <mo>
            = 
          </mo> 
          <mn>
            1 
          </mn> 
         </mrow> 
         <mi>
           N 
         </mi> 
        </munderover> 
        <mrow> 
         <mrow> 
          <mo>
            | 
          </mo> 
          <mrow> 
           <msubsup> 
            <mi>
              a 
            </mi> 
            <mrow> 
             <mi>
               N 
             </mi> 
             <mo>
               − 
             </mo> 
             <mi>
               I 
             </mi> 
             <mo>
               + 
             </mo> 
             <mn>
               1 
             </mn> 
            </mrow> 
            <mi>
              P 
            </mi> 
           </msubsup> 
          </mrow> 
          <mo>
            | 
          </mo> 
         </mrow> 
        </mrow> 
       </mstyle> 
       <mo>
         = 
       </mo> 
       <mrow> 
        <mo>
          〈 
        </mo> 
        <mrow> 
         <mrow> 
          <mo>
            ( 
          </mo> 
          <mrow> 
           <mrow> 
            <mo>
              | 
            </mo> 
            <mrow> 
             <msup> 
              <mrow> 
               <mrow> 
                <mo>
                  ( 
                </mo> 
                <mrow> 
                 <msup> 
                  <mrow> 
                   <mrow> 
                    <mo>
                      〈 
                    </mo> 
                    <mstyle mathvariant="bold" mathsize="normal"> 
                     <mi>
                       a 
                     </mi> 
                    </mstyle> 
                    <mo>
                      | 
                    </mo> 
                   </mrow> 
                  </mrow> 
                  <mrow> 
                   <mrow> 
                    <mo>
                      [ 
                    </mo> 
                    <mi>
                      P 
                    </mi> 
                    <mo>
                      ] 
                    </mo> 
                   </mrow> 
                  </mrow> 
                 </msup> 
                </mrow> 
                <mo>
                  ) 
                </mo> 
               </mrow> 
              </mrow> 
              <mi>
                R 
              </mi> 
             </msup> 
            </mrow> 
            <mo>
              | 
            </mo> 
           </mrow> 
          </mrow> 
          <mo>
            ) 
          </mo> 
         </mrow> 
        </mrow> 
        <mo>
          〉 
        </mo> 
       </mrow> 
       <mo>
         = 
       </mo> 
       <msub> 
        <mi>
          N 
        </mi> 
        <mi>
          P 
        </mi> 
       </msub> 
       <mrow> 
        <mo>
          [ 
        </mo> 
        <mrow> 
         <mrow> 
          <mo>
            〈 
          </mo> 
          <mstyle mathvariant="bold" mathsize="normal"> 
           <mi>
             a 
           </mi> 
          </mstyle> 
          <mo>
            | 
          </mo> 
         </mrow> 
        </mrow> 
        <mo>
          ] 
        </mo> 
       </mrow> 
      </mrow> 
     </math>.</p>
   </sec>
  </sec><sec id="s3">
   <title>3. Restructuration of Square Matrices: Definition of the A-Diagonal Elements</title>
   <p>One of the most used structures of square 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <mrow> 
       <mo>
         ( 
       </mo> 
       <mrow> 
        <mi>
          N 
        </mi> 
        <mo>
          × 
        </mo> 
        <mi>
          N 
        </mi> 
       </mrow> 
       <mo>
         ) 
       </mo> 
      </mrow> 
     </mrow> 
    </math> matrices is the definition of the diagonal and the sub-diagonal elements parallel to it. This possibility gives rise to particular matrix types, such as triangular, tridiagonal, and band matrices.</p>
   <p>As it is well-known, the diagonal of a matrix corresponds to elements starting at the position 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <mrow> 
       <mo>
         ( 
       </mo> 
       <mrow> 
        <mn>
          1 
        </mn> 
        <mo>
          , 
        </mo> 
        <mn>
          1 
        </mn> 
       </mrow> 
       <mo>
         ) 
       </mo> 
      </mrow> 
     </mrow> 
    </math> and ending at the position 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <mrow> 
       <mo>
         ( 
       </mo> 
       <mrow> 
        <mi>
          N 
        </mi> 
        <mo>
          , 
        </mo> 
        <mi>
          N 
        </mi> 
       </mrow> 
       <mo>
         ) 
       </mo> 
      </mrow> 
     </mrow> 
    </math>; that is, the index set, which one can describe as: 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <mrow> 
       <mo>
         { 
       </mo> 
       <mrow> 
        <mrow> 
         <mo>
           ( 
         </mo> 
         <mrow> 
          <mi>
            I 
          </mi> 
          <mo>
            , 
          </mo> 
          <mi>
            I 
          </mi> 
         </mrow> 
         <mo>
           ) 
         </mo> 
        </mrow> 
        <mrow> 
         <mo>
           | 
         </mo> 
         <mrow> 
          <mi>
            I 
          </mi> 
          <mo>
            = 
          </mo> 
          <mn>
            1 
          </mn> 
          <mo>
            , 
          </mo> 
          <mi>
            N 
          </mi> 
         </mrow> 
        </mrow> 
       </mrow> 
       <mo>
         } 
       </mo> 
      </mrow> 
     </mrow> 
    </math>; or it is also of interest to define the diagonal element set as:</p>
   <p>
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <mi>
        D 
      </mi> 
      <mi>
        i 
      </mi> 
      <mi>
        a 
      </mi> 
      <mi>
        g 
      </mi> 
      <mrow> 
       <mo>
         ( 
       </mo> 
       <mstyle mathvariant="bold" mathsize="normal"> 
        <mi>
          A 
        </mi> 
       </mstyle> 
       <mo>
         ) 
       </mo> 
      </mrow> 
      <mo>
        = 
      </mo> 
      <mrow> 
       <mo>
         ( 
       </mo> 
       <mrow> 
        <msub> 
         <mi>
           a 
         </mi> 
         <mrow> 
          <mn>
            11 
          </mn> 
         </mrow> 
        </msub> 
        <mo>
          ; 
        </mo> 
        <msub> 
         <mi>
           a 
         </mi> 
         <mrow> 
          <mn>
            22 
          </mn> 
         </mrow> 
        </msub> 
        <mo>
          ; 
        </mo> 
        <mo>
          ⋯ 
        </mo> 
        <mo>
          ; 
        </mo> 
        <msub> 
         <mi>
           a 
         </mi> 
         <mrow> 
          <mi>
            N 
          </mi> 
          <mi>
            N 
          </mi> 
         </mrow> 
        </msub> 
       </mrow> 
       <mo>
         ) 
       </mo> 
      </mrow> 
      <mo>
        = 
      </mo> 
      <mrow> 
       <mo>
         ( 
       </mo> 
       <mrow> 
        <msub> 
         <mi>
           a 
         </mi> 
         <mrow> 
          <mi>
            I 
          </mi> 
          <mi>
            I 
          </mi> 
         </mrow> 
        </msub> 
        <mrow> 
         <mo>
           | 
         </mo> 
         <mrow> 
          <mi>
            I 
          </mi> 
          <mo>
            = 
          </mo> 
          <mn>
            1 
          </mn> 
          <mo>
            , 
          </mo> 
          <mi>
            N 
          </mi> 
         </mrow> 
        </mrow> 
       </mrow> 
       <mo>
         ) 
       </mo> 
      </mrow> 
     </mrow> 
    </math>.</p>
   <p>Among other possibilities not often employed, alternative structures exist within the elements of square 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <mrow> 
       <mo>
         ( 
       </mo> 
       <mrow> 
        <mi>
          N 
        </mi> 
        <mo>
          × 
        </mo> 
        <mi>
          N 
        </mi> 
       </mrow> 
       <mo>
         ) 
       </mo> 
      </mrow> 
     </mrow> 
    </math> matrices. One can define the anti-diagonal (or shortly: a-diagonal), corresponding to the elements starting at the position 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <mrow> 
       <mo>
         ( 
       </mo> 
       <mrow> 
        <mn>
          1 
        </mn> 
        <mo>
          , 
        </mo> 
        <mi>
          N 
        </mi> 
       </mrow> 
       <mo>
         ) 
       </mo> 
      </mrow> 
     </mrow> 
    </math> and ending at the position 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <mrow> 
       <mo>
         ( 
       </mo> 
       <mrow> 
        <mi>
          N 
        </mi> 
        <mo>
          , 
        </mo> 
        <mn>
          1 
        </mn> 
       </mrow> 
       <mo>
         ) 
       </mo> 
      </mrow> 
     </mrow> 
    </math>; that is, in this case, the set of elements with indices: 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <mrow> 
       <mo>
         { 
       </mo> 
       <mrow> 
        <mrow> 
         <mo>
           ( 
         </mo> 
         <mrow> 
          <mi>
            I 
          </mi> 
          <mo>
            , 
          </mo> 
          <mi>
            N 
          </mi> 
          <mo>
            − 
          </mo> 
          <mi>
            I 
          </mi> 
          <mo>
            + 
          </mo> 
          <mn>
            1 
          </mn> 
         </mrow> 
         <mo>
           ) 
         </mo> 
        </mrow> 
        <mrow> 
         <mo>
           | 
         </mo> 
         <mrow> 
          <mi>
            I 
          </mi> 
          <mo>
            = 
          </mo> 
          <mn>
            1 
          </mn> 
          <mo>
            , 
          </mo> 
          <mi>
            N 
          </mi> 
         </mrow> 
        </mrow> 
       </mrow> 
       <mo>
         } 
       </mo> 
      </mrow> 
     </mrow> 
    </math>, or using a similar definition to the diagonal:</p>
   <p>
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <mi>
        a 
      </mi> 
      <mo>
        - 
      </mo> 
      <mi>
        D 
      </mi> 
      <mi>
        i 
      </mi> 
      <mi>
        a 
      </mi> 
      <mi>
        g 
      </mi> 
      <mrow> 
       <mo>
         ( 
       </mo> 
       <mstyle mathvariant="bold" mathsize="normal"> 
        <mi>
          A 
        </mi> 
       </mstyle> 
       <mo>
         ) 
       </mo> 
      </mrow> 
      <mo>
        = 
      </mo> 
      <mrow> 
       <mo>
         ( 
       </mo> 
       <mrow> 
        <msub> 
         <mi>
           a 
         </mi> 
         <mrow> 
          <mn>
            1 
          </mn> 
          <mi>
            N 
          </mi> 
         </mrow> 
        </msub> 
        <mo>
          ; 
        </mo> 
        <msub> 
         <mi>
           a 
         </mi> 
         <mrow> 
          <mn>
            2 
          </mn> 
          <mrow> 
           <mo>
             ( 
           </mo> 
           <mrow> 
            <mi>
              N 
            </mi> 
            <mo>
              − 
            </mo> 
            <mn>
              1 
            </mn> 
           </mrow> 
           <mo>
             ) 
           </mo> 
          </mrow> 
         </mrow> 
        </msub> 
        <mo>
          ; 
        </mo> 
        <mo>
          ⋯ 
        </mo> 
        <mo>
          ; 
        </mo> 
        <msub> 
         <mi>
           a 
         </mi> 
         <mrow> 
          <mi>
            N 
          </mi> 
          <mn>
            1 
          </mn> 
         </mrow> 
        </msub> 
       </mrow> 
       <mo>
         ) 
       </mo> 
      </mrow> 
      <mo>
        = 
      </mo> 
      <mrow> 
       <mo>
         ( 
       </mo> 
       <mrow> 
        <msub> 
         <mi>
           a 
         </mi> 
         <mrow> 
          <mi>
            I 
          </mi> 
          <mrow> 
           <mo>
             ( 
           </mo> 
           <mrow> 
            <mi>
              N 
            </mi> 
            <mo>
              − 
            </mo> 
            <mi>
              I 
            </mi> 
            <mo>
              + 
            </mo> 
            <mn>
              1 
            </mn> 
           </mrow> 
           <mo>
             ) 
           </mo> 
          </mrow> 
         </mrow> 
        </msub> 
        <mrow> 
         <mo>
           | 
         </mo> 
         <mrow> 
          <mi>
            I 
          </mi> 
          <mo>
            = 
          </mo> 
          <mn>
            1 
          </mn> 
          <mo>
            , 
          </mo> 
          <mi>
            N 
          </mi> 
         </mrow> 
        </mrow> 
       </mrow> 
       <mo>
         ) 
       </mo> 
      </mrow> 
     </mrow> 
    </math>.</p>
   <p>Following the programming rules of some high-level languages like Python, one can construct a better description of a matrix’s a-diagonal within the index range 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <mrow> 
       <mo>
         { 
       </mo> 
       <mrow> 
        <mn>
          0 
        </mn> 
        <mo>
          , 
        </mo> 
        <mi>
          N 
        </mi> 
       </mrow> 
       <mo>
         } 
       </mo> 
      </mrow> 
     </mrow> 
    </math>. In doing so, one can set the matrix dimension to 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <mrow> 
       <mo>
         ( 
       </mo> 
       <mrow> 
        <mrow> 
         <mo>
           ( 
         </mo> 
         <mrow> 
          <mi>
            N 
          </mi> 
          <mo>
            + 
          </mo> 
          <mn>
            1 
          </mn> 
         </mrow> 
         <mo>
           ) 
         </mo> 
        </mrow> 
        <mo>
          × 
        </mo> 
        <mrow> 
         <mo>
           ( 
         </mo> 
         <mrow> 
          <mi>
            N 
          </mi> 
          <mo>
            + 
          </mo> 
          <mn>
            1 
          </mn> 
         </mrow> 
         <mo>
           ) 
         </mo> 
        </mrow> 
       </mrow> 
       <mo>
         ) 
       </mo> 
      </mrow> 
     </mrow> 
    </math>. However, using this indexing possibility, one can write the a-diagonal set of indices like: 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <mrow> 
       <mo>
         { 
       </mo> 
       <mrow> 
        <mrow> 
         <mo>
           ( 
         </mo> 
         <mrow> 
          <mi>
            I 
          </mi> 
          <mo>
            , 
          </mo> 
          <mi>
            N 
          </mi> 
          <mo>
            − 
          </mo> 
          <mi>
            I 
          </mi> 
         </mrow> 
         <mo>
           ) 
         </mo> 
        </mrow> 
        <mrow> 
         <mo>
           | 
         </mo> 
         <mrow> 
          <mi>
            I 
          </mi> 
          <mo>
            = 
          </mo> 
          <mn>
            0 
          </mn> 
          <mo>
            , 
          </mo> 
          <mi>
            N 
          </mi> 
         </mrow> 
        </mrow> 
       </mrow> 
       <mo>
         } 
       </mo> 
      </mrow> 
     </mrow> 
    </math>.</p>
   <p>Such procedures permit the identification of new matrix regions as the anti-diagonal and the sub-anti-diagonals and also identify matrix anti-triangles, which will be in the upper and lower regions seen from the anti-diagonal point of view. Because of the presence of these matrix regions, one can also augment matrix classification. Therefore, one can talk about anti-diagonal matrices, anti-triangular matrices, etc.</p>
  </sec><sec id="s4">
   <title>4. The Vector Indices of an A-Diagonal of a Square Matrix</title>
   <p>To characterize the role of the a-diagonal of a matrix even better, one can transform the a-diagonal row indices into a vector. The a-diagonal column indices are contained in the reversal on the row indices vector 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <mrow> 
       <mo>
         〈 
       </mo> 
       <mstyle mathvariant="bold" mathsize="normal"> 
        <mi>
          r 
        </mi> 
       </mstyle> 
       <mo>
         | 
       </mo> 
      </mrow> 
     </mrow> 
    </math>. That is:</p>
   <p>
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mtable columnalign="left"> 
      <mtr> 
       <mtd> 
        <mrow> 
         <mo>
           { 
         </mo> 
         <mrow> 
          <mrow> 
           <mo>
             ( 
           </mo> 
           <mrow> 
            <mi>
              I 
            </mi> 
            <mo>
              , 
            </mo> 
            <mi>
              N 
            </mi> 
            <mo>
              − 
            </mo> 
            <mi>
              I 
            </mi> 
           </mrow> 
           <mo>
             ) 
           </mo> 
          </mrow> 
          <mrow> 
           <mo>
             | 
           </mo> 
           <mrow> 
            <mi>
              I 
            </mi> 
            <mo>
              = 
            </mo> 
            <mn>
              0 
            </mn> 
            <mo>
              , 
            </mo> 
            <mi>
              N 
            </mi> 
           </mrow> 
          </mrow> 
         </mrow> 
         <mo>
           } 
         </mo> 
        </mrow> 
        <mo>
          ≡ 
        </mo> 
        <mrow> 
         <mo>
           { 
         </mo> 
         <mrow> 
          <mrow> 
           <mo>
             〈 
           </mo> 
           <mstyle mathvariant="bold" mathsize="normal"> 
            <mi>
              r 
            </mi> 
           </mstyle> 
           <mo>
             | 
           </mo> 
          </mrow> 
          <mo>
            , 
          </mo> 
          <msup> 
           <mrow> 
            <mrow> 
             <mo>
               〈 
             </mo> 
             <mstyle mathvariant="bold" mathsize="normal"> 
              <mi>
                r 
              </mi> 
             </mstyle> 
             <mo>
               | 
             </mo> 
            </mrow> 
           </mrow> 
           <mi>
             R 
           </mi> 
          </msup> 
         </mrow> 
         <mo>
           } 
         </mo> 
        </mrow> 
        <mo>
          → 
        </mo> 
       </mtd> 
      </mtr> 
      <mtr> 
       <mtd> 
        <mrow> 
         <mo>
           〈 
         </mo> 
         <mstyle mathvariant="bold" mathsize="normal"> 
          <mi>
            r 
          </mi> 
         </mstyle> 
         <mo>
           | 
         </mo> 
        </mrow> 
        <mo>
          = 
        </mo> 
        <mrow> 
         <mo>
           ( 
         </mo> 
         <mrow> 
          <mn>
            0 
          </mn> 
          <mo>
            , 
          </mo> 
          <mn>
            1 
          </mn> 
          <mo>
            , 
          </mo> 
          <mn>
            2 
          </mn> 
          <mo>
            , 
          </mo> 
          <mo>
            ⋯ 
          </mo> 
          <mo>
            , 
          </mo> 
          <mi>
            N 
          </mi> 
         </mrow> 
         <mo>
           ) 
         </mo> 
        </mrow> 
        <mo>
          ≡ 
        </mo> 
        <mrow> 
         <mo>
           { 
         </mo> 
         <mrow> 
          <mi>
            I 
          </mi> 
          <mrow> 
           <mo>
             | 
           </mo> 
           <mrow> 
            <mi>
              I 
            </mi> 
            <mo>
              = 
            </mo> 
            <mn>
              0 
            </mn> 
            <mo>
              , 
            </mo> 
            <mi>
              N 
            </mi> 
           </mrow> 
          </mrow> 
         </mrow> 
         <mo>
           } 
         </mo> 
        </mrow> 
       </mtd> 
      </mtr> 
      <mtr> 
       <mtd> 
        <msup> 
         <mrow> 
          <mo>
            〈 
          </mo> 
          <mstyle mathvariant="bold" mathsize="normal"> 
           <mi>
             r 
           </mi> 
          </mstyle> 
          <mo>
            | 
          </mo> 
         </mrow> 
         <mi>
           R 
         </mi> 
        </msup> 
        <mo>
          = 
        </mo> 
        <mrow> 
         <mo>
           ( 
         </mo> 
         <mrow> 
          <mi>
            N 
          </mi> 
          <mo>
            , 
          </mo> 
          <mi>
            N 
          </mi> 
          <mo>
            − 
          </mo> 
          <mn>
            1 
          </mn> 
          <mo>
            , 
          </mo> 
          <mi>
            N 
          </mi> 
          <mo>
            − 
          </mo> 
          <mn>
            2 
          </mn> 
          <mo>
            , 
          </mo> 
          <mo>
            ⋯ 
          </mo> 
          <mo>
            , 
          </mo> 
          <mn>
            1 
          </mn> 
          <mo>
            , 
          </mo> 
          <mn>
            0 
          </mn> 
         </mrow> 
         <mo>
           ) 
         </mo> 
        </mrow> 
        <mo>
          ≡ 
        </mo> 
        <mrow> 
         <mo>
           { 
         </mo> 
         <mrow> 
          <mi>
            N 
          </mi> 
          <mo>
            − 
          </mo> 
          <mi>
            I 
          </mi> 
          <mrow> 
           <mo>
             | 
           </mo> 
           <mrow> 
            <mi>
              I 
            </mi> 
            <mo>
              = 
            </mo> 
            <mn>
              0 
            </mn> 
            <mo>
              , 
            </mo> 
            <mi>
              N 
            </mi> 
           </mrow> 
          </mrow> 
         </mrow> 
         <mo>
           } 
         </mo> 
        </mrow> 
       </mtd> 
      </mtr> 
     </mtable> 
    </math> 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow></mrow> 
    </math></p>
  </sec><sec id="s5">
   <title>5. Tensor Sum of Two Vectors Indices</title>
   <p>An interesting numerical subproduct of this set of vector indices 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <mrow> 
       <mo>
         { 
       </mo> 
       <mrow> 
        <mrow> 
         <mo>
           〈 
         </mo> 
         <mstyle mathvariant="bold" mathsize="normal"> 
          <mi>
            r 
          </mi> 
         </mstyle> 
         <mo>
           | 
         </mo> 
        </mrow> 
        <mo>
          , 
        </mo> 
        <msup> 
         <mrow> 
          <mrow> 
           <mo>
             〈 
           </mo> 
           <mstyle mathvariant="bold" mathsize="normal"> 
            <mi>
              r 
            </mi> 
           </mstyle> 
           <mo>
             | 
           </mo> 
          </mrow> 
         </mrow> 
         <mi>
           R 
         </mi> 
        </msup> 
       </mrow> 
       <mo>
         } 
       </mo> 
      </mrow> 
     </mrow> 
    </math>, which one can use to discuss the Goldbach conjecture <xref ref-type="bibr" rid="scirp.140973-12">
     [12]
    </xref> <xref ref-type="bibr" rid="scirp.140973-13">
     [13]
    </xref> and the Fermat theorem <xref ref-type="bibr" rid="scirp.140973-14">
     [14]
    </xref>, is the structure of what can be called the tensor sum of them.</p>
   <p>One can easily define the tensor sum of two indices as:</p>
   <p>
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mtable columnalign="left"> 
      <mtr> 
       <mtd> 
        <msub> 
         <mstyle mathvariant="bold" mathsize="normal"> 
          <mi>
            S 
          </mi> 
         </mstyle> 
         <mi>
           N 
         </mi> 
        </msub> 
        <mo>
          = 
        </mo> 
        <mrow> 
         <mo>
           〈 
         </mo> 
         <mstyle mathvariant="bold" mathsize="normal"> 
          <mi>
            r 
          </mi> 
         </mstyle> 
         <mo>
           | 
         </mo> 
        </mrow> 
        <mo>
          ⊕ 
        </mo> 
        <msup> 
         <mrow> 
          <mo>
            〈 
          </mo> 
          <mstyle mathvariant="bold" mathsize="normal"> 
           <mi>
             r 
           </mi> 
          </mstyle> 
          <mo>
            | 
          </mo> 
         </mrow> 
         <mi>
           R 
         </mi> 
        </msup> 
        <mo>
          ⇒ 
        </mo> 
        <mo>
          ∀ 
        </mo> 
        <mi>
          I 
        </mi> 
        <mo>
          , 
        </mo> 
        <mi>
          J 
        </mi> 
        <mo>
          : 
        </mo> 
       </mtd> 
      </mtr> 
      <mtr> 
       <mtd> 
        <msub> 
         <mi>
           S 
         </mi> 
         <mrow> 
          <mi>
            I 
          </mi> 
          <mi>
            J 
          </mi> 
         </mrow> 
        </msub> 
        <mo>
          = 
        </mo> 
        <mi>
          I 
        </mi> 
        <mo>
          + 
        </mo> 
        <mi>
          J 
        </mi> 
        <mo>
          ≡ 
        </mo> 
        <msub> 
         <mi>
           r 
         </mi> 
         <mi>
           I 
         </mi> 
        </msub> 
        <mo>
          + 
        </mo> 
        <msubsup> 
         <mi>
           r 
         </mi> 
         <mi>
           J 
         </mi> 
         <mi>
           R 
         </mi> 
        </msubsup> 
        <mo>
          = 
        </mo> 
        <msub> 
         <mi>
           r 
         </mi> 
         <mi>
           I 
         </mi> 
        </msub> 
        <mo>
          + 
        </mo> 
        <msub> 
         <mi>
           r 
         </mi> 
         <mrow> 
          <mrow> 
           <mo>
             ( 
           </mo> 
           <mrow> 
            <mi>
              J 
            </mi> 
            <mo>
              − 
            </mo> 
            <mi>
              I 
            </mi> 
           </mrow> 
           <mo>
             ) 
           </mo> 
          </mrow> 
         </mrow> 
        </msub> 
        <mo>
          = 
        </mo> 
        <mi>
          I 
        </mi> 
        <mo>
          + 
        </mo> 
        <mrow> 
         <mo>
           ( 
         </mo> 
         <mrow> 
          <mi>
            J 
          </mi> 
          <mo>
            − 
          </mo> 
          <mi>
            I 
          </mi> 
         </mrow> 
         <mo>
           ) 
         </mo> 
        </mrow> 
        <mo>
          = 
        </mo> 
        <mi>
          J 
        </mi> 
        <mo>
          , 
        </mo> 
       </mtd> 
      </mtr> 
     </mtable> 
    </math></p>
   <p>whenever the range of both subindexes starts at 0. As a result of this construct, the a-diagonal and sub-a-diagonals of an index tensor sum bear the column index used as a unique element.</p>
   <p>Therefore, the sub-a-diagonals of the tensor sum matrices 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <msub> 
       <mstyle mathvariant="bold" mathsize="normal"> 
        <mi>
          S 
        </mi> 
       </mstyle> 
       <mi>
         N 
       </mi> 
      </msub> 
     </mrow> 
    </math> of arbitrary dimension contain the natural number of the starting column. The a-diagonal of 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <msub> 
       <mstyle mathvariant="bold" mathsize="normal"> 
        <mi>
          S 
        </mi> 
       </mstyle> 
       <mi>
         N 
       </mi> 
      </msub> 
     </mrow> 
    </math> contains the associated dimension number 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mi>
       N 
     </mi> 
    </math>.</p>
   <p>For example, choosing 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <mi>
        N 
      </mi> 
      <mo>
        = 
      </mo> 
      <mn>
        4 
      </mn> 
     </mrow> 
    </math>, then the matrix 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <msub> 
       <mstyle mathvariant="bold" mathsize="normal"> 
        <mi>
          S 
        </mi> 
       </mstyle> 
       <mn>
         4 
       </mn> 
      </msub> 
     </mrow> 
    </math> will have the form:</p>
   <p>
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <msub> 
       <mstyle mathvariant="bold" mathsize="normal"> 
        <mi>
          S 
        </mi> 
       </mstyle> 
       <mn>
         4 
       </mn> 
      </msub> 
      <mo>
        = 
      </mo> 
      <mrow> 
       <mo>
         ( 
       </mo> 
       <mrow> 
        <mtable> 
         <mtr> 
          <mtd> 
           <mn>
             0 
           </mn> 
          </mtd> 
          <mtd> 
           <mn>
             1 
           </mn> 
          </mtd> 
          <mtd> 
           <mn>
             2 
           </mn> 
          </mtd> 
          <mtd> 
           <mn>
             3 
           </mn> 
          </mtd> 
          <mtd> 
           <mn>
             4 
           </mn> 
          </mtd> 
         </mtr> 
         <mtr> 
          <mtd> 
           <mn>
             1 
           </mn> 
          </mtd> 
          <mtd> 
           <mn>
             2 
           </mn> 
          </mtd> 
          <mtd> 
           <mn>
             3 
           </mn> 
          </mtd> 
          <mtd> 
           <mn>
             4 
           </mn> 
          </mtd> 
          <mtd> 
           <mn>
             5 
           </mn> 
          </mtd> 
         </mtr> 
         <mtr> 
          <mtd> 
           <mn>
             2 
           </mn> 
          </mtd> 
          <mtd> 
           <mn>
             3 
           </mn> 
          </mtd> 
          <mtd> 
           <mn>
             4 
           </mn> 
          </mtd> 
          <mtd> 
           <mn>
             5 
           </mn> 
          </mtd> 
          <mtd> 
           <mn>
             6 
           </mn> 
          </mtd> 
         </mtr> 
         <mtr> 
          <mtd> 
           <mn>
             3 
           </mn> 
          </mtd> 
          <mtd> 
           <mn>
             4 
           </mn> 
          </mtd> 
          <mtd> 
           <mn>
             5 
           </mn> 
          </mtd> 
          <mtd> 
           <mn>
             6 
           </mn> 
          </mtd> 
          <mtd> 
           <mn>
             7 
           </mn> 
          </mtd> 
         </mtr> 
         <mtr> 
          <mtd> 
           <mn>
             4 
           </mn> 
          </mtd> 
          <mtd> 
           <mn>
             5 
           </mn> 
          </mtd> 
          <mtd> 
           <mn>
             6 
           </mn> 
          </mtd> 
          <mtd> 
           <mn>
             7 
           </mn> 
          </mtd> 
          <mtd> 
           <mn>
             8 
           </mn> 
          </mtd> 
         </mtr> 
        </mtable> 
       </mrow> 
       <mo>
         ) 
       </mo> 
      </mrow> 
     </mrow> 
    </math>.</p>
  </sec><sec id="s6">
   <title>6. Reversal Matrix</title>
   <p>One can define the reversal matrix 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mstyle mathvariant="bold" mathsize="normal"> 
      <mi>
        R 
      </mi> 
     </mstyle> 
    </math> as a matrix similar to a diagonal matrix but as an a-diagonal one. It has been previously defined as the exchange matrix <xref ref-type="bibr" rid="scirp.140973-15">
     [15]
    </xref>. However, the nomenclature using the reversal adjective is better within the present paper’s ideas.</p>
   <p>In this case, the matrix 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mstyle mathvariant="bold" mathsize="normal"> 
      <mi>
        R 
      </mi> 
     </mstyle> 
    </math> is a null matrix with a unit principal a-diagonal. The elements in the a-diagonal consist of matrix elements perpendicular to the diagonal and made of 1s. One can define such a structure as:</p>
   <p>
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mtable columnalign="left"> 
      <mtr> 
       <mtd> 
        <msub> 
         <mstyle mathvariant="bold" mathsize="normal"> 
          <mi>
            R 
          </mi> 
         </mstyle> 
         <mi>
           N 
         </mi> 
        </msub> 
        <mo>
          = 
        </mo> 
        <mi>
          a 
        </mi> 
        <mo>
          - 
        </mo> 
        <mi>
          D 
        </mi> 
        <mi>
          i 
        </mi> 
        <mi>
          a 
        </mi> 
        <mi>
          g 
        </mi> 
        <mrow> 
         <mo>
           ( 
         </mo> 
         <mrow> 
          <msub> 
           <mstyle mathvariant="bold" mathsize="normal"> 
            <mi>
              R 
            </mi> 
           </mstyle> 
           <mi>
             N 
           </mi> 
          </msub> 
         </mrow> 
         <mo>
           ) 
         </mo> 
        </mrow> 
        <mo>
          = 
        </mo> 
        <mrow> 
         <mo>
           { 
         </mo> 
         <mrow> 
          <msub> 
           <mi>
             r 
           </mi> 
           <mrow> 
            <mi>
              N 
            </mi> 
            <mo>
              ; 
            </mo> 
            <mi>
              I 
            </mi> 
            <mi>
              J 
            </mi> 
           </mrow> 
          </msub> 
          <mo>
            = 
          </mo> 
          <msub> 
           <mi>
             δ 
           </mi> 
           <mrow> 
            <mi>
              I 
            </mi> 
            <mrow> 
             <mo>
               ( 
             </mo> 
             <mrow> 
              <mi>
                N 
              </mi> 
              <mo>
                − 
              </mo> 
              <mi>
                I 
              </mi> 
              <mo>
                + 
              </mo> 
              <mn>
                1 
              </mn> 
             </mrow> 
             <mo>
               ) 
             </mo> 
            </mrow> 
           </mrow> 
          </msub> 
          <mrow> 
           <mo>
             | 
           </mo> 
           <mrow> 
            <mi>
              I 
            </mi> 
            <mo>
              = 
            </mo> 
            <mn>
              1 
            </mn> 
            <mo>
              , 
            </mo> 
            <mi>
              N 
            </mi> 
           </mrow> 
          </mrow> 
         </mrow> 
         <mo>
           } 
         </mo> 
        </mrow> 
        <mo>
          → 
        </mo> 
       </mtd> 
      </mtr> 
      <mtr> 
       <mtd> 
        <msub> 
         <mstyle mathvariant="bold" mathsize="normal"> 
          <mi>
            R 
          </mi> 
         </mstyle> 
         <mn>
           5 
         </mn> 
        </msub> 
        <mo>
          = 
        </mo> 
        <mrow> 
         <mo>
           ( 
         </mo> 
         <mrow> 
          <mtable> 
           <mtr> 
            <mtd> 
             <mn>
               0 
             </mn> 
            </mtd> 
            <mtd> 
             <mn>
               0 
             </mn> 
            </mtd> 
            <mtd> 
             <mn>
               0 
             </mn> 
            </mtd> 
            <mtd> 
             <mn>
               0 
             </mn> 
            </mtd> 
            <mtd> 
             <mn>
               1 
             </mn> 
            </mtd> 
           </mtr> 
           <mtr> 
            <mtd> 
             <mn>
               0 
             </mn> 
            </mtd> 
            <mtd> 
             <mn>
               0 
             </mn> 
            </mtd> 
            <mtd> 
             <mn>
               0 
             </mn> 
            </mtd> 
            <mtd> 
             <mn>
               1 
             </mn> 
            </mtd> 
            <mtd> 
             <mn>
               0 
             </mn> 
            </mtd> 
           </mtr> 
           <mtr> 
            <mtd> 
             <mn>
               0 
             </mn> 
            </mtd> 
            <mtd> 
             <mn>
               0 
             </mn> 
            </mtd> 
            <mtd> 
             <mn>
               1 
             </mn> 
            </mtd> 
            <mtd> 
             <mn>
               0 
             </mn> 
            </mtd> 
            <mtd> 
             <mn>
               0 
             </mn> 
            </mtd> 
           </mtr> 
           <mtr> 
            <mtd> 
             <mn>
               0 
             </mn> 
            </mtd> 
            <mtd> 
             <mn>
               1 
             </mn> 
            </mtd> 
            <mtd> 
             <mn>
               0 
             </mn> 
            </mtd> 
            <mtd> 
             <mn>
               0 
             </mn> 
            </mtd> 
            <mtd> 
             <mn>
               0 
             </mn> 
            </mtd> 
           </mtr> 
           <mtr> 
            <mtd> 
             <mn>
               1 
             </mn> 
            </mtd> 
            <mtd> 
             <mn>
               0 
             </mn> 
            </mtd> 
            <mtd> 
             <mn>
               0 
             </mn> 
            </mtd> 
            <mtd> 
             <mn>
               0 
             </mn> 
            </mtd> 
            <mtd> 
             <mn>
               0 
             </mn> 
            </mtd> 
           </mtr> 
          </mtable> 
         </mrow> 
         <mo>
           ) 
         </mo> 
        </mrow> 
       </mtd> 
      </mtr> 
     </mtable> 
    </math></p>
   <p>The reversal matrix can be used to reverse arbitrary vectors of the adequate dimension. Concerning the row vectors, the reversal transformation acts on the right side of the vector. Then, one can write:</p>
   <p>
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <mo>
        ∀ 
      </mo> 
      <mrow> 
       <mo>
         〈 
       </mo> 
       <mstyle mathvariant="bold" mathsize="normal"> 
        <mi>
          a 
        </mi> 
       </mstyle> 
       <mo>
         | 
       </mo> 
      </mrow> 
      <mo>
        ∈ 
      </mo> 
      <msub> 
       <mi>
         V 
       </mi> 
       <mi>
         N 
       </mi> 
      </msub> 
      <mrow> 
       <mo>
         ( 
       </mo> 
       <mstyle mathvariant="bold" mathsize="normal"> 
        <mi>
          Q 
        </mi> 
       </mstyle> 
       <mo>
         ) 
       </mo> 
      </mrow> 
      <mo>
        : 
      </mo> 
      <msup> 
       <mrow> 
        <mrow> 
         <mo>
           〈 
         </mo> 
         <mstyle mathvariant="bold" mathsize="normal"> 
          <mi>
            a 
          </mi> 
         </mstyle> 
         <mo>
           | 
         </mo> 
        </mrow> 
       </mrow> 
       <mi>
         R 
       </mi> 
      </msup> 
      <mo>
        = 
      </mo> 
      <mrow> 
       <mo>
         〈 
       </mo> 
       <mstyle mathvariant="bold" mathsize="normal"> 
        <mi>
          a 
        </mi> 
       </mstyle> 
       <mo>
         | 
       </mo> 
      </mrow> 
      <msub> 
       <mstyle mathvariant="bold" mathsize="normal"> 
        <mi>
          R 
        </mi> 
       </mstyle> 
       <mi>
         N 
       </mi> 
      </msub> 
     </mrow> 
    </math>.</p>
   <p>Also, the matrix 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <msub> 
       <mstyle mathvariant="bold" mathsize="normal"> 
        <mi>
          R 
        </mi> 
       </mstyle> 
       <mi>
         N 
       </mi> 
      </msub> 
     </mrow> 
    </math> is involutory, or self-inverse, thus:</p>
   <p>
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <msubsup> 
       <mstyle mathvariant="bold" mathsize="normal"> 
        <mi>
          R 
        </mi> 
       </mstyle> 
       <mi>
         N 
       </mi> 
       <mn>
         2 
       </mn> 
      </msubsup> 
      <mo>
        = 
      </mo> 
      <msub> 
       <mstyle mathvariant="bold" mathsize="normal"> 
        <mi>
          I 
        </mi> 
       </mstyle> 
       <mi>
         N 
       </mi> 
      </msub> 
     </mrow> 
    </math>.</p>
  </sec><sec id="s7">
   <title>7. Reversal of a Matrix</title>
   <p>Once one knows that matrix elements can be reordered into an isomorphic row (or column) vector, one can consider any matrix reversal procedure a trivial algorithm. Then, one can reduce matrix reversal to the algorithm of a vector reversal. However, it is interesting to discuss matrix reversal as an internal matrix operation on the same footing as conjugation, transposition, and inversion.</p>
   <p>The action of the reversal operator on an arbitrary matrix can be defined through an algorithm as follows: first, the reversal operator acts on the set of matrix rows or columns, reversing it; second, it reverses every resultant row or column.</p>
   <p>For 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <mrow> 
       <mo>
         ( 
       </mo> 
       <mrow> 
        <mi>
          M 
        </mi> 
        <mo>
          × 
        </mo> 
        <mi>
          N 
        </mi> 
       </mrow> 
       <mo>
         ) 
       </mo> 
      </mrow> 
     </mrow> 
    </math> matrices, one can write using a column decomposition:</p>
   <p>
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mtable columnalign="left"> 
      <mtr> 
       <mtd> 
        <mstyle mathvariant="bold" mathsize="normal"> 
         <mi>
           A 
         </mi> 
        </mstyle> 
        <mo>
          = 
        </mo> 
        <mrow> 
         <mo>
           { 
         </mo> 
         <mrow> 
          <msub> 
           <mi>
             a 
           </mi> 
           <mrow> 
            <mi>
              I 
            </mi> 
            <mi>
              J 
            </mi> 
           </mrow> 
          </msub> 
          <mrow> 
           <mo>
             | 
           </mo> 
           <mrow> 
            <mi>
              I 
            </mi> 
            <mo>
              = 
            </mo> 
            <mn>
              1 
            </mn> 
            <mo>
              , 
            </mo> 
            <mi>
              M 
            </mi> 
            <mo>
              ; 
            </mo> 
            <mi>
              J 
            </mi> 
            <mo>
              = 
            </mo> 
            <mn>
              1 
            </mn> 
            <mo>
              , 
            </mo> 
            <mi>
              N 
            </mi> 
           </mrow> 
          </mrow> 
         </mrow> 
         <mo>
           } 
         </mo> 
        </mrow> 
        <mo>
          ≡ 
        </mo> 
        <mrow> 
         <mo>
           ( 
         </mo> 
         <mrow> 
          <mrow> 
           <mo>
             | 
           </mo> 
           <mrow> 
            <msub> 
             <mstyle mathvariant="bold" mathsize="normal"> 
              <mi>
                a 
              </mi> 
             </mstyle> 
             <mi>
               J 
             </mi> 
            </msub> 
           </mrow> 
           <mo>
             〉 
           </mo> 
          </mrow> 
          <mrow> 
           <mo>
             | 
           </mo> 
           <mrow> 
            <mi>
              J 
            </mi> 
            <mo>
              = 
            </mo> 
            <mn>
              1 
            </mn> 
            <mo>
              , 
            </mo> 
            <mi>
              N 
            </mi> 
           </mrow> 
          </mrow> 
         </mrow> 
         <mo>
           ) 
         </mo> 
        </mrow> 
        <mo>
          ⇒ 
        </mo> 
       </mtd> 
      </mtr> 
      <mtr> 
       <mtd> 
        <msup> 
         <mstyle mathvariant="bold" mathsize="normal"> 
          <mi>
            A 
          </mi> 
         </mstyle> 
         <mi>
           R 
         </mi> 
        </msup> 
        <mo>
          = 
        </mo> 
        <msup> 
         <mrow> 
          <mo>
            ( 
          </mo> 
          <mrow> 
           <mrow> 
            <mo>
              | 
            </mo> 
            <mrow> 
             <msub> 
              <mstyle mathvariant="bold" mathsize="normal"> 
               <mi>
                 a 
               </mi> 
              </mstyle> 
              <mi>
                J 
              </mi> 
             </msub> 
            </mrow> 
            <mo>
              〉 
            </mo> 
           </mrow> 
           <mrow> 
            <mo>
              | 
            </mo> 
            <mrow> 
             <mi>
               J 
             </mi> 
             <mo>
               = 
             </mo> 
             <mn>
               1 
             </mn> 
             <mo>
               , 
             </mo> 
             <mi>
               N 
             </mi> 
            </mrow> 
           </mrow> 
          </mrow> 
          <mo>
            ) 
          </mo> 
         </mrow> 
         <mi>
           R 
         </mi> 
        </msup> 
        <mo>
          = 
        </mo> 
        <mrow> 
         <mo>
           ( 
         </mo> 
         <mrow> 
          <msup> 
           <mrow> 
            <mrow> 
             <mo>
               | 
             </mo> 
             <mrow> 
              <msub> 
               <mstyle mathvariant="bold" mathsize="normal"> 
                <mi>
                  a 
                </mi> 
               </mstyle> 
               <mi>
                 J 
               </mi> 
              </msub> 
             </mrow> 
             <mo>
               〉 
             </mo> 
            </mrow> 
           </mrow> 
           <mi>
             R 
           </mi> 
          </msup> 
          <mrow> 
           <mo>
             | 
           </mo> 
           <mrow> 
            <mi>
              J 
            </mi> 
            <mo>
              = 
            </mo> 
            <mi>
              N 
            </mi> 
            <mo>
              , 
            </mo> 
            <mn>
              1 
            </mn> 
           </mrow> 
          </mrow> 
         </mrow> 
         <mo>
           ) 
         </mo> 
        </mrow> 
       </mtd> 
      </mtr> 
     </mtable> 
    </math></p>
   <p>One can define the same algorithm for a matrix representation but in the row decomposition form.</p>
   <p>For higher dimensionalities, like hypermatrices or higher-order tensors, whose elements can be supposed to contain matrices in turn, the reversal operator reverses the order of submatrices first, then reverses the order of the lower representation submatrices until the above action on matrices and vectors is found.</p>
   <p>A simple example can be easily given:</p>
   <p>
    <math display="inline" xmlns="http://www.w3.org/1998/Math/MathML"> <mtable columnalign="left"> 
      <mtr> 
       <mtd> 
        <mstyle mathvariant="bold" mathsize="normal"> 
         <mi>
           A 
         </mi> 
        </mstyle> 
        <mo>
          = 
        </mo> 
        <mrow> 
         <mo>
           ( 
         </mo> 
         <mrow> 
          <mtable> 
           <mtr> 
            <mtd> 
             <mn>
               1 
             </mn> 
            </mtd> 
            <mtd> 
             <mn>
               2 
             </mn> 
            </mtd> 
            <mtd> 
             <mn>
               3 
             </mn> 
            </mtd> 
           </mtr> 
           <mtr> 
            <mtd> 
             <mn>
               4 
             </mn> 
            </mtd> 
            <mtd> 
             <mn>
               5 
             </mn> 
            </mtd> 
            <mtd> 
             <mn>
               6 
             </mn> 
            </mtd> 
           </mtr> 
           <mtr> 
            <mtd> 
             <mn>
               7 
             </mn> 
            </mtd> 
            <mtd> 
             <mn>
               8 
             </mn> 
            </mtd> 
            <mtd> 
             <mn>
               9 
             </mn> 
            </mtd> 
           </mtr> 
          </mtable> 
         </mrow> 
         <mo>
           ) 
         </mo> 
        </mrow> 
        <mo>
          = 
        </mo> 
        <mrow> 
         <mo>
           ( 
         </mo> 
         <mrow> 
          <mtable> 
           <mtr> 
            <mtd> 
             <mrow> 
              <mrow> 
               <mo>
                 ( 
               </mo> 
               <mrow> 
                <mtable> 
                 <mtr> 
                  <mtd> 
                   <mn>
                     1 
                   </mn> 
                  </mtd> 
                 </mtr> 
                 <mtr> 
                  <mtd> 
                   <mn>
                     4 
                   </mn> 
                  </mtd> 
                 </mtr> 
                 <mtr> 
                  <mtd> 
                   <mn>
                     7 
                   </mn> 
                  </mtd> 
                 </mtr> 
                </mtable> 
               </mrow> 
               <mo>
                 ) 
               </mo> 
              </mrow> 
             </mrow> 
            </mtd> 
            <mtd> 
             <mrow> 
              <mrow> 
               <mo>
                 ( 
               </mo> 
               <mrow> 
                <mtable> 
                 <mtr> 
                  <mtd> 
                   <mn>
                     2 
                   </mn> 
                  </mtd> 
                 </mtr> 
                 <mtr> 
                  <mtd> 
                   <mn>
                     5 
                   </mn> 
                  </mtd> 
                 </mtr> 
                 <mtr> 
                  <mtd> 
                   <mn>
                     8 
                   </mn> 
                  </mtd> 
                 </mtr> 
                </mtable> 
               </mrow> 
               <mo>
                 ) 
               </mo> 
              </mrow> 
             </mrow> 
            </mtd> 
            <mtd> 
             <mrow> 
              <mrow> 
               <mo>
                 ( 
               </mo> 
               <mrow> 
                <mtable> 
                 <mtr> 
                  <mtd> 
                   <mn>
                     3 
                   </mn> 
                  </mtd> 
                 </mtr> 
                 <mtr> 
                  <mtd> 
                   <mn>
                     6 
                   </mn> 
                  </mtd> 
                 </mtr> 
                 <mtr> 
                  <mtd> 
                   <mn>
                     9 
                   </mn> 
                  </mtd> 
                 </mtr> 
                </mtable> 
               </mrow> 
               <mo>
                 ) 
               </mo> 
              </mrow> 
             </mrow> 
            </mtd> 
           </mtr> 
          </mtable> 
         </mrow> 
         <mo>
           ) 
         </mo> 
        </mrow> 
        <mo>
          ⇒ 
        </mo> 
       </mtd> 
      </mtr> 
      <mtr> 
       <mtd> 
        <msup> 
         <mstyle mathvariant="bold" mathsize="normal"> 
          <mi>
            A 
          </mi> 
         </mstyle> 
         <mi>
           R 
         </mi> 
        </msup> 
        <mo>
          = 
        </mo> 
        <mrow> 
         <mo>
           ( 
         </mo> 
         <mrow> 
          <mtable> 
           <mtr> 
            <mtd> 
             <mrow> 
              <msup> 
               <mrow> 
                <mrow> 
                 <mo>
                   ( 
                 </mo> 
                 <mrow> 
                  <mtable> 
                   <mtr> 
                    <mtd> 
                     <mn>
                       3 
                     </mn> 
                    </mtd> 
                   </mtr> 
                   <mtr> 
                    <mtd> 
                     <mn>
                       6 
                     </mn> 
                    </mtd> 
                   </mtr> 
                   <mtr> 
                    <mtd> 
                     <mn>
                       9 
                     </mn> 
                    </mtd> 
                   </mtr> 
                  </mtable> 
                 </mrow> 
                 <mo>
                   ) 
                 </mo> 
                </mrow> 
               </mrow> 
               <mi>
                 R 
               </mi> 
              </msup> 
             </mrow> 
            </mtd> 
            <mtd> 
             <mrow> 
              <msup> 
               <mrow> 
                <mrow> 
                 <mo>
                   ( 
                 </mo> 
                 <mrow> 
                  <mtable> 
                   <mtr> 
                    <mtd> 
                     <mn>
                       2 
                     </mn> 
                    </mtd> 
                   </mtr> 
                   <mtr> 
                    <mtd> 
                     <mn>
                       5 
                     </mn> 
                    </mtd> 
                   </mtr> 
                   <mtr> 
                    <mtd> 
                     <mn>
                       8 
                     </mn> 
                    </mtd> 
                   </mtr> 
                  </mtable> 
                 </mrow> 
                 <mo>
                   ) 
                 </mo> 
                </mrow> 
               </mrow> 
               <mi>
                 R 
               </mi> 
              </msup> 
             </mrow> 
            </mtd> 
            <mtd> 
             <mrow> 
              <msup> 
               <mrow> 
                <mrow> 
                 <mo>
                   ( 
                 </mo> 
                 <mrow> 
                  <mtable> 
                   <mtr> 
                    <mtd> 
                     <mn>
                       1 
                     </mn> 
                    </mtd> 
                   </mtr> 
                   <mtr> 
                    <mtd> 
                     <mn>
                       4 
                     </mn> 
                    </mtd> 
                   </mtr> 
                   <mtr> 
                    <mtd> 
                     <mn>
                       7 
                     </mn> 
                    </mtd> 
                   </mtr> 
                  </mtable> 
                 </mrow> 
                 <mo>
                   ) 
                 </mo> 
                </mrow> 
               </mrow> 
               <mi>
                 R 
               </mi> 
              </msup> 
             </mrow> 
            </mtd> 
           </mtr> 
          </mtable> 
         </mrow> 
         <mo>
           ) 
         </mo> 
        </mrow> 
        <mo>
          = 
        </mo> 
        <mrow> 
         <mo>
           ( 
         </mo> 
         <mrow> 
          <mtable> 
           <mtr> 
            <mtd> 
             <mn>
               9 
             </mn> 
            </mtd> 
            <mtd> 
             <mn>
               8 
             </mn> 
            </mtd> 
            <mtd> 
             <mn>
               7 
             </mn> 
            </mtd> 
           </mtr> 
           <mtr> 
            <mtd> 
             <mn>
               6 
             </mn> 
            </mtd> 
            <mtd> 
             <mn>
               5 
             </mn> 
            </mtd> 
            <mtd> 
             <mn>
               4 
             </mn> 
            </mtd> 
           </mtr> 
           <mtr> 
            <mtd> 
             <mn>
               3 
             </mn> 
            </mtd> 
            <mtd> 
             <mn>
               2 
             </mn> 
            </mtd> 
            <mtd> 
             <mn>
               1 
             </mn> 
            </mtd> 
           </mtr> 
          </mtable> 
         </mrow> 
         <mo>
           ) 
         </mo> 
        </mrow> 
       </mtd> 
      </mtr> 
     </mtable> 
    </math></p>
   <p>If a row decomposition is chosen for the matrix above, then one can write:</p>
   <p>
    <math display="inline" xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <mstyle mathvariant="bold" mathsize="normal"> 
       <mi>
         A 
       </mi> 
      </mstyle> 
      <mo>
        = 
      </mo> 
      <mrow> 
       <mo>
         ( 
       </mo> 
       <mrow> 
        <mtable> 
         <mtr> 
          <mtd> 
           <mrow> 
            <mrow> 
             <mo>
               ( 
             </mo> 
             <mrow> 
              <mtable> 
               <mtr> 
                <mtd> 
                 <mn>
                   1 
                 </mn> 
                </mtd> 
                <mtd> 
                 <mn>
                   2 
                 </mn> 
                </mtd> 
                <mtd> 
                 <mn>
                   3 
                 </mn> 
                </mtd> 
               </mtr> 
              </mtable> 
             </mrow> 
             <mo>
               ) 
             </mo> 
            </mrow> 
           </mrow> 
          </mtd> 
         </mtr> 
         <mtr> 
          <mtd> 
           <mrow> 
            <mrow> 
             <mo>
               ( 
             </mo> 
             <mrow> 
              <mtable> 
               <mtr> 
                <mtd> 
                 <mn>
                   4 
                 </mn> 
                </mtd> 
                <mtd> 
                 <mn>
                   5 
                 </mn> 
                </mtd> 
                <mtd> 
                 <mn>
                   6 
                 </mn> 
                </mtd> 
               </mtr> 
              </mtable> 
             </mrow> 
             <mo>
               ) 
             </mo> 
            </mrow> 
           </mrow> 
          </mtd> 
         </mtr> 
         <mtr> 
          <mtd> 
           <mrow> 
            <mrow> 
             <mo>
               ( 
             </mo> 
             <mrow> 
              <mtable> 
               <mtr> 
                <mtd> 
                 <mn>
                   7 
                 </mn> 
                </mtd> 
                <mtd> 
                 <mn>
                   8 
                 </mn> 
                </mtd> 
                <mtd> 
                 <mn>
                   9 
                 </mn> 
                </mtd> 
               </mtr> 
              </mtable> 
             </mrow> 
             <mo>
               ) 
             </mo> 
            </mrow> 
           </mrow> 
          </mtd> 
         </mtr> 
        </mtable> 
       </mrow> 
       <mo>
         ) 
       </mo> 
      </mrow> 
      <mo>
        ⇒ 
      </mo> 
      <msup> 
       <mstyle mathvariant="bold" mathsize="normal"> 
        <mi>
          A 
        </mi> 
       </mstyle> 
       <mi>
         R 
       </mi> 
      </msup> 
      <mo>
        = 
      </mo> 
      <mrow> 
       <mo>
         ( 
       </mo> 
       <mrow> 
        <mtable> 
         <mtr> 
          <mtd> 
           <mrow> 
            <msup> 
             <mrow> 
              <mrow> 
               <mo>
                 ( 
               </mo> 
               <mrow> 
                <mtable> 
                 <mtr> 
                  <mtd> 
                   <mn>
                     7 
                   </mn> 
                  </mtd> 
                  <mtd> 
                   <mn>
                     8 
                   </mn> 
                  </mtd> 
                  <mtd> 
                   <mn>
                     9 
                   </mn> 
                  </mtd> 
                 </mtr> 
                </mtable> 
               </mrow> 
               <mo>
                 ) 
               </mo> 
              </mrow> 
             </mrow> 
             <mi>
               R 
             </mi> 
            </msup> 
           </mrow> 
          </mtd> 
         </mtr> 
         <mtr> 
          <mtd> 
           <mrow> 
            <msup> 
             <mrow> 
              <mrow> 
               <mo>
                 ( 
               </mo> 
               <mrow> 
                <mtable> 
                 <mtr> 
                  <mtd> 
                   <mn>
                     4 
                   </mn> 
                  </mtd> 
                  <mtd> 
                   <mn>
                     5 
                   </mn> 
                  </mtd> 
                  <mtd> 
                   <mn>
                     6 
                   </mn> 
                  </mtd> 
                 </mtr> 
                </mtable> 
               </mrow> 
               <mo>
                 ) 
               </mo> 
              </mrow> 
             </mrow> 
             <mi>
               R 
             </mi> 
            </msup> 
           </mrow> 
          </mtd> 
         </mtr> 
         <mtr> 
          <mtd> 
           <mrow> 
            <msup> 
             <mrow> 
              <mrow> 
               <mo>
                 ( 
               </mo> 
               <mrow> 
                <mtable> 
                 <mtr> 
                  <mtd> 
                   <mn>
                     1 
                   </mn> 
                  </mtd> 
                  <mtd> 
                   <mn>
                     2 
                   </mn> 
                  </mtd> 
                  <mtd> 
                   <mn>
                     3 
                   </mn> 
                  </mtd> 
                 </mtr> 
                </mtable> 
               </mrow> 
               <mo>
                 ) 
               </mo> 
              </mrow> 
             </mrow> 
             <mi>
               R 
             </mi> 
            </msup> 
           </mrow> 
          </mtd> 
         </mtr> 
        </mtable> 
       </mrow> 
       <mo>
         ) 
       </mo> 
      </mrow> 
      <mo>
        = 
      </mo> 
      <mrow> 
       <mo>
         ( 
       </mo> 
       <mrow> 
        <mtable> 
         <mtr> 
          <mtd> 
           <mn>
             9 
           </mn> 
          </mtd> 
          <mtd> 
           <mn>
             8 
           </mn> 
          </mtd> 
          <mtd> 
           <mn>
             7 
           </mn> 
          </mtd> 
         </mtr> 
         <mtr> 
          <mtd> 
           <mn>
             6 
           </mn> 
          </mtd> 
          <mtd> 
           <mn>
             5 
           </mn> 
          </mtd> 
          <mtd> 
           <mn>
             4 
           </mn> 
          </mtd> 
         </mtr> 
         <mtr> 
          <mtd> 
           <mn>
             3 
           </mn> 
          </mtd> 
          <mtd> 
           <mn>
             2 
           </mn> 
          </mtd> 
          <mtd> 
           <mn>
             1 
           </mn> 
          </mtd> 
         </mtr> 
        </mtable> 
       </mrow> 
       <mo>
         ) 
       </mo> 
      </mrow> 
     </mrow> 
    </math></p>
   <p>Therefore, the reversal of a matrix leaves the matrix dimension invariant. This can be seen using a 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <mrow> 
       <mo>
         ( 
       </mo> 
       <mrow> 
        <mn>
          2 
        </mn> 
        <mo>
          × 
        </mo> 
        <mn>
          3 
        </mn> 
       </mrow> 
       <mo>
         ) 
       </mo> 
      </mrow> 
     </mrow> 
    </math> matrix as an example:</p>
   <p>
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mtable columnalign="left"> 
      <mtr> 
       <mtd> 
        <msup> 
         <mrow> 
          <mo>
            ( 
          </mo> 
          <mtable columnalign="left"> 
           <mtr> 
            <mtd> 
             <mtable> 
              <mtr> 
               <mtd> 
                <mn>
                  1 
                </mn> 
               </mtd> 
               <mtd> 
                <mn>
                  2 
                </mn> 
               </mtd> 
               <mtd> 
                <mn>
                  3 
                </mn> 
               </mtd> 
              </mtr> 
             </mtable> 
            </mtd> 
           </mtr> 
           <mtr> 
            <mtd> 
             <mtable> 
              <mtr> 
               <mtd> 
                <mn>
                  4 
                </mn> 
               </mtd> 
               <mtd> 
                <mn>
                  5 
                </mn> 
               </mtd> 
               <mtd> 
                <mn>
                  6 
                </mn> 
               </mtd> 
              </mtr> 
             </mtable> 
            </mtd> 
           </mtr> 
          </mtable> 
          <mo>
            ) 
          </mo> 
         </mrow> 
         <mi>
           R 
         </mi> 
        </msup> 
        <mo>
          = 
        </mo> 
        <mrow> 
         <mo>
           ( 
         </mo> 
         <mrow> 
          <msup> 
           <mrow> 
            <mrow> 
             <mo>
               ( 
             </mo> 
             <mrow> 
              <mtable> 
               <mtr> 
                <mtd> 
                 <mn>
                   3 
                 </mn> 
                </mtd> 
               </mtr> 
               <mtr> 
                <mtd> 
                 <mn>
                   6 
                 </mn> 
                </mtd> 
               </mtr> 
              </mtable> 
             </mrow> 
             <mo>
               ) 
             </mo> 
            </mrow> 
           </mrow> 
           <mi>
             R 
           </mi> 
          </msup> 
          <msup> 
           <mrow> 
            <mrow> 
             <mo>
               ( 
             </mo> 
             <mrow> 
              <mtable> 
               <mtr> 
                <mtd> 
                 <mn>
                   2 
                 </mn> 
                </mtd> 
               </mtr> 
               <mtr> 
                <mtd> 
                 <mn>
                   5 
                 </mn> 
                </mtd> 
               </mtr> 
              </mtable> 
             </mrow> 
             <mo>
               ) 
             </mo> 
            </mrow> 
           </mrow> 
           <mi>
             R 
           </mi> 
          </msup> 
          <msup> 
           <mrow> 
            <mrow> 
             <mo>
               ( 
             </mo> 
             <mrow> 
              <mtable> 
               <mtr> 
                <mtd> 
                 <mn>
                   1 
                 </mn> 
                </mtd> 
               </mtr> 
               <mtr> 
                <mtd> 
                 <mn>
                   4 
                 </mn> 
                </mtd> 
               </mtr> 
              </mtable> 
             </mrow> 
             <mo>
               ) 
             </mo> 
            </mrow> 
           </mrow> 
           <mi>
             R 
           </mi> 
          </msup> 
         </mrow> 
         <mo>
           ) 
         </mo> 
        </mrow> 
        <mo>
          = 
        </mo> 
        <mrow> 
         <mo>
           ( 
         </mo> 
         <mtable columnalign="left"> 
          <mtr> 
           <mtd> 
            <mtable> 
             <mtr> 
              <mtd> 
               <mn>
                 6 
               </mn> 
              </mtd> 
              <mtd> 
               <mn>
                 5 
               </mn> 
              </mtd> 
              <mtd> 
               <mn>
                 4 
               </mn> 
              </mtd> 
             </mtr> 
            </mtable> 
           </mtd> 
          </mtr> 
          <mtr> 
           <mtd> 
            <mtable> 
             <mtr> 
              <mtd> 
               <mn>
                 3 
               </mn> 
              </mtd> 
              <mtd> 
               <mn>
                 2 
               </mn> 
              </mtd> 
              <mtd> 
               <mn>
                 1 
               </mn> 
              </mtd> 
             </mtr> 
            </mtable> 
           </mtd> 
          </mtr> 
         </mtable> 
         <mo>
           ) 
         </mo> 
        </mrow> 
       </mtd> 
      </mtr> 
      <mtr> 
       <mtd> 
        <msup> 
         <mrow> 
          <mo>
            ( 
          </mo> 
          <mtable columnalign="left"> 
           <mtr> 
            <mtd> 
             <mtable> 
              <mtr> 
               <mtd> 
                <mn>
                  1 
                </mn> 
               </mtd> 
               <mtd> 
                <mn>
                  2 
                </mn> 
               </mtd> 
               <mtd> 
                <mn>
                  3 
                </mn> 
               </mtd> 
              </mtr> 
             </mtable> 
            </mtd> 
           </mtr> 
           <mtr> 
            <mtd> 
             <mtable> 
              <mtr> 
               <mtd> 
                <mn>
                  4 
                </mn> 
               </mtd> 
               <mtd> 
                <mn>
                  5 
                </mn> 
               </mtd> 
               <mtd> 
                <mn>
                  6 
                </mn> 
               </mtd> 
              </mtr> 
             </mtable> 
            </mtd> 
           </mtr> 
          </mtable> 
          <mo>
            ) 
          </mo> 
         </mrow> 
         <mi>
           R 
         </mi> 
        </msup> 
        <mo>
          = 
        </mo> 
        <mrow> 
         <mo>
           ( 
         </mo> 
         <mtable columnalign="left"> 
          <mtr> 
           <mtd> 
            <msup> 
             <mrow> 
              <mo>
                ( 
              </mo> 
              <mrow> 
               <mtable> 
                <mtr> 
                 <mtd> 
                  <mn>
                    4 
                  </mn> 
                 </mtd> 
                 <mtd> 
                  <mn>
                    5 
                  </mn> 
                 </mtd> 
                 <mtd> 
                  <mn>
                    6 
                  </mn> 
                 </mtd> 
                </mtr> 
               </mtable> 
              </mrow> 
              <mo>
                ) 
              </mo> 
             </mrow> 
             <mi>
               R 
             </mi> 
            </msup> 
           </mtd> 
          </mtr> 
          <mtr> 
           <mtd> 
            <msup> 
             <mrow> 
              <mo>
                ( 
              </mo> 
              <mrow> 
               <mtable> 
                <mtr> 
                 <mtd> 
                  <mn>
                    1 
                  </mn> 
                 </mtd> 
                 <mtd> 
                  <mn>
                    2 
                  </mn> 
                 </mtd> 
                 <mtd> 
                  <mn>
                    3 
                  </mn> 
                 </mtd> 
                </mtr> 
               </mtable> 
              </mrow> 
              <mo>
                ) 
              </mo> 
             </mrow> 
             <mi>
               R 
             </mi> 
            </msup> 
           </mtd> 
          </mtr> 
         </mtable> 
         <mo>
           ) 
         </mo> 
        </mrow> 
        <mo>
          = 
        </mo> 
        <mrow> 
         <mo>
           ( 
         </mo> 
         <mtable columnalign="left"> 
          <mtr> 
           <mtd> 
            <mtable> 
             <mtr> 
              <mtd> 
               <mn>
                 6 
               </mn> 
              </mtd> 
              <mtd> 
               <mn>
                 5 
               </mn> 
              </mtd> 
              <mtd> 
               <mn>
                 4 
               </mn> 
              </mtd> 
             </mtr> 
            </mtable> 
           </mtd> 
          </mtr> 
          <mtr> 
           <mtd> 
            <mtable> 
             <mtr> 
              <mtd> 
               <mn>
                 3 
               </mn> 
              </mtd> 
              <mtd> 
               <mn>
                 2 
               </mn> 
              </mtd> 
              <mtd> 
               <mn>
                 1 
               </mn> 
              </mtd> 
             </mtr> 
            </mtable> 
           </mtd> 
          </mtr> 
         </mtable> 
         <mo>
           ) 
         </mo> 
        </mrow> 
       </mtd> 
      </mtr> 
     </mtable> 
    </math></p>
  </sec><sec id="s8">
   <title>8. Reversal of a Matrix Product</title>
   <p>The reversal in the sum and product by a scalar or the inward product of matrices behaves like the already discussed formalism in the vectors because of the isomorphic relation between matrices and vectors already mentioned. However, reversal over matrix multiplication shall be studied in detail.</p>
   <p>One can say that:</p>
   <p>
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <mstyle mathvariant="bold" mathsize="normal"> 
       <mi>
         P 
       </mi> 
      </mstyle> 
      <mo>
        = 
      </mo> 
      <mstyle mathvariant="bold" mathsize="normal"> 
       <mi>
         A 
       </mi> 
       <mi>
         B 
       </mi> 
      </mstyle> 
      <mo>
        ⇒ 
      </mo> 
      <msup> 
       <mstyle mathvariant="bold" mathsize="normal"> 
        <mi>
          P 
        </mi> 
       </mstyle> 
       <mi>
         R 
       </mi> 
      </msup> 
      <mo>
        = 
      </mo> 
      <msup> 
       <mrow> 
        <mrow> 
         <mo>
           ( 
         </mo> 
         <mrow> 
          <mstyle mathvariant="bold" mathsize="normal"> 
           <mi>
             A 
           </mi> 
           <mi>
             B 
           </mi> 
          </mstyle> 
         </mrow> 
         <mo>
           ) 
         </mo> 
        </mrow> 
       </mrow> 
       <mi>
         R 
       </mi> 
      </msup> 
      <mo>
        ≡ 
      </mo> 
      <msup> 
       <mstyle mathvariant="bold" mathsize="normal"> 
        <mi>
          A 
        </mi> 
       </mstyle> 
       <mi>
         R 
       </mi> 
      </msup> 
      <msup> 
       <mstyle mathvariant="bold" mathsize="normal"> 
        <mi>
          B 
        </mi> 
       </mstyle> 
       <mi>
         R 
       </mi> 
      </msup> 
     </mrow> 
    </math></p>
   <p>A simple example provides initial information:</p>
   <p>
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <mstyle mathvariant="bold" mathsize="normal"> 
       <mi>
         A 
       </mi> 
      </mstyle> 
      <mo>
        = 
      </mo> 
      <mrow> 
       <mo>
         ( 
       </mo> 
       <mrow> 
        <mtable> 
         <mtr> 
          <mtd> 
           <mi>
             a 
           </mi> 
          </mtd> 
          <mtd> 
           <mi>
             b 
           </mi> 
          </mtd> 
         </mtr> 
         <mtr> 
          <mtd> 
           <mi>
             c 
           </mi> 
          </mtd> 
          <mtd> 
           <mi>
             d 
           </mi> 
          </mtd> 
         </mtr> 
        </mtable> 
       </mrow> 
       <mo>
         ) 
       </mo> 
      </mrow> 
      <mo>
        ∧ 
      </mo> 
      <mstyle mathvariant="bold" mathsize="normal"> 
       <mi>
         B 
       </mi> 
      </mstyle> 
      <mo>
        = 
      </mo> 
      <mrow> 
       <mo>
         ( 
       </mo> 
       <mrow> 
        <mtable> 
         <mtr> 
          <mtd> 
           <mn>
             1 
           </mn> 
          </mtd> 
          <mtd> 
           <mn>
             2 
           </mn> 
          </mtd> 
         </mtr> 
         <mtr> 
          <mtd> 
           <mn>
             3 
           </mn> 
          </mtd> 
          <mtd> 
           <mn>
             4 
           </mn> 
          </mtd> 
         </mtr> 
        </mtable> 
       </mrow> 
       <mo>
         ) 
       </mo> 
      </mrow> 
      <mo>
        → 
      </mo> 
      <mstyle mathvariant="bold" mathsize="normal"> 
       <mi>
         A 
       </mi> 
       <mi>
         B 
       </mi> 
      </mstyle> 
      <mo>
        = 
      </mo> 
      <mrow> 
       <mo>
         ( 
       </mo> 
       <mrow> 
        <mtable> 
         <mtr> 
          <mtd> 
           <mrow> 
            <mi>
              a 
            </mi> 
            <mo>
              + 
            </mo> 
            <mn>
              3 
            </mn> 
            <mi>
              b 
            </mi> 
           </mrow> 
          </mtd> 
          <mtd> 
           <mrow> 
            <mn>
              2 
            </mn> 
            <mi>
              a 
            </mi> 
            <mo>
              + 
            </mo> 
            <mn>
              4 
            </mn> 
            <mi>
              b 
            </mi> 
           </mrow> 
          </mtd> 
         </mtr> 
         <mtr> 
          <mtd> 
           <mrow> 
            <mi>
              c 
            </mi> 
            <mo>
              + 
            </mo> 
            <mn>
              3 
            </mn> 
            <mi>
              d 
            </mi> 
           </mrow> 
          </mtd> 
          <mtd> 
           <mrow> 
            <mn>
              2 
            </mn> 
            <mi>
              c 
            </mi> 
            <mo>
              + 
            </mo> 
            <mn>
              4 
            </mn> 
            <mi>
              d 
            </mi> 
           </mrow> 
          </mtd> 
         </mtr> 
        </mtable> 
       </mrow> 
       <mo>
         ) 
       </mo> 
      </mrow> 
      <mo>
        → 
      </mo> 
     </mrow> 
    </math></p>
   <p>
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <msup> 
       <mstyle mathvariant="bold" mathsize="normal"> 
        <mi>
          A 
        </mi> 
       </mstyle> 
       <mi>
         R 
       </mi> 
      </msup> 
      <mo>
        = 
      </mo> 
      <mrow> 
       <mo>
         ( 
       </mo> 
       <mrow> 
        <mtable> 
         <mtr> 
          <mtd> 
           <mi>
             d 
           </mi> 
          </mtd> 
          <mtd> 
           <mi>
             c 
           </mi> 
          </mtd> 
         </mtr> 
         <mtr> 
          <mtd> 
           <mi>
             b 
           </mi> 
          </mtd> 
          <mtd> 
           <mi>
             a 
           </mi> 
          </mtd> 
         </mtr> 
        </mtable> 
       </mrow> 
       <mo>
         ) 
       </mo> 
      </mrow> 
      <mo>
        ∧ 
      </mo> 
      <msup> 
       <mstyle mathvariant="bold" mathsize="normal"> 
        <mi>
          B 
        </mi> 
       </mstyle> 
       <mi>
         R 
       </mi> 
      </msup> 
      <mo>
        = 
      </mo> 
      <mrow> 
       <mo>
         ( 
       </mo> 
       <mrow> 
        <mtable> 
         <mtr> 
          <mtd> 
           <mn>
             4 
           </mn> 
          </mtd> 
          <mtd> 
           <mn>
             3 
           </mn> 
          </mtd> 
         </mtr> 
         <mtr> 
          <mtd> 
           <mn>
             2 
           </mn> 
          </mtd> 
          <mtd> 
           <mn>
             1 
           </mn> 
          </mtd> 
         </mtr> 
        </mtable> 
       </mrow> 
       <mo>
         ) 
       </mo> 
      </mrow> 
      <mo>
        ∧ 
      </mo> 
      <msup> 
       <mrow> 
        <mrow> 
         <mo>
           ( 
         </mo> 
         <mrow> 
          <mstyle mathvariant="bold" mathsize="normal"> 
           <mi>
             A 
           </mi> 
           <mi>
             B 
           </mi> 
          </mstyle> 
         </mrow> 
         <mo>
           ) 
         </mo> 
        </mrow> 
       </mrow> 
       <mi>
         R 
       </mi> 
      </msup> 
      <mo>
        = 
      </mo> 
      <mrow> 
       <mo>
         ( 
       </mo> 
       <mrow> 
        <mtable> 
         <mtr> 
          <mtd> 
           <mrow> 
            <mn>
              2 
            </mn> 
            <mi>
              c 
            </mi> 
            <mo>
              + 
            </mo> 
            <mn>
              4 
            </mn> 
            <mi>
              d 
            </mi> 
           </mrow> 
          </mtd> 
          <mtd> 
           <mrow> 
            <mi>
              c 
            </mi> 
            <mo>
              + 
            </mo> 
            <mn>
              3 
            </mn> 
            <mi>
              d 
            </mi> 
           </mrow> 
          </mtd> 
         </mtr> 
         <mtr> 
          <mtd> 
           <mrow> 
            <mn>
              2 
            </mn> 
            <mi>
              a 
            </mi> 
            <mo>
              + 
            </mo> 
            <mn>
              4 
            </mn> 
            <mi>
              b 
            </mi> 
           </mrow> 
          </mtd> 
          <mtd> 
           <mrow> 
            <mi>
              a 
            </mi> 
            <mo>
              + 
            </mo> 
            <mn>
              3 
            </mn> 
            <mi>
              b 
            </mi> 
           </mrow> 
          </mtd> 
         </mtr> 
        </mtable> 
       </mrow> 
       <mo>
         ) 
       </mo> 
      </mrow> 
     </mrow> 
    </math></p>
   <p>Therefore, one can write:</p>
   <p>
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <msup> 
       <mstyle mathvariant="bold" mathsize="normal"> 
        <mi>
          A 
        </mi> 
       </mstyle> 
       <mi>
         R 
       </mi> 
      </msup> 
      <msup> 
       <mstyle mathvariant="bold" mathsize="normal"> 
        <mi>
          B 
        </mi> 
       </mstyle> 
       <mi>
         R 
       </mi> 
      </msup> 
      <mo>
        = 
      </mo> 
      <mrow> 
       <mo>
         ( 
       </mo> 
       <mrow> 
        <mtable> 
         <mtr> 
          <mtd> 
           <mrow> 
            <mn>
              4 
            </mn> 
            <mi>
              d 
            </mi> 
            <mo>
              + 
            </mo> 
            <mn>
              2 
            </mn> 
            <mi>
              c 
            </mi> 
           </mrow> 
          </mtd> 
          <mtd> 
           <mrow> 
            <mn>
              3 
            </mn> 
            <mi>
              d 
            </mi> 
            <mo>
              + 
            </mo> 
            <mi>
              c 
            </mi> 
           </mrow> 
          </mtd> 
         </mtr> 
         <mtr> 
          <mtd> 
           <mrow> 
            <mn>
              4 
            </mn> 
            <mi>
              b 
            </mi> 
            <mo>
              + 
            </mo> 
            <mn>
              2 
            </mn> 
            <mi>
              a 
            </mi> 
           </mrow> 
          </mtd> 
          <mtd> 
           <mrow> 
            <mn>
              3 
            </mn> 
            <mi>
              b 
            </mi> 
            <mo>
              + 
            </mo> 
            <mi>
              a 
            </mi> 
           </mrow> 
          </mtd> 
         </mtr> 
        </mtable> 
       </mrow> 
       <mo>
         ) 
       </mo> 
      </mrow> 
      <mo>
        ⇒ 
      </mo> 
      <msup> 
       <mrow> 
        <mrow> 
         <mo>
           ( 
         </mo> 
         <mrow> 
          <mstyle mathvariant="bold" mathsize="normal"> 
           <mi>
             A 
           </mi> 
           <mi>
             B 
           </mi> 
          </mstyle> 
         </mrow> 
         <mo>
           ) 
         </mo> 
        </mrow> 
       </mrow> 
       <mi>
         R 
       </mi> 
      </msup> 
     </mrow> 
    </math>.</p>
   <p>Thus, the matrix reversal seems distributive regarding the matrix product, leaving the ordering of the matrices in the product invariant.</p>
   <p>However, such a characteristic shall be generally demonstrated. To do this, one can write:</p>
   <p>
    <math display="inline" xmlns="http://www.w3.org/1998/Math/MathML"> <mtable columnalign="left"> 
      <mtr> 
       <mtd> 
        <msub> 
         <mrow> 
          <mo>
            [ 
          </mo> 
          <mrow> 
           <mstyle mathvariant="bold" mathsize="normal"> 
            <mi>
              A 
            </mi> 
            <mi>
              B 
            </mi> 
           </mstyle> 
          </mrow> 
          <mo>
            ] 
          </mo> 
         </mrow> 
         <mrow> 
          <mi>
            I 
          </mi> 
          <mi>
            J 
          </mi> 
         </mrow> 
        </msub> 
        <mo>
          = 
        </mo> 
        <mstyle displaystyle="true"> 
         <munderover> 
          <mo>
            ∑ 
          </mo> 
          <mrow> 
           <mi>
             K 
           </mi> 
           <mo>
             = 
           </mo> 
           <mn>
             1 
           </mn> 
          </mrow> 
          <mi>
            N 
          </mi> 
         </munderover> 
         <mrow> 
          <msub> 
           <mi>
             a 
           </mi> 
           <mrow> 
            <mi>
              I 
            </mi> 
            <mi>
              K 
            </mi> 
           </mrow> 
          </msub> 
          <msub> 
           <mi>
             b 
           </mi> 
           <mrow> 
            <mi>
              K 
            </mi> 
            <mi>
              J 
            </mi> 
           </mrow> 
          </msub> 
          <mo>
            → 
          </mo> 
         </mrow> 
        </mstyle> 
       </mtd> 
      </mtr> 
      <mtr> 
       <mtd> 
        <msubsup> 
         <mrow> 
          <mo>
            [ 
          </mo> 
          <mrow> 
           <mstyle mathvariant="bold" mathsize="normal"> 
            <mi>
              A 
            </mi> 
            <mi>
              B 
            </mi> 
           </mstyle> 
          </mrow> 
          <mo>
            ] 
          </mo> 
         </mrow> 
         <mrow> 
          <mi>
            I 
          </mi> 
          <mi>
            J 
          </mi> 
         </mrow> 
         <mi>
           R 
         </mi> 
        </msubsup> 
        <mo>
          = 
        </mo> 
        <msub> 
         <mrow> 
          <mo>
            [ 
          </mo> 
          <mrow> 
           <mstyle mathvariant="bold" mathsize="normal"> 
            <mi>
              A 
            </mi> 
            <mi>
              B 
            </mi> 
           </mstyle> 
          </mrow> 
          <mo>
            ] 
          </mo> 
         </mrow> 
         <mrow> 
          <mrow> 
           <mo>
             ( 
           </mo> 
           <mrow> 
            <mi>
              N 
            </mi> 
            <mo>
              − 
            </mo> 
            <mi>
              I 
            </mi> 
            <mo>
              + 
            </mo> 
            <mn>
              1 
            </mn> 
           </mrow> 
           <mo>
             ) 
           </mo> 
          </mrow> 
          <mrow> 
           <mo>
             ( 
           </mo> 
           <mrow> 
            <mi>
              N 
            </mi> 
            <mo>
              − 
            </mo> 
            <mi>
              J 
            </mi> 
            <mo>
              + 
            </mo> 
            <mn>
              1 
            </mn> 
           </mrow> 
           <mo>
             ) 
           </mo> 
          </mrow> 
         </mrow> 
        </msub> 
        <mo>
          = 
        </mo> 
        <mstyle displaystyle="true"> 
         <munderover> 
          <mo>
            ∑ 
          </mo> 
          <mrow> 
           <mi>
             K 
           </mi> 
           <mo>
             = 
           </mo> 
           <mn>
             1 
           </mn> 
          </mrow> 
          <mi>
            N 
          </mi> 
         </munderover> 
         <mrow> 
          <msub> 
           <mi>
             a 
           </mi> 
           <mrow> 
            <mrow> 
             <mo>
               ( 
             </mo> 
             <mrow> 
              <mi>
                N 
              </mi> 
              <mo>
                − 
              </mo> 
              <mi>
                I 
              </mi> 
              <mo>
                + 
              </mo> 
              <mn>
                1 
              </mn> 
             </mrow> 
             <mo>
               ) 
             </mo> 
            </mrow> 
            <mrow> 
             <mo>
               ( 
             </mo> 
             <mi>
               K 
             </mi> 
             <mo>
               ) 
             </mo> 
            </mrow> 
           </mrow> 
          </msub> 
         </mrow> 
        </mstyle> 
        <msub> 
         <mi>
           b 
         </mi> 
         <mrow> 
          <mrow> 
           <mo>
             ( 
           </mo> 
           <mi>
             K 
           </mi> 
           <mo>
             ) 
           </mo> 
          </mrow> 
          <mrow> 
           <mo>
             ( 
           </mo> 
           <mrow> 
            <mi>
              N 
            </mi> 
            <mo>
              − 
            </mo> 
            <mi>
              J 
            </mi> 
            <mo>
              + 
            </mo> 
            <mn>
              1 
            </mn> 
           </mrow> 
           <mo>
             ) 
           </mo> 
          </mrow> 
         </mrow> 
        </msub> 
       </mtd> 
      </mtr> 
      <mtr> 
       <mtd> 
        <mtext> 
        </mtext> 
        <mtext>
            
        </mtext> 
        <mtext> 
        </mtext> 
        <mo>
          = 
        </mo> 
        <mstyle displaystyle="true"> 
         <munderover> 
          <mo>
            ∑ 
          </mo> 
          <mrow> 
           <mi>
             K 
           </mi> 
           <mo>
             = 
           </mo> 
           <mn>
             1 
           </mn> 
          </mrow> 
          <mi>
            N 
          </mi> 
         </munderover> 
         <mrow> 
          <msub> 
           <mi>
             a 
           </mi> 
           <mrow> 
            <mrow> 
             <mo>
               ( 
             </mo> 
             <mrow> 
              <mi>
                N 
              </mi> 
              <mo>
                − 
              </mo> 
              <mi>
                I 
              </mi> 
              <mo>
                + 
              </mo> 
              <mn>
                1 
              </mn> 
             </mrow> 
             <mo>
               ) 
             </mo> 
            </mrow> 
            <mrow> 
             <mo>
               ( 
             </mo> 
             <mrow> 
              <mi>
                N 
              </mi> 
              <mo>
                − 
              </mo> 
              <mi>
                K 
              </mi> 
              <mo>
                + 
              </mo> 
              <mn>
                1 
              </mn> 
             </mrow> 
             <mo>
               ) 
             </mo> 
            </mrow> 
           </mrow> 
          </msub> 
         </mrow> 
        </mstyle> 
        <msub> 
         <mi>
           b 
         </mi> 
         <mrow> 
          <mrow> 
           <mo>
             ( 
           </mo> 
           <mrow> 
            <mi>
              N 
            </mi> 
            <mo>
              − 
            </mo> 
            <mi>
              K 
            </mi> 
            <mo>
              + 
            </mo> 
            <mn>
              1 
            </mn> 
           </mrow> 
           <mo>
             ) 
           </mo> 
          </mrow> 
          <mrow> 
           <mo>
             ( 
           </mo> 
           <mrow> 
            <mi>
              N 
            </mi> 
            <mo>
              − 
            </mo> 
            <mi>
              J 
            </mi> 
            <mo>
              + 
            </mo> 
            <mn>
              1 
            </mn> 
           </mrow> 
           <mo>
             ) 
           </mo> 
          </mrow> 
         </mrow> 
        </msub> 
        <mo>
          = 
        </mo> 
        <msub> 
         <mrow> 
          <mo>
            [ 
          </mo> 
          <mrow> 
           <msup> 
            <mstyle mathvariant="bold" mathsize="normal"> 
             <mi>
               A 
             </mi> 
            </mstyle> 
            <mi>
              R 
            </mi> 
           </msup> 
           <msup> 
            <mstyle mathvariant="bold" mathsize="normal"> 
             <mi>
               B 
             </mi> 
            </mstyle> 
            <mi>
              R 
            </mi> 
           </msup> 
          </mrow> 
          <mo>
            ] 
          </mo> 
         </mrow> 
         <mrow> 
          <mi>
            I 
          </mi> 
          <mi>
            J 
          </mi> 
         </mrow> 
        </msub> 
       </mtd> 
      </mtr> 
     </mtable> 
    </math></p>
   <p>A less entangled demonstration can be obtained by realizing that in a matrix product between two compatible matrices, each product element is just the scalar product of a row of the left-side matrix by the right-side matrix column.</p>
   <p>That is, one can write:</p>
   <p>
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mtable columnalign="left"> 
      <mtr> 
       <mtd> 
        <msub> 
         <mrow> 
          <mo>
            [ 
          </mo> 
          <mrow> 
           <mstyle mathvariant="bold" mathsize="normal"> 
            <mi>
              A 
            </mi> 
            <mi>
              B 
            </mi> 
           </mstyle> 
          </mrow> 
          <mo>
            ] 
          </mo> 
         </mrow> 
         <mrow> 
          <mi>
            I 
          </mi> 
          <mi>
            J 
          </mi> 
         </mrow> 
        </msub> 
        <mo>
          = 
        </mo> 
        <mrow> 
         <mo>
           〈 
         </mo> 
         <mrow> 
          <msub> 
           <mstyle mathvariant="bold" mathsize="normal"> 
            <mi>
              a 
            </mi> 
           </mstyle> 
           <mi>
             I 
           </mi> 
          </msub> 
         </mrow> 
         <mo>
           | 
         </mo> 
         <mrow> 
          <msub> 
           <mstyle mathvariant="bold" mathsize="normal"> 
            <mi>
              b 
            </mi> 
           </mstyle> 
           <mi>
             J 
           </mi> 
          </msub> 
         </mrow> 
         <mo>
           〉 
         </mo> 
        </mrow> 
        <mo>
          → 
        </mo> 
       </mtd> 
      </mtr> 
      <mtr> 
       <mtd> 
        <msub> 
         <mrow> 
          <mo>
            [ 
          </mo> 
          <mrow> 
           <msup> 
            <mstyle mathvariant="bold" mathsize="normal"> 
             <mi>
               A 
             </mi> 
            </mstyle> 
            <mi>
              R 
            </mi> 
           </msup> 
           <msup> 
            <mstyle mathvariant="bold" mathsize="normal"> 
             <mi>
               B 
             </mi> 
            </mstyle> 
            <mi>
              R 
            </mi> 
           </msup> 
          </mrow> 
          <mo>
            ] 
          </mo> 
         </mrow> 
         <mrow> 
          <mi>
            I 
          </mi> 
          <mi>
            J 
          </mi> 
         </mrow> 
        </msub> 
        <mo>
          = 
        </mo> 
        <mrow> 
         <mo>
           〈 
         </mo> 
         <mrow> 
          <msup> 
           <mrow> 
            <mrow> 
             <mo>
               〈 
             </mo> 
             <mrow> 
              <msub> 
               <mstyle mathvariant="bold" mathsize="normal"> 
                <mi>
                  a 
                </mi> 
               </mstyle> 
               <mi>
                 I 
               </mi> 
              </msub> 
             </mrow> 
             <mo>
               | 
             </mo> 
            </mrow> 
           </mrow> 
           <mi>
             R 
           </mi> 
          </msup> 
          <mo>
            ∗ 
          </mo> 
          <msup> 
           <mrow> 
            <mrow> 
             <mo>
               | 
             </mo> 
             <mrow> 
              <msub> 
               <mstyle mathvariant="bold" mathsize="normal"> 
                <mi>
                  b 
                </mi> 
               </mstyle> 
               <mi>
                 J 
               </mi> 
              </msub> 
             </mrow> 
             <mo>
               〉 
             </mo> 
            </mrow> 
           </mrow> 
           <mi>
             R 
           </mi> 
          </msup> 
         </mrow> 
         <mo>
           〉 
         </mo> 
        </mrow> 
        <mo>
          = 
        </mo> 
        <mrow> 
         <mo>
           〈 
         </mo> 
         <mrow> 
          <msup> 
           <mrow> 
            <mrow> 
             <mo>
               ( 
             </mo> 
             <mrow> 
              <mrow> 
               <mo>
                 〈 
               </mo> 
               <mrow> 
                <msub> 
                 <mstyle mathvariant="bold" mathsize="normal"> 
                  <mi>
                    a 
                  </mi> 
                 </mstyle> 
                 <mi>
                   I 
                 </mi> 
                </msub> 
               </mrow> 
               <mo>
                 | 
               </mo> 
              </mrow> 
              <mo>
                ∗ 
              </mo> 
              <mrow> 
               <mo>
                 | 
               </mo> 
               <mrow> 
                <msub> 
                 <mstyle mathvariant="bold" mathsize="normal"> 
                  <mi>
                    b 
                  </mi> 
                 </mstyle> 
                 <mi>
                   J 
                 </mi> 
                </msub> 
               </mrow> 
               <mo>
                 〉 
               </mo> 
              </mrow> 
             </mrow> 
             <mo>
               ) 
             </mo> 
            </mrow> 
           </mrow> 
           <mi>
             R 
           </mi> 
          </msup> 
         </mrow> 
         <mo>
           〉 
         </mo> 
        </mrow> 
        <mo>
          = 
        </mo> 
        <msub> 
         <mrow> 
          <mo>
            [ 
          </mo> 
          <mrow> 
           <msup> 
            <mrow> 
             <mrow> 
              <mo>
                ( 
              </mo> 
              <mrow> 
               <mstyle mathvariant="bold" mathsize="normal"> 
                <mi>
                  A 
                </mi> 
                <mi>
                  B 
                </mi> 
               </mstyle> 
              </mrow> 
              <mo>
                ) 
              </mo> 
             </mrow> 
            </mrow> 
            <mi>
              R 
            </mi> 
           </msup> 
          </mrow> 
          <mo>
            ] 
          </mo> 
         </mrow> 
         <mrow> 
          <mi>
            I 
          </mi> 
          <mi>
            J 
          </mi> 
         </mrow> 
        </msub> 
       </mtd> 
      </mtr> 
     </mtable> 
    </math></p>
   <p>Thus, a similar demonstration to the previous one is obtained. One can deduce that the reversal of a matrix product corresponds to the product of the reversed matrices present in the product.</p>
  </sec><sec id="s9">
   <title>9. Determinant of a Reversed Matrix</title>
   <p>It is easy to deduce that the determinant of a square matrix of any dimension is invariant concerning the reversal operation as defined before. That is:</p>
   <p>
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <mi>
        D 
      </mi> 
      <mi>
        e 
      </mi> 
      <mi>
        t 
      </mi> 
      <mrow> 
       <mo>
         | 
       </mo> 
       <mstyle mathvariant="bold" mathsize="normal"> 
        <mi>
          A 
        </mi> 
       </mstyle> 
       <mo>
         | 
       </mo> 
      </mrow> 
      <mo>
        = 
      </mo> 
      <mi>
        D 
      </mi> 
      <mi>
        e 
      </mi> 
      <mi>
        t 
      </mi> 
      <mrow> 
       <mo>
         | 
       </mo> 
       <mrow> 
        <msup> 
         <mstyle mathvariant="bold" mathsize="normal"> 
          <mi>
            A 
          </mi> 
         </mstyle> 
         <mi>
           R 
         </mi> 
        </msup> 
       </mrow> 
       <mo>
         | 
       </mo> 
      </mrow> 
     </mrow> 
    </math></p>
   <p>The reason for this invariance is easy to understand, as a 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <mrow> 
       <mo>
         ( 
       </mo> 
       <mrow> 
        <mi>
          N 
        </mi> 
        <mo>
          × 
        </mo> 
        <mi>
          N 
        </mi> 
       </mrow> 
       <mo>
         ) 
       </mo> 
      </mrow> 
     </mrow> 
    </math> square matrix reversal corresponds to an even number of row-column interchanges: precisely 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <mn>
        2 
      </mn> 
      <mi>
        N 
      </mi> 
     </mrow> 
    </math> of them. Determinants change the sign for every interchange of columns or rows; thus, an even number of interchanges leaves the determinant invariant.</p>
   <p>As an example, one can write:</p>
   <p>
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <mi>
        D 
      </mi> 
      <mi>
        e 
      </mi> 
      <mi>
        t 
      </mi> 
      <mrow> 
       <mo>
         | 
       </mo> 
       <mrow> 
        <mrow> 
         <mo>
           ( 
         </mo> 
         <mrow> 
          <mtable> 
           <mtr> 
            <mtd> 
             <mi>
               a 
             </mi> 
            </mtd> 
            <mtd> 
             <mi>
               b 
             </mi> 
            </mtd> 
           </mtr> 
           <mtr> 
            <mtd> 
             <mi>
               c 
             </mi> 
            </mtd> 
            <mtd> 
             <mi>
               d 
             </mi> 
            </mtd> 
           </mtr> 
          </mtable> 
         </mrow> 
         <mo>
           ) 
         </mo> 
        </mrow> 
       </mrow> 
       <mo>
         | 
       </mo> 
      </mrow> 
      <mo>
        = 
      </mo> 
      <mi>
        a 
      </mi> 
      <mi>
        d 
      </mi> 
      <mo>
        − 
      </mo> 
      <mi>
        b 
      </mi> 
      <mi>
        c 
      </mi> 
      <mo>
        → 
      </mo> 
      <mi>
        D 
      </mi> 
      <mi>
        e 
      </mi> 
      <mi>
        t 
      </mi> 
      <mrow> 
       <mo>
         | 
       </mo> 
       <mrow> 
        <msup> 
         <mrow> 
          <mrow> 
           <mo>
             ( 
           </mo> 
           <mrow> 
            <mtable> 
             <mtr> 
              <mtd> 
               <mi>
                 a 
               </mi> 
              </mtd> 
              <mtd> 
               <mi>
                 b 
               </mi> 
              </mtd> 
             </mtr> 
             <mtr> 
              <mtd> 
               <mi>
                 c 
               </mi> 
              </mtd> 
              <mtd> 
               <mi>
                 d 
               </mi> 
              </mtd> 
             </mtr> 
            </mtable> 
           </mrow> 
           <mo>
             ) 
           </mo> 
          </mrow> 
         </mrow> 
         <mi>
           R 
         </mi> 
        </msup> 
       </mrow> 
       <mo>
         | 
       </mo> 
      </mrow> 
      <mo>
        = 
      </mo> 
      <mi>
        D 
      </mi> 
      <mi>
        e 
      </mi> 
      <mi>
        t 
      </mi> 
      <mrow> 
       <mo>
         | 
       </mo> 
       <mrow> 
        <mrow> 
         <mo>
           ( 
         </mo> 
         <mrow> 
          <mtable> 
           <mtr> 
            <mtd> 
             <mi>
               d 
             </mi> 
            </mtd> 
            <mtd> 
             <mi>
               c 
             </mi> 
            </mtd> 
           </mtr> 
           <mtr> 
            <mtd> 
             <mi>
               b 
             </mi> 
            </mtd> 
            <mtd> 
             <mi>
               a 
             </mi> 
            </mtd> 
           </mtr> 
          </mtable> 
         </mrow> 
         <mo>
           ) 
         </mo> 
        </mrow> 
       </mrow> 
       <mo>
         | 
       </mo> 
      </mrow> 
      <mo>
        = 
      </mo> 
      <mi>
        d 
      </mi> 
      <mi>
        a 
      </mi> 
      <mo>
        − 
      </mo> 
      <mi>
        c 
      </mi> 
      <mi>
        b 
      </mi> 
     </mrow> 
    </math>.</p>
  </sec><sec id="s10">
   <title>10. Reversal of the Inverse of a Matrix</title>
   <p>Non-singular 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <mrow> 
       <mo>
         ( 
       </mo> 
       <mrow> 
        <mi>
          N 
        </mi> 
        <mo>
          × 
        </mo> 
        <mi>
          N 
        </mi> 
       </mrow> 
       <mo>
         ) 
       </mo> 
      </mrow> 
     </mrow> 
    </math> matrices: 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <mstyle mathvariant="bold" mathsize="normal"> 
       <mi>
         A 
       </mi> 
      </mstyle> 
      <mo>
        = 
      </mo> 
      <mrow> 
       <mo>
         { 
       </mo> 
       <mrow> 
        <msub> 
         <mi>
           a 
         </mi> 
         <mrow> 
          <mi>
            I 
          </mi> 
          <mi>
            J 
          </mi> 
         </mrow> 
        </msub> 
        <mrow> 
         <mo>
           | 
         </mo> 
         <mrow> 
          <mi>
            I 
          </mi> 
          <mo>
            , 
          </mo> 
          <mi>
            J 
          </mi> 
          <mo>
            = 
          </mo> 
          <mn>
            1 
          </mn> 
          <mo>
            , 
          </mo> 
          <mi>
            N 
          </mi> 
         </mrow> 
        </mrow> 
       </mrow> 
       <mo>
         } 
       </mo> 
      </mrow> 
     </mrow> 
    </math>, possess a non-null determinant, that is: 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <mi>
        D 
      </mi> 
      <mi>
        e 
      </mi> 
      <mi>
        t 
      </mi> 
      <mrow> 
       <mo>
         | 
       </mo> 
       <mstyle mathvariant="bold" mathsize="normal"> 
        <mi>
          A 
        </mi> 
       </mstyle> 
       <mo>
         | 
       </mo> 
      </mrow> 
      <mo>
        ≠ 
      </mo> 
      <mn>
        0 
      </mn> 
     </mrow> 
    </math>, and in this case, an inverse matrix exists: 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <msup> 
       <mstyle mathvariant="bold" mathsize="normal"> 
        <mi>
          A 
        </mi> 
       </mstyle> 
       <mrow> 
        <mo>
          − 
        </mo> 
        <mn>
          1 
        </mn> 
       </mrow> 
      </msup> 
      <mo>
        = 
      </mo> 
      <mrow> 
       <mo>
         { 
       </mo> 
       <mrow> 
        <msubsup> 
         <mi>
           a 
         </mi> 
         <mrow> 
          <mi>
            I 
          </mi> 
          <mi>
            J 
          </mi> 
         </mrow> 
         <mrow> 
          <mrow> 
           <mo>
             ( 
           </mo> 
           <mrow> 
            <mo>
              − 
            </mo> 
            <mn>
              1 
            </mn> 
           </mrow> 
           <mo>
             ) 
           </mo> 
          </mrow> 
         </mrow> 
        </msubsup> 
        <mrow> 
         <mo>
           | 
         </mo> 
         <mrow> 
          <mi>
            I 
          </mi> 
          <mo>
            , 
          </mo> 
          <mi>
            J 
          </mi> 
          <mo>
            = 
          </mo> 
          <mn>
            1 
          </mn> 
          <mo>
            , 
          </mo> 
          <mi>
            N 
          </mi> 
         </mrow> 
        </mrow> 
       </mrow> 
       <mo>
         } 
       </mo> 
      </mrow> 
     </mrow> 
    </math>. Moreover, concerning the matrix product of the inverse by the original matrix, one can write:</p>
   <p>
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <mstyle mathvariant="bold" mathsize="normal"> 
       <mi>
         A 
       </mi> 
      </mstyle> 
      <msup> 
       <mstyle mathvariant="bold" mathsize="normal"> 
        <mi>
          A 
        </mi> 
       </mstyle> 
       <mrow> 
        <mo>
          − 
        </mo> 
        <mn>
          1 
        </mn> 
       </mrow> 
      </msup> 
      <mo>
        = 
      </mo> 
      <msup> 
       <mstyle mathvariant="bold" mathsize="normal"> 
        <mi>
          A 
        </mi> 
       </mstyle> 
       <mrow> 
        <mo>
          − 
        </mo> 
        <mn>
          1 
        </mn> 
       </mrow> 
      </msup> 
      <mstyle mathvariant="bold" mathsize="normal"> 
       <mi>
         A 
       </mi> 
      </mstyle> 
      <mo>
        = 
      </mo> 
      <msub> 
       <mstyle mathvariant="bold" mathsize="normal"> 
        <mi>
          I 
        </mi> 
       </mstyle> 
       <mi>
         N 
       </mi> 
      </msub> 
     </mrow> 
    </math>,</p>
   <p>being: 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <msub> 
       <mstyle mathvariant="bold" mathsize="normal"> 
        <mi>
          I 
        </mi> 
       </mstyle> 
       <mi>
         N 
       </mi> 
      </msub> 
      <mo>
        = 
      </mo> 
      <mrow> 
       <mo>
         { 
       </mo> 
       <mrow> 
        <msub> 
         <mi>
           δ 
         </mi> 
         <mrow> 
          <mi>
            I 
          </mi> 
          <mi>
            J 
          </mi> 
         </mrow> 
        </msub> 
        <mrow> 
         <mo>
           | 
         </mo> 
         <mrow> 
          <mi>
            I 
          </mi> 
          <mo>
            , 
          </mo> 
          <mi>
            J 
          </mi> 
          <mo>
            = 
          </mo> 
          <mn>
            1 
          </mn> 
          <mo>
            , 
          </mo> 
          <mi>
            N 
          </mi> 
         </mrow> 
        </mrow> 
       </mrow> 
       <mo>
         } 
       </mo> 
      </mrow> 
     </mrow> 
    </math> the unit matrix of dimension 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <mrow> 
       <mo>
         ( 
       </mo> 
       <mrow> 
        <mi>
          N 
        </mi> 
        <mo>
          × 
        </mo> 
        <mi>
          N 
        </mi> 
       </mrow> 
       <mo>
         ) 
       </mo> 
      </mrow> 
     </mrow> 
    </math>.</p>
   <p>One can describe the reversal of the inverse of a matrix using the reversal behavior on matrix multiplication. Taking into account the invariance of the unit matrix upon reversal: 
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <msubsup> 
       <mstyle mathvariant="bold" mathsize="normal"> 
        <mi>
          I 
        </mi> 
       </mstyle> 
       <mi>
         N 
       </mi> 
       <mi>
         R 
       </mi> 
      </msubsup> 
      <mo>
        = 
      </mo> 
      <msub> 
       <mstyle mathvariant="bold" mathsize="normal"> 
        <mi>
          I 
        </mi> 
       </mstyle> 
       <mi>
         N 
       </mi> 
      </msub> 
     </mrow> 
    </math>, one can write:</p>
   <p>
    <math xmlns="http://www.w3.org/1998/Math/MathML"> <mrow> 
      <msup> 
       <mrow> 
        <mrow> 
         <mo>
           ( 
         </mo> 
         <mrow> 
          <mstyle mathvariant="bold" mathsize="normal"> 
           <mi>
             A 
           </mi> 
          </mstyle> 
          <msup> 
           <mstyle mathvariant="bold" mathsize="normal"> 
            <mi>
              A 
            </mi> 
           </mstyle> 
           <mrow> 
            <mo>
              − 
            </mo> 
            <mn>
              1 
            </mn> 
           </mrow> 
          </msup> 
         </mrow> 
         <mo>
           ) 
         </mo> 
        </mrow> 
       </mrow> 
       <mi>
         R 
       </mi> 
      </msup> 
      <mo>
        = 
      </mo> 
      <msup> 
       <mrow> 
        <mrow> 
         <mo>
           ( 
         </mo> 
         <mrow> 
          <msup> 
           <mstyle mathvariant="bold" mathsize="normal"> 
            <mi>
              A 
            </mi> 
           </mstyle> 
           <mrow> 
            <mo>
              − 
            </mo> 
            <mn>
              1 
            </mn> 
           </mrow> 
          </msup> 
          <mstyle mathvariant="bold" mathsize="normal"> 
           <mi>
             A 
           </mi> 
          </mstyle> 
         </mrow> 
         <mo>
           ) 
         </mo> 
        </mrow> 
       </mrow> 
       <mi>
         R 
       </mi> 
      </msup> 
      <mo>
        = 
      </mo> 
      <msub> 
       <mstyle mathvariant="bold" mathsize="normal"> 
        <mi>
          I 
        </mi> 
       </mstyle> 
       <mi>
         N 
       </mi> 
      </msub> 
      <mo>
        ⇒ 
      </mo> 
      <msup> 
       <mstyle mathvariant="bold" mathsize="normal"> 
        <mi>
          A 
        </mi> 
       </mstyle> 
       <mi>
         R 
       </mi> 
      </msup> 
      <msup> 
       <mstyle mathvariant="bold" mathsize="normal"> 
        <mi>
          A 
        </mi> 
       </mstyle> 
       <mrow> 
        <mo>
          − 
        </mo> 
        <mi>
          R 
        </mi> 
       </mrow> 
      </msup> 
      <mo>
        = 
      </mo> 
      <msup> 
       <mstyle mathvariant="bold" mathsize="normal"> 
        <mi>
          A 
        </mi> 
       </mstyle> 
       <mrow> 
        <mo>
          − 
        </mo> 
        <mi>
          R 
        </mi> 
       </mrow> 
      </msup> 
      <msup> 
       <mstyle mathvariant="bold" mathsize="normal"> 
        <mi>
          A 
        </mi> 
       </mstyle> 
       <mi>
         R 
       </mi> 
      </msup> 
      <mo>
        = 
      </mo> 
      <msub> 
       <mstyle mathvariant="bold" mathsize="normal"> 
        <mi>
          I 
        </mi> 
       </mstyle> 
       <mi>
         N 
       </mi> 
      </msub> 
     </mrow> 
    </math>,</p>
   <p>This result implies that the inverse of the reverse of a matrix is the reverse of the inverse.</p>
  </sec><sec id="s11">
   <title>11. Discussion</title>
   <p>The reversal of vectors and matrices of arbitrary dimension has been studied. As a result, a new operator can be adopted, acting similarly to the conjugation operator, but reordering the final elements of the involved matrix. Thanks to such a definition of a new internal operator, matrix elements, which are usually not mentioned, have become relevant: the anti-diagonal and the sub-anti-diagonals, adding more information to the study of matrix structure at the same footing as the role played by the diagonal and subdiagonals. Some aspects of this new perspective are currently applied to number theory, for example, Reference <xref ref-type="bibr" rid="scirp.140973-16">
     [16]
    </xref>.</p>
  </sec><sec id="s12">
   <title>Acknowledgements</title>
   <p>The author wants to dedicate this paper to my students of the 1978 Linear Algebra lectures at Barcelona’s Institut Químic de Sarrià: P. Bartolí, R. Bobet, E. Colomer, J. Nebot, J. J. Palma, J. R. Quintana, and C. Verdaguer. They still remember how the interaction between pupils and teachers can be evoked, so that this subtle connection, once born, will never die out. A special acknowledgment is due to Blanca Cercas MP; this paper might never have been written without her dedication. Prof. D. Nath, Vivekananda College (Kolkata) is also deeply acknowledged.</p>
  </sec><sec id="s13">
   <title>NOTES</title>
   <p><sup>1</sup>Also known as diagonal, Hadamard…product.</p>
  </sec>
 </body><back>
  <ref-list>
   <title>References</title>
   <ref id="scirp.140973-ref1">
    <label>1</label>
    <mixed-citation publication-type="other" xlink:type="simple">
     Ayres, F. (1970) Matrices (Spanish Version). McGraw Hill.
    </mixed-citation>
   </ref>
   <ref id="scirp.140973-ref2">
    <label>2</label>
    <mixed-citation publication-type="other" xlink:type="simple">
     Carbó, R. and Domingo, L.L. (1987) Algebra Matricial y Lineal. Schaum-McGraw Hill.
    </mixed-citation>
   </ref>
   <ref id="scirp.140973-ref3">
    <label>3</label>
    <mixed-citation publication-type="other" xlink:type="simple">
     Wilkinson, J.H. (1965) The Algebraic Eigenvalue Problem. Oxford University Press.
    </mixed-citation>
   </ref>
   <ref id="scirp.140973-ref4">
    <label>4</label>
    <mixed-citation publication-type="other" xlink:type="simple">
     Wilkinson, J.H. and Reinsch, C. (1971) Handbook for Automatic Computation (II) Linear Algebra. Springer Verlag.
    </mixed-citation>
   </ref>
   <ref id="scirp.140973-ref5">
    <label>5</label>
    <mixed-citation publication-type="other" xlink:type="simple">
     Durand, E. (1960) Solutions Numériques des Équations Algébriques. Masson.
    </mixed-citation>
   </ref>
   <ref id="scirp.140973-ref6">
    <label>6</label>
    <mixed-citation publication-type="other" xlink:type="simple">
     Hogben, L. (2007) Handbook of Linear Algebra. Chapman&amp;Hall/CRC. 
    </mixed-citation>
   </ref>
   <ref id="scirp.140973-ref7">
    <label>7</label>
    <mixed-citation publication-type="other" xlink:type="simple">
     Time Reversibility. &gt;https://en.wikipedia.org/wiki/Time_reversibility 
    </mixed-citation>
   </ref>
   <ref id="scirp.140973-ref8">
    <label>8</label>
    <mixed-citation publication-type="other" xlink:type="simple">
     T-Symmetry. &gt;https://en.wikipedia.org/wiki/T-symmetry 
    </mixed-citation>
   </ref>
   <ref id="scirp.140973-ref9">
    <label>9</label>
    <mixed-citation publication-type="other" xlink:type="simple">
     Chang, J. and Carbó-Dorca, R. (2020) Fuzzy Hypercubes and Their Time-Like Evolution. Journal of Mathematical Chemistry, 58, 1337-1344. &gt;https://doi.org/10.1007/s10910-020-01137-y
    </mixed-citation>
   </ref>
   <ref id="scirp.140973-ref10">
    <label>10</label>
    <mixed-citation publication-type="other" xlink:type="simple">
     Gowers, T. (2008) The Princeton Companion to Mathematics. Princeton University Press.
    </mixed-citation>
   </ref>
   <ref id="scirp.140973-ref11">
    <label>11</label>
    <mixed-citation publication-type="other" xlink:type="simple">
     Carbó-Dorca, R. (2016) Natural Vector Spaces (Inward Power and Minkowski Norm of a Natural Vector, Natural Boolean Hypercubes) and a Fermat’s Last Theorem Conjecture. Journal of Mathematical Chemistry, 55, 914-940. &gt;https://doi.org/10.1007/s10910-016-0708-6
    </mixed-citation>
   </ref>
   <ref id="scirp.140973-ref12">
    <label>12</label>
    <mixed-citation publication-type="other" xlink:type="simple">
     Carbó-Dorca, R. (2016) N-Dimensional Boolean Hypercubes and the Goldbach Conjecture. Journal of Mathematical Chemistry, 54, 1213-1220. &gt;https://doi.org/10.1007/s10910-016-0628-5
    </mixed-citation>
   </ref>
   <ref id="scirp.140973-ref13">
    <label>13</label>
    <mixed-citation publication-type="other" xlink:type="simple">
     Carbó-Dorca, R. (2016) A Study on Goldbach Conjecture. Journal of Mathematical Chemistry, 54, 1798-1809. &gt;https://doi.org/10.1007/s10910-016-0649-0
    </mixed-citation>
   </ref>
   <ref id="scirp.140973-ref14">
    <label>14</label>
    <mixed-citation publication-type="other" xlink:type="simple">
     Carbó-Dorca, R. (2024) Whole Perfect Vectors and Fermat’s Last Theorem. Journal of Applied Mathematics and Physics, 12, 34-42. &gt;https://doi.org/10.4236/jamp.2024.121004
    </mixed-citation>
   </ref>
   <ref id="scirp.140973-ref15">
    <label>15</label>
    <mixed-citation publication-type="other" xlink:type="simple">
     Exchange Matrix. &gt;https://en.wikipedia.org/wiki/Exchange_matrix 
    </mixed-citation>
   </ref>
   <ref id="scirp.140973-ref16">
    <label>16</label>
    <mixed-citation publication-type="other" xlink:type="simple">
     Carbó-Dorca, R. (2024) Natural Numbers and the Strong Goldbach Conjecture. Journal of Applied Mathematics and Physics, 12, 3208-3236. &gt;https://doi.org/10.4236/jamp.2024.129192
    </mixed-citation>
   </ref>
  </ref-list>
 </back>
</article>