צפיפות (תורת המספרים)

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

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

ההגדרה הפשוטה ביותר היא של צפיפות טבעית: נניח כי הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle A} קבוצת מספרים טבעיים. את הרישות שלה מסמנים הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle A(n)=A\cap\{1,\ldots,n\}} . העוצמה של הרישא מקיימת הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle 0\le|A(n)|\le n} , וההשוואה בין הקבוצה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle A} לקבוצת כל המספרים נעשית דרך הסדרה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \frac{|A(n)|}{n}} . הגבול של סדרה זו (אם הוא קיים) נקרא בשם "הצפיפות הטבעית של הסדרה". צפיפות זו (אם קיימת) היא בהכרח מספר בין 0 ל-1. אם הגבול אינו קיים, אין לקבוצה צפיפות טבעית. במקרה זה אפשר להשתמש בגבול העליון ובגבול התחתון של הסדרה שקיימים תמיד, לתיאור הצפיפות; אולם מערכי גבולות אלה קשה יותר להסיק על תכונות הקבוצה.

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