This tag has label topology-definition-generic-point and it points to
The corresponding content:
Definition 5.5.4. Let $X$ be a topological space.
- Let $Z \subset X$ be an irreducible closed subset. A generic point of $Z$ is a point $\xi \in Z$ such that $Z = \overline{\{\xi\}}$.
- The space $X$ is called Kolmogorov, if for every $x, x' \in X$, $x \not = x'$ there exists a closed subset of $X$ which contains exactly one of the two points.
- The space $X$ is called sober if every irreducible closed subset has a unique generic point.
\begin{definition}
\label{definition-generic-point}
Let $X$ be a topological space.
\begin{enumerate}
\item Let $Z \subset X$ be an irreducible closed subset.
A {\it generic point} of $Z$ is a point $\xi \in Z$ such
that $Z = \overline{\{\xi\}}$.
\item The space $X$ is called {\it Kolmogorov}, if for every $x, x' \in X$,
$x \not = x'$ there exists a closed subset of $X$ which contains
exactly one of the two points.
\item The space $X$ is called {\it sober} if every
irreducible closed subset has a unique generic point.
\end{enumerate}
\end{definition}
To cite this tag (see How to reference tags), use:
\cite[\href{http://stacks.math.columbia.edu/tag/004X}{Tag 004X}]{stacks-project}
Your email address will not be published. Required fields are marked.
In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the lower-right corner).
Back to the main page.
There are no comments yet for this tag.