PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Viewing Version 2 of 'Alexandrov one-point compactification'
[ view 'Alexandrov one-point compactification' | back to history ]

Title of object: Alexandrov one-point compactification
Canonical Name: AlexandrovOnePointCompactification
Type: Definition

Created on: 2003-07-27 10:29:03
Modified on: 2003-07-27 10:34:37

Creator: yark
Modifier: yark
Author: yark

Classification: msc:54D35
Keywords: compactification
Synonyms: Alexandrov one-point compactification=one-point compactification
Alexandrov one-point compactification=Alexandroff one-point compactification
Alexandrov one-point compactification=Aleksandrov one-point compactification
Alexandrov one-point compactification=Alexandrov compactification
Alexandrov one-point compactification=Aleksandrov compactification
Alexandrov one-point compactification=Alexandroff compactification

Revision comment (for changes between this and next version):

pointing out the obvious

Preamble:

% this is the default PlanetMath preamble. as your knowledge
% of TeX increases, you will probably want to edit this, but
% it should be fine as is for beginners.
% almost certainly you want these
\usepackage{amssymb}
\usepackage{amsmath}
\usepackage{amsfonts}
% used for TeXing text within eps files
%\usepackage{psfrag}
% need this for including graphics (\includegraphics)
%\usepackage{graphicx}
% for neatly defining theorems and propositions
%\usepackage{amsthm}
% making logically defined graphics
%\usepackage{xypic}
% there are many more packages, add them here as you need them
% define commands here
Content:

The {\em 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 Hausdorff if and only if $X$ is Hausdorff and locally compact.