We define the Stretch operator such that:
Which means that it transforms a length complex signal, into a length signal. Specifically, we do this by inserting zeros in between each pair of samples of the signal.