| Version 6 |
Version 5 |
| \section*{Definition} |
\section*{Definition} |
|
|
| A topological space is said to be \emph{Lindel\"of} if every open cover has a countable subcover. |
A topological space is said to be \emph{Lindel\"of} if every open cover has a countable subcover. |
|
|
| \section*{Notes} |
\section*{Notes} |
|
|
| A second-countable space is Lindel\"of. |
Every second-countable space is Lindel\"of. |
| A compact space is Lindel\"of. |
Every compact space is Lindel\"of. |
|
|
| A regular Lindel\"of space is normal. |
|
|
|
| \PMlinkname{$F_\sigma$ sets}{F_sigmaSet} in Lindel\"of spaces are Lindel\"of. |
\PMlinkname{$F_\sigma$ sets}{F_sigmaSet} in Lindel\"of spaces are Lindel\"of. |
| Continuous images of Lindel\"of spaces are Lindel\"of. |
Continuous images of Lindel\"of spaces are Lindel\"of. |
|
|
| A Lindel\"of space is compact if and only if it is countably compact. |
A Lindel\"of space is compact if and only if it is countably compact. |
