Matemáticas: ¿Cuál es la diferencia entre un signo igual con dos barras y un signo igual con tres barras?

El signo igual ([math] = [/ math]) denota que la cosa de la izquierda es igual a la de la derecha.

El signo equivalente ([math] \ equiv [/ math]) denota que las dos cosas son equivalentes.

Estas dos declaraciones, aunque similares, en realidad no son lo mismo.

Por ejemplo, en aritmética modular (la rama de las matemáticas que trata con los residuos) decimos que [math] 5 \ equiv 29 [/ math] modulo 4, lo que significa que tanto 5 como 29 dan el mismo resto cuando se dividen entre 4, y en Esta rama de las matemáticas puede considerarse como la misma cosa .

Por otro lado, el signo igual puede aparecer en alguna ecuación, como en [matemáticas] 4x + 8 = 7y [/ matemáticas]. En este caso, nos está diciendo algo sobre las variables [matemáticas] x [/ matemáticas] y [matemáticas] y [/ matemáticas]. Decimos que son iguales, y observamos equivalentes, ya que solo podemos reemplazar [matemáticas] 7y [/ matemáticas] con [matemáticas] 4x + 8 [/ matemáticas] en este problema específico.

Otro uso de [math] \ equiv [/ math] que he visto es hacer definiciones. Por ejemplo, podríamos decir que [math] \ rho \ equiv \ frac {Nm_a} {V} [/ math] que define [math] \ rho [/ math] como esa fracción siempre.

Aún más, [math] \ equiv [/ math] puede usarse en términos de funciones, donde, por ejemplo, [math] f \ equiv 8 [/ math] significa que [math] f (x) [/ math] es 8. Siempre.

Entonces, la regla general parece ser que [math] \ equiv [/ math] es más general que [math] = [/ math]. Sin embargo, esta es la regla de oro: verifique en cada situación, si es importante. Diferentes personas lo usan de diferentes maneras, y si puede haber alguna ambigüedad, averigüe a qué se refieren. Sin embargo, en muchos casos, encontrará que no hay ambigüedad.

(A2A)

El signo = siempre indica igualdad. El signo [math] \ equiv [/ math] puede indicar todo tipo de cosas diferentes según el contexto. A menudo se usa para congruencia en aritmética modular, como en

[matemáticas] 3 \ equiv 8 \ pmod {5} [/ matemáticas]

También se puede usar en algunos contextos para enfatizar que en la igualdad se cumple por definición, o para distinguir la igualdad como funciones de la igualdad en todas partes. Y probablemente hay otras personas que lo usan para significar cosas no relacionadas de las que nunca he oído hablar.

La barra doble es más común y generalmente significa igualdad.

La barra triple significa una relación de equivalencia congruente o más generalmente arbitraria. Las dos barras iguales son un tipo específico de relación de equivalencia.

Barra triple

Dependiendo del tema, el signo igual a 3 barras puede significar que se define como o es congruente con.

Veamos si esta variedad de látex funcionará aquí.

Por ejemplo, la constante e se puede definir como,

[matemáticas] e \ equiv \ lim _ {x \ rightarrow \ infty} (1+ \ frac {1} {x}) ^ x [/ matemáticas]

El significado depende del contexto. Más comúnmente cuando se habla de funciones, un signo igual de tres barras indica igualdad en cada punto descrito. Lo leí como “idénticamente cero”. Por ejemplo, x al cuadrado es igual a cero en cero, en comparación con z es idénticamente igual al conjugado complejo de z en toda la línea real.

La barra triple denota que dos expresiones son equivalentes. Se utiliza en aritmética modular.

También se puede usar para denotar una identidad, donde el lado izquierdo y derecho de la relación es verdadero para todos los valores de la variable.

A veces se usa para denotar la lógica bicondicional (si y solo si).