Convergence of sequences in topological spaces.

To reference in my thesis, at first, I'd like a book of general topology that addressed convergence of sequences in topological spaces not necessarily metrizables​​. The concept seems plausible in Hausdorff topological spaces. See these notes for more.

The references I could get (as the books of John L. Kelley, MG Murdeshwar and Bourbaki) do not address sequences in topological spaces. In fact, Kelley's book is a brief definition of sequences in first countable topological spaces. But its definition depends completely on the definition of convergence in nets. And I do not want to deal with convergence in nets.

• Question: Is there a book of general topology well accepted by the mathematical community to define convergence in topological spaces without speaking nets?

• Question: Is there any research article that talks about convergence of sequences in topological spaces?

Thank's.

-
The concept of sequences in topological spaces without any additional structure is also discussed in the introduction to Chapter 3 (page 55) The Book of Brezis. See in google: books.google.com.br/… –  Elias Jan 29 '13 at 13:55
This paper might be worth looking at too: maa.org/sites/default/files/pdf/upload_library/22/Chauvenet/… - McShane's Chauvenet Prize paper on Partial Orderings and Moore-Smith Limits –  Erik G. Feb 1 '14 at 21:32

If you look at Munkres' Topology textbook (2000 edition p.98), a definition of a convergent sequence in an arbitrary topological space is given as follows. A sequence $x_1, x_2, \ldots$ of points in a space $X$ converges to a point $x \in X$ if for each neighborhood $U$ of $x$, $\exists N$ such that $\forall n \geqslant N$, $x_n \in U$.

The topology here is arbitrary and there is no mention of nets.

-
+1 for you answer. Thank's. –  Elias Jan 29 '13 at 13:55

It is no problem to define convergence of sequences in any topological space: Learner's answer above does just this, as do many standard texts.

However, I want to make the point that convergence of sequences is not really the correct notion in an arbitrary topological space. For instance, the closure of a subset in an arbitrary topological space need not be the set of limits of convergent sequences with values in that subset. Thus in general the notion of sequential closure differs from that of closure. In fact there are topological spaces which are not discrete but sequentially discrete: the only convergent sequences are the eventually constant ones (in fact, certain non-Archimedean ordered fields have this property).

This is why most standard texts in general topology move on swiftly to discuss nets (and/or filters). I have a set of notes on convergence available here, and indeed it is mostly a discussion of nets, then filters, then the relationship between nets and filters. But I begin with a discussion of sequences, including a treatment of why sequences are not adequate for discussing convergence in general topological spaces.

Let me also say that it is nevertheless the case that the (surprisingly complicated) behavior of sequences in arbitrary topological spaces has been studied. A landmark paper in this area is S.P. Franklin's 1965 Spaces in which sequences suffice, which led to the notion of a sequential space: this is precisely the condition in which sequentially closed subsets are closed.

Added: After downloading the paper of Prof. Brown's given in his answer, I noticed that there is another foundational paper in the study of sequential convergence in topological spaces:

Dudley, R. M.
On sequential convergence.
Trans. Amer. Math. Soc. 112 1964 483–507.

-
Pete L. Clark, Thank's for you answer. Thank's –  Elias Jan 29 '13 at 15:13
+1. Thanks so much for the notes on convergence. They are very well written and pedagogical. I learned a lot of things from them. –  Learner Jan 30 '13 at 10:59
I have one small syntactical quibble ;). On page 4, I think the French expression should be "tournant dangereux" instead of dangereuse, no? –  Learner Jan 30 '13 at 11:01
@Learner: you're right. When I use the phrase I am copying Bourbaki...but evidently inaccurately. –  Pete L. Clark Jan 30 '13 at 15:52
@PeteL.Clark, Their answer exceeded all expectations. Thank you. His topology notes are very useful. –  Elias Jan 31 '13 at 13:57

I'll mention my own paper

R. Brown, Sequentially proper maps and a sequential compactification'', London Math Soc. (2) 7 (1973) 515-522.

and also

Johnstone, P. T. On a topological topos. Proc. London Math. Soc. (3) 38 (1979), no. 2, 237–271.

Booth, P.; Tillotson, J. Monoidal closed, Cartesian closed and convenient categories of topological spaces. Pacific J. Math. 88 (1980), no. 1, 35–53.

These all discuss the use of sequences in topology, but I expect there are lots more.

I thought of the idea for my paper after teaching a course in analysis and realising how nice were the sequence proofs of some basic facts, such as properties of closed, bounded subsets of Euclidean space. Why go to greater generality than is needed in the context in which one is working, or teaching? For basic analysis, subsets of normed spaces, with their metric, are often all one needs.

-
Interesting; I downloaded the paper. A warning for others who want to do the same: MathSciNet thinks (incorrectly, I believe) that Prof. Brown's paper was published in 1974. –  Pete L. Clark Jan 30 '14 at 0:40