Цитата(AlFek @ May 29 2006, 20:28)

да так в принципе и пишут,но почему?
поидее должно быть по теореме Котельникова >= 2Fmax,где под Fmax понимается частота одной поднесущей

с чем это связано?
После БПФ сигнал комплексный. Если его превратить в "реальный" (r[0],i[0],r[1],i[1]....,r[N],i[N]), то получится всё согласно теореме

PS: Fmax - частота максимальной гармоники.
PPS: Не забывайте, что группа крайних гармоник (-N/2, N/2, ...) не используются, как раз что бы не допускать алиасинга.