00

Rodrigo Carlos Silva de Lima

rodrigo.u.math@gmail.com

Sum ario
1 00 1.1 Algumas utilidades da deni c ao 0 1.1.1 1.1.2 1.1.3 1.1.4 1.1.5 1.2 1.3 1.4
0

3 . . . . . . . . . . . . . . . . . . . . . . 3 3 5 6 7 7 8 8 8 9 Produto sobre o conjunto vazio . . . . . . . . . . . . . . . . . . . . Algebra linear . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . S eries de pot encias e polin omios . . . . . . . . . . . . . . . . . . . . Bin omio de Newton . . . . . . . . . . . . . . . . . . . . . . . . . . Pot encia fatorial . . . . . . . . . . . . . . . . . . . . . . . . . . . .

Soma geom etrica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Identidades . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1.3.1 1.4.1 1.4.2 Uma identidade com diferen cas . . . . . . . . . . . . . . . . . . . . Deni c ao de pot encia de base real e expoente inteiro. . . . . . . . . . . . .

Identidade de Worpitzky . . . . . . . . . . . . . . . . . . . . . . . . 10 N umeros de Stirling do segundo tipo . . . . . . . . . . . . . . . . . 10

1.5

Resposta a argumentos contr arios . . . . . . . . . . . . . . . . . . . . . . . 11 b a 1.5.1 Regra abc = c . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11 a 1.5.2 Limites . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11 1.5.3 Continuidade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11 Delta de kronecker . . . . . . . . . . . . . . . . . . . . . . . . . . . 12 Logaritmo , reta estendida e teoria da medida. . . . . . . . . . . . . 12 . . . . . . . . . . . . . . . . . . . . . . . . 13 Aplica c oes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12 1.6.1 1.6.2

1.6

1.7 1.8

Textos que adotam a deni ca o

Textos que s ao contr arios a deni c ao . . . . . . . . . . . . . . . . . . . . . 13

Cap tulo 1 00
O objetivo deste texto e mostrar alguns casos onde a deni c ao 00 = 1 e u til em matem atica, algumas manipula c oes necessitam de conceitos como c alculo, interpola ca o e outras t ecnicas( essas t ecnicas s ao usadas livremente).

1.1

Algumas utilidades da deni c ao 00

00 := 1, aqui algumas justicativas para a escolha.

1.1.1

Produto sobre o conjunto vazio

Deni c ao 1. Um conjunto A e nito, quando ele e vazio ou quando existe uma bije ca o 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 ca o 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 (Produto 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

CAP ITULO 1. 00

outro conjunto onde tem-se com o produto um grupo abeliano), se A e vazio denimos
k A

f (k ) = 1

f ( k ) = 1.

Se A possui 1 elemento a1 , denimos

kA

f (k ) = f (a1 ).

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

k A

f (k ) =

k B C

f (k ) =

kB

f (k ).

k C

f (k )

Se tomarmos a Parti c ao trivial, temos

k A

f (k ) =

k A

f (k ) =

f (k ).

kA

f (k ) = 1 .

k A

f (k ) =

k A

f (k )

Vamos considerar agora o caso do produt 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 ca o 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
k A

f (k ) =

k C

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 produt orio sobre conjunto unit ario, Deni c ao 4. Seja In o conjunto de n umeros naturais de 1 at e n, In = {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 )

CAP ITULO 1. 00

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 ) = 1.

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}. Podemos denir
n k=1

x = xn

caso n = 0, temos o produto sobre conjunto vazio, que foi denido como 1, pois o limite superior e menor que o inferior
0 k=1

x = 1 = x0

, isto sendo v alido para qualquer x em especial para x = 0

0 k=1

0 = 1 = 00 .

Essa deni ca o tamb em serve para o fatorial n! =

n

(k ) 0! =

( k ) = 1.

k=1

k=1

1.1.2

Algebra linear

Denimos sempre que T 0 = I , onde T e um operador linear, se T (v ) = v temos que T k (v ) = k v , se k = 0 queremos T 0 (v ) = I (v ) = v independe de , ent ao com = 0 T 0 (v ) = 00 v = v.

CAP ITULO 1. 00

1.1.3

S eries de pot encias e polin omios

xk k=0

Tomando por exemplo a s erie de pot encia de ex e = temos que e0 = 1 e =1=

0 0k k=0 x

k!

00 0k = + k! 0! k=1 k !

na s erie a direita temos o expoente maior que zero, ent ao o resultado e zero, podendo escrever e0 = 1 = 00 . Em polin omios temos o mesmo p(x) = queremos p(0) = a0 o termo constante p(0) =
n k=0 n k=0

ak xk

ak 0 = a0 0 +

n k=1

ak 0k = a0

isto e, x0 = 1 para qualquer x inclusive 0 simplica a escrita teoria de s erie de pot encias e polin omios. Sequ encias Podemos escrever a sequ encia que tem primeiro termo 1 e todos seguintes zero, usando 0 , 00 = 1 e 0n+1 = 0 (1, 0, 0, . . . ). Podemos deduzir isso tomando a sequ encia f (0) = 1 e f (n + 1) = 0 para todo n, por interpola c ao podemos achar a f ormula fechada para essa sequ encia, usando n ( ) n f (n) = k f (0) k k=0 temos que ( ) k ( ) k ( ) k k k k s k ks f (0) = (E 1) = (1) E f (0) = (1) f (k ) = (1)k f (0) = (1)k s s 0 s=0 s=0
k k n

CAP ITULO 1. 00

todos outros termos do somat orio se anulam pois f (n + 1) = 0 para n natural logo temos a sequ encia expressa como
n ( ) n ( ) n n k f (0) = (1)k = (1 1)n = 0n . f (n) = k k k=0 k=0

1.1.4
Temos

Bin omio de Newton

n ( ) n nk k (x + y ) = x y k k=0 n

no caso trivial se zermos y = 0 ( ) n ( ) n ( ) n nk k n n0 0 n nk k (x + 0) = x = x 0 = x 0 + x . 0 = xn . k 0 k k=0 k=1

n n =1 =0

Se tomamos x = 1 y = 1, temos
n ( ) n ( ) n nk n k (1 1) = 0 = 1 (1) = (1)k k k k=0 k=0 n n

observe que para n = 0, temos no lado direito ( ) 0 ( ) 0 0 k (1)0 = 1 = 00 . (1) = 0 k k=0

1.1.5

Pot encia fatorial

A pot encia fatorial de passo h e denida como x(0,h) = 1 x(n+1,h) = x(n,h) (x n.h) Para todo x real e n natural, e f acil mostrar que x(n,0) = xn . Ent ao se tomamos n = 0 e h = 0 temos pela deni c ao x(0,0) = 1 = x0 = 1 para qualquer x inclusive 0.

CAP ITULO 1. 00

1.2

Soma geom etrica

n k=0

xk =

xn+1 1 x1

tomando x = 0

0 k=0

0k =

0n+1 1 1 = =1 01 1

logo

0 k=0

0k = 1 = 00 .

1.3

Identidades

Algumas identidades valem para todo n natural quando tomamos 00 = 1

1.3.1

Uma identidade com diferen cas

Denimos o operador delta como 0 f (x) = f (x) n+1 f (x) = n f (x + 1) f (x) para todo n natural. Podemos demonstrar que n xn = n! para qualquer x em especial, para que a propriedade seja v alida para n = 0 = x, temos que ter 00 = 0! pois 0 00 = 00 = 0! por em 0! = 1, ent ao ter amos que 00 = 1. A mesma identidade vale com derivadas D n x n = n! , com x = 0 = n tem-se D0 00 = 0! = 00 = 1.

CAP ITULO 1. 00

1.4

Deni c ao de pot encia de base real e expoente inteiro.

Podemos denir a pot encia de base real e expoente natural da seguinte maneira Deni c ao 5. x := para n natural e x real. Propriedade 1. Para n = 0 , como j a vimos, o produt orio e vazio, logo o resultado e1 ( que e o elemento neutro do produto), para qualquer valor de x real, incluindo 0, temos ent ao
0 k=1 n

n k=1

x = 1 = x0 .

Podemos denir tamb em a potencia c ao, da seguinte maneira Deni c ao 6. x0 = 1 xn+1 = xn .x para qualquer x real e n natural. Vamos mostrar que as deni c oes s ao equivalentes. Partindo da primeira deni c ao, vamos mostrar que vale a segunda deni c ao x0 =
0 k=1

x=1

logo a primeira propriedade vale, mostrando a segunda x

n+1

n +1 k=1

x=[

n k=1

x]x = xn .x

logo vale a segunda propriedade e deni c ao. Para mostrar que vale
n k=1

x = xn

CAP ITULO 1. 00

10

partindo da segunda deni ca o, podemos usar indu ca o sobre n, para n = 0 temos a propriedade verdadeira, pois temos 1 como resultado para ambas express oes, supondo a validade para n
n k=1

x = xn

vamos provar para n + 1

n +1 k=1

x = xn+1

Temos que

n +1 k=1

x=[

n k=1

x]x = xn .x = xn+1

logo est a provado.

1.4.1

Identidade de Worpitzky
) n n ( x+k
k=0 k

A identidade de Worpitzky vale para x = 0 = n x =

n

0 ( ) 0 0 = = 1. 0 0
0

1.4.2

N umeros de Stirling do segundo tipo

n k

Exemplo 1. Vale a identidade k xn k!

.
x=0

Tomando n = 0

n 0

= xn
x=0

= 0n

0 = 1 chegamos em 00 = 1. como 0

CAP ITULO 1. 00

11

1.5
1.5.1

Resposta a argumentos contr arios

Regra a
mn

am = n a

ab n ao vale para a base 0, pois caso valesse o n umero 0 ac 02 0 seria indenido 0 = 01 = 021 = 1 = ent ao n ao faz sentido o argumento contr ario 0 0 1 0 0 dizendo que 00 = 011 = 1 = , pois se essa regra vale ent ao 0 tamb em e indenido, 0 0 o erro est a em considerar que a propriedade de subtra c ao de expoentes vale para base A regra de pot encia abc = a = 0, que n ao vale, pois tal propriedade e demonstrada para a = 0.

1.5.2

Limites

Argumento que limites n ao devem ser levados em considera c ao para deni ca o ou n ao de 00 . Se lim g (x) = 0 e lim h(x) = 0 ent ao a princ pio nada podemos armar sobre
x0

lim g (x)h(x) . Por em quando denimos limite

x 0

x0

x 0

lim f (x) = L

da maneira > 0 > 0 | 0 < |x| < |f (x) L| < n ao importa o valor de f em 0, ela pode estar denida como por exemplo, f : R R dada por f (x) = 3 para x = 0 e f (x) = 0 se x = 0, o valor da fun ca o em 0 n ao importa para deni c ao de limite, ela poderia n ao ser denida em x = 0 tamb em. Ent ao sustento que argumento de limite n ao deveriam ser levados em considera c ao em deni c oes aritm eticas (pontuais).

1.5.3

Continuidade

Argumento que continuidade de fun co es tamb em n ao devem a princ pio serem consideradas para a deni c ao de 00 . Pois uma dada fun c ao qualquer f ela a princ pio n ao precisa ser cont nua.

CAP ITULO 1. 00

12

1.6
1.6.1

Aplica c oes
Delta de kronecker

Deni c ao 7 (Delta de Kronecker). Sejam a e b n umeros reais, denimos o Delta de kronecker (a,b) , como (a,b) = 0 se a = b (a,b) = 1 se a = b . Podemos escrever o delta de kronecker usando a identidade 00 = 1. Propriedade 2. (a,b) = 0|ab| Demonstra c ao. Pois se a = b temos a b = 0 e |a b| = |0| = 0 e pela deni c ao 00 = 1. Agora se a = b temos a b = 0 e |a b| = p um n umero positivo, e temos 0p = 0, por propriedade de pot encia.

1.6.2

Logaritmo , reta estendida e teoria da medida.

Na teoria de medida e integra ca o temos a deni ca o 0.() = 0 = ().0, sabemos tamb em que lim ln x = , ent ao podemos denir na reta estendida ln 0 = a + propriedade ln xp = p ln x ca sendo v alida para x = 0 e qualquer p 0 real quando adotamos 00 = 1. Se p > 0, temos ln 0p = ln 0 = () = p ln 0 = p() = () pois na reta estendida tem-se a deni ca o se p > 0 ent ao p() = () Se p = 0, ln 00 = ln 1 = 0 e por outro lado ln 00 = 0 ln 0 = 0() = 0 com a deni ca o 0() da teoria da medida.
x 0

CAP ITULO 1. 00

13

1.7 1.8

Textos que adotam a deni c ao Textos que s ao contr arios a deni c ao