Suma vacía

Suma vacía

En matemática, una suma vacía es una sumatoria en la que no interviene ningún término. El valor de una suma vacía de números es -por convención- igual a cero. Para sumatorias entre entidades no numéricas (vectores, matrices, polinomios, etc.) definidas por lo general dentro de un grupo abeliano, el valor de la suma vacía es el elemento neutro de ese grupo.

Una suma vacía surge particularmente en expresiones del tipo

\sum_{i=a}^bt_i,

para a > b; en tal caso la sumatoria tiene el valor 0 (o el elemento cero del grupo aditivo al cual pertenece ti).

Un caso análogo se da en la multiplicación, en donde el producto vacío es el resultado de multiplicar entre sí ningún número. En este caso, el resultado no es cero sino uno, que corresponde al elemento neutro de la operación multiplicación.

Contenido

Convención en sumatorias

La suma vacía, o incluso la suma de un solo término, no influye en la definición de la suma, que requiere exactamente dos operandos. La necesidad de considerar sumas vacías surge dentro de las sumatorias, del proceso de "sumar juntos" una colección de valores que puede tener un tamaño arbitrario. Para una colección finita de dos o más números, las leyes conmutativa y asociativa de la adición implican que cada expresión formada únicamente por la adición, y en la cual cada miembro aparece exactamente una vez como operando, tiene el mismo valor; esto define la operación suma de la colección. Para colecciones infinitas de valores, esta definición no aplica ya que ninguna expresión (finita) las puede combinar utilizando únicamente operaciones de adición; la noción de serie matemática puede utilizarase en ciertos casos de colecciones infinitas, pero esto requiere de conceptos más amplios que solamente la suma, como el de límite matemático.

Definir la suma para cualquier colección finita de valores, incluyendo el caso de una colección con menos de dos elementos, no invalida las propiedades usuales de las sumatorias, en particular, el hecho de agregar un nuevo valor x a una colección, añade x a la suma de la colección. Esta propiedad implica entonces que la suma de una colección que contiene un solo valor v es v, y que la suma de una colección sin elementos es 0, el elemento neutro para la suma. Alternativamente, se puede definir la suma de una secuencia finita de valores por medio de inducción sobre su longitud, comenzando con la secuencia vacía de suma 0. Ambas nociones definen el mismo concepto de suma, esta última sin necesidad de definir la suma vacía por separado.

Relevancia de la definición de sumas vacías

La necesidad de adjudicarle un valor a una suma vacía puede no resultar inmediatamente obvia, pues puede parecer extraño formular una suma si no hay nada que sumar. No obstante, las sumas vacías surgen de manera implícita cuando el rango de los valores que se están sumando dependen de parámetros desconocidos, rango que puede llegar a ser vacío para algunos valores de estos parámetros. No definir el valor de una suma vacía dificultaría, en algunos casos, la posibilidad de efectuar definiciones precisas, pues habría que considerar los casos especiales cada vez que se presente una suma vacía. Requeriría además, un esfuerzo adicional en cualquier demostración que involucre sumatorias, para asegurarse de que no aparecen sumas vacías. Las razones para definir la suma vacía son similares a las razones que hay para definir el cero o el conjunto vacío: si bien no parecen ser nociones particularmente interesantes, su existencia faculta la presentación matemáticamente formal de los resultados.

Un motivo incluso más fuerte para su definición, surge cuando ciertas nociones son definidas en términos de la existencia de sumatorias; no definir sumas vacías alteraría implícitamente estas nociones de manera muy poco deseable. Por ejemplo, en teoría de números, una partición de un entero n puede dfinirse como una secuencia decreciente de enteros positivos cuya suma es n. Cabe destacar que hay exactamente una partición del número 0 (la mayoría de las particiones no funcionarían si no hubiera una partición del 0), y dado que los términos deben ser positivos, la partición vacía es la única posibilidad. Más generalmente, es frecuente en combinatoria que ciertos valores sean considerados como miembros de una clase dada, en virtud de una suma vacía, por ejemplo el 0 es un número triangular puesto que

\sum_{i=1}^0i=0.

Ejemplo: combinaciones lineales vacías

Fuera de la combinatoria, las descomposiciones aditivas son menos frecuentes que las multiplicativas, por lo que los argumentos para definir las sumas vacías son menos obvios que los argumentos para definir los productos vacíos. No obstante, el álgebra lineal provee un ejemplo en el caso de combinaciones lineales vacías. Una caracterización de un conjunto linealmente dependiente es que uno de sus elementos puede ser escrito como combinación lineal de los otros elementos; si esto se aplica al conjunto linealmente dependiente que contiene solo al vector cero, se sigue que el vector cero es una combinación lineal de ningún vector, lo cual sería una suma vacía de vectores. Aún más, todo espacio vectorial de dimensión finita admite una base, cuyo número de elementos es igual a su dimensión, y todo elemento de ese espacio vectorial puede ser expresado de manera única como combinación lineal de vectores base; aplicando esto a un espacio de dimensión 0, que contiene exactamente un vector (el vector cero), la única posibilidad para una base es el conjunto vacío (tanto porque se necesitan 0 elementos, como porque el vector cero no puede pertenecer a ninguna base). Luego el vector cero de este espacio puede ser expresado como combinación lineal de ningún elemento, lo que nuevamente es una suma vacía.

Significado de los "términos" en una suma vacía

Dado que una suma vacía, por definición, no tiene términos, parece contradictorio hablar de sus términos; no obstante, en la práctica siempre hay una expresión que describe los términos de una sumatoria, aún si el rango de la sumatoria resulta ser vacío. Dado que esta expresión carece de representación explícita dentro de una suma vacía, su valor es irrelevante; por ejemplo el número armónico

H_0=\sum_{i=1}^0\frac1i=0

está perfectamente bien definido. Sin embargo, el tipo de valores denotados por los sumandos es importante para el valor de la sumatoria; por ejemplo, una suma vacía de elementos de un espacio vectorial tiene como valor el vector cero en ese espacio, en lugar del número 0. De mayor importancia es el hecho de que la operación es la sumatoria; en contraste, el producto vacío —el resultado de multiplicar entre sí ningún número— tiene el valor de uno.

Véase también

Referencias


Wikimedia foundation. 2010.

Игры ⚽ Поможем сделать НИР

Mira otros diccionarios:

  • Suma (desambiguación) — El término suma puede referirse a: Matemática Suma: la operación aritmética de adición. Sumatorio: como operador matemático simbolizado por la letra griega (Σ) sigma. Suma de dos cuadrados: en un teorema de Fermat. Suma conexa: en topología, una… …   Wikipedia Español

  • Suma directa — La suma de dos subespacios vectoriales (S y T, por ejemplo), pertenecientes al mismo espacio vectorial (W por ejemplo), se llama suma directa si es única la expresión de cada vector de la suma como un vector de S y otro de T. Si la suma de dos… …   Enciclopedia Universal

  • Producto vacío — Saltar a navegación, búsqueda En matemáticas, un producto vacío es el resultado de multiplicar entre sí ningún número. Su valor numérico es 1, el elemento neutro del producto, de la misma manera que la suma vacía, que es el resultado de sumar… …   Wikipedia Español

  • Dilema del prisionero — Saltar a navegación, búsqueda ¿Cooperarán los dos prisioneros para minimizar la pérdida total de libertad o uno de ellos, confiando en la cooperación del otro, lo traicionará para quedar en libertad? El dilema del prisionero es un ejemplo claro,… …   Wikipedia Español

  • Wikipedia:Estructura de un artículo — Esta página es considerada una convención de Wikipedia en español. Es reconocida por la mayoría de los editores y se considera una base que todo editor debe seguir. Como el resto de políticas y convenciones de Wikipedia, debería ser tratada con… …   Wikipedia Español

  • Estructura de un artículo — Wikipedia:Estructura de un artículo Saltar a navegación, búsqueda Atajo WP:EAWP:EA Esta guía sobre la estructura de un artículo provee información sobre cómo estructurar un artículo estándar. Para artículos más complejos, una buena estrategia es… …   Wikipedia Español

  • Algoritmo divide y vencerás — En la cultura popular, divide y vencerás hace referencia a un refrán que implica resolver un problema difícil, dividiéndolo en partes más simples tantas veces como sea necesario, hasta que la resolución de las partes se torna obvia. La solución… …   Wikipedia Español

  • 1 − 2 + 3 − 4 + · · · — Los primeros miles de términos y sumas parciales de 1 − 2 + 3 − 4 + · · ·. En matemáticas, la expresión 1 − 2 + 3 − 4 + · · · es una serie infin …   Wikipedia Español

  • Buceo — «Buzo» redirige aquí. Para la prenda de vestir, véase Chándal. Buceando en María la Gorda, Cuba …   Wikipedia Español

  • Lisp — Información general Paradigma multiparadigma: orientado a objetos, funcional, declarativo Apareció en 1958 Diseñado por John McCarthy …   Wikipedia Español

Compartir el artículo y extractos

Link directo
Do a right-click on the link above
and select “Copy Link”