File:Steinitz numbers.pdf

Size of this JPG preview of this PDF file: 613 × 599 pixels. Other resolutions: 246 × 240 pixels | 491 × 480 pixels | 786 × 768 pixels | 1,047 × 1,024 pixels | 1,297 × 1,268 pixels.
Original file ‎(1,297 × 1,268 pixels, file size: 41 KB, MIME type: application/pdf)
Captions

English
Add a one-line explanation of what this file represents
Summary[edit]

DescriptionSteinitz numbers.pdf	English: Hasse diagram of the lattice of supernatural numbers (Steinitz numbers). Bottom and top element are 1 and 0, respectively. Primes other than 2 and 3 are omitted for simplicity; true supernatural numbers form an infinite-dimensional, rather than a 2-dimensional, hypercube. The natural numbers, ordered by divisibility, are a sublattice of the supernatural numbers; they are obtained by removing the topmost and the rightmost points in this diagram, but keeping 0.
Date	12 April 2020
Source	Own work
Author	Jochen Burghardt
Other versions	File:Steinitz numbers.pdf - File:Steinitz numbers svg.svg
LaTeX source
\documentclass[12pt]{article}
\setlength{\unitlength}{1mm}
\usepackage[pdftex]{color}
\usepackage{amssymb}
\usepackage[paperwidth=220mm,paperheight=215mm]{geometry}
\setlength{\topmargin}{-36mm}
\setlength{\textwidth}{220mm}
\setlength{\textheight}{215mm}
\setlength{\oddsidemargin}{-23mm}
\setlength{\parindent}{0cm}
\pagestyle{empty}

% colors
\definecolor{xa}        {rgb}{0.61,0.56,0.56}
\definecolor{xb}        {rgb}{0.63,0.58,0.58}
\definecolor{xc}        {rgb}{0.65,0.60,0.60}
\definecolor{xd}        {rgb}{0.67,0.62,0.62}
\definecolor{xe}        {rgb}{0.69,0.64,0.64}
\definecolor{xf}        {rgb}{0.71,0.66,0.66}
\definecolor{xg}        {rgb}{0.73,0.68,0.68}
\definecolor{xh}        {rgb}{0.75,0.70,0.70}
\definecolor{xi}        {rgb}{0.77,0.72,0.72}
\definecolor{xj}        {rgb}{0.79,0.74,0.74}
\definecolor{xk}        {rgb}{0.81,0.76,0.76}
\definecolor{xl}        {rgb}{0.83,0.78,0.78}
\definecolor{xm}        {rgb}{0.85,0.80,0.80}
\definecolor{xn}        {rgb}{0.87,0.82,0.82}
\definecolor{xo}        {rgb}{0.89,0.84,0.84}
\definecolor{xp}        {rgb}{0.91,0.86,0.86}
\definecolor{xq}        {rgb}{0.93,0.88,0.88}
\definecolor{xr}        {rgb}{0.95,0.90,0.90}
\definecolor{xs}        {rgb}{0.97,0.92,0.92}
\definecolor{xt}        {rgb}{0.99,0.94,0.94}
\definecolor{xu}        {rgb}{0.99,0.96,0.96}
\definecolor{xv}        {rgb}{0.99,0.98,0.98}

\definecolor{ya}        {rgb}{0.56,0.56,0.61}
\definecolor{yb}        {rgb}{0.58,0.58,0.63}
\definecolor{yc}        {rgb}{0.60,0.60,0.65}
\definecolor{yd}        {rgb}{0.62,0.62,0.67}
\definecolor{ye}        {rgb}{0.64,0.64,0.69}
\definecolor{yf}        {rgb}{0.66,0.66,0.71}
\definecolor{yg}        {rgb}{0.68,0.68,0.73}
\definecolor{yh}        {rgb}{0.70,0.70,0.75}
\definecolor{yi}        {rgb}{0.72,0.72,0.77}
\definecolor{yj}        {rgb}{0.74,0.74,0.79}
\definecolor{yk}        {rgb}{0.76,0.76,0.81}
\definecolor{yl}        {rgb}{0.78,0.78,0.83}
\definecolor{ym}        {rgb}{0.80,0.80,0.85}
\definecolor{yn}        {rgb}{0.82,0.82,0.87}
\definecolor{yo}        {rgb}{0.84,0.84,0.89}
\definecolor{yp}        {rgb}{0.86,0.86,0.91}
\definecolor{yq}        {rgb}{0.88,0.88,0.93}
\definecolor{yr}        {rgb}{0.90,0.90,0.95}
\definecolor{ys}        {rgb}{0.92,0.92,0.97}
\definecolor{yt}        {rgb}{0.94,0.94,0.99}
\definecolor{yu}        {rgb}{0.96,0.96,0.99}
\definecolor{yv}        {rgb}{0.98,0.98,0.99}

\definecolor{cNat}      {rgb}{0.00,0.60,0.00}

\begin{document}
\begin{picture}(215,210)

% x (hor) lines
\textcolor{xa}{\put(22.000,3.000){\line(0,1){198.000}}}%
\textcolor{xa}{\put(40.000,3.000){\line(0,1){198.000}}}%
\textcolor{xa}{\put(56.200,3.000){\line(0,1){198.000}}}%
\textcolor{xa}{\put(70.780,3.000){\line(0,1){198.000}}}%
\textcolor{xb}{\put(83.902,3.000){\line(0,1){198.000}}}%
\textcolor{xb}{\put(95.712,3.000){\line(0,1){198.000}}}%
\textcolor{xb}{\put(106.340,3.000){\line(0,1){198.000}}}%
\textcolor{xb}{\put(115.906,3.000){\line(0,1){198.000}}}%
\textcolor{xc}{\put(124.516,3.000){\line(0,1){198.000}}}%
\textcolor{xc}{\put(132.264,3.000){\line(0,1){198.000}}}%
\textcolor{xc}{\put(139.238,3.000){\line(0,1){198.000}}}%
\textcolor{xc}{\put(145.514,3.000){\line(0,1){198.000}}}%
\textcolor{xd}{\put(151.162,3.000){\line(0,1){198.000}}}%
\textcolor{xd}{\put(156.246,3.000){\line(0,1){198.000}}}%
\textcolor{xd}{\put(160.822,3.000){\line(0,1){198.000}}}%
\textcolor{xd}{\put(164.940,3.000){\line(0,1){198.000}}}%
\textcolor{xe}{\put(168.646,3.000){\line(0,1){198.000}}}%
\textcolor{xe}{\put(171.982,3.000){\line(0,1){198.000}}}%
\textcolor{xe}{\put(174.982,3.000){\line(0,1){198.000}}}%
\textcolor{xe}{\put(177.684,3.000){\line(0,1){198.000}}}%
\textcolor{xf}{\put(180.116,3.000){\line(0,1){198.000}}}%
\textcolor{xf}{\put(182.304,3.000){\line(0,1){198.000}}}%
\textcolor{xf}{\put(184.274,3.000){\line(0,1){198.000}}}%
\textcolor{xf}{\put(186.046,3.000){\line(0,1){198.000}}}%
\textcolor{xg}{\put(187.642,3.000){\line(0,1){198.000}}}%
\textcolor{xg}{\put(189.078,3.000){\line(0,1){198.000}}}%
\textcolor{xg}{\put(190.370,3.000){\line(0,1){198.000}}}%
\textcolor{xg}{\put(191.534,3.000){\line(0,1){198.000}}}%
\textcolor{xh}{\put(192.580,3.000){\line(0,1){198.000}}}%
\textcolor{xh}{\put(193.522,3.000){\line(0,1){198.000}}}%
\textcolor{xh}{\put(194.370,3.000){\line(0,1){198.000}}}%
\textcolor{xh}{\put(195.132,3.000){\line(0,1){198.000}}}%
\textcolor{xi}{\put(195.820,3.000){\line(0,1){198.000}}}%
\textcolor{xi}{\put(196.438,3.000){\line(0,1){198.000}}}%
\textcolor{xi}{\put(196.994,3.000){\line(0,1){198.000}}}%
\textcolor{xi}{\put(197.494,3.000){\line(0,1){198.000}}}%
\textcolor{xj}{\put(197.944,3.000){\line(0,1){198.000}}}%
\textcolor{xj}{\put(198.350,3.000){\line(0,1){198.000}}}%
\textcolor{xj}{\put(198.716,3.000){\line(0,1){198.000}}}%
\textcolor{xj}{\put(199.044,3.000){\line(0,1){198.000}}}%
\textcolor{xk}{\put(199.340,3.000){\line(0,1){198.000}}}%
\textcolor{xk}{\put(199.606,3.000){\line(0,1){198.000}}}%
\textcolor{xk}{\put(199.844,3.000){\line(0,1){198.000}}}%
\textcolor{xk}{\put(200.060,3.000){\line(0,1){198.000}}}%
\textcolor{xl}{\put(200.254,3.000){\line(0,1){198.000}}}%
\textcolor{xl}{\put(200.428,3.000){\line(0,1){198.000}}}%
\textcolor{xl}{\put(200.586,3.000){\line(0,1){198.000}}}%
\textcolor{xl}{\put(200.728,3.000){\line(0,1){198.000}}}%
\textcolor{xm}{\put(200.854,3.000){\line(0,1){198.000}}}%
\textcolor{xm}{\put(200.970,3.000){\line(0,1){198.000}}}%
\textcolor{xm}{\put(201.072,3.000){\line(0,1){198.000}}}%
\textcolor{xm}{\put(201.166,3.000){\line(0,1){198.000}}}%
\textcolor{xn}{\put(201.248,3.000){\line(0,1){198.000}}}%
\textcolor{xn}{\put(201.324,3.000){\line(0,1){198.000}}}%
\textcolor{xn}{\put(201.392,3.000){\line(0,1){198.000}}}%
\textcolor{xn}{\put(201.452,3.000){\line(0,1){198.000}}}%
\textcolor{xo}{\put(201.506,3.000){\line(0,1){198.000}}}%
\textcolor{xo}{\put(201.556,3.000){\line(0,1){198.000}}}%
\textcolor{xo}{\put(201.600,3.000){\line(0,1){198.000}}}%
\textcolor{xo}{\put(201.640,3.000){\line(0,1){198.000}}}%
\textcolor{xp}{\put(201.676,3.000){\line(0,1){198.000}}}%
\textcolor{xp}{\put(201.708,3.000){\line(0,1){198.000}}}%
\textcolor{xp}{\put(201.738,3.000){\line(0,1){198.000}}}%
\textcolor{xp}{\put(201.764,3.000){\line(0,1){198.000}}}%
\textcolor{xq}{\put(201.788,3.000){\line(0,1){198.000}}}%
\textcolor{xq}{\put(201.808,3.000){\line(0,1){198.000}}}%
\textcolor{xq}{\put(201.828,3.000){\line(0,1){198.000}}}%
\textcolor{xq}{\put(201.846,3.000){\line(0,1){198.000}}}%
\textcolor{xr}{\put(201.860,3.000){\line(0,1){198.000}}}%
\textcolor{xr}{\put(201.874,3.000){\line(0,1){198.000}}}%
\textcolor{xr}{\put(201.888,3.000){\line(0,1){198.000}}}%
\textcolor{xr}{\put(201.898,3.000){\line(0,1){198.000}}}%
\textcolor{xs}{\put(201.908,3.000){\line(0,1){198.000}}}%
\textcolor{xs}{\put(201.918,3.000){\line(0,1){198.000}}}%
\textcolor{xs}{\put(201.926,3.000){\line(0,1){198.000}}}%
\textcolor{xs}{\put(201.934,3.000){\line(0,1){198.000}}}%
\textcolor{xt}{\put(201.940,3.000){\line(0,1){198.000}}}%
\textcolor{xt}{\put(201.946,3.000){\line(0,1){198.000}}}%
\textcolor{xt}{\put(201.952,3.000){\line(0,1){198.000}}}%
\textcolor{xt}{\put(201.956,3.000){\line(0,1){198.000}}}%
\textcolor{xu}{\put(201.960,3.000){\line(0,1){198.000}}}%
\textcolor{xu}{\put(201.964,3.000){\line(0,1){198.000}}}%
\textcolor{xu}{\put(201.968,3.000){\line(0,1){198.000}}}%
\textcolor{xu}{\put(201.972,3.000){\line(0,1){198.000}}}%
\textcolor{xv}{\put(201.974,3.000){\line(0,1){198.000}}}%
\textcolor{xv}{\put(201.976,3.000){\line(0,1){198.000}}}%
\textcolor{xv}{\put(201.980,3.000){\line(0,1){198.000}}}%
\textcolor{xv}{\put(201.982,3.000){\line(0,1){198.000}}}%
\textcolor{xv}{\put(201.984,3.000){\line(0,1){198.000}}}%

% y (vert) lines
\textcolor{ya}{\put(3.000,22.000){\line(1,0){198.000}}}%
\textcolor{ya}{\put(3.000,40.000){\line(1,0){198.000}}}%
\textcolor{ya}{\put(3.000,56.200){\line(1,0){198.000}}}%
\textcolor{ya}{\put(3.000,70.780){\line(1,0){198.000}}}%
\textcolor{yb}{\put(3.000,83.902){\line(1,0){198.000}}}%
\textcolor{yb}{\put(3.000,95.712){\line(1,0){198.000}}}%
\textcolor{yb}{\put(3.000,106.340){\line(1,0){198.000}}}%
\textcolor{yb}{\put(3.000,115.906){\line(1,0){198.000}}}%
\textcolor{yc}{\put(3.000,124.516){\line(1,0){198.000}}}%
\textcolor{yc}{\put(3.000,132.264){\line(1,0){198.000}}}%
\textcolor{yc}{\put(3.000,139.238){\line(1,0){198.000}}}%
\textcolor{yc}{\put(3.000,145.514){\line(1,0){198.000}}}%
\textcolor{yd}{\put(3.000,151.162){\line(1,0){198.000}}}%
\textcolor{yd}{\put(3.000,156.246){\line(1,0){198.000}}}%
\textcolor{yd}{\put(3.000,160.822){\line(1,0){198.000}}}%
\textcolor{yd}{\put(3.000,164.940){\line(1,0){198.000}}}%
\textcolor{ye}{\put(3.000,168.646){\line(1,0){198.000}}}%
\textcolor{ye}{\put(3.000,171.982){\line(1,0){198.000}}}%
\textcolor{ye}{\put(3.000,174.982){\line(1,0){198.000}}}%
\textcolor{ye}{\put(3.000,177.684){\line(1,0){198.000}}}%
\textcolor{yf}{\put(3.000,180.116){\line(1,0){198.000}}}%
\textcolor{yf}{\put(3.000,182.304){\line(1,0){198.000}}}%
\textcolor{yf}{\put(3.000,184.274){\line(1,0){198.000}}}%
\textcolor{yf}{\put(3.000,186.046){\line(1,0){198.000}}}%
\textcolor{yg}{\put(3.000,187.642){\line(1,0){198.000}}}%
\textcolor{yg}{\put(3.000,189.078){\line(1,0){198.000}}}%
\textcolor{yg}{\put(3.000,190.370){\line(1,0){198.000}}}%
\textcolor{yg}{\put(3.000,191.534){\line(1,0){198.000}}}%
\textcolor{yh}{\put(3.000,192.580){\line(1,0){198.000}}}%
\textcolor{yh}{\put(3.000,193.522){\line(1,0){198.000}}}%
\textcolor{yh}{\put(3.000,194.370){\line(1,0){198.000}}}%
\textcolor{yh}{\put(3.000,195.132){\line(1,0){198.000}}}%
\textcolor{yi}{\put(3.000,195.820){\line(1,0){198.000}}}%
\textcolor{yi}{\put(3.000,196.438){\line(1,0){198.000}}}%
\textcolor{yi}{\put(3.000,196.994){\line(1,0){198.000}}}%
\textcolor{yi}{\put(3.000,197.494){\line(1,0){198.000}}}%
\textcolor{yj}{\put(3.000,197.944){\line(1,0){198.000}}}%
\textcolor{yj}{\put(3.000,198.350){\line(1,0){198.000}}}%
\textcolor{yj}{\put(3.000,198.716){\line(1,0){198.000}}}%
\textcolor{yj}{\put(3.000,199.044){\line(1,0){198.000}}}%
\textcolor{yk}{\put(3.000,199.340){\line(1,0){198.000}}}%
\textcolor{yk}{\put(3.000,199.606){\line(1,0){198.000}}}%
\textcolor{yk}{\put(3.000,199.844){\line(1,0){198.000}}}%
\textcolor{yk}{\put(3.000,200.060){\line(1,0){198.000}}}%
\textcolor{yl}{\put(3.000,200.254){\line(1,0){198.000}}}%
\textcolor{yl}{\put(3.000,200.428){\line(1,0){198.000}}}%
\textcolor{yl}{\put(3.000,200.586){\line(1,0){198.000}}}%
\textcolor{yl}{\put(3.000,200.728){\line(1,0){198.000}}}%
\textcolor{ym}{\put(3.000,200.854){\line(1,0){198.000}}}%
\textcolor{ym}{\put(3.000,200.970){\line(1,0){198.000}}}%
\textcolor{ym}{\put(3.000,201.072){\line(1,0){198.000}}}%
\textcolor{ym}{\put(3.000,201.166){\line(1,0){198.000}}}%
\textcolor{yn}{\put(3.000,201.248){\line(1,0){198.000}}}%
\textcolor{yn}{\put(3.000,201.324){\line(1,0){198.000}}}%
\textcolor{yn}{\put(3.000,201.392){\line(1,0){198.000}}}%
\textcolor{yn}{\put(3.000,201.452){\line(1,0){198.000}}}%
\textcolor{yo}{\put(3.000,201.506){\line(1,0){198.000}}}%
\textcolor{yo}{\put(3.000,201.556){\line(1,0){198.000}}}%
\textcolor{yo}{\put(3.000,201.600){\line(1,0){198.000}}}%
\textcolor{yo}{\put(3.000,201.640){\line(1,0){198.000}}}%
\textcolor{yp}{\put(3.000,201.676){\line(1,0){198.000}}}%
\textcolor{yp}{\put(3.000,201.708){\line(1,0){198.000}}}%
\textcolor{yp}{\put(3.000,201.738){\line(1,0){198.000}}}%
\textcolor{yp}{\put(3.000,201.764){\line(1,0){198.000}}}%
\textcolor{yq}{\put(3.000,201.788){\line(1,0){198.000}}}%
\textcolor{yq}{\put(3.000,201.808){\line(1,0){198.000}}}%
\textcolor{yq}{\put(3.000,201.828){\line(1,0){198.000}}}%
\textcolor{yq}{\put(3.000,201.846){\line(1,0){198.000}}}%
\textcolor{yr}{\put(3.000,201.860){\line(1,0){198.000}}}%
\textcolor{yr}{\put(3.000,201.874){\line(1,0){198.000}}}%
\textcolor{yr}{\put(3.000,201.888){\line(1,0){198.000}}}%
\textcolor{yr}{\put(3.000,201.898){\line(1,0){198.000}}}%
\textcolor{ys}{\put(3.000,201.908){\line(1,0){198.000}}}%
\textcolor{ys}{\put(3.000,201.918){\line(1,0){198.000}}}%
\textcolor{ys}{\put(3.000,201.926){\line(1,0){198.000}}}%
\textcolor{ys}{\put(3.000,201.934){\line(1,0){198.000}}}%
\textcolor{yt}{\put(3.000,201.940){\line(1,0){198.000}}}%
\textcolor{yt}{\put(3.000,201.946){\line(1,0){198.000}}}%
\textcolor{yt}{\put(3.000,201.952){\line(1,0){198.000}}}%
\textcolor{yt}{\put(3.000,201.956){\line(1,0){198.000}}}%
\textcolor{yu}{\put(3.000,201.960){\line(1,0){198.000}}}%
\textcolor{yu}{\put(3.000,201.964){\line(1,0){198.000}}}%
\textcolor{yu}{\put(3.000,201.968){\line(1,0){198.000}}}%
\textcolor{yu}{\put(3.000,201.972){\line(1,0){198.000}}}%
\textcolor{yv}{\put(3.000,201.974){\line(1,0){198.000}}}%
\textcolor{yv}{\put(3.000,201.976){\line(1,0){198.000}}}%
\textcolor{yv}{\put(3.000,201.980){\line(1,0){198.000}}}%
\textcolor{yv}{\put(3.000,201.982){\line(1,0){198.000}}}%
\textcolor{yv}{\put(3.000,201.984){\line(1,0){198.000}}}%

% x (hor) tics low
\put(22.000,1.000){\line(0,1){2.000}}%
\put(40.000,1.000){\line(0,1){2.000}}%
\put(56.200,1.000){\line(0,1){2.000}}%
\put(70.780,1.000){\line(0,1){2.000}}%
\put(83.902,1.000){\line(0,1){2.000}}%
\put(95.712,1.000){\line(0,1){2.000}}%
\put(106.340,1.000){\line(0,1){2.000}}%
\put(115.906,1.000){\line(0,1){2.000}}%
\put(124.516,1.000){\line(0,1){2.000}}%
\put(132.264,1.000){\line(0,1){2.000}}%
\put(139.238,1.000){\line(0,1){2.000}}%
\put(145.514,1.000){\line(0,1){2.000}}%
\put(151.162,1.000){\line(0,1){2.000}}%
\put(156.246,1.000){\line(0,1){2.000}}%
\put(160.822,1.000){\line(0,1){2.000}}%
\put(164.940,1.000){\line(0,1){2.000}}%
\put(168.646,1.000){\line(0,1){2.000}}%
\put(171.982,1.000){\line(0,1){2.000}}%
\put(174.982,1.000){\line(0,1){2.000}}%
\put(177.684,1.000){\line(0,1){2.000}}%
\put(180.116,1.000){\line(0,1){2.000}}%
\put(182.304,1.000){\line(0,1){2.000}}%
\put(184.274,1.000){\line(0,1){2.000}}%
\put(186.046,1.000){\line(0,1){2.000}}%
\put(187.642,1.000){\line(0,1){2.000}}%
\put(189.078,1.000){\line(0,1){2.000}}%
\put(190.370,1.000){\line(0,1){2.000}}%
\put(191.534,1.000){\line(0,1){2.000}}%
\put(192.580,1.000){\line(0,1){2.000}}%
\put(193.522,1.000){\line(0,1){2.000}}%
\put(194.370,1.000){\line(0,1){2.000}}%
\put(195.132,1.000){\line(0,1){2.000}}%
\put(195.820,1.000){\line(0,1){2.000}}%
\put(196.438,1.000){\line(0,1){2.000}}%
\put(196.994,1.000){\line(0,1){2.000}}%
\put(197.494,1.000){\line(0,1){2.000}}%
\put(197.944,1.000){\line(0,1){2.000}}%
\put(198.350,1.000){\line(0,1){2.000}}%
\put(198.716,1.000){\line(0,1){2.000}}%
\put(199.044,1.000){\line(0,1){2.000}}%
\put(199.340,1.000){\line(0,1){2.000}}%
\put(199.606,1.000){\line(0,1){2.000}}%
\put(199.844,1.000){\line(0,1){2.000}}%
\put(200.060,1.000){\line(0,1){2.000}}%
\put(200.254,1.000){\line(0,1){2.000}}%
\put(200.428,1.000){\line(0,1){2.000}}%
\put(200.586,1.000){\line(0,1){2.000}}%
\put(200.728,1.000){\line(0,1){2.000}}%
\put(200.854,1.000){\line(0,1){2.000}}%
\put(200.970,1.000){\line(0,1){2.000}}%
\put(201.072,1.000){\line(0,1){2.000}}%
\put(201.166,1.000){\line(0,1){2.000}}%
\put(201.248,1.000){\line(0,1){2.000}}%
\put(201.324,1.000){\line(0,1){2.000}}%
\put(201.392,1.000){\line(0,1){2.000}}%
\put(201.452,1.000){\line(0,1){2.000}}%
\put(201.506,1.000){\line(0,1){2.000}}%
\put(201.556,1.000){\line(0,1){2.000}}%
\put(201.600,1.000){\line(0,1){2.000}}%
\put(201.640,1.000){\line(0,1){2.000}}%
\put(201.676,1.000){\line(0,1){2.000}}%
\put(201.708,1.000){\line(0,1){2.000}}%
\put(201.738,1.000){\line(0,1){2.000}}%
\put(201.764,1.000){\line(0,1){2.000}}%
\put(201.788,1.000){\line(0,1){2.000}}%
\put(201.808,1.000){\line(0,1){2.000}}%
\put(201.828,1.000){\line(0,1){2.000}}%
\put(201.846,1.000){\line(0,1){2.000}}%
\put(201.860,1.000){\line(0,1){2.000}}%
\put(201.874,1.000){\line(0,1){2.000}}%
\put(201.888,1.000){\line(0,1){2.000}}%
\put(201.898,1.000){\line(0,1){2.000}}%
\put(201.908,1.000){\line(0,1){2.000}}%
\put(201.918,1.000){\line(0,1){2.000}}%
\put(201.926,1.000){\line(0,1){2.000}}%
\put(201.934,1.000){\line(0,1){2.000}}%
\put(201.940,1.000){\line(0,1){2.000}}%
\put(201.946,1.000){\line(0,1){2.000}}%
\put(201.952,1.000){\line(0,1){2.000}}%
\put(201.956,1.000){\line(0,1){2.000}}%
\put(201.960,1.000){\line(0,1){2.000}}%
\put(201.964,1.000){\line(0,1){2.000}}%
\put(201.968,1.000){\line(0,1){2.000}}%
\put(201.972,1.000){\line(0,1){2.000}}%
\put(201.974,1.000){\line(0,1){2.000}}%
\put(201.976,1.000){\line(0,1){2.000}}%
\put(201.980,1.000){\line(0,1){2.000}}%
\put(201.982,1.000){\line(0,1){2.000}}%
\put(201.984,1.000){\line(0,1){2.000}}%

% x (hor) tics high
\put(22.000,201.000){\line(0,1){2.000}}%
\put(40.000,201.000){\line(0,1){2.000}}%
\put(56.200,201.000){\line(0,1){2.000}}%
\put(70.780,201.000){\line(0,1){2.000}}%
\put(83.902,201.000){\line(0,1){2.000}}%
\put(95.712,201.000){\line(0,1){2.000}}%
\put(106.340,201.000){\line(0,1){2.000}}%
\put(115.906,201.000){\line(0,1){2.000}}%
\put(124.516,201.000){\line(0,1){2.000}}%
\put(132.264,201.000){\line(0,1){2.000}}%
\put(139.238,201.000){\line(0,1){2.000}}%
\put(145.514,201.000){\line(0,1){2.000}}%
\put(151.162,201.000){\line(0,1){2.000}}%
\put(156.246,201.000){\line(0,1){2.000}}%
\put(160.822,201.000){\line(0,1){2.000}}%
\put(164.940,201.000){\line(0,1){2.000}}%
\put(168.646,201.000){\line(0,1){2.000}}%
\put(171.982,201.000){\line(0,1){2.000}}%
\put(174.982,201.000){\line(0,1){2.000}}%
\put(177.684,201.000){\line(0,1){2.000}}%
\put(180.116,201.000){\line(0,1){2.000}}%
\put(182.304,201.000){\line(0,1){2.000}}%
\put(184.274,201.000){\line(0,1){2.000}}%
\put(186.046,201.000){\line(0,1){2.000}}%
\put(187.642,201.000){\line(0,1){2.000}}%
\put(189.078,201.000){\line(0,1){2.000}}%
\put(190.370,201.000){\line(0,1){2.000}}%
\put(191.534,201.000){\line(0,1){2.000}}%
\put(192.580,201.000){\line(0,1){2.000}}%
\put(193.522,201.000){\line(0,1){2.000}}%
\put(194.370,201.000){\line(0,1){2.000}}%
\put(195.132,201.000){\line(0,1){2.000}}%
\put(195.820,201.000){\line(0,1){2.000}}%
\put(196.438,201.000){\line(0,1){2.000}}%
\put(196.994,201.000){\line(0,1){2.000}}%
\put(197.494,201.000){\line(0,1){2.000}}%
\put(197.944,201.000){\line(0,1){2.000}}%
\put(198.350,201.000){\line(0,1){2.000}}%
\put(198.716,201.000){\line(0,1){2.000}}%
\put(199.044,201.000){\line(0,1){2.000}}%
\put(199.340,201.000){\line(0,1){2.000}}%
\put(199.606,201.000){\line(0,1){2.000}}%
\put(199.844,201.000){\line(0,1){2.000}}%
\put(200.060,201.000){\line(0,1){2.000}}%
\put(200.254,201.000){\line(0,1){2.000}}%
\put(200.428,201.000){\line(0,1){2.000}}%
\put(200.586,201.000){\line(0,1){2.000}}%
\put(200.728,201.000){\line(0,1){2.000}}%
\put(200.854,201.000){\line(0,1){2.000}}%
\put(200.970,201.000){\line(0,1){2.000}}%
\put(201.072,201.000){\line(0,1){2.000}}%
\put(201.166,201.000){\line(0,1){2.000}}%
\put(201.248,201.000){\line(0,1){2.000}}%
\put(201.324,201.000){\line(0,1){2.000}}%
\put(201.392,201.000){\line(0,1){2.000}}%
\put(201.452,201.000){\line(0,1){2.000}}%
\put(201.506,201.000){\line(0,1){2.000}}%
\put(201.556,201.000){\line(0,1){2.000}}%
\put(201.600,201.000){\line(0,1){2.000}}%
\put(201.640,201.000){\line(0,1){2.000}}%
\put(201.676,201.000){\line(0,1){2.000}}%
\put(201.708,201.000){\line(0,1){2.000}}%
\put(201.738,201.000){\line(0,1){2.000}}%
\put(201.764,201.000){\line(0,1){2.000}}%
\put(201.788,201.000){\line(0,1){2.000}}%
\put(201.808,201.000){\line(0,1){2.000}}%
\put(201.828,201.000){\line(0,1){2.000}}%
\put(201.846,201.000){\line(0,1){2.000}}%
\put(201.860,201.000){\line(0,1){2.000}}%
\put(201.874,201.000){\line(0,1){2.000}}%
\put(201.888,201.000){\line(0,1){2.000}}%
\put(201.898,201.000){\line(0,1){2.000}}%
\put(201.908,201.000){\line(0,1){2.000}}%
\put(201.918,201.000){\line(0,1){2.000}}%
\put(201.926,201.000){\line(0,1){2.000}}%
\put(201.934,201.000){\line(0,1){2.000}}%
\put(201.940,201.000){\line(0,1){2.000}}%
\put(201.946,201.000){\line(0,1){2.000}}%
\put(201.952,201.000){\line(0,1){2.000}}%
\put(201.956,201.000){\line(0,1){2.000}}%
\put(201.960,201.000){\line(0,1){2.000}}%
\put(201.964,201.000){\line(0,1){2.000}}%
\put(201.968,201.000){\line(0,1){2.000}}%
\put(201.972,201.000){\line(0,1){2.000}}%
\put(201.974,201.000){\line(0,1){2.000}}%
\put(201.976,201.000){\line(0,1){2.000}}%
\put(201.980,201.000){\line(0,1){2.000}}%
\put(201.982,201.000){\line(0,1){2.000}}%
\put(201.984,201.000){\line(0,1){2.000}}%

% y (vert) tics left
\put(1.000,22.000){\line(1,0){2.000}}
\put(1.000,40.000){\line(1,0){2.000}}
\put(1.000,56.200){\line(1,0){2.000}}
\put(1.000,70.780){\line(1,0){2.000}}
\put(1.000,83.902){\line(1,0){2.000}}
\put(1.000,95.712){\line(1,0){2.000}}
\put(1.000,106.340){\line(1,0){2.000}}%
\put(1.000,115.906){\line(1,0){2.000}}%
\put(1.000,124.516){\line(1,0){2.000}}%
\put(1.000,132.264){\line(1,0){2.000}}%
\put(1.000,139.238){\line(1,0){2.000}}%
\put(1.000,145.514){\line(1,0){2.000}}%
\put(1.000,151.162){\line(1,0){2.000}}%
\put(1.000,156.246){\line(1,0){2.000}}%
\put(1.000,160.822){\line(1,0){2.000}}%
\put(1.000,164.940){\line(1,0){2.000}}%
\put(1.000,168.646){\line(1,0){2.000}}%
\put(1.000,171.982){\line(1,0){2.000}}%
\put(1.000,174.982){\line(1,0){2.000}}%
\put(1.000,177.684){\line(1,0){2.000}}%
\put(1.000,180.116){\line(1,0){2.000}}%
\put(1.000,182.304){\line(1,0){2.000}}%
\put(1.000,184.274){\line(1,0){2.000}}%
\put(1.000,186.046){\line(1,0){2.000}}%
\put(1.000,187.642){\line(1,0){2.000}}%
\put(1.000,189.078){\line(1,0){2.000}}%
\put(1.000,190.370){\line(1,0){2.000}}%
\put(1.000,191.534){\line(1,0){2.000}}%
\put(1.000,192.580){\line(1,0){2.000}}%
\put(1.000,193.522){\line(1,0){2.000}}%
\put(1.000,194.370){\line(1,0){2.000}}%
\put(1.000,195.132){\line(1,0){2.000}}%
\put(1.000,195.820){\line(1,0){2.000}}%
\put(1.000,196.438){\line(1,0){2.000}}%
\put(1.000,196.994){\line(1,0){2.000}}%
\put(1.000,197.494){\line(1,0){2.000}}%
\put(1.000,197.944){\line(1,0){2.000}}%
\put(1.000,198.350){\line(1,0){2.000}}%
\put(1.000,198.716){\line(1,0){2.000}}%
\put(1.000,199.044){\line(1,0){2.000}}%
\put(1.000,199.340){\line(1,0){2.000}}%
\put(1.000,199.606){\line(1,0){2.000}}%
\put(1.000,199.844){\line(1,0){2.000}}%
\put(1.000,200.060){\line(1,0){2.000}}%
\put(1.000,200.254){\line(1,0){2.000}}%
\put(1.000,200.428){\line(1,0){2.000}}%
\put(1.000,200.586){\line(1,0){2.000}}%
\put(1.000,200.728){\line(1,0){2.000}}%
\put(1.000,200.854){\line(1,0){2.000}}%
\put(1.000,200.970){\line(1,0){2.000}}%
\put(1.000,201.072){\line(1,0){2.000}}%
\put(1.000,201.166){\line(1,0){2.000}}%
\put(1.000,201.248){\line(1,0){2.000}}%
\put(1.000,201.324){\line(1,0){2.000}}%
\put(1.000,201.392){\line(1,0){2.000}}%
\put(1.000,201.452){\line(1,0){2.000}}%
\put(1.000,201.506){\line(1,0){2.000}}%
\put(1.000,201.556){\line(1,0){2.000}}%
\put(1.000,201.600){\line(1,0){2.000}}%
\put(1.000,201.640){\line(1,0){2.000}}%
\put(1.000,201.676){\line(1,0){2.000}}%
\put(1.000,201.708){\line(1,0){2.000}}%
\put(1.000,201.738){\line(1,0){2.000}}%
\put(1.000,201.764){\line(1,0){2.000}}%
\put(1.000,201.788){\line(1,0){2.000}}%
\put(1.000,201.808){\line(1,0){2.000}}%
\put(1.000,201.828){\line(1,0){2.000}}%
\put(1.000,201.846){\line(1,0){2.000}}%
\put(1.000,201.860){\line(1,0){2.000}}%
\put(1.000,201.874){\line(1,0){2.000}}%
\put(1.000,201.888){\line(1,0){2.000}}%
\put(1.000,201.898){\line(1,0){2.000}}%
\put(1.000,201.908){\line(1,0){2.000}}%
\put(1.000,201.918){\line(1,0){2.000}}%
\put(1.000,201.926){\line(1,0){2.000}}%
\put(1.000,201.934){\line(1,0){2.000}}%
\put(1.000,201.940){\line(1,0){2.000}}%
\put(1.000,201.946){\line(1,0){2.000}}%
\put(1.000,201.952){\line(1,0){2.000}}%
\put(1.000,201.956){\line(1,0){2.000}}%
\put(1.000,201.960){\line(1,0){2.000}}%
\put(1.000,201.964){\line(1,0){2.000}}%
\put(1.000,201.968){\line(1,0){2.000}}%
\put(1.000,201.972){\line(1,0){2.000}}%
\put(1.000,201.974){\line(1,0){2.000}}%
\put(1.000,201.976){\line(1,0){2.000}}%
\put(1.000,201.980){\line(1,0){2.000}}%
\put(1.000,201.982){\line(1,0){2.000}}%
\put(1.000,201.984){\line(1,0){2.000}}%

% y (vert) tics right
\put(201.000,22.000){\line(1,0){2.000}}
\put(201.000,40.000){\line(1,0){2.000}}
\put(201.000,56.200){\line(1,0){2.000}}
\put(201.000,70.780){\line(1,0){2.000}}
\put(201.000,83.902){\line(1,0){2.000}}
\put(201.000,95.712){\line(1,0){2.000}}
\put(201.000,106.340){\line(1,0){2.000}}%
\put(201.000,115.906){\line(1,0){2.000}}%
\put(201.000,124.516){\line(1,0){2.000}}%
\put(201.000,132.264){\line(1,0){2.000}}%
\put(201.000,139.238){\line(1,0){2.000}}%
\put(201.000,145.514){\line(1,0){2.000}}%
\put(201.000,151.162){\line(1,0){2.000}}%
\put(201.000,156.246){\line(1,0){2.000}}%
\put(201.000,160.822){\line(1,0){2.000}}%
\put(201.000,164.940){\line(1,0){2.000}}%
\put(201.000,168.646){\line(1,0){2.000}}%
\put(201.000,171.982){\line(1,0){2.000}}%
\put(201.000,174.982){\line(1,0){2.000}}%
\put(201.000,177.684){\line(1,0){2.000}}%
\put(201.000,180.116){\line(1,0){2.000}}%
\put(201.000,182.304){\line(1,0){2.000}}%
\put(201.000,184.274){\line(1,0){2.000}}%
\put(201.000,186.046){\line(1,0){2.000}}%
\put(201.000,187.642){\line(1,0){2.000}}%
\put(201.000,189.078){\line(1,0){2.000}}%
\put(201.000,190.370){\line(1,0){2.000}}%
\put(201.000,191.534){\line(1,0){2.000}}%
\put(201.000,192.580){\line(1,0){2.000}}%
\put(201.000,193.522){\line(1,0){2.000}}%
\put(201.000,194.370){\line(1,0){2.000}}%
\put(201.000,195.132){\line(1,0){2.000}}%
\put(201.000,195.820){\line(1,0){2.000}}%
\put(201.000,196.438){\line(1,0){2.000}}%
\put(201.000,196.994){\line(1,0){2.000}}%
\put(201.000,197.494){\line(1,0){2.000}}%
\put(201.000,197.944){\line(1,0){2.000}}%
\put(201.000,198.350){\line(1,0){2.000}}%
\put(201.000,198.716){\line(1,0){2.000}}%
\put(201.000,199.044){\line(1,0){2.000}}%
\put(201.000,199.340){\line(1,0){2.000}}%
\put(201.000,199.606){\line(1,0){2.000}}%
\put(201.000,199.844){\line(1,0){2.000}}%
\put(201.000,200.060){\line(1,0){2.000}}%
\put(201.000,200.254){\line(1,0){2.000}}%
\put(201.000,200.428){\line(1,0){2.000}}%
\put(201.000,200.586){\line(1,0){2.000}}%
\put(201.000,200.728){\line(1,0){2.000}}%
\put(201.000,200.854){\line(1,0){2.000}}%
\put(201.000,200.970){\line(1,0){2.000}}%
\put(201.000,201.072){\line(1,0){2.000}}%
\put(201.000,201.166){\line(1,0){2.000}}%
\put(201.000,201.248){\line(1,0){2.000}}%
\put(201.000,201.324){\line(1,0){2.000}}%
\put(201.000,201.392){\line(1,0){2.000}}%
\put(201.000,201.452){\line(1,0){2.000}}%
\put(201.000,201.506){\line(1,0){2.000}}%
\put(201.000,201.556){\line(1,0){2.000}}%
\put(201.000,201.600){\line(1,0){2.000}}%
\put(201.000,201.640){\line(1,0){2.000}}%
\put(201.000,201.676){\line(1,0){2.000}}%
\put(201.000,201.708){\line(1,0){2.000}}%
\put(201.000,201.738){\line(1,0){2.000}}%
\put(201.000,201.764){\line(1,0){2.000}}%
\put(201.000,201.788){\line(1,0){2.000}}%
\put(201.000,201.808){\line(1,0){2.000}}%
\put(201.000,201.828){\line(1,0){2.000}}%
\put(201.000,201.846){\line(1,0){2.000}}%
\put(201.000,201.860){\line(1,0){2.000}}%
\put(201.000,201.874){\line(1,0){2.000}}%
\put(201.000,201.888){\line(1,0){2.000}}%
\put(201.000,201.898){\line(1,0){2.000}}%
\put(201.000,201.908){\line(1,0){2.000}}%
\put(201.000,201.918){\line(1,0){2.000}}%
\put(201.000,201.926){\line(1,0){2.000}}%
\put(201.000,201.934){\line(1,0){2.000}}%
\put(201.000,201.940){\line(1,0){2.000}}%
\put(201.000,201.946){\line(1,0){2.000}}%
\put(201.000,201.952){\line(1,0){2.000}}%
\put(201.000,201.956){\line(1,0){2.000}}%
\put(201.000,201.960){\line(1,0){2.000}}%
\put(201.000,201.964){\line(1,0){2.000}}%
\put(201.000,201.968){\line(1,0){2.000}}%
\put(201.000,201.972){\line(1,0){2.000}}%
\put(201.000,201.974){\line(1,0){2.000}}%
\put(201.000,201.976){\line(1,0){2.000}}%
\put(201.000,201.980){\line(1,0){2.000}}%
\put(201.000,201.982){\line(1,0){2.000}}%
\put(201.000,201.984){\line(1,0){2.000}}%

% axes
\put(1.000,2.000){\line(1,0){202.000}}%
\put(2.000,1.000){\line(0,1){202.000}}%

\put(202.000,3.000){\line(0,1){199.000}}%
\put(3.000,202.000){\line(1,0){199.000}}%

% numbers
\textcolor{cNat}{\put(3.000,3.000){\makebox(0.000,0.000)[bl]{$1$}}}%
\textcolor{cNat}{\put(23.000,3.000){\makebox(0.000,0.000)[bl]{$2$}}}%
\textcolor{cNat}{\put(41.000,3.000){\makebox(0.000,0.000)[bl]{$4$}}}%
\textcolor{cNat}{\put(57.200,3.000){\makebox(0.000,0.000)[bl]{$8$}}}%
\textcolor{cNat}{\put(71.780,3.000){\makebox(0.000,0.000)[bl]{$16$}}}%
\textcolor{cNat}{\put(84.902,3.000){\makebox(0.000,0.000)[bl]{$32$}}}%
\textcolor{cNat}{\put(96.712,3.000){\makebox(0.000,0.000)[bl]{$64$}}}%
\textcolor{cNat}{\put(107.340,3.000){\makebox(0.000,0.000)[bl]{\Large\bf...}}}%

\textcolor{cNat}{\put(3.000,23.000){\makebox(0.000,0.000)[bl]{$3$}}}%
\textcolor{cNat}{\put(23.000,23.000){\makebox(0.000,0.000)[bl]{$6$}}}%
\textcolor{cNat}{\put(41.000,23.000){\makebox(0.000,0.000)[bl]{$12$}}}%
\textcolor{cNat}{\put(57.200,23.000){\makebox(0.000,0.000)[bl]{$24$}}}%
\textcolor{cNat}{\put(71.780,23.000){\makebox(0.000,0.000)[bl]{$48$}}}%
\textcolor{cNat}{\put(84.902,23.000){\makebox(0.000,0.000)[bl]{$96$}}}%

\textcolor{cNat}{\put(3.000,41.000){\makebox(0.000,0.000)[bl]{$9$}}}%
\textcolor{cNat}{\put(23.000,41.000){\makebox(0.000,0.000)[bl]{$18$}}}%
\textcolor{cNat}{\put(41.000,41.000){\makebox(0.000,0.000)[bl]{$36$}}}%
\textcolor{cNat}{\put(57.200,41.000){\makebox(0.000,0.000)[bl]{$72$}}}%

\textcolor{cNat}{\put(3.000,57.200){\makebox(0.000,0.000)[bl]{$27$}}}%
\textcolor{cNat}{\put(23.000,57.200){\makebox(0.000,0.000)[bl]{$54$}}}%
\textcolor{cNat}{\put(57.200,57.200){\makebox(0.000,0.000)[bl]{\Large\bf.}}}%
\textcolor{cNat}{\put(58.500,58.500){\makebox(0.000,0.000)[bl]{\Large\bf.}}}%
\textcolor{cNat}{\put(59.800,59.800){\makebox(0.000,0.000)[bl]{\Large\bf.}}}%

\textcolor{cNat}{\put(3.000,71.780){\makebox(0.000,0.000)[bl]{$81$}}}%

\textcolor{cNat}{\put(3.000,84.902){\makebox(0.000,0.000)[bl]{\Large\bf\vdots}}}%

\textcolor{cNat}{\put(203.000,203.000){\makebox(0.000,0.000)[bl]{$0$}}}%
\put(3.000,203.000){\makebox(0.000,0.000)[bl]{$3^\infty$}}%
\put(23.000,203.000){\makebox(0.000,0.000)[bl]{$2 \!\cdot\! 3^\infty$}}%
\put(41.000,203.000){\makebox(0.000,0.000)[bl]{$4 \!\cdot\! 3^\infty$}}%
\put(57.200,203.000){\makebox(0.000,0.000)[bl]{$8 \!\cdot\! 3^\infty$}}%
\put(71.780,203.000){\makebox(0.000,0.000)[bl]{$\mathbf{\ldots}$}}%

\put(203.000,3.000){\makebox(0.000,0.000)[bl]{$2^\infty$}}%
\put(203.000,23.000){\makebox(0.000,0.000)[bl]{$2^\infty \!\cdot\! 3$}}%
\put(203.000,41.000){\makebox(0.000,0.000)[bl]{$2^\infty \!\cdot\! 9$}}%
\put(203.000,57.200){\makebox(0.000,0.000)[bl]{$\mathbf{\vdots}$}}%
\end{picture}
\end{document}
Licensing[edit]

I, the copyright holder of this work, hereby publish it under the following license:
This file is licensed under the Creative Commons Attribution-Share Alike 4.0 International license.
You are free:
to share – to copy, distribute and transmit the work
to remix – to adapt the work
Under the following conditions:
attribution – You must give appropriate credit, provide a link to the license, and indicate if changes were made. You may do so in any reasonable manner, but not in any way that suggests the licensor endorses you or your use.
share alike – If you remix, transform, or build upon the material, you must distribute your contributions under the same or compatible license as the original.
File history

Click on a date/time to view the file as it appeared at that time.
	Date/Time	Thumbnail	Dimensions	User	Comment
current	07:25, 13 April 2020		1,297 × 1,268 (41 KB)	Jochen Burghardt (talk \| contribs)	highlighted natural numbers in green; larger ldots
	08:14, 12 April 2020	No thumbnail	0 × 0 (34 KB)	Jochen Burghardt (talk \| contribs)	Uploaded own work with UploadWizard
You cannot overwrite this file.
File usage on Commons

The following page uses this file:
User:Chumwa/OgreBot/Charente-Maritime/2020 April 11-20
Metadata

This file contains additional information such as Exif metadata which may have been added by the digital camera, scanner, or software program used to create or digitize it. If the file has been modified from its original state, some details such as the timestamp may not fully reflect those of the original file. The timestamp is only as accurate as the clock in the camera, and it may be completely wrong.
Software used	TeX
Conversion program	pdfTeX-1.40.18
Encrypted	no
Page size	623.622 x 609.449 pts
Version of PDF format	1.5
File:Steinitz numbers.pdf

Captions

Captions

Summary[edit]

Licensing[edit]

File history

File usage on Commons

Metadata

Structured data

Items portrayed in this file

depicts

creator

some value

copyright status

copyrighted

copyright license

Creative Commons Attribution-ShareAlike 4.0 International

inception

12 April 2020

source of file

original creation by uploader

media type

application/pdf

Navigation menu

File:Steinitz numbers.pdf

Captions

Captions

Summary[edit]

Licensing[edit]

File history

File usage on Commons

Metadata

Navigation menu

Search
