ra

Captulo 1

Sumatorias y principios
de conteo
Bor
Pg. 2 Sumatorias y conteo

1.1. Introduccin
Las sumatorias aparacen en cada lugar donde la matemtica y la cien-

ra
cia est, por lo tanto, se requiere herramientas bsicas para manejarlas.
En este captulo se da una notacin y se desarrolla tcnicas generales para
manejar sumatorias.
Sucesin numrica: t1 , t2 , t3 , , tn
Serie numrica: t1 + t2 + t3 + + tn
Luego, serie numrica es la adicin indicada de los trminos de una
sucesin numerica, al resultado de la adicin se le llama valor de la serie.

Cunto es la suma de los n primeros nmeros enteros posi-

tivos?
La historia de la matemtica cuenta una ancdota. Carl Friedrich
Gauss (1777-1855), estaba en la escuela cuando su profesor di a la clase
Bor
la tarea de sumar de 1 al 1000 (aunque hay otras versiones). El espera-
ba tomar una hora de descanso mientras que sus estudiantes estuvieran
trabajando. Para sorpresa del profesor, Gauss vino inmediatamente con
la respuesta correcta. Su solucin fue extremadamente simple:
Combinando el primer trmino con el ltimo se obtiene: 1 + 1000 = 1001.
Combinando el segundo trmino con el penltimo se obtiene: 2 + 999 =
1001, se procede de la misma manera con los siguientes.
Combinando el primer trmino remanente con el ltimo remanente (y
luego descartndolos) siempre se obtiene: 1001.
El ltimo par sumado es: 500 + 501 = 1001.
Entonces se obtiene 500 veces 1001, el cual es 500500 o tambin
1000(1001)
2 .

Debi haber utilizado la siguiente frmula (la notacin con sigma se

explica a continuacin):

n
X n(n + 1)
i = = 1 + 2 + 3 + 4+. . .+n
i=1
2

1.2. Notacin
Considerando la sumatoria recientemente vista:
Oliver A. Vilca H. Pg. 3

ra
ohann Carl Friedrich Gauss. (30 de abril
J de 1777 - 23 de febrero de 1855), fue un
matemtico, astrnomo y fsico alemn que
contribuy significativamente en muchos
campos, incluida la teora de nmeros, el
anlisis matemtico, entre otros. Considerado
el prncipe de las matemticas. Gauss fue
Bor un nio prodigio de quien existen muchas
ancdotas acerca de su asombrosa precocidad
siendo apenas un infante, e hizo sus primeros
grandes descubrimientos mientras era apenas
un adolescente. Complet su magnum opus,
Disquisitiones Arithmeticae a los veintin
aos. Un trabajo que fue fundamental para
que la teora de los nmeros se consolidara.

Cuadro 1.1: Carl Friedrich Gauss.

1 + 2 + 3 + 4+. . .+n

Las sumatorias se denotan con la letra mayscula sigma

Pn (del alfabeto
griego). En particular la sumatoria de arriba se denota i=1 i, el cual se
lee asi: Suma del trmino i, donde i va de 1 hasta n. Joseph Fourier
fue quien introdujo esta notacin en 1820. De este modo la suma de los
n primeros cuadrados se representara as:

n
X
i2 = 12 + 22 + 32 +. . .+n2
i=1

No es obligatorio utilizar la letra i, otra letra puede tomar su lugar. Por

Pg. 4 Sumatorias y conteo

P P P
ejemplo en lugar de escribir ni=1 i2 se puede escribir: nj=1 j 2 , nk=1 k 2 ,
Pn 2
m=1 m , etc., todas se consideran alternativas para el mismo objetivo.
No es buena idea utilizar la letra n como ndice en este ejemplo debido a

ra
que n ya se est utilizando para el nmero de trminos.
En general, si m y n son enteros tales que m < n, entonces:

n
X
ai = am + am+1 + am+2 + + an
i=m

Donde m y n se llaman lmite inferior y superior

Pn respectivamente, i es el
ndice de la sumatoria (tambin se escribe i=m ai ). La notacin es til
para escribir sumatorias en forma concisa y compacta.
Otra forma de escribir la sumatoria es:
Bor X

P (k)
ak

Como una abreviacin de la suma de todos los trminos ak tal que

k es un entero que satisface la propiedad P (k). (Una propiedad P (k) es
una sentencia acerca de k que puede ser verdadera o falsa). Si queremos
sumar los reciprocos de todos los nmeros primos, se podra escribir de la
siguiente manera:

X 1
k
k primo

Y si se quiere sumar todos los nmeros primos entre 2 y 50 (se enti-

dende aqui que 1 no es primo):

50
X X
k= k
k=2 2k50
k primo k primo

En particular la sumatoria es equivalente a un bucle en un algoritmo o

especficamente a un f or en un lenguaje de programacin. En el progra-
ma 1.1 se muestra la estructura f or en el lenguaje C/C++/C#/Java.
 Oliver A. Vilca H. Pg. 5

Programa 1.1: Programa en C equivalente a la sumatoria

1 int i ; /* i : ndice de la S u m a t o r i a */

ra
2 int sum = 0;
3
4 /* Lmite : inferior superior */
5 for ( i = m ; i <= n ; i ++ )
6 {
7 sum = sum + a ( i ); /* a ( i ): trmino de la s u m a t o r i a */
8 }

1.3. Ejemplos
Bor 5
X
10
X

i=1
i =

i2 =
1 + 2 + 3 + 4 + + 10 = 55

32 + 42 + 52 = 50
i=3
2
X
sen(i ) = sen(0) + sen( ) + sen() = 1
i=0
2 2
X 1 1 1 1 1 1 1 1 716167
= + + + + + + =
2k17
k 2 3 5 7 11 13 17 510510
k primo

1.4. Propiedades de las sumatorias

Nmero de trminos de una sumatoria: Lmite superior - Lmite
inferior + 1.
n
X
1 = nm+1
i=m

Constante: cuando la sumatoria de los trminos no incluye el ndice

de la sumatoria (la variable en ejecucin), la sumtoria es igual al nmero
Pg. 6 Sumatorias y conteo

ra
Pi=
Le signe i=1
indique que lon doit
donner au nombre entier i toutes ses
valeurs 1, 2, 3, , et prendre la somme des
termes.
Jean-Baptiste-Joseph Fourier (21 de marzo de
1768 en Auxerre - 16 de mayo de 1830 en Pars),
matemtico y fsico francs conocido por sus
trabajos sobre la descomposicin de funciones
peridicas en series trigonomtricas convergentes
Bor llamadas Series de Fourier, mtodo con el cual
consigui resolver la ecuacin del calor. La
transformada de Fourier recibe su nombre en su
honor. Fue el primero en dar una explicacin
cientfica al efecto invernadero en un tratado. Se
le dedic un asteroide que lleva su nombre y que
fue descubierto en 1992.

Cuadro 1.2: Joseph Fourier.

de trminos por la constante. Sea c R:

n
X
c = (n m + 1)c
i=m

Factorizacin de constantes: Sea c R:

X X
(c ai ) = c ai
i i

Ejemplos:
n
X
c = nc
i=1
Oliver A. Vilca H. Pg. 7

7
X
c = (7 3 + 1)c = 5c
i=3

ra
8
X
x2 = x2 + x2 + x2 + x2 + x2 = (8 4 + 1)x2 = 5x2
i=4

En el ltimo ejemplo x2 es constante debido a que no depende del

ndice de la sumatoria (variable en ejecucin).
Linealidad:

X X X
(c ai + k bi ) = c ai + k bi
i i i

Traslacin de ndice: Si s N
Bor n
X

i=m
ai =
n+s
X

i=m+s
ais

Propiedad telescpica: Tiene la particularidad de que casi todos

sus trminos se anulan quedando estas reducidas a slo dos trminos.

n
X
(ai ai+1 ) = am an+1
i=m
o bin,
n
X
(ai ai1 ) = an am1
i=m

1.5. Frmulas bsicas

n
X n(n + 1)
i = (1.1)
i=1
2
n
X n(n + 1)(2n + 1)
i2 = (1.2)
i=1
6
Pg. 8 Sumatorias y conteo

n
X  n(n + 1) 2
i3 = (1.3)
i=1
2

ra
Cada una de estas frmulas se pueden demostrar por induccin ma-
temtica. En particular la frmula (1.2) se puede obtener de diferentes
maneras, al menos de cinco maneras, puede consultar los textos de refe-
rencia.

1.6. Ejercicios resueltos

P77
1. Hallar: i=33 i
77
X 77
X 32
X
i = i i
Bor i=33
X77

i=33
X77
i =
i=1

2

i=1

77(77 + 1) 32(32 + 1)
2

i = 77(39) 16(33) = 2475

i=33

Para obtener el resultado utilizando el Software Mxima se escribe:

sum (i, i, 33, 77);
Pn
2. Calcule: i=1 (6i2 2i)
n
X n
X n
X
(6i2 2i) = 6 i2 2 i)
i=1 i=1 i=1
n
X n(n + 1)(2n + 1) n(n + 1)
(6i2 2i) = 6 2
i=1
6 2
n
X
(6i2 2i) = n(n + 1)(2n + 1) n(n + 1)
i=1
Xn
(6i2 2i) = 2n2 (n + 1)
i=1

Para obtener el resultado con Mxima se escribe:

sum(6 i2 2 i, i, 1, n), simpsum, f actor;
Oliver A. Vilca H. Pg. 9

P7 2
3. Calcule la siguiente sumatoria: j=3 (j + 2j + 1)

7
X 7
X
2
(j + 1)2

ra
(j + 2j + 1) =
j=3 j=3

Debido a que (j 2 + 2j + 1) = (j + 1)2

7
X 7+1
X
(j 2 + 2j + 1) = (j 1 + 1)2
j=3 j=3+1
T raslacin de ndice
7
X X8
(j 2 + 2j + 1) = j2
j=3 j=4
7
X
(j 2 + 2j + 1) = 42 + 52 + 62 + 72 + 82 = 190
Bor j=3

Pn
4. Calcule la siguiente sumatoria: i=0 i i!

n
X n
X
i! i = i!(i + 1 1)
i=0 i=0
Xn Xn
i! i = ((i + 1)i! i!)
i=0 i=0
Xn Xn
i! i = ((i + 1)! i!)
i=0 i=0
Xn n
X
i! i = (i! (i + 1)!)
i=0 i=0
Xn
i! i = (0! (n + 1)!)
i=0
P ropiedad telescpica
n
X
i! i = (n + 1)! 1
i=0
Pg. 10 Sumatorias y conteo

1.7. Clculo de mas sumatorias

ra
1. Calcular la siguiente sumatoria:
n
X
F (n) = 2i = 1 + 2 + 4 + + 2n
i=0

La diferencia entre trminos consecutivos esta dado por el factor 2,

entonces multipliquemos toda la expresin por dos:

2F (n) = 2 + 4 + 8 + + 2n + 2n+1

Ordenando adecuadamente:

2F (n) = 1 + 2 + 4 + 8 + + 2n + 2n+1 1
Bor 2F (n) = F (n) + 2n+1 1

Finalmente:
F (n) = 2n+1 1
Pn
2. Calcular la siguiente sumatoria: i=1 i2i

G(n) = 1 21 + 2 22 + 3 23 + + n 2n (1.4)

Se aplica la misma tcnica (multiplicar por dos la expresin):

2G(n) = 1 22 + 2 23 + 3 24 + + n 2n+1 (1.5)

Si se substrae las dos expresiones (1.5-1.4) se obtiene:

2G(n) G(n) = n2n+1 + 1 (20 + 21 + 22 + + 2n )

G(n) = n2n+1 + 1 (2n+1 1)
G(n) = (n 1)2n+1 + 2

1.8. Frmulas

Serie Aritmtica: La diferencia de dos trminos sucesivos cuales-

quiera de la secuencia es una constante, cantidad llamada: diferencia
Oliver A. Vilca H. Pg. 11

comn, incluso distancia, razn arimtica constante.

n
X n(a1 + an )
ai = a1 + a2 + a3 + + an = (1.6)

ra
i=1
| {z } 2
n sumandos

Donde:
a1 : primer trmino.
an : ltimo trmino.
n: nmero de trminos.
d: razn aritmtica (o diferencia).

El trmino ensimo esta dado por:

an = a1 + (n 1)d (1.7)
Bor
Considerando esta ltima igualdad se tiene:
n
X

i=1
ai = a1 + a2 + a3 + + an = n a1 +
| {z
n sumandos
}
n(n 1)d
2
(1.8)

Serie Geomtrica: Se denomina tambin progresin geomtrica, da-

do un primer trmino diferente de cero, cada trmino que contina a par-
tir del segundo, se obtiene del inmediato anterior al multiplicarlo por un
nmero diferente de cero llamado cociente comn o razn geomtrica
constante.

n
X a1 (cn 1)
ai = a1 + a2 + a3 + + an = , c 6= 1 (1.9)
i=1
| {z } c1
n sumandos

Donde:
a1 : primer trmino.
an : ltimo trmino.
n: nmero de trminos.
c: razn geomtrica.

El trmino ensimo esta dado por:

an = a1 cn1 (1.10)
Pg. 12 Sumatorias y conteo

Serie geomtrica decreciente infinita: Cuando la razn geomtrica

es convergente, es decir, el valor absoluto de la razn es menor que la
unidad: 0 < |c| < 1. La suma de los infinitos trminos decrecientes de la

ra
progresin geomtrica converge hacia un valor finito. Este caso especial
de serie geomtrica no tiene ltimo trmino debido a que la serie est
constituida por infinitos trminos.

X a1
ai = a1 + a2 + a3 + = , |c| < 1 (1.11)
i=1
1c

Demostracin de convergencia. Sea: |c| < 1

Bor
X

i=1
X
ai = a1 + a2 + a3 + a4 +

ai = a 1 + a 1 c + a 1 c2 + a 1 c3 +
i=1

X
ai = a1 (1 + c + c2 + c3 + )
i=1

X
ai = a1 lm (1 + c + c2 + c3 + + cn )
n
i=1

X 1 cn+1
ai = a1 lm ( )
i=1
n 1c
cn+1 0, para |c| < 1

X a1
ai = , |c| < 1
i=1
1c

1 1 1 1
Ejemplo: Calcular: S = 2 + 4 + 8 + 16 + ...

El siguiente grfico ilustra la convergencia de la sumatoria:

Oliver A. Vilca H. Pg. 13

ra
Luego se calcula su valor:

1 1 1 1
S = + + + + ...
Bor S =
2 4 8 16
a1
1c
=
1
1 21
=1

Series Geomtricas
n n
X cn+1 1 X cn+1 c
ci = , c 6= 1, ci = , c 6= 1
i=0
c1 i=1
c1
n n
X X ncn+2 (n + 1)cn+1 + c
ici = ici = , c 6= 1
i=0 i=1
(c 1)2

X 1 X i c
ci = , c = , |c| < 1
i=0
c 1 i=1 c1

X X c
ici = ici = , |c| < 1
i=0 i=1
(c 1)2

Serie Armnica
n
X 1 1 1 1 1 1
Hn = = + + + + +
i=1
i 1 2 3 4 n

ln n < Hn < ln n + 1
Pg. 14 Sumatorias y conteo

1
Hn = ln n + + O( ) , donde 0,57721
n
n
X
Hi = (n + 1)Hn n

ra
i=1

1.9. Ejercicios Propuestos: A

1. Calcular:
4
X 1
(1)n+1
n=1
n

(a) 5/12
(b) 7/31
(c) 9/41
Bor (d) 7/12
(e) 9/31
2. Sintetizar en forma de sumatoria:

2 + 8 + 18 + 32 + + 200
P10
(a) x=1 x
P10
(b) x=1 2x
P10
(c) x=1 (2 + x)
P10
(d) x=1 2x2
(e) Imposible.

3. Hallar: 1 + 3 + 5 + 7 + . . .
| {z }
2013 sumandos

(a)
2013(2014)
(b) 2
(c) 2(2013)
(d) 2(2013) 1
(e) 20132
4. La siguiente suma:
Oliver A. Vilca H. Pg. 15

S = 1(30) + 2(29) + 3(28) + ... + 15(16)

Se puede expresar como:

ra
P30
(a) k=1 k(31 k)
P15
(b) k=1 k(30k 1)
P15
(c) k=1 k(29 + k)
P15
(d) k=1 k(31 k)
P30
(e) k=1 k(29 k)

5. Hallar el valor de :
11 + 101 + 1001 + 10001 + . . . + |1000{z
. . . 01}
100 cif ras

6. Cuntos cuadrados hay en una tablero de ajedrez (superficie cua-

Bor driculada de 8 cuadraditos por lado)?

(a) 64
(b) 204
(c) 512
(d) 612
(e) 1024

7. Hallar:
i=11
X
i3
i=7

(a) 3816
(b) 4120
(c) 3915
(d) 3925
(e) 3945

8. Hallar: 22 + 42 + 62 + ... + 302

(a) 2450
(b) 4960
(c) 2800
Pg. 16 Sumatorias y conteo

(d) 5200
(e) 3650

ra
9. Calcular la cifra de las decenas de la siguiente suma:

S = 1! + 2! + 3! + + 2013!

(a) 0
(b) 1
(c) 2
(d) 3
(e) 4
10. Calcular:
20 X
X 10
Bor (a) 2760
(b) 1450
i=18 i=1
(2i + 1)

(c) 2360
(d) 2560
(e) 1760
11. Hallar: 1 + 2 + 4 + 8 + ... + 1024
(a) 2000
(b) 2002
(c) 2012
(d) 2045
(e) 2047
1 1 1 1
12. Hallar: P = 4 + 42 + 43 + 44 + ...
(a) 1/2
(b) 1/3
(c) 1/4
(d) 1/5
(e) N.A
Oliver A. Vilca H. Pg. 17

13. En la base cuadrangular de una pirmide se han usado 900 bolas

Cuntas bolas se han usado en total?
(a) 9215

ra
(b) 7215
(c) 9455
(d) 3025
(e) Ninguna de las anteriores.

1.10. Ejercicios Propuestos: B

1. Calcule la siguiente sumatoria (para el anlisis del algoritmo de or-
denamiento Heapsort):
Bor F (n) =
n
X

i=1

(a) 2n+1 2 n
i2ni = 1 2n1 + 2 2n2 + 3 2n3 + + n 2nn

(b) 2n+1 2 + n
(c) 2n+1 + 2 n
(d) 2n1 2 n
(e) Ninguna de las anteriores.

2. Calcular la siguiente sumatoria:

n
X 1
E=
k(k + 1)
k=1

3. Calcular:
3 8 13 18
S= 1
+ 2 + 3 + 4 + +
11 11 11 11
3
(a) 11
1
(b) 4
1
(c) 3
7
(d) 20
(e) Ninguna de las anteriores.
Pg. 18 Sumatorias y conteo

4. Hallar el valor de: [Examen General UNA 27/05/2012]

n
X n
X
i2 i2

ra
i=1 i=11
S= 10 10
P P
8i2 5 i2
i=1 i=1

(a) 3/5

(b) 1/3

(c) 2/3

(d) 5/3
Bor (e) 1

1.11. Principios de conteo

Funcin factorial: Es el producto de los enteros positivos de 1 hasta

n, denotado por n!, se lee factorial de n:

n! = n(n 1)(n 2)...(3)(2)(1)

De aqui:

n! = n(n 1)! , bien (1.12)

n! = n(n 1)(n 2)! (1.13)

Se considera: 1! = 1 y 0! = 1.
Oliver A. Vilca H. Pg. 19

n n!
1 1
2 2

ra
3 6
4 24
5 120
6 720
7 5040
8 40320
9 362880
10 3628800
11 39916800
12 479001600
13 6227020800
14 87178291200
Bor 15
16
1307674368000
20922789888000

Esta funcin crece rpidamente, por ejemplo, 35! es igual a: 1033314796638614492

(41 cifras).
Cuando n es un nmero grande, se utiliza la aproximacin de Stirling
(donde e = 2,7128...).
n! = 2n nn en

Cofactorial o semi-factorial de un nmero (n!!). Se define para

un n entero positivo de la siguiente manera.

2 4 6 8 (n 2) n , si n es par
n!! =
1 3 5 7 (n 2) n , si n es impar

En general:
n n
n!! = 2 2 ( )! , si n es par (1.14)
2
n!
n!! = n1 , si n es impar (1.15)
2 2 ( n1
2 )!

Principio de la adicin: Si un evento E puede ocurrir de m maneras

y un segundo evento F puede ocurrir de n maneras, y si ambos eventos no
Pg. 20 Sumatorias y conteo

pueden ocurrir simultaneamente. Entonces E o F puede ocurrir de m + n

maneras.
Principio de la multiplicacin: Si hay un evento E que puede ocu-

ra
rrir de m maneras e, independientemente de este evento, hay un segundo
evento F que puede ocurrir de n maneras. Entonces la combinacin de E
y F puede ocurrir de mn maneras.
Los principios de arriba se pueden extender a tres o ms eventos.
Permutaciones y combinaciones
Permutacin. El arreglo (ubicacin) de n objetos en un orden dado se
denomina permutacin de los objetos (tomados todos al mismo tiempo).
Un arreglo de un k n de esos objetos dado un orden se denomina k-
permutacin una permutacin de n objetos tomados de k en k. Se
puede entender tambin como la variacin del orden o de la disposicin de
los elementos de un conjunto. No hay repeticiones e importa el orden.
Por ejemplo: Sea el conjunto de letras A, B, C y D:
Bor DCBA, ACDB son permutaciones de cuatro letras (tomados todos
al mismo tiempo):
BAD, DBA, DBC son permutaciones de cuatro letras tomados tres
al mismo tiempo.

Es importante el nmero de tales permutaciones sin listarlos. El nmero

de permutaciones de n objetos tomados k al mismo tiempo se denota por:
P (n, k). Otros pueden usar n Pk Pn,k

n!
P (n, k) = n(n 1)(n 2)...(n k + 1) = (1.16)
(n k)!

Corolario. Hay n! permutaciones de n objetos (tomados todos al mismo

tiempo). Ejemplo: si se quiere elegir todas las bolas de billar las permu-
taciones seran: 16! = 20 922 789 888 000
Pero si slo se quiere elegir 3, se debe dejar de multiplicar despus de
14 (el tercer nmero). Cmo se escribe? Respuesta: se divide entre 13!
16 15 14 13 12...
P (16, 3) = = 16 15 14 = 3360
13 12...

Directamente (utilizando la frmula):

16! 16!
P (16, 3) = = = 16 15 14 = 3360
(16 3)! 13!
Oliver A. Vilca H. Pg. 21

Permutacin circular: Si colocamos n objetos alrededor de una cir-

cunferencia se obtiene una permutacin circular. Dos permutaciones cir-
culares son iguales si cualquiera de ellas se obtiene a partir de la otra

ra
mediante un giro.

Para n = 2. El nmero de permutaciones ordinarias de 2 elementos es

P2,2 = 2! = 2. Como permutaciones circulares las dos son iguales, pues se
pueden obtener a partir de la otra mediante un giro de 180o .

Para n = 3. El nmero de permutaciones ordinarias de 3 elementos es

P3,3 = 3! = 6. Como permutaciones circulares hay 2 distintas nada ms.

Se puede comprobar que para calcular las permutaciones circulares

Bor
es suficiente con dejar un elemento fijo y permutar de todas las formas
posibles los restantes. Es decir:

PC (n) = (n 1)! (1.17)

Permutacin con repeticin. Sea P (n; n1 , n2 , n3 , ..., nk ) el nmero

de permutaciones de n objetos de los cuales n1 son iguales, n2 son iguales,
... , nk son iguales, la frmula es como sigue:
n!
P (n; n1 , n2 , n3 , ..., nk ) = (1.18)
n1 !n2 !n3 !...nk !

Combinaciones. Sea S un conjunto de n objetos. Una combinacin

de los n elementos tomados los k al mismo tiempo, es una seleccin de
k elementos donde el orden no importa. Tal seleccin se denomina k-
combinacin es simplemente un subconjunto de S con

k elementos. El
nmero de tales combinaciones se denotar como: nk , Ckn , k C n , Cn,r
C(n, k). Su frmula es:

n!
Ckn = (1.19)
k!(n k)!
Pg. 22 Sumatorias y conteo

Qu diferencia hay?
Combinaciones:
Mi ensalada de frutas es una combinacin de manzanas,

ra
uvas y bananas: no importa en qu orden pusimos las
frutas, podra ser bananas, uvas y manzanas o uvas,
manzanas y bananas, es la misma ensalada.
Permutaciones: La clave de la cerradura es 472: ahora
s importa el orden. 724 no funcionara, ni 247. Tiene
que ser exactamente 4-7-2.
De esta manera:
Si el orden no importa, es una combinacin.
Si el orden s importa es una permutacin

Propiedades de las combinaciones

Bor  
n
1
 
n
n
= n

= 1
(1.20)

(1.21)
 
n
= 1 (1.22)
0
   
n n
= (1.23)
k nk
     
n n n+1
+ = (1.24)
k1 k k
       
n n n n
+ + + + = 2n (1.25)
0 1 2 n
     
n n n
+ + + = 2n 1 (1.26)
1 2 n
 ra
Captulo 2

Relaciones y Funciones
Bor
Pg. 24 Relaciones y Funciones

Resumen de clases - Por: Oliver Vilca H. - ovilca@unap.edu.pe

Primer examen: jueves 01 de junio del 2017

ra
2.1. Tipos especiales de relacones binarias
Sea A un conjunto, y sea R A A una relacin sobre A. La relacin
R puede representarse mediante un grafo dirigido.

2.1.1. Relacin binaria reflexiva.

R A A es reflexiva si (a, a) R para cada a A.
Bor
2.1.2. Relacin binaria simetrica.
R A A es simetrica si (b, a) R siempre que (a, b) R. Ejemplo
relacin de amistad, si x es amigo de y, y es tambin amigo de x.

2.1.3. Relacin binaria antisimetrica.

Una relacin R es antisimtrica si siempre que (a, b) R y a y b son
dintintos, entonces (b, a)
/ R.
Oliver A. Vilca H. Pg. 25

2.1.4. Relacin binaria transitiva.

Relacin binaria R es transitiva si siempre que (a, b) R y (b, c) R,

ra
entonces (a, c) R.

2.1.5. Relacin binaria de equivalencia.

Una relacin que es reflexiva, simtrica y transitiva. La representacin
de una relacin de equivalencia mediante un grafo no dirigido consiste
de un nmero de grupos; dentro de cada grupo, cada par de nodos estn
Bor
conectados. Los grupos de una relacin de equivalencia se denominan sus
clases de equivalencia. Se denota [A] para la clase de equivalencia que
contiene un elemento a.

2.1.6. Relacin de orden parcial.

Una relacin que es reflexiva, antisimtrica y transitiva.

2.1.7. Relacin de orden total.

Una relacin de orden parcial es de orden total si, para todo a, b A,
bien (a, b) R (b, a) R. La relacin menor igual que, sobre nmeros
es una relacin de orden total.
Pg. 26 Relaciones y Funciones

2.2. Ejercicios propuestos

1. Sea A un subconjunto de los nmeros naturales de 10 elementos. Sea

ra
R una relacin definida sobre el producto cartesiano de conjunto de
las partes de A, esto es: R P (A) P (A) donde: R = {(x, y)
P (A) P (A) tal que x y 6= } es correcto afirmar que la relacin
R:
(a) somente uma relao de ordem.
(b) somente uma relao de equivalncia.
(c) no relao de ordem nem de equivalncia, pois a relao no
reflexiva.
(d) no relao de ordem nem de equivalncia, pois a relao no
transitiva.
Bor (e) no relao de ordem nem de equivalncia, pois a relao no
reflexiva e no transitiva.
[Pregunta 14 del examen nacional para el ingreso en el posgrado en
computacin 2016 - Sociedad Brasilera de Computacin]