definition of \(\sigma\)-compact topological space
Topics
About: topological space
The table of contents of this article
Starting Context
- The reader knows a definition of compact subset of topological space.
Target Context
- The reader will have a definition of \(\sigma\)-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:
\(\exists \{S_j \in \{\text{ the compact subsets of } T\} \vert j \in J\} \text{ where } J \in \{\text{ the countable index sets }\} (T = \cup_{j \in J} S_j)\)
//
