Αμφιμονοσήμαντη συνάρτηση

Στα μαθηματικά, μία συνάρτηση είναι αμφιμονοσήμαντη (ή αμφεικονική) αν είναι ένα προς ένα και επί. Ισοδύναμα, κάθε στοιχείο του πεδίο ορισμού της αντιστοιχείται σε ακριβώς ένα στοιχείο του πεδίο τιμών της, και κάθε στοιχείο του πεδίου τιμών της αντιστοιχείται από ένα στοιχείο του πεδίου ορισμού της.

Πιο αυστηρά, μία συνάρτηση  είναι αμφιμονοσήμαντη αν 
(ένα προς ένα) , και
(επί) .

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

 Η συνάρτηση  με  είναι αμφιμονοσήμαντη. 
 Για κάθε  η συνάρτηση  με  είναι αμφιμονοσήμαντη.
 Η συνάρτηση  με .
 Η συνάρτηση  με  είναι αμφιμονοσήμαντη.
 Έστω  και . Η συνάρτηση  είναι αμφιμονοσήμαντη (δείτε σχήμα).
 Η συνάρτηση  με

 Για κάθε σύνολο  η ταυτοτική συνάρτηση  είναι αμφιμονοσήμαντη. 

Ενώ οι εξής συναρτήσεις δεν είναι:
 Η συνάρτηση  με  δεν είναι αμφιμονοσήμαντη, καθώς οι αρνητικές τιμές δεν αντιστοιχούνται από κάποια τιμή στο πεδίο ορισμού.
 Η συνάρτηση  με , καθώς .
 Η συνάρτηση  με  είναι αμφιμονοσήμαντη, καθώς .
 Η συνάρτηση  με , καθώς .

 Ιδιότητες 
 Η σύνθεση δύο αμφιμονοσήμαντων συναρτήσεων είναι αμφιμονοσήμαντη.
 Η αντίστροφη σχέση μίας συνάρτησης  είναι συνάρτηση αν και μόνο αν η  είναι αμφιμονοσήμαντη.
 Έστω  και  δύο πεπερασμένα σύνολα. 
Αν η  είναι ένα προς ένα, τότε η  είναι αμφιμονοσήμαντη.
Αν η  είναι επί, τότε η  είναι αμφιμονοσήμαντη.
 Έστω μία ένα προς ένα συνάρτηση . Η συνάρτηση  με  είναι αμφιμονοσήμαντη.

 Πλήθος αμφιμονοσήμαντων συναρτήσεων 
Μεταξύ δύο πεπερασμένων συνόλων  και  υπάρχουν  δυνατές αμφιμονοσήμαντες συναρτήσεις αν , διαφορετικά δεν υπάρχει καμία. Οι συναρτήσεις αυτές είναι ισομορφικές στις μεταθέσεις των στοιχείων του .

 Δείτε επίσης 
 Ένα προς ένα συνάρτηση
 Επί συνάρτηση

 Παραπομπές 

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