NC Cap01

Cap tulo 1 Nooes Conjuntivistas Bsicas c a
Contedo u
1.1 Conjuntos, Relaes e Funes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . co co 1.1.1 Relaes e Funes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . co co 1.1.1.1 Produtos Cartesianos Gerais . . . . . . . . . . . . . . . . . . . . . . . . . . 1.1.1.2 Relaes de Compatibilidade e de Incompatibilidade (ou de Dependncia) . co e 1.1.1.3 Relaes de Equivalncia . . . . . . . . . . . . . . . . . . . . . . . . . . . . co e 1.1.1.4 Relaes de Ordem . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . co 1.1.2 Cardinalidade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1.1.3 Inmos e Supremos de Fam lias de Conjuntos . . . . . . . . . . . . . . . . . . . . Sistemas de Conjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1.2.1 Semi-Anis de Conjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . e 1.2.2 Anis de Conjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . e 1.2.3 Algebras de Conjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1.2.4 -Anis de Conjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . e 1.2.5 -Algebras de Conjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1.2.6 Sistemas Montonos de Conjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . o 1.2.7 Topologias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1.2.8 Filtros e Ultra-Filtros . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . APENDICES . . . . . . . . . . . . . . . . . . A Frmula de Inverso de Mbius . . . . . . . . . . . . . . . . . . . . . . . . . . . o a o . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28 29 34 36 36 41 47 52 54 55 55 57 58 59 60 63 64 67 67
1.2
1.A
ste cap tulo introdutrio pretende (re)apresentar ao leitor uma srie de nooes matemticas bsicas abrangendo o e c a a rudimentos da teoria (ingnua) dos conjuntos. O objetivo no um tratamento extensivo dos diversos assuntos. e a e Trata-se quase de um guia de consulta onde so apresentadas, junto com exemplos simples, vrias nooes e a a c denioes bsicas que utilizaremos. O estudante no deve necessariamente ler este cap c a a tulo de forma sistemtica a e seqencial, mas deve retornar a ele sempre que necessrio. u a
1.1
Conjuntos, Relaoes e Funoes c c
Partiremos do pressuposto de serem familiares as nooes bsicas envolvendo conjuntos, como a noao de conjunto vazio c a c , a noao de pertinncia x C, de unio de dois conjuntos A B e de intersecao de dois conjuntos A B. c e a c Para A, B X denotamos por A \ B a chamada diferena entre os conjuntos A e B, a saber c A \ B := x X tal que x A mas x B . (1.1)
Por vezes usa-se a notaao A B para A \ B. Para A X denota-se por Ac o chamado complemento de A em relao a c ca mbolo Ac deve estar subentendido qual o conjunto X ao qual o complemento X: Ac := X \ A. Note-se que ao usar-se o s a se refere. E fcil ver que se A, B X ento A \ B = B c A. Vale tambm (Ac )c = A e a e A B = A \ B c = B \ Ac para todos A, B X. Igualmente, tem-se e AB = A\ A\B 28 (1.4) A B = A \ Bc A (1.2) (1.3)
JCABarata. Curso de F sica-Matemtica a
Verso de 28 de maro de 2012. a c
Cap tulo 1
29/1979
Dizemos que um conjunto B um subconjunto prprio de A se B A e se A \ B = , ou seja, se todo elemento de B e o for elemento de A mas houver elementos em A que no pertencem a B. Se B um subconjunto prprio de A dizemos a e o que B est contido propriamente em A, ou que A contm B propriamente. Por vezes denota-se o fato de B ser um a e subconjunto prprio de A por B A ou por A B. o Se X um conjunto denota-se por (X) a coleao de todos os subconjuntos de X. (X) por vezes chamado de e c e conjunto das partes de X. Por convenao adota-se sempre que (X). Assim, dizer que A X equivale a dizer c A (X). Por AB denota-se a chamada diferena simtrica entre A e B: c e AB := (A B) \ (A B) . E. 1.1 Exerccio. Se A e B so conjuntos, mostre que a AB AB AB A\B = (A \ B) (B \ A) , = = A B \ AB AB A B = = A B \ (A \ B) (B \ A) , AB A B , (1.6) (1.7) (1.8) (1.9) (1.5) Se A e B so conjuntos e A B = ento A B dita ser uma unio disjunta de A e B. a a e a
tambm para todos A, B X. Verique! e
= A A B .
a E. 1.2 Exerccio. Se A e B so conjuntos, mostre que AB = BA (comutatividade) e que (AB)C = A(BC) (associatividade). Pares ordenados
Um conceito bsico importante em Matemtica o de par ordenado. O conceito de par ordenado (a, b) formado por a a e dois elementos genricos a, b X intuitivo. Pela intuiao, entende-se como par ordenado uma lista de dois elementos e e c sendo que um deles assume a posiao de primeiro elemento da lista (no caso, a) e o outro a de segundo (no caso, c b). Formalmente dene-se (a, b) como sendo o conjunto {a, {b}}. Esta deniao formal corresponde ` intuiao pois, no c a c conjunto C = {a, {b}}, h uma distinao entre o papel de a e de b, dado que a um elemento do conjunto C, enquanto a c e c que b um elemento de um elemento de C, a saber, do conjunto {b} C. Apesar de existir a deniao formal acima, e recomenda-se ao estudante ar-se inicialmente na intuiao por trs do conceito. c a Dados dois conjuntos A e B denimos por A B o conjunto de todos os pares ordenados (a, b) sendo a A e b B. O conjunto A B chamado de produto Cartesiano1 de A e B. Note que, em geral, A B = B A (por qu?). e e Mais adiante apresentaremos generalizaoes das nooes de acima. c c
1.1.1
Relaes e Funes co co
O conceito de relao de importncia fundamental na Matemtica e nesta seao descreveremos algumas relaoes de ca e a a c c maior importncia, como as funoes, as relaoes de equivalncia e as relaoes de ordem. a c c e c Relaoes c
Sejam A e B conjuntos e seja o produto Cartesiano A B. Um subconjunto de A B dito ser uma relao binria, e ca a ou simplesmente relao entre A e B. ca
1 Assim
chamado em honra a Ren Descartes (15961650). O adjetivo Cartesiano provem da latinizaao de seu nome como Cartesius. e c
Cap tulo 1
30/1979
Exemplo. Seja A o conjunto de homens vivos e B o conjunto de mulheres vivas e seja R A B o conjunto R := {(a, b), a irmo de b}. R representa uma relaao (de irmandade) entre homens e mulheres. e a c Outros exemplos viro abaixo. a Dada uma relaao G A B entre conjuntos A e B h duas nooes importantes associadas: a de domnio da relao c a c ca e a de imagem da relao. Dene-se por dom ca nio de G o conjunto Dom(G) := Dene-se por imagem de G o conjunto Im(G) := b B tal que (a, b) G para algum a A . (1.11) a A tal que (a, b) G para algum b B . (1.10)
Note-se que Dom(G) A e que Im(G) B. Este talvez o mais importante exemplo de relaao. Sejam A e B conjuntos e F uma relaao entre A e B. Ento, a e c c a relaao F dita ser uma funo de A em B se Dom(F ) = A e se (a, b) F e (a, b ) F s for poss caso b = b . Em c e ca o vel outras palavras, a cada elemento a de A a funao associa um e apenas um elemento b de B que faz o papel de segundo c elemento do par ordenado (a, b). Este segundo elemento associado pela funao F ao elemento a, mais conveniente c e denot-lo por F (a). Assim, uma funao o conjunto de pares {(a, F (a)) A B, a A}. Freq entemente denotamos a c e u uma funao F de A em B por F : A B. c Muito freqentemente usam-se as palavras aplicao, mapeamento, mapa, funcional, operador, operao, produto, u ca ca transformao, forma, e talvez ainda outras, para designar certos tipos de funoes entre conjuntos. Essa abundncia de ca c a palavras causa freqentemente confuso e mesmo perplexidade em estudantes recm-iniciados mas, em essncia, todos u a e e esses objetos so funoes, no sentido abstrato que denimos acima. a c O que difere seu uso por vezes a tradiao de certas reas e os tipos de conjuntos que as funoes tm como dom e c a c e nio e imagem. A palavra funao, propriamente, mais freqentemente empregada quando se trata de funoes numricas, por c e u c e exemplo de R em R ou de C em C. A palavra funcional2 freqentemente empregada quando se trata de funoes que e u c levam vetores ou funoes numricas em nmeros. Um exemplo de funcional a funao que leva funoes reais cont c e u e c c nuas 1 f nas suas integrais no intervalo [0, 1]: f 0 f (x)dx. A palavra operador tipicamente designa funoes lineares entre c espaos vetoriais (como, por exemplo, as matrizes, que so funoes lineares entre espaos vetoriais de dimenso nita). c a c c a Produtos ou operaoes freqentemente designam funoes de C C em C, para um conjunto C no-vazio qualquer, c u c a ou seja, funoes de duas variveis em um conjunto C, assumindo valores no prprio conjunto C. A palavra forma por c a o vezes designa certas funoes bi-lineares de V V em R ou C, sendo V um espao vetorial. As palavras aplicaao, c c c mapa e mapeamento so freqentemente empregadas para designar funoes em reas como Topologia, Geometria a u c a Diferencial ou Sistemas Dinmicos. a Certas palavras so empregadas para designar certas funoes com propriedades especiais. Um homeomorsmo, por a c exemplo, uma funao bijetora entre dois espaos topolgicos que seja cont e c c o nua e cuja inversa seja tambm cont e nua. Um difeomorsmo um homeomorsmo entre duas variedades diferenciveis que seja innitamente diferencivel. H e a a a ainda vrios outros morsmos, como discutido na Seao 2.1.10, ` pgina 104. a c a a Em verdade, conveniente dispormos por vezes de uma certa variedade de palavras diferentes simplesmente para e evitarmos o emprego montono e descolorido da palavra funao. Com um pouco de ironia, lembremos por m a o c deniao circular de Edward Teller: An intelectual is someone who thinks the same things and uses the same words as c other intelectuals. Funoes sobrejetoras, injetoras e bijetoras c Aplicaoes, mapeamentos, mapas, funcionais, operadores, operaoes, produtos etc. c c Funoes c
Uma funao F : A B dita ser uma funo sobrejetora se Im(F ) = B. Uma funao F : A B dita ser funo c e ca c e ca injetora ou uma funo injetiva se a cada b Im(F ) existir um e somente um elemento a Dom(F ) tal que (a, b) F . ca Uma funao que for sobrejetora e injetora dita ser uma funo bijetora, ou uma funo bijetiva. c e ca ca
2A
palavra funcional foi empregada pela primeira vez na Matemtica por Jacques Salomon Hadamard (18651963). a
Cap tulo 1
31/1979
Seja uma funao bijetora F A B. Ento, a relaao F 1 B A dada por c a c F 1 = (b, a) tal que (a, b) F
, em verdade, uma funao, denominada funo inversa de F . E claro que (F 1 )1 = F . e c ca Imagens e pr-imagens de funoes e c
Seja f : X Y uma funao. Se A X, denimos c f (A) := y Y | y = f (x) para algum x A . x X| f (x) B .
Se B Y , denimos
f 1 (B) :=
f (A) dita ser a imagem de A por f e f 1 (B) dita ser a pr-imagem de B por f . e e e O uso do s mbolo f 1 para designar pr-imagem f 1 (B) de um conjunto B uma escolha muito infeliz (mas e e universalmente aceita), pois pode causar confuso com a noao de funao inversa de f (que pode nem mesmo estar a c c denida). O estudante deve estar atento. Com as denioes acima fcil provar serem verdadeiras as seguintes armaoes: c e a c Para uma funao f : X Y geral, valem c f f 1 (B) para todos A X, B Y . Se f : X Y for sobrejetora, valem f f 1 (B) para todos A X, B Y . Se f : X Y for injetora, valem f f 1 (B) para todos A X, B Y . Se f : X Y for bijetora, valem f f 1 (B) para todos A X, B Y . E. 1.3 Exerccio. Demonstre as armaoes de acima. c Fam lias de conjuntos = B e f 1 f (A) = A (1.15) B e f 1 f (A) = A (1.14) = B e f 1 f (A) A (1.13) B e f 1 f (A) A (1.12)
Seja X um conjunto no-vazio. Uma coleao F no-vazia de subconjuntos de X por vezes dita ser uma famlia de a c a e conjuntos. Se F for uma fam de conjuntos e existirem um conjunto no-vazio I e uma funao bijetora f : I F, ento lia a c a dizemos que a fam F indexada por I e os elementos de I so denominados ndices. Se um lia e a e ndice, designaremos sua imagem pela funao f simplesmente por A F. c Uma indexaao de uma coleao F no-vazia de subconjuntos de X sempre existe: podemos tomar I = F e f a funao c c a c identidade.
Cap tulo 1
32/1979
Sejam X e I conjuntos arbitrrios no-vazios e seja associado a cada I um subconjunto A de X. O conjunto I a a ser freqentemente denominado conjunto ou fam de a u lia ndices. Vamos introduzir alguma notaao a ser usada em todas c estas Notas. Denimos (1.16) A := x X tal que x A para algum I
I
Operaoes bsicas com fam c a lias de conjuntos
e A :=
I
x X tal que x A para todo I
(1.17)
As denioes acima implicam as importantes propriedades descritas na proposiao que segue, cuja demonstraao c c c deixamos como exerc cio. Proposio 1.1 Sejam B X, X no-vazio, e {A X, I} uma coleo arbitrria de subconjuntos de X. Ento ca a ca a a valem as seguintes relaes: co B\ A
I
=
I
(B \ A ) ,
B\
A
I
=
I
(B \ A ) ,
(1.18)
A
I
\B =
(A \ B) ,
A
I
\B =
(A \ B) ,
(1.19)
A
I
=
I
(B A ) ,
A
I
=
I
(B A ) ,
(1.20)
B As relaes, (1.18) implicam co
A
I
=
I
(B A ) ,
A
I
=
I
(B A ) .
(1.21)
A
I
=
I
(A ) ,
I
=
I
(A )c .
(1.22)
Essas ultimas relaes so conhecidas como regras de De Morgan3 . co a
Uma noao que usaremos repetidas vezes a de partio de um conjunto. Seja X um conjunto no-vazio e seja c e ca a P = {P , } uma coleao de subconjuntos de X (que indexamos por um conjunto de c ndices ). Dizemos que P e uma partio de X se ca a) P P = sempre que = . b)
Partioes de conjuntos c
P = X.
E evidente que uma coleao P de subconjuntos de X uma partiao de X se e somente se cada x X pertence a um c e c e somente um conjunto P . Se P uma partiao de X dizemos, um tanto pictoriamente, que P particiona X. Cada e c elemento P dito ser uma componente da partio P de X. e ca Propriedades conjuntivistas elementares de funoes c
3 Augustus
As seguintes proposioes so importantes e freqentemente usadas: c a u

De Morgan (18061871).
Cap tulo 1
33/1979
Proposio 1.2 Seja f : X Y uma funo e seja um conjunto de ndices. Se A X para todo , ento ca ca a f
f (A ) ,
(1.23)
mas f
f (A ) .
(1.24)
Se B Y para todo , ento a f 1
f 1 (B ) ,
(1.25)
e f 1
f 1 (B ) .
(1.26)
A demonstraao elementar e deixada como exerc c e e cio. a e Em (1.24) no se pode provar a igualdade entre f a f (A ) f (A ) e a razo a seguinte: se y A e ento y f (A ) para todo . Assim, em cada A existe um x com y = f (x ). Mas pode ocorrer que em A a no exista nenhum elemento x com y = f (x). O seguinte exemplo ilustra isso. Seja f (x) = x2 denida em [1, 1]. a Tomemos A1 = [1, 0], A2 = [0, 1]. Ento, f (A1 ) = [0, 1] e f (A2 ) = [0, 1]. Portanto, f (A1 ) f (A2 ) = [0, 1]. Porm, a e f (A1 A2 ) = f ({0}) = {0}. Apesar disso, vale o seguinte: Proposio 1.3 Se f : X Y injetora ento, se A X para todo , vale ca e a f
f (A ) .
(1.27)
A demonstraao elementar e deixada como exerc c e e cio. Em relaao `s operaoes de complemento e diferena de conjuntos temos o seguinte: c a c c Proposio 1.4 Se f : X Y uma funo e B, C Y , ento ca e ca a f 1 (B c ) = f 1 (B)
c
f 1 (B \ C) = f 1 (B) \ f 1 (C) . f (A \ B) = f (A) \ f (B) .
Aqui, B c = Y \ B. Fora isso, se f : X Y uma funo injetora e sobrejetora e A, B X, ento e ca a f (Ac ) = (f (A)) Aqui, Ac = X \ A. A demonstraao elementar e deixada como exerc c e e cio. A unio disjunta de uma fam arbitrria de conjuntos a lia a
c
Sejam, como acima, um conjunto I, no-vazio, e Ai , i I, conjuntos indexados por elementos de I. Os conjuntos Ai a podem eventualmente possuir elementos comuns, ou seja, pode haver elementos x que comparecem em vrios conjuntos a Ai . Porm, quando formamos a unio usual dos conjuntos Ai , ou seja, iI Ai , cada elemento x comparece apenas uma e a vez, mesmo que pertena a vrios Ai s. Por vezes estamos interessados em formar um outro tipo de unio de conjuntos c a a onde essa poss multiplicidade de cada elemento x possa ser levada em conta. A deniao abaixo , para tal, das mais vel c e adequadas.
Cap tulo 1
34/1979
Denimos a unio disjunta da fam de conjuntos Ai como sendo o conjunto, denotado por a lia
iI
Ai , dado pela unio a
de todos os pares ordenados (a, i) com i I, a Ai , ou seja, Ai :=

iI iI aAi
(a, i) .
Unies disjuntas desempenham um papel em vrias reas da Matemtica. Na Geometria Diferencial, por exemplo, o a a a o chamado brado tangente de uma variedade diferencivel denido como a unio disjunta dos espaos tangentes ` a e a c a variedade. Alertamos o estudante que a expresso unio disjunta tambm empregada em textos matemticos no sentido de a a e e a unio de conjuntos disjuntos dois a dois. Vide pgina 29. a a Extenses de funoes o c
Seja F : A B uma funao e suponha que A seja subconjunto de um outro conjunto A . Uma funao G : A B c c dita ser uma extenso de F se F e G coincidirem na parte comum de seus dom e a nios, que vem a ser o conjunto A, ou seja, se G(a) = F (a) para todo a A.
Se lembrarmos que uma funao F : A B um subconjunto de A B e que uma funao G : A B um c e c e subconjunto de A B e se notarmos que A B A B caso A A , ento uma deniao alternativa de extenso seria a c a seguinte: uma funao G uma extenso de uma funao F se F G, ambas entendidas como subconjuntos de A B. c e a c E. 1.4 Exerccio. Verique a equivalncia dessas duas denioes do conceito de extenso de funoes. e c a c Se G uma extenso de F dizemos tambm que F estendida por G. e a e e O conceito de extenso de funoes freqentemente empregado na teoria das funoes de variveis complexas e na a c e u c a teoria dos operadores lineares em espaos de Hilbert. c Restrioes de funoes c c
c Seja F : A B uma funao e considere A0 A. Denotamos por F A0 a restriao de F a A0 : F A0 := {(a, F (a)), a c A0 } A0 B. E evidente que F uma extenso de F A0 . e a O graco de uma funo ca Uma maneira de refrasear os comentarios de acima emprega a noo de grco de uma funo. Denimos o grco ca a ca a de uma funao F : A B, denotado por (F ), como sendo o subconjunto de A B denido por c (F ) := a, F (a) , a A . Se A1 e A2 so dois subconjuntos de algum conjunto X (por exemplo, de X = A1 A2 ) e F1 : A1 B e F2 : A2 B a so duas funoes, ento F2 uma extenso de F1 se e somente se (F1 ) (F2 ) como subconjuntos de X B. a c a e a ca E. 1.5 Exerccio. Demonstre a validade dessa armao.
1.1.1.1
Produtos Cartesianos Gerais
Vamos agora generalizar a noao de produto Cartesiano e, para tal, precisamos primeiramente de um axioma da teoria c dos conjuntos que nos arme que o objeto que procuramos de fato existe. O Axioma da Escolha
Toda a Matemtica assentada sobre uma srie de postulados a respeito da noao de conjunto. Esses postulados, a e e c que so tambm freqentemente denominados axiomas, so armaoes tacitamente aceitas como verdadeiras a partir das a e u a c quais outras armaoes podem ser deduzidas. H diversos de tais axiomas na Teoria dos Conjuntos (vide, e.g., [206], [81] c a ou [153]) e, por simplicidade, evitamos de list-los e discut a -los neste texto. Faremos, no entanto, uma exceao no caso c do chamado Axioma da Escolha. O Axioma da Escolha consiste na seguinte armativa:
Cap tulo 1
35/1979
Seja As , s I, uma famlia de conjuntos no-vazios, onde I um conjunto arbitrrio (no-vazio) de ndices. Ento, a e a a a podemos construir um conjunto A tomando (escolhendo) um elemento as de cada conjunto As . Em termos mais tcnicos, o axioma diz que h funes F : I e a co As tais que F (s) As para todo s I.
sI
Como discutiremos, o Axioma da Escolha arma que o produto Cartesiano
A primeira vista esse axioma parece constituir-se de uma obviedade. Sucede, porm, que, sobretudo pelo fato de o e conjunto I de ndices ser arbitrrio (podendo ser at um conjunto innito e no-contvel), a armativa que o mesmo a e a a contm no pode ser derivada de princ e a pios mais bsicos. O axioma faz uma armaao de existncia (de uma funao a c e c como a F , ou de um conjunto como A formado por elementos escolhidos de cada As ) que, geralmente, no pode ser a demonstrada construtivamente, ou seja, por exibiao expl c cita de uma tal funao F ou de um conjunto A. c Faremos uso expl cito do Axioma da Escolha adiante quando exibirmos exemplos de conjuntos no-mensurveis. O a a Axioma da Escolha foi originalmente formulado por Zermelo4 em 1904 como parte da sua demonstraao do chamado c Princpo do Bom-Ordenamento, Teorema 1.1, pgina 45. Vide [81]. a Uma t pica situaao na qual se faz uso do Axioma da Escolha ocorre quando so dados um conjunto X e uma relaao c a c de equivalncia E em X e constri-se um conjunto A X tomando-se um representante de cada classe de equivalncia e o e de X por E. Nem sempre poss exibir explicitamente os elementos de A, mas assumimos (via Axioma da Escolha) que um tal e vel conjunto existe. Para ter-se em mente um caso onde uma tal situaao ocorre, tome-se o exemplo dado em (1.28), pgina c a 37 e construa-se um conjunto tomando um elemento de cada classe de equivalncia l descrita. Tal conjunto desempenha e a um papel na teoria da medida. Vide Cap tulo 26, pgina 1249, em particular a Seao 26.1. a c O produto Cartesiano de uma fam arbitrria de conjuntos lia a
A
sI
no-vazio. e a
J discutimos o conceito de produto Cartesiano de dois conjuntos A e B: A B e com ele introduzimos a noao a c de funao. De posse dessa noao podemos, com vistas a uma generalizaao, apresentar uma outra viso do conceito de c c c a produto Cartesiano de dois conjuntos, a saber, podemos dizer que A B o conjunto de todas as funoes f : {1, 2} e c A B tais que f (1) A e f (2) B. A idia dizer que cada par ordenado (a, b) com a A e b B uma funao onde o e e e c primeiro membro do par a imagem de 1 (por ser o primeiro) e o segundo a imagem de 2 (por ser o segundo). Essa idia e e permite denir produtos Cartesianos de um nmero nito n de conjuntos A1 , A2 , . . . , An denotado por A1 A2 . . .An u
n
como sendo o conjunto de todas as funoes f : {1, 2, . . . , n} c
j=1
Aj satisfazendo f (j) Aj para todo j {1, . . . , n}.

n
A funao f tem, por assim dizer, o papel de ordenar os elementos de c

j=1
Aj tomando-se sucessivamente um elemento de
cada Ai por vez. O produto Cartesiano A1 A2 . . . An assim entendido como o conjunto formado por todas as e nuplas ordenadas (a1 , . . . , an ) com ai Ai . e Essa idia pode ser generalizada ainda mais. Sejam I um conjunto no-vazio (no necessariamente nito ou enue a a mervel) e Ai , i I, conjuntos no-vazios indexados por elementos de I. Denimos ento o produto Cartesiano da a a a c Aj fam de conjuntos {Ai , i I}, denotado por iI Ai , como sendo o conjunto de todas as funoes f : I lia
jI
tais que f (x) Ax para todo x I. O Axioma da Escolha (pgina 34) consiste na armaao (ou melhor dizendo, na a c suposiao, j que se trata de um axioma) que c a Ai no-vazio. Em s e a mbolos
A
iI I
:=
iI
f :I
jI
Aj f (x) Ax para todo x I
Se por ventura todos os conjuntos Ai forem idnticos ento denota-se o produto Cartesiano acima por AI . Assim, e a A denota o conjunto de todas as funoes de I em A. c Desta forma N N e N{1, 2} so duas notaoes distintas para o mesmo objeto, que tambm denotado simplesmente a c e e por N2 , como se sabe. Genericamente Nd designa N{1,...,d} para d N, d > 0.
4 Ernst
Friedrich Ferdinand Zermelo (18711953).
Cap tulo 1
36/1979
Ainda sobre a notaao, o produto Cartesiano c
A
iI
ser denotado por a
(a ). Assim, se I = {1, . . . , n} teremos

i iI
A
iI
tambm denotado por e e

iI
Ai . Um elemento de
iI
Ai ou
Ai =
iI
A
iI
= A1 An
(a ) =
i iI
a1 , . . . , an .
Dados trs conjuntos A1 , A2 e A3 podemos, empregando as denioes acima, denir os produtos Cartesianos A1 e c pio a e a a A1 A2 A3 , A2 A1 A2 A3 e A3 A1 A2 A3 . Em princ A1 , A2 e A3 so trs so objetos matemticos distintos. Existem, no entanto, mapeamentos cannicos bijetivos entre eles (encontre-os!) e, por essa razo, a distinao o a c entre A1 , A2 e A3 freqentemente ignorada. Dessa forma, com um certo abuso de linguagem, produto Cartesiano e u e por vezes tomado como sendo associativo, ainda que, estritamente falando, no o seja. a
Comentrio sobre a associatividade do produto Cartesiano a
1.1.1.2
Relaes de Compatibilidade e de Incompatibilidade (ou de Dependncia) co e
Seja P um conjunto no-vazio. Uma relaao C P P que satisfaa a c c 1. Reexividade: Para todo P vale (, ) C. 2. Simetria: Se e so tais que (, ) C, ento ( , ) C, a a dita ser uma relao de compatibilidade ou tambm uma relao de incompatibilidade5 . Em certas reas, notadamente e ca e ca a ne Cincia da Computaao, uma tal relaao tambm denominada relao de dependncia. e c c e e ca e Para uma dada relaao de compatibilidade C denotamos C caso (, ) C e dizemos que e so Cc a compatveis. Se uma dada relaao C subentendida, denotamos simplesmente caso (, ) C e dizemos c e simplesmente que e so compatveis. a Relaoes de incompatibilidade so importantes na Mecnica Estat c a a stica, especialmente nas chamadas expanses de o pol meros e de clusters. Quando se fala em relaoes de incompatibilidade, costume indicar por C o fato de e serem incompat c e veis.
Exemplo 1.1 Seja X um conjunto no-vazio e P = (X) \ {}, a coleao de todos os subconjuntos no-vazios de X. a c a Uma relaao de incompatibilidade em P denida por I = {(A, B) P P, A B = }. Conseq entemente, c e u A I B A B = . Verique!
1.1.1.3
Relaes de Equivalncia co e
Um tipo muito importante de relaao formado pelas chamadas relaoes de equivalncia. Relaoes de equivalncia c e c e c e ocorrem em um sem-nmero de construoes matemticas importantes, como veremos em vrios exemplos deste texto. A u c a a noao de relaao de equivalncia muito antiga na Matemtica, sendo at mesmo encontrada (no sob esse nome) nos c c e e a e a Elementos de Euclides6 . Algumas construoes que apresentaremos, como a de conjuntos quociente e a de colagem de conjuntos, so muito c a empregadas na Teoria de Grupos, na Topologia Algbrica e na Geometria Diferencial. e
5 Na linguagem comum, as palavras compatibilidade e incompatibilidade so antnimos, mas enquanto relaoes, so caracterizadas pelas a o c a mesmas propriedades e usar uma ou outra depende apenas do sentido positivo ou negativo que se deseja imprimir ` relaao. Ilustremos isso com a c um exemplo. Se duas pessoas possuem uma aspiraao comum, podemos tanto dizer que essas pessoas so compat c a veis quanto incompat veis. Diremos que so compat a veis se a aspiraao comum puder ser satisfeita de modo no conituoso (por exemplo, se for a aspiraao pela vitria c a c o de um mesmo time de futebol), mas diremos que so incompat a veis se a aspiraao comum s puder ser satisfeita de modo conituoso (por c o exemplo, se for a aspiraao por uma vaga de emprego unica em uma empresa). c 6 Euclides de Alexandria (ci. 325 A.C, ci. 265 A.C.).
Cap tulo 1
37/1979
Uma relaao E A A dita ser uma relao de equivalncia parcial em um conjunto no-vazio A se os seguintes c e ca e a quesitos forem satisfeitos: 1. Simetria: (a, b) E implica (b, a) E. 2. Transitividade: se (a, b) E e (b, c) E, ento (a, c) E. a Muito mais importante a noao de relao de equivalncia. e c ca e Relaoes de equivalncia c e
Relaoes de equivalncia parciais c e
Uma relaao E A A dita ser uma relao de equivalncia em um conjunto no-vazio A se os seguintes quesitos c e ca e a forem satisfeitos: 1. Reexividade: (a, a) E para todo a A. 2. Simetria: (a, b) E implica (b, a) E. 3. Transitividade: se (a, b) E e (b, c) E, ento (a, c) E. a
Note-se que, pela propriedade de reexividade, valem para uma relaao de equivalncia E A A que Dom(E) = A e c e que Im(E) = A. Se o par (a, b) pertence a uma relaao de equivalncia E ento a e b so ditos serem equivalentes segundo E. Quase c e a a E sempre usa-se a notaao a b, ou a E b para indicar que dois elementos so equivalentes segundo uma relaao de c a c equivalncia E dada. Quanto subentendido qual a relaao de equivalncia em questo escrevemos simplestemente a b. e e c e a Com essa ultima notaao, as propriedades denidoras de uma relaao de equivalncia dadas acima podem ser reescritas c c e da seguinte forma: 1. Reexividade: a a para todo a A. 2. Simetria: a b implica b a. 3. Transitividade: se a b e b c, ento a c. a Muitos exemplos de relaoes de simetria sero encontrados nestas notas. Contentemo-nos por ora com umn exemplo c a elementar: u ca E. 1.6 Exerccio. Seja o conjunto dos nmeros reais R e seja a relao W R R denida por W := (x, y) R R tal que x y Q , (1.28)
onde Q o conjunto dos nmeros racionais. Prove que W uma relao de equivalncia. e u e ca e Seja E AA (com A no-vazio) uma relaao de equivalncia parcial. Armamos que E uma relaao de equivalncia a c e e c e se e somente se Dom(E) = A. Se E uma relaao de equivalncia, ento Dom(E) = A (como j comentamos) e E uma e c e a a relaao de equivalncia parcial (evidentemente). Suponhamos agora que E seja uma relaao de equivalncia parcial e que c e c e Dom(E) = A. Seja x A, arbitrrio. Ento, como Dom(E) = A, existe algum y A tal que (x, y) E. Pela simetria, a a tem-se tambm (y, x) E. Pela transitividade, (x, y) E e (y, x) E implicam (x, x) E, provando a propriedade e de reexividade e provando que E uma relaao de equivalncia. e c e O exerc que segue mostra um exemplo de relaao de equivalncia parcial que no uma relaao de equivalncia. cio c e a e c e E. 1.7 Exerccio. Seja A = {, , } um conjunto composto por trs elementos distintos. Seja a relao E = e ca {(, ), (, ), (, ), (, )}. Constate que E uma relao de equivalncia parcial (valem a simetria e a reexividade), e ca e ca e a ca a mas que E no uma relao de equivalncia, pois no vale a relao de reexividade, j que (, ) E. Note que a e Dom(E) = {, } = A.
Cap tulo 1
38/1979
Classes de equivalncia e
Seja A um conjunto e E A A uma relaao de equivalncia em A. Para cada a A podemos denir o conjunto c e E(a) := {a A tal que (a, a ) E} . (1.29)
Esse conjunto chamado de classe de equivalncia de a (pela relaao de equivalncia E). Na literatura, encontra-se e e c e tambm freqentemente a notaao [a] para denotar a classe de equivalncia do elemento a. e u c e E. 1.8 Exerccio. Seja A um conjunto e E A A uma relao de equivalncia em A. Suponha que a, b A e que e ca e a b segundo E. Prove que E(a) = E(b). E. 1.9 Exerccio importante. Prove que se A um conjunto e E A A uma relao de equivalncia em A, ento A e e ca e a e a unio disjunta de classes de equivalncia de seus elementos. a e As relaoes de equivalncia minimal e maximal c e
Se X um conjunto no-vazio h sempre ao menos duas relaoes de equivalncia em X, a saber, a relao de e a a c e ca ca e equivalncia minimal Emin := (x, x), x X e a relao de equivalncia maximal Emax := (x, y), x, y X = X X. e E evidente que toda relaao em X est contida em Emax . c a
a c e c e E. 1.10 Exerccio. Constate que Emin e Emax so, de fato, relaoes de equivalncia e justique as armaoes que Emin a menor relao de equivalncia poss em X e que Emax a maior relao de equivalncia poss em X. ca e vel e ca e vel Intersecoes de relaoes de equivalncia so relaoes de equivalncia c c e a c e
Seja X um conjunto no-vazio e seja {E X X, } uma coleao de relaoes de equivalncia em X (aqui, a c c e e e e c e um conjunto no-vazio arbitrrio de a a ndices). Armamos que E X X tambm uma relaao de equivalncia em X. De fato, para todo a X tem-se (a, a) E para cada . Logo (a, a) E (reexividade de E , tem-se que (a, b) E para todo . Logo, (b, a) E para E ). Analogamente, se (a, b) todo , provando que (b, a) E (simetria de E ). Por m, se (a, b) E e (b, c) E , valem para todo que (a, b) E e (b, c) E , implicando que (a, c) E para todo , ou seja, que e c e (a, c) E (transitividade de E ). Isso estabeleceu que E uma relaao de equivalncia em X. Trata-se da menor relaao de equivalncia que contm todas as relaoes de equivalncia E . c e e c e E evidente pelas linhas de acima que tambm vale a seguinte armao: se {E X X, } uma coleao de e ca e c relaoes de equivalncia parciais em X, ento E uma relaao de equivalncia parcial em X. c e a e c e Relao de equivalncia gerada ca e
Se X um conjunto no-vazio e seja R X X uma relaao no-vazia qualquer em R. Denotamos por ER e a e c a a menor relaao de equivalncia que contm R, ou seja, ER a intersecao de todas as relaoes de equivalncia que c e e e c c e contm a relaao R. Note-se que R est sempre contida em ao menos uma relaao de equivalncia, a saber, na relaao e c a c e c de equivalncia maximal Emax , denida acima. A relaao de equivalncia ER dita ser a relao de equivalncia gerada e c e e ca e pela relao R. ca E. 1.11 Exerccio. Seja X no-vazio e sejam x e y dois elementos distintos de X. Seja R = (x, y) uma relao em X. a ca Mostre que a relao de equivalncia gerada por essa relao ER = (x, y) (y, x) (z, z), z X . ca e ca e E. 1.12 Exerccio. Seja X no-vazio e sejam x, y e z trs elementos distintos de X. Determine a relao de equivalncia a e ca e gerada pela relao (x, y), (y, z) . Faa o mesmo para o caso de n pontos distintos x1 , . . . , xn de X. ca c Conjunto quociente e funo quociente ca
Se A um conjunto no-vazio e uma relaao de equivalncia em A, denotamos por A/ a coleao das classes e a e c e c de equivalncia de A por . A coleao A/ por vezes dita ser o quociente de A pela relao de equivalncia . O e c e ca e Exerc E. 1.9 informa-nos que A/ uma partiao de A (segundo a deniao de partio encontrada ` pgina 32). cio e c c ca a a
Cap tulo 1
39/1979
Se A um conjunto no-vazio e uma relaao de equivalncia em A, a funao : A A/ denida por (a) = [a] e a e c e c denominada aplicao quociente, ou funo quociente. A aplicaao quociente , evidentemente, sobrejetora. e ca ca c e Relaoes de equivalncia induzidas por partioes c e c
Seja X um conjunto no-vazio. Uma coleao P de subconjuntos no-vazios disjuntos de X cuja unio seja X dita a c a a e ser uma partio de X (vide pgina 32). Se P uma partiao de X podemos denir uma relaao de equivalncia em X, ca a e c c e que denotamos por P , dizendo, para x, y X, que x P y se e somente se existir A P tal que x A e y A. Essa relaao de equivalncia dita ser a relao de equivalncia induzida pela partio P. c e e ca e ca
E. 1.13 Exerccio. Prove que isso, de fato, dene uma relao de equivalncia em X. Prove que as classes de equivalncia ca e e por essa relao so precisamente os elementos de P. ca a E. 1.14 Exerccio. Justique por que verdadeira a armao que uma relao de equivalncia em X univocamente e ca ca e e determinada pelas suas classes de equivalncia e a armao que toda relao de equivalncia X induzida por alguma partio e ca ca e e ca de X. Relaoes de equivalncia induzidas por funoes c e c
Sejam X e Y conjuntos no-vazios e seja f : X Y uma funao de X assumindo valores em Y . A funao f dene a c c uma relaao de equivalncia em X, denotada por f e denominada relao de equivalncia induzida por f , da seguinte c e ca e forma: se x, y X dizemos que x f y se e somente se f (x) = f (y). E. 1.15 Exerccio. Prove que isso, de fato, dene uma relao de equivalncia em X. ca e
E. 1.16 Exerccio elementar. Seja A um conjunto no-vazio e seja uma relao de equivalncia em A. Mostre que a ca e A/ = A/ , onde a funo quociente associada a . Justique por que correto armar que toda relao de equivalncia e ca e ca e induzida por alguma funo e que toda funo uma funo quociente de alguma relao de equivalncia. e ca ca e ca ca e Obtendo relaoes de equivalncia a partir de relaoes de equivalncia parciais c e c e
Veriquemos que se trata, de fato, de uma relaao de equivalncia em X. Como Dom(P ) = X, existe para todo x X c e um elemento w X com (x, w) P . Pela simetria de P , tem-se (x, w) P e (w, x) P , estabelecendo que x p x para todo x X (reexividade de P ). Se x P y, ento existe w X tal que (x, w) P e (w, y) P . Pela simetria a de P , vale tambm que (y, w) P e (w, x) P , provando que y P x (simetria de P ). Por m, sejam x, y, z X e tais que x P y e y P z. Ento, existem w, w X tais que (x, w) P e (w, y) P e que (y, w ) P e (w , z ) P . a Observe-se, porm, que pela transitividade de P segue que se (w, y) P e (y, w ) P , ento (w, w ) P . Novamente e a evocando a transitividade de P , segue disso e de (x, w) P que (x, w ) P . Assim, conclu mos que (x, w ) P e (w , z ) P , o que signica que x P z (transitividade de P ). A relaao P e dita ser a relao de equivalncia induzida pela relao de equivalncia parcial P . c e ca e ca e E. 1.17 Exerccio. A relao P a menor relao de equivalncia que contm a relao de equivalncia parcial P , ou ca e ca e e ca e seja, a relao de equivalncia gerada pela relao de equivalncia parcial P . Justique essa armao! e ca e ca e ca Obtendo relaoes de equivalncia a partir de relaoes simtricas c e c e
Seja X um conjunto no-vazio e seja P uma relaao de equivalncia parcial em X. Podemos associar a P uma relaao a c e c de equivalncia P da seguinte forma: declaramos que x P y se e somente se existir w X tal que (x, w) P e e (w, y) P .
A construao de uma relaao de equivalncia a partir de uma relaao de equivalncia parcial, que apresentamos acima, c c e c e pode ser estendida a relaoes simtricas. Se X um conjunto no-vazio, uma relaao S X X dita ser uma relao c e e a c e ca simtrica se (a, b) S implica (b, a) S. e Seja X um conjunto no-vazio e seja S uma relaao simtrica em X com Dom(S) = X. Podemos associar a S a c e
Cap tulo 1
40/1979
Veriquemos que se trata, de fato, de uma relaao de equivalncia em X. Como Dom(S) = X, existe para todo c e x X um elemento y X com (x, y) S. Logo, o conjunto {x x1 , y x2 , x x3 } satisfaz (xk , xk+1 ) S para todo k = 1, . . . , n 1. Isso prova que x S x para todo x X (reexividade de S ). Se x S y, ento existe a x x1 , x2 , . . . , xn1 , xn y X, n 2, tal que (xk , xk+1 ) S para todo k = 1, . . . , n 1. Se considerarmos o conjunto {y1 , . . . , yn } onde yk = xnk+1 , evidente que y1 = y, yn = x e (yk , yk+1 ) S k = 1, . . . , n 1, e provando que y S x (simetria de S ). Por m, sejam x, y, z X tais que x S y e y S z. Ento, existem a conjuntos nitos x x1 , x2 , . . . , xn1 , xn y X e y xn , xn+1 , . . . , xn+m1 , xn+m z X tais que (xk , xk+1 ) S para todo k = 1, . . . , n 1 e para todo k = n, . . . , n + m 1. Naturalmente, o conjunto x x1 , xn+1 , . . . , xn+m2 , xn+m z X satisfaz (xk , xk+1 ) S para todo k = 1, . . . , n + m 1, estabelecendo que x S z (transitividade de S ). A relaao S e dita ser a relao de equivalncia induzida pela relao simtrica S. c e ca e ca e E. 1.18 Exerccio. A relao S a menor relao de equivalncia que contm a relao simtrica S, ou seja, a relao ca e ca e e ca e e ca de equivalncia gerada pela relao simtrica S. Justique essa armao! e ca e ca E. 1.19 Exerccio. Seja S n Rn+1 , n 1, denido por S n = (x1 , . . . , xn+1 ) Rn+1 | x2 + + x2 = 1 (a esfera 1 n+1 unitria em Rn+1 ). Dena-se em S n a seguinte relao: S = {(x, x), x S n }, ou seja, para x, y S n temos (x, y) S a ca se e somente se y = x. Constate que S uma relao simtrica e com Dom(S) = S n . Constate que S no reexiva e e ca e a e constate tambm que S no uma relao de equivalncia parcial, pois no transitiva! Mostre que S n / S , o conjunto e a e ca e a e quociente de S n pela relao de equivalncia induzida por S, dada por S n / S = {x, x, x S n }, ou seja, [x] = {x, x} ca e e para todo x S n . S n / S denominado espao real projetivo, e tambm denotado por RPn . e c e e Colagem de dois conjuntos por uma funo ca
uma relaao de equivalncia S da seguinte forma: declaramos que x S y se e somente se existir um conjunto nito c e x x1 , x2 , . . . , xn1 , xn y X, para algum n 2, tal que (xk , xk+1 ) S para todo k = 1, . . . , n 1.
Algumas das nooes que acima apresentamos conduzem a uma construao muito empregada na Topologia Algbrica c c e e na Geometria Diferencial, a saber, a chamada colagem de conjuntos por uma funo. Neste ponto no trataremos de ca a aspctos topolgicos, deixando essas questes para alhures. e o o Sejam X e Y dois conjuntos no-vazios e disjuntos7 e seja A X (A tambm suposto no-vazio). Seja f : A Y a e a uma funao e considere-se a unio disjunta X Y . Com o uso de f podemos denir uma relaao Rf em X Y da c a c evidente que Rf (X Y ) (X Y ) e, portanto, Rf uma relaao em e c seguinte forma: Rf := (a, f (a)), a A . E a X Y . Denotemos por Ef a relaao de equivalncia em X Y gerada por Rf . E fcil ver que c e Ef = E. 1.20 Exerccio. Verique! Denimos a colagem de X com Y atravs da funo f , denotada por X f Y ou por X f Y , como sendo o espao e ca c quociente de X Y pela relaao de equivalncia Ef : X f Y := X Y /Ef . c e (a, f (a)), a A (b, b), b X \ A (c, c), c Y \ f (A) .
A idia intuitiva que X f Y obtida juntando-se X e Y mas identicando-se os pontos a e f (a) para todo a A. e e e Se imaginarmos X e Y como superf cies, como se colssemos X a Y nos conjuntos A X e f (A) Y de forma que e a cada ponto a A colado ao ponto f (a). Note-se que se a e a so pontos de A tais que f (a) = f (a ), ento por esse e a a processo de colagem a e a acabam colados um com o outro e com o ponto f (a). Exemplo 1.2 Sejam X = [0, 2], Y = R, A = {0, 2} X e seja f : A R denida por f (0) = 0 e f (2) = 0 (sendo, portanto f (A) = {0} R). A Figura 1.1, pgina 41, ilustra a construao da colagem X f Y nesse caso: X a c e transformado em um c rculo com os pontos 0 e 2 identicados entre si e esse c rculo colado nesse ponto ` reta real no e a ponto 0 R.
7 Se X e Y no forem disjuntos a construao que segue deve ser feita substituindo-se a unio X Y pela unio disjunta X Y . Para a a c a a deniao de unio disjunta, vide pgina 33. c a a
Cap tulo 1
41/1979
A
f
XU Y
f
Figura 1.1: Ilustraao grca da colagem de X = [0, 2] com Y = R, para A = {0, 2} X, atravs da funao c a e c f : A Y dada por f (0) = f (2) = 0, produzindo X f Y . A separaao de X e Y no lado esquerdo indica que estamos c considerando uma unio disjunta de ambos pois, estritamente falando, ambos no so disjuntos: X Y . a a a
1.1.1.4
Relaes de Ordem co
Tambm muito importantes so as chamadas relaoes de ordem, as quais existem em diversas formas. e a c Pr-ordenamento e
Seja X um conjunto no-vazio. Uma relaao R X X dita ser uma relao de pr-ordenamento em X, ou uma a c e ca e relao de quase-ordem em X, ou simplesmente uma pr-ordem em X, se as seguintes condioes forem satisfeitas: ca e c 1. Reexividade: para todo a X tem-se que (a, a) R. 2. Transitividade: se (a, b) R e (b, c) R ento (a, c) R. a
Se X possui uma pr-ordem R, X dito ser um conjunto pr-ordenado, ou um conjunto quase-ordenado, por R. e e e costume, dada uma relaao de pr-ordenamento R qualquer, indicar que (a, b) R atravs da notaao a R b, ou, E c e e c de forma mais simplicada, atravs da notaao a b. Usando o s e c mbolo as condioes denidoras de uma relaao de c c ordem se escrevem como 1. Reexividade: para todo a X tem-se que a a. 2. Transitividade: se a b e b c ento a c. a Tambm denota-se a relaao a b por b a. Relaoes de pr-ordem so importantes na deniao do conceito de e c c e a c conjunto dirigido, que ser desenvolvida logo abaixo. A noao de conjunto dirigido, por sua vez, importante na deniao a c e c da noao de rede, de importncia na Topologia Geral (vide Seao 28.3, pgina 1301). c a c a Relao de ordem parcial ca
Seja X um conjunto no-vazio. Uma relaao R X X dita ser uma relao de ordem parcial em X, ou a c e ca simplesmente uma relao de ordem em X, se as seguintes condioes forem satisfeitas: ca c 1. Reexividade: para todo a X vale que (a, a) R. 2. Transitividade: se (a, b) R e (b, c) R ento (a, c) R. a 3. Anti-Simetria: Se (a, b) R e (b, a) R ento forosamente a = b. a c Se X possui uma ordem parcial R, X dito ser um conjunto parcialmente ordenado por R. Em textos matemticos em e a l ngua inglesa, conjuntos parcialmente ordenados so freqentemente denominados posets (de partially ordered sets). a u
Cap tulo 1
42/1979
A noao de conjunto parcialmente ordenado foi introduzida por Hausdor8 . Como se percebe, uma relaao de ordem c c parcial uma relaao de pr-ordem dotada ainda da propriedade de anti-simetria. Mais adiante veremos exemplos de e c e relaoes de pr-ordenamento que no so relaoes de ordem parcial. Veremos tambm na Proposiao, 1.5, pgina 42, c e a a c e c a adiante, que sempre poss construir um conjunto parcialmente ordenado a partir de um conjunto pr-ordenado. e vel e Exemplo de uma relao de ordem parcial. Seja X um conjunto e (X) a coleao de todos os subconjuntos de X. ca c Podemos estabelecer em (X) uma relaao R do seguinte tipo: para A, B X tem-se (A, B) R se A B. Como c exerc cio deixamos ao estudante mostrar que esta uma relao de ordem parcial de acordo com a deniao acima. e ca c Este exemplo ilustra tambm por que chamar tal relaao de ordem de parcial. A razo que nem todo par (A, B) e c a e e elemento de R pois, para dois conjuntos A e B arbitrrios, nem sempre vale que A B ou que B A (tal o caso, por a e exemplo, se A B = ). Em funao da analogia a relaao de ordem usual dos nmeros reais costume, dada uma relaao de ordem R qualquer, c c u e c indicar que (a, b) R atravs da notaao a R b ou, de forma mais simplicada, atravs da notaao a b. Por vezes, e c e c o s mbolo tambm usado, mas tentaremos empreg-lo apenas para denotar a relaao de ordem usual entre n meros e e a c u reais. Usando o s mbolo as condioes denidoras de uma relaao de ordem se escrevem como c c 1. Reexividade: para todo a X tem-se que a 2. Transitividade: se a 3. Anti-Simetria: se a beb beb c ento a a c. a.
a ento forosamente a = b. a c b por b a.
Tambm denota-se a relaao a e c
Como observamos acima, todo conjunto parcialmente ordenado pr-ordenado. A proposiao que segue mostra que e e c de todo conjunto pr-ordenado poss construir um conjunto parcialmente ordenado. e e vel Proposio 1.5 Seja X um conjunto no-vazio dotado de uma relao de pr-ordenamento . Ento, podemos denir ca a ca e a ca uma relao de equivalncia em X declarando que x y se x y e y x, onde x e y pertencem a X. Seja X a coleo ca e de classes de equivalncia de X por essa relao de equivalncia. Ento X parcialmente ordenado pela relao de ordem e ca e a e ca parcial denida da seguinte forma: [x] [y] se x y, onde [z] denota a classe de equivalncia ` qual pertence um e a elemento z X. Prova. Primeiramente, provemos a armaao que , denida no enunciado, estabelece uma relaao de equivalncia em c c e X. Que x x para todo x X evidente pela propriedade de reexividade do pr-ordenamento . Que y x caso e e x y evidente pela deniao. Por m, se x y e y z, ento valem 1) x y; 2) y x; 3) y z; 4) z y. Pela e c a propriedade de transitividade do pr-ordenamento , 1 e 3 implicam x z e 2 e 4 implicam z x, estabelecendo que e x z.
Obtendo conjuntos ordenados parcialmente de conjuntos pr-ordenados e
Provemos agora que realmente uma ordem parcial. Que [x] e [x] para todo x X (e, portanto, para todo elemento de X) evidente pela propriedade de reexividade do pr-ordenamento . Se [x] [y] e [y] [z], ento x y e e a e y z. Pela propriedade de transitividade do pr-ordenamento , segue que x z, estabelecendo que [x] [z]. Por e m, se [x] [y] e [y] [x], ento x y e y x. Logo, x y e, conseqentemente, [x] = [y]. a u Relao de ordem total ca
Com a relaao de equivalncia acima, X quebra-se em classes de equivalncia. Denotemos por X a coleao dessas c e e c classes e denotemos por [x] a classe a qual pertence x X. Conforme o enunciado, podemos estabelecer em X uma relaao c de ordem parcial declarando que [x] [y] se x y. Provemos essa armaao. Primeiramente, notemos que c est a realmente denida nas classes, ou seja, independe dos representantes tomadas nas mesmas. De fato, se x x e [x] [y], ento x x e x y. Pela propriedade de transitividade do pr-ordenamento segue que x y. Analogamente, se a e y y e [x] [y], ento x y e y y . Pela propriedade de transitividade do pr-ordenamento segue que x y . a e
Outro conceito importante o de relaao de ordem total. Uma ordem parcial R em um conjunto X dita ser uma e c e relao de ordem total se para todo a, b X tem-se que (a, b) R ou que (b, a) R. Se X possui uma relaao de ca c
8 Felix Hausdor (18681942). Hausdor foi um dos matemticos mais inuentes do Sc. XX. Foi um dos criadores da Topologia e da a e moderna Teoria dos Conjuntos. Perseguido pelo nacional-socialismo, suicidou-se em 1942 para evitar ser enviado a um campo de concentraao. c
Cap tulo 1
43/1979
ordem total R ento X dito ser totalmente ordenado ou linearmente ordenado. Assim, se X um conjunto dotado de a e e uma relaao de ordem parcial, dizemos que um subconjunto A X linearmente ordenado se a b ou b a para todo c e a, b A. Exemplo. Seja R o conjunto de nmeros reais e a relaao de ordem (x, y) R se x y for um n mero negativo ou nulo u c u (ou seja, se x y). Mostre que essa uma relaao de ordem total em R. e c Exemplos
Contra-exemplo. Seja C um conjunto no-vazio qualquer. Ento, (C) ordenado pela incluso de conjuntos: A B se a a e a e somente se A B. Porm (C) no linearmente ordenado pois se A B = no podemos dizer que A B nem que e a e a B A. E. 1.21 Exerccio. Voc consegue construir uma relao de ordem em R2 ou em R3 ? E uma relao de ordem total? e ca ca
Exemplo. Sejam A e X dois conjuntos no-vazios. Podemos denir uma pr-ordem no produto Cartesiano (A) X da a e a seguinte forma: para dois pares (A, x) e (B, y) com A, B B e x, y X dizemos que (A, x) (B, y) se A B. E fcil vericar que essa uma relaao de pr-ordem, mas no uma ordem parcial, pois se (A, x) (B, y) e (B, y) (A, x) e c e a e tem-se que A = B mas no necessariamente que x = y (exceto no caso trivial em que X possui um unico elemento). a Mais exemplos
Seja o conjunto dos nmeros naturais N. Podemos estabelecer em N a relaao de ordem usual onde dizemos que u c x y se x y for um nmero negativo ou nulo. Esta relaao uma relaao de ordem total. O leitor no deve pensar u c e c a que essa a unica relaao de ordem total existente em N. Um outro exemplo o seguinte. e c e
Vamos estabelecer uma relaao de ordem em N que denotaremos pelo s c mbolo pi . Sejam a, b N. Se a e b forem pares dizemos que a pi b se a b. Se a e b forem mpares dizemos que a pi b se a b. Se a par e b e e mpar ento a dizemos sempre que a pi b. E. 1.22 Exerccio. Mostre que a relao ca
pi
estabelece uma relao de ordem total em N. ca
Um exemplo anlogo pode ser constru em R. Vamos estabelecer uma relaao de ordem em R que denotaremos a do c pelo s mbolo ri . Sejam x, y R. Se x e y forem racionais dizemos que x ri y se x y. Se x e y forem irracionais dizemos que x ri y se x y. Se x racional e y irracional ento dizemos sempre que x ri y. e e a ca E. 1.23 Exerccio. Mostre que a relao Ordem lexicogrca a
ri
estabelece uma relao de ordem total em R. ca
Essa deniao pode ser facilmente generalizada. Seja X um conjunto totalmente ordenado por uma relaao de c c ordem total X . Ento, X n pode ser totalmente ordenado dizendo-se (x1 , . . . , xn ) L (y1 , . . . , yn ) se houver um a j {1, . . . , n}, tal que xi = yi para todo i < j e xj X yj .
E poss estabelecer uma relaao de ordem total em R2 da seguinte forma: dizemos que (x1 , x2 ) L (y1 , y2 ) se vel c x1 < y1 ou se x1 = y1 e x2 y2 . Essa relaao de ordem denominada relao de ordem lexicogrca de R2 . c e ca a
Seja X um conjunto totalmente ordenado por uma relaao de ordem total X e seja Seja X = n=1 X n . Podemos c estabelecer em X uma ordem total X , tambm denominada lexicogrca, da seguinte maneira. Sejam m, n N e e a p = min{m, n}. Ento, dizemos (x1 , . . . , xm ) X (y1 , . . . , yn ) se (x1 , . . . , xp ) L (y1 , . . . , yp ) no sentido dado no a pargrafo anterior, ou se (x1 , . . . , xp ) = (y1 , . . . , yp ), mas m < n. a E. 1.24 Exerccio. Por que essas relaoes de ordem so denominadas lexicogrcas? Pense na maneira como palavras c a a (de tamanho arbitrrio!) so ordenadas em um dicionrio. a a a Podemos ainda estender a deniao de ordem lexicogrca. Seja X um conjunto totalmente ordenado por uma relaao c a c de ordem total X e seja Y um conjunto totalmente ordenado por uma relaao de ordem total Y . Ento, X Y pode c a ser parcialmente ordenado dizendo-se X Y x L y X Y se houver um j Y , tal que x(i) = y(i) para todo i Y j e x(j) X y(j).
Cap tulo 1
44/1979
Exemplo. Sejam f, g, duas funoes de R em R. Dizemos que f L g se existir y R tal que f (x) = g(x) para todo x < y c mas f (y) g(y). Lembrando que o conjunto de todas as funoes de R em R RR , v-se que essa deniao coincide com c e e c a dada acima. Conjuntos dirigidos
Exemplo. Todo conjunto dotado de uma relaao de ordem total um conjunto dirigido em relaao a essa relaao de c e c c ordem. Justique! Exemplo. R um conjunto dirigido com a relaao de ordem usual. e c Exemplo. R um conjunto dirigido com a relaao de ordem e c
n ri
Exemplo. Sejam A e X dois conjuntos no-vazios e seja em (A) X a relaao de pr-ordenamento (A, x) (B, y) a c e se A B. O conjunto (A) X dirigido por esse pr-ordenamento, pois se (A, x) e (B, y) (A) X ento e e a (A, x) (A B, z) e (B, z) (A B, z) para qualquer z X.
Exemplo. Seja X um conjunto no-vazio. Temos em (X) uma relaao de ordem parcial parcial (de incluso) dizendo a c a que A B se A B. Essa relaao de ordem faz de (X) um conjunto dirigido, pois para quaisquer A e B X tem-se, c naturalmente, A A B e B A B.
Um conjunto I dito ser um conjunto dirigido (directed set) se for dotado de uma relaao de pr-ordenamento, e c e que denotaremos por , e se for dotado da seguinte propriedade: para quaisquer dois elementos a e b de I existe pelo menos um terceiro elemento c I tal que a c e b c.
denida acima.
Exemplo. Seja o conjunto R , n = 1, 2, . . ., e seja I o conjunto de todos os abertos limitados de Rn (um conjunto e limitado se for subconjunto de alguma bola aberta de raio nito centrada na origem). Mostre que I um conjunto e dirigido pela relaao de ordem de incluso: A c a B se A B. Note que essa relaao de ordem no uma relaao de c a e c ordem total. Exemplo. Causalidade de Einstein. Seja 4 o espao-tempo quadri-dimensional de Minkowski e sejam E0 = (t0 , x0 , y0 , z0 ) c c e E1 = (t1 , x1 , y1 , z1 ) dois eventos em 4 . Dizemos que o evento E0 precede causalmente o evento E1 , (em notaao simblica E0 Einstein E1 ), se t0 t1 e se o c2 (t1 t0 )2 (x1 x0 )2 (y1 y0 )2 (z1 z0 )2 0 , uma relao de ordem em e ca onde c a velocidade da luz. e E. 1.25 Exerccio. Mostre que
Einstein
e ca 4 e que 4 um conjunto dirigido por essa relao.
e c Contra-Exemplo. Seja X um conjunto no-vazio e seja I = (X)\ {X}, ou seja, I a coleao de todos os subconjuntos de a X, exceto o prprio X. Podemos ter em I uma relaao de ordem (de incluso) dizendo que A B se A B. Notemos, o c a a porm, que I no um conjunto dirigido pois para A I, A = temos X \ A I mas no existe em I nenhum conjunto e a e que contenha A e X \ A simultaneamente como subconjuntos. Redes e seqncias ue Seja I um conjunto dirigido com respeito ` uma relaao de pr-ordenamento . Se M um conjunto no-vazio, uma a c e e a funao f : I M denominada uma rede em M baseada no conjunto dirigido I com respeito a ou, simplesmente, c e uma rede em M .
A noao de rede importante, por exemplo, no estudo de funoes cont c e c nuas em espaos topolgicos gerais e na c o deniao da noao de convergncia (vide Cap c c e tulo 28, pgina 1298). a
Uma seqncia em M uma rede baseada em N, que um conjunto dirigido com respeito ` ordem usual dos naturais, ue e e a ou seja, uma funao f : N M . e c
Se f : N M uma seqncia em M , os elementos f (n) de sua imagem so freq entemente denotados por uma e ue a u notaao com c ndices: fn . E tambm comum denotar-se a prpria seqncia por {fn , n N} ou por {fn }nN , que, e o ue estritamente falando, representam a imagem de f em M . Mximos e m a nimos
Se X um conjunto dotado de uma relaao de ordem parcial (que denotamos por e c
) diz-se que um elemento z X
Cap tulo 1
45/1979
um mximo de X se x z para todo x X. Se z e z so mximos de X ento, por hiptese, valem ambas as relaoes e a a a a o c z z e z z, o que implica z = z . Assim, se X possuir um mximo ele unico, e denotado por max(X). a e e Se A X, a relaao de ordem parcial em X induz uma relaao de ordem parcial em A. Com essa relaao, podemos c c c denir max(A), se existir, como o elemento de A tal que a max(A) para todo a A. Note que, por deniao, c max A A.
Analogamente, um elemento a dito ser um mnimo de X se a x para todo x X. Se a e a so m e a nimos de X ento, por hiptese, valem ambas as relaoes a a e a a, o que implica a = a . Assim, se X possuir um m a o c nimo ele unico, e denotado por min(X). e e Elementos maximais e minimais
Seja X um conjunto dotado de uma relaao de ordem parcial (que denotamos por c
). x. a.
Um elemento z X dito ser um elemento maximal se no existir x X, x = z tal que z e a
Os elementos maximais e minimais de um conjunto parcialmente ordenado X, se existirem, no so necessariamente a a unicos, como mostra o seguinte exemplo. E. 1.26 Exerccio-Exemplo. Considere no plano R2 o quadrado fechado Q = [0, 1] [0, 1], ou seja, os elementos de Q so a pares ordenados (x, y) R2 com 0 x 1 e 0 y 1. Estabelecemos em Q uma relao de ordem (parcial!) da seguinte ca forma: (x, y) (x , y ) se x = x e se y y . Em palavras, (x, y) (x , y ) se ambos os pontos estiverem em uma mesma linha vertical, mas (x, y) estiver mais baixo que (x , y ). Cheque que isso , de fato, uma relao de ordem, mas que no e ca a e uma ordem total, pois no se pode comparar pontos que esto em linhas verticais diferentes. a a Com essa denio convena-se que todos os elementos da forma (x, 1) so maximais. Porm, se x for diferente de x , ca c a e no se pode nem dizer que (x, 1) (x , 1) nem que (x , 1) (x, 1). Igualmente, convena-se que todos os elementos da a c forma (x, 0) so minimais. a Note tambm que para a existncia de elementos maximais importante que Q contenha pontos na aresta de cima e (com e e e coordenada y = 1), analogamente, para a existncia de elementos minimais importante que Q contenha pontos aresta de e e baixo (com coordenada y = 0). Por exemplo, se voc denir a mesma relao de ordem no quadrado aberto (0, 1) (0, 1) e ca no h mais elementos maximais ou minimais. a a Se um conjunto no-vazio e parcialmente ordenado X possuir um unico elemento maximal, este elemento denominado a e o maior elemento de X. Reciprocamente, se um conjunto no-vazio e parcialmente ordenado X possuir um unico elemento a minimal, este elemento denominado o menor elemento de X. e Conjuntos bem-ordenados
Um elemento a X dito ser um elemento minimal se no existir x X, x = a tal que x e a
Um conjunto X dotado de uma relaao de ordem parcial c A no vazio de X tem um elemento m a nimo em A.
dito ser um conjunto bem-ordenado se todo subconjunto e
ca e e E. 1.27 Exerccio. Mostre que todo conjunto bem-ordenado segundo uma relao parcial de ordem tambm totalmente ordenado segundo a mesma relao. ca E. 1.28 Exerccio. A rec proca no , entretanto, verdadeira. Mostre que R totalmente ordenado pela relao usual de a e e ca ordem entre nmeros reais, mas no um conjunto bem-ordenado. u a e E. 1.29 Exerccio. Mostre que o conjunto dos nmeros naturais N bem-ordenado. u e A importncia de conjuntos bem-ordenados que a eles se aplica uma generalizaao do bem-conhecido mtodo de a e c e induao matemtica, muito empregado em demonstraoes de teoremas, denominada princpio de induo transnita. c a c ca O estudante interessado encontrar em [81] uma excelente referncia introdutria. Nesta mesma referncia o estudante a e o e interessado encontrar uma demonstraao do seguinte e importante resultado, devido a Zermelo9 : a c
9 Ernst
Friedrich Ferdinand Zermelo (18711953).
Cap tulo 1
46/1979
Teorema 1.1 (Teorema do Bom-Ordenamento) Se X um conjunto no-vazio ento possvel encontrar uma e a a e relao de ordem ca em X tal que X bem-ordenado por essa relao. e ca Incidentalmente, o Teorema 1.1 junto com a armaao do Exerc E. 1.27 informam que todo conjunto no-vazio c cio a possui ao menos uma relaao de ordem total. c Majorantes e minorantes
Analogamente, se existe h X tal que h inferior11 de A. Conjuntos limitados
Seja X um conjunto dotado de uma ordem parcial denotada por e seja A X. Se existe t X tal que a todo a A dizemos que t um majorante de A, ou um limitante superior10 de A. e
t para
a para todo a A dizemos que h um minorante de A ou um limitante e
Seja X um conjunto dotado de uma ordem parcial denotada por . Um conjunto A X que tenha pelo menos um majorante dito ser um conjunto limitado superiormente. Um conjunto A X que tenha pelo menos um minorante e e dito ser um conjunto limitado inferiormente. Inmo e supremo
Seja X um conjunto dotado de uma ordem parcial denotada por
O m nimo do conjunto de majorantes de A, se existir, dito ser o supremo de A e indicado por sup(A). Note que e e o supremo de A, se existir, unico, por ser o m e nimo de um conjunto. Assim, s X dito ser o supremo de A se for e um majorante de A e se s t para todo t que seja majorante de A. Note que o supremo de um conjunto A X no a e necessariamente um elemento de A, ao contrrio do que ocorre com o mximo de A (caso exista). a a O mximo do conjunto dos minorantes de A, se existir, dito ser o nmo de A e indicado por inf(A). Note que o a e e nmo de A, se existir, unico, por ser o mximo de um conjunto. Assim, i o e a e nmo de A se for um minorante de A e se h i para todo h que seja minorante de A. Note que o nmo de um conjunto A X no necessariamente um a e elemento de A, ao contrrio do que ocorre com o m a nimo de A (caso exista). E interessante notar o seguinte. Dado um conjunto X dotado de uma ordem parcial poder amos nos perguntar se todo subconjunto limitado superiormente de X possui um supremo ou, analogamente, se todo subconjunto de X limitado inferiormente possui um nmo. A validade ou no dessas propriedades depende de X e da relaao de ordem em questo. a c a Por exemplo, para X = Q, o conjunto dos racionais com a relaao de ordem usual, verica-se que a propriedade no c a e valida. Tomemos A = {x Q, x2 < 2}. Claramente esse conjunto limitado inferior e superiormente mas no possui e a nem supremo nem nmo (por qu?). Para X = N e X R (com as relaoes de ordem usuais) a propriedade , porm, e c e e vlida. a E. 1.30 Exerccio. Tome X = R com a relao de ordem usual. Mostre que inf((1, 1)) = 1 e que sup((1, 1)) = 1. ca Note que 1 e 1 no so elementos de (1, 1). a a E. 1.31 Exerccio. Suponha que A e B sejam dois subconjuntos de um conjunto X dotado de uma ordem total e que inf(A) e inf(B) existam. Mostre ento que a inf(A B) = min inf(A), inf(B) .
e seja A X.
E. 1.32 Exerccio. Suponha que A e B sejam dois subconjuntos de um conjunto X dotado de uma ordem total e que sup(A) e sup(B) existam. Mostre ento que a sup(A B) = max sup(A), sup(B) .
10 A 11 A
expresso limite superior tambm usada na literatura, mas deve ser evitada para no causar confuso com a noao de limite. a e e a a c expresso limite inferior tambm usada na literatura, mas deve ser evitada para no causar confuso com a noao de limite. a e e a a c
Cap tulo 1
47/1979
Uma das armativas fundamentais de toda a Matemtica usual o seguinte resultado, conhecido como lema de Zorn, a e em homenagem a um dos seus formuladores12: Lema 1.1 (Lema de Kuratowski-Zorn) Seja X um conjunto no-vazio e a uma relao de ordem parcial em X. ca Suponha que todo subconjunto linearmente ordenado de X tenha pelo menos um majorante em X. Ento, todo subconjunto a linearmente ordenado de X tem algum majorante em X que tambm um elemento maximal de X. Implicitamente isso e e est dizendo que, sob as hipteses, X possui ao menos um elemento maximal. a o Para uma demonstraao do Lema de Zorn, vide, por exemplo, [81]. c E. 1.33 Exerccio. Verique que se X = [0, 1] ordenado pela relao de ordem usual todo subconjunto de X tem um e ca majorante em X e que 1 um desses poss e veis majorantes. Verique que 1 um elemento maximal de X. e e ca E. 1.34 Exerccio. Verique que se X = [0, 1) linearmente ordenado pela relao de ordem usual e nem todo subconjunto de X tem um majorante em X (tente, por exemplo, subconjuntos do tipo [a, 1) com 0 a < 1). Verique que X no tem a um elemento maximal. o a a E. 1.35 Exerccio. Cheque se as hipteses do Lema de Zorn so satisfeitas ou no nos quadrados abertos e fechados do Exemplo E. 1.26, pgina 45. a O Lema de Zorn equivalente ao chamado Axioma da Escolha (vide pgina 34), ou seja, admitir um como verdadeiro e a leva a demonstrar a validade do segundo. Essa equivalncia no ser provada aqui (vide, por exemplo, [81]). Toda a e a a Matemtica usual fundada na aceitaao de um ou de outro como verdadeiro e, em princ a e c pio, uma nova Matemtica a pode ser constru (com resultados distintos dos da Matemtica usual) se esses dois axiomas forem substitu da a dos por um terceiro inequivalente. A relevncia de tais Matemticas em F a a sica uma questo em aberto. e a
O Lema de Zorn
1.1.2
Cardinalidade
A noo de cardinalidade de conjuntos ca
Seja K uma coleao de conjuntos. Dados dois conjuntos A e B da coleao K, dizemos que A e B so equivalentes se c c a houver uma funao bijetora de A sobre B, ou seja, se houver uma funao com dom c c nio igual a A e imagem igual a B tal que a cada elemento b B existe um unico elemento a A com f (a) = b. e ca e ca E. 1.36 Exerccio. Mostre que essa uma relao de equivalncia entre os conjuntos da coleo K.
Para dois conjuntos que so equivalentes no sentido acima diz-se tambm que os mesmos tm a mesma cardinalidade. a e e Ou seja, dois conjuntos tm a mesma cardinalidade se e somente se houver uma funao bijetora entre eles. e c Nota. Um conjunto A dito ter n elementos (para um nmero natural n) se for equivalente ao conjunto {1, . . . , n}. e u
Esta ultima deniao pressupe que o conceito de nmero natural j seja conhecido. Outra construao mais simples em termos c o u a c de pressupostos feita de modo informal como segue: diz-se que um conjunto tem um elemento se for equivalente ao conjunto {}; que um e conjunto tem dois elementos se for equivalente ao conjunto {, {}}; que tem trs elementos se for equivalente ao conjunto {, {, {}}} e assim e por diante. Em verdade essa construao permite produzir uma denio do conceito de nmero natural: o nmero um , grosseiramente c ca u u e falando, o nome dado ` classe de equivalncia formada pelos conjuntos equivalentes ao conjunto {}; o nmero dois o nome dado ` classe a e u e a de equivalncia do conjunto {, {}}; o nmero trs nome dado ` classe de equivalncia do conjunto {, {, {}}} e assim por diante. e u e e a e Alis, o nmero zero o nome dado ` classe de equivalncia de . O nmeros naturais seriam ento o conjunto de todas as classes de a u e a e u a equivalncia constru e das dessa forma. Esta deniao13 do conceito de nmero natural, devida a von Neumann14 , pressupe apenas conhecidos c u o conceitos primitivos como os de conjuntos, classes de equivalncia e de conjunto vazio. O leitor poder encontrar uma discusso extensa sobre e a a a deniao de nmeros naturais em [206, 153, 81]. c u August Zorn (19061993). Em verdade, o Lema de Zorn foi primeiramente descoberto por Kazimierz Kuratowski (18961980). O trabalho de Kuratowski data de 1922 e o de Zorn de 1935. 13 J. von Neumann Zur Einf hrung transniten Zahlen, Acta Szeged 1, 199208 (1923). u 14 Jnos von Neumann (19031957). Von Neumann tambm adotou os nomes de Johann von Neumann e John von Neumann. a e
12 Max
Cap tulo 1
48/1979
Diz-se que um conjunto A nito se tiver a cardinalidade de {1, . . . , n} para algum n N. A dito ser innito se e e no for nito. a E. 1.37 Exerccio. Seja A um conjunto nito com n elementos. Mostre que (A) tem 2n elementos. Conjuntos enumerveis e conjuntos contveis a a
Um conjunto A dito ser enumervel se tiver a cardinalidade do conjunto dos nmeros naturais N, ou seja, se existir e a u uma funao bijetora f : N A cujo dom c nio N e cuja imagem todo A. Conjuntos enumerveis no so nitos. e e a a a Um conjunto A dito ser contvel se for nito ou se for enumervel. Advertimos o estudante para o fato de que alguns e a a autores usam a palavra enumervel mesmo para conjuntos nitos. Evitaremos faz-lo aqui, agarrando-nos `s denioes a e a c de acima. Vamos agora provar alguns teoremas fundamentais sobre conjuntos contveis (cuja importncia, apesar da aparente a a simplicidade dos enunciados, no pode ser subestimada pois seu alcance estende-se por toda a Matemtica, em particular, a a por muito do que veremos no restante do curso). Precisamos da seguinte proposiao: c Proposio 1.6 Um conjunto contvel se e somente se for equivalente a um subconjunto de N. ca e a Prova. Por deniao todo conjunto contvel A (nito ou no) equivalente a algum subconjunto de N (no pior dos c a a e casos ao prprio N). Provemos ento a rec o a proca. Seja A equivalente a um subconjunto K de N. Se K for nito, A tambm o ser e, portanto, ser contvel. Suponhamos ento que K no nito. Vamos construir uma funao bijetora e a a a a a e c F : N K. A mesma denida da seguinte forma e F (1) = F (n) = min K , min K \ F (1), F (2), . . . , F (n 1) , para n = 2, 3, . . . .
a E fcil ver que F bijetora e que sua imagem K (faa isso). Assim, K enumervel e, portanto, A tambm o . e e c e a e e Esta proposiao tem uma conseqncia simples: c ue Proposio 1.7 Se A um conjunto contvel e B A ento B contvel. ca e a a e a Prova. Se A contvel e B A ento B equivalente a um subconjunto de N e, portanto, pela proposiao anterior, B e a a e c contvel. e a Chegamos a um importante resultado: Proposio 1.8 O produto Cartesiano N N enumervel. ca e a Prova. Seja a funao G : N N N dada por G(a, b) = 2a 3b . A imagem dessa funao um subconjunto prprio de N c c e o mas essa funao bijetora: a cada elemento z de sua imagem h um e somente um par (a, b) de n meros naturais tais c e a u que 2a 3b = z (por qu?). Assim, ca provado pela Proposiao 1.6 que N N contvel. Como N N no nito (por e c e a a e qu?), um conjunto enumervel. e e a A Proposiao 1.8 tem uma conseqncia de grande importncia: c ue a Teorema 1.2 O conjunto Q+ dos nmeros racionais positivos um conjunto enumervel. u e a Prova. Todo racional positivo da forma p/q, onde p e q N so irredut e a veis ou primos entre si (ou seja, no h a a cancelamentos que permitam escrever p/q = a/b com a < p e b < q). Assim, h uma correspondncia um-a-um entre a e
Cap tulo 1
49/1979
Q+ e o subconjunto de N N formado por todos os pares (p, q) onde p e q so primos entre si. Como N N contvel, a e a a Proposiao 1.7 diz ento que Q+ tambm contvel e, em verdade, enumervel, por no ser nito. c a e e a a a E. 1.38 Exerccio. Prove que o conjunto dos nmeros inteiros Z e o conjunto dos nmeros racionais Q so conjuntos u u a enumerveis. a Um fato tambm importante que h conjuntos de nmeros que no so conjuntos contveis. O exemplo mais e e a u a a a relevante o dos nmeros reais. e u Teorema 1.3 O conjunto dos nmeros reais no contvel. u a e a Prova. Para provar isso basta mostrar que h um subconjunto de R que no contvel. Considere o conjunto U de a a e a todos os nmeros reais do intervalo [0, 1) tais que apenas os d u gitos 0 ou 1 aparecem em sua representaao decimal. c Por exemplo, nmeros como 0, 001101 ou 0, 1 ou 0 ou 0, 1011 ou 1/9 = 0, 11111 . . . so elementos de U . De modo mais u a preciso, U o subconjunto do intervalo [0, 1) formado por todos os nmeros u que podem ser escritos da forma e u
u =
n=1
dn (u) , 10n
onde dn (u) {0, 1} para todo n 1. dn (u) o n-simo d e e gito do nmero u na base decimal. Note que dois elementos u u e v de U so iguais se e somente se dn (u) = dn (v) para todo n (prove isso!). a Vamos provar que U no um conjunto contvel. Para isso vamos supor o oposto, ou seja, que U contvel e veremos a e a e a que essa hiptese leva a um absurdo. Vamos supor que haja uma funao bijetora f : N U cuja imagem U . Considere o c e o nmero real a denido por u 1 dn (f (n)) . a = 10n n=1 Como 1 dn (f (n)) igual a 0 ou a 1 (por que?), segue obviamente que a um elemento de U . e e Entretanto, fcil ver que a no faz parte da imagem da funao f . Para ver isso note que se a fosse um elemento e a a c da imagem de f haveria um inteiro m tal que f (m) = a. Mas isso signica ento que o m-simo d a e gito de a seria dm (a) = dm (f (m)). Mas pela deniao do prprio a, o seu m-simo d c o e gito 1 dm (f (m)). Assim, ter e amos que dm (f (m)) = 1 dm (f (m)) o que no poss a e vel.
Conclu mos ento que a um elemento de U mas no pode ser um elemento da imagem da funao f . Isso uma a e a c e contradiao, pois supomos justamente que a imagem da f era todo o conjunto U . Portanto, U no contvel e, assim, c a e a R tambm no o . e a e
Nota.
a E fcil ver que, em verdade, poder amos substituir a base decimal, usada na representaao do conjunto U acima, por qualquer base c b N com b > 2. Ou seja, se considerarmos o conjunto Ub de todos os reais u do intervalo [0, 1] representveis na base b, b N, b > 2, da a forma dn (u) . u = bn n=1
onde dn (u) {0, 1}, ento, repetindo o que zemos acima, ver a amos que Ub no contvel. Claramente U = U10 . a e a
Nota.
forma
O caso da base binria b = 2 foi exclu da ultima nota pois nele no vale a unicidade da representaao dos elementos de U2 na a do a c
u =
n=1
dn (u) , 2n
onde dn (u) {0, 1}. Para ver isso, faa o exerc c cio seguinte.
E. 1.39 Exerccio. Mostre que na base binria 0, 1 e 0, 01111111 . . . representam o mesmo nmero, a saber, o nmero 1/2. a u u Sugesto: use a frmula da progresso geomtrica innita para calcular quanto vale 0, 01111111 . . .. a o a e Nota.
Os conjuntos Ub , b > 2, so exemplos de uma classe de conjuntos chamados de conjuntos de Cantor15 . Tornaremos a reencontrar a tais conjuntos quando falarmos de Teoria da Medida (vide Cap tulo 27, especialmente Seao 27.3, pgina 1282.). c a
15 Georg
Ferdinand Ludwig Philipp Cantor (18451918).
Cap tulo 1
50/1979
Ainda sobre os nmeros reais, tem-se tambm o seguinte fato, que para referncia futura formulamos como uma u e e proposiao. c Proposio 1.9 R e R2 tm a mesma cardinalidade. ca e Prova. E suciente mostrar que (0, 1) e (0, 1) (0, 1) tm a mesma cardinalidade, pois a funao x (1 + tanh(x))/2 e c uma bijeao de R em (0, 1). Fixemos para cada x (0, 1) uma representaao decimal x = 0, d1 d2 d3 . . . com e c c dn {0, . . . , 9}. Seja F : (0, 1) (0, 1) (0, 1) denida por F (0, d1 d2 d3 d4 . . .) := ( 0, d1 d3 d5 d7 . . . , 0, d2 d4 d6 d8 . . . ) . F bijetora e F 1 : (0, 1) (0, 1) (0, 1) dada por e e F 1 (( 0, a1 a2 a3 a4 . . . , 0, b1 b2 b3 b4 . . . )) = 0, a1 b1 a2 b2 a3 b3 a4 b4 . . . .
Finalizamos com um outro teorema de grande importncia: a Teorema 1.4 Se Ci , i N, so conjuntos contveis ento C = a a a Ci tambm o . e e
iN
Prova. Se cada Ci contvel ento para cada i N h uma funao bijetora gi : N Ci cuja imagem Ci . Dena-se e a a a c e ento a funao G : (N N) C dada por G(a, b) = ga (b). Esta funao no , em geral, bijetora, pois podem existir a c c a e elementos comuns entre conjuntos Ci e Cj com i = j e ter amos gi (m) = gj (n) para algum n e m. Entretanto, a imagem de G C. e Considere ento em N N a seguinte relaao de equivalncia: o par (a, b) equivalente ao par (c, d) se e somente a c e e se ga (b) = gc (d). O conjunto N N pode ser ento, como j observamos, escrito como a unio disjunta de suas classes a a a de equivalncia pela relaao acima. Construamos ento um subconjunto K de N N tomando-se um e somente um e c a elemento de cada classe de equivalncia escolhido arbitrariamente (usamos aqui o Axioma da Escolha para armar que e tal construao poss c e vel). Dena agora a funao H : K C dada por H(a, b) = ga (b) para (a, b) K. Pela prpria construao do conjunto c o c K essa funao H bijetora e sua imagem C. Como K um subconjunto de N N que contvel, temos que K c e e e e a tambm o e, portanto, C contvel. e e e a
N meros reais algbricos e transcendentes u e
Na reta real diz-se que um nmero x um nmero algbrico se x for raiz de um polinmio do tipo u e u e o P (t) = a0 + a1 t + a2 t2 + + an tn ,
para algum n N, onde os coecientes a0 , . . . , an so nmeros racionais. Um tal polinmio dito ser um polinmio a u o e o racional. Todo nmero racional p/q tambm algbrico pois raiz do polinmio racional p qt. H tambm muitos n meros u e e e e o a e u irracionais que so algbricos. Por exemplo, o nmero 2 raiz do polinmio racional 2 + t2 e, portanto, algbrico. a e u e o e e Os nmeros reais que no so algbricos so chamados de nmeros transcendentes. u a a e a u u e e a E. 1.40 Exerccio. Prove que o conjunto de todos os nmeros algbricos da reta real um conjunto enumervel. Use para tal o fato de que os racionais formam um conjunto enumervel. a O exerc anterior pode ser usado para concluir que existem nmeros transcendentes (que no so raiz de nenhum cio u a a polinmio racional) pois os reais, como sabemos, no so contveis enquanto, segundo o exerc o a a a cio, os algbricos o so. e a Deve, portanto, haver uma coleao no-contvel de nmeros transcendentes na reta real. c a a u
Cap tulo 1
51/1979
Historicamente, a existncia de nmeros transcendentes foi estabelecida (por outros argumentos) por Liouville16 em e u 1851. Em 1874, Cantor17 demonstrou a armaao do exerc acima, provando que o conjunto de todos os n meros c cio u algbricos da reta real um conjunto contvel. e e a E. 1.41 Exerccio. Seja 0 = Q e 1 o conjunto dos nmeros algbricos, denidos como o conjunto de todos os zeros reais u e o de polinmios com coecientes racionais. Denimos 2 como o conjunto de todos os zeros reais de polinmios com coecientes o em 1 . Sucessivamente, denimos n , n 1 como o conjunto de todos os zeros reais de polinmios com coecientes em o e = so conjuntos contveis e, portanto, subconjuntos prprios a a o n1 . Seja tambm n=0 n . Mostre que todos os n e de R. Os n meros e e so irracionais e transcendentes u a
Sabe-se que os nmeros e e so irracionais e transcendentes. u a
As provas de que e e e2 so irracionais foram primeiramente obtidas por Euler18 em 1737. Uma prova que e a e irracional pode ser encontrada nestas Notas ` pgina 1146 ou, por exemplo, em [199] ou [87]. a a A prova de que irracional no to simples quanto a de que e irracional. A demonstraao de que irracional e a e a e c e foi primeiramente obtida por Lambert19 em 1768 e consistiu em provar que se r um n mero racional no-nulo ento e u a a nem er nem tan(r) podem ser racionais. Como tan(/4) = 1, que racional, segue que /4 deve ser irracional. e A demonstraao de que e transcendente foi obtida pela primeira vez por Hermite20 em 1873. c e A demonstraao de que transcendente foi obtida pela primeira vez por Lindemann21 em 1882. c e Um fato de grande interesse que provar que algbrico seria equivalente22 a resolver o clebre problema da e e e e quadratura do crculo, que consiste em achar um mtodo atravs do qual, apenas com rgua e compasso constri-se e e e o um quadrado cuja rea igual a de um a e c rculo de raio 1. Tal seria poss caso houvessem meios de se construir um vel a segmento de reta cujo comprimento seja . Esse problema clssico da geometria Euclidiana cou em aberto por cerca de dois mil anos (!), tendo sido resolvido negativamente em 1882 por Lindemann quando este provou, justamente, que no um nmero algbrico, concluindo assim a impossibilidade da construao proposta. a e u e c Para provas de que e transcendente vide, por exemplo, [199] ou [87]. Para provas que irracional e transcendente e e e para uma srie de outros resultados congneres, vide [87]. e e Produtos Cartesianos e contabilidade E interessante notar que produtos Cartesianos contveis de conjuntos contveis no so, geralmente, conjuntos a a a a contveis. Considere como exemplo o produto Cartesiano a K :=
iN
{0, 1} = {0, 1}N ,
que denominado espao de Cantor23 . Podemos mostrar que K no contvel. Cada elemento de K uma funao e c a e a e c d : N {0, 1}. Podemos assim associar univocamente a cada d o nmero real u d(n) 10n n=1 que um elemento do conjunto U R denido acima. Por outro lado, todo elemento de U pode ser escrito assim para e um unico d K. Assim, K e U tm a mesma cardinalidade e, portanto, K no contvel pois U , como j vimos, no o e a e a a a . e
Liouville (18091882). Ferdinand Ludwig Philipp Cantor (18451918). 18 Leonhard Euler (17071783). 19 Johann Heinrich Lambert (17281777). 20 Charles Hermite (18221901). A prova original da transcendncia de e encontra-se em Comptes rendus, 77, 18-24 (1873). e 21 Carl Louis Ferdinand von Lindemann (18521939). A prova original da transcendncia de encontra-se em Math. Ann. 20, 213225 e (1882). 22 Para uma bela discusso sobre isso, vide [46]. a 23 Georg Ferdinand Ludwig Philipp Cantor (18451918).
17 Georg 16 Joseph
Cap tulo 1
52/1979
E. 1.42 Exerccio. Mostre que todos os conjuntos Ub , denidos acima, com b > 2, tem a mesma cardinalidade de K (e, portanto, a mesma cardinalidade entre si).
1.1.3
Inmos e Supremos de Fam lias de Conjuntos

iI
Seja I um conjunto arbitrrio de a ndices e {Ai , i I} uma coleao de conjuntos indexados por elementos de I. Chama-se c por vezes o conjunto inf Ai := Ai de nmo da coleao {Ai , i I} e o conjunto sup Ai := c Ai de supremo da coleao c
iI iI iI
{Ai , i I}.
Essas nooes coincidem com as nooes de c c nmo e supremo apresentadas ` pgina 46 se considerarmos em X = a a a relaao de ordem denida pela incluso de conjuntos: se A, B X dizemos que A B se A B. c a E. 1.43 Exerccio. Mostre isso.
iI
Ai
Seja {An , n N} uma coleao contvel de subconjuntos de um conjunto no-vazio X. Dene-se um conjunto c a a chamado de limite do nmo da coleao, denotado por limAn , como sendo o conjunto dado por c

Limites do nmo e limites do supremo de fam lias contveis de conjuntos a
limAn :=
n=1 k=n
Ak .
e O chamado limite do supremo da coleao, denotado por limAn , o conjunto denido por c

limAn :=
n=1 k=n
Ak .
Se considerarmos a relaao de ordem entre conjuntos denida pela incluso de conjuntos, de se notar que a seqncia c a e ue a Bm se n m) e limAn seu de conjuntos Bn := k=n Ak , n N, est ordenada de forma crescente (ou seja, Bn e a supremo. Analogamente, a seqncia de conjuntos Cn := k=n Ak , n N, est ordenada de forma decrescente (ou seja, ue Cn Cm se n m) e limAn seu e nmo. e E. 1.44 Exerccio. Justique a seguinte armativa: limAn o conjunto de todos os pontos x de X que pertencem a todos os conjuntos An exceto a no mximo um nmero nito deles. Dizemos, nesse caso, que x pertence a quase todos os An s). a u
e E. 1.45 Exerccio. Justique a seguinte armativa: limAn o conjunto de todos os pontos x de X que pertencem a um nmero innito de conjuntos An . Dizemos, nesse caso, que x pertence freqentemente aos An s). u u Proposio 1.10 Seja {An , n N} uma coleo contvel de subconjuntos de um conjunto no-vazio X. Ento, ca ca a a a (limAn ) = limAc n
c
limAn
= limAc . n
Prova. A prova uma aplicaao imediata das denioes e das relaoes (1.22) da Proposiao 1.1, pgina 32. e c c c c a Proposio 1.11 Seja {An , n N} uma coleo contvel de subconjuntos de um conjunto no-vazio X. Ento, ca ca a a a limAn limAn .
Cap tulo 1
53/1979
Prova. A prova imediata pelos Exerc e cios E. 1.44 e E. 1.45, pois se x X tal que x pertence a todos os conjuntos An e a u exceto a no mximo um nmero nito deles (isto , se x limAn ), ento x pertence a um n mero innito de conjuntos a u e An (isto , x limAn ). e Uma outra prova mais formal a seguinte. Tem-se e (limAn ) limAn
c
(limAn ) (limAc ) n

=
n=1 k=n
Prop. 1.1
Ak

Ac k
n =1 k =n
Ak
n=1 n =1 k=n
Ac k
k =n
Agora, para cada par n, n tem-se

k=n
Ak
Ac k
k =n
= , pois essa intersecao um subconjunto de conjuntos c e

c
como Ak Ac com k n e k n e, evidentemente, Ak Ac = . Assim, (limAn ) limAn k k limAn limAn . Convergncia de seqncias de conjuntos e ue
= , o que implica
Chegamos a uma deniao importante: dizemos que uma coleao contvel de conjuntos {An , n N} converge a um c c a conjunto A se limAn = limAn = A. Se uma coleao contvel de conjuntos {An , n N} converge a um conjunto A, ento A dito ser o limite de An , e c a a e n escrevemos, como usualmente, A = lim An , ou ainda An A.
n
E. 1.46 Exerccio. Justique a seguinte armativa: lim An s existe se no h pontos x X que, simultaneamente, o a a n pertenam a innitos conjuntos An e no pertenam a innitos conjuntos An . c a c Uma seqncia An de conjuntos dita ser crescente, ou expansiva, se An An+1 para todo n. Uma seqncia An de ue e ue conjuntos dita ser decrescente, ou contrativa, se An+1 An para todo n. e Proposio 1.12 Se uma seqncia An de conjuntos for crescente ou decrescente ento lim An existe. Se An crescente, ca ue a e vale
lim An =
k=1
Ak .
Se An decrescente, vale e lim An =
Ak .
k=1
Prova. Seja An uma seqncia crescente de conjuntos. Ento, ue a

k=n
Ak = An . Logo, limAn =
n=1 k=n
Ak = Ak =
An . Por
n=1
outro lado, pelo fato de An ser crescente vale tambm que e

k=n
Ak =
k=1
Ak . Logo, limAn =
n=1 k=n
Ak =
n=1 k=1
Ak . Com isso, estabeleceu-se que limAn = limAn e, portanto, limAn existe e vale limAn =
k=1 k=1
Ak .
A prova para o caso de seqncias decrescentes anloga (faa-a!). ue e a c
Cap tulo 1
54/1979
Os exerc cios que seguem ilustram os conceitos de acima. E. 1.47 Exerccio. Seja a fam contvel de subconjuntos de R dada por An = [0, 10] se n for par e An = [0, 5] se n for lia a mpar. Determine limAn e limAn e limn An se este existir. E. 1.48 Exerccio. Seja a fam contvel de subconjuntos de R dada por An = [0, 1] se n for par e An = [2, 3] se n for lia a mpar. Determine limAn e limAn e lim An , se este existir.
n
lia a E. 1.49 Exerccio. Seja a fam contvel de subconjuntos de R dada por An = 1 1 , 1+ n n ,
com n N. Determine limAn , limAn e lim An , se este existir.

n
lia a E. 1.50 Exerccio. Seja a fam contvel de subconjuntos de R dada por An = 1 1 , 1 n+1 n+1 ,
com n N. Determine limAn , limAn e lim An , se este existir.

n
E. 1.51 Exerccio. Crie seus prprios exemplos de fam o lias contveis An de subconjuntos de R e estude seus limAn , limAn a e lim An , se este existir.
n
1.2
Sistemas de Conjuntos
c o Seja X um conjunto no-vazio e (X) a coleao de todos os seus subconjuntos (incluindo o vazio e o prprio X). Uma a e e subcoleao C de conjuntos de X, ou seja, C (X), dita ser um sistema de conjuntos em X. Dizemos que C fechado c por unies se para todos A, B C valer A B C. Falamos, analogamente, em sistemas de conjuntos fechados por o intersecoes, diferenas ou diferenas simtricas. Se C (X) for tal que Ac X \ A for um elemento de C sempre que c c c e A C, dizemos que C fechado por complementos. e
Dado um conjunto no-vazio X, h, naturalmente, muitos sistemas de conjuntos em X, mas freq entemente estamos a a u interessados em sistemas que possuam determinadas propriedades espec cas, tipicamente a de serem fechados por certas operaoes, como unies, diferenas, intersecoes etc. No que segue, listaremos os sistemas de conjuntos de maior interesse c o c c na literatura: os chamados semi-anis de conjuntos, os anis de conjuntos, as lgebras de conjuntos, os -anis de e e a e conjuntos, as -lgebras de conjuntos, os sistemas montonos de conjuntos, as topologias, os ltros e os ultra-ltros. a o
Seguindo o esp rito geral deste cap tulo, o propsito aqui apenas o de listar denioes, propriedades e exemplos o e c elementares para futura referncia, dado que vrias das nooes aqui tratadas e suas aplicaoes sero aprofundadas em e a c c a cap tulos futuros. O estudo de topologias e -lgebras, por exemplo, de importncia central em Matemtica, ser a a a a aprofundado no Cap tulo 25, pgina 1224, e seguintes. a O emprego de palavras como anel e lgebra na designaao de certos sistemas de conjuntos que encontraremos a c adiante tem origem histrica em uma analogia observada por Hausdor24 entre certas operaoes envolvendo conjuntos, o c tais como unio e intersecao, e operaoes algbricas de soma e multiplicaao. Apesar disso, os conceitos de anel e lgebra a c c e c a de conjuntos no devem ser confundidos com os conceitos usuais de anel e de lgebra sobre os quais falaremos na Seao a a c 2.1.6, pgina 89. A analogia a que nos referimos acima a de que a operaao de unio de conjuntos disjuntos pode ser a e c a entendida como uma soma de conjuntos com um elemento neutro, a saber, o conjunto vazio (pois A = A para qualquer conjunto A). O papel de multiplicaao entre conjuntos seria exercido pela intersecao, onde novamente o c c
24 Felix
Hausdor (18681942).
Cap tulo 1
55/1979
conjunto vazio seria o elemento neutro (pois sempre A = ). Fazemos notar que essa analogia no possui nenhuma a relevncia particular e o emprego de palavras como anel e lgebra no contexto de sistemas de conjuntos , como a a e ocorre com a maioria dos vocbulos, um resqu fssil de idias passadas. a cio o e
1.2.1
Semi-Anis de Conjuntos e
Seja X um conjunto no-vazio. Uma coleao no-vazia S (X) de subconjuntos de X dita ser um semi-anel em X a c a e se possuir as seguintes propriedades: 1. Se A e B pertencem ` coleao S, ento A B tambm pertence ` coleao S. a c a e a c 2. Se A e B pertencem ` coleao S, ento existe um n N e coleao nita {Ca , a = 1, . . . , n}, de elementos disjuntos a c a c
n
de S tais que A \ B =
Ca .
a=1
Vamos a alguns exemplos elementares. O estudante suposto justicar as armaoes que seguem. e c Exemplo 1.3 Sejam , e trs objetos distintos (por exemplo, trs letras distintas do alfabeto grego). Seja X = e e {, , } e sejam S1 , {}, {}, {}, {, , } e S2 , {}, {, }, {, , } .
Ento S1 e S2 so semi-anis em X. a a e
Exemplo 1.4 Seja X = R e seja S a coleao composta pelo vazio e por todos os intervalos semi-abertos da forma c [a, b) R com < a < b < . Ento S um semi-anel segundo a deniao de acima. a e c Exemplo 1.5 Seja X = R e seja S a coleao composta pelo vazio e por todos os intervalos semi-abertos da forma c [a, b) R com < a < b . Ento S um semi-anel segundo a deniao de acima. a e c Exemplo 1.6 O anlogo dos exemplos de acima, substituindo os intervalos da forma [a, b) por intervalos da forma a (a, b]. Exemplo 1.7 Seja X = Rn e seja S a coleao composta pelo vazio e por todos os hipercubos semi-abertos da forma c [a1 , b1 ) [an , bn ) Rn com < aj < bj < para todo j = 1, . . . , n. Ento S um semi-anel segundo a a e deniao de acima. c Exemplo 1.8 O mesmo que o exemplo anterior, permitindo-se aos bj s serem innitos.
Exemplo 1.9 O anlogo aos dois exemplos anteriores, trocando-se alguns (ou todos) os intervalos [aj , bj ) por intervalos a (aj , bj ].
1.2.2
Anis de Conjuntos e
(X) de subconjuntos de X dita ser um anel em X se e
Seja X um conjunto no-vazio. Uma coleao no-vazia R a c a possuir as seguintes propriedades:
1. Se A e B pertencem ` coleao R, ento A B tambm pertence ` coleao R. a c a e a c 2. Se A e B pertencem ` coleao R, ento A \ B tambm pertence ` coleao R. a c a e a c
Cap tulo 1
56/1979
E de se observar que, pela deniao acima, todo anel contm o conjunto vazio entre seus elementos, pois se R um c e e anel e A R valer = A \ A R. a Exemplo 1.10 Seja X um conjunto no-vazio. Ento, as coleoes de conjuntos {}, {, X} e (X) so trs exemplos a a c a e (um tanto banais) de anis em X. Justique! e Todo anel em X um semi-anel em X. Provemos essa armaao. Para quaisquer conjuntos A e B vale A B = e c A B \ (A \ B) (B \ A) (vide (1.7)). Disso evidente que A B R caso A e B sejam elementos de R. Isso e estabelece a propriedade 1 da deniao de semi-anel. A propriedade 2 vlida trivialmente, pois se A, B R, ento c e a a C1 A \ B um elemento de R e, trivialmente, A \ B = C1 R. e A rec proca da armaao do ultimo pargrafo no sempre verdadeira: nem todo semi-anel um anel, um exemplo c a a e e e sendo dado pelo semi-anel do Exerc 1.4, acima (justique!). cio
A proposiao a seguir contm duas propriedades bsicas de anis e tambm fornece uma poss c e a e e vel caracterizaao c alternativa da noao de anel. c Proposio 1.13 Se X um conjunto no-vazio ento uma coleo R (X) um anel em X se e somente se para ca e a a ca e todos A, B R, valerem A B R e AB R. Prova. Seja R um anel em X e sejam A, B R. Como A B = A B \ (A \ B) (B \ A) (vide (1.7)) para quaisquer conjuntos A e B, segue que A B R. Analogamente, como AB = (A \ B) (B \ A), tambm vlida para quaisquer e a conjuntos A e B (vide 1.6), segue que AB R. Vamos agora supor que para todos A , B R, valem A B R e A B R. Por (1.8) vale A B = AB A B , provando que A B R caso A, B R. Por (1.9), vale A \ B = A A B , provando que A \ B R caso A, B R. Isso estabeleceu que R um anel em X. e
Segue diretamente das armaoes de acima que um anel fechado por unies e intersecoes nitas de seus elementos. c e o c Intersecoes de anis de conjuntos c e
Como antes, seja X um conjunto no-vazio e seja {R , } uma coleao de anis em X. Aqui, o conjunto de a c e ndices que indexa a coleao de anis pode ser arbitrrio, podendo no ser nem nito nem mesmo enumervel. Como cada c e a a a c c R (X). R um subconjunto de (X), podemos considerar a intersecao de todas essas coleoes de conjuntos: e
Como todo anel contm o conjunto vazio, claro que e e
R no-vazio (pois contm ao menos o conjunto vazio). O e a e
ponto importante para ns a seguinte proposiao: o e c Proposio 1.14 Seja X um conjunto no-vazio e seja {R , } uma coleo de anis em X. Ento ca a ca e a tambm um anel em X. e Prova. Se A, B so elementos de a pertencem a cada R e, portanto, a R , ento ambos pertencem a cada anel R . Logo, A B e A \ B tambm a e R . R e
O ponto central da demonstraao acima o fato de um anel ser denido como uma coleao de conjuntos fechada por c e c certas operaoes de conjuntos, a saber, a unio e a diferena. Como fcil perceber, isso implica que como R c a c e a e de se notar que tal argumentaao no se aplica a semi-anis: no-vazio, ser tambm fechado pelas mesmas operaoes. E a a e c c a e os mesmos no so denidos em termos de uma coleao de conjuntos fechada por certas operaoes (isso ca claro ao a a c c contemplarmos o item 2 da deniao de semi-anel). Com efeito, no verdade que intersecoes de semi-anis sempre c a e c e produzam novamente um semi-anel! O exemplo a seguir ilustra isso. Exemplo 1.11 Considere os semi-anis S1 e S2 do Exemplo 1.3, pgina 55. Tem-se S1 S2 = , {}, {, , } , e a
que no um semi-anel, pois {, , } \ {} = {, }, que no pode ser escrito como unio disjunta de elementos de a e a a S1 S2 .
Cap tulo 1
57/1979
Como antes, seja X um conjunto no-vazio e seja C (X) uma coleao no-vazia de subconjuntos de X. Existe a c a pelo menos um anel em X que contm C, a saber, (X). Portanto, a intersecao de todos os anis em X que contm C e c e e no-vazia, sendo tambm um anel em X (pela Proposiao 1.14). Esse anel assim denido o menor anel em X que e a e c e contm C e denominado o anel gerado em X pela coleao de conjuntos C, sendo denotado por R[C]. e e c
O anel gerado por uma coleo de conjuntos ca
1.2.3
Algebras de Conjuntos
Seja X um conjunto no-vazio. Uma coleao no-vazia A (X) de subconjuntos de X dita ser uma lgebra em X se a c a e a possuir as seguintes propriedades: 1. Se A e B pertencem ` coleao A, ento A B tambm pertence ` coleao A. a c a e a c 2. Se A A, ento Ac X \ A tambm pertence ` coleao A. a e a c A seguinte proposiao contm uma caracterizaao alternativa da noao de lgebra. c e c c a Proposio 1.15 Seja X um conjunto no-vazio. Uma coleo no-vazia A ca a ca a a lgebra em X se e somente se for um anel em X e se X A.
(X) de subconjuntos de X uma e
e a Reciprocamente, se R (X) um anel em X e X R, ento para todo A R vale R X \ A Ac , provando que R uma lgebra em X. e a Se A uma lgebra em X e A A, ento A A Ac = X. Assim, toda lgebra em X contm o prprio conjunto e a a a e o X. Como toda lgebra em X um anel em X, contm tambm o conjunto vazio. a e e e Exemplo 1.12 Seja X um conjunto no-vazio. Ento, as coleoes de conjuntos {, X} e (X) so dois exemplos (um a a c a tanto banais) de lgebras em X. Justique! a A lgebra gerada por uma coleo de conjuntos a ca
Prova. A propriedade de ser fechado por unies comum a anis a lgebras. Se A uma lgebra em X e A, B A, o e e a e a teremos A \ B = A B c = (Ac B)c . Como A fechada por unies e complementos, vemos por essa relaao que e o c A \ B A, provando que A um anel em X. e
Como antes, seja X um conjunto no-vazio e seja {A , } uma coleao de lgebras em X. Aqui, o conjunto a c a de ndices que indexa a coleao de lgebras pode ser arbitrrio, podendo no ser nem nito nem mesmo enumervel. c a a a a Notamos que a intersecao {A , } no-vazia, pois, como comentamos, toda lgebra em X contm e X. c e a a e Analogamente ao caso de anis, vale a seguinte proposiao: e c Proposio 1.16 Seja X um conjunto no-vazio e seja {A , } uma coleo de lgebras em X. Ento ca a ca a a tambm uma lgebra em X. e a Prova. Se A, B so elementos de a pertencem a cada A e, portanto, a A , ento ambos pertencem a cada lgebra A . Logo, A B e Ac tambm a a e A . A e
Novamente, o ponto central da demonstraao acima o fato de uma lgebra ser denida como uma coleao de c e a c conjuntos fechada por certas operaoes de conjuntos, a saber, a unio e o complemento. Como fcil perceber, isso c a e a e a a e c implica que como A no-vazio, ser tambm fechado pelas mesmas operaoes. c a Como antes, seja X um conjunto no-vazio e seja C (X) uma coleao no-vazia de subconjuntos de X. Existe a c a pelo menos uma lgebra em X que contm C, a saber, (X). Portanto, a intersecao de todos as lgebras em X que a e contm C no-vazia, sendo tambm uma lgebra em X (pela Proposiao 1.16). Essa lgebra assim denida a menor e e a e a c a e a lgebra em X que contm C e denominada a lgebra gerada em X pela coleao de conjuntos C, sendo denotada por e e a c A[C].
Cap tulo 1
58/1979
1.2.4
-Anis de Conjuntos e
Seja X um conjunto no-vazio. Uma coleao no-vazia R (X) de subconjuntos de X dita ser um -anel em X se a c a e possuir as seguintes propriedades: 1. R um anel em X. e a 2. Se {Aj R , j N} for uma coleao enumervel de elementos de R , ento c a
jN
Aj R .
Em palavras, podemos armar que um -anel um anel que tambm fechado por unies enumerveis de seus e e e o a elementos. Exemplo 1.13 Seja X um conjunto e no-enumervel e seja R a coleao de todos os subconjuntos enumerveis de X. a a c a Ento R um -anel em X. Justique! a e Todo -anel R em X possui o conjunto vazio entre seus elementos (por ser um anel, vide comentrio acima), mas a no necessariamente contm X. Um -anel em X que contenha o prprio X dito ser uma -lgebra em X. a e o e a Sobre a nomenclatura, o do nome -anel usado em funao da propriedade 2 da deniao, que se refere ao fato e c c de -anis serem fechados em relaao a operaoes envolvendo unies (omas) enumerveis de seus conjuntos. Aqui, o e c c o a ponto importante a enumerabilidade e, por isso, freqente encontrar-se o s e e u mbolo em outros objetos matemticos a para os quais a enumerabilidade desempenha algum papel (como na noao de -lgebra, adiante, e como na topologia c a denominada -fraca, por exemplo). A seguinte observaao simples sobre -anis ser util: c e a Proposio 1.17 Se R um -anel em X e {An R , n N} uma coleo contvel de elementos de R , ento ca e e ca a a An R . nN Prova. Isso segue facilmente da observaao que c An =
nN nN
A1 An
(1.4)
nN
A1 \ A1 \ An
(1.18)
A1 \
nN
A1 \ An
R ,
pela deniao de -anel. c
O -anel gerado por uma coleo de conjuntos ca
Como antes, seja X um conjunto no-vazio e seja {R , } uma coleao de -anis em X. Aqui, o conjunto a c e de ndices que indexa a coleao de -anis pode ser arbitrrio, podendo no ser nem nito nem mesmo enumervel. c e a a a Analogamente ao caso de anis, vale a seguinte proposiao: e c Proposio 1.18 Seja X um conjunto no-vazio e seja {R , } uma coleo de -aneis em X. Ento ca a ca a tambm um -anel em X. e Prova. Como cada R um anel, e
R e
R igualmente um anel, pela Proposiao 1.14, pgina 56. Se {Aj , j N} uma c a e e

jN
a coleao contvel de elementos de R , ento cada Aj pertence a cada -anel A . Logo, c a a cada R e, portanto, a A .
Aj tambm pertence e
Como antes, seja X um conjunto no-vazio e seja C (X) uma coleao no-vazia de subconjuntos de X. Existe a c a pelo menos um -anel em X que contm C, a saber, (X). Portanto, a intersecao de todas os -anis em X que contm e c e e C no-vazia, sendo tambm um -anel em X (pela Proposiao 1.18). Esse -anel assim denido a menor -anel em e a e c e X que contm C e denominado o -anel gerada em X pela coleao de conjuntos C, sendo denotada por R [C]. e e c
Cap tulo 1
59/1979
1.2.5
-Algebras de Conjuntos
Seja X um conjunto no-vazio. Uma coleao no-vazia A (X) de subconjuntos de X dita ser um -lgebra em X a c a e a se possuir as seguintes propriedades: 1. A um -anel em X. e 2. X A . Por ser um -anel, toda -lgebra contm o conjunto vazio entre seus elementos. Toda -lgebra em X uma lgebra a e a e a em X. De fato, se A uma -lgebra em X, ento A um anel em X (por ser um -anel em X) e contm X. Logo, e a a e e pela Proposiao 1.15, pgina 57, A uma lgebra em X. c a e a De posse dessas observaoes, podemos apresentar a deniao da noao de -lgebra sobre X da seguinte forma. Uma c c c a e a coleao A de subconjuntos de X, ou seja, A (X), dita ser uma -lgebra em X se os seguintes requisitos forem c satisfeitos: 1. A e X A . 2. Se A A ento Ac X \ A A . a 3. Se {Aj A , j N} uma coleao enumervel de elementos de A , ento e c a a Aj tambm um elemento de A . e e
jN
Exemplo 1.14 Seja X um conjunto no-vazio. Ento, as coleoes de conjuntos {, X} e (X) so dois exemplos (um a a c a tanto banais) de -lgebras em X. Justique! a Exemplo 1.15 Seja X um conjunto e enumervel e seja A a coleao de todos os subconjuntos enumerveis de X. a c a Ento A um -lgebra em X. Justique! a e a A seguinte observaao simples sobre -lgebras ser util: c a a Proposio 1.19 Se A uma -lgebra em X e {An A , n N} uma coleo contvel de elementos de A , ento ca e a e ca a a nN An A . Prova. Isso segue facilmente da observaao que c
c
An
nN
(1.22)
Ac n
nN
A ,
pela deniao de -lgebra. c a
Como antes, seja X um conjunto no-vazio e seja {A , } uma coleao de -lgebras em X. Aqui, o conjunto a c a de ndices que indexa a coleao de -lgebras pode ser arbitrrio, podendo no ser nem nito nem mesmo enumervel. c a a a a Notamos que a intersecao {A , } no-vazia, pois, como comentamos, toda -lgebra em X contm e X. c e a a e Analogamente ao caso de anis, vale a seguinte proposiao: e c Proposio 1.20 Seja X um conjunto no-vazio e seja {A , } uma coleo de -lgebras em X. Ento ca a ca a a tambm uma -lgebra em X. e e a A
A -lgebra gerada por uma coleo de conjuntos a ca
Cap tulo 1
60/1979
a a Prova. Se {Aj , j N} uma coleao contvel de elementos de A , ento cada Aj pertence a cada -lgebra A . e c a Logo, jN Aj tambm pertence a cada A e, portanto, a A . Analogamente, se A A , ento A pertence e a a cada A e, portanto, Ac tambm. Logo, Ac A . e Novamente, o ponto central da demonstraao acima o fato de uma lgebra ser denida como uma coleao de c e a c conjuntos fechada por certas operaoes de conjuntos, a saber, a unio e o complemento. Como fcil perceber, isso c a e a e a a e c implica que como A no-vazio, ser tambm fechado pelas mesmas operaoes. Como antes, seja X um conjunto no-vazio e seja C (X) uma coleao no-vazia de subconjuntos de X. Existe a c a c a pelo menos uma -lgebra em X que contm C, a saber, (X). Portanto, a intersecao de todas as -lgebras em X a e que contm C no-vazia, sendo tambm uma -lgebra em X (pela Proposiao 1.20). Essa -lgebra assim denida e e a e a c a a menor -lgebra em X que contm C e denominada a -lgebra gerada em X pela coleao de conjuntos C, sendo e a e e a c denotada por A [C]. *** Assim como a noao de topologia, a noao de -lgebra desempenha um papel central em Anlise, especialmente na c c a a Teoria da Medida e Integraao e na Teoria das Probabilidades. Por essa razo, seu estudo ser aprofundado no Cap c a a tulo 25, pgina 1224, e seguintes. a * ** * Ao apresentarmos as diversas denioes de acima observamos repetidamente que certos tipos de sistemas de conjuntos c so casos particulares de outros, por exemplo, observamos que todo anel um semi-anel, que toda lgebra um anel etc. a e a e O seguinte quadro rene essas observaoes de forma auto-explicativa: u c a lgebras -lgebras a anis e -anis e semi-anis e
1.2.6
Sistemas Montonos de Conjuntos o
Seja X um conjunto no-vazio. Uma coleao contvel {An X, n N} dita ser crescente se An Am sempre que a c a e n m e, nesse caso, temos lim An = An .
n nN
Vide Proposiao 1.12, pgina 53. Analogamente, uma coleao contvel {An X, n N} dita ser decrescente se c a c a e An Am sempre que n m e, nesse caso, temos
n
lim An =
nN
An .
Seja X um conjunto no-vazio. Uma coleao no-vazia C (X) de subconjuntos de X dita ser um sistema a c a e montono crescente (ou uma classe monnota crescente) de sub-conjuntos de X se para toda coleao contvel crescente o o c a {An C, n N} valer tambm que limn An C, ou seja, valer que nN An C. e
e o o Uma coleao no-vazia M (X) dita ser um sistema montono (ou classe montona) de sub-conjuntos de X se c a for simultameamente um sistema montono crescente e decrescente. o O sistema montono gerado por uma coleo de conjuntos o ca
Seja X um conjunto no-vazio. Uma coleao no-vazia D (X) de subconjuntos de X dita ser um sistema a c a e montono decrescente (ou uma classe monnota decrescente) de sub-conjuntos de X se para toda coleao contvel o o c a crescente {An D, n N} valer tambm que limn An D, ou seja, valer que nN An D. e
e o e c E elementar constatar que (X) um sistema montono em X. Com isso, v-se que toda coleao de sub-conjuntos de X est contida em um sistema montono em X (no pior dos casos, em (X)). a o
Cap tulo 1
61/1979
Com as observaoes dos dois ultimos pargrafos podemos constituir a noao de sistema montono gerado por uma c a c o coleo de conjuntos: se A (X) uma coleao de sub-conjuntos de X, denimos M[A], como sendo a intersecao de ca e c c todos os sistemas montonos que contm a coleao A. Claro est que M[A] igualmente um sistema montono, o menor o e c a e o sistema montono que contm A, denominado o sistema montono gerado por A. o e o Relao entre sistemas montonos, anis, lgebras, -anis e -lgebras ca o e a e a Temos o seguinte resultado: Proposio 1.21 Seja X no-vazio. Se um anel de conjuntos R em X um sistema montono em X, ento uma ca a e o a e -anel em X. Se uma lgebra de conjuntos A em X um sistema montono em X, ento uma -lgebra em X. a e o a e a
n
e e Observemos agora que se M , uma coleao de sistemas montonos em X, ento M tambm um e c o a sistema montono em X. De fato, se {An , n N} for uma coleao crescente ou decrescente de sub-conjuntos de X tal o c que para todo vale {An , n N} M , ento limnN An M tambm para todo . Ora, isso diz que se a e c a {An , n N} M , ento limnN An M , estabelecento a armaao desejada.
Prova. Seja R um anel e {An R, n N} uma coleao enumervel de elementos de R. Dena-se Bn = k=1 Ak , c a n N. Trata-se de uma coleao crescente de elementos de R. Assim, como R um sistema montono, limn Bn um c e o e e elemento de R. Porm, limn Bn = nN Bn = kN Ak . Assim, kN Ak R, provando que R um -anel. e A demostraao de que lgebras que sejam sistemas montonos so -lgebras idntica. c a o a a e e
Existem pelo menos tantos sistemas montonos quanto -lgebras ou -anis: o a e Proposio 1.22 Seja X no-vazio. Se uma coleo de conjuntos A ca a ca ento A um sistema montono em X. a e o
(X) um -anel ou uma -lgebra em X, e a
Prova. E claro pela deniao que todo -anel em X um sistema montono crescente em X e, pela Proposiao 1.17, c e o c pgina 58, tambm um sistema montono decrescente em X. E claro pela deniao que toda -lgebra em X um a e e o c a e sistema montono crescente em X e, pela Proposiao 1.19, pgina 59, tambm um sistema montono decrescente em o c a e e o X.
O Teorema das Classes Montonas o
O teorema a seguir tem conseqncias importantes na Teoria da Medida e Integraao, especialmente no que concerne ue c a extenses de certas medidas. o Proposio 1.23 (Teorema das Classes Montonas) Parte I. Seja X no-vazio e R um anel em X. Ento, vale ca o a a R [R] = M[R] , (1.30)
ou seja, o -anel gerado por um anel R coincide com o sistema montono gerado por R. o Parte II. Seja X no-vazio e A uma lgebra em X. Ento, vale a a a A [A] = M[A] = R [A] , ou seja, a -gebra gerada por uma lgebra A coincide com o sistema montono gerado por A e tambm com o -anel a a o e gerado por A.
Na demonstraao abaixo, seguiremos proximamente a argumentaao de [91], acrescentando e elucidando certos detac c lhes. Prova da Parte I. Como R [R] um -anel, um sistema montono (Proposiao 1.22, pgina 61). Como um sistema e e o c a e montono que contm R, tem-se que M[R] R [R]. o e
Cap tulo 1
62/1979
Desejamos provar que M[R] um -anel, pois sendo um -anel que contm R, valer R [R] M[R], pela deniao e e a c do -anel gerado R [R]. Pela Proposiao 1.21, pgina 61, suciente para tal provar que M[R] um anel, que o que c a e e e faremos no que segue. Para Y X, dena-se o seguinte sistema de conjuntos: H(Y ) := Z X Z \ Y M[R], Y \ Z M[R] e Y Z M[R] . (1.31)
E evidente pela simetria na deniao acima que c A H(B) B H(A) . Armamos que H(Y ) um sistema montono para cada Y X. Isso provado aps os seguintes passos: e o e o 1. Se {Zn H(Y ), n N} uma coleao crescente de elementos de H(Y ), teremos: e c (a) Zn
nN (1.19)
(1.32)
\Y
nN
Zn \ Y
M[R] ,
(1.33)
(b)
pois {Zn \ Y, n N} crescente e cada Zn \ Y elemento de M[R] (vide a deniao de H(Y ) em (1.31)). e e c Y \ Zn
nN (1.18)
nN
Y \ Zn
M[R] ,
(1.34)
(c)
pois {Y \ Zn , n N} decrescente e cada Y \ Zn elemento de M[R]. e e Zn

nN
(1.21)
nN
Zn Y
M[R] ,
(1.35)
pois {Zn Y, n N} crescente e cada Zn Y elemento de M[R]. e e As relaoes de pertinncia (1.33)(1.35) armam que c e crescente.
nN
Zn H(Y ), provando que H(Y ) um sistema montono e o
2. Se {Zn H(Y ), n N} uma coleao decrescente de elementos de H(Y ), teremos: e c (a) Zn

nN (1.19)
\Y
nN
Zn \ Y
M[R] ,
(1.36)
(b)
pois {Zn \ Y, n N} decrescente e cada Zn \ Y elemento de M[R] (vide a deniao de H(Y ) em (1.31)). e e c Y \ Zn
nN (1.18)
nN
Y \ Zn
M[R] ,
(1.37)
(c)
pois {Y \ Zn , n N} crescente e cada Y \ Zn elemento de M[R]. e e Zn

nN
(1.20)
nN
Zn Y
M[R] ,
(1.38)
pois {Zn Y, n N} decrescente e cada Zn Y elemento de M[R]. e e As relaoes de pertinncia (1.36)(1.38) armam que c e decrescente.
nN
Zn H(Y ), provando que H(Y ) um sistema montono e o
Cap tulo 1
63/1979
Isso estabeleceu que se {Zn H(Y ), n N} uma coleao crescente ou decrescente de elementos de H(Y ) seu limite e c estar em H(Y ), o que prova que H(Y ) um sistema montono. a e o Vamos agora provar que para todo A R vale M[R] H(A ) . (1.39) Se A , B R, valem, pela propriedade de anel A \ B R, B \ A R e A B R. Logo, A H(B) e B H(A ). Como a ultima relaao de pertinncia vlida para todo B R, conclu c e e a mos que R H(A ) . Como H(A ) um sistema montono, deve valer tambm e o e M[R] H(A ) , como quer amos mostrar, pois M[R] , por deniao, o menor sistema montono que contm R. e c o e Vamos agora estender esse pequeno resultado e provar que para todo A M[R] vale M[R] H(A) . (1.40) Se A M[R] e A R, (1.39) garante que A H(A ). Logo, por (1.32), vale tambm A H(A). Como isso verdadeiro e e para todo A R, estabelecemos que R H(A) . Como H(A) um sistema montono, isso implica que e o M[R] H(A) , como quer amos mostrar, pois M[R] , por deniao, o menor sistema montono que contm R. e c o e Com isso, podemos nalmente atingir nosso objetivo de provar que M[R] um anel. Como (1.40) vale para todo e A M[R], conclu mos de (1.40) e da deniao de H(A) que para todo B M[R] valem c B \ A M[R], A \ B M[R] e A B M[R] . Prova da Parte II. Pela Proposiao 1.15, pgina 57, A um anel e X A. Como A um anel, a Parte I garante que c a e e M[A] = R [A]. Observe-se agora que se X A, ento X R [A]. Logo, R [A] uma -lgebra (vide a deniao de a e a c -lgebra ` pgina 59). Isso implica que A [A] R [A], pois A [A] , por deniao, a menor -lgebra que contm A. a a a e c a e No entanto, como a -lgebra A [A] , tambm por deniao, um -anel, segue igualmente que R [A] A [A], pois a e e c R [A] , por deniao, o menor -anel que contm A. Isso provou que R [A] = A [A], completando a demonstraao. e c e c Como isso vlido para todos A, B M[R], conclu e a mos que M[R] um anel. Isso completou a prova da Parte I. e
1.2.7
Topologias
As topologias compe, sem dvida, o tipo mais importante de sistemas de conjuntos e a elas so dedicados o Cap o u a tulo 25, pgina 1224, e seguintes. Sua relevncia estende-se por toda a Matemtica. O que segue um brev a a a e ssimo resumo de denioes, pois mais desenvolvimentos, exemplos e motivaoes sero detalhados nos referidos cap c c a tulos. Para um texto dedicado ` histria da Topologia, vide [111]. a o e Uma coleao de subconjuntos de X, ou seja, (X), dito ser uma topologia em X se os seguintes requisitos c forem satisfeitos: 1. e X . 2. Se A e B ento A B . a 3. Se I um conjunto arbitrrio de e a ndices e A para todo I ento a A tambm um elemento de . e e
I
Cap tulo 1
64/1979
(X), a chamada topologia discreta. Para mais exemplos, vide Cap tulo 25, pgina 1224. a
Dois exemplos elementares de topologias em X so as coleoes {, X} (a chamada topologia trivial, ou indiscreta) e a c
Os elementos de uma topologia so denominados conjuntos -abertos, ou simplesmente -abertos, e um par (X, ) a composto por X e por uma topologia em X dito ser um espao topolgico. Se um subconjunto F X tal que F c , e c o e ento F dito ser um conjunto fechado, ou -fechado. a e Conjuntos -fechados
Sejam X um conjunto e uma topologia em X. Denotemos por F( ) a coleao de todos os conjuntos -fechados de c X, ou seja, a coleao de todos os conjuntos F de X tais que F c um -aberto. A coleao F( ) possui uma srie de c e c e propriedades especiais: 1. F( ) e X F( ). 2. Se F F( ) e G F( ) ento F G F( ). a 3. Se I um conjunto arbitrrio de e a ndices e F F( ) para todo I ento a F tambm um elemento de F( ). e e
I
A topologia gerada por uma coleo de conjuntos ca
Tambm para topologias vale o seguinte resultado, j descrito anteriormente para o caso de anis, lgebras e -lgebras. e a e a a e
Proposio 1.24 Seja X um conjunto no-vazio e seja { , } uma coleo de topologias em X. Ento ca a ca a tambm uma topologia em X. e
A proposiao acima encontra-se enunciada e demonstrada como a Proposiao 25.1 da pgina 1230. Uma de suas c c a conseqncias a seguinte observaao, que fornece o anlogo para topologias das nooes de anel gerado, de lgebra ue e c a c a gerada e de -lgebra gerada, das quais falamos acima. Seja A uma coleao qualquer de subconjuntos de X. Considere a c a coleao de todas as topologias que contm A como um subconjunto. Tal coleao no vazia, pois A (X) e (X) c e c a e uma topologia. Como vimos na Proposiao 1.24, a intersecao de todas essas topologias que contm A tambm uma e c c e e e topologia, a qual denotaremos por [A]. A topologia [A] chamada de topologia gerada por A. e
1.2.8
Filtros e Ultra-Filtros
A noao de ltro foi introduzida por H. Cartan25 em 193726 e desempenha um papel relevante em diversas reas, como, c a por exemplo, na Topologia (onde empregada na demonstraao do clebre Teorema de Tikhonov27 ) e mesmo na Lgica e c e o Matemtica. a Filtros
Seja X um conjunto no-vazio. Uma coleao F (X) dita ser um ltro em X se satiszer as seguintes condioes: a c e c
1. F mas X F. 2. Se A, B F, ento A B F. a 3. Se A F e B A, ento B F. a Note-se que os itens 1 e 2 informam-nos que se F um ltro em X e A, B F, ento A B = . Dentre os exemplos e a mais simples de ltros encontram-se os listados nos exerc cios que seguem.
Cartan (1904). Cartan, Thorie des ltres, Comptes Rendus Acad. Paris, 205, 595598 (1937), e Filtres et ultraltres, Comptes Rendus Acad. e Paris, 205, 777779 (1937). 27 Andrei Nikolaevich Tikhonov (19061993).
26 H. 25 Henri
Cap tulo 1
65/1979
a e a ca E. 1.52 Exerccio. Seja X um conjunto no-vazio e seja Y X, tambm no-vazio. Mostre que a coleo F de todos os conjuntos de X que contm Y como subconjunto (ou seja, F = {A X| A Y }) um ltro em X. e e E. 1.53 Exerccio. Seja X um conjunto innito e F a coleo de todos os conjuntos F X tais que F c X \ F seja ca nito. Mostre que F um ltro (denominado ltro de Frchet28 ). e e Ultra-ltros
Um ultra-ltro em X um ltro em X que no est contido propriamente em nenhum outro ltro em X. Em muitos e a a sentidos a noao de ultra-ltro mais relevante que a de ltro. c e
a Como ltros em X so subconjuntos de (X), os mesmos podem ser ordenados (parcialmente) por incluso. Ultraa lia ltros so, portanto, elementos maximais de (X) por esse ordenamento parcial. Dada uma fam linearmente ordenada a e de ltros em X, {F , }, elementar demonstrar que a unio de todos os ltros que compe a fam e a o lia F igualmente um ltro em X e que contm cada um dos ltros da fam em questo. Uma conseqncia imediata dessa e lia a ue observaao e do Lema de Kuratowski-Zorn, Lema 1.1, pgina 47, que todo ltro em X est contido em um ultra-ltro c a e a em X. A Proposiao 1.25 contm uma armaao fundamental sobre ultra-ltros: um ltro F em X um ultra-ltro em X c e c e se e somente se a seguinte propriedade for vlida: para todo A X, ou vale que A F ou que X \ A F. a Para sua demonstraao faremos uso do lema e corolrio seguintes: c a Lema 1.2 Seja X um conjunto no-vazio e seja F um ltro em X. Suponhamos que exista A X tal que A F e tal a que A F = para todo F F. Ento, a coleo de conjuntos dada por G := {B F | B X com B A e F F} a ca e um ltro em X. Alm disso, G contm F propriamente e contm A, ou seja, valem F G e A G. e e e Prova. Seja F um ltro em X e seja A X tal que A F e tal que A F = para todo F F.
Armamos agora que A G. Isso trivial, pois A = A X, sendo que A A e X F. Por m, armamos que F e um subconjunto prprio de G, ou seja, F G. De fato, se F F, ento F = X F , sendo que, obviamente, X A. e o a Isso provou que F G, mas recordando que A G com A F, estabelecemos que F G.
Seja G a coleao de todos os conjuntos da forma B F , onde B um conjunto de X que contm A e F um elemento c e e e de F, ou seja, G := {B F | B X com B A e F F}. Armamos que G um ltro. Para provar isso, observemos e em primeiro lugar que se B A e F G, ento B F A F = , o que prova que G. Analogamente, X G, pois a X = X X, sendo que X A e X F. Em segundo lugar, observemos que se B A, B A e F, F G, teremos que (B F ) (B F ) = (B B ) (F F ) G, pois B B A e pois F F G. Por m, se B A, F G e H X tal que B F H, ento A B H e H = H F , o que arma que H G. e a
Corolrio 1.1 Seja X um conjunto no-vazio e seja U um ultra-ltro em X. Se A X tal que A U, ento existe a a e a U U tal que A U = . Prova. Se valesse A U = para todo U U, poder amos evocar o Lema 1.2 e construir um ltro em X que contm U e propriamente, contradizendo a hiptese que U um ultra-ltro. o e Proposio 1.25 Seja X um conjunto no-vazio e seja F um ltro em X. Ento F um ultra-ltro em X se e somente ca a a e se a seguinte propriedade for vlida: para todo A X, ou vale que A F ou que X \ A F. a Prova. Parte 1. Provaremos que se F um ultra-ltro, ento para todo A X, ou vale que A F ou que X \ A F. e a
A prova feita por absurdo. Suponhamos que A X fosse tal que A F e que Ac X \ A F. Pelo Corolrio e a 1.1, existiriam F1 , F2 F tais que A F1 = e que Ac F2 = . Naturalmente, ter amos tambm A (F1 F2 ) = e e
28 Maurice
Ren Frchet (18781973). e e
Cap tulo 1
66/1979
Ac (F1 F2 ) = . Logo, valeria = A (F1 F2 ) Ac (F1 F2 ) = (A Ac ) (F1 F2 ) = X (F1 F2 ) = F1 F2 .
Agora, a armaao que F1 F2 = com F1 , F2 F contradiz a hiptese de que F um ltro, demonstrando, assim, a c o e armaao desejada. c Parte 2. Provaremos que se F um ltro, e possui a propriedade que A X, ou vale que A F ou que X \ A F, e ento F um ultra-ltro. a e Novamente a prova feita por absurdo. Se F no fosse um ultra-ltro, ento estaria contido propriamente em um e a a ultra-ltro U. Assim, existe um conjunto A X tal que A U, mas com A F (pois F U). Pela hiptese, como A F o deve valer que Ac F e, portanto, que Ac U, pois F um subconjunto de U. Mas pela armaao da parte 1, vale que e c Ac U, pois A U e U um ultra-ltro. Isso uma contradiao que mostra que F no pode estar contido propriamente e e c a em um ultra-ltro, ou seja, mostra que F um ultra-ltro. e A Proposiao 1.25 permite-nos apresentar um exemplo elementar de ultra-ltro. c Exemplo 1.16 Sejam X no-vazio e x X. Seja Ux = {U X| x U } = {U X| U {x}}. Pelo Exerc E. 1.52, a cio pgina 65, Ux um ltro. Agora, dado A X, ou tem-se que x A ou que x Ac , ou seja, ou vale que A Ux ou que a e Ac Ux . Pela Proposiao 1.25, segue que Ux um ultra-ltro. c e
Cap tulo 1
67/1979
Apndices e
1.A A Frmula de Inverso de Mbius o a o
Seja X um conjunto no-vazio e seja (X) a coleao de todos os subconjuntos de X, incluindo o vazio. Em muitas a c c situaoes deparamos com funoes denidas em (X) assumindo valores em R ou em C. Nesta seao demonstraremos c c a elegante frmula de inverso de Mbius29 , a qual possui diversas aplicaoes em Mecnica Estat o a o c a stica (expanses de o pol meros e de clusters, expanses de Mayer30 ), em Teorias de Campos, na Teoria de Probabilidades e na Anlise o a Combinatria. o Se A um conjunto nito, denotaremos por |A| a cardinalidade de A, ou seja, o n mero de elementos de A. Natue u ralmente, || = 0. Note que se A B = , ento |A B| = |A| + |B|. a Lema 1.3 Seja M um conjunto nito (podendo eventualmente ser vazio) e seja f uma funo real ou complexa denida ca em M . Ento, vale a 1 + f (m) = f (n) , (1.A.1)
mM N M nN
com a conveno ca
x f (x)
1. Uma conseqncia importante de (1.A.1) a relao ue e ca (1 + a)|M| =

N M
a|N | ,
(1.A.2)
vlida para todo a real ou complexo, a qual tem por implicaes a expresso a co a |(M )| = 2|M| , assim como a importante relao ca (1)|N | =
N M
(1.A.3)
0, 1,
se M = , se M = .
(1.A.4)
Prova do Lema 1.3. A relaao (1.A.1) pode ser provada por induao no nmero de elementos de M . Ele naturalmente c c u a vlida para |M | = 0 e para |M | = 1 e vlida tambm para |M | = 2, pois se M = {m1 , m2 }, (1 + f (m1 ))(1 + f (m2 )) = a e a e 1 + f (m1 )+ f (m2 )+ f (m1 )f (m2 ), que tem a forma do lado direito de (1.A.1), como facilmente se v, pois os subconjuntos e de M so , {m1 }, {m2 } e {m1 , m2 }. Seja ento M = {m1 , . . . , ml }, com |M | = l, sendo l > 2, e suponha que (1.A.1) a a j tenha sido estabelecida para conjuntos com l 1 elementos. Teremos a
l1
1 + f (m)
mM
= =
j=1
1 + f (mj ) 1 + f (ml ) f (n) +
N0 {m1 , ..., ml1 } nN0
f (n) 1 + f (ml ) f (n) ,

N {m1 , ..., ml } nN
f (n) f (ml ) =
N0 {m1 , ..., ml1 } nN0
N0 {m1 , ..., ml1 } nN0
como facilmente se v. A relaao (1.A.2) evidente caso M = e, caso M = , ela segue de (1.A.1) para a funao e c e c constante denida por f (m) = a para todo m M . A relaao (1.A.3) segue de (1.A.2) tomando-se a = 1. A relaao c c (1.A.4) evidente no caso M = . No caso M = , ela segue de (1.A.2) tomando-se a = 1. e
Ferdinand Mbius (17901868). o Eduard Mayer (19041983) e Maria Goeppert-Mayer (19061972). Vide J. E. Mayer and M. G. Mayer, Statistical Mechanics, Wiley, New York, (1940). Vide tambm [97]. e
30 Joseph 29 August
Cap tulo 1
68/1979
Proposio 1.26 (Frmula de Inverso de Mbius) Seja X um conjunto no-vazio e nito e seja F : (X) C ca o a o a uma funo complexa (ou real) denida em (X). Seja G : (X) C denida por ca G(B) :=
A: AB
(1)|A| F (A)
(1.A.5)
para todo B X. Ento vale a para todo C X.
F (C) =
B: BC
(1)|B| G(B) ,
(1.A.6)
A funao G denida em (1.A.5) por vezes dita ser a transformada de Mbius da funao F . A expresso (1.A.6) c e o c a e denominada frmula de inverso de Mbius. Por (1.A.6) vemos que a transformada de Mbius tem a si mesmo como o a o o inversa. A frmula de inverso de Mbius permite obter facilmente identidades combinatrias cuja demonstraao pode o a o o c no ser to simples por outros meios. a a Prova da Proposio 1.26. Pelas denioes, ca c (1)|B| G(B)
B: BC
=
B: BC A: AB
(1)|B| (1)|A| F (A)
=
A: AC B: BA
(1)|B| (1)|A| F (A)
=
A: AC
(1)|A| F (A)
B: CBA
(1)|B|
=
A: AC
(1)|A| F (A) F (A)
B : B C\A
(1)|AB |
B A=
A: AC (1.A.4)
B : B C\A
(1)|B |
F (C) .
Para a ultima igualdade, note que A C e C \ A = implicam A = C. Na quarta igualdade usamos que se B tal que e C B A, ento B pode ser escrito como a unio disjunta B = A B com B C \ A e, portanto, |B| = |A| + |B |. a a E. 1.54 Exerccio. Usando (1.A.6), prove que se C um conjunto nito, ento e a (1)|B|
B: BC
(B) = (1)|C| ,
(1.A.7)
com a conveno que () = {} e, portanto, ca
() = 1. Por (1.A.3), a expresso (1.A.7) arma que a

(2)|B| = (1)|C| ,
B: BC
(1.A.8)
A identidade (1.A.8) pode tambm ser provada diretamente de (1.A.2) tomando-se a = 2. e

NC Cap01

Transféré par

Informations du document

Titre original

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

NC Cap01

Transféré par

Droits d'auteur :

Formats disponibles

Cap tulo 1 Nooes Conjuntivistas Bsicas c a

Conjuntos, Relaoes e Funoes c c

JCABarata. Curso de F sica-Matemtica a

Verso de 28 de maro de 2012. a c

tambm para todos A, B X. Verique! e

JCABarata. Curso de F sica-Matemtica a

Verso de 28 de maro de 2012. a c

JCABarata. Curso de F sica-Matemtica a

Verso de 28 de maro de 2012. a c

Seja f : X Y uma funao. Se A X, denimos c f (A) := y Y | y = f (x) para algum x A . x X| f (x) B .

JCABarata. Curso de F sica-Matemtica a

Verso de 28 de maro de 2012. a c

Operaoes bsicas com fam c a lias de conjuntos

x X tal que x A para todo I

B As relaes, (1.18) implicam co

Essas ultimas relaes so conhecidas como regras de De Morgan3 . co a

As seguintes proposioes so importantes e freqentemente usadas: c a u

JCABarata. Curso de F sica-Matemtica a

Verso de 28 de maro de 2012. a c

Se B Y para todo , ento a f 1

f 1 (B \ C) = f 1 (B) \ f 1 (C) . f (A \ B) = f (A) \ f (B) .

JCABarata. Curso de F sica-Matemtica a

Verso de 28 de maro de 2012. a c

Ai , dado pela unio a

de todos os pares ordenados (a, i) com i I, a Ai , ou seja, Ai :=

Produtos Cartesianos Gerais

JCABarata. Curso de F sica-Matemtica a

Verso de 28 de maro de 2012. a c

Como discutiremos, o Axioma da Escolha arma que o produto Cartesiano

como sendo o conjunto de todas as funoes f : {1, 2, . . . , n} c

Aj satisfazendo f (j) Aj para todo j {1, . . . , n}.

A funao f tem, por assim dizer, o papel de ordenar os elementos de c

Aj tomando-se sucessivamente um elemento de

Aj f (x) Ax para todo x I

Friedrich Ferdinand Zermelo (18711953).

JCABarata. Curso de F sica-Matemtica a

Verso de 28 de maro de 2012. a c

Ainda sobre a notaao, o produto Cartesiano c

ser denotado por a

(a ). Assim, se I = {1, . . . , n} teremos

tambm denotado por e e

Comentrio sobre a associatividade do produto Cartesiano a

Relaes de Compatibilidade e de Incompatibilidade (ou de Dependncia) co e

JCABarata. Curso de F sica-Matemtica a

Verso de 28 de maro de 2012. a c

Relaoes de equivalncia parciais c e

JCABarata. Curso de F sica-Matemtica a

Verso de 28 de maro de 2012. a c

JCABarata. Curso de F sica-Matemtica a

Verso de 28 de maro de 2012. a c

JCABarata. Curso de F sica-Matemtica a

Verso de 28 de maro de 2012. a c

JCABarata. Curso de F sica-Matemtica a

Verso de 28 de maro de 2012. a c

JCABarata. Curso de F sica-Matemtica a

Verso de 28 de maro de 2012. a c

a ento forosamente a = b. a c b por b a.

Tambm denota-se a relaao a e c

Obtendo conjuntos ordenados parcialmente de conjuntos pr-ordenados e

JCABarata. Curso de F sica-Matemtica a

Verso de 28 de maro de 2012. a c

estabelece uma relao de ordem total em N. ca

estabelece uma relao de ordem total em R. ca