Banach space
Set
context | V … normed F-vector space |
definiendum | V∈it |
forall | v∈CauchySeq(V) |
postulate | ∃v∞.limn→∞‖ |
Elaboration
For each Cauchy sequence (v)_{i\in\mathbb N}, there is a limit v_\infty\in\mathcal V w.r.t. the natural norm. \Longleftrightarrow The space \mathcal V is complete.
Reference
Wikipedia: Banach space