论文信息 - First-countable, Sequential, and Frechet Spaces

First-countable, Sequential, and Frechet Spaces

This article contains a definition of three classes of topological spaces: first-countable, Frechet, and sequential. Next there are some facts about them, that every first-countable space is Frechet and every Frechet space is sequential. Next section constains a formalized construction of topological space which is Frechet but not first-countable. This article is based on [9, pp. 73–81].

Bartłomiej Skorulski | B. Skorulski

[1] Andrzej Trybulec,et al. Binary Operations Applied to Functions , 1990 .

[2] Agata Darmochwa,et al. Topological Spaces and Continuous Functions , 1990 .

[3] Jan Popio,et al. Real Normed Space , 1991 .

[4] Zinaida Trybulec,et al. Boolean Properties of Sets , 1990 .

[5] Edmund Woronowicz. Relations Defined on Sets , 1990 .

[6] G. Bancerek,et al. Ordinal Numbers , 2003 .

[7] A. Trybulec. Tarski Grothendieck Set Theory , 1990 .

[8] Leszek Borys,et al. Paracompact and Metrizable Spaces , 1991 .

[9] Beata Padlewska,et al. Families of Sets , 1990 .

[10] Konrad Raczkowski,et al. Topological Properties of Subsets in Real Numbers , 1990 .

[11] lawa Kanas,et al. Metric Spaces , 2020, An Introduction to Functional Analysis.

[12] Yatsuka Nakamura,et al. Metric Spaces as Topological Spaces - Fundamental Concepts , 1991 .

[13] Agata Darmochwał. Families of Subsets , Subspaces and Mappings in Topological Spaces , 1989 .

[14] G. Bancerek. The Fundamental Properties of Natural Numbers , 1990 .

[15] G. Bancerek. Countable Sets and Hessenberg's Theorem , 1991 .