Μετάβαση στο περιεχόμενο

Ταυτοδυναμία

Από τη Βικιπαίδεια, την ελεύθερη εγκυκλοπαίδεια

Στα μαθηματικά, ταυτοδυναμίααυτοδυναμία) είναι μία συνάρτηση που δίνει το ίδιο αποτέλεσμα αν την εφαρμόσουμε μία ή περισσότερες φορές. Για παράδειγμα η απόλυτη τιμή είναι μία ταυτοδυναμία, καθώς .[1]:77

Ταυτοδύναμη συνάρτηση

[Επεξεργασία | επεξεργασία κώδικα]

Μία συνάρτηση είναι ταυτοδύναμηαυτοδύναμη) αν για κάθε στοιχείο του συνόλου ισχύει ότι

.

Από αυτόν τον ορισμό έπεται ότι επαγωγικά ισχύει ότι

,

δηλαδή αν εφαρμόσουμε την συνάρτηση πάνω από μία φορές παίρνουμε το ίδιο αποτέλεσμα.

Ταυτοδύναμη πράξη

[Επεξεργασία | επεξεργασία κώδικα]

Σε ένα μάγμα , όπου είναι ένα σύνολο και είναι μία δυαδική πράξη, ένα ταυτοδύναμοαυτοδύναμο) στοιχείο είναι ένα στοιχείο τέτοιο ώστε

.

Αν αυτή η ιδιότητα ισχύει για όλα τα στοιχεία του , τότε η πράξη είναι ταυτοδύναμη (ή αυτοδύναμη).

  • Η ταυτοτική συνάρτηση είναι ταυτοδύναμη, καθώς .
  • Η απόλυτη τιμή στους πραγματικούς αριθμούς είναι ταυτοδύναμη, καθώς για κάθε .
  • Οι συναρτήσεις δαπέδου και οροφής είναι ταυτοδύναμες, καθώς και . Για παράδειγμα, για , έχουμε ότι .
Κουμπιά On/Off σε έναν πίνακα ελέγχου ενός τραίνου. Πατώντας το On (πράσινο) είναι μία ταυτδύναμη πράξη, καθώς δίνει το ίδιο αποτέλεσμα αν το πατήσουμε μία ή παραπάνω φορές. Αντίστοιχα, και για το Off.

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

Στην σχεδίαση διεπαφής χρήστη, για λόγους ασφαλείας, πολλές λειτουργιές των κουμπιών είναι ταυτοδύναμες. Για παράδειγμα, όπως φαίνεται στο σχήμα στο πλάι, μπορεί να υπάρχει ξεχωριστό κουμπί για το άνοιγμα (On) και κλείσιμο (Off) μίας λειτουργίας. Αυτός ο σχεδιασμός είναι πιο ασφαλής από το να είχαμε το ίδιο κουμπί για το On και Off, όπου άμα κατά λάθος πατηθεί πάνω από μία φορά μπορεί να οδηγήσει στο αντίθετο αποτέλεμα (σκεφτείτε τι γίνεται με το τηλεκοντρόλ της τηλεόρασης).

  1. Στάμου, Γ. (2015). Αναπαράσταση οντολογικής γνώσης και συλλογιστική. Κάλλιπος, Ανοικτές Ακαδημαϊκές Εκδόσεις. doi:10.57713/kallipos-597.