Teorema del resto chino
(leer más)
En matemáticas, la propiedad asociativa es una propiedad de algunas operaciones binarias, lo que significa que reorganizar los paréntesis en una expresión no cambiará el resultado. En lógica proposicional, asociatividad es una regla válida de sustitución de expresiones en pruebas lógicas.
Dentro de una expresión que contiene dos o más ocurrencias en una fila del mismo operador asociativo, el orden en que se realizan las operaciones no importa siempre que no se cambie la secuencia de los operandos. Es decir (después de reescribir la expresión entre paréntesis y en notación infija si es necesario), reorganizar los paréntesis en dicha expresión no cambiará su valor. Considere las siguientes ecuaciones:
Aunque los paréntesis se reorganizaron en cada línea, los valores de las expresiones no se modificaron. Dado que esto es cierto cuando se realizan sumas y multiplicaciones de cualquier número real, se puede decir que "la suma y la multiplicación de números reales son operaciones asociativas".
La asociatividad no es lo mismo que la conmutatividad, que aborda si el orden de dos operandos afecta el resultado. Por ejemplo, en la multiplicación de números reales no importa el orden, es decir, a × b = b × a, entonces decimos que la multiplicación de números reales es una operación conmutativa. Sin embargo, operaciones como la composición de funciones y la multiplicación de matrices son asociativas, pero (generalmente) no conmutativas.
Las operaciones asociativas abundan en matemáticas; de hecho, muchas estructuras algebraicas (como semigrupos y categorías) requieren explícitamente que sus operaciones binarias sean asociativas.
Sin embargo, muchas operaciones importantes e interesantes no son asociativas; algunos ejemplos incluyen la resta, la exponenciación y el producto vectorial vectorial. A diferencia de las propiedades teóricas de los números reales, la adición de números de punto flotante en informática no es asociativa y la elección de cómo asociar una expresión puede tener un efecto significativo en el error de redondeo.
Formalmente, una operación binaria ∗ en un conjunto S se denomina asociativo si cumple la ley asociativa:
Aquí, ∗ se usa para reemplazar el símbolo de la operación, que puede ser cualquier símbolo, e incluso la ausencia de símbolo (yuxtaposición) como en la multiplicación.
La ley asociativa también se puede expresar en notación funcional así: f(f(x, y), z) = f(x, f(y, z)).
Si una operación binaria es asociativa, la aplicación repetida de la operación produce el mismo resultado independientemente de cómo se inserten los pares de paréntesis válidos en la expresión. Esto se llama la ley asociativa generalizada. Por ejemplo, un producto de cuatro elementos se puede escribir, sin cambiar el orden de los factores, de cinco maneras posibles:
Si la operación producto es asociativa, la ley asociativa generalizada dice que todas estas expresiones darán el mismo resultado. Entonces, a menos que la expresión con paréntesis omitidos ya tenga un significado diferente (ver más abajo), los paréntesis pueden considerarse innecesarios y "the" producto se puede escribir sin ambigüedades como
A medida que aumenta la cantidad de elementos, la cantidad de formas posibles de insertar paréntesis crece rápidamente, pero siguen siendo innecesarios para la desambiguación.
Un ejemplo donde esto no funciona es el bicondicional lógico ↔. Es asociativo; por lo tanto, A ↔ (B ↔ C) es equivalente a (A ↔ B) ↔ C, pero A ↔ B ↔ C generalmente significa (A ↔ B) y (B ↔ C ), que no es equivalente.
Algunos ejemplos de operaciones asociativas incluyen los siguientes.
"hello"
, " "
, "world"
puede ser computado concatenando las dos primeras cuerdas (dar "hello "
) y apegar la tercera cadena ("world"
), o al unirse a la segunda y tercera cadena (dar " world"
) y concatenando la primera cadena ("hello"
) con el resultado. Los dos métodos producen el mismo resultado; la concatenación de cadenas es asociativa (pero no conmutativa).× | A | B | C |
---|---|---|---|
A | A | A | A |
B | A | B | C |
C | A | A | A |
En la lógica proposicional funcional de verdad estándar, asociación o asociatividad son dos reglas válidas de reemplazo. Las reglas permiten mover paréntesis en expresiones lógicas en pruebas lógicas. Las reglas (usando la notación de conectores lógicos) son:
y
Donde.. {displaystyle Leftrightarrow"es un símbolo metalógico que representa "puede ser reemplazado en una prueba con".
Asociatividad es una propiedad de algunos conectivos lógicos de la lógica proposicional funcional veritativa. Las siguientes equivalencias lógicas demuestran que la asociatividad es una propiedad de los conectivos particulares. Las siguientes (y sus inversas, ya que ↔ es conmutativo) son tautologías veritativas funcionales.
La negación conjunta es un ejemplo de un conectivo funcional de verdad que no es asociativo.
Una operación binaria Alternativa Alternativa {displaystyle *} en un set S que no satisface la ley asociativa se llama no asociativo. Simbólicamente,
Para tal operación, el orden de evaluación sí importa. Por ejemplo:
Además, aunque la suma es asociativa para sumas finitas, no lo es dentro de sumas infinitas (series). Por ejemplo,
Algunas operaciones no asociativas son fundamentales en matemáticas. Aparecen a menudo como la multiplicación en estructuras llamadas álgebras no asociativas, que también tienen una suma y una multiplicación escalar. Algunos ejemplos son los octoniones y las álgebras de Lie. En álgebras de Lie, la multiplicación satisface la identidad de Jacobi en lugar de la ley asociativa; esto permite abstraer la naturaleza algebraica de las transformaciones infinitesimales.
Otros ejemplos son magmas de cuasigrupos, cuasicampos, anillos no asociativos y conmutativos no asociativos.
En matemáticas, la suma y la multiplicación de números reales es asociativa. Por el contrario, en informática, la suma y multiplicación de números de coma flotante no es asociativa, ya que se introducen errores de redondeo cuando se unen valores de tamaños diferentes.
Para ilustrar esto, considere una representación de coma flotante con una mantisa de 4 bits:
Aunque la mayoría de las computadoras calculan con 24 o 53 bits de mantisa, esta es una fuente importante de error de redondeo, y enfoques como el algoritmo de suma de Kahan son formas de minimizar los errores. Puede ser especialmente problemático en computación paralela.
En general, los paréntesis deben ser utilizados para indicar el orden de evaluación si una operación no asociativa aparece más de una vez en una expresión (a menos que la notación especifique el orden de otra manera, como 23/4{displaystyle {dfrac {2}{3/4}}). Sin embargo, los matemáticos están de acuerdo en un orden particular de evaluación para varias operaciones comunes no asociativas. Esto es simplemente una convención notacional para evitar paréntesis.
Una operación asociativa por la izquierda es una operación no asociativa que se evalúa convencionalmente de izquierda a derecha, es decir,
mientras que una operación asociativa por la derecha se evalúa convencionalmente de derecha a izquierda:
Se producen operaciones tanto asociativas por la izquierda como por la derecha. Las operaciones asociativas por la izquierda incluyen lo siguiente:
Esta notación puede estar motivada por el isomorfismo curry, que permite una aplicación parcial.
Las operaciones asociativas por la derecha incluyen lo siguiente:
La Exponenciación se utiliza comúnmente con corchetes o de derecha asociativamente porque una operación de exponentiación repetida asociativa izquierda es de poco uso. Los poderes repetidos serían reescritos principalmente con la multiplicación:
Formado correctamente, el superscripto se comporta inherentemente como un conjunto de paréntesis; por ejemplo, en la expresión 2x+3{displaystyle 2^{x+3} la adición se realiza antes de la exponentiación a pesar de que no hay paréntesis explícitas 2()x+3){displaystyle 2^{(x+3)} envuelto alrededor. Así, dada una expresión como xSí.z{displaystyle x^{y^{z}}, el exponente completo Sí.z{displaystyle y^{z} de la base x{displaystyle x} se evalúa primero. Sin embargo, en algunos contextos, especialmente en la escritura, la diferencia entre xSí.z=()xSí.)z{displaystyle {x^{y}{z}=(x^{y}{z}} {f}}}, xSí.z=x()Sí.z){displaystyle x^{yz}=x^{(yz)} y xSí.z=x()Sí.z){displaystyle x^{y^{z}=x^{(y^{z}}} puede ser difícil de ver. En tal caso, la asociación correcta suele ser implícita.
Utilizar notación asociativa adecuada para estas operaciones puede ser motivada por la correspondencia Curry-Howard y por el isomorfismo currying.
Las operaciones no asociativas para las que no se define un orden de evaluación convencional incluyen las siguientes.
(Comparar la nonimplicación material en la lógica.)
William Rowan Hamilton parece haber acuñado el término "propiedad asociativa" alrededor de 1844, una época en la que estaba contemplando el álgebra no asociativa de los octoniones que había aprendido de John T. Graves.
(leer más)
La constante de Euler es una constante matemática, generalmente denotada por la letra griega gamma minúscula definida como la diferencia límite entre la... (leer más)
(leer más)