Igualdad en matemáticas: definición, equivalencia, congruencia y ejemplos
Descubre qué es la igualdad en matemáticas: definición, relaciones de equivalencia y congruencia con ejemplos claros y aplicaciones en geometría e informática.
En matemáticas, la igualdad expresa que dos objetos son exactamente el mismo objeto matemático en todos los aspectos relevantes: tienen el mismo valor y las mismas propiedades. Para notarla se emplea el signo de igualdad (=). La afirmación "x = y" significa que x e y son idénticos dentro del contexto considerado.
Definición y propiedades básicas
Formalmente, la igualdad es una relación binaria que satisface propiedades fundamentales:
- Reflexiva: todo objeto es igual a sí mismo (x = x).
- Simétrica: si x = y entonces y = x.
- Transitiva: si x = y y y = z entonces x = z. (La igualdad es, por tanto, una relación transitiva.)
Además de estas, la igualdad permite la sustitución: si x = y, se puede reemplazar x por y en cualquier expresión sin cambiar su valor o verdad.
Igualdad vs. ecuaciones
Decir que dos expresiones representan la misma cantidad (por ejemplo, 2 + 2 = 4) es escribir una ecuación o una igualdad. Las ecuaciones pueden ser proposiciones verdaderas o falsas según los valores de las variables que contienen. Por contraste, la relación de igualdad entre objetos ya definidos (por ejemplo, dos números concretos iguales) es una afirmación de identidad.
Equivalencia y relaciones de equivalencia
En un sentido más general, dos objetos pueden considerarse equivalentes según una relación de equivalencia definida por algún criterio. Una relación de equivalencia es cualquier relación que sea reflexiva, simétrica y transitiva; divide el conjunto en clases de equivalencia (objetos que se consideran “lo mismo” según esa relación). Por ejemplo:
- En teoría de números, la congruencia módulo n (a ≡ b (mod n)) es una relación de equivalencia.
- En álgebra, dos fracciones tienen la misma clase de equivalencia si representan el mismo número racional.
En el texto original aparecen los símbolos usados habitualmente para indicar estas relaciones: 
.
Congruencia y similitud en geometría
En geometría se emplea con frecuencia la palabra congruencia en lugar de “igualdad” cuando se compara la forma de figuras. Dos figuras son congruentes si una puede trasladarse y/o rotarse (y, si hace falta, reflejarse) para quedar exactamente superpuesta a la otra sin cambiar escala. Si para que encajen hay que aumentar o reducir una de ellas, entonces no son congruentes; en ese caso se llaman similares.
La relación de congruencia suele representarse con el símbolo 
, mientras que la similitud se representa por el símbolo .
Ejemplo geométrico: dos triángulos son congruentes si sus tres lados y sus tres ángulos correspondientes son iguales; son similares si sus ángulos correspondientes son iguales y sus lados correspondientes son proporcionales.
Igualdad en distintos contextos matemáticos
- Números: igual si representan el mismo valor (2 = 2, 0.5 = 1/2).
- Conjuntos: A = B si tienen exactamente los mismos elementos.
- Funciones: f = g si tienen el mismo dominio y, para cada x en el dominio, f(x) = g(x).
- Vectores y matrices: son iguales cuando todos sus componentes correspondientes son iguales.
- Expresiones algebraicas: dos expresiones son iguales si, tras simplificar o manipular, representan la misma cantidad para todos los valores de las variables considerados (identidad).
Igualdad en informática
En informática se suele usar la definición matemática de igualdad, pero la sintaxis y el comportamiento dependen del lenguaje:
- Para tipos primitivos (números, booleanos) muchos lenguajes usan == para comparar valores.
- El símbolo = suele usarse para asignación (dar un valor a una variable), y en algunos lenguajes := cumple esa función.
- En lenguajes con referencias u objetos (p. ej. Java), hay distinción entre comparar referencias (¿apuntan a la misma dirección en memoria?) y comparar contenidos. Por eso existen métodos u operadores distintos: en Java, == compara referencias y equals compara el contenido real del objeto.
- Otros ejemplos: en JavaScript hay == (igualdad con conversión de tipos) y === (igualdad estricta, compara tipo y valor).
Interpretación lógica
Desde la perspectiva de la lógica, la igualdad significa que cualquier predicado o propiedad verdadera para un término también debe ser verdadera para el otro. En otras palabras, si algo verdadero sobre x no es verdadero sobre y, entonces x e y no son iguales respecto a la lógica matemática. Esta visión subraya que la igualdad implica indistinguibilidad por propiedades observables dentro del lenguaje o teoría usada.
Uso en ciencias sociales
En las ciencias sociales el término “igual” se emplea de forma más laxa: dos personas se consideran iguales si comparten muchas características relevantes (mismo nivel educativo, edad similar, ingresos comparables, etc.). Ese sentido es más aproximado y depende del criterio de comparación. A una persona que coincide en muchas características con otra se le puede llamar par.
Ejemplos prácticos
- Ejemplo numérico: 3 + 4 = 7; esto es una ecuación verdadera.
- Ejemplo de equivalencia en teoría de números: 17 5 (mod 12), porque 17 − 5 = 12 es divisible por 12.
- Ejemplo de conjuntos: {1,2,3} = {3,2,1} porque tienen los mismos elementos.
- Ejemplo en programación (Java): si a y b son referencias, a == b es verdadero solo si apuntan al mismo objeto; a.equals(b) puede ser verdadero si los objetos tienen el mismo contenido.
En resumen, “igualdad” puede entenderse estrictamente como identidad matemática (la misma entidad) o, en un sentido más amplio, como equivalencia según un criterio dado (relación de equivalencia). En geometría aparecen nociones próximas como congruencia y similitud, y en informática es importante distinguir entre igualdad de referencias y igualdad de valores.
Páginas relacionadas
- Signo de igualdad
- Ecuación
- Desigualdad
- Igualdad lógica
- Congruencia
Preguntas y respuestas
P: ¿Cuál es el símbolo utilizado para representar la igualdad en matemáticas?
R: El signo de igualdad (=) se utiliza para representar la igualdad en matemáticas.
P: ¿Cómo pueden ser equivalentes dos objetos matemáticos?
R: Dos objetos matemáticos pueden ser equivalentes si están relacionados por una relación de equivalencia. Esto se suele representar mediante símbolos como ∼ o ≡.
P: ¿Qué significa que dos expresiones denoten cantidades iguales?
R: Cuando dos expresiones denotan cantidades iguales, significa que son iguales y esta afirmación se denomina ecuación o igualdad.
P: ¿Cómo diferencian los matemáticos las ecuaciones de las desigualdades?
R: Las ecuaciones son iguales mientras que las desigualdades son desiguales.
P: ¿Cuál es la diferencia entre congruencia y semejanza en geometría?
R: La congruencia se produce cuando un objeto geométrico se puede mover o girar de forma que encaje exactamente donde está el otro, sin encoger ni agrandar ninguno de los dos. La similitud se produce cuando es necesario encoger o ampliar uno de los dos objetos para que encajen. La relación de congruencia suele representarse con el símbolo ≅ mientras que la relación de similitud se representa con el símbolo ∼ .
P: En informática, ¿qué operador compara los valores reales de los objetos en lugar de hacia dónde apuntan las variables?
R: En informática, los lenguajes que tienen punteros suelen utilizar otro operador (como el método 'equals' de Java) que compara los valores reales de los objetos en lugar de hacia dónde apuntan las variables.
P: ¿Cómo se define la igualdad en las ciencias sociales?
R: En las ciencias sociales, se considera que dos personas son iguales si se cumplen muchas de las mismas cosas en ellas, como tener niveles similares de educación y dinero y tener aproximadamente la misma edad. Otro nombre para una persona que es igual a otra en este sentido sería un par.
Buscar dentro de la enciclopedia