1

FUNCIONES ARITMTICAS

MARA ELIETH LVAREZ ULATE

San Jos, Costa Rica

2015

Contenido
INTRODUCCIN.......................................................................................................... 4
DESARROLLO.............................................................................................................. 5
FUNCIONES ARITMTICAS........................................................................................... 5
LA FUNCIN TAU ()................................................................................................ 6
Propiedades de la funcin tau.............................................................................. 6
LA FUNCIN SIGMA ()............................................................................................ 6
FUNCIN DE MBIUS............................................................................................... 9
Propiedades de la funcin de Mbius...................................................................9
FUNCIN INDICATRIZ DE EULER............................................................................ 11
Propiedades de la funcin indicatriz de Euler.....................................................13
CONCLUSIN............................................................................................................ 16
BIBLIOGRAFA........................................................................................................... 17

INTRODUCCIN
El presente trabajo define las funciones aritmticas, los tipos y sus propiedades. Adems define
las funciones aritmticas ms importantes y sus propiedades.
Segn Mara Alvarez Cubero
La Matemtica Discreta surge como una disciplina que unifica diversas reas
tradicionales de las Matemticas (combinatoria, probabilidad, geometra de polgonos,
aritmtica, grafos,...), como consecuencia de, entre otras cosas, su inters en la
informtica y las telecomunicaciones: la informacin se manipula y almacena en los
ordenadores en forma discreta (palabras formadas por ceros y unos), se necesita contar
objetos (unidades de memorias, unidades de tiempo), se precisa estudiar relaciones entre
conjuntos finitos (bsquedas en bases de datos), es necesario analizar procesos que
incluyan un nmero finito de pasos (algoritmos)...1
Las funciones aritmticas son una base importante en el estudio de la teora de nmeros, que
es la que estudia la teora de los nmeros enteros. La teora de nmeros en la actualidad dio
respuesta a problemas prcticos, que surgieron con el desarrollo de las computadoras.

1 http://www.escet.urjc.es/~rmunoz/discreta.html

DESARROLLO
1. Definir las funciones aritmticas y multiplicativas, anotar sus propiedades ms
importantes y demostrarlas; proponer dos ejemplos de cada una y efectuarlos paso a
paso (22 puntos)

FUNCIONES ARITMTICAS
Tom Apostol define las funciones aritmticas como

sucesiones de nmeros reales o

complejos
Definicin. Una funcin real - o compleja definida sobre los enteros positivos se llama una
funcin aritmtica o una funcin de Teora de nmeros. (Apostol, 2002)
Hardy & Wright aaden que adems est definida sobre el conjunto de los nmeros
naturales, que expresa alguna propiedad aritmtica en funcin de n".
Murillo y Gonzlez las denominan aritmticas o numricas y las definen sobre el conjunto
de los nmeros enteros positivos y de principal importancia para facilitar la demostracin y
comprensin de resultados y teoremas en el campo de la teora de nmeros.
Daz Roman indica que hay dos tipos de funciones aritmticas: las aditivas y las
multiplicativas. Las define:
Definicin. Decimos que

es una funcin aditiva si

f ( mn )=f ( m )+ f (n) , cuando

( m ,n )=1

Y es totalmente aditiva si no hay restriccin para

Definicin. Sea f una funcin numrica tal que

m y n .

f ( mn )=f ( m ) f (n) , cuando ( m ,n )=1

Y si esto es cierto para todo

y n

decimos que

es completamente

multiplicativa. La expresin de una funcin multiplicativa depende tan solo de sus factores
primos y sus exponentes.

2. Definir la funcin aritmtica tau y la sigma, anotar sus principales propiedades y

demostrarlas; proponer dos ejemplos de cada una y efectuarlos paso a paso (22
puntos)

LA FUNCIN TAU ()
n

Sea

un entero positivo, se define la funcin aritmtica tau de n, y se denota con

( n ) , como el nmero de divisores positivos de n. (Murillo Tsijli & Gonzlez Arguello, 2006)
Se define

( n ) = 1
dn

Propiedades de la funcin tau

La funcin tau cumple las siguientes propiedades:
a)

( n)

es multiplicativa

b) Si p es un nmero primo
c) Como

( n)

es multiplicativa entonces

1+ a
( i )
( n ) = p ai =

( p )= +1

d)

( n ) es impar sii n es un cuadrado perfecto

LA FUNCIN SIGMA ()
n

Sea

un entero positivo, se define la funcin aritmtica sigma de n, y se denota con

( n ) , como la suma de todos los divisores positivos de n. (Murillo Tsijli & Gonzlez Arguello,
2006).
Se define

( n ) = d
dn

Propiedades de la funcin sigma

La funcin

a)

( n)

( n)

cumple las siguientes propiedades:

es una funcin multiplicativa

b) Si p es un nmero primo, entonces

c) Si p es un nmero primo, entonces

p
p +11
( )=
p1

d) Si

n= pai , entonces
i

i=1

( n ) =
i=1

p ai +11
pi 1
i

( p )= p+1

e) Si

+
n=2 con Z entonces ( n ) es impar.

9
3. Definir la funcin indicatriz de Euler y la de Mbius, anotar sus principales propiedades
y demostrarlas; proponer dos ejemplos de cada una y efectuarlos paso a paso (22
puntos)

FUNCIN DE MBIUS

Definicin.
La funcin de Mbius2 se define como sigue:

(1 )=1

a.

b. Si

n>1 , escribimos n=p a1 pak . Entonces

1

( n )=(1 )k

( n )=0

Obsrvese que

( n )=0

si

a1=a2==a k =1

en otro caso

si y solo si,

n admite un divisor cuadrado > 1. (Apostol, 2002)

Propiedades de la funcin de Mbius

2Broder y Digiovani interpretan la funcin (n) como una funcin: definida para todos los
nmeros naturales n y toma valores en

{1,0,1 }

dependiendo de la factorizacin de n en

sus factores primos. Se define como sigue: (n) = 1 si n es libre de cuadrados y tiene un
nmero par de factores primos distintos.
(n) = -1 si n es libre de cuadrados y tiene un nmero impar de factores primos distintos.
(n) = 0 si n es divisible por algn cuadrado.

3 Murillo y Gonzlez lo interpretan

v (n )

(1)

si n no es divisible por algn cuadrado diferente de 1.

10
Una de las principales propiedades es una frmula simple, pero notable, relativa a la suma

(d)
dn

, extendida sobre los divisores positivos de

n . ( [ x]

designa el mayor entero

x .)

menor e igual a
Teorema 2.1

Si

n 1

tenemos

[]{

(d)=
dn

1
= 1 si n=1
n
0 si n>1

Demostracin:
La frmula claramente cierta para

Suponemos, entonces, que

n>1

n=1 .

y escribimos

nicos trminos no nulos proceden de

n=p a1 pak . En la suma

1

d=1 y de los divisores de

(d)
dn

los

n que son productos de

primos distintos. Entonces

( d ) = ( 1 ) + ( p1 ) ++ ( p k ) + ( p 1 p2 ) ++ ( p k1 pk ) ++ ( p 1 p2 p k )=1+( k1 )(1 ) +( k2 )(1 )2+ +

dn

Teorema.
La funcin de Mbius

a)

( n ) cumple las siguientes propiedades

( n ) es multiplicativa

b) Si

es una funcin multiplicativa y

entonces

n=p r1 prk
1

la descomposicin prima de n,

11

( d ) f ( d ) =(1f ( p1 ) )(1f ( p2 ) ) (1f ( p k ))

dn

c) Si F es una funcin aritmtica y se define

f (n)= ( d ) F
d n

como

( nd )

Entonces

F( n)= f ( d )
dn

Adems

es nica

Demostracin

Se presenta una grfica de los 50 primeros valores de la funcin

( n)

FUNCIN INDICATRIZ DE EULER

La

funcin es

importante

principalmente

multiplicativo de enteros mdulo n

porque

proporciona

el

tamao

del grupo

12

Sea

( n)

un entero positivo, se denota con

menores o iguales que

y primos relativos con

el nmero de enteros positivos

n . A la funcin aritmtica

denomina funcin indicatriz de Euler. Adems, se define

se le

( 1 )=1 . (Murillo Tsijli & Gonzlez

Arguello, 2006)
Apostol define la indicatriz
Definicin.
Si

n 1

la indicatriz de Euler

que son primos con

(n)

es el nmero de enteros positivos menores que

n ; as pues, (1)

( n ) = ' 1
k=1

En donde la () indica que la suma se halla extendida sobre los k primos con

n .

Segn Tom Apostol, la indicatriz de Euler est relacionada con la funcin de Mbius por medio
de la frmula que sigue:
Teorema 2.3 (Apostol, 2002)

Si

n 1 tenemos

( n ) = (d)
dn

Demostracin:
La suma (1) que define

( n)

se puede escribir en la forma

n
d

13
n

( n ) =

k=1

[ ]
1
(n . k )

En donde k recorre todos los enteros menores e iguales a n. Ahora utilizaremos el teorema 2.1
substituyendo n por (n,k) y obtenemos

d(n ,k)

( d ) = ( d )
k=1 dn
dk
n

( n )=
k=1

Para un divisor d de n fijo podemos sumar respecto de todos los k tales que

son mltiplos de d. Si escribimos

k =qd

Por lo tanto la ltima suma que da

( n)

nd

entonces

1 k n

si, y solo si,

1 k n

que

1 q nd .

se puede escribir

nd

( d ) = ( d ) 1= ( d ) dn
q=1
dn
q=1
dn
( n ) =
d n

Adems, Tom Apostol expresa la funcin

primos de n, distintos.
Teorema 2.4 (Apostol, 2002)
Para

n 1 tenemos

( 1p )

( n ) =n 1
pn

( n)

como un producto extendido a los divisores

14
Demostracin:
Para

n=1

el producto es vacio puesto que no existe ningn primo que divida a 1. En este

caso entendemos que al producto se le asigna el valor 1. Suponemos, entonces, que

que

p1 , p2 , , pr

son los divisores primos distintos de

n>1 y

. El producto se puede escribir

(4)
r

(1 )
1
1
1
+

++
pi
pi p j
pi p j p k
p 1 p 2 pr
1
1 =1
pi

(
pn

1
1 =
p i=1

En el segundo miembro entendemos que en un trmino como

todos los posibles productos

pp
i

pk

se consideran

pi p j p k de factores primos distintos de n, tomando tres de ellos

a un tiempo. Obsrvese que cada uno de los trminos de la derecha de (4) es de la forma

1
d , en donde d es u divisor de n que es 1 o un producto de primos distintos El numerador

algn

es exactamente

( d ) . Puesto que

( d )=0

si d es divisible por el cuadrado de

pi vemos que la suma de (4) es exactamente la misma que

15

dn

(d )
d

Propiedades de la funcin indicatriz de Euler

Teorema 2.5 (Apostol, 2002)
La indicatriz de Euler posee las siguientes propiedades:
(a)

( p )= p p 1 para

(b)

( mn )= ( m ) ( n ) (d / ( n )), en donde d=( m, n )

(c)

( mn )= ( m ) ( n ) si ( m ,n )=1

(d) a/b implica

(e)

(n)

(a) / (b )

es par para

entonces

p primo y 1

n 3 . Adems posee r factores primos impares distintos,

2r ( n )

Demostracin

Se presenta en una grfica los primeros mil valores de

(n)

16

17
4. Escriba en el espacio indicado la informacin que se le solicita. (12 puntos)

(n)

(n)

(n)

(n)

p (primo)

P+1

P1

144

15

403

48

360

24

2340

96

18

CONCLUSIN

La investigacin anterior

19

BIBLIOGRAFA

Apostol, T. M. (2002). Introduccin a la teora analtica de nmeros. Barcelona:

Editorial Revert, S.A.
Bolaos, B. M. (No identificado). Funciones Multiplicativas. No identificado: No
identificado.
Broder, . G., & Digiovani, M. (No identificado de No identificado de No identificado).
Facultad de Humanidades y Ciencias Universidad Nacional del Litoral.
Obtenido de Facultad de Humanidades y Ciencias Universidad Nacional del
Litoral: http://www.fhuc.unl.edu.ar/materiales_congresos/CD_matematica
%202014/pdf/Posters/poster_BRODER_Digiovani.pdf
Murillo Tsijli, M., & Gonzlez Arguello, J. F. (2006). Teora de los nmeros. Cartago:
Editorial Tecnolgica de Costa Rica.
Roman, M. D. (febrero - mayo de 2010). Funciones Aritmticas I. Obtenido de
Revista Escolar de la Olimpiada Iberoamericana de Matemticas:
http://www.oei.es/oim/revistaoim/numero38.htm