Редица на Коши
За информацията в тази статия или раздел не са посочени източници. Въпросната информация може да е непълна, неточна или изцяло невярна. Имайте предвид, че това може да стане причина за изтриването на цялата статия или раздел. |
Тази статия се нуждае от подобрение. Необходимо е: поясняване на всички означения и оператори, както и премахване на грешки (виж. беседата). Ако желаете да помогнете на Уикипедия, използвайте опцията редактиране в горното меню над статията, за да нанесете нужните корекции. |
Редица на Коши или фундаментална редица в математиката, се нарича редица, чиито елементи стават все по-близки с увеличаване на поредния си номер. По-точно, чрез отстраняване на краен брой елементи от началото на една редица на Коши, разстоянието между всеки два от останалите елементи може да се направи произволно малко. Редиците на Коши носят името на френския математик Огюстен Коши.
Редица на Коши от реални числа
[редактиране | редактиране на кода]Редицата от реални числа
се нарича редица на Коши (или фундаментална редица), ако за всяко реално число ε > 0 съществува естествено число N такова, че за всеки две естествени числа m, n > N е изпълнено
където вертикалните черти означават абсолютна стойност.
Редица на Коши може да се дефинира по подобен начин и за множеството на комплексните числа.
Дефиниция за метрично пространство
[редактиране | редактиране на кода]Горната дефиниция може да се обобщи за произволно метрично пространство (реалните числа заедно с метриката образуват метрично пространство). За целта абсолютната стойност се заменя от разстоянието между и .
Формално, за дадено метрично пространство (M, d), редицата
е редица на Коши, ако за всяко реално число ε > 0 съществува естествено число N такова, че за всеки две естествени числа m, n > N, е изпълнено
- .
Грубо казано членовете на редицата стават все по-близки един до друг по начин, който би предположил, че редицата има граница. Това, обаче не винаги е така.
Общи сведения
[редактиране | редактиране на кода]Редиците на Коши се дефинират чрез понятието за разстояние, поради което те могат да бъдат дефинирани само в метрично пространство. Съществуват и обобщения за по-абстрактни еднообразни пространства под формата на филтър на Коши и мрежа на Коши.
Те са интересни, тъй като в едно пълно пространство всички подобни редици клонят към някаква граница и свойството на Коши може да се докаже или опровергае, без да се търси стойността на границата (ако тя съществува), за разлика от доказателства, следващи дефиницията за сходимост. Те са важни и при конструиране на алгебрични структури със свойства на пълност като реалните числа.
Всяка сходяща редица е редица на Коши. Обратното обаче не винаги е вярно. Метрични пространства, в които всяка редица на Коши е сходяща, се наричат пълни пространства. Един пример за такова пространство е метричното пространство на реалните числа.