DB
Полный контекст бы
Size: a a a
2021 November 23
ST
а что расходящиеся знакопостоянные числовые ряды не сравнивают - это тоже из групповых аксиом?🧐 (я не знаю)
EZ
типа той где 0 не элемент группы по умножению?
L
Наверное.
i
MF
Запись означает f € L(R), что функция f лежит в пространстве Лебега?
s
Может значить, что по Лебегу измерима
s
Либо что она
R -> R линейнаs
От контекста зависит в общем
s
А generating function — это элемент
Q[[z]] здесь?i
Это формальный ряд
s
Тогда можно так интерпретировать: есть каноническое вложении
Q[z] -> Q[[z]], то есть это такое вот расширение колец. Соответственно в более широком кольце есть notion алгебраических элементов над маленьким кольцом: это такие элементы f из Q[[z]], что существует многочлен P(y) из (Q[z])[y] такой, что P(f) = 0s
Для каждого из алгебраических элементов можно рассмотреть минимальный такой многочлен: то есть такой
То есть минимальный многочлен для алгебраического ряда — это минимальный элемент среди всех аннулирующих этот ряд многочленов относительно отношения порядка — делимости в
P(y) из (Q[z])[y], что P(f) = 0, и для любого другого Q(y) из (Q[z])[y] со свойством Q(f) = 0 выполнено P делит QТо есть минимальный многочлен для алгебраического ряда — это минимальный элемент среди всех аннулирующих этот ряд многочленов относительно отношения порядка — делимости в
(Q[z])[y]MF
Суммирование Пуассона
s
Очень часто кольцо формальных степенных рядов над кольцом
R (от переменной t) обозначается как R[[t]]T
Формула суммирования Пуассона?
MF
T
Тогда этот вариант
s
В каком?
MF
Мне кажется не тот реплай)
upd: тот, я затупил)
upd: тот, я затупил)