קובץ:Diagonal argument powerset.pdf
תוכן הדף אינו נתמך בשפות אחרות.
מראה
מתוך ויקיפדיה, האנציקלופדיה החופשית
Diagonal_argument_powerset.pdf (441 × 383 פיקסלים, גודל הקובץ: 12 ק"ב, סוג MIME: application/pdf)
![]() |
זהו קובץ שמקורו במיזם ויקישיתוף. תיאורו בדף תיאור הקובץ המקורי (בעברית) מוצג למטה. |
תקציר
תיאורDiagonal argument powerset.pdf |
English: An illustration of Cantor's diagonal argument for the existence of sets of arbitrary large cardinality (Cantor's theorem). The set T = {n∈ℕ: n∉f(n)} at the bottom cannot occur anywhere in the range of f:ℕ→ℙ(ℕ). The example mapping f is chosen similar to the example enumeration s in File:Diagonal argument 01.pdf. |
תאריך יצירה | |
מקור | נוצר על־ידי מעלה היצירה |
יוצר | Jochen Burghardt |
גרסאות אחרות | File:Diagonal argument powerset svg.svg |
LaTeX source Code |
---|
\documentclass{article}
\usepackage[pdftex]{color}
\usepackage[paperwidth=75mm,paperheight=65mm]{geometry}
\setlength{\topmargin}{-36mm}
\setlength{\textwidth}{75mm}
\setlength{\textheight}{65mm}
\setlength{\oddsidemargin}{-23mm}
\setlength{\parindent}{0mm}
\definecolor{cPos} {rgb}{0.99,0.90,0.90}
\definecolor{cNeg} {rgb}{0.90,0.90,0.99}
\definecolor{cPOS} {rgb}{0.99,0.00,0.00}
\definecolor{cNEG} {rgb}{0.00,0.00,0.99}
\pagestyle{empty}
\newcommand{\0}[1]{\textcolor{cPos}{#1}}
\newcommand{\1}[1]{\textcolor{cNeg}{#1}}
\newcommand{\2}[1]{\textcolor{cPOS}{#1}}
\newcommand{\3}[1]{\textcolor{cNEG}{#1}}
\begin{document}
$\begin{array}{|*{15}{@{\;}c}|}
\hline
f(1) & = \{ & \0{1,} & & & & & & & & & & & & \} \\
f(2) & = \{ & 1, & \2{2,}& 3, & 4, & 5, & 6, & 7, & 8, & 9, & 10, & 11, & \ldots & \} \\
f(3) & = \{ & & 2, & \0{3,}& 4, & & 6, & & 8, & & 10, & & \ldots & \} \\
f(4) & = \{ & 1, & & 3, &\0{4,} & 5, & & 7, & & 9, & & 11, & \ldots & \} \\
f(5) & = \{ & 1, & 2, & & 4, &\0{5,} & 6, & 7, & & 9, & & 11, & \ldots & \} \\
f(6) & = \{ & & & 3, & 4, & & \2{6,}& 7, & & 9, & 10, & & \ldots & \} \\
f(7) & = \{ & 1, & & & & 5, & &\0{7,} & & 9, & & & \ldots & \} \\
f(8) & = \{ & & & 3, & 4, & & & 7, & \2{8,}& & & 11, & \ldots & \} \\
f(9) & = \{ & 1, & 2, & & & 5, & 6, & & & \2{9,}& 10, & & \ldots & \} \\
f(10) & = \{ & 1, & 2, & & 4, & 5, & 6, & & & 9, &\0{10,}& 11, & \ldots & \} \\
f(11) & = \{ & 1, & 2, & & 4, & & 6, & & & 9, & &\0{11},& \ldots & \} \\
\vdots & & \vdots & \vdots & \vdots & \vdots & \vdots & \vdots & \vdots & \vdots & \vdots & \vdots & \vdots & \ddots & \\
\hline
\multicolumn{10}{c}{} \\
\hline
T & = \{ & \3{1,}& \1{2,}& \3{3,}& \3{4,}& \3{5,}& \1{6,}& \3{7,}& \1{8,}& \1{9,}& \3{10,}& \3{11,} & \ldots & \} \\
\hline
\end{array}$
\end{document}
|
רישיון
אני, בעל זכויות היוצרים על עבודה זו, מפרסם בזאת את העבודה תחת הרישיון הבא:
![w:he:Creative Commons](https://upload.wikimedia.org/wikipedia/commons/thumb/7/79/CC_some_rights_reserved.svg/90px-CC_some_rights_reserved.svg.png)
![ייחוס](https://upload.wikimedia.org/wikipedia/commons/thumb/1/11/Cc-by_new_white.svg/24px-Cc-by_new_white.svg.png)
![שיתוף זהה](https://upload.wikimedia.org/wikipedia/commons/thumb/d/df/Cc-sa_white.svg/24px-Cc-sa_white.svg.png)
הקובץ הזה מתפרסם לפי תנאי רישיון קריאייטיב קומונז ייחוס-שיתוף זהה 3.0 לא מותאם.
- הנכם רשאים:
- לשתף – להעתיק, להפיץ ולהעביר את העבודה
- לערבב בין עבודות – להתאים את העבודה
- תחת התנאים הבאים:
- ייחוס – יש לתת ייחוס הולם, לתת קישור לרישיון, ולציין אם נעשו שינויים. אפשר לעשות את זה בכל צורה סבירה, אבל לא בשום צורה שמשתמע ממנה שמעניק הרישיון תומך בך או בשימוש שלך.
- שיתוף זהה – אם תיצרו רמיקס, תשנו, או תבנו על החומר, חובה עליכם להפיץ את התרומות שלך לפי תנאי רישיון זהה או תואם למקור.
כיתובים
נא להוסיף משפט שמסביר מה הקובץ מייצג
פריטים שמוצגים בקובץ הזה
מוצג
ערך כלשהו ללא פריט ויקינתונים
12 בדצמבר 2013
היסטוריית הקובץ
ניתן ללחוץ על תאריך/שעה כדי לראות את הקובץ כפי שנראה באותו זמן.
תאריך/שעה | תמונה ממוזערת | ממדים | משתמש | הערה | |
---|---|---|---|---|---|
נוכחית | 14:37, 12 בדצמבר 2013 | ![]() | 383 × 441 (12 ק"ב) | Jochen Burghardt | User created page with UploadWizard |
שימוש בקובץ
אין בוויקיפדיה דפים המשתמשים בקובץ זה.
מטא־נתונים
קובץ זה מכיל מידע נוסף, שכנראה הגיע ממצלמה דיגיטלית או מסורק שבהם הקובץ נוצר או עבר דיגיטציה.
אם הקובץ שונה ממצבו הראשוני, כמה מהנתונים להלן עלולים שלא לשקף באופן מלא את הקובץ הנוכחי.
תוכנה בשימוש | TeX |
---|---|
תוכנת המרה | pdfTeX-1.40.3 |
מוצפן | no |
גודל דף | 212.598 x 184.252 pts |
הגרסה של תסדיר PDF | 1.4 |