Ταυτότητα (μαθηματικά): Διαφορά μεταξύ των αναθεωρήσεων

Περιεχόμενο που διαγράφηκε Περιεχόμενο που προστέθηκε
Geilamir (συζήτηση | συνεισφορές)
Χωρίς σύνοψη επεξεργασίας
Αντικατάσταση της σελίδας με '{{subst:σγδ}}'
Ετικέτα: άδειασμα του λήμματος
Γραμμή 1:
{{πρόταση διαγραφής|Οκτωβρίου|2016}}
Για [[σύνολα]] η αρχή της '''ταυτότητας''' διατυπώνεται ως εξής:
 
:<math>\ Y = X </math> [[αν και μόνο αν]] <math>\ Y </math> και <math>\ X </math> αποτελούνται από ακριβώς τα ίδια στοιχεία.
 
Η πάνω αρχή είναι γνωστή και ως ''αξίωμα έκτασης'' (axiom of extensionality) και είναι το πρώτο από τα [[αξιώματα Zermelo–Fraenkel]].
 
Για [[διατεταγμένο ζεύγος|διατεταγμένα ζεύγη]] η αρχή της ταυτότητας διατυπώνεται ως εξής:
 
:<math>\ \langle w, x \rangle = \langle y, z \rangle </math> [[αν και μόνο αν]] <math>\ w=y </math> και <math>\ x=z </math>.
 
Δηλαδή για διατεταγμένα ζεύγη η ταυτότητα καθορίζεται από (i) την ταυτότητα των στοιχείων και (ii) τη διάταξη των στοιχείων.
 
[[Κατηγορία:Μαθηματική λογική]]
[[Κατηγορία:Θεωρία συνόλων]]
 
 
{{επέκταση}}
 
[[ar:مطابقة رياضية]]
[[cs:Identita (matematika)]]
[[eo:Idento (matematiko)]]
[[et:Samasus (matemaatika)]]
[[eu:Identitate (matematika)]]
[[fa:اتحاد (جبر)]]
[[hi:गणितीय सर्वसमिका]]
[[is:Aljafna]]
[[ko:항등식]]
[[nl:Identiteit (wiskunde)]]
[[simple:Identity (mathematics)]]
[[sv:Identitet (matematik)]]
[[uk:Тотожність]]