<?xml version="1.0" encoding="UTF-8"?>

<record version="6" id="4515">
 <title>Alexandrov one-point compactification</title>
 <name>AlexandrovOnePointCompactification</name>
 <created>2003-07-27 10:29:03</created>
 <modified>2005-02-06 04:32:33</modified>
 <type>Definition</type>
 <creator id="2760" name="yark"/>
 <author id="2760" name="yark"/>
 <classification>
	<category scheme="msc" code="54D35"/>
 </classification>
 <synonyms>
	<synonym concept="Alexandrov one-point compactification" alias="one-point compactification"/>
	<synonym concept="Alexandrov one-point compactification" alias="Alexandroff one-point compactification"/>
	<synonym concept="Alexandrov one-point compactification" alias="Aleksandrov one-point compactification"/>
	<synonym concept="Alexandrov one-point compactification" alias="Alexandrov compactification"/>
	<synonym concept="Alexandrov one-point compactification" alias="Aleksandrov compactification"/>
	<synonym concept="Alexandrov one-point compactification" alias="Alexandroff compactification"/>
 </synonyms>
 <related>
	<object name="Compactification"/>
 </related>
 <keywords>
	<term>compactification</term>
 </keywords>
 <preamble></preamble>
 <content>\PMlinkescapeword{open}

The \emph{Alexandrov one-point compactification} of a non-compact topological space $X$ is obtained by adjoining a new point $\infty$ and defining the topology on $X\cup\{\infty\}$ to consist of the open sets of $X$ together with the sets of the form $U\cup\{\infty\}$, where $U$ is an open subset of $X$ with compact complement.

With this topology, $X\cup\{\infty\}$ is always compact.
Furthermore, it is Hausdorff if and only if $X$ is Hausdorff and locally compact.</content>
</record>
