Критерием линейной независимости является неравенство нулю определителя Грама

, (9.5)

где – скалярное произведение. Определитель (9.5) равен нулю, если функции линейно зависимы и положителен для линейно независимых функций; он равен произведению квадратов норм функций, если и – ортогональны. В частности, для ортогональных сигналов действие оператора разделения сводится к перемножению принимаемого группового сигнала на опорную функцию переносчика

. (9.6)

С операцией вида (9.6) мы уже встречались при изучении когерентного детектирования и корреляционного приемника Котельникова. И в том и в другом случае так же, как в (9.6) используется свойство ортогональности функций и :

(9.7)

С позиций геометрических представлений условие (9.7) означает, что переносчики и , а, следовательно и сигналы и должны занимать неперекрывающиеся области в пространстве сигналов.