Adición
La adición es la operación aritmética de combinar dos o más números para hallar su total, o suma.
Formula
a + b = \text{sum}
Definition
La adición es la operación de juntar cantidades para hallar un total, escrita con el signo de más (+); como operación binaria sobre números, combina dos cantidades (sumandos) para producir su suma. Sus propiedades clave son conmutativa ($a + b = b + a$), asociativa ($(a + b) + c = a + (b + c)$), y de identidad ($a + 0 = a$). De manera más abstracta, la adición es la operación binaria fundamental en todo grupo abeliano: en $\mathbb{Z}$, $\mathbb{Q}$, $\mathbb{R}$, y $\mathbb{C}$, da una estructura de grupo abeliano con $0$ como identidad y $-a$ como el inverso de $a$.
Example
$3 + 5 = 8$: tienes $3$ canicas rojas y $5$ canicas azules, y al juntarlas obtienes $8$ canicas en total. $(-3) + 7 = 4$ (sumar un negativo), $1/4 + 1/2 = 3/4$ (denominadores comunes), y $2.5 + 1.75 = 4.25$. En $\mathbb{Z}_5$ (enteros módulo $5$): $3 + 4 = 2 \pmod{5}$, todavía conmutativa, asociativa, y con identidad $0$, confirmando que $\mathbb{Z}_5$ es un grupo abeliano bajo la suma.
Key Insight
La adición responde a la pregunta "¿cuántos en total?", y contar hacia adelante en una recta numérica es lo mismo que sumar. Como es conmutativa y asociativa, los números se pueden sumar en cualquier orden y agrupación, que es exactamente lo que hace funcionar trucos de cálculo mental como "formar decenas". Esta flexibilidad se extiende mucho más allá de los números ordinarios: los vectores, las matrices, los polinomios, y las funciones (como en el análisis de Fourier, que descompone funciones sumando senoides) admiten todos una "suma" que satisface los mismos axiomas de grupo abeliano, unificando vastas áreas de las matemáticas bajo un solo marco.