definition of sequentially compact topological space
Topics
About: topological space
The table of contents of this article
Starting Context
- The reader knows a definition of topological space.
- The reader knows a definition of subsequence of sequence.
Target Context
- The reader will have a definition of sequentially compact topological space.
Orientation
There is a list of definitions discussed so far in this site.
There is a list of propositions discussed so far in this site.
Main Body
1: Structured Description
Here is the rules of Structured Description.
Entities:
\(*T\): \(\in \{\text{ the topological spaces }\}\)
//
Conditions:
\(\forall s: \mathbb{N} \to T (\exists s^` \in \{\text{ the subsequences of } s\}, \exists t \in T (s^` \text{ converges to } t)\)
//
