פונקציית בסיס 13 של קונוויי – הבדלי גרסאות

תוכן שנמחק תוכן שנוסף
מ קונווי -> קונוויי (דרך WP:JWB)
מ הוספת קישור לתחום ההגדרה
שורה 17:
==תכונות==
 
הפונקציה מקבלת כל ערך ממשי בכל קטע המוכל בתחוםב[[תחום ההגדרה]] שלה. אכן, יהי <math>[c,d] \subseteq (0,1)</math> קטע (המכיל יותר מנקודה אחת), ויהי <math> r \in \mathbb{R} </math> מספר ממשי. נבנה <math>c<e<d</math> כך ש-<math>f(e)=r</math>. נייצג את <math>c,d</math> בבסיס 13 ואת <math>r</math> בבסיס עשרוני:
:<math>\ r=\pm A_1A_2 \ldots A_n . B_1B_2 \ldots;\ \ c=0.X_1X_2 \ldots X_mC_1C_2 \ldots;\ \ d=0.X_1X_2 \ldots X_mD_1D_2 \ldots </math>
כאשר <math>X_i</math> הם האיברים המשותפים בתחילת ההצגה של <math>c</math> ו-<math>d</math> (אם ישנם כאלו). נשים לב כי קיים <math>N>1</math> כך ש-<math>C_N \ne D</math> (כי נמנענו מהצגות בהן יש חזרה אינסופית על <math>D</math>). עתה נבנה את <math>e</math>: