Πεδίο ορισμού συνάρτησης

δεξιά|μικρογραφία|250x250εσ| Μια συνάρτηση  από το  στο . Το σύνολο των σημείων που βρίσκονται στο κόκκινο οβάλ   είναι το πεδίο ορισμού της .
μικρογραφία|250x250εσ| Γραφική παράσταση της συνάρτησης ''f''(''x'') = , της οποίας το πεδίο ορισμού αποτελείται από όλους τους μη αρνητικούς πραγματικούς αριθμούς
Στα μαθηματικά, το **πεδίο ορισμού** μιας συνάρτησης είναι το σύνολο των εισόδων που γίνονται δεκτοί από αυτή τη συνάρτηση. Μερικές φορές συμβολίζεται με \operatorname{dom}(f) ή \operatorname{dom }f ή A_f, όπου  είναι η συνάρτηση. Με απλά λόγια, το πεδίο ορισμού μιας συνάρτησης μπορεί γενικά να θεωρηθεί ως το "τι μπορεί να είναι το x".

Πιο συγκεκριμένα, αν δίνεται μια συνάρτηση f\colon X\to Y, το πεδίο ορισμού της  είναι το . Στη σύγχρονη μαθηματική γλώσσα, το πεδίο ορισμού είναι ένα μέρος του ορισμού μιας συνάρτησης παρά μια ιδιότητά της.

Στην ειδική περίπτωση που το  και το  είναι υποσύνολα του \R, η συνάρτηση  μπορεί να γραφτεί στο καρτεσιανό σύστημα συντεταγμένων. Στην περίπτωση αυτή, το πεδίο ορισμού ορίζεται στον άξονα  της γραφικής παράστασης.

Για μια συνάρτηση f\colon X\to Y, το σύνολο  ονομάζεται *[[πεδίο τιμών]]* και το σύνολο στο οποίο ορίζονται οι τιμές του  από τη συνάρτηση  (που είναι ένα υποσύνολο του  ) ονομάζεται *[[Εικόνα (μαθηματικά)|σύνολο τιμών]]*.

Οποιαδήποτε συνάρτηση μπορεί να περιοριστεί σε ένα υποσύνολο του πεδίου ορισμού της. Ο περιορισμός της συνάρτησης f \colon X \to Y στο A, όπου A\subseteq X, γράφεται ως \left. f \right|_A \colon A \to Y.

## Μερική συνάρτηση
Εάν μια πραγματική συνάρτηση  δίνεται από έναν τύπο, μπορεί να μην ορίζεται για ορισμένες τιμές της μεταβλητής x. Σε αυτήν την περίπτωση, η συνάρτηση αυτή ονομάζεται *[[Μερική συνάρτηση|μερική]].*

### Παραδείγματα

* Η συνάρτηση f που ορίζεται από τον τύπο f(x)=\frac{1}{x} δεν έχει τιμή για x=0. Επομένως, το πεδίο ορισμού της f είναι το σύνολο όλων των πραγματικών αριθμών εκτός από το 0, το οποίο συμβολίζεται με \mathbb{R} \setminus \{ 0 \} ή \{x\in\mathbb R:x\ne 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, έχει ως πεδίο ορισμού το σύνολο όλων των πραγματικών αριθμών που δεν είναι της μορφής \tfrac{\pi}{2} + k \pi για κάποιο ακέραιο k, το οποίο μπορεί να γραφτεί ως \mathbb R \setminus \{\tfrac{\pi}{2}+k\pi: k\in\mathbb Z\}.

## Άλλες χρήσεις
Ο όρος *πεδίο ορισμού* χρησιμοποιείται επίσης συνήθως με διαφορετική έννοια στη μαθηματική ανάλυση: το *πεδίο ορισμού* είναι ένα μη κενό, απλά συνεκτικό και ανοικτό σύνολο σε έναν τοπολογικό χώρο.

Μερικές φορές ένα τέτοιο πεδίο ορισμού χρησιμοποιείται ως το πεδίο ορισμού μιας συνάρτησης, αν και οι συναρτήσεις μπορούν να οριστούν και σε πιο γενικά σύνολα. Οι δύο έννοιες μερικές φορές συγχέονται όπως, για παράδειγμα, στη μελέτη των μερικών διαφορικών εξισώσεων: στην περίπτωση αυτή, το *πεδίο ορισμού* είναι ένα ανοιχτό, απλά συνεκτικό υποσύνολο του \R^{n} όπου τίθεται ένα πρόβλημα, καθιστώντας το σημαντικό τόσο στην ανάλυση τύπων όσο και στην αναζήτηση άγνωστων συναρτήσεων.

## Δείτε επίσης

* Ένα προς ένα
* Επί
* Ένα προς ένα και επί
* Αφελής συνολοθεωρία
* Φορέας (μαθηματικά)

## Σημειώσεις


## Βιβλιογραφικές αναφορές

* 
* 
* 
* 
* 
* 
* http://ebooks.edu.gr/ebooks/v/html/8547/2732/Mathimatika_Teuxos-B_G-Lykeiou-ThSp_html-apli/

Κατηγορία:Μαθηματικές συναρτήσεις
Κατηγορία:Θεμελιώδεις έννοιες θεωρίας συνόλων