Ir al contenido

Matemáticas/Combinatoria/Texto completo

De Wikilibros, la colección de libros de texto de contenido libre.


Sección 1: Sumatoria

[editar]
Letra sigma mayúscula, notación del sumatorio.

El sumatorio[1][2]o sumatoria (también conocido como operación de suma, notación sigma o símbolo suma), es una notación matemática que permite representar sumas de muchos sumandos, n o incluso infinitos sumandos, evitando el empleo de los puntos suspensivos o de una explícita notación de paso al límite[3]. Se expresa con la letra griega sigma mayúscula ( , Σ).

Notación

[editar]

La notación se expresa con la letra griega sigma mayúscula Σ de la siguiente manera:

Definición.

Esto se lee: «sumatorio sobre i, desde m hasta n, de a sub-i». La variable i es el índice de suma al que se le asigna un valor inicial llamado límite inferior, m. La variable i recorrerá los valores enteros hasta alcanzar el límite superior, n. Necesariamente debe cumplirse que:

Pudiendo ver además que si m = n entonces:

Si m es mayor que n, el resultado es el elemento neutro de la suma, es cero:

Como el conjunto de índices es un intervalo de enteros, es corriente indicar el primer índice debajo del símbolo de sumatoria, y el último por encima del mismo. Las siguientes notaciones son equivalentes

El número de términos a sumar es entonces , ya que el primer sumando es y el último sumando es .

La suma de los cuadrados de los seis primeros enteros estrictamente positivos se escribe por ejemplo

La conmutatividad y la asociatividad de la adición, hacen que el resultado de una serie (finita) de adiciones, no dependa del orden en el cual los términos son considerados. La suma de una familia finita de elementos indexada por un conjunto (no necesariamente ordenado) se indica entonces .

Cuando la familia considerada es un conjunto finito , la correspondiente suma también puede escribirse

La suma vacía convencionalmente es considerada igual a cero, entre otras cosas a fin de satisfacer la igualdad

La notación de Einstein simplemente omite la escritura del símbolo de suma, ya que si un índice aparece sin definición, se sobreentiende que lo que se representa es la suma de los elementos al variar el índice.

Se debe notar que aunque el término sumatorio se refiere a un operador matemático útil para expresar cierto tipo de suma, no sustituye este término a la palabra suma. Se dice: «la suma de dos y tres es cinco», y no «el sumatorio de dos y tres es cinco». Por la misma razón, decir que se realizará, por ejemplo, el sumatorio de unos votos, es notoriamente un disparate.

Los operadores de suma son útiles para expresar sumas de forma analítica; esto es, representar todos y cada uno de los sumandos en forma general mediante el «i-ésimo» sumando. Así, para representar la fórmula para hallar la media aritmética de n números, se tiene la siguiente expresión:

Suma de una serie

[editar]

Si es un elemento de una serie, la suma total de los elementos de esta, es el límite de las sumas parciales (si es que este límite existe) .

Identidades

[editar]

Hay fórmulas para calcular los sumatorios más rápido. Por ejemplo, para sumar los primeros mil números naturales no tiene mucho sentido sumar número por número, y se puede usar una fórmula como esta:

Algunas propiedades de la operación de suma

[editar]
, donde C es una constante
, para un conjunto finito A (Donde σ es una permutación de A).

Algunas sumas de expresiones polinómicas

[editar]
donde representa una constante
(ver número armónico)
(ver número armónico generalizado)
(ver progresión aritmética)
(caso especial de progresión aritmética)
(ver número piramidal cuadrado)
donde denota un número de Bernoulli (ver fórmula de Faulhaber).

Las siguientes fórmulas son manipulaciones de

generalizadas para que la serie comience en cualquier número natural (i.e., ):

Algunas sumas que contienen términos exponenciales

[editar]

En los sumatorios siguientes a es una constante no igual a 1

(m < n; ver serie geométrica)
(caso especial cuando a = 2)
(caso especial cuando a = 1/2)

Algunas sumas que contienen coeficientes binomiales y factoriales

[editar]
, el Teorema del binomio

Errores comunes

[editar]

En español suele llamarse erróneamente «sumatoria»; sin embargo según el diccionario de la Real Academia Española dicha palabra no existe en la lengua española. Por lo que lo más aconsejable es llamarle «sumatorio» u «operación de suma».

Referencias

[editar]

Enlaces externos

[editar]

Commons

Sección 2:Factorial

[editar]
0 1
1 1
2 2
3 6
4 24
5 120
6 720
7 5040
8 40 320
9 362 880
10 3 628 800
15 1 307 674 368 000
20 2 432 902 008 176 640 000
25 15 511 210 043 330 985 984 000 000
50 30 414 093 201 713 378 043 × 1045
70 1,19785717... × 10100
450 1,73336873... × 101000
3.249 6,41233768... × 1010 000
25.206 1,205703438... × 10100 000
100.000 2,8242294079... × 10456 573

El factorial de un entero positivo n, el factorial de n o n factorial se define en principio como el producto de todos los números enteros positivos desde 1 (es decir, los números naturales) hasta n. Por ejemplo,

La operación de factorial aparece en muchas áreas de las matemáticas, particularmente en combinatoria y análisis matemático. De manera fundamental el factorial de n representa el número de formas distintas de ordenar n objetos distintos (elementos sin repetición). Este hecho ha sido conocido desde hace varios siglos, en el siglo XII por los estudiosos hindúes.

La definición de la función factorial también se puede extender a números no naturales manteniendo sus propiedades fundamentales, pero se requieren matemáticas avanzadas, particularmente del análisis matemático.

La notación matemática actual n! fue usada por primera vez en 1808[1] por Christian Kramp (1760–1826), un matemático francés que trabajó en especial sobre los factoriales toda su vida.

Definición

[editar]

La función factorial es formalmente definida mediante el producto

.

La multiplicación anterior se puede simbolizar también utilizando el operador productorio:

.

También es posible definirlo mediante la relación de recurrencia

En esta segunda definición el dominio de la función es el conjunto de los enteros no negativos ℤ≥0 y el codominio es el conjunto de los enteros positivos ℤ+.[2] En este caso hay una sucesión recurrente, el cálculo sucesivo de sus elementos se llama proceso recurrente y la igualdad n! = (n - 1)!n se nombra ecuación recurrente.[3]

La segunda definición incorpora la premisa de que

Cero factorial

[editar]

La definición indicada de factorial es válida para números positivos. Es posible extender la definición a otros contextos introduciendo conceptos más sofisticados, en especial es posible definirla para cualquier número real excepto para los números enteros negativos y para cualquier número complejo exceptuando de nuevo los números enteros negativos.

Una extensión común, sin embargo, es la definición de factorial de cero. De acuerdo con la convención matemática de producto vacío, el valor de 0! debe definirse como:

Es posible, sin embargo, dar un argumento intuitivo para justificar la elección, como sigue:

  • Para cada número entero positivo n mayor o igual que 1, es posible determinar el valor del factorial anterior mediante el uso de la siguiente identidad:

válida para todo número mayor o igual que 1.

Así, si se conoce que 5! es 120, entonces 4! es 24 porque

y por tanto 3! debe ser necesariamente 6 puesto que

El mismo proceso justifica el valor de 2! = 2 y 1!=1 ya que:

Si aplicamos la misma regla para el caso extremo en que n!=1 tendríamos que 0! corresponde a:

Aunque el argumento puede resultar algo convincente, es importante tener en cuenta que no es más que un argumento informal y que la razón real por la cual se toma la convención de 0! = 1 es por ser un caso especial de la convención de producto vacío usada en muchas otras ramas de las matemáticas.

Aplicaciones

[editar]

Los factoriales se usan mucho en la rama de la matemáticas llamada combinatoria, a través del binomio de Newton, que da los coeficientes de la forma desarrollada de (a + b)n:

donde representa un coeficiente binomial:

De igual forma se puede encontrar en la derivación por la regla del producto para derivadas de orden superior de manera similar que el binomio de newton:

Donde f(n) es la derivada enésima de la función f.

Por medio de la combinatoria, los factoriales intervienen en el cálculo de las probabilidades. Intervienen también en el ámbito del análisis, en particular a través del desarrollo polinomial de las funciones (fórmula de Taylor). Se generalizan a los reales con la función gamma, de gran importancia en la teoría de números.

Para valores grandes de n, existe una expresión aproximada para el factorial de n, dado por la fórmula de Stirling:

La ventaja de esta fórmula es que no precisa inducción y, por lo tanto, permite evaluar n! más rápidamente cuando mayor sea n.

El factorial de n es generalizado para cualquier número real n por la función gamma de manera que

sólo para n > 0. Se puede generalizar aún más, para todo número complejo z que no sea igual a un entero no positivo, mediante la siguiente definición:

Productos similares

[editar]

Primorial

[editar]

El primorial Plantilla:OEIS se define de forma similar al factorial, pero sólo se toma el producto de los números primos menores o iguales que n.

Doble factorial

[editar]

Se define el doble factorial de n mediante la relación de recurrencia:

Por ejemplo:

La sucesión de dobles factoriales Plantilla:OEIS para:

empieza así:

La definición anterior puede extenderse para definir el doble factorial de números negativos:

Y esta es la sucesión de dobles factoriales para:

El doble factorial de un número negativo par no está definido.

Algunas identidades de los dobles factoriales:

Véase también

[editar]

Referencias y citas

[editar]
  1. Plantilla:Citation
  2. «Sucesiones recurrentes» de A. I. Markushévich, Editorial Progreso, 1998
  3. Fuente ut supra

Enlaces externos

[editar]

Sección 3: Binomio de Newton

[editar]

Formulación del teorema

[editar]

Este teorema establece: Usando la fórmula para calcular el valor de (que también es representado ocasionalmente como o ) se obtiene la siguiente representación: El coeficiente de en el desarrollo de es donde recibe el nombre de coeficiente binomial y representa el número de formas de escoger k elementos a partir de un conjunto con n elementos. Usualmente el teorema del binomio se expresa en la siguiente variante:

Ejemplo

[editar]

Como ejemplo, para n=2, n=3, n=4, utilizando los coeficientes del triángulo de Pascal:

(2)

Para obtener la expansión de las potencias de una resta, basta con tomar -y en lugar de y en los términos con potencias impares de y. La expresión (2) queda de la siguiente forma:

Teorema generalizado del binomio (Newton)

[editar]

Isaac Newton generalizó la fórmula para tomar otros exponentes, considerando una serie infinita (que converge cuando |x/y|<1):

(3)

Donde r puede ser cualquier número real (en particular, r puede ser cualquier número real, no necesariamente positivo ni entero), y los coeficientes están dados por:

(el k = 0 es un producto vacío y por lo tanto, igual a 1; en el caso de k = 1 es igual a r, ya que los otros factores (r − 1), etc., no aparecen en ese caso).

Una forma útil pero no obvia para la potencia recíproca:

La suma en (3)

converge y la igualdad es verdadera siempre que los números reales o complejos x e y sean suficientemente cercanos, en el sentido de que el valor absolutox/y | sea menor que uno.

Sección 4: Permutación

[editar]

Una permutación es la variación del orden o de la disposición de los elementos de un conjunto ordenado o una tupla sin elementos repetidos.

Definición formal

[editar]

La definición intuitiva de permutación, como ordenamientos o arreglos de los elementos de un conjunto se formaliza con el uso del lenguaje de funciones matemáticas.

Definición. Una permutación de un conjunto X es una función biyectiva de dicho conjunto en sí mismo.

Ejemplo de permutación considerada como función biyectiva.

Para ilustrar la definición, retomemos el ejemplo descrito en la introducción. En el ejemplo, X={1, 2, 3}.

Entonces, cada correspondencia uno a uno entre el conjunto {1, 2, 3} a sí mismo equivale a una forma de ordenar los elementos.

Por ejemplo, la asignación biyectiva dada por

  • 1 → 1
  • 2 → 2
  • 3 → 3

puede hacerse corresponder al ordenamiento "1, 2, 3".

Por otro lado, la asignación biyectiva dada por

  • 1 → 3
  • 2 → 2
  • 3 → 1

puede hacerse corresponder al ordenamiento "3, 2, 1".

En la definición de permutación, no se establece condición alguna sobre X, el cual puede incluso ser infinito. Sin embargo, es común considerar únicamente el caso en que X es un conjunto finito al estudiar permutaciones.

La combinatoria trata del número de diferentes maneras que existen de considerar conjuntos formados a partir de elementos de un conjunto dado, respetando ciertas reglas, como el tamaño, el orden, la repetición, la partición. Así un problema combinatorio consiste usualmente en establecer una regla sobre cómo deben ser las agrupaciones y determinar cuántas existen que cumplan dicha regla. Básicamente, tres asuntos: permutaciones, combinaciones y variaciones (aunque se puede considerar a las permutaciones como un tipo especial de variaciones), todas sin repetición o con ella.

Un tipo importante de esas agrupaciones son las llamadas permutaciones. Dada una n-tupla ordenada de elementos de un conjunto, el número de permutaciones es el número de n-tuplas ordenadas .

Fórmula del número de permutaciones

[editar]

Dado un conjunto finito de elementos, el número de todas sus permutaciones es igual a factorial de n:
.

Demostración: Dado que hay formas de escoger el primer elemento y, una vez escogido éste, sólo tenemos formas de escoger el segundo elemento, y así sucesivamente, vemos que cuando llegamos al elemento k-ésimo sólo tenemos posibles elementos para escoger, lo que nos lleva a que tenemos formas de ordenar el conjunto, justamente lo que enunciamos anteriormente.

Ejemplo: sea el conjunto A={1,2,3} en este caso hay 6 permutaciones, en forma compacta: 123, 132, 213, 231, 312, 321. En álgebra, para estudiar los grupos simétricos se presentan entre paréntesis y en dos filas, en la primera siempre aparece 1 2 3.

Una variante de lo mismo, si se va a formar un comité que involucra presidente, tesorero y secretario, habiendo tres candidatos a, b, c ; cuando se elige por sorteo los cargos sucesivamente, hay seis posibilidades u ordenaciones: abc, acb, bca, bac, cab, cba.

Sección 5: Combinación

[editar]

La combinatoria estudia las diferentes formas en que se pueden agrupar u ordenar los elementos de un conjunto. El punto de partida será el principio de la multiplicación o estrategia del producto.


Principio de la multiplicación o estrategia del producto

[editar]
Ejemplo 1: Un equipo de baloncesto tiene que elegir un nuevo uniforme. Para ello debe escoger entre 4 camisetas y 5 pantalones con diferentes colores. ¿Cuántos uniformes distintos se pueden componer con las camisetas y pantalones disponibles?
Para resolver este problema hemos de tener en cuenta que cada una de las camisetas se podrá combinar con cada uno de los pantalones disponibles. Si tuviéramos una única camiseta, podríamos componer 5 uniformes diferentes, resultado de combinar dicha camiseta con cada uno de los 5 pantalones. Si tuviéramos 2 camisetas, podríamos componer 5 uniformes distintos para cada camiseta, resultado de combinar cada camiseta con cada uno de los 5 pantalones. Tendríamos por tanto 2 · 5 = 10 combinaciones posibles. Siguiendo el mismo razonamiento, llegaríamos a la conclusión de que con 4 camisetas y 5 pantalones, podríamos componer 4 · 5 = 20 uniformes diferentes.


Lo que hemos utilizado es lo que se conoce con el nombre de principio de la multiplicación, que puede enunciarse de la siguiente forma:

Principio de la multiplicación. Si tenemos a opciones para escoger un objeto, b opciones para elegir un segundo objeto, c opciones para escoger un tercero, etc., el número total de formas de combinar los distintos objetos es el producto a · b · c · .....


Ejemplo 2: ¿Cuántos números de tres cifras se pueden formar con los dígitos 0, 1, 2, 3 y 4, sin que se repita ninguna cifra?
Las opciones para escoger la primera cifra son cuatro, pues ésta no puede tomar el valor 0, ya que ningún número de tres cifras comienza por 0. Para la segunda cifra tendremos también cuatro opciones, pues aunque en este caso si puede tomar el valor 0, tendremos que descartar el valor que haya tomado la primera cifra, por no poderse repetir ninguna. Por último, para la tercera cifra tendremos tres opciones, resultado de descartar los valores empleados en las dos primeras cifras, para evitar repeticiones.
Por tanto, aplicando el principio de la multiplicación, se obtiene que hay 4 · 4 · 3 = 48 números de tres cifras distintos con los dígitos indicados en el enunciado.

Sección 6: Triángulo de Pascal

[editar]

En Matemáticas, el teorema del binomio es una fórmula que proporciona el desarrollo de la potencia n-ésima (siendo n, entero positivo) de un binomio. De acuerdo con el teorema, es posible expandir la potencia (x + y)n en una suma que implica términos de la forma axbyc, donde los exponentes b y c son números naturales con b + c = n, y el coeficiente a de cada término es un número entero positivo que depende de n y b. Cuando un exponente es cero, la correspondiente potencia es usualmente omitida del término. Por ejemplo,

El coeficiente a en los términos de xbyc - xcyb es conocido como el coeficiente binomial o (los dos tienen el mismo valor).

Formulación del teorema

[editar]

Este teorema establece:

Usando la fórmula para calcular el valor de (que también es representado ocasionalmente como o ) se obtiene la siguiente representación:

El coeficiente de en el desarrollo de es

donde recibe el nombre de coeficiente binomial y representa el número de formas de escoger k elementos a partir de un conjunto con n elementos. Usualmente el teorema del binomio se expresa en la siguiente variante:

Ejemplo

[editar]

Como ejemplo, para n=2, n=3, n=4, utilizando los coeficientes del triángulo de Pascal:

Para obtener la expansión de las potencias de una resta, basta con tomar -y en lugar de y en los términos con potencias impares de y. La expresión (2) queda de la siguiente forma:

Teorema generalizado del binomio (Newton)

[editar]

Isaac Newton generalizó la fórmula para tomar otros exponentes, considerando una serie infinita:

(3)

Donde r puede ser cualquier número real (en particular, r puede ser cualquier número real, no necesariamente positivo ni entero), y los coeficientes están dados por:

(el k = 0 es un producto vacío y por lo tanto, igual a 1; en el caso de k = 1 es igual a r, ya que los otros factores (r − 1), etc., no aparecen en ese caso).

Una forma útil pero no obvia para la potencia recíproca:

La suma en (3)

converge y la igualdad es verdadera siempre que los números reales o complejos x e y sean suficientemente cercanos, en el sentido de que el valor absolutox/y | sea menor que uno.

Coeficiente binomial

[editar]

Para aplicar el Teorema del binomio, el coeficiente binomial se presenta como de forma sencilla:


Generalizaciones

[editar]
Ejemplo combinacional de coeficiente trinomial.

En vez de considerar las potencias de a + b, se puede considerar las del trinomio a + b + c. De esta manera, (a + b + c)n es una suma de monomios de la forma λp, q, r ·ap·bq·cr, con p, q y r positivos, p + q + r = n, y λp, q, r un número natural que se llama coeficiente trinomial.[1][2] Los cálculos son similares a los del coeficiente binomial, y se dan mediante la siguiente expresión:

,

en subconjuntos de p, q y r elementos.

Pirámide de Pascal. Se han dibujado las primeras secciones a partir de la cumbre.

Estos coeficientes se pueden considerar como la analogía tridimensional del triángulo de Pascal. De hecho, a la distribución de estos coeficientes al estilo piramidal se le conoce como pirámide de Pascal; es también infinita, con secciones triangulares, y el valor en cada casilla es la suma de los valores de las tres casillas encima de ella.

En esta pirámide se observa una invariante por rotación de 120 grados alrededor de un eje vertical que pasa por el vértice. El triángulo de Pascal aparece en las tres caras de la pirámide.

De igual manera, todo esto se puede generalizar a dimensiones finitas cualesquiera, pero sin la posibilidad de hacer dibujos explicativos sencillos.

  1. Harris, John; Hirst, Jeffry L.; Mossinghoff, Michael (2008). «2.3. Multinomial coefficients» (en inglés). Combinatorics and Graph Theory (2ª edición). New York (USA): Springer. pp. 145-147. ISBN 0387797106. 
  2. Plantilla:MathWorld