Operación (matemática)
# Operación (matemática)

Una operación matemática es una función sobre una tupla y que obtiene un resultado, aplicando unas reglas preestablecidas sobre la tupla.
    1. Una operación matemática, para que sea considerada como tal, siempre tiene que garantizar un resultado, las operaciones que para ciertos valores de la tupla no garantizan un resultado no pueden considerarse operaciones matemáticas propiamente dichas.
    2. Una operación matemática ha de dar un único resultado, si para una tupla dada puede presentar más de un resultado, no se puede considerar operación matemática propiamente dicha.
Una característica importante de una operación matemática es el número de términos de la tupla: aridad. Siendo la de dos términos: operación binaria de gran importancia.
En álgebra, se usa lo que son las operaciones suma, resta, multiplicación y división. Una operación es la aplicación de un operador sobre los elementos de un conjunto que tiene. El operador toma los elementos iniciales y los relaciona con otro elemento de un conjunto final que puede ser de la misma naturaleza o no; esto se conoce técnicamente como ley de composición.
En aritmética y cálculo el conjunto de partida puede estar formado por elementos de un único tipo (las operaciones aritméticas actúan sólo sobre números) o de varios (el producto de un vector por un escalar engloba al conjunto unión de vectores y escalares que conforman un espacio vectorial).
Dependiendo de cómo sean los conjuntos implicados en la operación con respecto al conjunto considerado principal según nuestras intenciones podemos clasificar las operaciones en dos tipos: internas y externas.

# Operación (matemática)
## Propiedades de las operaciones

* La operación de adición (+)
** se escribe $\,a+b$
** es conmutativa: $\,a+b=b+a$
** es asociativa: $\,(a+b)+c=a+(b+c)$
** tiene una operación inversa llamada sustracción: $\,(a+b)-b=a$, que es igual a sumar el Opuesto, $\,a-b=a+(-b)$
** tiene un elemento neutro 0 que no altera la suma: $\,a+0=a$
* La operación de multiplicación (×)
** se escribe $\,(a\times b)$ o $\,(a\cdot b)$
** es una adición repetida $a\times n=a+a+\ldots +a$ (n veces)
** es conmutativa: $\,(a\cdot b)$ = $\,(b\cdot a)$
** es asociativa: $\,(a\cdot b)\cdot c=a\cdot (b\cdot c)$
** se abrevia por yuxtaposición: $a\cdot b\equiv ab$
** tiene una operación inversa, para números diferentes a cero, llamada división: ${\frac {(ab)}{b}}=a$, que es igual a multiplicar por el recíproco, ${\frac {a}{b}}=a\left({\frac {1}{b}}\right)$
** tiene un elemento neutro 1 que no altera la multiplicación: $a\times 1=a$
** es distributiva respecto la adición: $\,(a+b)\cdot c=ac+bc$
* La operación de potenciación
** se escribe $\,a^{b}$
** es una multiplicación repetida: $a^{n}=a\times a\times \ldots \times a$ (n veces)
** no es ni comutativa ni asociativa: en general $\,a^{b}\neq b^{a}$ y $\,(a^{b})^{c}\neq a^{(b^{c})}$
** tiene una operación inversa, llamada logaritmación: $\,a^{log_{a}b}=b=log_{a}a^{b}$
** puede ser escrita en términos de raíz n-ésima: $\ a^{m/n}\equiv ({\sqrt[{n}]{a^{m}}})$ y por lo tanto las raíces pares de números negativos no existen en el sistema de los números reales. (Ver: sistema de números complejos)
** es distributiva con respecto a la multiplicación: $\,(a\cdot b)^{c}=a^{c}\cdot b^{c}$
** tiene la propiedad: $\ {a^{b}}\cdot {a^{c}}=a^{b+c}$
** tiene la propiedad: $\,(a^{b})^{c}=a^{bc}$

# Operación (matemática)
## Propiedades de las operaciones
### Orden de las operaciones

Para completar el valor de una expresión, es necesario calcular partes de ella en un orden particular, conocido como el orden de prioridad o el orden de precedencia de las operaciones. Primero se calculan los valores de las expresiones encerradas en signos de agrupación (paréntesis, corchetes, llaves), luego las de exponenciaciones, luego las multiplicaciones y divisiones y, por último, las sumas y las restas.

# Operación (matemática)
## Propiedades de las operaciones
### Propiedades de la igualdad

La relación de igualdad (=) es:
* reflexiva: $\,a=a$
* simétrica: si $\,a=b$ entonces $\,b=a$
* transitiva: si $\,a=b$ y $\,b=c$ entonces $\,a=c$

# Operación (matemática)
## Propiedades de las operaciones
### Leyes de la igualdad

La relación de igualdad (=) tiene las propiedades siguientes:
* si $\,a=b$ y $\,c=d$ entonces $\,a+c=b+d$ y $\,ac=bd$
* si $\,a=b$ entonces $\,a+c=b+c$
* si dos símbolos son iguales, entonces uno puede ser sustituido por el otro.
* regularidad de la suma: trabajando con números reales o complejos sucede que si $\,a+c=b+c$ entonces $\,a=b$.
* regularidad condicional de la multiplicación: si $\,a\cdot c=b\cdot c$ y $\,c$ no es cero, entonces $\,a=b$ .

# Operación (matemática)
## Propiedades de las operaciones
### Leyes de la desigualdad

La relación de desigualdad (<) tiene las siguientes propiedades:
* de transitividad: si $\,a<b$ y $\,b<c$ entonces $\,a<c$
* si $\,a<b$ y $\,c<d$ entonces $\,a+c<b+d$
* si $\,a<b$ y $\,c>0$ entonces $\,ac<bc$
* si $\,a<b$ y $\,c<0$ entonces $\,bc<ac$

# Operación (matemática)
## Propiedades de las operaciones
### Regla de los signos

En el producto y en el cociente de números positivos (+) y negativos (-) se cumplen las siguientes reglas:
   ${\begin{cases}+\cdot -=-\\+\cdot +=+\\-\cdot -=+\\-\cdot +=-\\\end{cases}}$

# Operación (matemática)
## Álgebra abstracta

Una operación $f_^$ es interna si, tanto los elementos iniciales como los finales pertenecen al único conjunto $A_^$.
    $f:\;A^{I}\to A\;,\;A^{I}=A\times A\times \cdots ^{I}\times A=\prod _{i\in I}A_{i}\;,\;\;I$ es un conjunto.
Que también puede expresarse:
    $(a_{1},a_{2},a_{3},\cdots ,a_{n})\;{\xrightarrow {f}}\;b$
O también:
    $f(a_{1},a_{2},a_{3},\cdots ,a_{n})\;\to \;b$
Según la naturaleza del producto cartesiano inicial de la operación podemos diferenciar:
* Operaciones finitas si el conjunto inicial $I_^$ es producto cartesiano finito.
* Operaciones infinitas en caso contrario.

# Operación (matemática)
## Álgebra abstracta
### Operación n-aria

Diremos que $f_^$ es una operación n-aria en el conjunto $A_^$, si:
   $f:A_^{n}\to A$
a $n_^\in \mathbb {N}$ se le llama la ariedad o anidad.

# Operación (matemática)
## Álgebra abstracta
### Operación binaria

Una operación es binaria cuando $n$ es igual a dos:
    ${\begin{array}{rrcl}\star :&\;A\times B&\to &C\\&(a,b)&\to &c=a\star b\end{array}}$
y también:
    $a\star b\;\to \;c$
    $(a,b)\;{\xrightarrow {\star }}\;c$
    $\star (a,b)\;\to \;c$
Ejemplo:
En el conjunto de los números naturales, $\mathbb {N}$, la operación de adición: $+:\mathbb {N} \times \mathbb {N} \longrightarrow \mathbb {N}$, $(N,+)\,$, con las diferentes expresiones:
* $a,b,c\in \mathbb {N} ,\quad a+b\to c$
* $a,b,c\in \mathbb {N} ,\quad (a,b)\;{\xrightarrow {+}}\;c$
* $a,b,c\in \mathbb {N} ,\quad +(a,b)\;\to \;c$
donde a y b son los sumandos y c el resultado de la suma.

# Operación (matemática)
## Álgebra abstracta
### Operación unaria

Una operación unaria, con un solo parámetro:
    ${\begin{array}{rrcl}\star :&\;A&\to &B\\&a&\to &b=\star (a)\end{array}}$
también suelen denominarse funciones.
Ejemplos:
* Dado el conjunto de los números naturales $\mathbb {N}$, la operación unaria incremento o siguiente, como:
    ${\begin{array}{rrcl}in:&\;N&\to &N\\&a&\to &b=in(a)\end{array}}$
Donde:
    $in(n)=n+1\;:\;n\in \mathbb {N}$
* Dado el conjunto de los números enteros $\mathbb {Z}$, la operación opuesto, como:
    ${\begin{array}{rrcl}op:&\;Z&\to &Z\\&a&\to &b=op(a)\end{array}}$
esto es:
    $op(e)=-e\;:\;e\in \mathbb {Z}$

# Operación (matemática)
## Álgebra abstracta
### Operación 0-aria

Una operación 0-aria es cuando tenemos una operación $f:A^{0}\to A$ es decir:
    ${\begin{array}{rrcl}\star :&\;\{\emptyset \}&\to &A\\&\emptyset &\to &b=\star (\emptyset )\end{array}}$
Ejemplo: Una operación nularia suele devolver constantes, por ejemplo el valor de pi:
    ${\begin{array}{rrcl}pi:&\;\{\emptyset \}&\to &R\\&\emptyset &\to &a=pi(\emptyset )\end{array}}$
Que asigna a a el valor real del número pi.
* Una operación que designa un elemento distinguido de $A_^$, en teoría de grupos sería el elemento neutro de un grupo.

# Operación (matemática)
## Álgebra abstracta
### Operación externa

Una ley de composición externa sobre un conjunto A con un conjunto B es una aplicación:
    ${\begin{array}{rrcl}\star :&\;B\times A&\to &A\\&(a,b)&\to &c=a\star b\end{array}}$
esta aplicación se dice que es una operación externa.
Ejemplo: Dado el conjunto $V_{2}\;$ de los vectores en el plano y el conjunto de escalares $\mathbb {R}$ de números reales, tenemos que el producto de un número real por un vector en el plano es un vector en el plano:
    ${\begin{array}{rrcl}\cdot :&R\times V_{2}&\to &V_{2}\\&(a,{\vec {v}})&\to &{\vec {u}}=a\cdot {\vec {v}}\end{array}}$
Dado el vector:
    ${\vec {v}}=3i+6j\;$
Si lo multiplicamos por un escalar 3:
    $3\cdot {\vec {v}}=3\cdot (3i+6j)=(9i+18j)={\vec {u}}$
podemos ver que los dos vectores son del plano:
    $(3i+6j),(9i+18j)\in V_{2}$
Partiendo de los conjuntos A y B distintos, y una aplicación:
    ${\begin{array}{rrcl}\star :&A\times A&\to &B\\&(a,b)&\to &c=a\star b\end{array}}$
se dice que también es una ley de composición externa. Por ejemplo el Producto escalar de dos vectores en el plano, da como resultado un número real, esto es:
    ${\begin{array}{rrcl}\circ :&V_{2}\times V_{2}&\to &R\\&({\vec {u}},{\vec {v}})&\to &a={\vec {u}}\circ {\vec {v}}\end{array}}$
Tomando los vectores del plano:
    ${\vec {u}}=(x_{1},y_{1})$
    ${\vec {v}}=(x_{2},y_{2})$
Y siendo su producto escalar:
    ${\vec {u}}\circ {\vec {v}}=(x_{1},y_{1})\circ (x_{2},y_{2})=x_{1}\cdot x_{2}+y_{1}\cdot y_{2}$
Que da por resultado un número real, veamos un ejemplo numérico:
    ${\vec {u}}=(3,6)$
    ${\vec {v}}=(5,2)$
Operando
    ${\vec {u}}\circ {\vec {v}}=(3,6)\circ (5,2)=3\cdot 5+6\cdot 2=15+12=27$