Professional Documents
Culture Documents
FUNCIN FACTORIAL
UNA GENERALIZACIN DE LA
FUNCIN FACTORIAL
Licenciado en Matemticas
Director
M.Sc. Edilberto Reyes Gonzlez
Agradecimientos
Agradezco muy especialmente a:
Dios por iluminarme en cada momento de este difcil pero gratificante camino.
Mi madre, por su incondicional apoyo en todo momento.
Mi novia, por su amor y compresin para logro de esta meta.
El profesor y director Edilberto Reyes, por su constante colaboracin prestada en el
desarrollo de este trabajo.
Todos los dems profesores, compaeros y personal de la escuela que hicieron posible
este triunfo.
TITLE:
A FACTORIAL FUNCTION GENERALIZATION *
AUTHOR: YOVANI CORREA PRIETO**
KEY WORDS:
p-sequence.
DESCRIPTION
In the present thesis the factorial functions along with a few of its most significant results
basically related to theory of numbers are studied. A generalization of this function is
presented with the study of some of its main characteristics.
In the first chapter are presented some basic concepts and some results of importance
for the development of this task. In the second chapter the factorial function is studied
along with some of its most significant results, the gamma function is presented as an
extension of the factorial to the set of the real numbers showing some of its more important properties. In the third chapter are defined some new concepts which are necessary
of the development of the task, the factorial generalization is presented along with a few
examples, the new generalized factorial function is applied to a few theorems seen in
chapter two . Finally some questions are stated as a result of the stated generalization.
The task shown here solves certain problems that were still without a solution, besides,
new investigations subjects on several mathematical fields are suggested. We hope the
reader to continue working on this study and through this we can together achieve a
complete factorial generalization in a non very distant future. The methodology used here
was the analysis of an article.
*
**
Thesis
FACULTY OF SCIENCES, LICENCIATURA EN MATEMTICAS.
DIRECTOR M.Sc. Edilberto Reyes Gonzlez.
TITULO:
AUTOR:
DESCRIPCIN
En el presente trabajo de grado, se estudia la funcin factorial junto con algunos de
sus resultados ms importantes relacionados bsicamente con la teora de nmeros, se
presenta una generalizacin de esta funcin y se estudian algunas de sus caractersticas.
En el primer captulo se presentan algunos conceptos bsicos y algunos resultados de
gran importancia para el desarrollo de este trabajo. En el segundo capitulo se estudia la
funcin factorial con algunos de sus resultados ms importantes, se presenta la funcin
gamma como una extensin del factorial al conjunto de los nmeros reales mostrando
algunas de sus propiedades ms importantes. En el tercer captulo se definen algunos
nuevos conceptos necesarios para el desarrollo del trabajo, se presenta la generalizacin
del factorial con algunos ejemplos, se aplica la nueva funcin factorial generalizada a
algunos teoremas vistos en el captulo dos y por ultimo se plantean algunos interrogantes
que surgen como consecuencia de la generalizacin planteada.
El trabajo expuesto aqu soluciona ciertos problemas que estaban aun sin resolver, adems tambin sugiere nuevos temas de investigacin en diversos campos de la matemtica. Esperamos que el lector continue trabajando sobre ste tema y as podamos llegar
a una completa generalizacin del factorial. La metodologa utilizada en ste trabajo fue
el anlisis de un artculo.
*
**
Tesis
FACULTAD DE CIENCIAS, LICENCIATURA EN MATEMTICAS.
DIRECTOR M.Sc. Edilberto Reyes Gonzlez.
Contenido
Introduccin
1. Preliminares
1.1. Congruencias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.4.2. Interpolacin . . . . . . . . . . . . . . . . . . . . . . . . . . .
2. La funcin factorial
2.1. Sobre la funcin factorial . . . . . . . . . . . . . . . . . . . . . . . . .
9
9
20
36
Introduccin
El factorial es sin alguna duda, una de las primeras funciones que se encuentran
en el estudio de las matemticas. Su uso se hace indispensable en algunas de sus
ramas; como en la combinatoria donde interviene en el clculo de probabilidades,
en el anlisis a travs del desarrollo polinomial de las funciones (frmulas de Taylor
y MacLaurin), en la teora de nmeros en donde aparece en muchos resultados de
gran importancia en este campo, y en muchas otras reas en las cuales se convierte
en una herramienta muy valiosa a la hora de interpretar y solucionar problemas.
Dada su importancia, el presente trabajo de monografa muestra una investigacin
reciente realizada sobre esta funcin; en el cual se presenta una generalizacin de la
misma, enfocada bsicamente hacia la teora de nmeros y cuyos resultados se han
aplicado en diversos campos de la matemtica como en la misma teora de nmeros,
teora combinatoria, teora de anillos, problemas de interpolacin, entre otros.
El objetivo general de este trabajo es mostrar una generalizacin de la funcin
factorial definida en cualquier subconjunto de lo nmeros enteros, tomando como
base conceptos de la teora de nmeros.
Este trabajo est basado en el artculo The Factorial Function and Generalizations
([1, p. 565]); consta de tres captulos: en el primero se encuentran conceptos y resultados bsicos para el desarrollo de la generalizacin factorial planteada, en el segundo
se presenta el factorial junto con algunos de sus resultados ms importantes en la
teora de nmeros, tambin se muestra la funcin gamma como una extensin de la
funcin factorial al conjunto de los reales y finalmente en el tercer captulo se propone la generalizacin del factorial, se presentan algunos ejemplos, se estudian algunas
de sus propiedades y se plantean algunos interrogantes sobre dicha generalizacin.
Captulo 1
Preliminares (conceptos bsicos)
En este captulo se hace un resumen de los principales conceptos, definiciones y
teoremas que se utilizaran en el desarrollo de este trabajo; tambin se presentan
algunos ejemplos para facilitar la comprensin por parte del lector.
1.1.
Congruencias
a = {x Z : x = a + nk
para algn k Z} .
Zn = 0, 1, 2, . . . , n 1 .
El siguiente teorema enuncia algunas de las propiedades ms importantes de las
congruencias.
Teorema 1.2. Si a b (mod n) y c d
(mod n) entonces:
(mod n).
6. r Z, a + r b + r
7. r Z, ar br
(mod n).
(mod n).
r
Q
(mod m1 )
(mod m2 )
(mod mr )
mi .
i=1
1.2.
Definicin 1.4. Un grupo hG, i es un conjunto G, junto con una operacin binaria
en G, tal que satisface los siguientes axiomas:
1. La operacin binaria es asociativa.
2. Existe un elemento e G tal que e x = x e = x para todas las x G (este
elemento e es el elemento identidad para en G).
3. Para cada a G existe un elemento a G con la propiedad de que a a =
a a = e (el elemento a es el inverso de a respecto a ).
Nota. Un grupo G es abeliano (o conmutativo) si su operacin binaria es conmutativa.
El conjunto Z de los nmeros enteros, el conjunto Q de los nmeros racionales, el
conjunto R de los nmeros reales y el conjunto C de los nmeros complejos; todos
ellos con la operacin + (suma usual) son ejemplos de grupos.
Definicin 1.5. Sean G1 , G2 , , Gn grupos conmutativos. Se define
la suma directa de los grupos Gi ; en donde
n
M
Gi como
i=1
(x + y) = (x) + (y)
Demostracin. Sean 0, a1 , a2 , , an todos los elementos de un dominio de integridad finito D. Es necesario mostrar que para a D donde a 6= 0, existe b D tal que
ab = 1. Consideremos ahora a1, aa1 , , aan . Afirmamos que todos los elementos de
D son distintos pues aai = aaj implica que ai = aj , por las leyes de cancelacin que
se pueden aplicar en un dominio de integridad. Adems, como D no tiene divisores
de cero, ninguno de estos elementos es cero. Contando, tenemos que a1, aa1 , , aan
son los elementos 1, a1 , , an en algn orden, de manera que a1 = 1, esto es, a = 1,
o bien aai = 1 para algn i. Por tanto a tiene inverso multiplicativo.
Corolario 1.18. Si p es primo, entonces Zp es un campo.
1.3.
Sobre polinomios
Una de las clases de funciones ms tiles y mejor conocidas dentro de las matemticas
es la de los polinomios. Debido a su expresin como sumas y productos los hacen
una herramienta muy eficaz a la hora de resolver una gran cantidad de problemas
en diversos campos.
Definicin 1.21. Sea f (x) = a0 + a1 x + a2 x2 + + an xn , un polinomio con
coeficientes enteros. Se dice que f (x) es un polinomio primitivo, si el mximo comn
divisor (mcd) de a0 , a1 , a2 , . . . , an es 1.
Ejemplo 1.22.
1. Sea f (x) = 3x2 + 5x + 1; f (x) es primitivo ya que el mcd de 3, 5 y 1 es 1.
2. f (x) = 6x3 + 4x no es primitivo ya que el mcd de 6 y 4 es 2.
Definicin 1.23. Sea f (x) = a0 + a1 x + a2 x2 + + an xn , un polinomio con
coeficientes enteros. El divisor fijo de f sobre los enteros se define como el mcd de
todos los elementos que son imagen de f en Z y se denota como d (Z, f ). Esto es:
d (Z, f ) = mcd {f (a) : a Z} .
f (1) = 2;
f (1) = 2;
f (3) = 30.
En general,
1. si x es par, x = 2k,
kZy
= 2 4k 3 + k ,
| {z }
Z
2. si x es impar, x = 2k + 1, k Z y
= 2 4k 3 + 3k + 1 .
|
{z
}
Z
Por tanto f (x) nuevamente es par y como f (1) = 2 se tiene que d (Z, f ) = 2.
6
Ahora, si tenemos g (x) = 3x3 + 3x, es decir, g (x) = 3 f (x) , haciendo los clculos
respectivos encontramos que d (Z, g) = 6, o sea d (Z, g) = 3d (Z, f ). Esto se debe
a propiedades del mcd. Por tanto podemos hallar el divisor fijo nicamente para
polinomios primitivos.
Definicin 1.25. Si n es un entero no negativo (n 0) el polinomio
x (x 1) (x 2) (x n + 1)
se llama polinomio factorial y lo denotamos por x(n) . Y definimos tambin x(0) = 1.
As los primeros polinomios factoriales son:
x(0)
x(1)
x(2)
x(3)
x(4)
=
=
=
=
=
1,
x,
x (x 1) ,
x (x 1) (x 2) ,
x (x 1) (x 2) (x 3) .
1.4.
1.4.1.
Otros conceptos
Determinante de Vandermonde
1 a0 a2 a k
0
0
1 a1 a2 a k
1
1
B(a0 , a1 , , ak ) = .. .. .. . .
.. ,
. . .
. .
1 ak a2k akk
7
1.4.2.
i<j
(ai aj ). (Vase
Interpolacin
n
X
k=0
donde
n
Y (x xi )
(x x0 ) (x x1 ) (x xk1 ) (x xk+1 ) (x xn )
Ln,k (x) =
=
(xk x0 ) (xk x1 ) (xk xk1 ) (xk xk+1 ) (xk xn ) i=0 (xk xi )
i6=k
para cada k = 0, 1, , n.
Captulo 2
La funcin factorial
Difcilmente podramos trabajar en algunas reas de la matemtica sin utilizar esta
importante funcin. En el presente captulo se muestra la funcin factorial junto
con algunos de sus resultados ms importantes en la teora de nmeros y tambin
se presenta la funcin gamma, la cual puede considerarse como una generalizacin
del factorial en el conjunto de los nmeros reales.
2.1.
(
1
n! =
(n 1)! n
si n = 0
si n 1
=
=
=
=
=
..
.
1
0! 1 = 1 1 = 1
1! 2 = 1 2 = 2
2! 3 = 2 3 = 6
3! 4 = 6 4 = 24
n! = (n 1)!n = n (n 1) (n 2) . . . 1 = 1 2 3 . . . n.
De aqu, el factorial de un nmero se calcula como el producto de todos los nmeros
enteros desde el 1 hasta dicho nmero.
9
Son muchas las reas de la matemtica en las que aparece el nmero factorial, por
ejemplo en combinatoria (principios bsicos de conteo), en el teorema del binomio
(como coeficientes binomiales) y en muchos resultados relacionados con la teora de
nmeros. Veamos algunos de ellos:
Definicin
Si n, k Z, 0 k n. El nmero combinatorio entre n y k que
2.2.
n
se define por:
se denota
k
n
n!
=
.
k
k! (n k)!
n
siempre es un nmero
Mediante los principios bsicos de conteo se deduce que
k
entero. Se propone ac como un buen ejercicio de induccin matemtica.
n
es un nmero entero.
Ejercicio 2.3. Si n, k Z y 0 k n, entonces
k
Este ejercicio se puede usar para demostrar uno de los resultados ms conocidos
sobre divisibilidad en el que aparece el nmero factorial. En efecto:
Lema 2.4. El producto de k enteros consecutivos es un mltiplo de k!.
Demostracin. Sea (m + 1) (m + 2) (m + 3) (m + k) el producto de k enteros
consecutivos. Si m 0, tenemos
(m + 1) (m + 2) (m + 3) (m + k)
m! (m + 1) (m + 2) (m + 3) (m + k)
=
k!
m! k!
m+k
(m + k)!
.
=
=
k
m! k!
m+k
k!.
Luego (m + 1) (m + 2) (m + 3) (m + k) =
k
| {z }
Z
Ejemplo 2.5.
1. Sea k = 5, y tomemos el producto de 5 enteros consecutivos: 3 4 5 6 7
entonces esto debe ser un mltiplo de 5! = 120, y efectivamente
3 4 5 6 7 = 2520 = 120 21.
Hay que ver que los enteros tambin pueden ser negativos.
2. (6) (5) (4) (3) = 360 y 360 = 24 (15) lo que indica que
360 es mltiplo de 4! = 24.
3. El caso cuando se incluye el cero es trivial porque 0 es mltiplo de cualquier
nmero entero.
Lema 2.6. El producto de k enteros pares consecutivos es un mltiplo de 2k k!.
Demostracin. Dados k enteros pares consecutivos 2 (m + 1), 2(m + 2), ,
2(m + k), entonces:
2 (m + 1) 2(m + 2) . . . 2(m + k) = 2k (m + 1) (m + 2) . . . (m + k)
|
{z
}
()
m+k
(m + k)!
.
=
k!m!
k
Ejemplo 2.8. Tomemos (2 + 3)! = 5! = 120 y segn el teorema anterior 120 debe
ser mltiplo de 2! 3! = 2 6 = 12. Lo que se comprueba fcilmente, ya que:
120 = 12 10.
11
es un mltiplo de 0! 1! n!.
mismo puede ser representada por un polinomio. Dado que cuando n no es primo,
no podemos utilizar los mtodos tradicionales de interpolacin, debido a que generalmente necesitamos hacer divisiones, pero esto no es posible en un conjunto que
no sea un campo. As la cuestin sera Cuantas funciones de Z/nZ en el mismo (o
equivalentemente de Z en Z/nZ) pueden ser representadas por un polinomio? La respuesta para esta pregunta fue descubierta por Kempner en 1920, y nos proporciona
una frmula exacta para el nmero de tales aplicaciones.
Teorema 2.13. El nmero de funciones polinomiales de Z en Z/nZ est dado por:
n1
Y
n
.
mcd
(n,
k!)
k=0
4
4
4
4
4
=
2.2.
La funcin Gamma
p!px
px
x
=
,
x(x + 1)(x + 2) (x + p)
x(x + 1) 2 + 1 ( xp + 1)
(x) = lm p (x).
p
Claramente
p (1) =
y
p (x + 1) =
por lo tanto
p
p!
=
,
1(1 + 1)(1 + 2) (1 + p)
p+1
p
p!px+1
=
xp (x),
(x + 1)(x + 2) (x + p + 1)
x+p+1
(1) = 1,
(x + 1) = x(x).
(2.1)
(2.2)
o tambin
(x) = 2
et t2x1 dt.
0
14
u2x1 eu du.
0
De este teorema vemos que la funcin gamma (x) est bien definida para x > 0,
pero no est definida para valores enteros negativos.
Para x = 1 en la ecuacin (2.2) tenemos
Z
et dt = 1,
(1) =
0
t x
x t
et tx1 dt = x(x).
(x + 1) =
e t dt = t e + x
0
en consecuencia tenemos
Z
(n + 1) =
et dt = tet et = 1 = 1!.
0
(n) = (n 1)!
Z
e t dt = t e +
t n
= n
n t
et tn1 dt =
(x + 2)
(x + 3)
(x + k + 1)
(x + 1)
=
=
= =
,
x
x (x + 1)
x (x + 1) (x + 2)
x (x + 1) (x + 2) (x + k)
15
con x 6= 0, 1, 2, 3, .
La anterior expresin puede usarse para definir la funcin gamma de valores negativos de x diferentes de 0, 1, 2, 3, , eligiendo para k el menor nmero natural,
tal que x + k + 1 sea mayor que cero.
As por ejemplo:
1
2
12 + 1
1
=
= 2
,
1
2
2
(3, 25) =
(0, 75)
(0, 75)
=
.
(3, 25) (2, 25) (1, 25) (0, 25)
2, 285
1
2
Demostracin.
Z
1
1
=
et t 2 dt
2
Z0
1
2
=
eu u2 2 2udu
0
Z
2
=2
eu du
Z0
2
=2
ev dv,
0
por lo tanto
2
Z Z
Z
Z
1
2
2
v 2
u2
e(u +v ) dudv
e dv = 4
e du
=4
2
0
0
0
0
e introduciendo coordenadas polares
u = r cos , v = r sen
2
Z
Z
2
r2
1
1 r2
r 2
e rdrd = 4
e rdr = 2
e = .
=4
2
2 0
2
0
0
1
= .
Aplicando
este
Ejemplo 2.19.
3
1
1
1
=
=
+1 =
2
2
2
2
5
3
3
3
+1 =
=
=
2
2
2
2
1
,
=
2
2
3
3
=
.
2 2
4
Y
x xp
1
x
= xe
1+
e
(x)
p
p=1
donde es la constante de Euler y se define
1
1 1
= lm 1 + + + + log (p) 0, 5772156649015328
p
2 3
p
Aplicando este teorema a
1
1
, se obtiene
(x) (x)
Y
x
1
1
x xp
x
2 x x
= x e e
1+
e
ep
1
(x) (x)
p
p
p=1
Y
x2
2
= x
1 2 .
p
p=1
(1 x)
, por tanto la igualdad
Por la ecuacin funcional tenemos que (x) =
x
se puede escribir como
Y
1
x2
1
1 2
=x
(x) (x)
p
p=1
y usando el producto infinito
Y
x2
sen(x) = x
1 2
p
p=1
se tiene que
(x) (1 x) =
.
sen(x)
Esta ltima expresin se conoce como la formula del complemento y es vlida para
cuando x y (1 x) son diferentes de cero o de enteros negativos.
17
1
1
2 3
1
2
3
= ,
= 2.
2
3
3
3
4
4
1
4
1
(x) x +
= 2x1 (2x) .
2
2
Esta expresin se conoce como frmula de la duplicacin.
Se han hecho tablas como la Tabla 2.1 para (x) donde 1 x 2.
x
1, 00
1, 02
1, 04
1, 06
1, 08
1, 10
1, 12
1, 14
1, 16
1, 18
1, 20
1, 22
1, 24
(x)
1, 000000
0, 988844
0, 978438
0, 968744
0, 959725
0, 951351
0, 943590
0, 936416
0, 929803
0, 923728
0, 918169
0, 913106
0, 908521
x
1, 26
1,28
1, 30
1, 32
1, 34
1, 36
1, 38
1, 40
1, 42
1, 44
1, 46
1, 48
1, 50
(x)
0, 904397
0, 900718
0, 897471
0, 894640
0, 892216
0, 890185
0, 888537
0, 887264
0, 886356
0, 885805
0, 885604
0, 885747
0, 886227
x
1, 52
1, 54
1, 56
1, 58
1, 60
1, 62
1, 64
1, 66
1, 68
1, 70
1, 72
1, 74
1, 76
(x)
0, 887039
0, 888178
0, 889639
0, 891420
0, 893515
0, 895164
0, 898642
0, 901668
0, 905001
0, 908639
0, 912581
0, 916826
0, 921375
18
x
1, 78
1, 80
1, 82
1, 84
1, 86
1, 88
1, 90
1, 92
1, 94
1, 96
1, 98
2, 00
(x)
0, 926227
0, 931384
0, 936845
0,942612
0, 948687
0, 955071
0, 961766
0, 968774
0, 976099
0, 983743
0, 991708
1, 000000
19
Captulo 3
Una generalizacin del factorial
En este captulo se presenta una posible generalizacin de la funcin factorial elemental, definida en cualquier subconjunto de los nmeros enteros. Para empezar este
trabajo necesitamos de algunas nuevas definiciones; las cuales se dan a continuacin.
3.1.
Nuevos conceptos
Claramente pueden existir muchos p-ordenamientos para un subconjunto S de nmeros enteros, debido a que el elemento a0 puede ser elegido arbitrariamente y adems pueden haber varias posibles elecciones de un elemento con el cual se consigue
minimizar la potencia de p, y en este caso se puede escoger cualquiera de estos.
Ejemplo 3.2. Sea S = {0, 1, 2, 3, 4, 5, 6, 7, ...} y p = 5.
Elijamos a0 = 0 y tomemos a1 = 1; ya que la mayor potencia de 5 que divide a
(a1 a0 ) = (1 0) = 1
es 50 .
En el siguiente paso, podemos elegir a2 = 2, dado que la mayor potencia de 5 que
divide a
(a2 a0 ) (a2 a1 ) = (2 0) (2 1) = 2
es 50 .
es 30 .
Para elegir el elemento a3 hay que observar que:
(a3 a0 ) (a3 a1 ) (a3 a2 ) = (a3 0) (a3 2) (a3 4)
(3.1)
V2 (S, 3) = 1,
V3 (S, 3) = 3,
V4 (S, 3) = 3 y V5 (S, 3) = 3.
V2 (S, 3) = 1,
V3 (S, 3) = 3,
V4 (S, 3) = 3 y V5 (S, 3) = 3.
3 , 3 , 3 , 3 , 3 , = {1, 1, 3, 3, 3, } .
22
(3.3)
p-sucesin asociada
a0
a1
a2
a3
a4
a5
17
11
13
17
11
19
23
11
13
24
{ 20 , 21 , 23 , 24 , 27 , }
{ 30 , 30 , 31 , 31 , 32 , }
{ 50 , 50 , 50 , 50 , 51 , }
{ 70 , 70 , 70 , 70 , 70 , }
2!S =
Y
p
3!S =
Y
p
4!S =
Y
p
5!S =
Y
p
V2 (S, p) = 21 30 50 70 = 2
V3 (S, p) = 23 31 50 70 = 24
V4 (S, p) = 24 31 50 70 = 48
V5 (S, p) = 27 32 51 70 = 5760
p-sucesin asociada
a0
a1
a2
a3
a4
a5
a6
10
12
10
12
10
12
10
12
11
10
12
{21 , 23 , 24 , 27 , 28 , 210 , }
{30 , 30 , 31 , 31 , 31 , 32 , }
{50 , 50 , 50 , 50 , 51 , 51 , }
{70 , 70 , 70 , 70 , 70 , 70 , }
2!S =
Y
p
3!S =
Y
p
4!S =
Y
p
V2 (S, p) = 23 30 50 70 110 = 8
V3 (S, p) = 24 31 50 70 110 = 48
V4 (S, p) = 27 31 50 70 110 = 384
25
5!S =
Y
p
6!S =
Y
p
Vk (S, p) =
Y
p
(3.4)
k!S = 2k 1 2k 2 2k 2k1 .
27
2! = 22 1 22 2 = 3 2 = 6.
3! = 23 1 23 2 23 22 = 7 6 4 = 168.
5! = 25 1 25 2 25 22 25 23 25 24
= 31 30 28 24 16 = 9999360.
Y en general, si tomamos como S cualquier progresin geomtrica en Z con razn
r y primer trmino a, se tiene que:
k!S = ak rk 1 rk r rk rk1 .
As, si tenemos S = {5, 15, 45, 135, } y queremos calcular 2! en S, obtenemos que
2!S = 52 32 1 32 2 32 3 = 25 8 7 6 = 8400.
(2k)!
k!S = k 2 0 k 2 1 k 2 (k 1)2 =
.
2 }
|
{z
ver Proposicin 3.15
2!S =
3!S
5!S
(2k)!
Proposicin 3.15. Sea k N entonces; (k 2 0) (k 2 1) k 2 (k 1)2 =
.
2
Demostracin. Factorizando cada uno de los trminos de la izquierda se obtiene:
(k 0) (k + 0) (k 1) (k + 1) (k (k 1)) (k + (k 1)) .
Ordenando trminos encontramos
k (k 1) (k (k 1)) k (k + 1) (k + (k 1)) = k!k (k + 1) (2k 1)
multiplicando y dividiendo esta expresin por 1 2 3 . . . (k 1) 2k se obtiene:
k!1 2 3 . . . (k 1) k (k + 1) (2k 1) 2k
=
1 2 3 ... (k 1) 2k
(2k)!
1 2 3 . . . (k 1) k (k + 1) (2k 1) 2kk!
=
.
=
2k!
2
28
3.2.
=
=
=
=
=
=
..
.
1
(x 2)
(x 2) (x 3)
(x 2) (x 3) (x 5)
(x 2) (x 3) (x 5) (x 11)
(x 2) (x 3) (x 5) (x 11) (x 19)
k
X
i=0
ci x
(i)S, p
k
X
i=0
ci (x a0 ) (x a1 ) (x ai1 )
(3.5)
= 2 4k 3 + 3k + 1 .
|
{z
}
Z
En particular tenemos f (11) = 113 + 11 = 1342 y este valor, por el nico nmero
par y positivo menor que 10 ,por el cual es divisible es 2. En definitiva se tiene que
d (f, S) = 2.
Empezaremos enunciando los nuevos resultados al utilizar la funcin factorial generalizada, con la nueva versin del Teorema 2.9.
Teorema 3.21. Sea f un polinomio primitivo de grado k, y sea
d (S, f ) = mcd {f (a) : a S} .
Entonces d (S, f ) divide a k!S .
Como en el Teorema 2.9, el Teorema 3.21 afirma que k!S no solamente es una cota
superior para un polinomio de grado k en S, sino que dado k!S (o cualquiera de sus
factores) este puede ser obtenido como el divisor fijo de algn polinomio primitivo.
30
k
X
i=0
ci x(i)S, p =
k
X
i=0
ci (x a0 ) (x a1 ) (x ai1 ) .
donde {ai,k }
i=0 es una sucesin en Z que, para cada primo p que divide a k!S es
congruente trmino a trmino mdulo Vk (S, p) a algn p-ordenamiento de S. Entonces se tiene que d (S, Bk,S ) = k!S . Adems si r es un factor de k!S , entonces
d (S, Bk,S + r) = r.
Ejemplo 3.22. Sea S y f como en el ejemplo 3.20 en donde encontramos que
d (f, S) = 2, entonces para comprobar el Teorema 3.21 debemos ver que d (f, S) = 2,
divide a k!s = 3!s = 24 lo que es cierto, ya que 24 = 2 (12).
Utilizaremos el teorema anterior para hacer la demostracin del siguiente teorema
que es anlogo al Teorema 2.7.
Teorema 3.23. Para cualesquiera enteros no negativos k y l, (k + l)!S es un mltiplo de k!S l!S .
Demostracin. Por el Teorema 3.21 existe un polinomio primitivo fk (a saber
Bk,S ) y fkn (a saber Bnk,S ) con grado k y n k respectivamente, tal que
d (S, fk ) = k!S y d (S, fnk ) = (n k)!S . Si multiplicamos obtenemos un polinomio
primitivo f = fk fnk de grado n tal que k!S (n k)!S divide a d (S, f ). Y nuevamente por el Teorema 3.21 sabemos que d (S, f ) debe dividir a n!S . Por tanto
k!S (n k)!S divide a n!S .
Ejemplo 3.24. Tomemos nuevamente el Ejemplo 3.9, con k = 2 y l = 3; en el cual
encontramos que 2!S = 2, 3!S = 24 y 5!S = 5760. Segn el Teorema 3.23, (2 + 3)!S
es mltiplo de 2!S 3!S , lo cual se comprueba facilmente como sigue
31
5760 = 48 (120) .
ahora por el lema anterior sabemos que k!S divide a k!T , por consiguiente
Y
(ai aj ) .
0!S 1!S n!S
i<j
d
X
(k)S,p
d
X
k=0
k=0
bk (x a0 ) (x a1 ) (x ak1 )
pe
para cada
mcd (pe , k!S )
X
k=0
ck (x a0 ) (x a1 ) (x ak1 ) ,
33
(3.6)
pe
para cada k 0. En efecto, por el Lema 3.28 al
mcd (pe , k!S )
pe
cambiar uno de los coeficientes ck por un mltiplo de
en (3.6) no cambia
mcd (pe , k!S )
pe
la funcin f , es decir, los ck estn determinados nicamente mdulo
,
mcd (pe , k!S )
pe
as nosotros podemos elegir los ck en el rango 0 ck
. Ahora tenemos
mcd (pe , k!S )
una nica representacin para cada funcin polinmica de S en Z/pe Z. Observando
pe
que aqu hay
elecciones de ck para cada k 0 se obtiene el resultado
mcd (pe , k!S )
del teorema.
donde 0 ck
k=0
coeficientes de este grupo abeliano Gd ; adems por el teorema para grupos abelianos
finitamente generados (Vase por ejemplo [3, p. 9293]) esas constantes dependen
nicamente de ellas mismas, sobre Gd , implicando la afirmacin del teorema.
3.3.
5. Si reemplazamos el conjunto de los enteros por cualquier anillo Dedekind (Definicin 1.20). Se sigue cumpliendo la generalizacin factorial propuesta aqu
para subconjuntos de esta clase de anillos?
6. Observando la Definicin 1.27 Se podra pensar en la generalizacin factorial
no para subconjuntos de Z, sino para subconjuntos de Zn cuando n > 1? Que
resultados vistos en este trabajo podran redefinirse en este caso?
Esperamos que el lector se motive a tratar de dar respuesta a estos interrogantes y
a muchos otros que hayan podido aparecer como consecuencia en todo el proceso de
este trabajo.
35
Bibliografa
[1] BHARGAVA Manjul. The factorial function and generalizations. American
Mathematical Montly 107, 2000.
[2] BHARGAVA Manjul. Generalized factorials and fixed divisors over subsets of
a Dedekind domain. J. reine angew. Math. 490, 1997
[3] FRALEIGH Jhon B. lgebra abstracta. Primer curso. Estados Unidos: Addison-Wesley Iberoamericana. 1982.
[4] ATIYAH M.F. and MACDONALD I.G. Introduccin al lgebra conmutativa.
Barcelona: Ed. Revert:, 1980.
[5] GROSSMAN Stanley. lgebra lineal. Ed. McGraw Hill: Mexico.1996.
[6] JIMENEZ Rafael, GORDILLO Enrique, RUBIANO Gustavo. Teora de nmeros para principiantes. Bogot: Unibiblos Seccin Imprenta.
36