Talk:Sequential space

From Wikipedia, the free encyclopedia

[edit] History

Is the history about Franklin correct? The book I'm reading (Archangelskii and Pontryagin, General topology I) goes on about sequential spaces and their properties without mentioning Franklin; and tacks on the names of Frechet and Urysohn to various defintions. Frechet and Urysohn are a couple of generations older than Franklin in 1965 ... It is implied that Franklin gave a category theory definition, is that right? That would make more sense to me. linas 16:02, 6 November 2006 (UTC)

Lots of textbooks go on about definitions of things without mentioning their first occurence in the literature. It's been a while since I read Franklin's original 1965 paper, but I seriously doubt Frechet and Urysohn defined "sequential space", as it is the class of sequential spaces which are exactly specified by the question that Franklin was trying to answer in his 1965 paper. And the 1965 paper did have category theory in it, if I remember, but the basic definition were just in terms of top. spaces. But, you should really read the original paper to be sure. Revoler

Quote from Ryszard Engelking's book General topology (which has nice historical and bibliographic notes at the end of each section): Sequential and Frechet spaces belonged to the folklore almost since the origin of general topology, but they were first thouroughly examined by Franklin in [1965] and [1967]. (This is pretty much the same as we have in the article now and I find historical notes in Engelking's book a reliable source.) --Kompik 09:12, 15 October 2007 (UTC)

[edit] Interwiki

I do not speak Polish, but have some basic understanding, since it is similar to Slovak language. I do not think that interwiki to pl:Przestrzeń Frécheta (topologia) is correct. As far as I understand the definition given in the Polish article, 'Przestrzeń Frécheta' means Frechet-Urysohn space. I do not know what is the Polish term for the sequential space. Someone with better knowledge of Polish language could perhaps correct this.

A related question: In English wiki there is no separate article for Frechet-Urysohn spaces (they are defined here, in the article on sequential spaces). Polish wiki obviously has one. Are there some rules how to use interwiki in such asymmetric cases? --Kompik 07:40, 30 June 2007 (UTC)

[edit] Cartesian closed

I've been led by multiple sources to believe that the subcategory of sequential spaces in Top is cartesian closed. For example, Booth and Tillotson prove that it is the smallest "convenient" topological category, which in particular means it is cartesian closed with exponential equipped with the (convergent sequence)-open topology.

P.I. Booth, A. Tillotson, "Monoidal closed, cartesian closed and convenient categories of topological spaces" Pacific J. Math. , 88 (1980) pp. 35–53.

See also this abstract: [1]

The categorical properties section of this article seems contradictory to this. What is the problem? - 129.100.75.90 20:59, 25 August 2007 (UTC)

BTW a preprint of the paper you mentioned can be found at [2]. There are many other papers which worth reading if you are interested in this topic. I mention also this one: Cartesian closed coreflective subcategories of the category of topological spaces, J Cincura, Topology Appl, 1991. In case you do not have access to the journal Topology and its Applications, let me know at my talk page -- I can send you a scanned copy of this paper, in case you think it could be interesting for you. --Kompik 09:17, 26 August 2007 (UTC)

What precisely do you find contradictory? A cartesian closed subcategory of Top need not be closed under topological products. The product in the category of sequential spaces is the sequential coreflection of the usual product. The same holds for products and limits in coreflective subcategories in general. {The sequential coreflection is the topology obtained by taking as closed sets the sequentially closed sets of the original topology. By sequentially closed I mean closed under limits of sequences. In the other words, a sets is sequentially closed iff the sequential closure of A us A - the sequential closure is defined in the article.) BTW I think it's worth mentioning that this category is cartesian closed. --Kompik 09:11, 26 August 2007 (UTC)

Of course I figured this out last night after further reflection, but I wasn't able to get online to say so. Thanks for all the great references, though. I will make a few changes to the article to reflect this information. - 129.100.75.90 17:16, 26 August 2007 (UTC)