For any complex signal , , we have
Arguably, should include complex conjugation. Let
denote such a definition. Then in this case we have
In the typical special case of real signals ( ), we have so that
That is, time-reversing a real signal conjugates its spectrum.
Symmetry of the DTFT for Real Signals
Linearity of the DTFT