10. ВНЕШНИЕ ПРОИЗВЕДЕНИЯ МУЛЬТИВЕКТОРОВ
Для двух мультивекторов
внешнее произведение можно ввести с помощью рекуррентной процедуры, полагая
Возможно также эквивалентное прямое определение
как составляющей произведения
принадлежащей подпространству
-векторов.
Свойство введенной операции, выражающееся равенством
очевидно. Для проверки достаточно q раз воспользоваться соотношением
которое непосредственно вытекает из альтернированности.