גדול מספיק

מתוך ויקיפדיה, האנציקלופדיה החופשית
Crystal Clear app help index.svg
ערך ללא מקורות
בערך זה אין מקורות ביבליוגרפיים כלל, לא ברור על מה מסתמך הכתוב וייתכן שמדובר במחקר מקורי.

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

במתמטיקה, בקבוצה סדורה ליניארית, נאמר שטענה P "מתקיימת לכל x גדול מספיק" אם קיים איבר כך שלכל הטענה P מתקיימת. האיבר r לא בהכרח ידוע, די בכך שידוע שהוא קיים. המושג הזה מאפשר לנסח טענות בצורה נוחה וקלה להבנה, תוך השמטת הפרטים שאינם מהותיים. לדוגמה, כל פולינום שהמקדם המוביל שלו חיובי הוא חיובי כאשר הארגומנט גדול מספיק.

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

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

הביטוי קטן מספיק מתייחס למספרים ממשיים קרובים לאפס. אומרים שטענה P מתקיימת לכל x קטן מספיק אם קיים כך שלכל , הטענה P מתקיימת.