צפיפות (תורת המספרים)
תורת המספרים / ויקיפדיה האנציקלופדיה encyclopedia
תורת המספרים עוסקת בין השאר בקבוצות אינסופיות של מספרים טבעיים, ובהשוואה ביניהן. למשל, "מובן מאליו" שיש "יותר" מספרים זוגיים, מאשר מספרים ריבועיים; בקבוצת המספרים הטבעיים שעד מיליון יש חצי-מיליון מספרים זוגיים, ורק אלף מספרים ריבועיים (המילה "יותר" נתונה במרכאות משום שלשתי הקבוצות עוצמה זהה, ). טיפול מתמטי מסודר בשאלות כאלה נעשה בעזרת מושג הצפיפות, שאפשר להגדיר בכמה דרכים.
בערך זה |
ההגדרה הפשוטה ביותר היא של צפיפות טבעית:
תהי קבוצת מספרים טבעיים. את הרישות שלה מסמנים . העוצמה של הרישא מקיימת , וההשוואה בין הקבוצה לקבוצת כל המספרים נעשית דרך הסדרה . הגבול של סדרה זו (אם הוא קיים) נקרא בשם "הצפיפות הטבעית של הסדרה". צפיפות זו (אם קיימת) היא בהכרח מספר בין 0 ל-1. אם הגבול אינו קיים, אין לקבוצה צפיפות טבעית. במקרה זה אפשר להשתמש בגבול העליון ובגבול התחתון של הסדרה שקיימים תמיד, לתיאור הצפיפות; אולם מערכי גבולות אלה קשה יותר להסיק על תכונות הקבוצה.
בתורת המספרים האנליטית שכיחה יותר צפיפות דיריכלה, המכלילה את הצפיפות הטבעית: אם לקבוצה יש צפיפות טבעית, אז יש לה גם צפיפות דיריכלה, והן שוות. בתורת המספרים האדיטיבית נעזרים במושג אחר של צפיפות, הנקרא צפיפות שנירלמן.