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

מספר ליוביל הוא מספר ממשי שניתן לקרב אותו דיופנטית מכל סדר שהוא. פורמלית, ${\displaystyle x}$ מספר ליוביל אם לכל ${\displaystyle n}$ טבעי קיימים ${\displaystyle p}$ ו-${\displaystyle q>1}$ שלמים כך שמתקיים:

${\displaystyle 0<\left|x-{\frac {p}{q}}\right|<{\frac {1}{q^{n}}}}$

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

הדוגמה המוכרת ביותר למספר ליוביל היא קבוע ליוביל שהוגדר על ידי ליוביל ב-1851:

${\displaystyle c=\sum _{k\,=\,1}^{\infty }10^{-k!}=0.110001000000000000000001000\ldots }$

הספרה 1 מופיעה בפיתוח העשרוני של המספר במקום ה-${\displaystyle k!}$ לאחר הנקודה העשרונית לכל ${\displaystyle k}$ טבעי (ראו עצרת) ובכל מקום אחר מופיעה הספרה 0.

נגדיר סדרות:

${\displaystyle p_{n}=\sum _{k\,=\,1}^{n}10^{n!-k!};\quad q_{n}=10^{n!}}$

לכל ${\displaystyle n}$ טבעי מתקיים:

${\displaystyle \left|c-{\frac {p_{n}}{q_{n}}}\right|=\sum _{k\,=\,1}^{\infty }10^{-k!}-\sum _{k\,=\,1}^{n}10^{-k!}=\sum _{k\,=\,n+1}^{\infty }10^{-k!}=10^{-(n+1)!}+10^{-(n+2)!}+\cdots <10\cdot 10^{-(n+1)!}\leq (10^{-n!})^{n}={\frac {1}{q_{n}^{n}}}}$

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

קל לראות שכל מספר ליוביל הוא אי-רציונלי: נניח בשלילה כי ${\displaystyle {\frac {a}{b}}}$ מספר ליוביל רציונלי. נבחר ${\displaystyle n}$ גדול מספיק כך ש-${\displaystyle 2^{n-1}>b}$, ואז לכל ${\displaystyle {\frac {p}{q}}\neq {\frac {a}{b}}}$ ו-${\displaystyle q\geq 2}$ מתקיים:

${\displaystyle \left|{\frac {a}{b}}-{\frac {p}{q}}\right|=\left|{\frac {aq-bp}{bq}}\right|\geq {\frac {1}{bq}}>{\frac {1}{2^{n-1}q}}\geq {\frac {1}{q^{n}}}}$

בסתירה להגדרה.

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

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

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

לכל ${\displaystyle q\geq 2}$ ו-${\displaystyle n>2}$ נגדיר איחוד של קטעים פתוחים:

${\displaystyle V_{n,q}=\bigcup \limits _{p=-\infty }^{\infty }\left({\frac {p}{q}}-{\frac {1}{q^{n}}},{\frac {p}{q}}+{\frac {1}{q^{n}}}\right)}$

נסמן ${\displaystyle L}$ את קבוצת מספרי ליוביל. כל מספר ליוביל נמצא ב-${\displaystyle V_{n,q}}$ ל-${\displaystyle q}$ מסוים ולכל ${\displaystyle n}$. כלומר, לכל ${\displaystyle n}$ מתקיים ${\displaystyle L\subseteq \bigcup _{q\,=\,2}^{\infty }V_{n,q}}$. לכן לכל טבעי ${\displaystyle m}$:

${\displaystyle L\cap (-m,m)\subseteq \bigcup _{q\,=\,2}^{\infty }V_{n,q}\cap (-m,m)\subseteq \bigcup _{q\,=\,2}^{\infty }\bigcup _{p=-mq}^{mq}\left({\frac {p}{q}}-{\frac {1}{q^{n}}},{\frac {p}{q}}+{\frac {1}{q^{n}}}\right)}$

אורך הקטעים הוא ${\displaystyle \left|\left({\frac {p}{q}}+{\frac {1}{q^{n}}}\right)-\left({\frac {p}{q}}-{\frac {1}{q^{n}}}\right)\right|={\frac {2}{q^{n}}}}$ ולכן:

${\displaystyle m^{*}(L\cap (-m,m))\leq \sum _{q\,=\,2}^{\infty }\sum _{p=-mq}^{mq}{\frac {2}{q^{n}}}=\sum _{q\,=\,2}^{\infty }{\frac {4mq+2}{q^{n}}}\leq (4m+1)\sum _{q\,=\,2}^{\infty }{\frac {1}{q^{n-1}}}\leq (4m+1)\int \limits _{1}^{\infty }{\frac {dq}{q^{n-1}}}\leq {\frac {4m+1}{n-2}}}$

וכן ${\displaystyle \lim \limits _{n\to \infty }{\frac {4m+1}{n-2}}=0}$ וזאת לכל ${\displaystyle m}$. לכן ${\displaystyle L}$ ממידה אפס.

למספרי ליוביל ממד האוסדורף אפס. מבחינה טופולוגית מספרי ליוביל צפופים בישר הממשי.

• מספר ליוביל, באתר MathWorld (באנגלית)
• מספר ליוביל, באתר אנציקלופדיה בריטניקה (באנגלית)

מספרים אי-רציונליים נודעים
מספרים אלגבריים	2√ • 3√ • יחס הזהב 𝜑 • יחס הכסף δAg • היחס הפלסטי 𝜌
מספרים טרנסצנדנטיים	בסיס הלוגריתם הטבעי 𝑒 • פאי 𝜋 • קבוע גאוס • קבוע אומגה Ω • קבוע ליוביל
מספרים אי-רציונליים, שלא ידוע האם הם אלגבריים או טרנסצנדנטיים	קבוע אפרי (3)ζ • קבוע ארדש-בורוויין
טריגונומטריה	קבועים טריגונומטריים מדויקים