Académique Documents
Professionnel Documents
Culture Documents
11
Conjuntos Enumeráveis
Def: X é enumerável se X é finito ou se existe f: N→ X bijetora (f é uma enumeração de X)
Suponha por absurdo que existe x ∈ X tal que x∉ { x1,…,xn,…} Temos então que x ∈ An para todo n.
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,…}.
Corolário1:
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█
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.
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
s=( 0,1,1,0,0,0,1,0,….)
S1 0 1 0 0 1 ….
S2 1 0 1 1 1 ….
S3 0 1 1 0 1 ….
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
Números Reais
(Referência: Calculus, Vol 1. – Tom Apostol)
Adição: x+ y é soma de x e y
Multiplicação : xy é o produto de x e y
Axiomas de Corpo:
Def: Operações
Teorema:
Demo:
a) Axioma IV)⇒ ∃-a tal que a+ (-a) = 0 ; a + b = a+c ⇒ (-a) + (a+b) = (-a) + (a+c)
⦁R é um corpo ordenado
Axiomas de Ordem:
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:
Demo: Exercício