Igualtat (matemàtiques): diferència entre les revisions

Formalment el concepte d'igualtat té definicions que poden diferir segons la base axiomàtica de partida. Usualment es defineix la igualtat en un conjunt ''C'' com aquella [[relació d'equivalència]] ''~'' tal que el [[conjunt quocient]] ''C/~'' coincideix amb ''C''.<ref>{{GDLC|Igualtat|consulta=6 maig 2015}}</ref> En la [[Teoria de conjunts]] de [[Zermelo-Fraenkel]], la igualtat es defineix a partir de l'[[axioma d'extensionalitat]].

 

{{AP|Identitat}}

Una igualtat [[àlgebra|algebraica]] és una igualtat on les dues entitats equivalents són expressions algebraiques. D'altra banda, una '''identitat''' és una igualtat que es compleix per qualsevol valor de les variables. Per exemple, són identitats les següents igualtats: