From Wikipedia, the free encyclopedia
Size of this preview: 443 × 600 pixelsFull resolution (2,773 × 3,754 pixels, file size: 41 KB, MIME type: image/png)
commons:Image:Separation axioms.png
This page is a soft redirect.
A diagram of the relationships between the separation axioms.
Source: TeX source by Toby Bartels. Compiled and converted to PNG by Dbenbenn.
Licence: No rights reserved. See http://toby.bartels.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 \bullet / \rm P T _ 4 \\
\relax \rm P N / \bullet \ar @{-} [ur] & &
\relax \bullet / \rm T _ 5 \ar @{-} [ul] \\
& \relax \rm C N / \bullet \ar @{-} [ul] \ar @{-} [ur] &
& \relax \bullet / \rm T _ 4 \ar @{-} [ul] \\
& & \relax \rm N / \bullet \ar @{-} [ul] \ar @{-} [ur] &
& \relax \rm C R / T _ { 3 \frac 1 2 } \ar @{-} [ul] \\
& & & & & \relax \bullet / \bullet \ar @{-} [ul] \\
& & & & \relax \bullet / \rm C T _ 2 \ar @{-} [ur] &
& \relax \rm R / T _ 3 \ar @{-} [ul] \\
& & & & &
\relax \bullet / \rm 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, Dbenbenn 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
File history
Click on a date/time to view the file as it appeared at that time.
| Date/Time | Dimensions | User | Comment |
current | 06:12, 27 March 2005 | 2,773×3,754 (41 KB) | Dbenbenn | |
| 07:05, 3 November 2004 | 231×313 (6 KB) | Toby Bartels | |
File links
The following pages on the English Wikipedia link to this file (pages on other projects are not listed):