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.Category:Vector version available
File:Separation axioms.png → File:Separation axioms.svg
For more information, see Help:SVG. |
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.
Usage notes:
|