תורת הקבוצות הנאיבית

תורת הקבוצות הנאיבית הוא שמה של גישה אלמנטרית לתורת הקבוצות, שאותה פיתח גאורג קנטור בסוף המאה ה-19. התורה עוסקת במושג הקבוצה, שהיא אוסף מופשט של איברים, והיא מאפשרת טיפול מתמטי מדויק במושגי יסוד במתמטיקה, כגון יחס, פונקציה, מספר ואינסוף.
תורת הקבוצות המודרנית מבוססת על גישה אקסיומטית מדוקדקת (ראו אקסיומות צרמלו-פרנקל). הטיפול במושג הקבוצה באופן ישיר קרוי "תורת הקבוצות הנאיבית".

תולדות תורת הקבוצות 
את תורת הקבוצות החל לפתח גאורג קנטור ב-1870, בעקבות קשיים שהתעוררו בתורת הפונקציות הממשיות. קנטור חקר קבוצות של נקודות אי-רציפות, ואחר-כך קבוצות כלליות יותר. את מחקריו סיכם בשני מאמרים, שפורסמו ב-1895 וב-1897 תחת הכותרת "תרומה ליסודות התאוריה של מספרים טרנספיניטים" (במקור - בגרמנית), בכתב-העת "Mathematische Annalen". הגדרתו של קנטור לקבוצה הייתה:

על הגדרה זו העיר אברהם הלוי פרנקל:

בתחילת המאה ה-20 התגלו בתורת הקבוצות פרדוקסים, שנבעו מהיותה מתירנית מידי וחסרת ביסוס אקסיומטי נאות. לשם פתרון בעיות אלה פותחה תורת הקבוצות האקסיומטית, ובעקבות צעד זה, תורת הקבוצות ללא הביסוס האקסיומטי הקפדני נקראת תורת הקבוצות הנאיבית. תורת הקבוצות הנאיבית עוֹדֶנָה נלמדת כקורס בסיסי באוניברסיטאות, שכן היא פשוטה יותר להבנה, ומרבית רעיונותיה נכונים גם בגרסה האקסיומטית.

פרדוקסים 
הגדרת מושג הקבוצה באופן שמאפשר, הלכה למעשה, לכל עצם להיכלל בה, הובילה למספר פרדוקסים.

הפרדוקס של ראסל 

קודם להצגת הפרדוקס, נבהיר: בדרך כלל, קבוצה אינה איבר של עצמה.איבריה של הקבוצה A, שהגדרתה "קבוצת כל המספרים השלמים" הם מספרים, ולכן, הקבוצה A, שאינה מספר, אינה אחד מן האיברים של A. יש גם קבוצות שהן איבר של עצמן: למשל, הקבוצה B, שהגדרתה "קבוצת כל הקבוצות שיש להן הגדרה בת תשע מילים". הגדרתה של B היא בת תשע מילים, ולכן היא איבר של עצמה.

הפרדוקס עוסק בקבוצה D המוגדרת להלן:

כלומר, לכל קבוצה X, X היא איבר ב-D אם ורק אם הקבוצה X אינה איבר ב-X. לגבי הדוגמאות שהבאנו לעיל מתקיים: A היא איבר ב-D, ואילו B אינה איבר ב-D.

נשאלת עכשיו השאלה: האם הקבוצה D היא איבר ב-D? אם כן, אז בהתאם להגדרתה של D היא אינה איבר של עצמה. אך אז, בהגדרת הדרישות מהקבוצה X, הקבוצה D היא כן איבר של עצמה. שתי אפשרויות אלה מובילות לסתירה פנימית, בכך שהוכחנו טענה והיפוכה מאותה מערכת לוגית.

הפרדוקס של קנטור 

הפרדוקס של קנטור עוסק בהגדרת  ועל ההשלכות הסותרות על "מספר האיברים" (העוצמה) של כל קבוצה.

הפרדוקס של בורלי-פורטי 

הפרדוקס של בורלי-פורטי עוסק ב, אשר אינה יכולה להיות קבוצה (בתורת הקבוצות (הנאיבית)).

תורת הקבוצות האקסיומטית 

בעקבות הסתירות הללו, ובעיות נוספות שהתגלו, נוצר הצורך לבסס את רעיון הקבוצה באופן אקסיומטי. בעקבות כך, פותחה תורת הקבוצות האקסיומטית, שהיא למעשה התורה אליה לרוב מתכוונים היום מתמטיקאים כאשר הם מדברים על "תורת הקבוצות". האקסיומטיזציה של ארנסט צרמלו ואברהם הלוי פרנקל (אקסיומות צרמלו-פרנקל) מטילה מספר מגבלות על הגדרות של קבוצות, כדי להימנע מהסתירות האפשריות בתורה הנאיבית שהודגמו לעיל, והיא כיום הדרך המקובלת להתייחס לקבוצות באופן פורמלי.

לקריאה נוספת
 אי"י פוזננסקי, "על יסודות המתמטיקה", נספח לספר הגיון לשון ושיטה מאת יהושע בר-הלל, ספרית פועלים, 1970.

הערות שוליים

ערכים שבהם תבנית בריטניקה אינה מתאימה
תורת הקבוצות