כלליות האלגברה

מתוך ויקיפדיה, האנציקלופדיה החופשית

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

דוגמה לשיטה הזו, היא הדרך בה אוילר הוכיח את השוויון הבא:

עבור .

אוילר השתמש בנוסחה:

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

כעת, על ידי אינטגרציה של הטור איבר-איבר, נקבל את השוויון המבוקש.

במונחים מודרניים, בהתאם לגישתו של קושי, ההוכחה שגויה. לאחר ההצבה r=1, הטור האינסופי שהתקבל באגף ימין אינו מתכנס ובפרט אין משמעות לאינטגרל שלו. למרות זאת, התוצאה המתקבלת נכונה, וניתן להוכיח אותה גם בצורה ריגורוזית.

דוגמה נוספת לאותה גישה היא ההוכחה של אוילר כי טור ההופכיים של המספרים הראשוניים מתבדר וכן פתרונו של אוילר לבעיית בזל.