19-10-2023
Формальный степенной ряд — формальное алгебраическое выражение вида:
в котором коэффициенты принадлежат некоторому кольцу . В отличие от степенных рядов в анализе формальным степенным рядам не придаётся числовых значений и соответственно не имеет смысла сходимость таких рядов для числовых аргументов. Формальные степенные ряды исследуются в алгебре, топологии, комбинаторике.
Содержание |
В можно следующим образом определить сложение, умножение, формальное дифференцирование и формальную суперпозицию. Пусть:
Тогда:
Таким образом, формальные степенные ряды образуют кольцо.
Во множестве также можно задать топологию, что порождается следующей метрикой:
Можно доказать, что определённые умножение и сложение в этой топологии являются непрерывными, и тогда, формальные степенные ряды с определённой топологией образуют топологическое кольцо.
Формальный ряд:
в R[[X]] является обратимым в R[[X]] тогда и только тогда, когда a0 является обратимым в R. Это является необходимым, поскольку свободный член произведения равен , и достаточным, поскольку коэффициенты тогда определяются по формуле:
Формальный степенной ряд.