Обговорення:Фундаментальна послідовність

Ця стаття є частиною Проєкту:Математика (рівень: 3, важливість: висока)
	Мета проєкту — створення якісних та інформативних статей на теми, пов'язані з Математикою. Ви можете покращити цю статтю, відредагувавши її, а на сторінці проєкту вказано, чим ще можна допомогти. Учасники проєкту будуть вам вдячні.
III (у розвитку)	Ця стаття за шкалою оцінок статей Проєкту:Математика має рівень «стаття у розвитку».
Висока	Важливість цієї статті для проєкту Математика: «висока»
	Чим допомогти: Статті до створення та доопрацювання

Я не владею Украинским языком, поэтому дополню статью "Фундаментальная последовательность" сведениями на Русском или Английском языках. Дополнительные сведения можно почерпнуть в статье "Cauchy sequence"

Определение фундаментальной последовательности (последовательности Коши)

$~Y\subseteq \mathbb {R} \to (\mathrm {a} :\mathbb {N} \mapsto Y\ \mathrm {is\ a\ Cauchy\ sequence.} \ \leftrightarrow$

$~\forall \varepsilon \ (\varepsilon \in \mathbb {R} \ \land \ \varepsilon >0\to \exists N\ (N\in \mathbb {N} \ \land \ \forall n\forall m\ (\{n,m\}\subseteq \mathbb {N} \to (n>N\ \land \ m>N\to |a_{n}-a_{m}|<\varepsilon ))))\ )$

Используя ограниченные кванторы, определение фундаментальной последовательности можно записать короче, а именно

$~Y\subseteq \mathbb {R} \ \Rightarrow \mathrm {a} :\mathbb {N} \mapsto Y\ \mathrm {is\ a\ Cauchy\ sequence.} \ \leftrightarrow$

$~\forall _{\varepsilon \ \in \ (0,\infty )}\ \exists _{N\ \in \ \mathbb {N} }\ \forall _{\{n,\ m\}\ \subseteq \ \mathbb {N} }\ (n>N\ \land \ m>N\to |a_{n}-a_{m}|<\varepsilon )$

Обобщим вышеуказанное определение

${\begin{aligned}d\vdash \ \mathrm {The\ sequence} \ \ \mathrm {a} :\mathbb {N} \mapsto S\ \ \mathrm {is\ a\ Cauchy\ sequence\ in\ the\ metric\ space} \ \ S\ \ \mathrm {with\ the\ metric} \ \ d.\\\ \leftrightarrow \quad \forall _{\varepsilon \ \in \ (0,\infty )}\ \exists _{N\ \in \ \mathbb {N} }\ \forall _{\{n,m\}\ \subseteq \ \mathbb {N} }\ (n>N\ \land \ m>N\ \to \ d(a_{n},a_{m})<\varepsilon )\end{aligned}}$

Галактион 14:06, 17 серпня 2009 (UTC)