Полное пространство

        Метрическое пространство, в котором выполнен признак сходимости (См. Сходимость) Коши. Последовательность точек x₁, х,..., x_n,... на прямой, в плоскости или пространстве называемом фундаментальной, если при достаточно больших номерах n и m расстояние между точками x_n и xm становится сколь угодно малым. Для того чтобы последовательность точек имела предел, необходимо и достаточно, чтобы она была фундаментальной (признак Коши). Для многих совокупностей математических объектов (функций, операторов и т.д.) можно ввести понятие расстояния, обладающее свойствами, аналогичными свойствам обычного расстояния. Тогда говорят, что эта совокупность является метрическим пространством. В метрическом пространстве можно обычным образом определить понятие предела последовательности точек. Если при этом имеет место признак Коши, то пространство называется полным. Примерами П. п. служат евклидовы и многие другие линейные пространства (См. Линейное пространство), в частности пространство непрерывных функций на отрезке [a, b] с расстоянием

        

        и Гильбертово пространство. Замкнутое подмножество П. п. является П. п. Если метрическое пространство неполно, то его можно пополнить до П. п., аналогично тому, как пополняется множество рациональных чисел иррациональными до совокупности всех действительных чисел. Понятие полноты обобщается и на те неметрические топологического пространства, в которых можно сравнивать окрестности различных точек (например, на топологические группы, кольца и т.д.).