Intereting Posts

Composition of 2 involutions
How to solve Diophantine equations of the form $Axy + Bx + Cy + D = N$?
Analysis of “Tiny Dice Dungeon” (I)
Does the Euler characteristic of a manifold depend upon the field of coefficients?
Can any smooth manifold be realized as the zero set of some polynomials?
How to prove error function $\mbox{erf}$ is entire (i.e., analytic everywhere)?
What software and/or language to use to take Math lecture notes?
A game with $\delta$, $\epsilon$ and uniform continuity.
Asymptotics for a partial sum of binomial coefficients
In a graph, the vertices can be partitioned $V=V_1\cup V_2$ so that at most half of all edges run within each part?
Find the range of the given function $f$
Does Hartshorne *really* not define things like the composition or restriction of morphisms of schemes?
Why does simplifying a function give it another limit
Proof that there is no continuous 1-1 map from the unit circle in $\Bbb R^2$ to $\Bbb R$.
What is a number?

What are some good examples of sequences which are Cauchy, but do not converge?

I want an example of such a sequence in the metric space $X = \mathbb{Q}$, with $d(x, y) = |x – y|$. And preferably, no use of series.

- Let $X$ be a compact metric space. If $f:X\rightarrow \mathbb{R}$ is lower semi-continuous, then $f$ is bounded from below and attains its infimum.
- I have a problem understanding the proof of Rencontres numbers (Derangements)
- I think I found a flaw in Riemann Zeta Function Regularization
- explicit formula for recurrence relation $a_{n+1}=2a_n+\frac{1}{a_n}$
- Determine if the following series are convergent or divergent?
- Show that $(f_n)$ is equicontinuous, given uniform convergence

- Infinite Series (Telescoping?)
- The limit of a sequence $\lim_{n\rightarrow \infty}\prod_{k=0}^{n-1}( 2+\cos \frac{k\pi }{n})^{\pi/n}$.
- Prove that $\sum\limits_{k=1}^nk^2 = \frac{n(n+1)(2n+1)}{6}$?
- Levin's u-transformation
- A question concerning dot product of sequences with a specific asymptotic growth.
- A series expansion for $\cot (\pi z)$
- Why do $x^{x^{x^{\dots}}}=2$ and $x^{x^{x^{\dots}}}=4$ have the same positive root $\sqrt 2$?
- Could we show $1-(x-\frac{x^3}{3!}+\frac{x^5}{5!}-\dots)^2=(1-\frac{x^2}{2!}+\frac{x^4}{4!}- \dots)^2$ if we didn't know about Taylor Expansion?
- Evaluate the series $\sum_{n=1}^{\infty} \frac{2^{}+2^{-}}{2^n}$
- Convergence of “alternating” harmonic series where sign is +, --, +++, ----, etc.

Another one, same idea:

$$

a_n = \left(1+\frac{1}{n}\right)^n

$$

a sequence of rationals, but its limit $e$ is not rational.

If you are not married to using the rationals, I would suggest also using the open interval $(-1,1)$. Here you can take the sequence $( 1 – \frac{1}{n} )_{n=1}^\infty$, and note (quickly) that it is Cauchy and that it *should* converge to $1$, which of course is not in $(-1,1)$.

The punch line — if it can be called that — is that $(-1,1)$ is *homeomorphic* to the the entire real line $\mathbb{R}$, meaning that they have the same topological structure.

This tells us that it is the underlying metric which tells us whether a sequence is Cauchy or not, and it is not a property of the topology alone. And there are metrics on $(-1,1)$ compatible with the topology in which the aforementioned sequence is not Cauchy; an example would be $$\rho (x,y) = | \tan (\frac{\pi x}{2} ) – \tan (\frac{\pi y}{2}) |.$$

A fairly easy example that does *not* arise directly from the decimal expansion of an irrational number is given by $$a_n=\frac{F_{n+1}}{F_n}$$ for $n\ge 1$, where $F_n$ is the $n$-th Fibonacci number, defined as usual by $F_0=0$, $F_1=1$, and the recurrence $F_{n+1}=F_n+F_{n-1}$ for $n\ge 1$. It’s well known and not especially hard to prove that $\langle a_n:n\in\Bbb Z^+\rangle\to\varphi$, where $\varphi$ is the so-called golden ratio, $\frac12(1+\sqrt5)$.

Another is given by the following construction. Let $m_0=n_0=1$, and for $k\in\Bbb N$ let $m_{k+1}=m_k+2n_k$ and $n_{k+1}=m_k+n_k$. Then for $k\in\Bbb N$ let $$b_k=\frac{m_k}{n_k}$$ to get the sequence $$\left\langle 1,\frac32,\frac75,\frac{17}{12},\frac{41}{29},\dots\right\rangle\;;$$ it’s a nice exercise to show that this sequence converges to $\sqrt2$.

These are actually instances of a more general source of examples, the sequences of convergents of the continued fraction expansions of irrationals are another nice source of examples; the periodic ones, like this one, are probably easiest.

Such complicated examples! Here’s a simple one: $\{1/n\}_{n=1}^\infty$ is a Cauchy sequence in the interval $(0,\infty)$ and does not converge within the interval $(0,\infty)$ (with the usual metric).

Of course you could tack $0$ onto the space and get $[0,\infty)$, and within that larger space it converges. Every metric space has a completion, within which every Cauchy sequence converges.

You take any irrational number, say $\sqrt2$, and you consider its decimal expansion,

$$

\sqrt2=1.4142\ldots

$$

Then you define $x_1=1$, $x_2=1.4$, $x_3=1.41$, $x_4=1.414$, etc.

Here’s another, well-known, example: Let $b>0$. Take $a_1>0$ rational and define $a_{n+1}={1\over2}(a_n+{b\over a_n})$. One can show that this sequence is bounded below and eventually monotone decreasing. From this it follows that $(a_n)$ converges to $\sqrt b$.

Taking $b$ to be prime, for example, gives a sequence of rational numbers that converge to an irrational number.

Here is another idea, generalising David Mitra’s example. Let $P(x)$ be a polynomial with integer coefficients with an irrational real root $\xi$. Newton’s method to find $\xi$ provides a sequence of rationals converging to $\xi$. Take $x_0\in\mathbb{Q}$ close enough to $\xi$. then the sequence defined recursively as

$$

x_{n+1}=x_n-\frac{P(x_n)}{P'(x_n)}

$$

converges to $\xi$ and $x_n\in\mathbb{Q}$ for all $n$. David’s example is obtained taking $P(x)=x^2-b$.

It is pretty simple to see an example using the following:

1.) Take any sequence of points that converges to a limit, which is not one of the terms in the sequence.

2.) Delete the limit from the metric space

3.) We have a Cauchy Sequence which is not convergent.

For Example:

The sequence 1, 1/2, 1/3, 1/4, 1/5, …

We know that this converges to 0. So, now take the Metric Space R (all real numbers) and delete the limit 0 from the metric space.

So the Cauchy sequence 1, 1/2, 1/3, 1/4, 1/5, … is not convergent in the metric space R – {0}.

If we have a subset $A$ of $\mathbb{Q}$ and a limit point $p$ of $A$ such that $p$ is not in $A$, then we can generate such a sequence. Just take any sequence converging to $p$ (which we know exists since $p$ is a limit point of $A$). Furthermore since the sequence is convergent it is also a Cauchy sequence. More precisely for every convergent sequence $p_n$ in the ambient metric space $X$, s.t. $p_n$ is in $A$ for all $n$, we have that $p_n$ is also a cauchy sequence in $A$. Note that the point is that this holds even though $A$ does not contain the limit of the sequence.

How about the Cauchy sequence $$x_1=0.1$$ $$x_2=0.12$$ $$x_3=0.123$$ $$x_4=0.1234$$ $$x_5=0.12345$$ $$x_6=0.123456$$ $$\cdots$$in $\mathbb{Q}.$

This agood example for acauhy seqeance

but is not convergent.Take Xn€Q suhc that

Xn^2<2 this imples Xn<2^2

then Xn convergent to 2^2 which dont belong to Q.

So is not convergent.

- Tables and histories of methods of finding $\int\sec x\,dx$?
- Properties of finite magmas $(S,\cdot)$ with $\forall(x,y,z)\in S^3, x\cdot(y\cdot z)=y\cdot(x\cdot z)$?
- Shorter proof for some equvalences
- Generating sequences using the linear congruential generator
- Showing the continuity of $d(x,f(x))$
- Prove that a linear operator $T:E \rightarrow E'$ such that $\langle Tx,y \rangle=\langle Ty,x\rangle$ is bounded
- Eliminating Repeat Numbers from a Hat
- Base and subbase of a topology
- Algebraic independence of functions
- Show $\,1897\mid 2903^n – 803^n – 464^n + 261^n\,$ by induction
- Smallest Perfect Cube ending in 888
- Reflection across a line?
- In a metric space, why must $d(x,x) = 0$?
- Showing $f_n(x):=\frac{x}{1+n^2x^2}$ uniformly convergent in $\mathbb R$ using $\epsilon-n_0$
- Interchanging the order of differentiation and summation