פונקציה רציונלית

פונקציה רציונלית היא פונקציה שניתנת להבעה כמנת פולינומים.

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

נאמר שפונקציה ${\displaystyle f(x)}$ רציונלית אם היא מהצורה ${\displaystyle f(x)={\frac {P(x)}{Q(x)}}}$ כאשר ${\displaystyle P(x)}$ ו-${\displaystyle Q(x)}$ הן פולינומים כך של-${\displaystyle Q(x)}$ יש לפחות מקדם אחד שונה מ-${\displaystyle 0}$. הפונקציה ${\displaystyle f}$ מוגדרת בכל נקודה בה ${\displaystyle Q}$ שונה מאפס.

פונקציה רציונלית היא מקרה פרטי של העתקה רציונלית.

הפונקציה ${\displaystyle f(x)={\frac {3x^{5}+6x-1}{2x-9}}}$ היא פונקציה רציונלית כי ${\displaystyle 3x^{5}+6x-1}$ ו־${\displaystyle 2x-9}$ הם פולינומים לעומת זאת ${\displaystyle g(x)=cos(x)}$ אינה פונקציה רציונלית, משום שלא ניתן לבטא אותה כמנת פולינומים. גם הפונקציה ${\displaystyle h(x)={\sqrt {x}}+2{\sqrt[{4}]{x}}}$ איננה רציונלית כי המעריכים של ${\displaystyle x}$ אינם שלמים.

כל פונקציה רציונלית היא רציפה בכל תחום הגדרתה, היות שכל פולינום מגדיר פונקציה רציפה, ומנת פונקציות רציפות אף היא רציפה. תהיינה ${\displaystyle f(x),g(x)}$ גזירות כאשר ${\displaystyle g(x)\neq 0}$. את הנגזרת של הפונקציה הרציונלית ${\displaystyle {\frac {f(x)}{g(x)}}}$ מקבלים על די הנוסחה ${\textstyle \left({\frac {f(x)}{g(x)}}\right)'={\tfrac {f'(x)g(x)-g'(x)f(x)}{g(x)^{2}}}}$.

ערך מורחב – אסימפטוטה

בניגוד לפונקציה ללא מנה כמו פונקציית פולינום, או פונקציית שורש ללא מנה, בפונקציות עם מנה ייתכנו אסימפטוטות, שהן ישרים אליהן הפונקציה שואפת להגיע, כאשר ${\displaystyle x\to \infty }$ או ${\displaystyle x\to -\infty }$.

מדיה וקבצים בנושא פונקציה רציונלית בוויקישיתוף

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

מרחבי פונקציות והכללותיהן

היפר-פונקציות     ${\displaystyle C^{-\infty }}$ פונקציות מוכללות מתונות ${\displaystyle C_{c}^{-\infty }}$                        ${\displaystyle L_{loc}^{1,-s}}$ ${\displaystyle L^{1,-s}}$ ${\displaystyle L_{c}^{1,-s}}$            ${\displaystyle L_{loc}^{p,-s}}$ ${\displaystyle L^{p,-s}}$ ${\displaystyle L_{c}^{p,-s}}$         מידות[1] מידות[1] נתמכות קומפקטית ${\displaystyle L_{loc}^{1}}$ ${\displaystyle L^{1}}$ ${\displaystyle L_{c}^{1}}$ ${\displaystyle L_{loc}^{p}}$ ${\displaystyle L_{}^{p}}$ ${\displaystyle L_{c}^{p}}$         ${\displaystyle L_{loc}^{1,s}}$ ${\displaystyle L^{1,s}}$ ${\displaystyle L_{c}^{1,s}}$ ${\displaystyle L_{loc}^{p,s}}$ ${\displaystyle L^{p,s}}$ ${\displaystyle L_{c}^{p,s}}$ ${\displaystyle L_{loc}^{2,s}}$ ${\displaystyle L_{loc}^{2}}$ ${\displaystyle L_{loc}^{2,-s}}$                   ${\displaystyle L^{2,s}}$ ${\displaystyle L^{2,-s}}$      ${\displaystyle L^{2}}$            ${\displaystyle L_{c}^{2,s}}$ ${\displaystyle L_{c}^{1}}$ ${\displaystyle L_{c}^{1,-s}}$         ${\displaystyle C_{c}^{-s}}$ ${\displaystyle C^{-s}}$ ${\displaystyle L_{c}^{\infty ,-s}}$ ${\displaystyle L^{\infty ,-s}}$ ${\displaystyle L_{loc}^{\infty ,-s}}$ ${\displaystyle L_{c}^{q,-s}}$ ${\displaystyle L^{q,-s}}$ ${\displaystyle L_{loc}^{q,-s}}$             ${\displaystyle C_{c}}$ ${\displaystyle C}$ ${\displaystyle L_{c}^{\infty }}$ ${\displaystyle L_{}^{\infty }}$ ${\displaystyle L_{loc}^{\infty }}$ ${\displaystyle L_{c}^{q}}$ ${\displaystyle L_{}^{q}}$ ${\displaystyle L_{loc}^{q}}$         ${\displaystyle C_{c}^{s}}$ ${\displaystyle C^{s}}$ ${\displaystyle L_{c}^{\infty ,s}}$ ${\displaystyle L^{\infty ,s}}$ ${\displaystyle L_{loc}^{\infty ,s}}$ ${\displaystyle L_{c}^{q,s}}$ ${\displaystyle L^{q,s}}$ ${\displaystyle s>0}$ ${\displaystyle L_{loc}^{q,s}}$       ${\displaystyle C_{c}^{\infty }}$ פונקציות שוורץ פונקציות מתונות ${\displaystyle C^{\infty }}$       פונקציות נאש פונקציות אנליטיות ממשיות מקרא   מרחב פונקציות על אובייקט גאומטרי (למשל מרחב אוקלידי).[2]   מרחב הנתון על ידי תכונה מקומית של פונקציה.[3]   מרחב הילברט   מרחב בנך (שאינו מרחב הילברט)   מרחב פרשה (שאינו מרחב בנך)   מרחב דואלי לפרשה (שאינו מרחב בנך) מרחב גרעיני שיכון טבעי. מרחב המקור הוא תת-מרחב של מרחב היעד.[4] כל החצים השחורים מהווים יחד דיאגרמה קומוטטיבית.   דואליות דו צדדית. שני המרחבים דואליים זה לזה. דואליות. מרחב היעד דואלי למרחב המקור. בכל המיקרים הדואליות נתונה על ידי אינטגרציה ובהתאם קומפטבילית עם השיכונים.   התמרת פוריה דו צדדית. ההתמרה מעבירה את כל אחד מהמרחבים לשני.[5] התמרת פוריה. ההתמרה מעבירה את מרחב המקור למרחב היעד.[5] ${\displaystyle C}$ מרחב הפונקציות הרציפות. מוגדר עבור כל מרחב טופולוגי. ${\displaystyle C^{t}}$ מרחב הפונקציות הגזירות ברציפות ${\displaystyle t}$ פעמים.[6] מוגדר עבור יריעות חלקות. ${\displaystyle L^{r}}$ מרחב Lr. פונקציות שחזקתם ה - ${\displaystyle r}$ אינטגרבילית. האובייקט הגאומטרי נדרש להיות מרחב מידה. ${\displaystyle L^{r,t}}$ מרחב סובולב. פונקציות שנגזרתם ה - ${\displaystyle t}$ נמצאת במרחב Lr.[6] האובייקט הגאומטרי נדרש להיות מרחב אוקלידי או אובייקט דומה. ${\displaystyle {\mathfrak {X}}_{c}}$ פונקציות נתמכות קומפקטית. עבור מרחב פונקציות ${\displaystyle {\mathfrak {X}}}$ הסימון ${\displaystyle {\mathfrak {X}}_{c}}$ מתייחס לאוסף כל הפונקציות ב - ${\displaystyle {\mathfrak {X}}}$ שהתומך שלהם קומפקטי.[7] ${\displaystyle {\mathfrak {X}}_{loc}}$ תכונה מקומית. עבור מרחב פונקציות ${\displaystyle {\mathfrak {X}}}$ הסימון ${\displaystyle {\mathfrak {X}}_{c}}$ מתייחס לאוסף כל הפונקציות שבאופן מקומי מקיימות את התכונה המגדירה של ${\displaystyle {\mathfrak {X}}}$.[7] ${\displaystyle s}$ מספר ממשי חיובי ${\displaystyle p,q}$ מספרים ממשיים המקיימים: ${\displaystyle 1<p<2<q<\infty }$ ו - ${\displaystyle {\frac {1}{p}}+{\frac {1}{q}}=2}$         פולינומים פונקציות שלמות         פונקציות רציונליות פונקציות מרומורפיות         פונקציות אלגבריות פונקציות אנליטיות רב ערכיות     ^ 1 2 על מנת לראות במרחב המדות במידות כמרחב פונצקציות יש לבחור מידה על האובייקט הגאומטרי. ^ ובאופן כללי יותר האובייקט הגיאמטרי יכול להיות: מרחב טופולוגי, יריעה חלקה, יריעה אנליטית (ממשית או מרוכבת), יריעה אלגברית, מרחב אוקלידי, מרחב l, מרחב מידה ועוד. חלק מהמרחבים מוגדרים רק עבור חלק מהאובייקטים הגאומטריים. רוב המרחבים דורשים לפחות מבנה של יריעה חלקה על האובייקט הגאומטרי. ^ המקומיות היא על פי הטופולוגיה על האובייקט הגאומטרי המתאים. לדוגמה, פונקציות שוורץ מוגדרות על יריעות אלגבריות ממשיות (או באופן כללי יותר יריעות נאש), לכן המקומיות היא על פי הטופולוגיה של זריצקי (או הטופולוגה המוגבלת על יריעות נאש). ^ השיכון מוגדר רק כאשר שני המרחבים מוגדרים. לדוגמה מרחב הפולינומים מוגדר עבור יריעה אלגברית ומרחב הפונקציות החלקות מוגדר עבור יריעה חלקה. מרחב הפולינומים מהווה תת-מרחב במרחב הפונקציות החלקות אם עבור יריעה אלגברית ממשית חלקה. ^ 1 2 רלוונטי רק כאשר האובייקט הגאומטרי הוא חבורה אבלית (בדרך כלל כאשר הוא מרחב אוקלידי) ^ 1 2 ניתן להגדיר מרחב זה עבור ${\displaystyle t}$ ממשי כלשהו, אולם אם ${\displaystyle t}$ אינו מספר טבעי אז ההגדרה מורכבת מעט יותר. ^ 1 2 המרחבים ${\displaystyle {\mathfrak {X}}_{loc}}$ ו - ${\displaystyle {\mathfrak {X}}_{c}}$ יכולים להית מוגדרים גם על אובייקטים שעליהם ${\displaystyle {\mathfrak {X}}}$ לא מוגדר. די בכך שהאובייקטים יראו באופן מקומי כמו אלה שעליהם ${\displaystyle {\mathfrak {X}}}$ מוגדר. לדוגמה ${\displaystyle L_{c}^{r,t}}$ מוגדר עבור כל יריעה חלקה.

ערך זה הוא קצרמר בנושא מתמטיקה. אתם מוזמנים לתרום לוויקיפדיה ולהרחיב אותו.