Sei sulla pagina 1di 3

Aula 2 -03.01.

11

Conjuntos Enumeráveis
Def: X é enumerável se X é finito ou se existe f: N→ X bijetora (f é uma enumeração de X)

X={x1,x2, …,xn,…} onde x1=f(1) , … , xi=f(i)

Teorema 4: Se X ⊂N então X é enumerável

Demo: Se X é finito, nada a fazer. Se X é infinito: definimos f intuitivamente f(1) = min X.

Suponha f definida para 1,2,3,…,n. Tome An=X- {f(1),f(2),…, f(n)}.

Defino f(n+1)=min An Notação xn=f(n). Quero mostrar que X= {x1,x2,…,xn,..}.

Suponha por absurdo que existe x ∈ X tal que x∉ { x1,…,xn,…} Temos então que x ∈ An para todo n.

Pela construção de f temos que X é maior que todos os elementos de {x1,…,xn,…}.

Então segue que x∈ An para todo n. Pela construção de f temos que x é maior que todos os elementos de {x1,…,xn,…}.

Temos que {x1,…,xn,…}⊂ N e {x1,…,xn,…} é limitado. Absurdo (Cor 2 Teo 2)█

Corolário1:

a) f:X→Y injetora, y enumerável ⇒ x é enumerável


b) f:X→Y sobrejetora, X enumerável ⇒ Y é enumerável

Corolário2: O produto cartesiano de dois conjuntos enumeráveis é enumerável.

Demo: Sejam X e Y enumeráveis, logo existem f1:N→X e f2:N→Y bijetores

f: NxN → XxY
(m,n) →( f1(m) , f2(n) )

Se mostrarmos que NxN é enumerável como f é sobrejetora pelo cor1, temos que X x Y é enumerável█

Corolário3. Reunião enumerável de 2 conjuntos enumeráveis é enumerável

Demo. Sejam Xi conjuntos enumeráveis (i∈N). Logo existem fi:N→Xi bijetora

Seja f: N x N → Ui∈N Xi ; f é obviamente sobrejetora.


(m,n) → fm(n)

Pelo corolário 1b, temos que Ui∈N Xi é enumerável.

Obs: Teo 3: X infinito ⇒ ∃ f: N→X injetiva

“ Todo conjunto infinito admite subconjunto enumerável”

Ex1: Z é enumerável . f: N→Z onde f (n) = (n-1)/2 para n ímpar e f(n) = n/2, n par. Temos que f é injetora, logo Z é
enumerável.

Corolário 4. Y⊂ X, X enumerável ⇒ Y é enumerável

Demo: f:Y⇒X, X é enumerável tal que f(x) = x, é injetora. Pelo Cor1a. Y é enumerável.

Ex 2: Q é enumerável. Considere:
f:Z x Z* → Q

(a,b) → a/b

Z x Z* é enumerável. De fato, Z é enumerável e do Cor4, Z* também é enumerável. Segue do Cor2 que Z x Z* é


enumerável. Por Cor1b. Q é enumerável.

Ex3 ( um conjunto não enumerável)

Seja S o conjunto das sequências infinitas formadas por 0 e 1.

s=( 0,1,1,0,0,0,1,0,….)

Mostraremos que em todo subconjunto enum de S falta uma sequência de S.

S1 0 1 0 0 1 ….

S2 1 0 1 1 1 ….

S3 0 1 1 0 1 ….

Método da diagonal de Cantor

Seja X = { s1,…,sn, …} subconjunto enumerável de S

Seja snn o n-ésimo termo da sequência sn ∈ S. Tome s a sequência em S com o n-ésimo termo diferente de snn

0→1 e 1→0

Daí s∈ S, s≠ sn para todo n ∈ N pois o n-ésimo termo de S é diferente de snn. Logo s∉ X █

Números Reais
(Referência: Calculus, Vol 1. – Tom Apostol)

R é um corpo (Axiomas de Corpo)

Adição: x+ y é soma de x e y

Multiplicação : xy é o produto de x e y

Axiomas de Corpo:

I) Associativa: ( a+b)+c = a + (b+c) e (ab)c=a(bc)


II) Comutativa: a+b = b+a e ab = BA
III) Elemento neutro: ∃ 0 ∈ R tal que x+ 0 = x. ∃1 ∈ R tal que x.1=x
IV) Inverso: ∀ a ∈ R, ∃ (-a) tal que a + (-a) = 0. ∀ a∈ R, a≠0, ∃ a-1 tal que a.a-1=1
V) Distributiva: a(b+c) = ab + AC

Def: Operações

Subtração a-b = a + (-b). Diz-se que a-b é a diferença de a e b.

Divisão a/b e a.b-1 (b≠0). Diz-se que a/b é o quociente de a por b.

Teorema:

a) a+b = a+c ⇒ b=c


b) ab=AC e a≠0 ⇒ b =c
c) -(-a) = a
d) 0.a=0
e) (a-1)-1=a (a≠0)
f) ab=0 ⇒a=0 ou b=0
g) (-a)b=-(ab) e (-a)(-b)=ab
h) (a/b)(c/d) = ac / bd (b≠0 ; d≠0)

Demo:

a) Axioma IV)⇒ ∃-a tal que a+ (-a) = 0 ; a + b = a+c ⇒ (-a) + (a+b) = (-a) + (a+c)

Axioma I ⇒( (-a) + a) + b = ((-a)+a) + c

Axioma II ⇒(a+(-a)) + b = (a + (-a)) +c

Axioma IV⇒0+b = 0+c

Axioma III ⇒ b=c

d) (Axioma III) ⇒ 0a +a =0a+1a =(0+1)a=1.a = a= 0+a⇒0a = 0

Outra maneira: 0a=(0+0)a=0a+0a=0+0a⇒0a=0

⦁R é um corpo ordenado

∃R+ ⊂ R chamado conjunto dos números reais positivos.

Axiomas de Ordem:

VI) x,y ∈ R+⇒x+y ∈ R+ e x.y ∈ R+


VII) dado x ∈ R, vale apenas uma alternativa que x=0 ou x∈ R+ ou -x ∈ R+

R- = { x ∈ R / -x ∈ R+} ; R- é o conjunto dos números negativos.

R= R+UR-U{0}

Teorema:
a)x2 ∈ R+, ∀ x ∈ R
b) 1∈ R+
Def:

a) x < y ⇔ y-x ∈ R+
b) x > y ⇔ x-y ∈ R+
c) x ≤ y ⇔ x=y ou x < y
d) x ≥ y ⇔ x=y ou x>y

Obs: x>0 ⇔ x ∈ R+

Teorema:

01) Transitividade: x<y e y ≤ z ⇒ x < z


02) Tricotomia: x=y ou x<y ou x>y
03) Monotonicidade da adição: x < y ⇒ x + z < y + z, ∀ z ∈ R
04) Monotonicidade da Multiplicação: x< y ⇒ xz< yz, ∀z>0 e x < y⇒ xz > yz ∀ z < 0

Demo: Exercício

Potrebbero piacerti anche