A sequence [itex]\{x_n\}[/itex] in a metric space [itex](X,d)[/itex] converges iff(adsbygoogle = window.adsbygoogle || []).push({});

[tex]

(\exists x\in X)(\forall \epsilon > 0)(\exists N \in \mathbb N)(\forall n > N)(d(x_n,x) < \epsilon).

[/tex]

Am I correct when I assert that the negation of this is: A sequence [itex]\{x_n\}[/itex] doesnotconverge in [itex](X,d)[/itex] iff

[tex]

(\forall x\in X)(\exists \epsilon > 0)(\forall N \in \mathbb N)(\exists n > N)(d(x_n,x) \geq \epsilon)?

[/tex]

So, if I'm trying to show a sequence does not converge, I let [itex]x\in X[/itex] be given and show that there is some [itex]\epsilon[/itex] neighborhood of this point that contains at most finitely many of the [itex]x_n[/itex]?

**Physics Forums - The Fusion of Science and Community**

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Showing a sequence is divergent

Loading...

Similar Threads - Showing sequence divergent | Date |
---|---|

B How can I show the sum results in this? | Monday at 4:28 PM |

I Showing relationship between zeta and gamma | Feb 26, 2018 |

B Wolfram Alpha graph of ln(x) shows as ln(abs(x)) | Oct 14, 2017 |

Showing that the set of convergent sequences is not separable | Dec 30, 2009 |

Show that this sequence converges to 0 | Apr 22, 2009 |

**Physics Forums - The Fusion of Science and Community**