Igualdade (matemáticas)
relación matemática que afirma que dúas cantidades teñen o mesmo valor From Wikipedia, the free encyclopedia
relación matemática que afirma que dúas cantidades teñen o mesmo valor From Wikipedia, the free encyclopedia
En matemáticas, a igualdade é unha relación entre dúas cantidades ou, de xeito máis xeral, dúas expresións matemáticas, afirmando que as cantidades teñen o mesmo valor ou que as expresións representan o mesmo obxecto matemático. A igualdade entre A e B escríbese A = B, e pronúnciase "A é igual B". Nesta igualdade, A e B son os membros da igualdade e distínguense chamándoos lado esquerdo ou membro esquerdo (en inglés LHS), e o lado dereito ou membro dereito (en inglés RHS). Dous obxectos que non son iguais dise que son distintos.
Unha fórmula como onde x e y son calquera expresións, significa que x e y denotan ou representan o mesmo obxecto. [1] Por exemplo,
son dúas notacións para o mesmo número. Do mesmo xeito, un exemplo con conxuntos,
xa que os dous conxuntos teñen os mesmos elementos.
Unha identidade, como significa que se x se substitúe por calquera número, daquela as dúas expresións toman o mesmo valor. [2] [3]
Se se restrinxe aos elementos dun conxunto dado, esas tres primeiras propiedades fan da igualdade unha relación de equivalencia, a única cuxas clases de equivalencia son conxuntos unitarios.
Cando A e B poden verse como funcións dalgunhas variables, daquela A = B significa que A e B definen a mesma función. Tal igualdade de funcións ás veces chámase identidade. Un exemplo é Ás veces, mais non sempre, unha identidade escríbese cunha barra tripla: [4]
Unha ecuación é o problema de atopar valores dalgunha variábel, chamada incógnita, para a cal a igualdade especificada é certa. Cada valor da incógnita para o cal se cumpre a ecuación chámase solución da ecuación; tamén se di que satisfai a ecuación dada. Por exemplo, a ecuación ten os valores e como as súas únicas solucións. A terminoloxía úsase de xeito similar para ecuacións con varias incógnitas. [5]
Vista como unha relación, a igualdade é o arquetipo do concepto máis xeral dunha relación de equivalencia nun conxunto: aquelas relacións binarias que son reflexivas, simétricas e transitivas. A relación de identidade é unha relación de equivalencia. No outro sentido, sexa R unha relación de equivalencia, e denotemos por xR a clase de equivalencia de x, constituída por todos os elementos z tal que x R z, daquela a relación x R y é equivalente á igualdade xR = yR. De aquí temos que a igualdade é a relación de equivalencia máis fina de calquera conxunto S no sentido de que é a relación que ten as clases de equivalencia máis pequenas (cada clase redúcese a un só elemento).
Nalgúns contextos, a igualdade distínguese da equivalencia ou o isomorfismo.[6] Esta distinción dá lugar á noción de conxunto cociente.
Os conxuntos
non son conxuntos iguais (o primeiro está formado por letras, mentres que o segundo está formado por números), mais ambos os dous son conxuntos de tres elementos e, polo tanto, isomórficos, o que significa que hai unha bixección entre eles. Por exemplo
No entanto, hai outras opcións de isomorfismo, como
e estes conxuntos non se poden identificar como equivalentes sen facer esa escolla previa: calquera afirmación que os identifique "depende da escolla de identificación". Esta distinción, entre igualdade e isomorfismo, é de importancia fundamental na teoría de categorías e é unha motivación para o desenvolvemento da teoría de categorías.
Nalgúns casos, pódense considerar iguais dous obxectos matemáticos que só son equivalentes para as propiedades e estrutura que se están considerando. A palabra congruencia (e o símbolo asociado ) úsase con frecuencia para este tipo de igualdade, e defínese como o conxunto cociente das clases de isomorfismo entre os obxectos. En xeometría, por exemplo, dise que dúas formas xeométricas son iguais ou congruentes cando unha se pode mover para que coincida coa outra, e a relación igualdade/congruencia son as clases de isomorfismo das isometrías entre as formas. Do mesmo xeito que os isomorfismos de conxuntos, a diferenza entre isomorfismos e igualdade/congruencia entre eses obxectos matemáticos con propiedades e estrutura foi unha motivación para o desenvolvemento da teoría de categorías.
A igualdade de conxuntos axiomatízase na teoría de conxuntos de dúas formas diferentes, dependendo de se os axiomas están baseados nunha linguaxe de primeira orde con ou sen igualdade.
Na lóxica de primeira orde con igualdade, o axioma de extensionalidade afirma que dous conxuntos que conteñen os mesmos elementos son o mesmo conxunto. [7]
Na lóxica de primeira orde sen igualdade, defínese que dous conxuntos son iguais se conteñen os mesmos elementos. Entón o axioma de extensionalidade afirma que dous conxuntos iguais están contidos nos mesmos conxuntos.[9]
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.