תחום של פונקציה

פונקציה $f$ מ-$X$ ל-$Y$. קבוצת הנקודות באליפסה האדומה מייצגת את $X$, התחום של $f$.

במתמטיקה, תחום של פונקציה הוא קבוצת כל הקלטים (ארגומנטים) שהפונקציה מקבלת. התחום של פונקציה $f$ מסומן כ-$\operatorname {dom} (f)$, בעקבות המינוח באנגלית: Domain.

הגדרה

עבור פונקציה $f\colon X\to Y$, התחום של $f$ הוא $X$ (והטווח של $f$ הוא $Y$).

כאשר $X$ ו-$Y$ הן תתי-קבוצות של $\mathbb {R}$, ניתן לצייר גרף של הפונקציה $f$ במערכת צירים קרטזית. במקרה זה, התחום מיוצג כהטלה של גרף הפונקציה על ציר ה-$x$.

בפונקציה $f\colon X\to Y$ הקבוצה $Y$ נקראת טווח, וקבוצת הערכים שהפונקציה מוציאה נקראת תמונה. התמונה היא תמיד תת-קבוצה של הטווח. אם התמונה שווה לטווח אז $f$ היא פונקציה על.

ניתן לצמצם כל פונקציה לתת-קבוצה של התחום שלה. אם $A\subseteq X$ הצמצום של $f\colon X\to Y$ ל-$A$, כאשר $A\subseteq X$ ייכתב כך: $\left.f\right|_{A}\colon A\to Y$.

תחום ההגדרה

הגרף של פונקציית השורש הריבועי הממשית $f(x)={\sqrt {x}}$. התחום שלה מורכב מכל המספרים הממשיים האי-שליליים.

אם פונקציה $f:X\rightarrow Y$ אינה מוגדרת עבור חלק מערכי התחום $X$, אז $f$ היא פונקציה חלקית, וקבוצת הערכים עליה היא מוגדרת נקראת תחום ההגדרה של $f$.

דוגמאות

• הפונקציה $f$ המוגדרת על ידי $f(x)={\frac {1}{x}}$ לא מוגדרת כאשר $x=0$. לכן תחום ההגדרה של $f$ הוא קבוצת המספרים הממשיים למעט $0$, ניתן לסמן זאת $\mathbb {R} \setminus \{0\}$ או $\{x\in \mathbb {R} |\ x\neq 0\}$.
• הפונקציה המפוצלת $f$ המוגדרת על ידי $f(x)={\begin{cases}1/x&x\not =0\\0&x=0\end{cases}}$ תחום ההגדרה קבוצת המספרים הממשיים ($\mathbb {R}$).
• לפונקציית השורש הריבועי $f(x)={\sqrt {x}}$ תחום ההגדרה של קבוצת המספרים האי שליליים, המסומנת על ידי $\mathbb {R} _{\geq 0}$ או הקטע $[0,\infty )$ או הקבוצה $\{x\in \mathbb {R} |\ x\geq 0\}$.
• לפונקציה הטריגונומטרית מסומנת $\tan(x)$, יש את תחום ההגדרה קבוצת כל המספרים הממשיים שאינם מהצורה ${\tfrac {\pi }{2}}+k\pi$ עבור $k$ מספר שלם כלשהו.

תורת הקבוצות

לפעמים נוח בתורת הקבוצות לאפשר לתחום של פונקציה להיות מחלקה נאותה X. במקרים אלו אין דבר כזה כמו השלשה הסדורה (X, Y, G). עם הגדרה כזו, לפונקציות אין תחום, אם כי חלק מהכותבים עדיין משתמשים בו באופן לא פורמלי לאחר הצגת פונקציה מהצורה $f\colon X\to Y$.

קישורים חיצוניים

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