Sum5 Confin Beta Piso Desi

Anota c oes sobre somat orio 5
Rodrigo Carlos Silva de Lima
Universidade Federal Fluminense - UFF-RJ

rodrigo.u.math@gmail.com
Sum ario
1 Somat orio 1.1 Soma sobre conjuntos nitos . . . . . . . . . . . . . . . . . . . . . . . . . . 1.1.1 1.1.2 1.1.3 1.1.4 1.1.5 1.1.6 1.2 1.3 1.4 1.5 1.6 1.7 1.8 1.9 Enumera ca o e soma. . . . . . . . . . . . . . . . . . . . . . . . . . . 4 4 7
Opera c oes com somat orios . . . . . . . . . . . . . . . . . . . . . . . 12 Soma e rela co es de equival encia. . . . . . . . . . . . . . . . . . . . . 20 Soma e teoria da medida . . . . . . . . . . . . . . . . . . . . . . . . 20 Somas e proposi co es . . . . . . . . . . . . . . . . . . . . . . . . . . 22 Aplica c ao de soma sobre conjuntos . . . . . . . . . . . . . . . . . . 23
Fun ca o beta e gamma. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24 Somas usando a fun c ao beta . . . . . . . . . . . . . . . . . . . . . . . . . . 26 Parti co es para somas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27 Soma e fun co es piso e teto . . . . . . . . . . . . . . . . . . . . . . . . . . . 28 Manipula c oes b asicas de somat orio . . . . . . . . . . . . . . . . . . . . . . 31 Somat orios e recorr encias . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32 1.7.1 Soma de f com f (n + 2) = af (n + 1) + bf (n). . . . . . . . . . . . . 33 Somat orio e diferen ca . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34 Somando k 2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34 1.9.1 1.9.2 1.9.3 Por indu c ao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35 Usando n umeros Eulerianos . . . . . . . . . . . . . . . . . . . . . . 35 Usando n umeros de Bernoulli . . . . . . . . . . . . . . . . . . . . . 36
1.10 Somat orios e desigualdades . . . . . . . . . . . . . . . . . . . . . . . . . . . 39 1.10.1 Somat orio e produt orio . . . . . . . . . . . . . . . . . . . . . . . . . 46 1.11 Somas por meio de operadores . . . . . . . . . . . . . . . . . . . . . . . . . 48 1.11.1 Somas por meio do operador . . . . . . . . . . . . . . . . . . . . 48
SUMARIO
1.12 Bibliograa Comentada . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49 1.12.1 Manual de sequ encias e s eries, Volume I e II. . . . . . . . . . . . . . 49 1.12.2 An introduction to the calculus of the nite dierences. . . . . . . . 50
Cap tulo 1 Somat orio

1.1 Soma sobre conjuntos nitos
Deni c ao 1. Um conjunto A e nito, quando ele e vazio ou quando existe uma bije c ao f entre o conjunto In = {1, 2, . . . , n} = {x N |1 x n}, f : In A. Deni c ao 2 (Parti ca o em conjuntos ). Seja A um conjunto , dizemos que uma
decomposi c ao de A = B C com B C = e uma Parti c ao de A. Se tomarmos B = A e C = , temos B = A e B = , logo e uma Parti ca o de A, essa Parti c ao e chamada de Parti c ao trivial. Deni c ao 3 (Soma sobre conjuntos nitos). Sejam A um conjunto nito, f : A R, uma fun ca o que associa elementos de A (quando esse possui elementos) em R(Poderia ser outro conjunto onde tem-se com a soma um grupo abeliano), se A e vazio denimos
kA
f (k ) = 0,
isto e,
f (k ) = 0.
Se A possui 1 elemento a1 , denimos

kA
f (k ) = f (a1 ). 4
CAP ITULO 1. SOMATORIO
Se A possui mais de um elemento, tomamos uma Parti c ao de A = B C e denimos

kA
f (k ) =
k B C
f (k ) =
kB
f (k ) +
kC
f (k )
Se tomarmos a Parti c ao trivial, temos

k A
f (k ) =
k A
f (k ) =
f (k ) +
k A
f (k ) = 0 +
k A
f (k ) =
kA
f (k )
Vamos considerar agora o caso do somat orio sobre um conjunto nito A que tenha mais de um elemento, seja esse n umero de elementos n + 2 vamos tomar um elemento qualquer ak em A, tomando como o conjunto B o conjunto que cont em apenas esse elemento e como conjunto C o conjunto A sem esse elemento, isto e B = {ak } e C = A {ak }, a interse c ao desses conjuntos e vazia e sua uni ao e o conjunto A, A {ak } {ak } = e A {ak } {ak } = A, o conjunto C possui n + 1 elementos, escrevemos ent ao
kA
f (k ) =
kC
f (k ) +
kB
f (k ) =
kA{ak }
f (k ) +
k{ak }
f (k ) =
kA{ak }
f (k ) + f (ak )
podemos continuar esse processo at e que o conjunto tenha apenas 1 elemento onde aplicamos a deni ca o do somat orio sobre conjunto unit ario, Exemplo 1. Vamos tomar como exemplo um conjunto com 2 elementos A = {3, 8}, vamos tomar B = {8} e c = {3}, temos que a uni ao desses conjunto e o conjunto A e sua intersec c ao e vazia, logo aplicamos a deni ca o
k{3,8}
f (k ) =
k{8}
f (k ) +
k{3}
f (k ) = f (8) + f (3).
Propriedade 1 (Vari avel muda).

k A
f (k ) =
j A
f (j )
n ao importa o s mbolo que usamos para a vari avel, os somat orios s ao iguais. Deni c ao 4. Seja In o conjunto de n umeros naturais de 1 at e n, I n = {1 k n, k N }, e a fun ca o f denida nesse conjunto com valores no conjunto R, denimos
n k=1
f (k ) :=
k In
f (k )
O n umero n e chamado limite superior e 1 de limite inferior. Se n = 0 o conjunto e vazio, logo temos
0 k=1
f (k ) = 0.
Al em disso temos a propriedade de abertura de limite superior que vamos usar a seguir
n+1 k=1
f (k ) =
n k=1
f (k ) + f (n + 1)
esta propriedade e v alida, pois tomamos a seguinte Parti ca o do conjunto A = {k N |1 k n + 1} = {k N |1 k n} {n + 1}. Deni c ao 5. Em geral sejam A = {k |a k b, k Z }, a, b R e f uma fun ca o de A em R denimos
b k =a
f (k ) :=
k A
f (k )
sendo b + 1 um n umero inteiro temos

b+1 k =a
f (k ) = [
b k =a
f (k )] + f (b + 1).
Perceba que agora temos os limites inferior e superior n ao sendo necessariamente inteiros, mas contamos apenas os n umeros inteiros entre o limite inferior e o superior. Com isso damos sentido a somas do tipo
4,5 k=2,6
f (k ) = f (3) + f (4)
os limites podem ser n umero reais. n Teorema 1. Seja A = Xk com com todos os conjuntos Xk disjuntos , ent ao
k=1
kA
f (k ) =
n k=1 j Xk
f (j ).
Demonstra c ao. Vamos demonstrar por indu ca o sobre n, para n = 0, temos o primeiro somat orio vazio e o segundo vazio, ent ao segue a igualdade. Seja v alido agora por hip otese para n, vamos provar para n + 1
k A n+1 k=1 j Xk
f (k ) =
f (j )
com A =
n +1 k=1
Xk e os conjuntos disjuntos, vamos tomar a Parti ca o de A =
n k=1
Xk Xn+1 =
B Xn+1 e aplicar o somat orio n f (k ) = f (k ) + f (k ) = f (j ) + f (k ) =

kB Xn+1 kB kXn+1 k=1 j Xk kXn+1 n+1 k=1 j Xk
=
3 k=1
f (j )
Exemplo 2. Seja A =
Xk com com todos os conjuntos Xk disjuntos ent ao

kX1
f (k ) =
f (k ) +
kX2
f (k ) +
kX3
f (k )
kX1 X2 X3
1.1.1
Enumera c ao e soma.
Corol ario 1 (Abertura em conjunto unit arios). Seja um conjunto A nito, tendo exatamente n elementos distintos, por deni c ao de conjunto nito , existe uma bije c ao entre In e o conjunto A, numeramos assim os elementos do conjunto A = {f (1), . . . , f (n)}, como os elementos s ao distintos denimos o conjunto ak = {f (k )} com k de 1 at e n, tais conjuntos unit arios permitem uma Parti ca o de A, pois n ak = A
k=1
e todos s ao disjuntos. Temos ent ao

k A n n g (f (k )) g (k ) = [ g (j )] = k=1 j ak k=1 n
k
n
g (k ) =
g (j )]
ak
k=1 j ak
k=1
Se temos f (k ) uma enumera ca o do conjunto nito A de n elementos ent ao1 n g (k ) = g (f (k )).

kA
1
k=1
Pensar em estender esse conceito para s eries, tomando uma enumera c ao de um conjunto cont avel
a s erie ser convergente se o limite das somas parciais com a dada enumera c ao denir uma sequ encia convergente.
Teorema 2 (Contagem dupla). Sejam A um conjunto nito e B e C contidos em A tais que B C = A, temos ent ao
kA
f (k ) =
kB
f (k ) +
kC
f (k ) [
f (k )]
kB C
Neste caso n ao pedimos que B C = , os conjunto podem ter elemento em comum. Demonstra c ao. Caso B C = temos [
kB C
f (k )] = 0 logo temos a igualdade
v alida pela deni ca o de soma sobre conjunto nito.
Caso B C = , temos B C = P e como P B e P A podemos tomar a Parti ca o de B = (B P ) P , B P e disjunto com C e A = (B P ) C e uma Parti ca o de A, assim temos
k B
f (k ) +
k C
f (k ) [
k(B P )
f (k )] =
k P
k(B P )P
f (k ) + f (k ) [
k A
k C
f (k )] = f (k ) [
k P
kB C
f (k ) +
f (k ) +
k C
k C
k P
f (k )] =
= Ent ao vale
kA
f (k ) +
f (k ) =
f (k ).
k(B P )
f (k ) +
kB A
f (k ) =
k B
f (k ) +
k A
f (k ).
Teorema 3 (N umero de elementos de um conjunto nito). Seja A um conjunto nito com n N elementos e a fun c ao f denida em A, que associa a cada elemento de A o n umero 1. Ent ao o n umero de elementos de A e dado por
k A
Demonstra c ao. Pela propriedade de abertura em conjuntos unit arios de somat orios, temos
kA
1=
n k=1 j ak

j ak
mas como
1 = 1, temos
k A
1=
n k=1
1 = n.
Podemos simbolizar o n umero de elementos do conjunto A por |A| ou por #A. Escrevemos ent ao
kA
1 = |A| = #A.
Isto e, para contar o n umero de elementos de um conjunto tomamos a soma de 1 sobre o conjunto. Corol ario 2. Pela propriedade de contagem dupla, podemos escrever para somat orios
AB
f (k ) =
kA
f (k ) +
kB
f (k )
kAB
f (k )
Se f (k ) = 1 temos como corol ario

AB
1=
kA
1+
kB
kAB
|A B | = |A| + |B | |A B | isto e a sendo A e B nitos, o n umero de elementos de |A B | e igual ao n umero de elementos de |A| somado ao n umero de elementos de B menos o n umero de elementos da intersec c ao . Propriedade 2 (Linearidade). Sejam A um conjunto nito com n elementos , h(k ) e g (k ) fun co es de A em R,c1 e c2 n umeros reais, vale a propriedade c1
kA
h(k ) + c2
k A
g (k ) =
(c1 h(k ) + c2 g (k )).

kA
Demonstra c ao. Vamos provar por indu ca o no n umero de elementos de A, se A e vazio temos igualdade pois c1
kA
h(k ) + c2
k A
g (k ) = 0 + 0 = 0 =
(c1 h(k ) + c2 g (k ))
kA
Seja agora v alido para um conjunto A com n elementos
10
c1
k A
h(k ) + c2
kA
g (k ) =
k A
(c1 h(k ) + c2 g (k ))
vamos provar para um conjunto com n + 1 elementos. Podemos tomar a seguinte parti ca o do conjunto A com n + 1 elementos A {an+1 } {an+1 } = A denotando B = A {an+1 } e o n + 1- esimo elemento do conjunto A enumerado, temos ent ao e C = {an+1 } onde an+1 pela deni ca o de somat orio sobre conjunto nito
k B C
c1
h(k ) + c2
k B C
g (k ) = [c1
kB
h(k )] + [c1
k C
h(k )] + [c2
k B
g (k )] + [c2
kC
g (k )] =
pela associatividade, n ao precisamos nos preocupar com ordem das opera co es, lembrando que C = {an+1 } possui apenas um elemento e pela comutatividade podemos escrever = [ c1
k B
h(k )] + [c2
k B
g (k )] + c1 h(an+1 ) + c2 g (an+1 )
como B possui n elementos, podemos usar a hip otese da indu ca o e escrever c1 h(k )+ c2 g (k )]+ (c1 h(k )+ c2 g (k )) = c1 h(k )+ c2 g (k )]+ c1 h(an+1 )+ c2 g (an+1 ) = [ [
k B k B kC
=[
kB C
c1 h(k ) + c2 g (k )] = [
k A
c1 h(k ) + c2 g (k )]
Propriedade 3 (Comutatividade). Sejam A e B dois conjuntos nitos e fun c ao f : A B R, ent ao

k A j B
f (k, j ) =
j B k A
f (k, j ).
Demonstra c ao. Por indu c ao sobre o n umero de elementos de A. Se A tem 1 elemento A = {a1 } temos
k A j B
f (k, j ) =
j B
f (a1 , j ) =
j B kA
f (k, j ) =
j B
f (a1 , j )
Seja v alido para um conjunto A com n elementos, vamos provar para um conjunto A com n + 1 elementos, tomamos A = D C onde D = A {an+1 }, C = {an+1 }
kA j B
f (k, j ) =

kDC j B
f (k, j ) =
k D j B
f (k, j ) +
k C j B
f (k, j ) =

kD j B
11
j B
f (k, j ) +
f (an+1 , j ) =
como D possui n elementos podemos usar a hip otese da indu ca o =

j B k D
f (k, j ) +
j B
f (an+1 , j ) =
j B kD
f (k, j ) +
j B kC
f (k, j )
f (k, j ) + f (k, j )] = f (k, j ) = f (k, j ). [

j B k D k C j B k D C j B kA
Corol ario 3. Sejam A e B conjuntos nitos com n e m elementos respectivamente, m podemos escrever o produto cartesiano A B como a reuni ao A B = As onde As = A {bs } temos ent ao
y AB s=1
f (y ) =
y
m
f (y ) =
m s=1 y As
f (y ) =
As
s=1
mas y = (k, j ) com k A e j {bs }, logo j s o pode ser bs logo escrevemos =

m
f (k, j ) =
m s=1 kA
f (k, bs ) =
m kA s=1
f (k, bs ) =
k A sB
f (k, s)
s=1 (k,j )A{bs }
k A sB
f (k, s) =
y AB
f (y ) =
(k,s)AB
f (k, s)
que ser a denotado tamb em como

kA, sB
f (k, s) =
kA sB
f (k, s)
Corol ario 4 (n umero de elementos do produto cartesiano de conjuntos nitos).

(k,s)AB
1=
1 1 = |A||B |.
kA sB
Ent ao o n umero de elementos do produto cartesiano de dois conjuntos nitos A e B eo produto do n umero de elementos de A vezes o n umero de elementos de B .
12
1.1.2
Opera co es com somat orios
Sejam A , B e C conjuntos nitos e f uma fun c ao de A B C em R (Para abreviar escrita escreverei f uma fun ca o qualquer, neste caso leia como f uma fun ca o qualquer de A B C ou combina co es dessas uni oes e com a fun ca o com contra-dom nio em R.) Deni c ao 6 (Operador soma). (
kA
)f (k ) :=
kA
f (k )
Deni c ao 7 (Igualdade). P = P = T sse vale
kA
eT =
k B
s ao ditos operadores iguais e escrevemos
(P )f (k ) = (T )f (k ) para qualquer fun ca o f no conjunto A B . Deni c ao 8 (Soma de somat orios). Denimos f (k ) f (k ) + )f (k ) = + (

k A k B k A k B
Propriedade 4. A soma e fechada sse A e B s ao disjuntos

k A
k B
kC
sse A B = . Demonstra c ao. Se A e B s ao disjuntos temos (

kA
kB
)f (k ) =
k A
f (k ) +
k B
f (k ) =
kAB
f (k )
assim vemos que podemos tomar C = A B . Se A e B n ao s ao disjuntos ent ao temos pelo menos um elemento em comum e n ao podemos escrever como soma de um u nico conjunto, exemplo A = {1} = B. Vamos considerar nosso conjunto dos operadores de somat orio Os = {
kA
|A e conjunto nito.}.
13
Propriedade 5 (A soma e comutativa). ( + )=( + ).

k A k B k B k A
Demonstra c ao. Seja f (k ) uma fun ca o qualquer ( + )f (k ) = f (k ) + f (k ) = f (k ) + f (k ) = ( + )f (k ).

k A k B kA kB kB k A kB k A
Propriedade 6 (Elemento neutro). Existe um elemento neutro para soma tal que ( + ) = ( ).
k A k k A
:= 0s ,
Demonstra c ao. Seja uma fun ca o f qualquer ent ao ( logo

kA
)f (k ) =
k A
f (k ) +
f (k ) =
k A
f (k ) =
kA
f (k )
) = ( ). + (
k A k k A
Propriedade 7. Associatividade ) + +( = )+ + (
k A k B k C kA kB k C
Demonstra c ao. f (k ) = f (k ) = f (k ) + f (k ) + )f (k ) + )+ )f (k ) = ( + + ((
kA k B k C k A kB kC k A k B kC
kA
f (k ) + ( f (k ) + f (k )) = f (k ) + ( + )f (k ) = ( +( + ))f (k )
k B k C kA kB kC k A k B k C
logo
( + )+ = +( + ).
k A k B k C k A k B k C
Propriedade 8 (N ao exist encia de inverso para o somat orio). N ao existe inverso para o somat orio sobre um conjunto nito para qualquer fun ca o f.
14
Demonstra c ao. Tomando A{1} e f (k ) = 1 para qualquer k ( + )f (k ) = 1 + |B | = 0

k A k B
n ao pode ser zero por ser soma de n umeros positivos. Corol ario 5. Temos ent ao um mon oide comutativo (Os , +) com as opera co es de somat orio. Deni c ao 9 (Produto de somat orios). Denimos f (k, j )). ( )f (k, j ) := (
kA j B kA j B
Propriedade 9 (A multiplica c ao e fechada). Pela deni ca o temos ( mas temos que

kA j B
)f (k, j ) =
( f (k, j ))
kA j B
( f (k, j )) = f (y )
kA j B y AB
e como o produto cartesiano e nito, temos a soma sendo expressa sobre um conjunto nito, logo e fechada. Nesse caso n ao depende dos conjuntos serem disjuntos, eles podem ser at e mesmo id enticos que n ao ocorre problema do resultado sairdo conjunto. Propriedade 10 (Comutatividade do produto). ( Demonstra c ao. ( )f (k, j ) = ( f (k, j )) = ( f (k, j )) = ( )f (k, j )
kA j B kA j B j B kA j B k A
kA j B
)=(
j B kA
pela associatividade da soma sobre conjuntos nitos. Propriedade 11 (Associatividade do produto). (continuar depois) ( ) )
kA kB
15
Acho que o produto n ao t em elemento neutro ( logo n ao tendo inverso tamb em), averiguar isso depois. Corol ario 6. Sejam As conjuntos nitos para cada s [1, n]N ,B o produto cartesiano As = B ent ao
y B
m s=1
f (y ) = (
m s=1 ks As
)f (kt |m 1 ).
Demonstra c ao. Vamos ver alguns casos m = 1 temos B = A1

y B
f (y ) =
y A1
f (y ) = (
1 s=1 ks As
)f (kt |1 1) =
k1 A1
f (k1 )
para m = 2, B = A1 A2
y B
f (y ) =
y A1 A2
f (y ) =

k1 A1 k2 A2 m s=1
f (k1 , k2 ) = (
2 s=1 ks As
)f (kt |2 1)
Considerando ent ao a validade para m, B =

y B m +1 s=1
As
f (y ) = (
m s=1 ks As
)f (kt |m 1 )
vamos provar para m + 1, B =
As
m +1
y B
f (y ) = (
+1 )f (kt |m ) 1
s=1 ks As m +1 s=1 m s=1
por indu c ao pelo n umero de conjuntos no produto cartesiano temos B =
As =
As
Am+1 = C Am+1 onde C e o produto cartesiano de m conjuntos por isso usamos a hip otese da indu c ao
y B m
f (y ) =
y C Am+1
f (y ) =
f (y, km+1 ) =
y C km+1 Am+1 m +1
=(
f (kt |m 1 , km+1 ) = (
+1 ). )f (kt |m 1
s=1 ks As km+1 Am+1
s=1 ks As
16
Propriedade 12 (Cortando as bordas). Sejam a e b reais quaisquer ent ao

b k =a
f (k ) =
b a
f (k ).
onde b e o piso e a e o teto. Demonstra c ao. Seja o conjunto A = {a k b, k Z } = [a, b]Z e o conjunto A = {a k b, k Z } = [a, b]Z n ao existe inteiro entre a e a , isto e n ao temos inteiros no conjunto (a, a) e n ao existe inteiro entre b e b , isto e n ao temos inteiros no intervalo (b, b) logo escrevemos [a, b]Z = (a, a)Z [a, b]Z (b, b)z = [a, b]Z = [a, b]Z . Logo os conjuntos s ao iguais ent ao a soma e igual2 . Exemplo 3. Calcular
n 1
ak .
k=0
n 1
ak a = a = a1 k=0 k=0
k k
n
1
1 n +1
a n +1 1 . = a1
1
Propriedade 13 (Mudan ca de vari avel). Sejam a e b reais, t inteiro, vamos mostrar que vale
b k =a b+t k=a+t
f (k ) =
f (k t).
Demonstra c ao. Temos

b k=a
f (k ) =
b k=a
f (k )
mas como b e a s ao inteiros vale(j a provamos no caso de limites inteiros a mudan ca de vari avel no texto 1)
b k=a b+t
f (k ) =
b+t
f (k t) =
f (k t) = .
b+t k = a+ t
f (k t)
k=a+t
k=a+t
logo a mudan ca de vari avel vale para limites reais

2
Decidi chamar essa propriedade de cortando as bordas pois e como se retir assemos as bor-
das(n umeros) que n ao inuem no somat orio.
17
Propriedade 14 (Produto por (-1)). Sejam a e b reais, ent ao vale

b k=a
f (k ) =
a k =b
f (k )
Demonstra c ao.
b k =a
f (k ) =
b k=a
f (k ) =
f ( k ) =
k=b
usando as propriedade de fun ca o piso e teto a = a e b = b, substituindo no somat orio segue

a
= ent ao vale
f (k ) =
a
a k =b
f (k )
k=b b k =a
f (k ) =
f (k ).
k=b
Corol ario 7 (Princ pio da adi ca o). Se A1 e A2 s ao dois conjuntos disjuntos com p1 e p2 elementos ent ao A1 A2 possui p1 + p2 elementos. Essa propriedade e implica c ao direta do somat orio sobre conjunto nito, se A1 e A2 s ao disjuntos, temos
kA1 A2
1=
kA1
1+
kA2
1 = |A1 | + |A2 | = p1 + p2 .
Logo se A e B s ao disjuntos |A B | = |A| + |B |. Corol ario 8. Sejam conjuntos Ak |n k=1 disjuntos , sendo que cada conjunto Ak possui n n pk elementos. Ent ao o conjunto dado pela uni ao A = Ak possui pk elementos. Por
k=1 k=1
propriedade de operat orios3 temos

k A
1=
n k=1 kAk
1=
n k=1
pk .
Est a propriedade nos diz que se temos conjuntos disjuntos4 ent ao |

3
n k=1
Ak | =
n k=1
|Ak |
Demonstra c ao no texto sobre operadores sobre conjuntos nitos E como se pud essemos transformar a uni ao em somat orio.
18
Propriedade 15. Vale ainda uma propriedade mais geral, sejam A, B conjuntos nitos e Ak uma fun c ao de B em C tal que possamos escrever A = Ak uma uni ao disjunta, nessas condi co es vale a propriedade A=
k B k B
Ak |A| =
kB
|Ak |.
Demonstra c ao. Vamos provar por indu ca o sobre o n umero de elementos de B . Se B e vazio temos que A e vazio, logo n ao tem elementos, sendo zero tamb em o somat orio, logo nesse caso a propriedade e v alida. Considerando v alida a propriedade para um conjunto com n elementos, vamos provar para n + 1 elementos. Como B e nito tem-se uma enumera ca o para os seus elementos, seja ent ao elemento n + 1 denotado por an+1 , podemos tomar a parti c ao de B , B = B {an+1 } {an+1 } e a reuni ao pode ser escrita como A=
kB
Ak =
kB {an+1 }{an+1 }
Ak =
kB {an+1 }
Ak
k{an+1 }
Ak =
Ak Aan+1
kB {an+1 }
tomando agora o m odulo , usando a hip otese da indu c ao , e a propriedade j a provada de que |A B | = |A| + |B |(para conjuntos nitos disjuntos) tem-se |A| =
kB {an+1 }
|Ak | + |Aan+1 | = =
kB {an+1 }{an+1 }
kB {an+1 }
|Ak | + |Ak | .
k{an+1 }
|Ak | =
|Ak | =
k B
Propriedade 16. Sejam os conjuntos A com n elementos e B com m elementos B = {b(k) |k Im }, ent ao o produto cartesiano A B possui m.n elementos. Demonstra c ao. Denimos Ak = A {b(k) } e temos a propriedade AB =
m k=1
Ak
como Ak = {(a, bk ) a A} logo tem n elementos e temos

kAB
1=
m k=1 kAk
1=
m k=1
n = m.n
19
Corol ario 9. Logo temos que a quantidade de elementos do produto cartesiano de dois conjuntos A de n elementos e B de m elementos e dado por |A B | = |A||B | = (
k A
1)(
k B
1) = m.n.
Propriedade 17. Sejam n conjuntos Ak |n ao o k=1 tendo cada Ak mk elementos, ent n n produto cartesiano Ak possui mk elementos
k=1 k=1
n k=1
Ak | =
n k=1
|Ak |.
Demonstra c ao. Vamos demonstrar por indu c ao, para n = 1 temos |A1 | = |A1 | considerando a hip otese | vamos provar | temos que |
n +1 k=1 n k=1 n +1 k=1
Ak | =
n k=1 n +1 k=1
|Ak |
Ak | =
|Ak |.
Ak | = |
n k=1
Ak An+1 | = |B An+1 | = |B ||An+1 | = |
n k=1
Ak ||An+1 | =
n k=1
|Ak ||An+1 | =
n +1 k=1
|Ak |.
Propriedade 18. O n umero de pares ordenados (ak , as ) tal que ak A e as A e ak = as sendo A um conjunto com n elementos e n(n 1). Demonstra c ao. Se n ao tiv essemos a restri c ao de pares (ak , as ) com ak = as ter amos o n umero de elementos do produto cartesiano |A A| = |A| |A| = n2 . Temos agora que tirar os termos que contamos a mais, que s ao os termos (as , as ), com s variando de 1 at e n, temos n termos, logo temos n2 n = n(n 1) elementos.
Uma segunda demonstra ca o pode ser feita da seguinte maneira, consideramos o conn junto B do qual queremos contar os elementos e escrevemos B = Ak onde Ak = {ak } (A {ak }), como (A {ak }) tem n 1 elementos, temos |B | = |
n k=1 k=1
Ak | =
n k=1
|Ak | =
n k=1
|{ak } (A {ak })| =
n k=1
(n 1) = n(n 1).
20
1.1.3
Soma e rela c oes de equival encia.
Uma rela c ao de equival encia em um conjunto nito A permite escrever uma parti c ao do conjunto A pelas classes de equival encia de seus elementos, temos que se duas classes possuem um elemento em comum ent ao elas s ao iguais, ent ao classes distintas t em intersec c ao vazia e al em disso se A e o conjunto que possui um e somente um elemento de cada classe(distinta) de A pela rela ca o temos a A=
aA
com
aA
a=
aA
ent ao |A| = |
aA
a| =
|a|
pois se houvesse um elemento em comum as classes seriam as mesmas, mas por hip otese tomamos elementos de classes distintas, o mesmo com o conjunto quociente A/ que e o conjunto das classes de A A= |A| = |
aA/
a
aA/
a| =
|a|.
aA/
Propriedade 19. Todo conjunto A nito n ao vazio admite pelo menos uma rela ca o de equival encia. Propriedade 20. A e A/ tem o mesmo n umero de elementos(H a bije ca o entre eles?). Propriedade 21. Seja A um conjunto nito e uma rela c ao de equival encia em A ent ao ent ao |A/ | e no m aximo |A|.
1.1.4
Soma e teoria da medida
Veremos aqui que a soma sobre conjuntos se torna uma medida nitamente aditiva, com a deni ca o de que a soma sobre o vazio e zero . Por isso vamos antes introduzir alguns conceitos e dar alguns exemplos .
21
Deni c ao 10 (Semi-an eis). Dado um conjunto , uma cole c ao S de subconjuntos de e dita ser um semi-anel, quando satisfaz 1. S. 2. Se S1 e S2 s ao elementos de S ent ao S1 S2 S. O conjunto e fechado em rela ca o a interse ca o. 3. Se S0 , S1 S ent ao existem (Sk )m 2 S conjuntos disjuntos, tais que S1 \ S0 =
m k=2
Sk .
A diferen ca de dois conjuntos no semi-anel pode ser escrita como uni ao de conjuntos disjuntos no semi-anel. Exemplo 4 (Classe dos subconjuntos nitos e um semi-anel). qualquer e S = {A | A nito}, S e a classe que possui todos subconjuntos nitos de .
X S pois o vazio e nito. X A interse ca o de dois conjuntos nitos e um conjunto nito. X Dados A, B S , sua diferen ca A \ B e um conjunto nito.
Ent ao S e um semi-anel . Deni c ao 11 (Medida nitamente aditiva). Seja S = fun c ao denida num semi-anel que satisfaz 1. () = 0, 2. (S ) =
m k=1 m k=1
Sk uni ao disjunta. Uma
(Sk ), e dita nitamente aditiva.
Geralmente iremos considerar que a fun c ao leva elementos do semi-anel no conjunto (, ] ou [0, ] , por em podemos considerar tamb em levando elementos
22
em C ou em um espa co vetorial V . Uma medida nitamente aditiva satisfaz a propriedade (

m m k=1
Sk ) =
(Sk )
k=1
ela transforma a uni ao disjunta em soma. Com tais deni co es temos agora o exemplo que gostar amos de dar, que o somat orio e uma medida nitamente aditiva . Exemplo 5. Dado qualquer, f : R e o anel S = {A | A nito}, o somat orio de f e uma medida nitamente aditiva, f : S R. Denindo f (A) = f (k ), temos
k A
f () =
m t=1
f (k ) = 0, pela soma vazia
se S =
St , uni ao disjunta ent ao

k m t=1 St m t=1 kSt m t=1
f (S ) =
f (k ) =
f (k ) =
(St ).
Se temos uma medida nitamente aditiva f denida em um anel S = {A | A nito} com f ({a}) = f (a) ent ao f e um somat orio.
1.1.5
Somas e proposi co es
Vamos usar a soma sobre conjunto para denir soma por meio de propriedades ou proposi c oes. Deni c ao 12 (Somas e proposi c oes). Denimos
P (k)
ak como
k A
ak tal que A =
{k B | P (k ) | e verdadeira}, onde B e um conjunto dado, de onde tiramos os ndices k e P (k ) e uma propriedade que depende de k . Por exemplo
1kn
ak
23
denida como a soma sobre A = {k N | 1 k n} onde aqui B = N e P (k ) ea propriedade 1 k n. Propriedade 22. Se P (k ) e falsa para todo k B , ent ao
P (k)
ak = 0.
Demonstra c ao. Vamos provar que A = {k B | P (k ) | e verdadeira} e um conjunto vazio . Se ele n ao for vazio existe k B tal que P (k ) e verdadeira, mas por hip otese temos que P (k ) e falsa para todo k B , logo A = e
P (k )
ak =
kA
ak =
ak = 0.
1.1.6
Aplica c ao de soma sobre conjuntos
Exemplo 6. Calcule a soma

2n k=1
(1)k k 2 .
Dividimos o conjunto dos ndices em duas partes disjuntas, ndices pares {2, , 2n} = {2k | 1 k n} e ndices mpares {1, , 2n 1} = {2k 1 | 1 k n}, logo a soma ca como
n k=1 n k=1 n k=1
(1) (2k ) +
2k 2
(1)
2 k 1
(2k 1) =
2
(2k )2 (2k 1)2 =
usamos agora que a2 b2 = (a + b)(a b) da camos com

n k=1 n
(2k + 2k 1)(2k 2k + 1) =
n k=1
(4k 1) =
n n(n + 1) usando que k= e 1 = n segue nalmente que 2 k=1 k=1
=4
n(n + 1) n = 2(n)(n + 1) n = n(2n + 2 1) = n(2n + 1). 2
24
Por isso
2n k=1
(1)k k 2 = n(2n + 1).
Com isso calculamos a soma para ndice superior mpar tamb em
2 n+1 k=1
(1) k = (1)
k 2 n k=1
2n+1
(2n + 1) +
2n k=1
(1)k k 2 = (2n + 1)2 + n(2n + 1).
Por isso temos
(1)k k 2 calculado para n par ou mpar .
Como exemplo, calculemos

50 k=1 2n k=1 50 k=1
(1)k k 2 = 502 492 + + 22 12 .
Neste caso temos n = 25 na f ormula
(1)k k 2 = n(2n + 1) e da segue que
(1)k k 2 = 25(50 + 1) = 25.(51) = 1275.
1.2
Fun c ao beta e gamma.
As integrais 1. (m, n) =
0
xm1 (1 x)n1 dx
2. (a) =
xa1 ex dx
Foram estudadas por Euler. Em honra a Euler, Legendre5 chamou essas integrais de integrais Eulerianas do primeiro e do segundo tipo. A primeira chamamos de fun c ao Beta e a segunda de fun ca o Gamma. Vamos ver algumas outras formas em que essas integrais aparecem
5
A nota c ao (z ) para a fun c ao Gamma foi primeiro usada por Legendre em 1814.
25
Propriedade 23. (a) = m tomando x = my , logo

a
y a1 emy dy
dx = m, dx = mdy dy a1 my a1 a1 my a (a) = (my ) e mdy = ( m) m( y ) e dy = m

0 0 0
y a1 emy dy
Propriedade 24. (a) = 2
y 2a1 ey dy
2
tomando x = y 2 , temos
dx = 2y logo dx = 2ydy substituindo temos dy 2 2a2 y 2 (a) = y e 2ydy = 2 y 2a1 ey dy

0 0
Propriedade 25. (m, n) = 2

0
2
sen2m1 y cos2n1 dy
dx = 2seny cosy , dx = 2seny cosy dy e quando dy x = 0, tomamos y = 0, x = 1, y = , pois sen2 0 = 0 , sen2 = 1, temos ainda 2 2 2 2 2 1 x = 1 sen y , lembrando da rela ca o sen y + cos y = 1, temos cos2 y = 1 sen2 y , fazendo a mudan ca x = sen2 y temos logo 1 x = cos2 y , substituindo temos (m, n) = 2
0
2
sen
2m2
y .cos
2n2
y seny cosydy = 2
0
sen2m1 y .cos2n1 y dy
Vamos mostrar agora que a Beta pode ser escrita atrav es da fun c ao Gamma Propriedade 26. (a, b) = (a)(b) (a + b) Demonstra c ao. Mostramos que (a) = 2 e (a)(b) = 4
0 0 0
2a1 y 2
dy assim (b) = 2
0
x2b1 ex dx
2
x2b1 ex y 2a1 ey dy = 4
2 2

0 0
x2b1 y 2a1 e(y
2 +x2 )
dy =
26
fazendo mudan ca para coordenadas polares x = rcos y = rsen e a mudan ca se faz por dxdy = rdrd lembrando que x2 + y 2 = r2 e que x varia de [0, ) e y varia de [0, ), logo temos o primeiro quadrante, tomamos ent ao variando em [0, ] e r variando de [0, ) 2 para cobrir o primeiro quadrante 2 (a)(b) = 4
0 0
r2b1 cos2b1 r2a1 sen2a1 e(r ) rdrd =

2
=2
0
e(r ) r2(a+b)1 dr 2
2
2
0
cos2b1 sen2a1 d
pela propriedade (a) = 2

0
y 2a1 ey dy podemos perceber que a primeira integral e

2
2 (a + b) e pela propriedade (m, n) = 2

0
sen2m1 y cos2n1 dy percebemos que a segunda
integral e (a, b) temos ent ao (a)(b) = (a + b) (a, b) logo (a)(b) = (a, b) (a + b) Com isso o estudo das integrais eulerianas se reduz ao estudo da fun ca o Gamma.
1.3
Somas usando a fun c ao beta

Exemplo 7. Calcular a soma
n k=0
(n )
k
(1)k . (2k + 1)
n k=0
(n)
k
1 n (n ) n ( ) n ( ) (1)k 1 k (1)k 1 n 1 1 1 n k k 1 = = x 2 (1) x 2 dx = (1)k xk dx = 1 (2k + 1) 2 k=0 (k + 2 2 k 2 k ) 0 0 k=0 k=0

0 1
1 = 2
1 2
(n + 1)( 1 ) 1 1 n! n! 4 n n! 2 = (1x) dx = ( , n+1) = = 1 = 2 2 (2n + 1)(2n)! 2(n + 1 + 2 ) 2(n + 1 )(n + 1 ) 2 2

n
27
4n
n)! (2n + 1) (2 (n!)2
1 1 (2n)! onde usamos ( ) = e (n + ) = . 2 2 4 n n! Logo

n k=0
4n ( n) (2n + 1) 2n
(n)
k
(1)k 4n ( n) . = (2k + 1) (2n + 1) 2n (n )

k
Corol ario 10.
s n n=0 k=0
(1)k 4s+1 = (2s+2) 1. 2k + 1 s+1
1.4
Parti c oes para somas
Propriedade 27.
np k=0
f (k ) = (
+p1 n1 sp s=0 k=sp
f (k )) + f (np)
Demonstra c ao. Para n = 0 temos

0 k=0 +p1 1 sp f (k )) + f (0) = f (0) f (k ) = f (0) = ( s=0 k=sp
pois a primeira soma e vazia.

np k=0 +p1 n1 sp s=0 k=sp np+p
f (k ) =
k=0
f (k )
np k=0
np+p
f (k ) =
f (k ) +
np k=0
f (k )
np k=0
np+p
f (k ) =
np+p
f (k )
k=np+1 np+p1
k=np+1
[(
f (k )) + f (np)] =
f (k ) + f (np + p) f (np) =
f (k )
k=np
k=np+1
Corol ario 11. Usando a parti ca o A = [0, np] = (

n 1 s=0
[sp, sp + p 1]) {np} = (
n 1 s=0
As ) {np}
logo a soma sobre o conjunto ca

np k=0
f (k ) = [
+p1 n1 sp s=0 k=sp
f (k )] + f (np).
28
1.5
Soma e fun c oes piso e teto
Deni c ao 13 (Fun c ao piso). Denimos a fun c ao R Z da seguinte maneira, cada n umero x pertence a um apenas intervalo do tipo [m, m + 1) onde m e inteiro, no caso denimos x = m. Deni c ao 14 (Fun c ao teto). Denimos a fun c ao R Z da seguinte maneira, cada n umero x pertence a um apenas intervalo do tipo (m, m + 1] onde m e inteiro, no caso denimos x = m + 1. Exemplo 8. Deduzir uma express ao para a soma
n.p k p k=0
p > 0 natural. Suponha

n.p k = f (n) p k=0 np np+p1 k k k (n + 1)p + + = = f (n + 1) = p p p p k=0 k=np+1 k=0 np+p
ent ao
k np np + p e crescente e temos = n e = n + 1 logo no intervalo de k = np + 1 at e p p p k np + p 1 temos que = n e temos nesse intervalo np + p np 1 = p 1 n umeros p da segue que f (n + 1) = f (n) + (p 1)n + n + 1 = f (n) + np + 1, f (k ) = kp + 1 temos tamb em a condi ca o inicial f (0) =
n1 0 k aplicamos a soma = 0 da p k=0 k=0
f (n) =
p(n)(n 1) + n. 2
Outra demonstra ca o pode ser feita da seguinte maneira, usamos a seguinte parti ca o
np k=0
f (k ) = [
+p1 n1 sp s=0 k =s
f (k )] + f (np)
29
np +p1 p1 p1 n1 sp n 1 n 1 k k np k + sp k =[ ] + = [ s + ] + n = ] + n = [ p p p p p s=0 k=sp s=0 k=0 s=0 k=0 k=0
como na soma k varia de 0 at e p 1 ent ao os valores do piso s ao zero e a soma ca =[

p1 n1 s=0 k=0
s] + n = [p
n1 s=0
s] + n =
p(n)(n 1) + n. 2
Corol ario 12. Com a u ltima identidade conseguimos deduzir uma identidade para soma de fun co es teto
n.p k p k=0
para x n ao inteiro temos a rela ca o x = x + 1 e para x inteiro vale x = x, denotaremos A pelo conjunto de n umeros m ultiplos de p de 0 at e np e B pelo conjunto de n umeros que n ao s ao m ultiplos de p, ela e uma parti ca o do conjunto de n umeros naturais de k = 0 at e n.p e temos ainda que existem (n+1) elementos em A e np+1n1 = n(p1) elementos em B em A os elementos s ao inteiros da valex = x em B n ao s ao, logo vale x = x + 1 ,ent ao
n.p n.p k k k k k k = + = + ( + 1) = + n(p 1) = p p p p p p k=0 k A kB k A k B k=0
pn(n 1) pn(n 1) n1 pn(n + 1) + n + n(p 1) = + np = np(1 + )= . 2 2 2 2

n.p k pn(n + 1) = . p 2 k=0
Exemplo 9. Mostre que
p k k=1
com p 0 real , converge. Existe n > 1 natural tal que n > p da

n n p p p p p + = + = k k k k k+n k=1 k=n+1 k=1 k=1 k=1
mas
p < 1 pois p < k + n da a segunda parcela e zero e a soma se resume k+n n p p . = k k k=1 k=1
30
Propriedade 28. Vale que

p 1 n
n p p+1 k = n sp . s=1
k=1
Demonstra c ao.
p 1 n
n1 (s+1) 1 p p k = k =
p
p p quando sp k < (s + 1)p ent ao s k < s + 1 o que implica k = s, substituindo na soma tem-se =
n1 (s+1) 1
p
k=1
s=1
k=sp
s=
n1 s=1
s((s + 1) s ) =
p p
n 1 s=1
s(sp ) =
s=1
k=sp
aplicamos agora a f ormula de soma por partes resultando = np+1 1

n 1 s=1
(s + 1)p = np+1 1
t p k . k=1 p
n s=2
(s)p = np+1
n (s)p s=1
Corol ario 13. Calcular
Procuramos o valor da forma n 1 mais pr oximo e menor que t, escrevemos

t n 1 t p p p k = k + k =
p
k=1
k=1 p t k = np
k = np p+1 n (s)p + n(t + 1 np ) s=1
=n logo
p+1
n s=1
(s) +
n=n
t t n n p p p+1 p+1 k = n (s) + n=n (s)p + n(t + 1 np ). k=1 s=1 k = np s=1
Exemplo 10 (OBM n vel 3- 2008- 2 fase-Quest ao 2). Calcule

2008 4 k . k=1
Procuramos a maior pot encia da forma n4 1 mais pr oxima de 2008, ela e da forma 64 1 = 1296, pois 74 1 = 2400 > 2008, ent ao
4 1 6
2008 4 4 k = k + k=64
k=1
31
6 =6 (s)4 + 6(2009 64 ) = 9779. 5 s=1
1.6
Manipula c oes b asicas de somat orio

Exemplo 11. Seja a =
1001 k=1 1001 k2 k2 eb= , qual o n umero inteiro mais 2k 1 2k + 1 k=1
pr oximo de a b?
ab=
1001 k=1
1001 1001 1000 10012 k2 k2 k2 k2 =1+ = 2k 1 k=1 2k + 1 2 k 1 2 k + 1 2003 k=2 k=1 1000 k=1 1000 k2 10012 2k + 1 10012 10012 =1+ = 1001 2k + 1 2003 2k + 1 2003 2003 k=1
=1+
1000 (k + 1)2 k=1
2k + 1
como 2003 2.1001 segue que Em geral , vale

b k =a
10012 1001 10012 500 logo 1001 500. 2003 2 2003
b b b1 k2 k2 k2 k2 a2 b2 = + = 2k 1 k=a 2k + 1 2a 1 k=a+1 2k 1 k=a 2k + 1 2b + 1 b1 b1 b1
(k + 1)2 k 2 b2 a2 b2 a2 1 + = + = 2a 1 k=a 2k + 1 2 k + 1 2 b + 1 2 a 1 2 b + 1 k=a k=a =( a2 b2 a(1 a) b(b + 1) a ) + (b )= + 2a 1 2b + 1 2a 1 2b + 1 k2 k2 a(1 a) b(b + 1) = + . 2k 1 k=a 2k + 1 2a 1 2b + 1

b
ent ao
b k =a
Ou de maneira mais geral ainda

b b b b1 f (k 1)g (k ) f (k )g (k ) f (a 1)g (a) f (k 1)g (k ) f (k )g (k ) f (b)g (b) = + = g ( k 1) g ( k ) g ( a 1) g ( k 1) g ( k ) g ( b ) k =a k=a k=a+1 k=a
f (a 1)g (a) f (k )g (k + 1) f (k )g (k ) f (b)g (b) + = g (a 1) g ( k ) g ( k ) g ( b ) k =a k =a

b1 b1
f (a 1)g (a) f (b)g (b) + f (k ) . g (a 1) g ( b ) k =a

b1
32
Ent ao
b f (k 1)g (k ) k =a
g (k 1)
b f (k )g (k ) k =a
f (a 1)g (a) f (b)g (b) = + f (k ) . g (k ) g (a 1) g (b) k =a

b1
1.7
plo
Somat orios e recorr encias
Podemos demonstrar propriedades de somat orios por meio de recorr encias, por exem-
Propriedade 29. Se g (k ) e de grau p em k e f (n) e de grau p + 1 em n, para que

n k=1
g (k ) = f (n)
e necess ario e suciente que g (k ) = f (k ) para k Ip+2 . Demonstra c ao. Aplicamos p+2 em
n k=1 n k=1 p+1
g (k )
g (k ) = p+1 g (n + 1) = 0
pois g (k ) e de grau p e vale tamb em p+2 f (n) = 0 pois f (n) e de grau p + 1. Logo as recorr encias s ao iguais e s ao de ordem p + 2, como as p + 2 condi co es iniciais s ao iguais, ent ao as sequ encias denidas s ao iguais para todo n natural. Exemplo 12. Provar que
n n(4n2 1) (2k 1)2 = . 3 k=1
No caso temos que testar 4 condi c oes iniciais, testando essas condi c oes iniciais garantimos a identidade para todo n natural. Exemplo 13. Deduzir uma express ao fechada para f (n) =
n n
1 +1
( p )2 k=1 p=1 k
33
Tem-se f (1) =
1 1
1 +1
( p )2 k=1 p=1 k f (n) =
1 1 = 1+1 2 1 +1
n n
n+1 n+1
1 +1
( p )2 k=1 p=1 k 1 +
( p )2 k=1 p=1 k
n n+1 k=1 p=1
1
p 2 (k ) +1
n n k=1 p=1
n+1 p=1 n
p 2 (k ) +1
n+1 n 1 1 1 + = p 2 p 2 n+1 2 ( n+1 ) + 1 k=1 ( k ) + 1 p=1 ( n+1 ) + 1
n k=1
1 1 1 + + = f (n) = p 2 n+1 2 ( k ) + 1 p=1 ( n+1 ) + 1 2

n
n k=1
(n + 1)2 1 1 k2 + + =n+ 2 2 2 2 (n + 1) + k k + (n + 1) 2 2 k=1 n2 . 2
isso implica que f (n) =
Outra solu ca o pode ser feita usando a identidade

n n k=1 p=1
k2 p2 = 1 p2 + k 2 p2 + k 2
S= n2 . 2
n n n n k2 p2 1 = = n2 S 2 2 2 2 p +k p +k k=1 p=1 k=1 p=1
logo S =
1.7.1
Soma de f com f (n + 2) = af (n + 1) + bf (n).
Propriedade 30. Se f (n + 2) = af (n + 1) + bf (n) ent ao (a + b 1)

n k=1
f (k ) = f (n + 2) + (1 a)f (n + 1) + (a 1)f (1) f (2).
Demonstra c ao. De f (n + 2) = af (n + 1) + bf (n) tem-se f (n + 2) f (n + 1) = (a 1)f (n + 1) + bf (n) logo f (k + 1) = (a 1)f (k + 1) + bf (k ), aplicando telesc opica tem-se f (n + 2) f (2) = (a 1)
n k=1 n k=1
de ambos lados e usando a soma
f (k + 1) + b
n k=1
f (k ) = (a 1)
n+1 k=2
f (k ) + b
n k=1
f (k ) =
34
somando e subtraindo (a 1)f (1) para completar o somat orio e tirando o termo com ndice n + 1 do primeiro somat orio tem-se = (a 1) da segue que (b + a 1)
n k=1 n k=1 n k=1
f (k ) + b
f (k ) + (a 1)f (n + 1) (a 1)f (1)
f (k ) = f (n + 2) + (1 a)f (n + 1) + (a 1)f (1) f (2).
Exemplo 14. Seja f (n + 2) = 2f (n + 1) + f (n) com condi c oes iniciais f (1) = 1 e f (2) = 2, usando o resultado anterior temos
n k=1
f (k ) =
f (n + 2) f (n + 1) + 1 . 2
Exemplo 15 (Soma dos termos sa sequ encia de Fibonacci). Na sequ encia de Fibonacci temos f (n + 2) = f (n + 1) + f (n) com f (1) = 1 = f (2) logo
n k=1
f (k ) = f (n + 2) 1.
Demonstra c ao.
1.8
Somat orio e diferen ca
Propriedade 31. Sejam f : Z R e g : Z R. Se f (a) = g (a) para algum a Z e f (x) = g (x) para todo x Z ent ao f = g.
1.9
Somando k 2
n k=0
Iremos rever alguns m etodos de somas para deduzir ou demonstrar que n(n + 1)(2n + 1) . 6
k2 =
35
1.9.1
Por indu c ao
0 k=0
k2 = 0 =
0(0 + 1)(2.0 + 1) 6
Supondo a validade para n

n k=0
k2 =
n(n + 1)(2n + 1) . 6
Vamos mostrar para n + 1

n+1 k=0
k2 =
(n + 1)(n + 2)(2n + 3) 6
perceba que (n + 2)(2n + 3) = 2n2 + 3n + 4n + 6 = 2n2 + 7n + 6. Por deni ca o de soma tem-se

n+1 k=0 n k=0
k =
k 2 + (n + 1)2 =
n(n + 1)(2n + 1) + (n + 1)2 = 6
colocando n + 1 em evid encia ) ( ) ( ) ( (n + 1) (n + 1) (n + 1) 2 2 = n(2n+1)+6(n+1) = 2n +n+6n+6 = 2n + 7n + 6 = 6 6 6

(n+2)(2n+3) n+1 k=0
k2 =
(n + 1)(n + 2)(2n + 3) . 6
1.9.2
Usando n umeros Eulerianos

N umeros Eulerianos n n n n n n n n
0 1 2 3 4 5 6
0 1 2 3 4 5 6
1 1 1 1 1 1 1
0 0 1 4 11 26 57
0 0 0 1 11 66 302
0 0 0 0 1 26 302
0 0 0 0 0 1 57
0 0 0 0 0 0 1
0 0 0 0 0 0 0
36
Vamos usar a identidade de Worpitzky x =

n
) n n ( x+k
k=0 k
para calcular soma das pot encias, aplicando o somat orio indenido em x temos
x
x =
) n n ( x+k
k=0 k x
) n n ( x+k
k=0 k
n+1
aplicando limites [0, b] temos

b x=0
x =
) n n ( b+1+k
k=0 k
n+1
pois k neste caso e sempre menor que n + 1 ent ao o termo para x = 0 implica o coeciente binomial sendo zero. Vamos ver esse m etodo aplicado na soma de k 2 . Exemplo 16. Pela identidade de Worpitzky, vale ( ) ( ) x x+1 x = + 2 2
2
logo por propriedade de soma binomial

x n
( ) ( ) x x+1 x = + 3 3
2
( ) ( ) n+1 n+2 (n + 1)(n)(n 1) (n + 2)(n + 1)(n) (n)(n + 1) x = + = + = (n1+n+2) = 3 3 6 6 6 x=0

2
n x=0
x2 =
(n)(n + 1)(2n + 1) . 6
1.9.3
Usando n umeros de Bernoulli
B0 1
B1 1 2
B2 1 6
B4 1 30
B6 1 42
B8 1 30
B10 5 66
B12 691 2730
B14 7 6
B16 3617 510
B18 43867 798
B20 174611 330
B22 854513 138
37
Usaremos a identidade
) ( p 1 p + 1 p+1k n Ck . x = k p + 1 x=0 k=0

p
onde Ck = Bk para todo k = 1 e para k = 1, C1 =

n p
1 2
( ) p p + 1 p+1k 1 Ck . n . x = p + 1 k=0 k x=0
Exemplo 17. p = 2 ( ) ( ) ) ( ) ( ( ) n 2 1 3 3k 1 3 3 3 2 3 2 C0 . n + C1 . n + C2 . n = x = Ck . n = 3 k=0 3 0 1 2 k x=0

n
( ) 1 3 3n2 n x = n + + . 3 2 2 x=0
2 n k=0
Exemplo 18. Sabendo que
k 2 = P (n) e um polin omio de grau 3 em n, podemos
deduzir sua f ormula geral usando t ecnicas b asicas. 0 k 2 = 0 , sabendo que P (n) P (n 1) = n2 tem-se P (0) P (1) = 0 Vale P (0) = logo P (1) = 0, da P e da forma n(n + 1)g (n) onde g (n) = an + b, com isso podemos montar um sistema
1 k=0 2 k=0 k=0
k 2 = 1 = 2(a + b)
k 2 = 5 = 6(a2 + b) 1 express oes temos a = , da primeira 3 1 . Substituindo os valores temos 6
multiplicando a primeira por 3 e subtraindo as 2 1 equa c ao temos 2b = 1 = o que implica b = 3 3

n k=0
k 2 = n(n + 1)(
n(n + 1)(2n + 1) n 1 + )= . 3 6 6
A identidade que chamamos de revers ao da ordem da soma

n k k=1 j =1
a(k, j ) =
n n j =1 k=j
a(k, j )
38
pode ser interpretada como a soma dos elementos de uma matriz triangular superior a(1,1) a(2,1) a(3,1) 0 0 . . . 0 a(2,2) a(3,2) 0 . . . 0 a(3,3) . . . 0 0 a(n,2) a(n,3) . . . a(n,n) a(n,1)
na primeira soma xamos a linha e somamos os elementos das colunas, na segunda xamos a coluna e somamos os elementos da linha. Exemplo 19. Calcule por revers ao
n k=1
k2.
n k n n n (n + 1)(n) j (j 1) (n + 1)(n)(n) (n + 1)(n)(n 1) k= k 1= k = = = 2 2 2 6 j =1 j =1 j =1 k=j k=1 k=1 2
(n)(n + 1)(2n + 1) . 6
n k=1
Exemplo 20. Calcular a f ormula fechada de k2.
Supomos
n k=1
k 2 = a1 n + a2 n2 +
n3 = s(n) da 3
s (n) = a1 + 2a2 n + n2 Da identidade s(n) s(n 1) = n2 segue s (n) s (n 1) = 2n , aplicando n = 0 n2 n3 1 s(n) = a1 n + + . Tomando tem-se s (0) = s (1) a1 = a1 2a2 + 1 a2 = , da 2 2 3 2 n = 0 em s(n) s(n 1) = n tem-se s(0) = s(1) e da 0 = a 1 + portanto s(n) = n n2 n3 + + . 6 2 3 1 1 1 a1 = 2 3 6
39
1.10
Somat orios e desigualdades
Propriedade 32 (Preserva ca o de desigualdade >). Sejam a Z e duas fun c oes f e g denidas de Z R tal que f (k ) > g (k ) para todo k a ent ao
n k=a
f (k ) >
n k =a
g (k )
para n a. Demonstra c ao. Vamos provar por indu ca o no limite superior do somat orio. Para n = a temos f (a) > g (a) supondo validade para n
n k=a n k =a n+1 k=a n k =a n k =a n k =a n+1 k =a n+1 k =a n+1 k =a
f (k ) >
g (k )
vamos provar para n + 1
n+1 k =a
f (k ) >
g (k ).
Temos da hip otese f (n + 1) +

n k =a
n k=a
f (k ) > f (n + 1) +
g (k )
por em f (n + 1) +
g (k ) > g (n + 1) +
g (k ) =
g (k ) logo
f (n + 1) +
f (k ) =
f (k ) >
g (k )
Propriedade 33 (Preserva ca o de desigualdade ). Sejam a Z e duas fun c oes f e g denidas de Z R tal que f (k ) g (k ) para todo k a ent ao
n k=a
f (k )
n k =a
g (k )
para n a. Demonstra c ao. Por indu c ao no limite superior. Para n = a f (a) g (a)
40
vale. Supondo para n
n k=a
f (k )
n k =a n+1 k =a
g (k )
vamos demonstrar que
n+1 k =a
f (k )
g (k ).
Somando f (n + 1) a cada lado na hip otese da indu ca o

n k =a
f (k ) + f (n + 1)
n k =a
n k =a
g (k ) + f (n + 1)
n k =a n k =a n k=a
e de f (n + 1) g (n + 1) somando assim por transitividade

n k=a
g (k ) segue f (n + 1) +
g (k ) g (n + 1) +
g (k )
f (k ) + f (n + 1) g (n + 1) +
g (k )
Exemplo 21 (Desigualdade de Bernoulli). Mostrar que (1 + a)n 1 + na para n natural e a 1. Vamos partir da seguinte desigualdade que vale para k natural e a 1 a(1 + a)k a que e uma igualdade para a = 0 para a > 0 temos (1 + a)k 1, se a > 0 na verdade vale
k a > 0, 1 + a > 1, (1 + a) > 1, (1 + a)k > 1 s=1
agora se 1 a < 0 temos que a(1 + a)k a e equivalente a (1 + a)k 1 que segue do produt orio, pois a + 1 0 e podemos assim aplicar a propriedade a < 0, a + 1 < 1,
k s=1
(1 + a) < 1, (1 + a)k < 1.
Assim como a propriedade a(1 + a)k a vale para qualquer k natural e a 1 podemos aplicar o somat orio em ambos lados a(1 + a)k a, a
n1 k=0 n 1 k=0
(1 + a)k
a, (1 + a)n 1 na
41
logo (1 + a)n 1 + na. Da desigualdade de Bernoulli (1 + a)k 1 + ka aplicando o somat orio com k variando de 0 at e n 1, temos (1 + a)n 1 a n + (n)(n 1) a 2 que vale para a 1, agora se a > 0 (1 + a)n 1 an + (n)(n 1) a2 a2 , (1 + a)n 1 + an + (n)(n 1) 2 2
que vale para a = 0 tamb em, logo vale para a 0. Exemplo 22. Seja f (k ) n ao negativo para f (k ) b, b um n umero inteiro, ent ao vale
n n n f (k ))( f (k )) ( f (k )2 ). ( k =b k =b k=b
Por indu c ao sobre n, para n = b vale f (b)f (b) f (b)2 considerando a identidade valida para n
n n n f (k )) ( f (k )2 ) f (k ))( ( k=b k =b k =b

n+1 n+1 n+1 ( f (k ))( f (k )) ( f (k )2 ) k=b k =b k =b
temos (
n+1 k=b n+1 n n f (k ))( f (k )) = ( f (k ) + f (n + 1))( f (k ) + f (n + 1)) = k =b k=b k =b
( n
k=b
)2 f (k ) +2
( n
k =b
) f (k ) f (n + 1) + f (n + 1)2
42
somando f (n + 1)2 aos dois lados na hip otese da indu c ao temos

n n n+1 2 ( f (k ))( f (k )) + f (n + 1) ( f (k )2 ) k=b k =b k =b
e temos tamb em ( )2 ( ) n+1 n n n n 2 ( f (k )) = f (k ) +2 f (k ) f (n+1)+f (n+1)2 ( f (k ))( f (k ))+f (n+1)2

k =b k=b k =b k=b k =b
pois 2
( n
k =b
) f (k ) f (n + 1)
e n ao negativo, por transitividade segue

n+1 n+1 2 ( f (k )) ( f (k )2 ) k=b k =b
logo temos a desigualdade v alida para todo n inteiro
Propriedade 34. Sendo (xn ) e (yn ) sequ encias n ao negativas, vale a desigualdade
n k=1 n n yk ) xk )( xk yk ( k=1 k=1
Demonstra c ao. Por indu c ao sobre n, para n = 1 vale x1 y1 (x1 )(y1 ). Supondo para n
n k=1 n n xk yk ( xk )( yk ) k=1 k=1
n+1 k=1
n+1 n+1 xk yk ( xk )( yk ). k=1 k=1
Vale que
n+1 n+1 n n n n ( xk )( yk ) = xn+1 yn+1 + xn+1 ( yk ) + yn+1 ( xk ) +( xk )( yk ) k=1 k=1 k=1 0 k=1 0 k=1 k=1
usando a hip otese da indu c ao segue que

n+1 k=1 n+1 n xk yk ( xk )( yk ). k=1 k=1
43
Exemplo 23. Mostrar que

2 1
n
k=1
1+
n . 2
Primeiro vamos mostrar que 1 1 . k 2 k=2n +1 Seja k positivo com k 2n+1 segue ambos lados temos
2 1 1 2n+1 + 1 2n 1 1 n+1 = = n +1 k 2 2 2 k=2n +1 k=2n +1
n+1 2 n+1 n+1 2
1 1 n+1 tomando a soma em [2n + 1, 2n+1 ]N em k 2
logo vale 1 1 . k 2 k=2n +1 Agora vamos mostrar a desigualdade temos

1 1 k=1 2 1
n n+1 2
k=1
1+
n . por indu ca o sobre n, para n = 0 2
=11+
n
0 =1 2 n 2
supondo agora v alida para n
2 1 k=1
1+

n+1 2
k=1
1 n+1 1 n 1+ =1+ + . k 2 2 2
2 1
n
Partindo da hip otese de que
k=1
1+
n 2
somando
1 aos dois lados segue k n k=2 +1

n+1 2
n+1 2
k=1
2 1 1 n 1+ + k 2 k=2n +1 k
n+1
44
mas de
1 1 k 2 k=2n +1 somando 1 + n 2
n+1 2
n+1 2
k=1
2 1 1 n n 1 1+ + 1+ + k 2 k=2n +1 k 2 2
n+1 n+1 2
logo 1 n+1 1+ k 2 .
k=1
Com isso temos que a s erie harm onica diverge. Propriedade 35.
p ( ) n k (1 + h) h k k=0 n
Vale para todo p, n naturais e h > 0 real. Demonstra c ao. Se p n a soma trunca
p ( ) n ( ) n k n k h = h = (1 + h)n k k k=0 k=0
valendo ent ao a igualdade. Se p < n ( ) p ( ) n n ( ) n k n k n k h + h h = (1 + h) = k k k k=p+1 k=0 k=0

n
( ) p ( ) p ( ) n n k n k n k (1 + h) h + h h k k k k=0 k=p+1 k=0

n
( ) n n k pois o termo h e n ao negativo. k k=p+1 Propriedade 36 (Desigualdade e m odulo). Sejam g (k ) denida para k inteiro ,a, b Z , ent ao vale |
b k =a b k =a
g (k )|
|g (k )|.
45
Demonstra c ao. Para cada k vale |g (k )| g (k ) |g (k )| aplicando o somat orio em ambos lados segue que implica |
b k =a
|g (k )|
b k =a
g (k )
b k =a
|g (k )|
b k =a
g (k )| |
b k=a
|g (k )|| =
b k=a
|g (k )|
pois os termos |g (k )| somados s ao n ao negativos ,logo a soma desses termos e n ao-negativa e o m odulo da soma e igual a soma. Propriedade 37. A identidade que provamos acima vale para n umeros reais, vamos provar agora por indu ca o que se vale |z + w| |z | + |w| para quaisquer z, w ent ao vale |
n k=1
zk |
n k=1
|zk |
de maneira que possa ser usada para n umeros complexos , normas e outras estruturas que satisfazem a desigualdade triangular. Demonstra c ao. Por indu c ao sobre n, para n = 1 tem-se |
1 k=1
zk | = |z1 |
1 k=1
|zk | = |z1 |
logo vale. Supondo a validade para n | vamos provar para n + 1 |

n k=1
zk |
n k=1
|zk |
n+1 k=1
zk |
n+1 k=1
|zk |.
Da hip otese da indu ca o somamos |zn+1 | em ambos lados, logo |

n+1 k=1
zk | = |zn+1 +
n k=1
zk | |zn+1 | + |
n k=1
zk |
n+1 k=1
|zk |
46
Exemplo 24. Mostrar que n! > para m 2.
n1 k=1
k!
Tomando n 1 k 1, segue que n 2, como fatorial e n ao decrescente, vale (n 1)! k !, tomando a soma com k variando de 1 at e n 1 segue
n1 k=1
(n 1)!
n1 k=1
k !, (n 1)(n 1)!
n 1 k=1
k!
somando (n 1)! ao lado esquerdo segue n(n 1)! = n! >
n1 k=1
k !.
1.10.1
Somat orio e produt orio
Propriedade 38. Sejam (yk ) e (xk ) sequ encias que satisfazem 0 < xk , k N e xk + 1 < yk , k N ent ao vale
n k=1
xk <
n k=1
yk , n N.
n k=1
Demonstra c ao. Vale 0 < xk logo 1 < xk + 1 < yk , isso implica que 1 <
yk .
A rela ca o xk + 1 < yk implica fazendo k = t que xt < yt 1 que por sua vez implica t 1 yt 1 yt 1 1< , pois xt > 0. De 1 < yk e 1 < segue xt xt x x t t k=1 ( ) yt 1 1 < ( yk ) xt xt k=1
t1
que implica xt < (

n t=1
t 1
yk )(yt 1) xt < t
t1 k=1
yk
k=1
aplicando
segue
n t=1
xt <
n k=1
yk .
47
Propriedade 39 (Inequa c ao binomial generalizada). Seja uma sequ encia (ak ) tal que ak + 1 0 e cada ak possua o mesmo sinal ent ao
n
(1 + ak ) 1 +
n k=1
ak
k=1
Demonstra c ao. Por indu c ao sobre n, para n = 1 temos a igualdade

1
(1 + ak ) = 1 + a1 1 +
1 k=1
ak = 1 + a1
k=1
supondo a desigualdade v alida para n

n
(1 + ak ) 1 +
n k=1
ak
k=1
n +1 k=1
(1 + ak ) 1 +
n+1 k=1
ak .
Como 1 + an+1 0 ent ao podemos multiplicar por esse termo de ambos os lados na hip otese da indu c ao sem alterar a desigualdade , implicando
n +1 k=1 n k=1 n k=1 n+1 k=1
(1 + ak ) an+1 +
an+1 ak +1 +
0
ak 1 +
ak
o termo marcado e n ao negativo, pois an+1 e ak possuem o mesmo sinal. Corol ario 14. No resultado acima , tomando ak = a uma constante, segue que
n
(1 + a) = (1 + a) 1 +
n
n k=1
a = 1 + na.
n
k=1
ak e crescente.
Propriedade 40. Se (an ) e crescente, ent ao (bn ) dada por bn = Demonstra c ao.
k=1
Como (an ) e crescente, vale an+1 > ak para todo k menor que n e da
n k=1
an+1 = nan+1 >
n k=1
ak
48
somando n
n k=1
ak de ambos lados segue

n+1 k=1 n k=1 n
n e da
ak > (n + 1)
ak
n +1 k=1
ak >
ak .
k=1
n+1
1.11
1.11.1
Somas por meio de operadores

Somas por meio do operador
n ( ) n (1)n+k (k + x)n = n! k k=0
Exemplo 25. Mostrar que
para qualquer x complexo. Partimos da identidade n xn = n! da

n ( ) n ( ) n n n+k k n x = (E 1) x = (1) E x = (1)n+k (k + x)n = n! k k k=0 k=0 n n n n
mudando a ordem da soma chegamos em outro resultado

n ( ) n n! = (1)k (n k + x)n . k k=0
Corol ario 15. Como vale n+p xn = 0 para qualquer x complexo e p > 0 N expandindo da mesma maneira que no exemplo anterior segue que ) n+p ( n+p (1)n+p+k (k + x)n = 0 k k=0 Exemplo 26. Mostrar que
n ( ) n1 n f (x) = (1)nk cj (x + k )j = 0 k j =0 k=0
49
para todo x e constantes cj complexas. Vale n

n1 j =0 n 1 j =0
cj xj = 0 =
cj xj =
n1 n ( ) n = cj (1)nk (x + k )j = 0. k j =0 k=0
1.12
Bibliograa Comentada
Concrete Mathematics
X Autores:Ronald L. Graham, Donald E. knuth, Oren Patashnik X Editora:ADDISON-WESLEY PUSBLISHING COMPANY X Ano:1990
No texto concrete mathematics pode-se encontrar as deni c oes da pot encia fatorial, que em ingl es e chamada de factorial power, sua rela c ao com somat orios e diferen cas, a nota c ao encontrada l a e diferente da adotada em nosso texto. Os autores tratam tamb em de muitas t ecnicas de somat orio, recorr encias, n umeros especiais como n umeros de bernoulli, n umeros harm onicos, n umeros de stirling, bonacci. Resolvem recorr encias com fun c oes geradoras e muito mais. Recomendamos fortemente a leitura desse texto , foi ele que inspirou o autor a escrever a presente anota ca o.
1.12.1
Manual de sequ encias e s eries, Volume I e II.
X Autor:Lu s Lopes X Editora:QED TEXTE X Ano:1990
Um excelente texto em portugu es com muitas quest oes resolvidas sobre somat orios e s eries. O volume 2 trata mais de somas envolvendo coecientes binomiais.
50
1.12.2
An introduction to the calculus of the nite dierences.
X Autor:C.H.Richardson X Editora:Van Nostrand X Ano:1968
Um texto compacto e rico sobre c alculo de diferen cas nitas, trata da pot encia fatorial, operador delta, somat orios indenidos, denidos, n umeros de Bernoulli, interpola c ao, fun c oes gamma e beta e recorr encias. Possui otimos exerc cios e consegue cobrir tudo isso em apenas 142 p aginas.

Sum5 Confin Beta Piso Desi

Hochgeladen von

Dokumentinformationen

Copyright

Verfügbare Formate

Dieses Dokument teilen

Dokument teilen oder einbetten

Freigabeoptionen

Stufen Sie dieses Dokument als nützlich ein?

Sind diese Inhalte unangemessen?

Copyright:

Verfügbare Formate

Sum5 Confin Beta Piso Desi

Hochgeladen von

Copyright:

Verfügbare Formate

Anota c oes sobre somat orio 5

Rodrigo Carlos Silva de Lima

Universidade Federal Fluminense - UFF-RJ

Cap tulo 1 Somat orio

Se A possui 1 elemento a1 , denimos

CAP ITULO 1. SOMATORIO

Se A possui mais de um elemento, tomamos uma Parti c ao de A = B C e denimos

Se tomarmos a Parti c ao trivial, temos

Propriedade 1 (Vari avel muda).

CAP ITULO 1. SOMATORIO

sendo b + 1 um n umero inteiro temos

CAP ITULO 1. SOMATORIO

Xk e os conjuntos disjuntos, vamos tomar a Parti ca o de A =

B Xn+1 e aplicar o somat orio n f (k ) = f (k ) + f (k ) = f (j ) + f (k ) =

Xk com com todos os conjuntos Xk disjuntos ent ao

e todos s ao disjuntos. Temos ent ao

Se temos f (k ) uma enumera ca o do conjunto nito A de n elementos ent ao1 n g (k ) = g (f (k )).

CAP ITULO 1. SOMATORIO

f (k )] = 0 logo temos a igualdade

v alida pela deni ca o de soma sobre conjunto nito.

CAP ITULO 1. SOMATORIO

Se f (k ) = 1 temos como corol ario

(c1 h(k ) + c2 g (k )).

Seja agora v alido para um conjunto A com n elementos

CAP ITULO 1. SOMATORIO

Propriedade 3 (Comutatividade). Sejam A e B dois conjuntos nitos e fun c ao f : A B R, ent ao

CAP ITULO 1. SOMATORIO

como D possui n elementos podemos usar a hip otese da indu ca o =

f (k, j ) + f (k, j )] = f (k, j ) = f (k, j ). [

mas y = (k, j ) com k A e j {bs }, logo j s o pode ser bs logo escrevemos =

s=1 (k,j )A{bs }

que ser a denotado tamb em como

Corol ario 4 (n umero de elementos do produto cartesiano de conjuntos nitos).

CAP ITULO 1. SOMATORIO

Opera co es com somat orios

Deni c ao 7 (Igualdade). P = P = T sse vale

s ao ditos operadores iguais e escrevemos

(P )f (k ) = (T )f (k ) para qualquer fun ca o f no conjunto A B . Deni c ao 8 (Soma de somat orios). Denimos f (k ) f (k ) + )f (k ) = + (

Propriedade 4. A soma e fechada sse A e B s ao disjuntos

sse A B = . Demonstra c ao. Se A e B s ao disjuntos temos (

CAP ITULO 1. SOMATORIO

Propriedade 5 (A soma e comutativa). ( + )=( + ).

Demonstra c ao. Seja f (k ) uma fun ca o qualquer ( + )f (k ) = f (k ) + f (k ) = f (k ) + f (k ) = ( + )f (k ).

Demonstra c ao. Seja uma fun ca o f qualquer ent ao ( logo

CAP ITULO 1. SOMATORIO

Demonstra c ao. Tomando A{1} e f (k ) = 1 para qualquer k ( + )f (k ) = 1 + |B | = 0

Propriedade 9 (A multiplica c ao e fechada). Pela deni ca o temos ( mas temos que

CAP ITULO 1. SOMATORIO

Demonstra c ao. Vamos ver alguns casos m = 1 temos B = A1

Considerando ent ao a validade para m, B =

vamos provar para m + 1, B =

s=1 ks As m +1 s=1 m s=1

por indu c ao pelo n umero de conjuntos no produto cartesiano temos B =

s=1 ks As km+1 Am+1

CAP ITULO 1. SOMATORIO

Propriedade 12 (Cortando as bordas). Sejam a e b reais quaisquer ent ao

Demonstra c ao. Temos

logo a mudan ca de vari avel vale para limites reais

das(n umeros) que n ao inuem no somat orio.

CAP ITULO 1. SOMATORIO

Propriedade 14 (Produto por (-1)). Sejam a e b reais, ent ao vale

usando as propriedade de fun ca o piso e teto a = a e b = b, substituindo no somat orio segue

propriedade de operat orios3 temos

Est a propriedade nos diz que se temos conjuntos disjuntos4 ent ao |