| Version 7 |
Version 6 |
| {\bf Definition} (\cite{kelley}, pp. 49) |
{\bf Definition} (\cite{kelley}, pp. 49) |
|
Let $Y$ be a subset of a set $X$. A \textbf{cover} for $Y$ is a collection
|
Let $Y$ be a subset of a set $X$. A \emph{cover} for $Y$ is a collection
|
| of sets $\mathcal{U}=\{U_i\}_{i\in I}$ such that each $U_i$ |
of sets $\mathcal{U}=\{U_i\}_{i\in I}$ such that each $U_i$ |
| is a subset of $X$, and |
is a subset of $X$, and |
| $$ Y \subset \bigcup_{i\in I} U_i.$$ |
$$ Y \subset \bigcup_{i\in I} U_i.$$ |
| The collection of sets can be arbitrary, i.e., $I$ can be |
The collection of sets can be arbitrary, i.e., $I$ can be |
| finite, countable, or infinite. The cover is correspondingly called a |
finite, countable, or infinite. The cover is correspondingly called a |
|
\textbf{finite cover}, \textbf{countable cover}, or \textbf{uncountable cover}.
|
\emph{finite cover}, \emph{countable cover}, or \emph{uncountable cover}.
|
| %Let $X$ be a set and let $\mathbb{P}(X)$ denote the power set of $X$. A %collection $\mathcal{U}=\{ U_i\in\mathbb{P}(X) \colon i\in I\}$ of subsets of $X$ %is said to be a \emph{cover} of X if $$X\subseteq\bigcup_{i\in I}U_i$$ |
%Let $X$ be a set and let $\mathbb{P}(X)$ denote the power set of $X$. A %collection $\mathcal{U}=\{ U_i\in\mathbb{P}(X) \colon i\in I\}$ of subsets of $X$ %is said to be a \emph{cover} of X if $$X\subseteq\bigcup_{i\in I}U_i$$ |
| A \textbf{subcover} of $\mathcal{U}$ is a subset $\mathcal{U}'\subset\mathcal{U}$ such that $\mathcal{U}'$ is also a cover of $X$. |
A \emph{subcover} of $\mathcal{U}$ is a subset $\mathcal{U}'\subset\mathcal{U}$ such that $\mathcal{U}'$ is also a cover of $X$. |
| A \textbf{refinement} $\mathcal{V}$ of $\mathcal{U}$ is a cover of $X$ such that for every $V\in\mathcal{V}$ there is some $U\in\mathcal{U}$ such that $V\subset U$. |
A \emph{refinement} $\mathcal{V}$ of $\mathcal{U}$ is a cover of $X$ such that for every $V\in\mathcal{V}$ there is some $U\in\mathcal{U}$ such that $V\subset U$. |
| If $X$ is a topological space and the members of $\mathcal{U}$ are open sets, |
If $X$ is a topological space, $\mathcal{U}$ is said to be an \emph{open cover} if the members of $\mathcal{U}$ are open sets. Open subcovers and open refinements are defined similarly. |
| then $\mathcal{U}$ is said to be an \textbf{open cover}. |
|
| Open subcovers and open refinements are defined similarly. |
|
| \subsubsection{Examples} |
\subsubsection{Examples} |
| \begin{enumerate} |
\begin{enumerate} |
| \item If $X$ is a set, then $\{X\}$ is a cover for $X$. |
\item If $X$ is a set, then $\{X\}$ is a cover for $X$. |
| \item A topology for a set is cover. |
\item A topology for a set is cover. |
| \end{enumerate} |
\end{enumerate} |
| \begin{thebibliography}{9} |
\begin{thebibliography}{9} |
| \bibitem{kelley} J.L. Kelley, \emph{General Topology}, |
\bibitem{kelley} J.L. Kelley, \emph{General Topology}, |
| D. van Nostrand Company, Inc., 1955. |
D. van Nostrand Company, Inc., 1955. |
| \end{thebibliography} |
\end{thebibliography} |
