Cauchy sequence
Set
| context | ⟨X,d⟩ … Metric space |
| definiendum | x∈CauchySeq(X) |
| context | x∈InfSequence(X) |
| range | ε∈R, ε>0 |
| range | n,m,N∈N |
| postulate | ∀ε. ∃N. ∀(n,m>N). d(xn,xm)<ε |
Discussion
Reference
Wikipedia: Cauchy sequence
Parents
Context
Requirements
| context | ⟨X,d⟩ … Metric space |
| definiendum | x∈CauchySeq(X) |
| context | x∈InfSequence(X) |
| range | ε∈R, ε>0 |
| range | n,m,N∈N |
| postulate | ∀ε. ∃N. ∀(n,m>N). d(xn,xm)<ε |
Wikipedia: Cauchy sequence
