Из Википедии, свободной энциклопедии
Перейти к навигации Перейти к поиску

В математике , особенно в функциональном анализе , ряд безусловно сходится, если все переупорядочения ряда сходятся к одному и тому же значению. Напротив, ряд является условно сходящимся, если он сходится, но не все различные упорядочения сходятся к одному и тому же значению. Безусловная сходимость эквивалентна абсолютной сходимости в конечномерных векторных пространствах , но является более слабым свойством в бесконечных измерениях.

Определение [ править ]

Позвольте быть топологическое векторное пространство . Позвольте быть индексный набор и для всех .

Ряд называется безусловно сходящимся к , если

  • множество индексов является счетным и
  • для каждой перестановки ( биекция ) из следующего соотношения имеет место:

Альтернативное определение [ править ]

Безусловная сходимость часто определяется эквивалентным образом: ряд безусловно сходится, если для каждой последовательности с , ряд

сходится.

Если X - банахово пространство , любой абсолютно сходящийся ряд безусловно сходится, но обратная импликация в общем случае неверна. Действительно, если X - бесконечномерное банахово пространство, то по теореме Дворецкого – Роджерса всегда существует безусловно сходящийся ряд в этом пространстве, который не является абсолютно сходящимся. Однако, когда X = R n , по теореме о рядах Римана , ряд безусловно сходится тогда и только тогда, когда он сходится абсолютно.

См. Также [ править ]

Ссылки [ править ]

Эта статья включает материал из Безусловной конвергенции по PlanetMath , который находится под лицензией Creative Commons Attribution / Share-Alike License .