Egalitate (matematică)
În matematică egalitatea este o relație între două mărimi sau, mai general, între două expresii matematice, care afirmă că mărimile au aceeași valoare sau că expresiile reprezintă același obiect matematic. Egalitatea dintre A și B se scrie A = B și se pronunță „A este egal cu B”.[1] Simbolul „=” se numește „semnul egal”. Două obiecte care nu sunt egale se spune că sunt diferite.
De exemplu:
- înseamnă că x și y sunt același obiect.[2]
- Egalitatea înseamnă că dacă x este un număr (oricare), atunci cele două expresii au aceeași valoare. Acest lucru poate fi interpretat și ca spunând că cei doi membri ai ecuației reprezintă aceeași funcție.
- dacă și numai dacă Această afirmație înseamnă că dacă elementele care satisfac proprietatea sunt aceleași cu elementele care satisfac atunci cele două proprietăți definesc aceeași mulțime. Această proprietate este adesea exprimată ca „două mulțimi care au aceleași elemente sunt egale”. Este una dintre axiomele obișnuite ale teoriei mulțimilor, numită axioma extensionalității.[3]
Etimologie[modificare | modificare sursă]
Cuvântul provine din latină aequālis, care înseamnă „egal cu”.
Proprietăți[modificare | modificare sursă]
- Proprietatea de substituție: Pentru orice mărimi a și b și orice expresie F(x), dacă a = b, atunci F(a) = F(b) (cu condiția ca ambele părți să fie bine formate(d)).
- Câteva exemple specifice sunt:
- Pentru orice numere reale a, b și c, dacă a = b, atunci a + c = b + c (aici F(x) este x + c);
- Pentru orice numere reale a, b și c, dacă a = b, atunci a − c = b − c (aici F(x) este x − c);
- Pentru orice numere reale a, b și c, dacă a = b, atunci ac = bc (aici F(x) este xc);
- Pentru orice numere reale a, b și c, dacă a = b și c nu este 0, atunci a/c = b/c (aici F(x) este x/c);
- Proprietatea de reflexie: Pentru orice mărime a, a = a.
- Proprietatea de simetrie: Pentru orice mărimi a și b, dacă dacă a = b, atunci b = a.
- Proprietatea de tranzitivitate: Pentru orice mărimi a, b și c, dacă a = b și b = c, atunci a = c.[4]
Aceste ultime trei proprietăți fac din egalitate o relație de echivalență. Ele au fost incluse inițial printre axiomele Peano(d) pentru numerele naturale. Deși proprietățile de simetrie și tranzitivitate sunt adesea văzute ca fundamentale, ele pot fi deduse din proprietățile de substituție și reflexie.
Egalitatea ca predicat[modificare | modificare sursă]
Când A și B nu sunt complet specificate sau depind de unele variabile, egalitatea este o propoziție, care poate fi adevărată pentru unele valori și falsă pentru alte valori. Egalitatea este o relație binară (adică, un predicat(d) cu două argumente) care poate produce o valoare de adevăr (fals sau adevărat) din argumentele sale. În programarea calculatoarelor, calculul său din cele două expresii este cunoscut ca comparație(d).
Ecuații[modificare | modificare sursă]
O ecuație este o problemă de găsire a valorilor unor variabile, numite necunoscute, pentru care egalitatea specificată este adevărată. Termenul „ecuație” se poate referi și la o relație de egalitate care este satisfăcută numai pentru valorile variabilelor care interesează. De exemplu, este ecuația cercului unitate.
Note[modificare | modificare sursă]
- ^ en Weisstein, Eric W. „Equality”. mathworld.wolfram.com. Accesat în .
- ^ en Rosser 2008, p. 163. .
- ^ Lévy 2002, pp. 13, 358. . Mac Lane & Birkhoff 1999, p. 2. . Mendelson 1964, p. 5. .
- ^ en Weisstein, Eric W. „Equal”. mathworld.wolfram.com. Accesat în .
Bibliografie[modificare | modificare sursă]
- en Kleene, Stephen Cole () [1967]. Mathematical Logic. Mineola, New York: Dover Publications. ISBN 978-0-486-42533-7.
- en Lévy, Azriel () [1979]. Basic set theory. Mineola, New York: Dover Publications. ISBN 978-0-486-42079-0.
- en Mac Lane, Saunders; Birkhoff, Garrett () [1967]. Algebra (ed. Third). Providence, Rhode Island: American Mathematical Society.
- en Mazur, Barry (), When is one thing equal to some other thing? (PDF)
- en Mendelson, Elliott (). Introduction to Mathematical Logic. New York: Van Nostrand Reinhold.
- en Rosser, John Barkley () [1953]. Logic for mathematicians. Mineola, New York: Dover Publication. ISBN 978-0-486-46898-3.
- en Shoenfield, Joseph Robert () [1967]. Mathematical Logic (ed. 2nd). A K Peters. ISBN 978-1-56881-135-2.
Legături externe[modificare | modificare sursă]
- Hazewinkel, Michiel, ed. (), „Equality axioms”, Encyclopaedia of Mathematics, Kluwer Academic Publishers, ISBN 978-1556080104