קיום ויחידות

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

לדוגמה, נגדיר "מספר סופר-תאום" שהוא מספר המשתתף בשני זוגות של ראשוניים תאומים. תחילה נוכיח כי קיום של מספר כזה על ידי כך שנצביע על מקרה מפורש: 5 הוא סופר תאום כי (3,5) ו-(5,7) שניהם זוגות של ראשוניים תאומים. עתה נוכיח יחידות: נניח כי קיים מקרה נוסף של סופר-תאום. כלומר קיים p ראשוני כך ש-P-2 ו-P+2 ראשוניים. שלושת הראשוניים יהיו שונים מודולו 3 ולכן אחד מהם יתחלק ב-3. אך אם ראשוני מתחלק ב-3 הוא בהכרח שווה ל-3 ולכן 3,5,7 היא האפשרות היחידה לשלשת הראשוניים. וכך הוכחנו את הקיום והיחידות של "מספר סופר תאום", ולמעשה המונח מגדיר את המספר 5.

בלוגיקה מתמטית מקובל לסמן קיום ויחידות של x המקיים תכונה P בעזרת הסימון ${\displaystyle \ \exists !x\,P(x)}$. זהו רק קיצור בלתי פורמלי לפסוקים שקולים אורכים יותר המבטאים קיום ויחידות, כמו: ${\displaystyle \exists x\,(P(x)\wedge \forall y\,(P(y)\to x=y))}$ (שפירושו: קיים x המקיים את P וכל y המקיים את P שווה ל-x).

• המשפט היסודי של האריתמטיקה מראה כי כל לכל מספר טבעי קיימת הצגה כמכפלת ראשוניים, וכי הצגה זו יחידה עד כדי סדר הגורמים.
• משפט הקיום והיחידות הוא משפט בסיסי בחקר משוואות דיפרנציאליות המבטיח בתנאים מסוימים, כי קיים פתרון למשוואה דיפרנציאלית וכי פתרון זה הוא יחיד.
• את שדה המספרים הממשיים ניתן להגדיר בצורה טבעית כשדה סדור שלם ארכימדי. ניתן להוכיח כי שדה הממשיים הוא היחיד המקיים תנאי זה.
• משפט בוהר-מולרופ מראה כי ישנה פונקציה יחידה המקיימת תנאים מסוימים (כשהמשמעותי מביניהם הוא ${\displaystyle \ f(x+1)=xf(x)}$ ל-x חיובי) וכי פונקציה זו היא פונקציית גמא, ובכך מספק הגדרה טבעית לפונקציה חשובה זו.
• קיים שדה סופי יחיד מכל סדר שהוא חזקה של מספר ראשוני.

• קיום ויחידות, באתר MathWorld (באנגלית)