Условная сходимость ряда
Усло́вная сходи́мость ря́да, свойство ряда, заключающееся в том, что существует сходящийся ряд, полученный из данного некоторой перестановкой его членов. Числовой ряд
безусловно сходится, если он сходится, и сходится любой ряд, полученный перестановкой его членов, причём сумма любого такого ряда одна и та же, иначе говоря, сумма безусловно сходящегося ряда не зависит от порядка его членов. Если ряд (*) сходится, но не безусловно, то он называется условно сходящимся. Для того чтобы ряд (*) условно сходился, необходимо и достаточно, чтобы он сходился, но не абсолютно, т. е. чтобы .
Если члены ряда (*) являются действительными числами, через обозначены его неотрицательные члены, а через – отрицательные, то ряд (*) будет условно сходиться тогда и только тогда, когда оба ряда и расходятся (при этом порядок слагаемых в этих рядах безразличен).
Пусть ряд (*) с действительными членами сходится условно и , тогда существует такой ряд , полученный перестановкой членов ряда (*), что если обозначить через последовательность его частичных сумм, то
(это есть обобщение теоремы Римана).
Произведение условно сходящихся рядов зависит от порядка, в котором суммируются результаты почленного умножения членов данных рядов.
Понятие условной и безусловной сходимости ряда обобщается на ряды, члены которых являются элементами некоторого нормированного векторного пространства . Если – конечномерное пространство, то аналогично случаю числовых рядов сходящийся ряд , , , условно сходится тогда и только тогда, когда ряд расходится. Если же пространство бесконечномерное, то в нём существуют безусловно сходящиеся ряды , не являющиеся абсолютно сходящимися, т. е. такие, что для них .