File:Cantor's first uncountability proof Case 1.pdf

No higher resolution available.

Cantor's_first_uncountability_proof_Case_1.pdf ‎(662 × 131 pixels, file size: 46 KB, MIME type: application/pdf)

Captions

English

Add a one-line explanation of what this file represents

Summary

Description	English: Used to illustrate case 1 of en:Cantor's first uncountability proof.
Date	6 August 2015
Source	Own work; after a specification of en:User:RJGray
Author	Jochen Burghardt
Other versions	The remaining cases are shown in File:Cantor's first uncountability proof Case 2.pdf and File:Cantor's first uncountability proof Case 3.pdf. Svg versions of all three files are found at File:Cantor's first uncountability proof Case 1 svg.svg, File:Cantor's first uncountability proof Case 2 svg.svg, and File:Cantor's first uncountability proof Case 3 svg.svg.

LaTeX source

\documentclass[12pt]{article}
\setlength{\unitlength}{0.75mm}
\usepackage[pdftex]{color}
\usepackage[paperwidth=125\unitlength,paperheight=25\unitlength]{geometry}
\setlength{\topmargin}{-36mm}
\setlength{\textwidth}{125\unitlength}
\setlength{\textheight}{25\unitlength}
\setlength{\oddsidemargin}{-23mm}
\setlength{\parindent}{0cm}
\pagestyle{empty}

% parantheses heights
\newlength{\parantA}
\newlength{\parantB}
\setlength{\parantA}{00.0mm}
\setlength{\parantB}{03.4mm}

% colors
\definecolor{cNLn}      {rgb}{0.00,0.00,0.40}   % number line
\definecolor{cGvn}      {rgb}{0.00,0.00,0.50}   % given interval
\definecolor{cISq}      {rgb}{0.80,0.80,0.80}   % interval sequence
\definecolor{cWit}      {rgb}{0.00,0.40,0.00}   % witness point
\definecolor{cLmt}      {rgb}{0.00,0.40,0.00}   % limit / innermost interval
\definecolor{cCns}      {rgb}{0.40,0.00,0.00}   % considered interval
%\definecolor{cSqP}     {rgb}{0.99,0.70,0.70}   % sequence point
%\definecolor{cSqL}     {rgb}{0.99,0.80,0.80}   % sequence line

% which case to render (select by defining as #1)
\newcommand{\caseI}[1]{#1}
\newcommand{\caseII}[1]{}
\newcommand{\caseIII}[1]{}

% nonstandard math fonts
%\renewcommand{\a}{{\mbox{\sl a}}}
%\renewcommand{\b}{{\mbox{\sl b}}}
%\renewcommand{\c}{{\mbox{\sl c}}}
%  \newcommand{\n}{{\mbox{\sl n}}}
%  \newcommand{\x}{{\mbox{\sl x}}}
%  \newcommand{\N}{{\mbox{\sl N}}}

% standard math fonts
 \renewcommand{\a}{a}
 \renewcommand{\b}{b}
 \renewcommand{\c}{c}
   \newcommand{\n}{n}
   \newcommand{\x}{x}
   \newcommand{\N}{N}

\begin{document}
\begin{picture}(120,20)

% number line
\thicklines%
\textcolor{cNLn}{\put(0.000,10.000){\line(1,0){120.000}}}%
\thinlines%
% given interval boundaries
\textcolor{cGvn}{\put(5.000,10.000){\makebox(0.000,0.000){$\left[\rule{0mm}{\parantB}\right.$}}}%
\textcolor{cGvn}{\put(5.000,1.000){\makebox(0.000,0.000)[b]{$\a$}}}%
\textcolor{cGvn}{\put(115.000,10.000){\makebox(0.000,0.000){$\left.\rule{0mm}{\parantB}\right]$}}}%
\textcolor{cGvn}{\put(115.000,1.000){\makebox(0.000,0.000)[b]{$\b$}}}%

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\caseI{%
% label (debug only)
%\put(0,0){\makebox(0,0)[tl]{\tiny Case 1}}%
% interval lower bound sequence
\textcolor{cISq}{\put(10.000,10.000){\makebox(0.000,0.000){$\left(\rule{0mm}{\parantA}\right.$}}}%
\textcolor{cISq}{\put(10.000,0.000){\makebox(0.000,0.000)[b]{$\a_1$}}}%
\textcolor{cISq}{\put(15.000,10.000){\makebox(0.000,0.000){$\left(\rule{0mm}{\parantA}\right.$}}}%
\textcolor{cISq}{\put(15.000,0.000){\makebox(0.000,0.000)[b]{$\a_2$}}}%
\textcolor{cISq}{\put(20.000,10.000){\makebox(0.000,0.000){$\left(\rule{0mm}{\parantA}\right.$}}}%
%\textcolor{cISq}{\put(20.000,0.000){\makebox(0.000,0.000)[b]{$\a_3$}}}%
\textcolor{cISq}{\put(25.000,10.000){\makebox(0.000,0.000){$\left(\rule{0mm}{\parantA}\right.$}}}%
\textcolor{cISq}{\put(30.000,10.000){\makebox(0.000,0.000){$\left(\rule{0mm}{\parantA}\right.$}}}%
\textcolor{cISq}{\put(21.000,0.000){\makebox(0.000,0.000)[b]{$\ldots$}}}%
\textcolor{cISq}{\put(35.000,10.000){\makebox(0.000,0.000){$\left(\rule{0mm}{\parantA}\right.$}}}%
% interval upper bound sequence
\textcolor{cISq}{\put(85.000,10.000){\makebox(0.000,0.000){$\left.\rule{0mm}{\parantA}\right)$}}}%
\textcolor{cISq}{\put(90.000,10.000){\makebox(0.000,0.000){$\left.\rule{0mm}{\parantA}\right)$}}}%
\textcolor{cISq}{\put(99.000,0.000){\makebox(0.000,0.000)[b]{$\ldots$}}}%
\textcolor{cISq}{\put(95.000,10.000){\makebox(0.000,0.000){$\left.\rule{0mm}{\parantA}\right)$}}}%
\textcolor{cISq}{\put(100.000,10.000){\makebox(0.000,0.000){$\left.\rule{0mm}{\parantA}\right)$}}}%
%\textcolor{cISq}{\put(100.000,0.000){\makebox(0.000,0.000)[b]{$\b_3$}}}%
\textcolor{cISq}{\put(105.000,10.000){\makebox(0.000,0.000){$\left.\rule{0mm}{\parantA}\right)$}}}%
\textcolor{cISq}{\put(105.000,0.000){\makebox(0.000,0.000)[b]{$\b_2$}}}%
\textcolor{cISq}{\put(110.000,10.000){\makebox(0.000,0.000){$\left.\rule{0mm}{\parantA}\right)$}}}%
\textcolor{cISq}{\put(110.000,0.000){\makebox(0.000,0.000)[b]{$\b_1$}}}%
% innermost interval
\textcolor{cLmt}{\put(40.000,10.000){\makebox(0.000,0.000){$\left(\rule{0mm}{\parantA}\right.$}}}%
\textcolor{cLmt}{\put(40.000,0.000){\makebox(0.000,0.000)[b]{$\a_\N$}}}%
\textcolor{cLmt}{\put(80.000,10.000){\makebox(0.000,0.000){$\left.\rule{0mm}{\parantA}\right)$}}}%
\textcolor{cLmt}{\put(80.000,0.000){\makebox(0.000,0.000)[b]{$\b_\N$}}}%
% witness point
\textcolor{cWit}{\put(55.000,10.000){\makebox(0.000,0.000){$\mid$}}}%
\textcolor{cWit}{\put(55.000,16.000){\makebox(0.000,0.000)[b]{$\c$}}}%
%
\textcolor{cCns}{\put(65.000,10.000){\makebox(0.000,0.000){$\mid$}}}%
\textcolor{cCns}{\put(65.000,15.000){\makebox(0.000,0.000)[b]{$\x_\n$}}}%
}%

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\caseII{%
% label (debug only)
%\put(0,0){\makebox(0,0)[tl]{\tiny Case 2}}%
% interval lower bound sequence
\textcolor{cISq}{\put(10.000,10.000){\makebox(0.000,0.000){$\left(\rule{0mm}{\parantA}\right.$}}}%
\textcolor{cISq}{\put(14.500,10.000){\makebox(0.000,0.000){$\left(\rule{0mm}{\parantA}\right.$}}}%
\textcolor{cISq}{\put(18.550,10.000){\makebox(0.000,0.000){$\left(\rule{0mm}{\parantA}\right.$}}}%
\textcolor{cISq}{\put(22.195,10.000){\makebox(0.000,0.000){$\left(\rule{0mm}{\parantA}\right.$}}}%
\textcolor{cISq}{\put(25.476,10.000){\makebox(0.000,0.000){$\left(\rule{0mm}{\parantA}\right.$}}}%
\textcolor{cISq}{\put(28.428,10.000){\makebox(0.000,0.000){$\left(\rule{0mm}{\parantA}\right.$}}}%
\textcolor{cISq}{\put(31.085,10.000){\makebox(0.000,0.000){$\left(\rule{0mm}{\parantA}\right.$}}}%
\textcolor{cCns}{\put(33.477,10.000){\makebox(0.000,0.000){$\left(\rule{0mm}{\parantA}\right.$}}}%
\textcolor{cISq}{\put(35.629,10.000){\makebox(0.000,0.000){$\left(\rule{0mm}{\parantA}\right.$}}}%
\textcolor{cISq}{\put(37.566,10.000){\makebox(0.000,0.000){$\left(\rule{0mm}{\parantA}\right.$}}}%
\textcolor{cISq}{\put(39.309,10.000){\makebox(0.000,0.000){$\left(\rule{0mm}{\parantA}\right.$}}}%
\textcolor{cISq}{\put(40.879,10.000){\makebox(0.000,0.000){$\left(\rule{0mm}{\parantA}\right.$}}}%
\textcolor{cISq}{\put(42.291,10.000){\makebox(0.000,0.000){$\left(\rule{0mm}{\parantA}\right.$}}}%
\textcolor{cISq}{\put(43.562,10.000){\makebox(0.000,0.000){$\left(\rule{0mm}{\parantA}\right.$}}}%
\textcolor{cISq}{\put(44.705,10.000){\makebox(0.000,0.000){$\left(\rule{0mm}{\parantA}\right.$}}}%
\textcolor{cISq}{\put(45.735,10.000){\makebox(0.000,0.000){$\left(\rule{0mm}{\parantA}\right.$}}}%
\textcolor{cISq}{\put(46.661,10.000){\makebox(0.000,0.000){$\left(\rule{0mm}{\parantA}\right.$}}}%
\textcolor{cISq}{\put(47.495,10.000){\makebox(0.000,0.000){$\left(\rule{0mm}{\parantA}\right.$}}}%
\textcolor{cISq}{\put(48.246,10.000){\makebox(0.000,0.000){$\left(\rule{0mm}{\parantA}\right.$}}}%
\textcolor{cISq}{\put(48.921,10.000){\makebox(0.000,0.000){$\left(\rule{0mm}{\parantA}\right.$}}}%
\textcolor{cISq}{\put(49.529,10.000){\makebox(0.000,0.000){$\left(\rule{0mm}{\parantA}\right.$}}}%
\textcolor{cISq}{\put(50.076,10.000){\makebox(0.000,0.000){$\left(\rule{0mm}{\parantA}\right.$}}}%
\textcolor{cISq}{\put(50.569,10.000){\makebox(0.000,0.000){$\left(\rule{0mm}{\parantA}\right.$}}}%
\textcolor{cISq}{\put(51.012,10.000){\makebox(0.000,0.000){$\left(\rule{0mm}{\parantA}\right.$}}}%
\textcolor{cISq}{\put(51.411,10.000){\makebox(0.000,0.000){$\left(\rule{0mm}{\parantA}\right.$}}}%
\textcolor{cISq}{\put(51.769,10.000){\makebox(0.000,0.000){$\left(\rule{0mm}{\parantA}\right.$}}}%
\textcolor{cISq}{\put(52.093,10.000){\makebox(0.000,0.000){$\left(\rule{0mm}{\parantA}\right.$}}}%
\textcolor{cISq}{\put(52.383,10.000){\makebox(0.000,0.000){$\left(\rule{0mm}{\parantA}\right.$}}}%
\textcolor{cISq}{\put(52.645,10.000){\makebox(0.000,0.000){$\left(\rule{0mm}{\parantA}\right.$}}}%
\textcolor{cISq}{\put(52.880,10.000){\makebox(0.000,0.000){$\left(\rule{0mm}{\parantA}\right.$}}}%
\textcolor{cISq}{\put(53.092,10.000){\makebox(0.000,0.000){$\left(\rule{0mm}{\parantA}\right.$}}}%
\textcolor{cISq}{\put(53.283,10.000){\makebox(0.000,0.000){$\left(\rule{0mm}{\parantA}\right.$}}}%
\textcolor{cISq}{\put(53.455,10.000){\makebox(0.000,0.000){$\left(\rule{0mm}{\parantA}\right.$}}}%
\textcolor{cISq}{\put(53.609,10.000){\makebox(0.000,0.000){$\left(\rule{0mm}{\parantA}\right.$}}}%
\textcolor{cISq}{\put(53.748,10.000){\makebox(0.000,0.000){$\left(\rule{0mm}{\parantA}\right.$}}}%
\textcolor{cISq}{\put(53.874,10.000){\makebox(0.000,0.000){$\left(\rule{0mm}{\parantA}\right.$}}}%
\textcolor{cISq}{\put(53.986,10.000){\makebox(0.000,0.000){$\left(\rule{0mm}{\parantA}\right.$}}}%
\textcolor{cISq}{\put(54.088,10.000){\makebox(0.000,0.000){$\left(\rule{0mm}{\parantA}\right.$}}}%
\textcolor{cISq}{\put(54.179,10.000){\makebox(0.000,0.000){$\left(\rule{0mm}{\parantA}\right.$}}}%
\textcolor{cISq}{\put(54.261,10.000){\makebox(0.000,0.000){$\left(\rule{0mm}{\parantA}\right.$}}}%
%
\textcolor{cISq}{\put(10.000,0){\makebox(0.000,0.000)[b]{$\a_1$}}}%
\textcolor{cISq}{\put(14.500,0){\makebox(0.000,0.000)[b]{$\a_2$}}}%
%\textcolor{cISq}{\put(18.550,0){\makebox(0.000,0.000)[b]{$\a_3$}}}%
\textcolor{cISq}{\put(24.000,1.000){\makebox(0.000,0.000)[b]{$\ldots$}}}%
\textcolor{cCns}{\put(33.477,0.000){\makebox(0.000,0.000)[b]{$\a_\n$}}}%
\textcolor{cISq}{\put(37.477,1.000){\makebox(0.000,0.000)[bl]{$\ldots$}}}%
% interval upper bound sequence
\textcolor{cISq}{\put(110.556,10.000){\makebox(0.000,0.000){$\left.\rule{0mm}{\parantA}\right)$}}}%
\textcolor{cISq}{\put(105.556,10.000){\makebox(0.000,0.000){$\left.\rule{0mm}{\parantA}\right)$}}}%
\textcolor{cISq}{\put(101.006,10.000){\makebox(0.000,0.000){$\left.\rule{0mm}{\parantA}\right)$}}}%
\textcolor{cISq}{\put( 96.865,10.000){\makebox(0.000,0.000){$\left.\rule{0mm}{\parantA}\right)$}}}%
\textcolor{cISq}{\put( 93.097,10.000){\makebox(0.000,0.000){$\left.\rule{0mm}{\parantA}\right)$}}}%
\textcolor{cISq}{\put( 89.668,10.000){\makebox(0.000,0.000){$\left.\rule{0mm}{\parantA}\right)$}}}%
\textcolor{cISq}{\put( 86.548,10.000){\makebox(0.000,0.000){$\left.\rule{0mm}{\parantA}\right)$}}}%
\textcolor{cCns}{\put( 83.709,10.000){\makebox(0.000,0.000){$\left.\rule{0mm}{\parantA}\right)$}}}%
\textcolor{cISq}{\put( 81.125,10.000){\makebox(0.000,0.000){$\left.\rule{0mm}{\parantA}\right)$}}}%
\textcolor{cISq}{\put( 78.774,10.000){\makebox(0.000,0.000){$\left.\rule{0mm}{\parantA}\right)$}}}%
\textcolor{cISq}{\put( 76.634,10.000){\makebox(0.000,0.000){$\left.\rule{0mm}{\parantA}\right)$}}}%
\textcolor{cISq}{\put( 74.687,10.000){\makebox(0.000,0.000){$\left.\rule{0mm}{\parantA}\right)$}}}%
\textcolor{cISq}{\put( 72.915,10.000){\makebox(0.000,0.000){$\left.\rule{0mm}{\parantA}\right)$}}}%
\textcolor{cISq}{\put( 71.303,10.000){\makebox(0.000,0.000){$\left.\rule{0mm}{\parantA}\right)$}}}%
\textcolor{cISq}{\put( 69.836,10.000){\makebox(0.000,0.000){$\left.\rule{0mm}{\parantA}\right)$}}}%
\textcolor{cISq}{\put( 68.500,10.000){\makebox(0.000,0.000){$\left.\rule{0mm}{\parantA}\right)$}}}%
\textcolor{cISq}{\put( 67.285,10.000){\makebox(0.000,0.000){$\left.\rule{0mm}{\parantA}\right)$}}}%
\textcolor{cISq}{\put( 66.180,10.000){\makebox(0.000,0.000){$\left.\rule{0mm}{\parantA}\right)$}}}%
\textcolor{cISq}{\put( 65.174,10.000){\makebox(0.000,0.000){$\left.\rule{0mm}{\parantA}\right)$}}}%
\textcolor{cISq}{\put( 64.258,10.000){\makebox(0.000,0.000){$\left.\rule{0mm}{\parantA}\right)$}}}%
\textcolor{cISq}{\put( 63.425,10.000){\makebox(0.000,0.000){$\left.\rule{0mm}{\parantA}\right)$}}}%
\textcolor{cISq}{\put( 62.666,10.000){\makebox(0.000,0.000){$\left.\rule{0mm}{\parantA}\right)$}}}%
\textcolor{cISq}{\put( 61.977,10.000){\makebox(0.000,0.000){$\left.\rule{0mm}{\parantA}\right)$}}}%
\textcolor{cISq}{\put( 61.349,10.000){\makebox(0.000,0.000){$\left.\rule{0mm}{\parantA}\right)$}}}%
\textcolor{cISq}{\put( 60.777,10.000){\makebox(0.000,0.000){$\left.\rule{0mm}{\parantA}\right)$}}}%
\textcolor{cISq}{\put( 60.257,10.000){\makebox(0.000,0.000){$\left.\rule{0mm}{\parantA}\right)$}}}%
\textcolor{cISq}{\put( 59.784,10.000){\makebox(0.000,0.000){$\left.\rule{0mm}{\parantA}\right)$}}}%
\textcolor{cISq}{\put( 59.354,10.000){\makebox(0.000,0.000){$\left.\rule{0mm}{\parantA}\right)$}}}%
\textcolor{cISq}{\put( 58.962,10.000){\makebox(0.000,0.000){$\left.\rule{0mm}{\parantA}\right)$}}}%
\textcolor{cISq}{\put( 58.605,10.000){\makebox(0.000,0.000){$\left.\rule{0mm}{\parantA}\right)$}}}%
\textcolor{cISq}{\put( 58.281,10.000){\makebox(0.000,0.000){$\left.\rule{0mm}{\parantA}\right)$}}}%
\textcolor{cISq}{\put( 57.985,10.000){\makebox(0.000,0.000){$\left.\rule{0mm}{\parantA}\right)$}}}%
\textcolor{cISq}{\put( 57.717,10.000){\makebox(0.000,0.000){$\left.\rule{0mm}{\parantA}\right)$}}}%
\textcolor{cISq}{\put( 57.472,10.000){\makebox(0.000,0.000){$\left.\rule{0mm}{\parantA}\right)$}}}%
\textcolor{cISq}{\put( 57.250,10.000){\makebox(0.000,0.000){$\left.\rule{0mm}{\parantA}\right)$}}}%
\textcolor{cISq}{\put( 57.047,10.000){\makebox(0.000,0.000){$\left.\rule{0mm}{\parantA}\right)$}}}%
\textcolor{cISq}{\put( 56.863,10.000){\makebox(0.000,0.000){$\left.\rule{0mm}{\parantA}\right)$}}}%
\textcolor{cISq}{\put( 56.695,10.000){\makebox(0.000,0.000){$\left.\rule{0mm}{\parantA}\right)$}}}%
\textcolor{cISq}{\put( 56.543,10.000){\makebox(0.000,0.000){$\left.\rule{0mm}{\parantA}\right)$}}}%
\textcolor{cISq}{\put( 56.404,10.000){\makebox(0.000,0.000){$\left.\rule{0mm}{\parantA}\right)$}}}%
\textcolor{cISq}{\put( 56.278,10.000){\makebox(0.000,0.000){$\left.\rule{0mm}{\parantA}\right)$}}}%
\textcolor{cISq}{\put( 56.163,10.000){\makebox(0.000,0.000){$\left.\rule{0mm}{\parantA}\right)$}}}%
\textcolor{cISq}{\put( 56.058,10.000){\makebox(0.000,0.000){$\left.\rule{0mm}{\parantA}\right)$}}}%
\textcolor{cISq}{\put( 55.963,10.000){\makebox(0.000,0.000){$\left.\rule{0mm}{\parantA}\right)$}}}%
\textcolor{cISq}{\put( 55.876,10.000){\makebox(0.000,0.000){$\left.\rule{0mm}{\parantA}\right)$}}}%
\textcolor{cISq}{\put( 55.797,10.000){\makebox(0.000,0.000){$\left.\rule{0mm}{\parantA}\right)$}}}%
\textcolor{cISq}{\put( 55.725,10.000){\makebox(0.000,0.000){$\left.\rule{0mm}{\parantA}\right)$}}}%
\textcolor{cISq}{\put( 55.660,10.000){\makebox(0.000,0.000){$\left.\rule{0mm}{\parantA}\right)$}}}%
\textcolor{cISq}{\put( 55.601,10.000){\makebox(0.000,0.000){$\left.\rule{0mm}{\parantA}\right)$}}}%
\textcolor{cISq}{\put( 55.547,10.000){\makebox(0.000,0.000){$\left.\rule{0mm}{\parantA}\right)$}}}%
\textcolor{cISq}{\put( 55.498,10.000){\makebox(0.000,0.000){$\left.\rule{0mm}{\parantA}\right)$}}}%
\textcolor{cISq}{\put( 55.453,10.000){\makebox(0.000,0.000){$\left.\rule{0mm}{\parantA}\right)$}}}%
\textcolor{cISq}{\put( 55.412,10.000){\makebox(0.000,0.000){$\left.\rule{0mm}{\parantA}\right)$}}}%
\textcolor{cISq}{\put( 55.375,10.000){\makebox(0.000,0.000){$\left.\rule{0mm}{\parantA}\right)$}}}%
\textcolor{cISq}{\put( 55.341,10.000){\makebox(0.000,0.000){$\left.\rule{0mm}{\parantA}\right)$}}}%
\textcolor{cISq}{\put( 55.310,10.000){\makebox(0.000,0.000){$\left.\rule{0mm}{\parantA}\right)$}}}%
\textcolor{cISq}{\put( 55.283,10.000){\makebox(0.000,0.000){$\left.\rule{0mm}{\parantA}\right)$}}}%
\textcolor{cISq}{\put( 55.257,10.000){\makebox(0.000,0.000){$\left.\rule{0mm}{\parantA}\right)$}}}%
\textcolor{cISq}{\put( 55.234,10.000){\makebox(0.000,0.000){$\left.\rule{0mm}{\parantA}\right)$}}}%
\textcolor{cISq}{\put( 55.213,10.000){\makebox(0.000,0.000){$\left.\rule{0mm}{\parantA}\right)$}}}%
\textcolor{cISq}{\put( 55.194,10.000){\makebox(0.000,0.000){$\left.\rule{0mm}{\parantA}\right)$}}}%
\textcolor{cISq}{\put( 55.176,10.000){\makebox(0.000,0.000){$\left.\rule{0mm}{\parantA}\right)$}}}%
\textcolor{cISq}{\put( 55.160,10.000){\makebox(0.000,0.000){$\left.\rule{0mm}{\parantA}\right)$}}}%
\textcolor{cISq}{\put( 55.146,10.000){\makebox(0.000,0.000){$\left.\rule{0mm}{\parantA}\right)$}}}%
\textcolor{cISq}{\put( 55.133,10.000){\makebox(0.000,0.000){$\left.\rule{0mm}{\parantA}\right)$}}}%
\textcolor{cISq}{\put( 55.121,10.000){\makebox(0.000,0.000){$\left.\rule{0mm}{\parantA}\right)$}}}%
\textcolor{cISq}{\put( 55.110,10.000){\makebox(0.000,0.000){$\left.\rule{0mm}{\parantA}\right)$}}}%
\textcolor{cISq}{\put( 55.100,10.000){\makebox(0.000,0.000){$\left.\rule{0mm}{\parantA}\right)$}}}%
\textcolor{cISq}{\put( 55.091,10.000){\makebox(0.000,0.000){$\left.\rule{0mm}{\parantA}\right)$}}}%
\textcolor{cISq}{\put( 55.083,10.000){\makebox(0.000,0.000){$\left.\rule{0mm}{\parantA}\right)$}}}%
\textcolor{cISq}{\put( 55.075,10.000){\makebox(0.000,0.000){$\left.\rule{0mm}{\parantA}\right)$}}}%
\textcolor{cISq}{\put( 55.069,10.000){\makebox(0.000,0.000){$\left.\rule{0mm}{\parantA}\right)$}}}%
\textcolor{cISq}{\put( 55.062,10.000){\makebox(0.000,0.000){$\left.\rule{0mm}{\parantA}\right)$}}}%
\textcolor{cISq}{\put( 55.057,10.000){\makebox(0.000,0.000){$\left.\rule{0mm}{\parantA}\right)$}}}%
\textcolor{cISq}{\put( 55.052,10.000){\makebox(0.000,0.000){$\left.\rule{0mm}{\parantA}\right)$}}}%
\textcolor{cISq}{\put( 55.047,10.000){\makebox(0.000,0.000){$\left.\rule{0mm}{\parantA}\right)$}}}%
\textcolor{cISq}{\put( 55.043,10.000){\makebox(0.000,0.000){$\left.\rule{0mm}{\parantA}\right)$}}}%
\textcolor{cISq}{\put( 55.039,10.000){\makebox(0.000,0.000){$\left.\rule{0mm}{\parantA}\right)$}}}%
\textcolor{cISq}{\put( 55.035,10.000){\makebox(0.000,0.000){$\left.\rule{0mm}{\parantA}\right)$}}}%
\textcolor{cISq}{\put( 55.032,10.000){\makebox(0.000,0.000){$\left.\rule{0mm}{\parantA}\right)$}}}%
\textcolor{cISq}{\put( 55.029,10.000){\makebox(0.000,0.000){$\left.\rule{0mm}{\parantA}\right)$}}}%
%
\textcolor{cISq}{\put(79.709,1.000){\makebox(0.000,0.000)[br]{$\ldots$}}}%
\textcolor{cCns}{\put( 83.709,0.000){\makebox(0.000,0.000)[b]{$\b_\n$}}}%
%\textcolor{cISq}{\put(101.006,0.000){\makebox(0.000,0.000)[b]{$\b_3$}}}%
\textcolor{cISq}{\put(94.000,1.000){\makebox(0.000,0.000)[b]{$\ldots$}}}%
\textcolor{cISq}{\put(105.555,0.000){\makebox(0.000,0.000)[b]{$\b_2$}}}%
\textcolor{cISq}{\put(110.555,0.000){\makebox(0.000,0.000)[b]{$\b_1$}}}%
% interval limit
\textcolor{cLmt}{\put(54.645,10.000){\makebox(0.000,0.000){$\mid$}}}%
\textcolor{cLmt}{\put(54.645,0){\makebox(0.000,0.000)[b]{$\a_\infty$}}}%
%\textcolor{cLmt}{\put(54.645,0){\makebox(0.000,0.000)[b]{$\a_\infty \!=\! \b_\infty$}}}%
%
\textcolor{cCns}{\put(92.000,10.000){\makebox(0.000,0.000){$\mid$}}}%
\textcolor{cCns}{\put(92.000,15.000){\makebox(0.000,0.000)[b]{$\x_\n$}}}%
%
}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\caseIII{%
% label (debug only)
%\put(0,0){\makebox(0,0)[tl]{\tiny Case 3}}%
% interval lower bound sequence
\textcolor{cISq}{\put(10.000,10.000){\makebox(0.000,0.000){$\left(\rule{0mm}{\parantA}\right.$}}}%
\textcolor{cISq}{\put(14.250,10.000){\makebox(0.000,0.000){$\left(\rule{0mm}{\parantA}\right.$}}}%
\textcolor{cISq}{\put(17.863,10.000){\makebox(0.000,0.000){$\left(\rule{0mm}{\parantA}\right.$}}}%
\textcolor{cISq}{\put(20.933,10.000){\makebox(0.000,0.000){$\left(\rule{0mm}{\parantA}\right.$}}}%
\textcolor{cISq}{\put(23.543,10.000){\makebox(0.000,0.000){$\left(\rule{0mm}{\parantA}\right.$}}}%
\textcolor{cISq}{\put(25.762,10.000){\makebox(0.000,0.000){$\left(\rule{0mm}{\parantA}\right.$}}}%
\textcolor{cCns}{\put(27.647,10.000){\makebox(0.000,0.000){$\left(\rule{0mm}{\parantA}\right.$}}}%
\textcolor{cISq}{\put(29.250,10.000){\makebox(0.000,0.000){$\left(\rule{0mm}{\parantA}\right.$}}}%
\textcolor{cISq}{\put(30.613,10.000){\makebox(0.000,0.000){$\left(\rule{0mm}{\parantA}\right.$}}}%
\textcolor{cISq}{\put(31.771,10.000){\makebox(0.000,0.000){$\left(\rule{0mm}{\parantA}\right.$}}}%
\textcolor{cISq}{\put(32.755,10.000){\makebox(0.000,0.000){$\left(\rule{0mm}{\parantA}\right.$}}}%
\textcolor{cISq}{\put(33.592,10.000){\makebox(0.000,0.000){$\left(\rule{0mm}{\parantA}\right.$}}}%
\textcolor{cISq}{\put(34.303,10.000){\makebox(0.000,0.000){$\left(\rule{0mm}{\parantA}\right.$}}}%
\textcolor{cISq}{\put(34.908,10.000){\makebox(0.000,0.000){$\left(\rule{0mm}{\parantA}\right.$}}}%
\textcolor{cISq}{\put(35.422,10.000){\makebox(0.000,0.000){$\left(\rule{0mm}{\parantA}\right.$}}}%
\textcolor{cISq}{\put(35.858,10.000){\makebox(0.000,0.000){$\left(\rule{0mm}{\parantA}\right.$}}}%
\textcolor{cISq}{\put(36.230,10.000){\makebox(0.000,0.000){$\left(\rule{0mm}{\parantA}\right.$}}}%
\textcolor{cISq}{\put(36.545,10.000){\makebox(0.000,0.000){$\left(\rule{0mm}{\parantA}\right.$}}}%
\textcolor{cISq}{\put(36.813,10.000){\makebox(0.000,0.000){$\left(\rule{0mm}{\parantA}\right.$}}}%
\textcolor{cISq}{\put(37.041,10.000){\makebox(0.000,0.000){$\left(\rule{0mm}{\parantA}\right.$}}}%
\textcolor{cISq}{\put(37.235,10.000){\makebox(0.000,0.000){$\left(\rule{0mm}{\parantA}\right.$}}}%
\textcolor{cISq}{\put(37.400,10.000){\makebox(0.000,0.000){$\left(\rule{0mm}{\parantA}\right.$}}}%
\textcolor{cISq}{\put(37.540,10.000){\makebox(0.000,0.000){$\left(\rule{0mm}{\parantA}\right.$}}}%
\textcolor{cISq}{\put(37.659,10.000){\makebox(0.000,0.000){$\left(\rule{0mm}{\parantA}\right.$}}}%
\textcolor{cISq}{\put(37.760,10.000){\makebox(0.000,0.000){$\left(\rule{0mm}{\parantA}\right.$}}}%
\textcolor{cISq}{\put(37.846,10.000){\makebox(0.000,0.000){$\left(\rule{0mm}{\parantA}\right.$}}}%
\textcolor{cISq}{\put(37.919,10.000){\makebox(0.000,0.000){$\left(\rule{0mm}{\parantA}\right.$}}}%
\textcolor{cISq}{\put(37.981,10.000){\makebox(0.000,0.000){$\left(\rule{0mm}{\parantA}\right.$}}}%
\textcolor{cISq}{\put(38.034,10.000){\makebox(0.000,0.000){$\left(\rule{0mm}{\parantA}\right.$}}}%
\textcolor{cISq}{\put(38.079,10.000){\makebox(0.000,0.000){$\left(\rule{0mm}{\parantA}\right.$}}}%
\textcolor{cISq}{\put(38.117,10.000){\makebox(0.000,0.000){$\left(\rule{0mm}{\parantA}\right.$}}}%
\textcolor{cISq}{\put(38.150,10.000){\makebox(0.000,0.000){$\left(\rule{0mm}{\parantA}\right.$}}}%
\textcolor{cISq}{\put(38.177,10.000){\makebox(0.000,0.000){$\left(\rule{0mm}{\parantA}\right.$}}}%
\textcolor{cISq}{\put(38.201,10.000){\makebox(0.000,0.000){$\left(\rule{0mm}{\parantA}\right.$}}}%
\textcolor{cISq}{\put(38.220,10.000){\makebox(0.000,0.000){$\left(\rule{0mm}{\parantA}\right.$}}}%
\textcolor{cISq}{\put(38.237,10.000){\makebox(0.000,0.000){$\left(\rule{0mm}{\parantA}\right.$}}}%
\textcolor{cISq}{\put(38.252,10.000){\makebox(0.000,0.000){$\left(\rule{0mm}{\parantA}\right.$}}}%
\textcolor{cISq}{\put(38.264,10.000){\makebox(0.000,0.000){$\left(\rule{0mm}{\parantA}\right.$}}}%
\textcolor{cISq}{\put(38.274,10.000){\makebox(0.000,0.000){$\left(\rule{0mm}{\parantA}\right.$}}}%
%
\textcolor{cISq}{\put(10.000,0){\makebox(0.000,0.000)[b]{$\a_1$}}}%
\textcolor{cISq}{\put(14.250,0){\makebox(0.000,0.000)[b]{$\a_2$}}}%
%\textcolor{cISq}{\put(17.863,0){\makebox(0.000,0.000)[b]{$\a_3$}}}%
\textcolor{cISq}{\put(17.000,1.000){\makebox(0.000,0.000)[bl]{$\ldots$}}}%
\textcolor{cCns}{\put(27.647,0.000){\makebox(0.000,0.000)[b]{$\a_\n$}}}%
% interval upper bound sequence
\textcolor{cISq}{\put(110.000,10.000){\makebox(0.000,0.000){$\left.\rule{0mm}{\parantA}\right)$}}}%
\textcolor{cISq}{\put(105.000,10.000){\makebox(0.000,0.000){$\left.\rule{0mm}{\parantA}\right)$}}}%
\textcolor{cISq}{\put(100.550,10.000){\makebox(0.000,0.000){$\left.\rule{0mm}{\parantA}\right)$}}}%
\textcolor{cISq}{\put( 96.590,10.000){\makebox(0.000,0.000){$\left.\rule{0mm}{\parantA}\right)$}}}%
\textcolor{cISq}{\put( 93.065,10.000){\makebox(0.000,0.000){$\left.\rule{0mm}{\parantA}\right)$}}}%
\textcolor{cISq}{\put( 89.928,10.000){\makebox(0.000,0.000){$\left.\rule{0mm}{\parantA}\right)$}}}%
\textcolor{cISq}{\put( 87.136,10.000){\makebox(0.000,0.000){$\left.\rule{0mm}{\parantA}\right)$}}}%
\textcolor{cCns}{\put( 84.651,10.000){\makebox(0.000,0.000){$\left.\rule{0mm}{\parantA}\right)$}}}%
\textcolor{cISq}{\put( 82.439,10.000){\makebox(0.000,0.000){$\left.\rule{0mm}{\parantA}\right)$}}}%
\textcolor{cISq}{\put( 80.471,10.000){\makebox(0.000,0.000){$\left.\rule{0mm}{\parantA}\right)$}}}%
\textcolor{cISq}{\put( 78.719,10.000){\makebox(0.000,0.000){$\left.\rule{0mm}{\parantA}\right)$}}}%
\textcolor{cISq}{\put( 77.160,10.000){\makebox(0.000,0.000){$\left.\rule{0mm}{\parantA}\right)$}}}%
\textcolor{cISq}{\put( 75.772,10.000){\makebox(0.000,0.000){$\left.\rule{0mm}{\parantA}\right)$}}}%
\textcolor{cISq}{\put( 74.537,10.000){\makebox(0.000,0.000){$\left.\rule{0mm}{\parantA}\right)$}}}%
\textcolor{cISq}{\put( 73.438,10.000){\makebox(0.000,0.000){$\left.\rule{0mm}{\parantA}\right)$}}}%
\textcolor{cISq}{\put( 72.460,10.000){\makebox(0.000,0.000){$\left.\rule{0mm}{\parantA}\right)$}}}%
\textcolor{cISq}{\put( 71.589,10.000){\makebox(0.000,0.000){$\left.\rule{0mm}{\parantA}\right)$}}}%
\textcolor{cISq}{\put( 70.815,10.000){\makebox(0.000,0.000){$\left.\rule{0mm}{\parantA}\right)$}}}%
\textcolor{cISq}{\put( 70.125,10.000){\makebox(0.000,0.000){$\left.\rule{0mm}{\parantA}\right)$}}}%
\textcolor{cISq}{\put( 69.511,10.000){\makebox(0.000,0.000){$\left.\rule{0mm}{\parantA}\right)$}}}%
\textcolor{cISq}{\put( 68.965,10.000){\makebox(0.000,0.000){$\left.\rule{0mm}{\parantA}\right)$}}}%
\textcolor{cISq}{\put( 68.479,10.000){\makebox(0.000,0.000){$\left.\rule{0mm}{\parantA}\right)$}}}%
\textcolor{cISq}{\put( 68.046,10.000){\makebox(0.000,0.000){$\left.\rule{0mm}{\parantA}\right)$}}}%
\textcolor{cISq}{\put( 67.661,10.000){\makebox(0.000,0.000){$\left.\rule{0mm}{\parantA}\right)$}}}%
\textcolor{cISq}{\put( 67.318,10.000){\makebox(0.000,0.000){$\left.\rule{0mm}{\parantA}\right)$}}}%
\textcolor{cISq}{\put( 67.013,10.000){\makebox(0.000,0.000){$\left.\rule{0mm}{\parantA}\right)$}}}%
\textcolor{cISq}{\put( 66.742,10.000){\makebox(0.000,0.000){$\left.\rule{0mm}{\parantA}\right)$}}}%
\textcolor{cISq}{\put( 66.500,10.000){\makebox(0.000,0.000){$\left.\rule{0mm}{\parantA}\right)$}}}%
\textcolor{cISq}{\put( 66.285,10.000){\makebox(0.000,0.000){$\left.\rule{0mm}{\parantA}\right)$}}}%
\textcolor{cISq}{\put( 66.094,10.000){\makebox(0.000,0.000){$\left.\rule{0mm}{\parantA}\right)$}}}%
\textcolor{cISq}{\put( 65.924,10.000){\makebox(0.000,0.000){$\left.\rule{0mm}{\parantA}\right)$}}}%
\textcolor{cISq}{\put( 65.772,10.000){\makebox(0.000,0.000){$\left.\rule{0mm}{\parantA}\right)$}}}%
\textcolor{cISq}{\put( 65.637,10.000){\makebox(0.000,0.000){$\left.\rule{0mm}{\parantA}\right)$}}}%
\textcolor{cISq}{\put( 65.517,10.000){\makebox(0.000,0.000){$\left.\rule{0mm}{\parantA}\right)$}}}%
\textcolor{cISq}{\put( 65.410,10.000){\makebox(0.000,0.000){$\left.\rule{0mm}{\parantA}\right)$}}}%
\textcolor{cISq}{\put( 65.315,10.000){\makebox(0.000,0.000){$\left.\rule{0mm}{\parantA}\right)$}}}%
\textcolor{cISq}{\put( 65.230,10.000){\makebox(0.000,0.000){$\left.\rule{0mm}{\parantA}\right)$}}}%
\textcolor{cISq}{\put( 65.155,10.000){\makebox(0.000,0.000){$\left.\rule{0mm}{\parantA}\right)$}}}%
\textcolor{cISq}{\put( 65.088,10.000){\makebox(0.000,0.000){$\left.\rule{0mm}{\parantA}\right)$}}}%
\textcolor{cISq}{\put( 65.028,10.000){\makebox(0.000,0.000){$\left.\rule{0mm}{\parantA}\right)$}}}%
\textcolor{cISq}{\put( 64.975,10.000){\makebox(0.000,0.000){$\left.\rule{0mm}{\parantA}\right)$}}}%
%
\textcolor{cISq}{\put(80.651,1.000){\makebox(0.000,0.000)[br]{$\ldots$}}}%
\textcolor{cCns}{\put( 84.651,0.000){\makebox(0.000,0.000)[b]{$\b_\n$}}}%
\textcolor{cISq}{\put(95.651,1.000){\makebox(0.000,0.000)[b]{$\ldots$}}}%
%\textcolor{cISq}{\put(100.550,0.000){\makebox(0.000,0.000)[b]{$\b_3$}}}%
\textcolor{cISq}{\put(105.000,0.000){\makebox(0.000,0.000)[b]{$\b_2$}}}%
\textcolor{cISq}{\put(110.000,0.000){\makebox(0.000,0.000)[b]{$\b_1$}}}%
% interval limits
\textcolor{cLmt}{\put(38.333,10.000){\makebox(0.000,0.000){$\left[\rule{0mm}{\parantA}\right.$}}}%
\textcolor{cLmt}{\put(38.333,0){\makebox(0.000,0.000)[b]{$\a_\infty$}}}%
\textcolor{cLmt}{\put(64.545,10.000){\makebox(0.000,0.000){$\left.\rule{0mm}{\parantA}\right]$}}}%
\textcolor{cLmt}{\put(64.545,0){\makebox(0.000,0.000)[b]{$\b_\infty$}}}%
%
\textcolor{cWit}{\put(55,10.000){\makebox(0.000,0.000){$\mid$}}}%
\textcolor{cWit}{\put(55,16){\makebox(0.000,0.000)[b]{$\c$}}}%
\textcolor{cCns}{\put(92.000,10.000){\makebox(0.000,0.000){$\mid$}}}%
\textcolor{cCns}{\put(92.000,15.000){\makebox(0.000,0.000)[b]{$\x_\n$}}}%
}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\end{picture}
\end{document}

Licensing

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	Dimensions	User	Comment
current	16:49, 20 January 2020	662 × 131 (46 KB)	Jochen Burghardt (talk \| contribs)	corrected "c" to "y", to match renamings in the article en:Cantor's first set theory article
	18:14, 18 January 2020	662 × 131 (46 KB)	Jochen Burghardt (talk \| contribs)	changed index "N" to "L" to avoid confusion with index "n" (used in case 2 and 3) with screen readers, cf. en:User_talk:Jochen_Burghardt#Need small change to Georg Cantor's first set theory article
	12:30, 6 November 2015	552 × 110 (16 KB)	Jochen Burghardt (talk \| contribs)	separated sequence parantheses (80% grey) and captions (50%) colors
	10:29, 22 September 2015	552 × 110 (16 KB)	Jochen Burghardt (talk \| contribs)	changed c to y; adjusted \dots; darkened sequence interval color from 70% to 60%; cf. 3 Sep 2015 entry at w:User_talk:RJGray/The_proofs
	10:25, 3 September 2015	552 × 110 (46 KB)	Jochen Burghardt (talk \| contribs)	omitted a_3, b_3; enlarged font by reducing \unitlength to 0.75mm
	12:14, 18 August 2015	662 × 131 (18 KB)	Jochen Burghardt (talk \| contribs)	adapted img size
	12:00, 18 August 2015	737 × 145 (18 KB)	Jochen Burghardt (talk \| contribs)	As suggested 6+7 Aug 2015 at en:User talk:RJGray/The proofs
	16:27, 6 August 2015	737 × 145 (16 KB)	Jochen Burghardt (talk \| contribs)	User created page with UploadWizard

You cannot overwrite this file.

File usage on Commons

The following page uses this file:

User:Chumwa/OgreBot/Charente-Maritime/2020 January 11-20

File usage on other wikis

The following other wikis use this file:

Usage on en.wikipedia.org
- User:RJGray/Sandboxcantor links

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	318.895 x 63.779 pts
Version of PDF format	1.5

Structured data

File:Cantor's first uncountability proof Case 1.pdf

Captions

Captions

Summary

Licensing

File history

File usage on Commons

File usage on other wikis

Metadata

Structured data

Items portrayed in this file

depicts

creator

some value

copyright status

copyrighted

copyright license

Creative Commons Attribution-ShareAlike 4.0 International

source of file

original creation by uploader

inception

6 August 2015

media type

application/pdf

checksum

d2e8f705590e184c7f92e70fdb40bbb9117dc42a

data size

47,150 byte

height

131 pixel

width

662 pixel

number of pages

1

Navigation menu

File:Cantor's first uncountability proof Case 1.pdf

Captions

Captions

Summary

Licensing

File history

File usage on Commons

File usage on other wikis

Metadata

Navigation menu

Search