Operación binaria
En matemáticas, una operación binaria u operación diádica es una regla para combinar dos elementos (llamados operandos) para producir otro elemento. Más formalmente, una operación binaria es una operación de aridad dos.
Más específicamente, una operación binaria interna sobre un conjunto es una operación binaria cuyos dos dominios y el codominio son el mismo conjunto. Los ejemplos incluyen las operaciones aritméticas familiares de suma, resta y multiplicación. Otros ejemplos se encuentran fácilmente en diferentes áreas de las matemáticas, como la suma de vectores, la multiplicación de matrices y la conjugación en grupos.
Una operación de aridad dos que implica varios conjuntos a veces también se denomina operación binaria. Por ejemplo, la multiplicación escalar de espacios vectoriales toma un escalar y un vector para producir un vector, y el producto escalar toma dos vectores para producir un escalar. Tales operaciones binarias pueden llamarse simplemente funciones binarias.
Las operaciones binarias son la piedra angular de la mayoría de las estructuras algebraicas que se estudian en álgebra, en particular en semigrupos, monoides, grupos, anillos, campos y espacios vectoriales.
Terminología
Más precisamente, una operación binaria en un conjunto es un mapeo de los elementos del producto cartesiano a :
Debido al resultado de realizar la operación en un par de elementos es de nuevo un elemento , la operación se llama un cerrado (o interna) operación binaria en (o a veces se expresa como propiedad de cierre).
Si no es una función, sino una función parcial, entonces se llama operación binaria parcial. Por ejemplo, la división de números reales es una operación binaria parcial, porque no se puede dividir por cero: es indefinido para cada número real . Tanto en álgebra universal como en teoría modelo, las operaciones binarias son necesarias para ser definidas en todos los elementos de .
A veces, especialmente en informática, el término operación binaria se usa para cualquier función binaria.
Propiedades y ejemplos
Ejemplos típicos de las operaciones binarias son la adición () y multiplicación () de números y matrices, así como la composición de funciones en un único conjunto. Por ejemplo,
- En el conjunto de números reales , es una operación binaria ya que la suma de dos números reales es un número real.
- En el conjunto de números naturales , es una operación binaria ya que la suma de dos números naturales es un número natural. Esta es una operación binaria diferente a la anterior ya que los conjuntos son diferentes.
- En el set de matrices con entradas reales, es una operación binaria ya que la suma de dos tales matrices es una matriz.
- En el set de matrices con entradas reales, es una operación binaria ya que el producto de dos matrices tales es un matriz.
- Para un conjunto dado , vamos ser el conjunto de todas las funciones . Define por para todos , la composición de las dos funciones y dentro . Entonces... es una operación binaria ya que la composición de las dos funciones es otra vez una función en el conjunto (es decir, un miembro de ).
Muchas operaciones binarias de interés en álgebra y lógica formal son conmutativas, satisfactorias para todos los elementos y dentro , o asociativo, satisfactorio para todos , , y dentro . Muchos también tienen elementos de identidad y elementos inversos.
Los tres primeros ejemplos anteriores son conmutativos y todos los ejemplos anteriores son asociativos.
En el conjunto de números reales , resta, es decir, , es una operación binaria que no es conmutativa ya que, en general, . Tampoco es asociativo, ya que, en general, ; por ejemplo, pero .
En el conjunto de números naturales , la exponencia de operación binaria, , no es conmutativo ya que, (cf. Equation xy = yx), y tampoco es asociativo desde entonces . Por ejemplo, con , , y , , pero . Al cambiar el conjunto al conjunto de enteros , esta operación binaria se convierte en una operación binaria parcial ya que ahora no está definida cuando y es cualquier entero negativo. Para cualquier conjunto, esta operación tiene una identidad propia (que es Desde para todos en el conjunto, que no es identidad (dos identidades laterales) desde en general.
División), una operación binaria parcial en el conjunto de números reales o racionales, no es comunicativa o asociativa. Tetración), como operación binaria en los números naturales, no es comunicativa o asociativa y no tiene elemento de identidad.
Notación
Operaciones binarias a menudo se escriben usando notación de infijo como , , o (por yuxtaposición sin símbolo) más que por notación funcional de la forma . Las potencias también se escriben sin operador, pero con el segundo argumento como superscript.
Las operaciones binarias a veces se escriben usando notación de prefijo o (más frecuentemente) de sufijo, los cuales prescinden de los paréntesis. También se denominan, respectivamente, notación polaca y notación polaca inversa.
Operaciones binarias como relaciones ternarias
Una operación binaria en un set puede considerarse como una relación ternaria , es decir, el conjunto de triples dentro para todos y dentro .
Operaciones binarias externas
An operación binaria externa es una función binaria desde a . Esto difiere de un operación binaria en un conjunto en el sentido en que no es necesario ; sus elementos provienen de afuera.
Un ejemplo de una operación binaria externa es la multiplicación escalar en álgebra lineal. Aquí. es un campo y es un espacio vectorial sobre ese campo.
Algunas operaciones binarias externas pueden considerarse como una acción on . Esto requiere la existencia de una multiplicación asociativa en , y una regla de compatibilidad de la forma , donde y (aquí, tanto la operación externa como la multiplicación son denotados por la yuxtaposición).
El producto de dos mapas vectoriales a , donde es un campo y es un espacio vectorial sobre . Depende de los autores si se considera una operación binaria.