Adjoint criterion for an invariant orthogonal complement

For a subspace $U$ of a finite-dimensional inner-product space,This follows directly by moving $T$ across the inner product and using $(U^{\perp }{)}^{\perp }=U$.