|
Докажите тождество $$\dfrac{\left(q^n-1\right)\left(q^{n-1}-1\right)\dots\left(q^{n-r+1}-1\right)}{\left(q^r-1\right)\left(q^{r-1}-1\right)\dots(q-1)}=\sum_{\lambda\subseteq\Pi}q^{^{|\Pi\backslash\lambda|}},$$ где суммирование происходит по всем различным диаграммам Юнга $%\lambda$%, умещающимся в прямоугольник $%\Pi$% размера $%r\times(n-r)$%, а показатель $%|\Pi\backslash\lambda|$% равен количеству клеток в дополнении диаграммы до прямоугольника (пустая диаграмма $%\lambda=\emptyset$% и весь прямоугольник $%\lambda=\Pi$% при этом тоже учитываются). задан 15 Дек '21 0:46 
haosfortum |
Здравствуйте
Математика - это совместно редактируемый форум вопросов и ответов для начинающих и опытных математиков, с особенным акцентом на компьютерные науки.
Присоединяйтесь!
отмечен:
задан
15 Дек '21 0:46
показан
375 раз
обновлен
15 Дек '21 18:15
Связанные вопросы
Дизайн сайта/логотип © «Сеть Знаний». Контент распространяется под лицензией cc by-sa 3.0 с обязательным указанием авторства.
Левая часть напоминает формулы для числа подпространств заданной размерности в n-меном пространстве над полем из q элементов. Правда, я не уверен, что именно этим способом надо рассуждать.
@falcao, а вы быстро прочухали. Я специально не стал добавлять в теги "геометрию", чтобы не давать подсказку.
@falcao Вы правы, левая часть - это число $%r$%-мерных подпространств $%F_{q}^{n}$%. Левая часть имеет степень $%r(n-r)$%, так что тут это работает. Возможно, стоит попробовать рассмотреть несколько небольших примеров, чтобы увидеть, существует ли естественное разбиение подпространств относительно этих диаграмм Юнга.
Продолжая: пусть $%V$% - это $%r$%-мерное подпространство $%F_{q}^{n}$%, и пусть $%B$% - это любая матрица $%n×r$%, столбцы которой охватывают $%V$%. Тогда приведённая матрица ступенчатого вида по строкам $%B^{\top}$% однозначно определяется $%V$%. Затем обратите внимание, что множество всех таких приведённых матриц ступенчатого вида по строкам имеет соответствие 1-1 с множеством всех диаграмм вида $%\Pi\setminus\lambda$%, ячейки которых заполнены элементами $%F_{q}^{n}$%.
Тут ещё в конце надо будет сослаться на то, что тождество верно для бесконечно многих простых q, а поскольку это многочлены, то оно будет верно для любого комплексного q кроме тех значений, где обнуляется знаменатель.