Let T be the cofinite topology on the set Z of integers. Show that the sequence {1,2,3...} converges in (Z,T) to each point of Z. Describe the convergent sequences in (Z,T).
thank you
For with the cofinite topology, every sequence of distinct integers converges to every point of .
Let and let be any open set containing . Then , and so is a finite set.
If is a sequence of distinct integers then there is an integer such that for all (since is finite) and therefore for all . Therefore converges to .
However, a sequence such as does not converge to any point. It does not converge to since is an open set containing but not containing all terms of the sequence from some point onwards. Similarly it does not converge to . Furthermore if and then is an open set containing but having no points of the sequence at all, and so the sequence fails to converge to .
I feel strangely compelled to respond to your request for a "visual aid". This is certainly not what I use when thinking about convergence. With Euclidean spaces or metric spaces some kind of diagram might help with notions of distance or closeness, but even here they are of limited scope. With general topological spaces, well I'd forget about it.
You may have discovered a paucity of diagrams in most undergraduate textbooks on this subject, which may have prompted your plea. There are reasons for it. Perhaps most authors are visually illiterate, or perhaps the subject doesn't lend itself to pictorial paraphernalia. Or perhaps not.
In any case, as with most higher abstract mathematics, you have to get your head around the concept, the definition of convergence being a point in case.
"A sequence ( ) converges to a point in a topological space if for any open set containing we have for all sufficiently large ."
Think about it. Do you understand it? Have you got your head around it? Does that statement even make sense? What does it mean to say you understand it, or not as the case may be? Can you prove things with it?
What does this kind of convergence mean? Does it mean that the points eventually get closer to as tends to infinity? Yes, in the sense that the terms must eventually lie in every neighbourhood of .
You may wish to think of a neighbourhood as a set of points close to something. If that helps you that's fine. But how does it help to show that the sequence converges to every point in with the cofinite topology? How can these points get closer to every member of ? Don't these points get further away, eventually, from every point? No. That's where your ordinary notions of closeness break down. That is where the visual picture starts to pixellate and fizzle out. It is not a geometrical notion.
Why does the sequence converge to every point? Because eventually the terms of the sequence are in every neighbourhood of every point. How can this be? Because neighbourhoods of points contain every integer except possibly a finite number of them. How can I visualise that? I don't know. Think of these neighbourhoods as clouds reaching up above you infinitely far and the positive integers as a vast ladder disappearing high into the billowing mass of ... no, don't bother.
Don't get me wrong. I'm not saying that no one could possibly visualise what's going on here. All I know is that I don't do it that way (eh?), I wasn't taught how to do it that way (what way?), and I don't ever find it necessary to do it that way (what's are you talking about, man?).
There is no Royal Cinema now showing topology as far as I know.
THANK YOU!
this part in particular cleared the problem for me (not the part of the clouds )Why does the sequence converge to every point? Because eventually the terms of the sequence are in every neighbourhood of every point. How can this be? Because neighbourhoods of points contain every integer except possibly a finite number of them. How can I visualise that? I don't know. Think of these neighbourhoods as clouds reaching up above you infinitely far and the positive integers as a vast ladder disappearing high into the billowing mass of ... no, don't bother.