Decomposition theorems for partial isometries