Operación (matemáticas): definición, tipos y propiedades

Aridad y ejemplos comunes

Las operaciones se clasifican por su aridad, es decir, por el número de entradas que toman. Entre las clases comunes están:

• Nullaria (sin entrada): una constante puede verse como una operación de aridad 0 que siempre devuelve el mismo valor.
• Unaria (una entrada): ejemplos son la negación o el valor absoluto.
• Binaria (dos entradas): la más familiar en la matemática elemental.
• n-aria / variádica: operaciones que aceptan cualquier número finito de operandos, como la sumatoria de una lista.

Entre las operaciones nombradas típicas se encuentran la suma, la resta, la multiplicación y la división. Otras importantes en la aritmética superior y el análisis son la exponenciación, la extracción de raíces y el logaritmo. Más allá de los números, las operaciones aparecen en conjuntos (unión, intersección), valores lógicos (AND, OR), vectores y matrices (suma y diversos productos), y también en funciones (composición).

Propiedades algebraicas

Muchas operaciones satisfacen propiedades estructurales que determinan el comportamiento de las expresiones y los sistemas algebraicos que definen. Entre las propiedades importantes están:

• Conmutatividad: a ⋆ b = b ⋆ a para todos los operandos.
• Asociatividad: (a ⋆ b) ⋆ c = a ⋆ (b ⋆ c), lo que permite omitir paréntesis adicionales.
• Elemento identidad: un elemento e tal que e ⋆ a = a ⋆ e = a.
• Elemento inverso: un elemento b tal que a ⋆ b = identidad.
• Distributividad: una operación se distribuye sobre otra, como la multiplicación sobre la suma.

Estas propiedades son fundamentales para definir estructuras como grupos, anillos y cuerpos, donde una o más operaciones y su interacción determinan las reglas del sistema.

Operaciones en estructuras algebraicas y computación

En el álgebra abstracta, un conjunto equipado con una o más operaciones se convierte en una estructura algebraica. Por ejemplo, un grupo es un conjunto con una sola operación binaria asociativa que tiene identidad e inversos. Un anillo emplea dos operaciones (suma y multiplicación) con relaciones distributivas específicas. En computación, las operaciones se implementan como operadores o funciones; los lenguajes distinguen la notación infija, prefija y posfija, y pueden ofrecer sobrecarga de operadores para que el mismo símbolo denote distintas operaciones concretas en contextos diferentes.

Operaciones parciales, notación y visión de orden superior

No toda regla es total: una operación parcial puede estar indefinida para algunas entradas (la división por cero es el ejemplo usual). Las convenciones de notación varían: la mayoría de los libros de texto usan símbolos infijos como + y × para la aritmética binaria, mientras que la notación funcional f(x) o los operadores prefijos enfatizan la idea de la operación como función. La currificación trata las operaciones n-arias como secuencias de operaciones unarias y resulta especialmente útil en lógica y programación funcional.

Usos, ejemplos y distinciones

Las operaciones son los bloques básicos del cálculo y de la estructura. Aparecen al resolver ecuaciones, definir algoritmos, construir modelos en física e ingeniería y diseñar transformaciones de datos en informática. Conviene distinguir una operación de una relación: una operación produce un resultado definido para unas entradas dadas (cuando está definida), mientras que una relación solo especifica qué tuplas satisfacen una condición. Además, un mismo símbolo puede denotar distintas operaciones en contextos diferentes (por ejemplo, la yuxtaposición puede significar multiplicación en álgebra o aplicación de funciones en análisis), por lo que el contexto y los tipos declarados importan.

Para introducciones más formales y ejemplos, véanse las referencias generales sobre operaciones binarias y los textos introductorios sobre estructuras algebraicas citados en la literatura matemática estándar (matemáticas, panorama de función).