Μαθηματικά Ισότητα

Το νόημα της ισότητας είναι ότι αν υπολογιστεί η τιμή της μιας παράστασης και η τιμή της άλλης, τότε οι δύο τιμές είναι ίδιες.

Υπάρχουν δύο είδη ισότητας:

• Η ταυτότητα που δηλώνει ότι η ισότητα ισχύει υπό οποιεσδήποτε συνθήκες.
• Η εξίσωση που δηλώνει ότι η ισότητα ισχύει μόνο υπό συγκεκριμένες συνθήκες.

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

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

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

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

${\displaystyle \upsilon \equiv {\frac {dx}{dt}}}$ 

Στην αξιωματική θεωρία συνόλων, δύο σύνολα ${\displaystyle S_{1}}$  και ${\displaystyle S_{2}}$  είναι ίσα, δηλαδή ${\displaystyle S_{1}=S_{2}}$  ανν

${\displaystyle \forall z.\ (z\in S_{1}\Leftrightarrow z\in S_{2}).}$ 

Από αυτό τον ορισμό προκύπτει η συμμετρική ιδιότητα

${\displaystyle S_{1}=S_{2}\Rightarrow S_{2}=S_{1},}$ 

και η μεταβατική ιδιότητα της ισότητας,

${\displaystyle S_{1}=S_{2}\wedge S_{2}=S_{3}\Rightarrow S_{1}=S_{3}.}$