Αντίστροφος

Στα μαθηματικά, αντίστροφος (ή συμμετρικό) ενός στοιχείου  του συνόλου  ως προς μία δυαδική πράξη  με ουδέτερο στοιχείο , είναι το στοιχείο  το οποίο ικανοποιεί

Όταν το στοιχείο αυτό είναι μοναδικό συμβολίζεται ως . 

Στη συγκεκριμένη περίπτωση που η πράξη είναι πρόσθεση , τότε ο αντίστροφος λέγεται αντίθετος και συμβολίζεται ως  και το ουδέτερο στοιχείο λέγεται μηδέν. Αντίστοιχα, όταν η πράξη είναι πολλαπλασιασμός , τότε ο αντίστροφος λέγεται πολλαπλασιαστικός αντίστροφος και το ουδέτερο στοιχείο μονάδα.

Παραδείγματα 
 Στους πραγματικούς αριθμούς με πράξη την πρόσθεση, εξ'ορισμού κάθε αριθμός έχει αντίθετο. Με πράξη τον πολλαπλασιασμό, κάθε αριθμός εκτός από το μηδέν έχει αντίστροφο. Για παράδειγμα, για  ο αντίστροφός του είναι  καθώς .
 Στους μιγαδικούς αριθμούς με πράξη την πρόσθεση, κάθε αριθμός έχει αντίθετο. Για παράδειγμα, για  ο αντίθετός του είναι ο , καθώς . Με πράξη τον πολλαπλασιασμό, κάθε αριθμός εκτός από το μηδέν έχει αντίστροφο. Για παράδειγμα, για  ο αντίστροφος είναι  καθώς .
 Στην αριθμητική υπολοίπων, στο  με πράξη την πρόσθεση με υπόλοιπο , ένας αριθμός  έχει αντίθετο τον , καθώς . Με πράξη τον πολλαπλασιασμό με υπόλοιπο , ένας αριθμός  έχει πολλαπλασιαστικό αντίστροφο ανν . Για παράδειγμα, για , ο  έχει αντίστροφο τον  καθώς , ενώ ο  δεν έχει αντίστροφο.
 Στον Ευκλείδειο χώρο  με πράξη την πρόσθεση διανυσμάτων, ο αντίθετος του  είναι ο , καθώς .
 Πολλές αλγεβρικές δομές έχουν ως αξίωμα την ύπαρξη αντιστρόφου για κάθε στοιχείο του συνόλου τους. Τέτοιες αλγεβρικές δομές είναι για παράδειγμα, οι ομάδες, οι δακτύλιοι (στην πράξη της πρόσθεσης) και τα σώματα.

Δεξιός και αριστερός αντίστροφος 

Έστω ένα σύνολο  και μία δυαδική πράξη  με ουδέτερο στοιχείο . Ορίζονται οι πιο εξειδικευμένες έννοιες αντιστρόφων:
 Ένα στοιχείο  λέγεται δεξιός αντίστροφος του  όταν .
 Ένα στοιχείο  λέγεται αριστερός αντίστροφος του  όταν .
Ο αντίστροφος είναι και δεξιός και αριστερός αντίστροφος.

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

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

Σε προσεταιριστική πράξη 

Θεώρημα. Αν η πράξη  ικανοποιεί την προσεταιριστική ιδιότητα, τότε αν για κάποιο στοιχείο  υπάρχει δεξιός και ο αριστερός αντίστροφος, τότε είναι το ίδιο στοιχείο και είναι και μοναδικό.

Έστω  ο δεξιός και  ο αριστερός αντίστροφος ενός στοιχείου . Από τον ορισμό του δεξιού αντίστροφου για το , έχουμε ότι
.
Πολλαπλασιάζοντας αριστερά και τα δύο μέλη με , έχουμε ότι
.
Από τον ορισμό του ουδέτερου στοιχείου , έχουμε ότι
.
Από την προσεταιριστική ιδιότητα,
.
Από την ιδιότητα του  ως αριστερού αντιστρόφου, 
.
Τέλος, από την ιδιότητα του ουδέτερου στοιχείου,
,
και επομένως τα δύο στοιχεία είναι τα ίδια. Άρα υπάρχει αντίστροφος και αυτός είναι μοναδικός (καθώς κάθε αντίστροφος είναι και δεξιός/αριστερός αντίστροφος).

Δείτε επίσης 

 Ομάδα
 Δακτύλιος (άλγεβρα)
 Αντίθετος αριθμός
 Πολλαπλασιαστικός αντίστροφος

Παραπομπές 

Μαθηματικά