Re: 1-1/2+1/3-1/4+1/5-1/6+1/7

Jesse F. Hughes wrote:

G. Frege <nomail@invalid> writes:

For simplicity we assume that n, m are in N, then we can write:

x e E* <-> AnEm >= n: x e E_m,

x e E <-> EnAm >= n: x e E_m.
*
Thinking about it, I get the following criteria for the limit - if it
exists:

E = lim E_n
n
iff
x e E <-> EnAm >= n: x e E_m for all x.

With other words, x is element of the limit (if it exists) iff it is not
element _only_ of finitely many elements E_n.

Just to be clear: lim E_n = E ? n *

Or am I missing something? If I read you right, I guess I don't see
much need to discuss the lim sup and lim inf at present, since we
haven't discussed lim sup and lim inf is just another name for lim.

Surely I'm missing something.

Is mathematics the art of making things unnecessarily complicated?

http://rescomp.stanford.edu/~cheshire/EinsteinQuotes.html

"Everything should be made as simple as possible, but not simpler."
(Albert Einstein)

Please !!

Han de Bruijn

.

Relevant Pages

  • Re: ratio test,
    ... this that is getting me into trouble because i think when they state lim, ... because you state that the series diverges when the lim inf is greater than ... So therefore, in this example, we are perhaps looking at the lim sup here ...
    (sci.math)
  • Re: 1-1/2+1/3-1/4+1/5-1/6+1/7
    ... E = lim E_n ... haven't discussed lim sup and lim inf is just another name for lim. ... and not invoke unneccessary complications / generalizations or whatever. ...
    (sci.math)
  • Re: Cantorian pseudomathematics
    ... lim f= f ... a function f is _nonsense_ at a iff ... In mathematics, terms which are formally defined mean only what they are defined to mean, no more and no less. ...
    (sci.math)
  • Re: Proving lim n * a_n = 0
    ... I still have some difficulty to deal with the concepts of lim ... Show that, if is a motonic sequence of real numbers and Sum(n=1, ... For this sequence, lim inf, lim and lim sup are therefore the ...
    (sci.math)
  • Re: Cantorian pseudomathematics
    ... a function f is _sensible_ at a iff ... lim f= f ... Prove that the above function g is nonsense at 0. ... I thought constructionists required all functions to be contiuous. ...
    (sci.math)