קובץ:Cantor's first uncountability proof Case 1.pdf

אין גרסה ברזולוציה גבוהה יותר.

Cantor's_first_uncountability_proof_Case_1.pdf ‏(662 × 131 פיקסלים, גודל הקובץ: 46 ק"ב, סוג MIME‏: application/pdf)

זהו קובץ שמקורו במיזם ויקישיתוף. תיאורו בדף תיאור הקובץ המקורי (בעברית) מוצג למטה.

תקציר

תיאור	English: Used to illustrate case 1 of en:Cantor's first uncountability proof.
תאריך יצירה	‏6 באוגוסט 2015‏
מקור	נוצר על־ידי מעלה היצירה; after a specification of en:User:RJGray
יוצר	Jochen Burghardt
גרסאות אחרות	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}

רישיון

אני, בעל זכויות היוצרים על עבודה זו, מפרסם בזאת את העבודה תחת הרישיון הבא:

הקובץ הזה מתפרסם לפי תנאי רישיון קריאייטיב קומונז ייחוס-שיתוף זהה 4.0 בין־לאומי.

הנכם רשאים:

לשתף – להעתיק, להפיץ ולהעביר את העבודה
לערבב בין עבודות – להתאים את העבודה

תחת התנאים הבאים:

ייחוס – יש לתת ייחוס הולם, לתת קישור לרישיון, ולציין אם נעשו שינויים. אפשר לעשות את זה בכל צורה סבירה, אבל לא בשום צורה שמשתמע ממנה שמעניק הרישיון תומך בך או בשימוש שלך.
שיתוף זהה – אם תיצרו רמיקס, תשנו, או תבנו על החומר, חובה עליכם להפיץ את התרומות שלך לפי תנאי רישיון זהה או תואם למקור.

היסטוריית הקובץ

ניתן ללחוץ על תאריך/שעה כדי לראות את הקובץ כפי שנראה באותו זמן.

	תאריך/שעה	ממדים	משתמש	הערה
נוכחית	19:49, 20 בינואר 2020	‪131 × 662‬ (46 ק"ב)	Jochen Burghardt	corrected "c" to "y", to match renamings in the article en:Cantor's first set theory article
	21:14, 18 בינואר 2020	‪131 × 662‬ (46 ק"ב)	Jochen Burghardt	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
	15:30, 6 בנובמבר 2015	‪110 × 552‬ (16 ק"ב)	Jochen Burghardt	separated sequence parantheses (80% grey) and captions (50%) colors
	13:29, 22 בספטמבר 2015	‪110 × 552‬ (16 ק"ב)	Jochen Burghardt	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
	13:25, 3 בספטמבר 2015	‪110 × 552‬ (46 ק"ב)	Jochen Burghardt	omitted a_3, b_3; enlarged font by reducing \unitlength to 0.75mm
	15:14, 18 באוגוסט 2015	‪131 × 662‬ (18 ק"ב)	Jochen Burghardt	adapted img size
	15:00, 18 באוגוסט 2015	‪145 × 737‬ (18 ק"ב)	Jochen Burghardt	As suggested 6+7 Aug 2015 at en:User talk:RJGray/The proofs
	19:27, 6 באוגוסט 2015	‪145 × 737‬ (16 ק"ב)	Jochen Burghardt	User created page with UploadWizard

שימוש בקובץ

אין בוויקיפדיה דפים המשתמשים בקובץ זה.

שימוש גלובלי בקובץ

אתרי הוויקי השונים הבאים משתמשים בקובץ זה:

שימוש באתר en.wikipedia.org
- User:RJGray/Sandboxcantor links

מטא־נתונים

קובץ זה מכיל מידע נוסף, שכנראה הגיע ממצלמה דיגיטלית או מסורק שבהם הקובץ נוצר או עבר דיגיטציה.

אם הקובץ שונה ממצבו הראשוני, כמה מהנתונים להלן עלולים שלא לשקף באופן מלא את הקובץ הנוכחי.

תוכנה בשימוש	TeX
תוכנת המרה	pdfTeX-1.40.18
מוצפן	no
גודל דף	318.895 x 63.779 pts
הגרסה של תסדיר PDF	1.5

קובץ:Cantor's first uncountability proof Case 1.pdf

תקציר

רישיון

כיתובים

פריטים שמוצגים בקובץ הזה

מוצג

יוצר

ערך כלשהו ללא פריט ויקינתונים

מצב זכויות היוצרים

מוגבל בזכויות יוצרים

רישיון

רישיון Creative Commons ייחוס-שיתוף זהה 4.0 בין־לאומי

מקור הקובץ

יצירה מקורית של מעלה היצירה

תאריך הקמה או יצירה

6 באוגוסט 2015

סוג מדיה

application/pdf

checksum ^אנגלית

d2e8f705590e184c7f92e70fdb40bbb9117dc42a

נפח נתונים

47,150 בית

גובה

131 פיקסל

רוחב

662 פיקסל

מספר עמודים

1

היסטוריית הקובץ

שימוש בקובץ

שימוש גלובלי בקובץ

מטא־נתונים

תקציר

רישיון

כיתובים

פריטים שמוצגים בקובץ הזה

ערך כלשהו ללא פריט ויקינתונים

6 באוגוסט 2015

application/pdf

checksum אנגלית

d2e8f705590e184c7f92e70fdb40bbb9117dc42a

47,150 בית

131 פיקסל

662 פיקסל

1

היסטוריית הקובץ

שימוש בקובץ

שימוש גלובלי בקובץ

מטא־נתונים

checksum ^אנגלית