Partición (teoría de

números)
descomposición de un entero en una suma
de enteros estrictamente positivos

En mat emát icas discret as, una partición de un ent ero posit ivo n es una forma de descomponer n
como suma de ent eros posit ivos. Dos sumas se considerarán iguales si solo difieren en el orden
de los sumandos.
Diagramas de Young mostrando el número de particiones de los enteros del 1 al 8. Se asignan diferentes colores a cada
entero. Por ejemplo, en verde, observamos que hay 5 particiones de 4.

De modo más riguroso, una part ición de un número ent ero posit ivo n es una secuencia de ent eros
posit ivos t al que

Las posibles part iciones de un ent ero n pueden visualizarse con los diagramas conocidos como
diagramas de Ferrers o diagramas de Young.

Ejemplos …

Las cinco part iciones del número 4 serían:

4=3+1=2+2=2+1+1=1+1+1+1

Y las once part iciones del número 6 serían:

 6 = 5 + 1 = 4 +2 = 4 + 1 + 1 = 3 + 3 = 3 + 2 + 1 =
= 3 + 1 + 1 + 1 = 2 + 2 + 2 = 2 + 2 + 1 + 1 = 2 + 1 + 1 + 1 + 1 = 1 + 1 + 1 + 1 + 1 +1

Tabla de Particiones: Se muestra las particiones de n como suma de cantidades de la fila n+1. En ella patrones y
propiedades son visibles.

Representación de las particiones …

Hay dos mét odos comunes para represent ar part iciones: por un lado, los esquemas Ferrers, más
t arde nombrados Norman Macleod Ferrers, y por ot ro los esquemas Young, renombrados después
por el mat emát ico brit ánico Alfred Young. Ambos t ienen varias convenciones posibles; aquí, se
suele ut ilizar la not ación la inglesa, con esquemas alineados en la esquina superior izquierda.

Esquemas Ferrers
…
La part ición 6+4+3+1 del número posit ivo 14 se puede represent ar mediant e est e diagrama:
Las 14 bolas est án alineadas en 4 filas, cada una con el t amaño de la part ición correspondient e.

A cont inuación, se muest ra ot ro ejemplo con 5 posibles part iciones del número 4:
Esquemas Young
…
Una represent ación alt ernat iva de la part ición de ent eros es el esquema Young. En lugar de una
represent ación con punt os,como el caso ant erior, est e usa cajas o cuadrados. Así, la part ición
5+4+1 viene dada por:

mient ras que en el esquema Ferrer sería:

Aparent ement e est a variación es t rivial; sin embargo el uso de los esquemas Young es út il en el
est udio de funciones simét ricas y en t eoría de represent ación de grupos. Como consecuencia de
la adyacencia de diferent es cuadrados, est os esquemas pueden considerarse como un caso
especial de poliominós.
 Función de partición …

En la t eoría de números, la función de part ición p(n) represent a el número de posibles part iciones
de un número nat ural n, o lo que es lo mismo, el número de formas de represent ar n como suma
de números nat urales. Por convenio, p(0)=1, y p(n)=0 para los números negat ivos.

Los primeros valores de la función de part ición, comenzando desde p(0)=1 son: 1, 1, 2, 3, 5, 7, 11,
15, 22, 30, 42, 56, 77, 101, 135, 176, 231, 297, 385, 490, 627, 792, 1002, 1255, 1575, 1958, 2436,
3010, 3718, 4565, 5604, … (secuencia A000041 en la OEIS).

Los valores de p(n) crecen muy rápidament e con el valor de n. De hecho:

p(100) = 190,569,292

p(200) = 3,972,998,029,388

p(1000) = 24,061,467,864,032,622,473,692,149,727,991 ≈ 2.4 × 1031

Fórmulas para la función de partición

…
Una expresión asint ót ica de p(n) fue obt enida por G. H. Hardy y Ramanujan en 1918 y de forma
independient e por J. V. Uspensky en el año 1920:

Hardy y Ramanujan t ambién obt uvieron una expansión asint ót ica cuyo primer t érmino es la
aproximación ant erior:

donde
 (la not ación indica que la suma es sobre parejas de ent eros primos relat ivos; y la
función es una suma de Dedekind.
En 1937, Hans Rademacher logró mejorar los result ados de Hardy y Ramanujan y encont ró una
serie convergent e para calcular p(n), a saber[1] :

Se puede demost rar que el t érmino k de la serie de Rademacher es del orden de

, así que el primer t érmino reproduce la aproximación asint ót ica de Hardy y

Ramanujan.

Particiones restringidas …

Tant o en combinat oria como en la t eoría de números, las familias de part iciones son objet os de
est udio. A cont inuación se most rarán algunas de las rest ricciones.

Particiones conjugadas y autoconjugadas

…
Si damos la vuelt a al diagrama de la part ición de 6 + 4 + 3 + 1, a lo largo de su diagonal
obt enemos la part ición de 14.
 ↔

6+4+3+1 = 4+3+3+2+1+1

Transformando las filas en columnas obt enemos la part ición 4 + 3 + 3 + 2 + 1 + 1 del número 14.
Se dice por t ant o que est as part iciones son conjugadas. En el caso del número 4, la part ición 4 y
1 + 1 + 1 + 1 son pares conjugados, y las part iciones 3 + 1, y 2 + 1 + 1 son conjugadas
mutuamente. Especial mención merece la part ición 2 + 2, ya que su conjugada es ella misma. Por
t ant o, decimos que una part ición es aut oconjugada.

Proposición: El número de part iciones aut oconjugadas es el mismo que el número de part iciones
en part es dist int as.

Demostración (boceto): La observación crucial es que cada part e impar puede ser "doblada" por
la mit ad, formando así un diagrama aut oconjugado:

 ↔ 

Así se puede obt ener una biyección enre el conjunt o de part iciones en part es impares dist int as y
el conjunt o de part iciones aut oconjugadas, como se ilust ra en el ejemplo siguient e:
 ↔

9+7+3 = 5+5+4+3+2
Dist int as impares aut oconjugada

Partes impares y partes distintas

…
Ent re las 22 part iciones del número 8, hay 6 que sólo cont ienen partes impares:

7+1

5+3

5+1+1+1

3+3+1+1

3+1+1+1+1+1

1+1+1+1+1+1+1+1

De manera alt ernat iva, podríamos cont ar las part iciones en las que ningún número aparece más
de una vez. Una part ición así se llama partición en partes distintas. Si cont amos las part iciones de
8 en part es dist int as, t ambién obt enemos 6:

7+1

6+2

5+3

5+2+1
 4+3+1

Est o es una propiedad general. Para t odo número posit ivo, el número de part iciones en part es
impares es igual al número de part iciones en part es dist int as, denot ado por q(n). Est e result ado
fue demost rado por Leonhard Euler en 1748, y más t arde se generalizó mediant e el t eorema de
Glaisher.

Referencias …

1. Andrews, George E. (1976). The theory of partitions (https://www.worldcat.org/oclc/397427

38) (1st pbk. ed edición). Cambridge University Press. p. 63. ISBN 9780521637664.
OCLC 39742738 (https://www.worldcat.org/oclc/39742738) .
Tom M. Apost ol. Introducción a la teoría analítica de números. Revert é, 1984. ISBN 84-291-
5006-4, 9788429150063. pg 382
Hardy and Wright (2008)
George E. Andrews.The Theory of Partitions ISBN 978-0521637664
Jesus María Larrañaga
ht t ps://en.wikipedia.org/wiki/Part it ion_ (number_ t heory) de la Wikipedia en Inglés

Enlaces externos

Weisst ein, Eric W. «Part it ion» (ht t p://mat hworld.wolfram.com/Part it ion.ht ml) . En Weisst ein,
Eric W, ed. MathWorld (en inglés). Wolfram Research. Consult ado el 27 de mayo de 2010.

Weisst ein, Eric W. «Part it ion Funct ion P» (ht t p://mat hworld.wolfram.com/Part it ionFunct ionP.
ht ml) . En Weisst ein, Eric W, ed. MathWorld (en inglés). Wolfram Research. Consult ado el 27 de
mayo de 2010.

Plant illa:Clases de números primos

Dat os: Q1082910

 Mult imedia: Int eger part it ions (ht t ps://commons.wikimedia.org/wiki/Cat egory:Int eger_ part
it ions)

Obtenido de
«https://es.wikipedia.org/w/index.php?
title=Partición_(teoría_de_números)&oldid=13378
8189»

Última edición hace 9 meses por Wiki LIC