You are on page 1of 20

Preliminares: Conjuntos e Fun co es

MODULO 1 - AULA 1

Aula 1 Preliminares: Conjuntos e Fun co es


Metas da aula: Fazer uma breve recorda ca o dos fatos b asicos sobre
conjuntos e fun co es. Apresentar uma introdu ca o a ` pr atica de demonstra ca o de proposi co es matem aticas, ponto central em todo o curso.

Objetivos: Ao nal desta aula, voc e dever a ser capaz de:


Saber o signicado matem atico e o uso dos principais s mbolos e das opera co es da teoria elementar dos conjuntos; Saber os conceitos b asicos relacionados a ` no ca o de fun ca o entre dois conjuntos bem como as opera co es de composi ca o, invers ao e restri ca o; Demonstrar proposi co es simples envolvendo conjuntos e fun co es.

Conjuntos
Admitimos como familiares o conceito (intuitivo) de conjunto, signicando cole ca o, fam lia etc., assim como as opera co es elementares entre conjuntos, nomeadamente, a uni ao A B , a interse ca o A B e a diferen ca, A \ B , entre dois conjuntos quaisquer A e B . O conjunto A \ B tamb em e chamado o complementar de B em rela ca o a A. Lembremos as nota co es usuais: x A, e A B, signica que todo elemento do conjunto A e tamb em um elemento do conjunto B , signica que x e um elemento ou membro de A,

ou seja, que o conjunto A e um subconjunto do conjunto B . A nega ca o de x A se denota por x / A, que se l e x n ao pertence a A ou x n ao e um elemento (ou membro) de A. Outrossim, e importante ressaltar o signicado da igualdade entre dois conjuntos: A = B, signica A B e B A,

isto e, A e B possuem exatamente os mesmos elementos. Assim, para provarmos que o conjunto A est a contido no conjunto B , isto e, A B , devemos provar que para todo x, se x A, ent ao x B . Por outro lado, para provarmos que A = B , devemos provar que para todo x, se
5

CEDERJ

Preliminares: Conjuntos e Fun co es

ANALISE REAL x A, ent ao x B e, reciprocamente, se x B ent ao x A, ou seja, x A se e somente se x B .

Ao longo do curso de An alise Real estaremos sempre lidando com conjuntos que s ao subconjuntos do conjunto dos n umeros reais, R, cujas propriedades fundamentais ser ao estudadas de modo sistem atico mais adiante. Dentre esses subconjuntos de R, cabe destacar o conjunto N dos n umeros naturais, o conjunto Z dos n umeros inteiros e o conjunto Q dos n umeros racionais. De modo um tanto informal, podemos descrever esses conjuntos assim: N := {1, 2, 3, },

Z := { , 3, 2, 1, 0, 1, 2, 3, }, p Q := {r : r = , p, q Z, q = 0}. q Aqui usamos a nota ca o := que deve ser lida igual, por deni ca o. Temos, portanto, N Z Q R. Denotamos por o conjunto vazio, isto e, o conjunto que n ao possui nenhum elemento. Temos que, para todo conjunto A, A.

No que segue, usaremos a palavra proposi ca o no sentido de senten ca matem atica, que pode ser expressa atrav es de uma f ormula matem atica ou uma declara ca o testual, ou ainda uma combina ca o dessas duas formas, e que, em geral, poder a depender de uma ou mais vari aveis. Como exemplos citamos: x A ou x B ; x > 2 e x < 3; x N e x = 2k para algum k N etc. Usaremos a letra P para denotar uma proposi ca o qualquer e, quando quisermos enfatizar o fato dessa proposi ca o depender de uma vari avel x, denotaremos P [x]. Grosso modo, as regras para a forma ca o de conjuntos s ao as seguintes: 1. A descri ca o expl cita dos membros do conjunto na forma de uma lista delimitada a ` esquerda e a ` direita pelas chaves { e }, respectivamente. Por exemplo, {a, b, c, d}, {1, 2, 3} etc. Nem sempre e poss vel descrever um conjunto listando-se seus elementos e por isso freq uentemente utilizamos os modos alternativos a seguir. 2. A forma ca o de novos conjuntos a partir de conjuntos j a previamente denidos. Em geral, para essa constru ca o usamos uma express ao da forma {x : P }, que se l e o conjunto dos x tais que P , onde P e uma
CEDERJ 6

Preliminares: Conjuntos e Fun co es

MODULO 1 - AULA 1

proposi ca o envolvendo x e os conjuntos previamente denidos. Por exemplo, se A e B s ao conjuntos, ent ao podemos denir os seguintes conjuntos: (a) A B = {x : x A ou x B }, o membro a ` direita l e-se: conjunto dos x tal que x pertence a A ou x pertence a B ; (b) A B = {x : x A e x B }, o membro a ` direita l e-se: conjunto dos x tal que x pertence a A e x pertence a B ; (c) A \ B = {x : x A e x / B }, o membro a ` direita l e-se: conjunto dos x tal que x pertence a A e x n ao pertence a B ; (d) A B = {(a, b) : a A e b B }, o membro a ` esquerda e chamado o produto cartesiano do conjunto A pelo conjunto B e o membro a ` direita l e-se: conjunto dos pares ordenados (a, b) com a pertencente a A, e b pertencente a B . A rigor, para mantermos o padr ao de descri ca o estabelecido acima, {x : P }, dever amos escrever A B = {x : x = (a, b), com a A e b B }. A primeira forma, mais concisa, deve ser entendida como uma abreviatura desta u ltima. (e) Dado o conjunto A, podemos denir o conjunto P (A), cujos elementos s ao exatamente todos os subconjuntos de A, incluindo e o pr oprio A. Assim, temos P (A ) = { x : x A } . Por exemplo, P ({1, 2}) = {, {1}, {2}, {1, 2}}.
7 CEDERJ

Preliminares: Conjuntos e Fun co es

ANALISE REAL (f) Um caso particular importante dessa forma de se obter novos conjuntos a partir de conjuntos j a previamente denidos e a descri ca o de um novo conjunto como subconjunto de um conjunto conhecido, atrav es de uma proposi ca o ou f ormula P que deve ser satisfeita por todos os elementos do novo conjunto. Por exemplo, o conjunto P dos n umeros naturais pares pode ser denido por P := {x : x N e existe k N tal que x = 2k }. A forma geral para a deni ca o de um subconjunto A de um conjunto previamente denido B por meio de uma proposi ca o P e: {x : x A e x satisfaz P }. Em geral, usa-se de fato a nota ca o mais concisa {x A : x satisfaz P } ou {x A : P [x]}. No caso dos n umeros naturais pares, P e existe k N tal que x = 2k . Assim, na forma concisa, temos P = {x N : x = 2k, para algum k N}. De modo mais informal e mais conciso ainda, poder amos escrever tamb em P = {2k : k N}. Analogamente, o conjunto I dos n umeros naturais mpares e denido por I := {x N : x = 2k 1, para algum k N}, ou ainda I = {2k 1 : k N}. 3. Ainda uma outra forma, muito particular, de denir conjuntos, e atrav es da introdu ca o de um axioma que estabele ca a exist encia de um conjunto satifazendo determinadas propriedades bem especicadas. Por exemplo, o conjunto dos n umeros naturais N pode ser denido dessa forma, como veremos na pr oxima aula. O conjunto R dos n umeros reais tamb em pode ser denido seguindo esse m etodo, chamado m etodo ax claro que o recurso a esse proiom atico, como veremos mais adiante. E cedimento envolve uma discuss ao bastante delicada, de car ater l ogico, sobre a consist encia do axioma introduzido com os demais previamente admitidos na teoria; e, portanto, utilizado apenas em casos excepcionais e somente por especialistas muito experientes. Os dois exemplos de (poss vel) ado ca o desse procedimento que acabamos de dar, para a constru ca o de N e R, pertencem a ` Hist oria da Matem atica. O curso de An alise Real constitui uma o tima oportunidade de se aprender, atrav es de leitura e muitos exerc cios, a entender e, principalmente, a produzir as chamadas demonstra co es ou provas matem aticas. A teoria rigorosa
CEDERJ 8

Preliminares: Conjuntos e Fun co es

MODULO 1 - AULA 1

do que venha a ser uma aut entica prova matem atica pertence ao dom nio da L ogica, a qual escapa dos objetivos do presente curso. No entanto, n ao e em absoluto necess ario um profundo conhecimento de L ogica Matem atica para ser capaz de entender e de produzir provas matem aticas. Para tanto, uma introdu ca o elementar como a oferecida pelo curso de Matem atica Discreta e mais do que suciente. Como um primeiro exemplo de demonstra ca o, vamos agora enunciar e provar as famosas regras de De Morgan da teoria elementar dos conjuntos. Exemplo 1.1 (Identidades de De Morgan) Sejam A, B e C conjuntos. Ent ao valem as igualdades A \ (B C ) = (A \ B ) (A \ C ) e A \ (B C ) = (A \ B ) (A \ C ) . Prova: Provemos a primeira igualdade. Para tanto, temos de mostrar que A \ (B C ) e (A \ B ) (A \ C ) possuem os mesmos elementos, ou seja, que para um x qualquer, se x A \ (B C ), ent ao x (A \ B ) (A \ C ) e, reciprocamente, se x (A \ B ) (A \ C ), ent ao x A \ (B C ).

Por conseguinte, x (A \ B ) (A \ C ) (por qu e?), e assim ca provada a implica ca o (lembremos que p q se l e se p, ent ao q ) x A \ (B C ) = x (A \ B ) (A \ C ), que mostra que A \ (B C ) (A \ B ) (A \ C ). (por qu e?)

Portanto, vale x A e x / B e vale x A e x / C , ou seja, x A \ B e x A \ C.

Com efeito, suponhamos que x A \ (B C ). Ent ao, x A e x / B C (por qu e?). Assim, vale x A e vale x /B ex / C (por qu e?).

Em outras palavras, temos de mostrar que, para qualquer que seja x, vale que x A \ (B C ) se, e somente se, x (A \ B ) (A \ C ).

Para provar a rec proca, suponhamos que x (A \ B ) (A \ C ). Ent ao, x (A \ B ) e x (A \ C ). Segue da que vale x A e x / B e vale x A e x / C , isto e, vale x A e n ao vale x B ou x C (por qu e?).

Portanto, vale x A e n ao vale x B C , isto e, vale x A e x / B C . Segue que x A \ (B C ) e ca provada a implica ca o rec proca x (A \ B ) (A \ C ) = x A \ (B C ),
9 CEDERJ

Preliminares: Conjuntos e Fun co es

ANALISE REAL que mostra que (A \ B ) (A \ C ) A \ (B C ) , e com isto ca provada a primeira igualdade. A prova da segunda igualdade se faz de maneira inteiramente an aloga; mesmo assim vamos fornec e-la para que voc e v a se habituando com o modo de proceder. Provemos ent ao inicialmente que se x A \ (B C ), ent ao x (A \ B ) (A \ C ). Com efeito, suponhamos que x A \ (B C ).

Ent ao, x A e x / B C , ou seja, vale x A e n ao vale x B e x C. Portanto, ou vale x A e x / B , ou temos x A e x / C , isto e, ou x A \ B ou x A \ C . Segue da que x (A \ B ) (A \ C ), o que prova a implica ca o x A \ (B C ) = x (A \ B ) (A \ C ) que equivale a dizer que A \ (B C ) (A \ B ) (A \ C ) . Para provar a inclus ao oposta, suponhamos que x (A \ B ) (A \ C ). Ent ao, ou vale x (A \ B ), ou vale x (A \ C ). Assim, vale x A e vale x / B ou x / C.

No primeiro caso, x A e x / B ; no segundo, x A e x / C . Juntando os dois casos, temos que vale x A e vale x / B ou x / C , isto e, vale x A e n ao vale x B e x C . Portanto, vale x A e vale x / (B C ), ou seja, x A \ (B C ), o que prova a implica ca o rec proca x (A \ B ) (A \ C ) = x A \ (B C ) e, por conseguinte, mostra que tamb em vale a inclus ao oposta (A \ B ) (A \ C ) A \ (B C ) . Isto conclui a demonstra ca o da segunda igualdade.

A demonstra ca o que acabamos de ver est a escrita de um modo bem mais extenso do que o necess ario. A raz ao e que procuramos enfatizar os
CEDERJ 10

Preliminares: Conjuntos e Fun co es

MODULO 1 - AULA 1

detalhes de cada passagem sem saltar mesmo os passos mais o bvios. Em geral, no que segue, n ao perderemos tanto tempo com as infer encias mais imediatas, deixando que voc e mesmo preencha as lacunas francamente mais evidentes. Num contexto em que todos os conjuntos com os quais se trabalha s ao subconjuntos de um mesmo conjunto U (por exemplo, no curso de An alise Real, U = R), e costume se usar uma nota ca o mais simples para o complementar de um conjunto qualquer A, contido em U , em rela ca o ao conjunto U (` as vezes chamado conjunto-base ou conjunto-universo). Nesse caso, em vez de U \ A, denotamos o complementar de A em rela ca o a U simplesmente c c por A . Podemos ent ao tomar como deni ca o A := {x : x / A}, omitindo o fato, subentendido, de que x U . Exerc cios 1.1

1. Prove que (Ac )c = A. De modo mais geral, prove que A \ (A \ B ) = A B. 2. D e a demonstra ca o para as seguintes rela co es b asicas envolvendo as opera co es de uni ao e interse ca o de conjuntos, descritas abaixo: 1) A B = B A

2) A B = B A,

6) A (B C ) = (A B ) (A C ). 3. Prove as proposi co es 1) A B e C D = A C B D

5) A (B C ) = (A B ) (A C )

4) (A B ) C = A (B C ),

3) (A B ) C = A (B C )

2) A B e C D = A C B D.

4. As rela co es 3) e 4) do exerc cio (2), chamadas propriedades associativas da uni ao e da interse ca o de conjuntos, respectivamente, permitem que escrevamos simplesmente A B C , assim como A B C , para denotar a uni ao e a interse ca o de tr es conjuntos quaisquer. De modo mais geral,
11

CEDERJ

Preliminares: Conjuntos e Fun co es

ANALISE REAL podemos considerar a uni ao e a interse ca o de um n umero qualquer, n, de conjuntos A1 , A2 , . . . , An . Nesse caso, e comum usarmos a nota ca o
n n

k=1

Ak := A1 A2 An ,

k=1

Ak := A1 A2 An .

Mais precisamente, a deni ca o para essas uni oes e interse co es de n conjuntos seria:
n

k=1 n

Ak := {x : x Ak , para algum k {1, . . . , n} }, Ak := {x : x Ak , para todo k {1, . . . , n} }.

k=1

Prove as seguintes generaliza co es das identidades de De Morgan:


n c n

1)
k=1 n

Ak
c

=
k=1 n

(A k ) c , (A k ) c ,
k=1

2)
k=1

Ak

5. Baseando-se no exposto no exerc cio anterior, d e as deni co es para


Ak e
k=1 k=1

Ak e prove as generaliza co es correspondentes para as iden-

tidades de De Morgan.

Sugest oes e Respostas:


A guiza de incentivo, vamos dar um esbo co da solu ca o do exerc cio (1), primeira parte, do exerc cio (2), item 5, e da primeira parte do exerc cio (6). Voc e est a convidado a fornecer os detalhes para as solu co es a seguir. Comecemos pelo exerc cio (1). Temos x (Ac )c x / Ac n ao e verdade que x / A x A. c c Assim, conclu mos que x (A ) x A, que e o que ter amos que demonstrar (por qu e?). Quanto ao exerc cio (2), item 5, temos x A (B C ) x A e x B C vale x A e vale x B ou x C vale x A e x B ou vale x A e x B (por qu e?) vale x A B ou vale x A C x (A B ) (A C ). Assim, conclu mos x A (B C ) x (A B ) (A C ), que e o que precisav amos demonstrar.
CEDERJ 12

Preliminares: Conjuntos e Fun co es

MODULO 1 - AULA 1

Finalmente, em rela ca o ao exerc cio (6), quanto a `s quest oes relativas a `

uni ao dos conjuntos, temos o seguinte. Primeiramente, a deni ca o de e dada, naturalmente, por
k=1

Ak

k=1

Ak := {x : x Ak , para algum k N}.

A identidade de De Morgan (6), item 1, se prova do modo seguinte. Antes de mais nada, lembre que a nega ca o de uma senten ca da forma existe x para o qual vale P [x] ou para algum x, vale P [x] e dada por qualquer que seja x, n ao vale P [x] ou para todo x, n ao vale P [x]. Analogamente, a nega ca o de uma senten ca da forma qualquer que seja x, vale P [x] ou para todo x, vale P [x] e dada por existe x para o qual n ao vale P [x] ou para algum x, n ao vale P [x]. Apenas por curiosidade, mencionamos que, em s mbolos matem aticos, essas arma co es se traduzem por ( x ) P [ x ] ( x ) P [ x ] ,

( x ) P [ x ] ( x ) P [ x ] .

Aqui, P [x] denota uma proposi ca o ou f ormula dependendo da vari avel x, e P denota a nega ca o da proposi ca o P .
c

Passemos a solu ca o do exerc cio em quest ao. Temos que x

Ak
k=1

n ao e verdade que x

k=1

Ak n ao e verdade que existe k N tal que

x Ak qualquer que seja k N, x / Ak x e o que precis avamos demonstrar.

(Ak )c (por qu e?), que


k=1

Sobre Quanticadores
A prop osito da solu ca o do exerc cio (6), descrita anteriormente, cabe lembrar que os quanticadores (para todo ou qualquer que seja) e (para algum ou existe um) podem aparecer juntos numa mesma senten ca aplicados a vari aveis distintas. As seguintes senten cas servem de exemplo: para todo x e para todo y vale P [x, y ], para todo x existe um y tal que vale P [x, y ], existe um x tal que para todo y vale P [x, y ], existe um x e existe um y tal que vale P [x, y ], ( (x)(y ) P [x, y ] )

( (x)(y ) P [x, y ] )

( (x)(y ) P [x, y ] )

( (x)(y ) P [x, y ] )
13 CEDERJ

Preliminares: Conjuntos e Fun co es

ANALISE REAL Aqui, P [x, y ] denota uma f ormula ou proposi ca o dependendo das vari aveis x e y . Por exemplo, P [x, y ] poderia ser x2 + y 2 = 1, ou |x y | < 5, etc. A nega ca o da primeira das senten cas anteriores seria existe um x e existe um y tal que n ao vale P [x, y ], ( (x)(y ) P [x, y ] ) e a nega ca o da segunda seria existe um x tal que para todo y n ao vale P [x, y ], ( (x)(y ) P [x, y ] ). Voc e est a convidado a fornecer a nega ca o para as outras duas senten cas anteriores. Uma senten ca da forma qualquer que seja x, se x A ent ao vale P [x], que em s mbolos matem aticos se escreve ( x ) x A P [ x ] , em geral e expressa na forma contra da qualquer que seja x A, vale P [x], que em s mbolos matem aticos se escreve ( x A ) P [ x ] . Da mesma forma, uma senten ca do tipo existe um x, x A e vale P [x], que em s mbolos matem aticos se escreve ( x ) x A e P [ x ] , em geral e expressa na forma contra da existe um x A para o qual vale P [x], que em s mbolos matem aticos se escreve ( x A ) P [ x ] . Sendo assim, a nega ca o de uma senten ca da forma qualquer que seja x A, vale P [x] e, simplesmente, dada por existe um x A para o qual n ao vale P [x] (lembre-se de que a nega ca o de se p, ent ao q , e p e n ao q ) . Em s mbolos matem aticos isso se expressa da forma (x A) P [x] (x A) P [x]. As mesmas observa co es se aplicam a senten cas iniciadas por v arios quanticadores aplicados a diversas vari aveis distintas, sendo uma para cada quanticador. Por exemplo, considere a senten ca matem atica para todo > 0,
CEDERJ 14

Preliminares: Conjuntos e Fun co es

MODULO 1 - AULA 1

existe um > 0, tal que para todo x R, se |x 1| < ent ao |x2 1| < , que em s mbolos se escreve ( > 0)( > 0)(x R)(|x 1| < |x2 1| < ). A prop osito, e s ao letras gregas chamadas delta e epsilon, respectivamente. A nega ca o desta senten ca seria existe um > 0 tal que, para todo > 0, existe um x R para o qual |x 1| < e |x2 1| . Em s mbolos ter amos ( > 0)( > 0)(x R)(|x 1| < e |x2 1| ). Como caria a nega ca o da senten ca matem atica qualquer que seja > 1 < ? 0, existe N0 N tal que, para todo n N, se n > N0 , ent ao n Voc e saberia escrever esta senten ca, assim como a sua nega ca o, em s mbolos matem aticos?

Sobre letras gregas


Por tradi ca o ou pelas necessidades da nota ca o, e habitual em cursos de matem atica mais avan cados, incluindo o de An alise Real, o uso de letras do alfabeto grego, al em das do alfabeto latino. Acima, introduzimos duas delas, (delta) e (epsilon) que reaparecer ao com muita freq u encia ao longo do curso. Outras letras gregas que tamb em poder ao aparecer s ao as seguintes: (alpha), l e-se alfa; (beta), l e-se beta; (gamma), l e-se gama; (Gamma), l e-se gama mai usculo; (Delta), l e-se delta mai usculo; (eta), l e-se eta; (phi, de imprensa), l e-se ; (phi, cursivo), l e-se ; (psi), l e-se psi; (kappa), l e-se capa;
15 CEDERJ

Preliminares: Conjuntos e Fun co es

ANALISE REAL (lambda), l e-se lambda; (mu), l e-se mu; (nu), l e-se nu; (omega), l e-se omega; (Omega), l e-se omega mai usculo; (pi), l e-se pi; (Pi), l e-se pi mai usculo; (rho), l e-se r o; (sigma), l e-se sigma; (Sigma), l e-se sigma mai usculo (utilizado como s mbolo para somat orio); (tau), l e-se tau; (xi), l e-se csi; (zeta), l e-se zeta.

Fun co es
Uma fun ca o f de um conjunto A num conjunto B , que denotamos f : A B, e uma regra de correspond encia que a cada x A associa um u nico elemento y B , que denotamos por f (x). Costuma-se representar pictoricamente uma fun ca o gen erica como na gura 1.1. Assim, uma fun ca o f : A B determina um subconjunto em A B , chamado o gr aco de f , que tamb em denotaremos por f , com a propriedade que, para todo x A, existe um u nico y B tal que (x, y ) f e denotamos y = f (x). Em particular, se (x, y ) f e (x, y ) f , ent ao y = y = f (x).

A express ao regra de correspond encia utilizada na deni ca o de fun ca o dada acima, embora bastante intuitiva, carece de uma formula ca o matem atica mais precisa.

A maneira de expressar essa no ca o intuitiva de um modo matematicamente rigoroso e fornecida pelo gr aco f A B . Assim, podemos denir, de modo matem atico preciso, uma fun ca o como sendo o seu gr aco.
CEDERJ 16

Preliminares: Conjuntos e Fun co es


A = D (f )

MODULO 1 - AULA 1
B

/ I (f ) f I (f )

Figura 1.1: Fun ca o f : A B . Mais claramente, temos a seguinte deni ca o. Deni c ao 1.1 Uma fun ca o f de um conjunto A num conjunto B e um subconjunto de A B com a propriedade que, para todo x A, existe um e somente um y B tal que (x, y ) f , e denotamos y = f (x). O dom nio da fun ca o f : A B , denotado por D(f ), e o conjunto A. Assim, D(f ) = A. O conjunto B e algumas vezes chamado contra-dom nio da fun ca o f . Chamamos imagem de f , e denotamos I (f ), o subconjunto de B constitu do pelos valores f (x), com x A. Assim temos, I (f ) = {y B : existe x A tal que y = f (x)}. Dado um subconjunto X A, denimos a imagem de X pela fun ca o f : A B , denotada por f (X ), por f (X ) = {y B : existe x X tal que y = f (x)}. Em particular, I (f ) = f (A) e, para todo X A, temos f (X ) B . O conjunto f (X ) tamb em e chamado imagem direta do conjunto X por f . Em geral, teremos I (f ) B , onde a nota ca o E F signica que E est a estritamente ou propriamente contido em F , ou seja, E est a contido em F mas existe pelo menos um elemento de F que n ao e membro de E . Dado um subconjunto Y B , denimos a pr e-imagem (ou imagem 1 inversa) de Y pela fun ca o f , denotada por f (Y ), por f 1 (Y ) = {x A : f (x) Y }.
17 CEDERJ

Preliminares: Conjuntos e Fun co es

ANALISE REAL Exemplo 1.2 A fun ca o f : R R denida por f (x) = x2 tem dom nio D(f ) imagem I (f ) = {x R : x 0}. Neste caso, temos A = R, B I (f ) B = R. A imagem do intervalo [2, 2] e o intervalo [0, 4]. f ([2, 2]) = [0, 4], como voc e mesmo pode vericar desenhando uma adequada do gr aco de f . = R e = R e Assim, por ca o

Exemplo 1.3 Sejam E, H subconjuntos de A e f uma fun ca o de A em B . Provemos a identidade f (E H ) = f (E ) f (H ). Com efeito, temos que y f (E H ) y = f (x) para algum x E H y = f (x) para algum x E ou y = f (x) para algum x H y f (E ) ou y f (H ) y f (E ) f (H ). Exemplo 1.4 Voc e seria capaz de demonstrar a validade da rela ca o f (E H ) f (E ) f (H ) ? Observe que para a fun ca o f : R R denida por f (x) = x2 , E = [2, 0], H = [1, 2], temos f (E ) f (H ) = [1, 4] e f (E H ) = f () = . Portanto, e poss vel acontecer que f (E H ) f (E ) f (H ). Exemplo 1.5 Dada uma fun ca o f : A B e conjuntos C, D B , pedimos a voc e que demonstre a validade das rela co es: 1. f 1 (C D) = f 1 (C ) f 1 (D), 2. f 1 (C D) = f 1 (C ) f 1 (D). Portanto, a opera ca o de tomada da pr e-imagem de subconjuntos do contradom nio se comporta bem tanto em rela ca o a ` uni ao quanto em rela ca o a ` interse ca o. Deni c ao 1.2 Dizemos que uma fun ca o f : A B e injetiva, ou que f e uma inje c ao, se, para quaisquer x1 , x2 A, com x1 = x2 , vale f (x1 ) = f (x2 ).

Dizemos que f e sobrejetiva, ou que f e uma sobreje c ao de A sobre B , se I (f ) = B , isto e, se para todo y B existe ao menos um x A tal que f (x) = y .
CEDERJ 18

Preliminares: Conjuntos e Fun co es

MODULO 1 - AULA 1

Se f : A B e ao mesmo tempo injetiva e sobrejetiva, dizemos que f e bijetiva ou que f e uma bije c ao de A sobre B . Assim, para provar que uma fun ca o f : A B e injetiva, devemos mostrar que a hip otese de que f (x1 ) = f (x2 ), com x1 , x2 A, leva a ` conclus ao que x1 = x2 . Exemplo 1.6 Seja f : R \ {2} R dada por f (x) = x/(x 2). Ent ao f e injetiva. Com efeito, se f (x1 ) = f (x2 ), com x1 , x2 R \{2}, ent ao x1 /(x1 2) = x2 /(x2 2), de onde segue, multiplicando-se ambos os membros por (x1 2)(x2 2), que x1 (x2 2) = x2 (x1 2). Da temos, x1 x2 2x1 = x2 x1 2x2 , ou seja, 2x1 = 2x2 , de onde se conclui que x1 = x2 . Deni c ao 1.3 (Composi c ao de fun co es) Dada uma fun ca o f : A B e uma fun ca o g : B C , denimos a fun c ao composta g f : A C pondo, para todo x A, g f (x) = g (f (x)). Observe que s o e poss vel denir a fun ca o composta g f quando I (f ) D(g )! Exemplo 1.7 Seja f : [0, ) R, dada por f (x) = x, e g : R R, dada por g (x) = x2 1. Ent ao podemos denir g f : [0, ) R que, para x [0, ), e 2 2 dada por g f (x) = g (f (x)) = (f (x)) 1 = ( x) 1 = x 1. Observe que, embora a express ao x 1 esteja bem denida para qualquer x R, o dom nio da fun ca o g f e o intervalo [0, ), j a que f n ao est a denida em (, 0). Exemplo 1.8 Se f e g s ao as fun co es denidas no exemplo anterior, ent ao n ao e poss vel denir a composta f g j a que I (g ) D(f ). No entanto, se h : [1, 1] R 2 e denida por h(x) = x 1 (observe que h e g s ao denidas pela mesma f ormula mas D(h) = D(g )), ent ao podemos denir f h : [1, 1] R que e dada por f h(x) = f (h(x)) = x2 1, que est a bem denido para x [1, 1]. No exemplo que acabamos de dar, vemos uma situa ca o em que e interessante considerar a restri ca o de uma determinada fun ca o (g , no referido exemplo) a um subconjunto do seu dom nio ([1, 1] e R, respectivamente, no exemplo mencionado). Em outras circunst ancias, torna-se interessante considerar a restri ca o de uma determinada fun ca o n ao injetiva a um intervalo onde a mesma e
19

CEDERJ

Preliminares: Conjuntos e Fun co es

ANALISE REAL injetiva, como no caso da fun ca o f : R R, com f (x) = cos(x), que restrita ao intervalo [0, ] se torna injetiva. Esses fatos motivam a deni ca o a seguir. Deni c ao 1.4 Dada a fun ca o f : A B e E A, denimos a restri ca o de f a E , denotada por f |E , como a fun ca o de E em B denida por f |E (x) = f (x), para todo x E. Quando f : A B e uma bije ca o, e poss vel denir uma fun ca o g : B A tal que g f (x) = x, para todo x A. A fun ca o g que satisfaz essa propriedade e chamada a fun ca o inversa de f e denotada por f 1 . Podemos denir a inversa de uma bije ca o f : A B de modo mais preciso recorrendo ao gr aco de f . Deni c ao 1.5 Seja f : A B uma bije ca o, isto e, para todo x A existe um u nico y B tal que (x, y ) y e para todo y B existe um u nico x A tal que (x, y ) f . Denimos a fun ca o inversa de f , que denotamos f 1 : B A, por Exemplo 1.9 A fun ca o f : R \{3} R \{2} dada por f (x) = 2x/(x 3) e bijetiva (prove!). 1 1 Sua inversa f : R \ {2} R \ {3} e dada por f (y ) = 3y/(y 2). Basta vericar que, para todo x R \ {3}, temos 3f (x)/(f (x) 2) = x. De fato, temos
x 3 x2 3f (x) 3 = 2x = f (x ) 2 2 x3 6x x3 2x2(x3) x3

f 1 := {(y, x) B A : (x, y ) f }.

6x x3 2x2x+6 x3

6x x 3 = x. x3 6

A f ormula f 1 (y ) = 3y/(y 2) e facilmente obtida escrevendo-se y = 2x/(x 3) e, a partir dessa equa ca o, determinando-se x como fun ca o de y . Assim, multiplicando-se ambos os lados da equa ca o y = 2x/(x 3) por (x 3), obtemos y (x 3) = 2x, ou seja, yx 3y = 2x, e da , somando-se 3y 2x a ambos os membros da u ltima equa ca o, segue que yx 2x = 3y , isto e, x(y 2) = 3y , donde se conclui que x = 3y/(y 2). O resultado seguinte fornece uma f ormula para a pr e-imagem de um conjunto pela fun ca o composta de duas fun co es. Teorema 1.1 Sejam f : A B e g : B C fun co es e seja H um subconjunto de C . Ent ao temos (g f )1 (H ) = f 1 (g 1 (H )).
CEDERJ 20

Preliminares: Conjuntos e Fun co es

MODULO 1 - AULA 1

Prova: A prova car a como um o timo exerc cio que voc e n ao deve deixar de fazer (veja, exerc cio 11 a seguir). Observe a troca na ordem das fun co es.

Exerc cios 1.2 1. Seja f (x) := 1/x2 , x = 0, x R. (a) Determine a imagem direta f (E ) onde E := {x R : 1 x 2}. (b) Determine a imagem inversa f 1 (G) onde G := {x R : 1 x 4}. 2. Seja g (x) := x2 e f (x) := x + 2 para x R, e seja h a fun ca o composta h := g f . (a) Encontre a imagem direta h(E ) de E := {x R : 0 x 1}. (b) Encontre a imagem inversa h1 (G) de G := {x R : 0 x 4}. 3. Seja f (x) = x2 para x R, e seja E := {x R : 1 x 0} e F := {x R : 0 x 1}. Encontre os conjuntos E \ F e f (E ) \ f (F ) e mostre que n ao e verdade que f (E \ F ) f (E ) \ f (F ). 4. Mostre que a fun ca o f denida por f (x) := x/ x2 + 1, x R, e uma bije ca o de R sobre {y : 1 < y < 1}. 5. Para a, b R com a < b, d e um exemplo expl cito de uma bije ca o de A := {x : a < x < b} sobre B := {y : 0 < y < 1}. 6. D e um exemplo de duas fun co es f, g de R sobre R tais que f = g e vale: (a) f g = g f ; (b) f g = g f . 7. (a) Mostre que se f : A B e injetiva e E A, ent ao f 1 (f (E )) = E . D e um exemplo para mostrar que a igualdade n ao precisa ser v alida se f n ao e injetiva. (b) Mostre que se f : A B e sobrejetiva e H B , ent ao f (f 1 (H )) = H . D e um exemplo para mostrar que a igualdade n ao precisa valer se f n ao e sobrejetiva. 8. Mostre que se f e uma bije ca o de A sobre B , ent ao f 1 e uma bije ca o de B sobre A.
21

CEDERJ

Preliminares: Conjuntos e Fun co es

ANALISE REAL 9. Prove que se f : A B e bijetiva e g : B C e bijetiva, ent ao a composta g f e uma bije ca o de A sobre C . 10. Sejam f : A B e g : B C fun co es. (a) Mostre que se g f e injetiva ent ao f e injetiva. (b) Mostre que se g f e sobrejetiva, ent ao g e sobrejetiva. 11. Prove o Teorema 1.1.

Prossiga: Nota sobre a Teoria dos Conjuntos


Um dos grandes feitos da Matem atica do nal do s eculo XIX e in cio do s eculo XX foi a fundamenta ca o l ogica rigorosa para a teoria dos conjuntos, isto e, a formula ca o de um sistema de axiomas a partir dos quais se tornou poss vel desenvolver, de modo aparentemente consistente, toda a teoria dos conjuntos. Uma das s erias diculdades encontradas na realiza ca o de tal obra residiu na pr opria deni ca o do que venha a ser um conjunto, a qual se mostrou necess aria. O fato e que, qualquer tentativa de se deixar completamente a cargo da intui ca o o conceito de conjunto ou de se dar a esta entidade uma deni ca o simples, pr oxima da intui ca o, esbarra invariavelmente no risco de dar origem imediata ao surgimento de paradoxos. Isto cou demonstrado claramente pelo l osofo e matem atico ingl es Bertrand Russel (18721970), em 1902, ao comentar a forma livre como o conceito havia sido deixado por outro grande l osofo-matem atico da epoca, o alem ao Gottlob Frege (1848-1925), numa obra importante sobre os fundamentos da aritm etica, publicada havia pouco tempo. Em resumo, a forma proposta por Frege admitia a possibilidade de se denir um conjunto R atrav es da proposi ca o: R e o conjunto de todos os conjuntos que n ao pertencem a si mesmo. Em nota ca o matem atica, essa deni ca o se escreveria R := {x : x / x}. O resultado de tal especica ca o para R e a conclus ao paradoxal de que R R se e somente se R / R.

Para evitar situa co es semelhantes, entre outras provid encias, grandes matem aticos da epoca, dentre os quais citamos, em especial, David Hilbert (1862-1943), conclu ram ser necess aria a distin ca o entre o que se pode chamar classe ou cole ca o, que em geral n ao se dene, deixando-se como uma no ca o
CEDERJ 22

Preliminares: Conjuntos e Fun co es

MODULO 1 - AULA 1

meramente intuitiva, e o conceito de conjunto, que passou a ser denido rigorosamente como qualquer classe que perten ca a uma outra classe. Assim, por deni ca o, a classe x e um conjunto se, e somente se, existe uma classe y tal que x y .

Al em disso, outra medida que se mostrou conveniente, nesse sentido, foi a introdu ca o de um axioma-esquema (isto e, um esquema de forma ca o de axiomas) que, grosso modo, estabelece que e sempre verdade uma arma ca o da forma y , y {x : P [x]} se e somente se y e um conjunto e P [y ].

Lembre-se de que o s mbolo signica para todo ou qualquer que seja. Aqui, P [y ] denota a f ormula obtida substituindo-se em P [x] toda ocorr encia da letra x pela letra y . Por exemplo, se P [x] e a f ormula x / x, ent ao P [R] e a express ao R / R. O fato nada o bvio no axioma acima e o aparecimento da senten ca y e um conjunto, cuja import ancia pode se constatar a partir da pr opria classe R, proposta por Russel, mencionada acima, como explicamos a seguir. De fato, esse axioma-esquema implica, em particular, que R R(= {x : x / x}) se e somente se R e um conjunto e R / R. Desta equival encia resulta simplesmente que R n ao e um conjunto, j a que, do contr ario, valeria R R R / R o que e imposs vel. Assim, conclui-se que a classe R n ao e um conjunto e o paradoxo de Russel deixa de existir. Apenas a t tulo de curiosidade, mencionamos que o fato de que R n ao e um conjunto tamb em decorre de um outro axioma da teoria dos conjuntos, chamado axioma da regularidade, cujo enunciado omitiremos por ser muito t ecnico, do qual decorre diretamente o fato de que, para toda classe x, vale que x / x, o qual e, na verdade, uma das principais raz oes para a introdu ca o de tal axioma. Essas e outras provid encias, nos fundamentos da teoria dos conjuntos, eliminaram paradoxos mais evidentes como o de Russel e, a bem da verdade, at e os dias de hoje, n ao se tem not cias de descoberta de paradoxos na teoria. Contudo, isto n ao signica que a possibilidade de que algum paradoxo venha a ser encontrado no futuro esteja denitivamente descartada . . . Um tal achado n ao seria nem um pouco bem-vindo j a que a teoria dos conjuntos serve de base para todas as demais teorias da Matem atica. A prop osito, gostar amos de mencionar brevemente aqui um fato absolutamente surpreendente provado pelo genial matem atico austr aco Kurt Goedel (1906-1978), num c elebre artigo publicado em 1931, quando tinha apenas 25 anos (!). Goedel provou que um sistema de axiomas qualquer, que
23

CEDERJ

Preliminares: Conjuntos e Fun co es

ANALISE REAL possibilite a constru ca o dos n umeros naturais com suas propriedades usuais, e que n ao admita contradi co es (isto e, n ao contenha proposi ca o que seja verdadeira juntamente com sua nega ca o), dar a sempre origem a proposi co es cujo valor-verdade n ao e poss vel de ser determinado. Isto e, haver a sempre alguma proposi ca o cuja validade ou falsidade n ao se pode provar com um n umero nito de passos, partindo dos axiomas do sistema. Esse resultado de Goedel foi, sem d uvida, um marco fundamental da Matem atica do s eculo XX.

CEDERJ

24

You might also like