In linear algebra, the transpose of a linear map between two vector spaces, defined over the same field, is an induced map between the dual spaces of the two vector spaces. 
The transpose or algebraic adjoint of a linear map is often used to study the original linear map. This concept is generalised by adjoint functors.
 Let 
  
    
      
        
          X
          
            #
          
        
      
    
    {\displaystyle X^{\#}}
  
 denote the algebraic dual space of a vector space 
  
    
      
        X
        .
      
    
    {\displaystyle X.}
  
 
Let 
  
    
      
        X
      
    
    {\displaystyle X}
  
 and 
  
    
      
        Y
      
    
    {\displaystyle Y}
  
 be vector spaces over the same field 
  
    
      
        
          
            K
          
        
        .
      
    
    {\displaystyle {\mathcal {K}}.}
  
 
If 
  
    
      
        u
        :
        X
        →
        Y
      
    
    {\displaystyle u:X\to Y}
  
 is a linear map, then its algebraic adjoint or dual, is the map 
  
    
      
        
          

          
          
            #
          
        
        u
        :
        
          Y
          
            #
          
        
        →
        
          X
          
            #
          
        
      
    
    {\displaystyle {}^{\#}u:Y^{\#}\to X^{\#}}
  
 defined by 
  
    
      
        f
        ↦
        f
        ∘
        u
        .
      
    
    {\displaystyle f\mapsto f\circ u.}
  
 
The resulting functional 
  
    
      
        
          

          
          
            #
          
        
        u
        (
        f
        )
        :=
        f
        ∘
        u
      
    
    {\displaystyle {}^{\#}u(f):=f\circ u}
  
 is called the pullback of 
  
    
      
        f
      
    
    {\displaystyle f}
  
 by 
  
    
      
        u
        .
      
    
    {\displaystyle u.}
  
 
 The continuous dual space of a topological vector space (TVS) 
  
    
      
        X
      
    
    {\displaystyle X}
  
 is denoted by 
  
    
      
        
          X
          
            ′
          
        
        .
      
    
    {\displaystyle X^{\prime }.}
  
 
If 
  
    
      
        X
      
    
    {\displaystyle X}
  
 and 
  
    
      
        Y
      
    
    {\displaystyle Y}
  
 are TVSs then a linear map 
  
    
      
        u
        :
        X
        →
        Y
      
    
    {\displaystyle u:X\to Y}
  
 is weakly continuous if and only if 
  
    
      
        
          

          
          
            #
          
        
        u
        
          (
          
            Y
            
              ′
            
          
          )
        
        ⊆
        
          X
          
            ′
          
        
        ,
      
    
    {\displaystyle {}^{\#}u\left(Y^{\prime }\right)\subseteq X^{\prime },}
  
 in which case we let 
  
    
      
        
          

          
          
            t
          
        
        u
        :
        
          Y
          
            ′
          
        
        →
        
          X
          
            ′
          
        
      
    
    {\displaystyle {}^{t}u:Y^{\prime }\to X^{\prime }}
  
 denote the restriction of 
  
    
      
        
          

          
          
            #
          
        
        u
      
    
    {\displaystyle {}^{\#}u}
  
 to 
  
    
      
        
          Y
          
            ′
          
        
        .
      
    
    {\displaystyle Y^{\prime }.}
  
 
The map 
  
    
      
        
          

          
          
            t
          
        
        u
      
    
    {\displaystyle {}^{t}u}
  
 is called the transpose or algebraic adjoint of 
  
    
      
        u
        .
      
    
    {\displaystyle u.}
  
 
The following identity characterizes the transpose of 
  
    
      
        u
      
    
    {\displaystyle u}
  
: 
  The assignment 
  
    
      
        u
        ↦
        
          

          
          
            t
          
        
        u
      
    
    {\displaystyle u\mapsto {}^{t}u}
  
 produces an injective linear map between the space of linear operators from 
  
    
      
        X
      
    
    {\displaystyle X}
  
 to 
  
    
      
        Y
      
    
    {\displaystyle Y}
  
 and the space of linear operators from 
  
    
      
        
          Y
          
            #
          
        
      
    
    {\displaystyle Y^{\#}}
  
 to 
  
    
      
        
          X
          
            #
          
        
        .
      
    
    {\displaystyle X^{\#}.}
  
 
If 
  
    
      
        X
        =
        Y
      
    
    {\displaystyle X=Y}
  
 then the space of linear maps is an algebra under composition of maps, and the assignment is then an antihomomorphism of algebras, meaning that 
  
    
      
        
          

          
          
            t
          
        
        (
        u
        v
        )
        =
        
          

          
          
            t
          
        
        v
        
          

          
          
            t
          
        
        u
        .
      
    
    {\displaystyle {}^{t}(uv)={}^{t}v{}^{t}u.}
  
 
In the language of category theory, taking the dual of vector spaces and the transpose of linear maps is therefore a contravariant functor from the category of vector spaces over 
  
    
      
        
          
            K
          
        
      
    
    {\displaystyle {\mathcal {K}}}
  
 to itself. 
One can identify 
  
    
      
        
          

          
          
            t
          
        
        
          (
          
            
              

              
              
                t
              
            
            u
          
          )
        
      
    
    {\displaystyle {}^{t}\left({}^{t}u\right)}
  
 with 
  
    
      
        u
      
    
    {\displaystyle u}
  
 using the natural injection into the double dual.
   Suppose now that 
  
    
      
        u
        :
        X
        →
        Y
      
    
    {\displaystyle u:X\to Y}
  
 is a weakly continuous linear operator between topological vector spaces 
  
    
      
        X
      
    
    {\displaystyle X}
  
 and 
  
    
      
        Y
      
    
    {\displaystyle Y}
  
 with continuous dual spaces 
  
    
      
        
          X
          
            ′
          
        
      
    
    {\displaystyle X^{\prime }}
  
 and 
  
    
      
        
          Y
          
            ′
          
        
        ,
      
    
    {\displaystyle Y^{\prime },}
  
 respectively. 
Let 
  
    
      
        ⟨
        ⋅
        ,
        ⋅
        ⟩
        :
        X
        ×
        
          X
          
            ′
          
        
        →
        
          C
        
      
    
    {\displaystyle \langle \cdot ,\cdot \rangle :X\times X^{\prime }\to \mathbb {C} }
  
 denote the canonical dual system, defined by 
  
    
      
        
          ⟨
          
            x
            ,
            
              x
              
                ′
              
            
          
          ⟩
        
        =
        
          x
          
            ′
          
        
        x
      
    
    {\displaystyle \left\langle x,x^{\prime }\right\rangle =x^{\prime }x}
  
 where 
  
    
      
        x
      
    
    {\displaystyle x}
  
 and 
  
    
      
        
          x
          
            ′
          
        
      
    
    {\displaystyle x^{\prime }}
  
 are said to be orthogonal if 
  
    
      
        
          ⟨
          
            x
            ,
            
              x
              
                ′
              
            
          
          ⟩
        
        =
        
          x
          
            ′
          
        
        x
        =
        0.
      
    
    {\displaystyle \left\langle x,x^{\prime }\right\rangle =x^{\prime }x=0.}
  
 
For any subsets 
  
    
      
        A
        ⊆
        X
      
    
    {\displaystyle A\subseteq X}
  
 and 
  
    
      
        
          S
          
            ′
          
        
        ⊆
        
          X
          
            ′
          
        
        ,
      
    
    {\displaystyle S^{\prime }\subseteq X^{\prime },}
  
 let 
      Suppose 
  
    
      
        X
      
    
    {\displaystyle X}
  
 and 
  
    
      
        Y
      
    
    {\displaystyle Y}
  
 are topological vector spaces and 
  
    
      
        u
        :
        X
        →
        Y
      
    
    {\displaystyle u:X\to Y}
  
 is a weakly continuous linear operator (so 
  
    
      
        
          (
          
            
              

              
              
                t
              
            
            u
          
          )
        
        
          (
          
            Y
            
              ′
            
          
          )
        
        ⊆
        
          X
          
            ′
          
        
      
    
    {\displaystyle \left({}^{t}u\right)\left(Y^{\prime }\right)\subseteq X^{\prime }}
  
). Given subsets 
  
    
      
        M
        ⊆
        X
      
    
    {\displaystyle M\subseteq X}
  
 and 
  
    
      
        N
        ⊆
        
          X
          
            ′
          
        
        ,
      
    
    {\displaystyle N\subseteq X^{\prime },}
  
 define their annihilators (with respect to the canonical dual system) by
 and
   Let 
  
    
      
        M
      
    
    {\displaystyle M}
  
 be a closed vector subspace of a Hausdorff locally convex space 
  
    
      
        X
      
    
    {\displaystyle X}
  
 and denote the canonical quotient map by 
  Let 
  
    
      
        M
      
    
    {\displaystyle M}
  
 be a closed vector subspace of a Hausdorff locally convex space 
  
    
      
        X
        .
      
    
    {\displaystyle X.}
  
 
If 
  
    
      
        
          m
          
            ′
          
        
        ∈
        
          M
          
            ′
          
        
      
    
    {\displaystyle m^{\prime }\in M^{\prime }}
  
 and if 
  
    
      
        
          x
          
            ′
          
        
        ∈
        
          X
          
            ′
          
        
      
    
    {\displaystyle x^{\prime }\in X^{\prime }}
  
 is a continuous linear extension of 
  
    
      
        
          m
          
            ′
          
        
      
    
    {\displaystyle m^{\prime }}
  
 to 
  
    
      
        X
      
    
    {\displaystyle X}
  
 then the assignment 
  
    
      
        
          m
          
            ′
          
        
        ↦
        
          x
          
            ′
          
        
        +
        
          M
          
            ⊥
          
        
      
    
    {\displaystyle m^{\prime }\mapsto x^{\prime }+M^{\bot }}
  
 induces a vector space isomorphism 
  Denote the inclusion map by
  If the linear map 
  
    
      
        u
      
    
    {\displaystyle u}
  
 is represented by the matrix 
  
    
      
        A
      
    
    {\displaystyle A}
  
 with respect to two bases of 
  
    
      
        X
      
    
    {\displaystyle X}
  
 and 
  
    
      
        Y
        ,
      
    
    {\displaystyle Y,}
  
 then 
  
    
      
        
          

          
          
            t
          
        
        u
      
    
    {\displaystyle {}^{t}u}
  
 is represented by the transpose matrix 
  
    
      
        
          A
          
            T
          
        
      
    
    {\displaystyle A^{T}}
  
 with respect to the dual bases of 
  
    
      
        
          Y
          
            ′
          
        
      
    
    {\displaystyle Y^{\prime }}
  
 and 
  
    
      
        
          X
          
            ′
          
        
        ,
      
    
    {\displaystyle X^{\prime },}
  
 hence the name. 
Alternatively, as 
  
    
      
        u
      
    
    {\displaystyle u}
  
 is represented by 
  
    
      
        A
      
    
    {\displaystyle A}
  
 acting to the right on column vectors, 
  
    
      
        
          

          
          
            t
          
        
        u
      
    
    {\displaystyle {}^{t}u}
  
 is represented by the same matrix acting to the left on row vectors. 
These points of view are related by the canonical inner product on 
  
    
      
        
          
            R
          
          
            n
          
        
        ,
      
    
    {\displaystyle \mathbb {R} ^{n},}
  
 which identifies the space of column vectors with the dual space of row vectors.
 The identity that characterizes the transpose, that is, 
  
    
      
        
          [
          
            
              u
              
                ∗
              
            
            (
            f
            )
            ,
            x
          
          ]
        
        =
        [
        f
        ,
        u
        (
        x
        )
        ]
        ,
      
    
    {\displaystyle \left[u^{*}(f),x\right]=[f,u(x)],}
  
 is formally similar to the definition of the Hermitian adjoint, however, the transpose and the Hermitian adjoint are not the same map. 
The transpose is a map 
  
    
      
        
          Y
          
            ′
          
        
        →
        
          X
          
            ′
          
        
      
    
    {\displaystyle Y^{\prime }\to X^{\prime }}
  
 and is defined for linear maps between any vector spaces 
  
    
      
        X
      
    
    {\displaystyle X}
  
 and 
  
    
      
        Y
        ,
      
    
    {\displaystyle Y,}
  
 without requiring any additional structure. 
The Hermitian adjoint maps 
  
    
      
        Y
        →
        X
      
    
    {\displaystyle Y\to X}
  
 and is only defined for linear maps between Hilbert spaces, as it is defined in terms of the inner product on the Hilbert space. 
The Hermitian adjoint therefore requires more mathematical structure than the transpose.
 However, the transpose is often used in contexts where the vector spaces are both equipped with a nondegenerate bilinear form such as the Euclidean dot product or another real inner product. 
In this case, the nondegenerate bilinear form is often used implicitly to map between the vector spaces and their duals, to express the transposed map as a map 
  
    
      
        Y
        →
        X
        .
      
    
    {\displaystyle Y\to X.}
  
 
For a complex Hilbert space, the inner product is sesquilinear and not bilinear, and these conversions change the transpose into the adjoint map.
 More precisely: if 
  
    
      
        X
      
    
    {\displaystyle X}
  
 and 
  
    
      
        Y
      
    
    {\displaystyle Y}
  
 are Hilbert spaces and 
  
    
      
        u
        :
        X
        →
        Y
      
    
    {\displaystyle u:X\to Y}
  
 is a linear map then the transpose of 
  
    
      
        u
      
    
    {\displaystyle u}
  
 and the Hermitian adjoint of 
  
    
      
        u
        ,
      
    
    {\displaystyle u,}
  
 which we will denote respectively by 
  
    
      
        
          

          
          
            t
          
        
        u
      
    
    {\displaystyle {}^{t}u}
  
 and 
  
    
      
        
          u
          
            ∗
          
        
        ,
      
    
    {\displaystyle u^{*},}
  
 are related. 
Denote by 
  
    
      
        I
        :
        X
        →
        
          X
          
            ∗
          
        
      
    
    {\displaystyle I:X\to X^{*}}
  
 and 
  
    
      
        J
        :
        Y
        →
        
          Y
          
            ∗
          
        
      
    
    {\displaystyle J:Y\to Y^{*}}
  
 the canonical antilinear isometries of the Hilbert spaces 
  
    
      
        X
      
    
    {\displaystyle X}
  
 and 
  
    
      
        Y
      
    
    {\displaystyle Y}
  
 onto their duals. 
Then 
  
    
      
        
          u
          
            ∗
          
        
      
    
    {\displaystyle u^{*}}
  
 is the following composition of maps:
 Suppose that 
  
    
      
        X
      
    
    {\displaystyle X}
  
 and 
  
    
      
        Y
      
    
    {\displaystyle Y}
  
 are topological vector spaces and that 
  
    
      
        u
        :
        X
        →
        Y
      
    
    {\displaystyle u:X\to Y}
  
 is a linear map, then many of 
  
    
      
        u
      
    
    {\displaystyle u}
  
's properties are reflected in 
  
    
      
        
          

          
          
            t
          
        
        u
        .
      
    
    {\displaystyle {}^{t}u.}