A map (function, linear map, system) is invertible if there is a unique solution for every . In other words, an inverse relation will map the inverse operation of . must be bijective (i.e., injective and surjective) to be invertible.

Linear transformation

The property of bijectivity leads to many useful tools that we can use to find if a linear transformation is invertible.

  • , i.e., there is a pivot in each row and column
  • , i.e., it is square
  • The linear system has a unique solution for all in

By theorem:

A square matrix that is non-invertible is singular. Since matrix inversion isn’t defined for matrices that aren’t square, this motivates the idea of the Moore-Penrose pseudoinverse, which allows us to use singular value decomposition to find an approximate solution that is as close to valid as possible (since we might have infinitely many solutions or none at all).

Systems

An LTI system is invertible with impulse response if and only if there exists an impulse response for the system such that . If we then take the {C/T}TFT of both sides, then:

is invertible if and only if .

How do we exactly find this? Using the frequency response property (that the product is 1), once we find a closed-form expression for , we can find a suitable inverse expression for .

Additionally, a system is invertible if there exists a system such that:

for all inputs .