# How to prove

1. Mar 21, 2005

### clueles

I need help on trying to prove

that every subsequence of a cauchy sequence is a cauchy sequence

2. Mar 21, 2005

### Jimmy Snyder

If $\{x_{n_{k}}\}$ is a subsequence of {$$x_{n}$$}, then for all $$k$$, $$n_{k} \ge k$$. So the '$$N$$' that works for {$$x_{n}$$} also works for {$$x_{n_{k}}$$}

Last edited: Mar 21, 2005
3. Mar 21, 2005

### clueles

is that how you would write a formal proof or would you the for any epsilon>0 there exists an n in i such that abs(sm-sn)<epsilon

4. Mar 21, 2005

### Jimmy Snyder

The answer to that depends on the audience. What is your situation?

5. Mar 21, 2005

### clueles

college level for a real analysis class

6. Mar 21, 2005

### Jimmy Snyder

Please note the small change I made in the proof. At the undergraduate level, probably the full $$\epsilon$$ treatment would be best. Are you up to it?

7. Mar 21, 2005

### clueles

Yes we are up to that part but i'm not sure how to even start it. Do we need to say for all $$\epsilon$$> there exists a n,m /geqN such that abs(Snk-Smk)<E?

8. Mar 21, 2005

### Galileo

Also, always write down the hypothesis (what you know) and what you need to prove:

Let $\{x_{n_k}\}$ be a subsequence of $\{x_n\}$.

You are given that for every $\epsilon>0$, there exists an integer N>0, such that:

$$m,n > N \Rightarrow |x_n-x_m|<\epsilon[/itex] You need to prove that for every $\epsilon>0$ there exists an integer N>0, such that: [tex]m_k,n_k > N \Rightarrow |x_{n_k}-x_{m_k}|<\epsilon$$

All I've done is written down the problem in different terms, but the answer is practically staring you in the face (hopefully).

Last edited: Mar 21, 2005
9. Mar 21, 2005

### Jimmy Snyder

I'm just starting to use tex and I only know what I see in other people's examples. Your stuff is nice and I learned a lot from it. Do you know of a Windows utility that will take a tex source file and create a pdf file from it?

10. Mar 21, 2005

### Galileo

Yes, WinEdt will do that for you. I think you have to register it or something. I use it often to create pdf's.
The only advantage of not registering is annoying popup reminders every 15 seconds or so. I actually use a different editor and use only WinEdt for creating the pdf's.

11. Mar 21, 2005

### Jimmy Snyder

Thanks, I will look into winedt. In the meantime, I found a fairly large package called miktex which has a utility with the unlikely name of pdftex that turns tex into pdf.

12. Mar 21, 2005

### Data

TeXnic Center is the IDE that I use in general. It has full TeX-to-pdf capability and is built to work with Miktex as well (it requires a TeX install to work, of course). Free too~

It's a little hard to find these days though (although it is quite popular).

If you want, I can probably find somewhere to host it for a few days. It's only about 5mb.

Last edited: Mar 21, 2005
13. Mar 22, 2005

### matt grime

You don't, as far as I can recall (linux for the last 3 years), need any of those IDE's or such. To use latex on MS you need Miktex installed. That comes with the program pdflatex, I think, that creates the pdf for you. It means learning to love the command line though. just type

pdflatex foo.tex

from inside the directory where foo.tex is stored and it outputs a pdf file for you. The installation also comes with dvips which creates a post script file from the pdf. There are other format generators too, including latex2html, though i've no idea if anyone acutally uses this anymore.