File:Separation axioms.png

File:Separation axioms.svg is a vector version of this file. It should be used in place of this PNG file when not inferior. File:Separation axioms.png → File:Separation axioms.svg For more information, see Help:SVG. In other languages Alemannisch ∙ العربية ∙ беларуская (тарашкевіца) ∙ български ∙ বাংলা ∙ català ∙ нохчийн ∙ čeština ∙ dansk ∙ Deutsch ∙ Ελληνικά ∙ English ∙ British English ∙ Esperanto ∙ español ∙ eesti ∙ euskara ∙ فارسی ∙ suomi ∙ français ∙ Frysk ∙ galego ∙ Alemannisch ∙ עברית ∙ hrvatski ∙ magyar ∙ հայերեն ∙ Bahasa Indonesia ∙ Ido ∙ italiano ∙ 日本語 ∙ ქართული ∙ 한국어 ∙ lietuvių ∙ македонски ∙ മലയാളം ∙ Bahasa Melayu ∙ norsk bokmål ∙ Plattdüütsch ∙ Nederlands ∙ norsk nynorsk ∙ norsk ∙ occitan ∙ polski ∙ prūsiskan ∙ português ∙ português do Brasil ∙ română ∙ русский ∙ sicilianu ∙ Scots ∙ slovenčina ∙ slovenščina ∙ српски / srpski ∙ svenska ∙ தமிழ் ∙ ไทย ∙ Türkçe ∙ татарча / tatarça ∙ українська ∙ vèneto ∙ Tiếng Việt ∙ 中文 ∙ 中文（中国大陆） ∙ 中文（简体） ∙ 中文（繁體） ∙ 中文（马来西亚） ∙ 中文（新加坡） ∙ 中文（臺灣） ∙ 中文（臺灣） ∙ +/−

 

A diagram of the relationships between the separation axioms.

Source: Toby Bartels, with help from Dbenbenn.

Licence: No rights reserved. See http://tobybartels.name/copyright/. The image itself is pure information and thus probably not copyrightable. The source below is more likely to be copyrightable, but there are still no rights reserved.

TeX source by Toby Bartels using Xy-pic:

%&plain
\def \frac #1#2{{\mathstrut #1\over \mathstrut #2}}
\input xy
\xyoption {all}
\xyoption {ps}
\xyoption {dvips}
\nopagenumbers
\xymatrix @!0 { & \relax \rm \bullet / T _ 6 \\
\relax \rm P N / \bullet \ar @{-} [ur] & &
\relax \rm \bullet / T _ 5 \ar @{-} [ul] \\
& \relax \rm C N / \bullet \ar @{-} [ul] \ar @{-} [ur] &
& \relax \rm \bullet / T _ 4 \ar @{-} [ul] \\
& & \relax \rm N / \bullet \ar @{-} [ul] \ar @{-} [ur] &
& \relax \rm C R / T _ { 3 \frac 1 2 } \ar @{-} [ul] \\
& & & & & \relax \rm \bullet / \bullet \ar @{-} [ul] \\
& & & & \relax \rm \bullet / C T _ 2 \ar @{-} [ur] &
& \relax \rm R / T _ 3 \ar @{-} [ul] \\
& & & & &
\relax \rm \bullet / T _ { 2 \frac 1 2 } \ar @{-} [ul] \ar @{-} [ur] \\
& & & & \relax \rm R _ 1 / T _ 2 \ar @{-} [ur] \\
& & & \relax \rm R _ 0 / T _ 1 \ar @{-} [ur] \\
& & - / \rm T _ 0 \ar @{-} [uuuuuu] \ar @{-} [ur] }
\bye

To produce the current image, I saved the above as "Separation_axioms.tex", then ran the following commands:

tex Separation_axioms.tex
dvips -mode ljfzzz -D 1200 Separation_axioms -o
convert -density 1200 Separation_axioms.ps Separation_axioms.pnm
pnmcrop Separation_axioms.pnm | pnmtopng > Separation_axioms.png.uncrush
pngcrush -cc -reduce -brute -l 9 Separation_axioms.png.uncrush Separation_axioms.png

(Thanks to Dbenbenn for the commands!)

The copyright holder of this work allows anyone to use it for any purpose including unrestricted redistribution, commercial use, and modification. Please check the source to verify that this is correct. In particular, note that publication on the Internet, like publication by any other means, does not in itself imply permission to redistribute. Files without valid permission should be tagged with {{subst:npd}}. Usage notes: If the work requires attribution, use {{Attribution}} instead. If this is your own work, please use {{Cc-zero}} instead. Copyrighted free useCopyrighted free usefalsefalse