Você está na página 1de 37

Nmeros Naturais

Pertencem ao conjunto dos naturais os nmeros inteiros positivos, incluindo o zero. Esse conjunto representado pela letra N maiscula. Os elementos dos conjuntos devem estar sempre entre chaves. N = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, ... } - Quando for representar o Conjunto dos Naturais no nulos (excluindo o zero) devemos colocar * ao lado do N. Representado assim: N* = {1, 2,3 ,4 ,5 ,6 ,7 ,8 ,9 ,10 ,11 ,12, ... } A reticncia indica que sempre possvel acrescentar mais um elemento. N = {0, 1, 2, 3, 4, 5, 6, ...} ou N = {0, 1, 2, 3, 4, 5, 6, 7, ... } Qualquer que seja o elemento de N, ele sempre tem um sucessor. Tambm falamos em antecessor de um nmero. 6 o sucessor de 5. 7 o sucessor de 6. 19 antecessor de 20. 47 o antecessor de 48. Como todo nmero natural tem um sucessor, dizemos que o conjunto N infinito. Quando um conjunto finito? O conjunto dos nmeros naturais maiores que 5 infinito: {6, 7, 8, 9, ...} J o conjunto dos nmeros naturais menores que 5 finito: {0, 1, 2, 3, 4} Veja mais alguns exemplos de conjuntos finitos. O conjunto dos alunos da classe. O conjunto dos professores da escola. O conjunto das pessoas que formam a populao brasileira. Por Danielle de Miranda Graduada em Matemtica Equipe Brasil Escola

Nmeros Inteiros
A evoluo dos nmeros, assim como a dos conjuntos numricos, ocorreu de modo a colaborar com a necessidade da humanidade. Os nmeros inteiros apareceram quando os nmeros naturais no satisfaziam todas as

necessidades, como, por exemplo, para suprir a inexistncia de nmeros negativos no conjunto d

Os nmeros inteiros positivos foram os primeiros nmeros trabalhados pela humanidade e tinham como finalidade contar objetos, animais, enfim, elementos do contexto histrico no qual se encontravam. O conjunto dos nmeros inteiros positivos recebe o nome de conjunto dos nmeros naturais. Sendo ele: ={0,1,2,3,4,5,6} Enquanto que o conjunto dos nmeros inteiros contempla tambm os inteiros negativos, constituindo o seguinte conjunto: ={,-8,-7,-6,-5,-4,-3,-2,-1,0,1,2,3,4,5,6,7,8} Os nmeros inteiros esto presentes at hoje em diversas situaes do cotidiano da humanidade, como, por exemplo, para medir temperaturas, contar dinheiro, marcar as horas, etc. Sua importncia indiscutvel. Diante disso, buscaremos estudar todas as propriedades desse conjunto numrico que existe h tanto tempo, perpassando pela teoria de conjuntos, interseco de conjuntos numricos, entre outros conceitos que fazem parte desse contedo.

Por Gabriel Alessandro de Oliveira Graduado em Matemtica

R7.com

Notcias Entretenimento Esportes Vdeos Rede Record E-mail

Receba novidades em seu e-mail


Digite seu nome Digite seu e-mail

OK

Procure no site rea do usurio

Digite aqui para b

Brasil Escola Vestibular Educador Monografias Exerccios Meu Artigo Guerras Cidades Cursos Shopping
Home Matemtica Conjuntos Numricos Nmeros Racionais

ESPECIAIS

Bactrias Dengue Hora do Planeta Idade Mdia

DISCIPLINAS

Artes Biografias Biologia Espanhol Educao Fsica Filosofia Fsica Geografia Geografia do Brasil Gramtica

Histria Histria da Amrica Histria do Brasil Histria Geral Ingls Italiano Literatura Matemtica Portugus Qumica Redao Sociologia

ENEM

Correo Enem 2011 Gabarito Enem Simulado do Enem

VESTIBULAR

Guia de Profisses Notcias Vestibular ProUni Resumos de Livros Simulado Universidades

EDUCADOR

Orientao Escolar Gesto Educacional Trabalho Docente Estratgia de Ensino

CONCURSOS

Inscries Abertas Vagas Nacionais

MAIS PESQUISAS

Acordo Ortogrfico Animais Cultura Curiosidades Datas Comemorativas Dicas de Estudo Doenas Drogas Economia e Finanas Educao Frutas Informtica Mitologia

Pscoa Poltica Psicologia Religio Regras da ABNT Sexualidade Sade e Bem-estar

Nmeros Racionais

Interseo dos conjuntos: Naturais, Inteiros e Racionais.

Os nmeros decimais so aqueles nmeros que podem ser escritos na forma de frao. Podemos escrev-los de algumas formas diferentes: Por exemplo:

Em forma de frao ordinria:

e todos os seus opostos.

Esses nmeros tm a forma

com a , b

Z e b 0.

Nmeros decimais com finitas ordens decimais ou extenso finita:

Esses nmeros tm a forma

com a , b

Z e b 0.

Nmero decimal com infinitas ordens decimais ou de extenso infinita peridica. So dzimas peridicas simples ou compostas:

As dzimas peridicas de expanso infinita podem ser escritas na forma -O

: com a, b

Z e b 0.

conjunto dos nmeros racionais representado pela letra Q maiscula. , com a Z e b Z*}

Q = {x =

- Outros subconjuntos de Q:
Alm de N e Z, existem outros subconjuntos de

Q.

Q* ---------- o conjunto dos nmeros racionais diferentes de zero. Q+ ---------- o conjunto dos nmeros racionais positivos e o zero. Q- ----------- o conjunto dos nmeros racionais negativos e o zero. Q*+ ---------- o conjunto dos nmeros racionais positivos. Q*- ----------- o conjunto dos nmeros racionais negativos.
- Representao Geomtrica

Entre dois nmeros racionais existem infinitos outros nmeros racionais.

Por Danielle de Miranda Graduada em Matemtica Equipe Brasil Escola

R7.com

Notcias Entretenimento Esportes Vdeos Rede Record E-mail

Receba novidades em seu e-mail


Digite seu nome Digite seu e-mail

OK

Procure no site rea do usurio

Digite aqui para b

Brasil Escola Vestibular Educador Monografias Exerccios Meu Artigo Guerras Cidades Cursos Shopping
Home

Matemtica Conjuntos Numricos Nmeros Reais

ESPECIAIS

Bactrias Dengue Hora do Planeta Idade Mdia

DISCIPLINAS

Artes Biografias Biologia Espanhol Educao Fsica Filosofia Fsica Geografia Geografia do Brasil Gramtica Histria Histria da Amrica Histria do Brasil Histria Geral Ingls Italiano Literatura Matemtica Portugus Qumica Redao Sociologia

ENEM

Correo Enem 2011 Gabarito Enem Simulado do Enem

VESTIBULAR

Guia de Profisses Notcias Vestibular ProUni Resumos de Livros

Simulado Universidades

EDUCADOR

Gesto Educacional Trabalho Docente Estratgia de Ensino Orientao Escolar

CONCURSOS

Inscries Abertas Vagas Nacionais

MAIS PESQUISAS

Acordo Ortogrfico Animais Cultura Curiosidades Datas Comemorativas Dicas de Estudo Doenas Drogas Economia e Finanas Educao Frutas Informtica Mitologia Pscoa Poltica Psicologia Religio Regras da ABNT Sexualidade Sade e Bem-estar

Nmeros Reais
O conjunto dos nmeros reais surge para designar a unio do conjunto dos nmeros racionais e o conjunto dos nmeros irracionais. importante lembrar que o conjunto dos nmeros racionais formado pelos seguintes conjuntos: Nmeros Naturais e Nmeros Inteiros. Vamos exemplificar os conjuntos que unidos formam os nmeros reais. Veja: Nmeros Naturais (N): 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, .... Nmeros Inteiros (Z): ..., 8, 7, 6, 5, 4, 3, 2, 1, 0, 1, 2, 3, 4, 5, 6, 7, 8, ..... Nmeros Racionais (Q): 1/2, 3/4, 0,25, 5/4, Nmeros Irracionais (I): 2, 3, 5, 1,32365498...., 3,141592....

Podemos concluir que o conjunto dos nmeros reais a unio dos seguintes conjuntos:

ou

Os nmeros reais podem ser representados por qualquer nmero pertencente aos conjuntos da unio acima. Essas designaes de conjuntos numricos existem no intuito de criar condies de resoluo de equaes e funes. As solues devem ser dadas obedecendo padres matemticos e de acordo com a condio de existncia da incgnita na expresso. Por Marcos No Graduado em Matemtica Equipe Brasil Escola

Nmeros Irracionais

Em meio infinidade de nosso sistema numrico, temos diversos nmeros com suas peculiaridades: entre eles, os nmeros irracionais. O surgimento do conjunto dos nmeros irracionais proveniente de uma discusso acerca do clculo da diagonal de um quadrado de lado 1, surgindo, assim, o problema para

Nmeros irracionais, responsveis por um grande desenvolvimento na Matemtica

Todo nmero decimal um nmero irracional? Para as pessoas que tm dvida quanto a isso, veremos, neste artigo, como definir o conjunto dos nmeros irracionais e observaremos alguns exemplos de nmeros importantes na matemtica, que so constantes irracionais.

Os nmeros irracionais so aqueles que no podem ser representados por meio de uma frao. O surgimento desses nmeros veio de um antigo problema que Pitgoras se recusava a aceitar, que era o clculo da diagonal de um quadrado, cujo lado mede 1 unidade, diagonal esta que mede 2. Este nmero deu incio ao estudo de um novo conjunto, representado pelos nmeros irracionais.

Hoje em dia, pensamos: Nossa, mas encontrar o valor de 2 to fcil, basta usarmos a calculadora. Entretanto, na poca em que comearam estes estudos, o nico mecanismo para encontrar os valores das razes quadradas envolvia os nmeros quadrados (2,3,4, ). Com o estudo contnuo dos elementos da matemtica, os matemticos se depararam com a necessidade de calcular o comprimento de uma circunferncia; e com clculos contnuos, notaram que um nmero se repetia para qualquer que fosse a circunferncia, nmero este que outrora foi denominado de nmero pi (). Esse nmero encontrado atravs da razo do comprimento pelo dimetro da circunferncia.

Esse um dos nmeros que foi citado no incio do texto: a constante de fundamental importncia para a rea de geometria e trigonometria. Veremos alguns exemplos de nmeros irracionais e notaremos que a sua parte decimal no possui nenhuma estrutura que possa ser fundamentada em forma de frao, assim como ocorre em fraes peridicas. Constantes irracionais ou nmeros transcendentais:

Nmeros irracionais obtidos pela raiz quadrada de um nmero:

Estes so os nmeros irracionais, cujo valor da ltima casa decimal nunca saberemos.

Operaes entre Nmeros Inteiros


O conjunto dos nmeros inteiros formado pelos algarismos inteiros positivos e negativos e o zero. Eles so importantes para o cotidiano, principalmente nas situaes envolvendo valores negativos, como escalas de temperatura, saldos bancrios, indicaes de altitude em relao ao nvel do mar, entre outras situaes. As adies e subtraes envolvendo estes nmeros, requerem a utilizao de regras matemticas envolvendo os sinais positivos (+) e negativos (). Devemos tambm dar nfase ao estudo do mdulo de um nmero, que significa trabalhar o valor absoluto de um algarismo, observe: Vamos determinar o mdulo dos nmeros a seguir: Mdulo de + 4 = |+4| = 4 Mdulo de 6 = |6| = 6 Mdulo de 10 = |10| = 10 Mdulo de +20 = |+20|=20 Adio e subtrao de nmeros inteiros sem a presena de parnteses. 1 propriedade sinais iguais: soma e conserva o sinal. 2 propriedade sinais diferentes: subtrai e conserva o sinal do nmero de maior mdulo. + 5 + 6 = + 11 1 propriedade + 9 + 10 = +19 1 propriedade 6 + 2 = 4 2 propriedade + 9 7 = +2 2 propriedade 3 5 = 8 1 propriedade 18 12 = 30 1 propriedade Adio e subtrao de nmeros inteiros com a presena de parnteses. Para eliminarmos os parnteses devemos realizar um jogo de sinal, observe: +(+)=+ +()= (+)= ()=+ Aps a eliminao dos parnteses, basta aplicarmos a 1 ou a 2 propriedade. + (+9) + (6) + 9 6 + 3 ( 8) (+6) +8 6 +2 + ( 14) ( 8) 14 + 8 6 (+ 22) ( 7) 22 + 7 15 ( + 9 ) + ( 12) 9 12 21 Por Marcos No Graduado em Matemtica Equipe Brasil Escola

Teoria dos conjuntos


Origem: Wikipdia, a enciclopdia livre. Ir para: navegao, pesquisa

Um diagrama de Venn ilustrando a interseo de dois conjuntos.

Teoria dos conjuntos o ramo da matemtica que estuda conjuntos, que so colees de elementos. Embora qualquer tipo de elemento possa ser reunido em um conjunto, a teoria dos conjuntos aplicada na maioria das vezes a elementos que so relevantes para a matemtica. A linguagem da teoria dos conjuntos pode ser usada nas definies de quase todos os elementos matemticos. O estudo moderno da teoria dos conjuntos foi iniciado por Georg Cantor e Richard Dedekind em 1870. Aps a descoberta de paradoxos na teoria ingnua dos conjuntos, numerosos sistemas de axiomas foram propostos no incio do sculo XX, dos quais os axiomas de Zermelo-Fraenkel, com o axioma da escolha, so os mais conhecidos. Conceitos de teoria dos conjuntos so integrados em todo currculo de matemtica nos Estados Unidos. Fatos elementares sobre conjuntos e associao de conjuntos so frequentemente ensinados na escola primria, junto com diagramas de Venn, diagramas de Euler, e as operaes elementares, tais como unio e interseo de conjunto. Conceitos ligeiramente mais avanados, tais como cardinalidade so uma parte padro do currculo de matemtica de graduao. A teoria dos conjuntos comumente empregada como um sistema precursor da matemtica, particularmente na forma de teoria dos conjuntos de Zermelo-Fraenkel com o axioma da escolha. Alm de seu papel fundamental, a teoria dos conjuntos um ramo da matemtica em si prpria, com uma comunidade de pesquisa ativa. Pesquisas contemporneas em teoria dos conjuntos incluem uma diversa coleo de temas, variando da estrutura do nmero real ao estudo da consistncia de grandes cardinais.

A lgica de classes, que pode ser considerada um pequeno fragmento da teoria dos conjuntos com importncia histrica isomorfa lgica proposicional clssica e lgebra booleana, e como tal, os teoremas de uma das teorias possuem anlogos nas outras duas.[1][2] Exemplos:

equivale a equivale a equivale a

. . .

equivale a equivale a equivale a equivale a .

. . .

[editar] Histria
Temas matemticos geralmente surgem e evoluem atravs de interaes entre muitos pesquisadores. Teoria dos conjuntos, no entanto, foi fundada por um nico artigo em 1874 por Georg Cantor: "A respeito de uma propriedade caracterstica de todos os nmeros algbricos reais".[3][4] Desde o sculo V a.C., comeando com o matemtico grego Zeno de Eleia no ocidente e matemticos indianos no oriente, os matemticos tm se debatido com o conceito de infinito. Especialmente notvel o trabalho de Bernard Bolzano[5] na primeira metade do sculo XIX. A compreenso moderna do conceito de infinito em matemtica comeou em 186771, com os trabalhos de Cantor em teoria dos nmeros, teoria das funes e sries trigonomtricas[6]. Um encontro em 1872 entre Cantor e Richard Dedekind influenciou o pensamento de Cantor e culminou no artigo de Cantor 1874. O trabalho de Cantor inicialmente dividiu os matemticos de sua poca. Enquanto Karl Weierstrass e Dedekind apoiavam Cantor, Leopold Kronecker, hoje visto como um dos fundadores do construtivismo matemtico, era contra. A teoria dos conjuntos cantoriana, afinal, tornou-se amplamente difundida, devido utilidade dos conceitos cantorianos, tais como correspondncia um-para-um entre conjuntos, sua prova de que h mais nmeros reais que inteiros, e a "infinidade de infinitos" ("paraso de Cantor") que a operao conjunto das partes d origem. A onda de entusiasmo seguinte na teoria dos conjuntos chegou por volta de 1900, quando foi descoberto que a teoria dos conjuntos Cantoriana dava origem a vrias contradies, chamadas antinomias ou paradoxos. Bertrand Russell e Ernst Zermelo encontraram o paradoxo mais simples e mais conhecido paradoxo, hoje chamado paradoxo de Russell que envolve "o conjunto de todos os conjuntos que no so membros de si mesmos". Isto leva a uma contradio, uma vez que ele deve ser e no ser um membro de si mesmo. Em 1899 Cantor se questionou: "qual o nmero cardinal do conjunto de todos os conjuntos?" e obteve um paradoxo relacionado. A fora da teoria dos conjuntos foi tal que o debate sobre os paradoxos no a levou ao abandono. O trabalho de Zermelo em 1908 e Abraham Fraenkel em 1922 resultou na teoria axiomtica dos conjuntos cannica ZFC, que imagina-se ser livre de paradoxos. O trabalho de analistas, como Henri Lebesgue, demonstrou a grande utilidade matemtica da teoria dos conjuntos.

[editar] Conceitos bsicos

Ver artigo principal: Conjunto

Teoria dos conjuntos comea com uma fundamental relao binria entre um objeto o e um conjunto A. Se o um membro (ou elemento) de A, ns escrevemos o A. Uma vez que conjuntos so objetos, a relao de pertinncia tambm pode relacionar conjuntos. Uma relao binria derivada entre dois conjuntos a relao subconjunto, tambm chamada 'est contido'. Se todos os elementos do conjunto A tambm so elementos do conjunto B, ento A um subconjunto de B, denotado por A B. Por exemplo, {1,2} um subconjunto de {1,2,3} , mas {1,4} no . A partir desta definio, bvio que um conjunto um subconjunto de si mesmo; nos casos em que se deseja evitar isso, o termo subconjunto prprio definido para excluir esta possibilidade. Assim como a aritmtica caracteriza operaes binrias sobre nmeros, teoria dos conjuntos caracteriza operaes binrias sobre conjuntos. O (A):

Unio dos conjuntos A e B, denotada por A B, o conjunto de todos os objetos que so membros de A, ou B, ou ambos. A unio de {1, 2, 3} e {2, 3, 4} o conjunto {1, 2, 3, 4}. Interseo dos conjuntos A e B, denotada por A B, o conjunto de todos os objetos que so membros de ambos A e B. A interseo de {1, 2, 3} e {2, 3, 4} o conjunto {2, 3}. Diferena de conjuntos de U e A, denotada por U \ A o conjunto de todos os membros de U que no so membros de A. A diferena de conjuntos {1,2,3} \ {2,3,4} {1}, enquanto a diferena de conjuntos {2,3,4} \ {1,2,3} {4}. Quando A um subconjunto de U, a diferena de conjuntos U \ A tambm chamada de complemento de A em U. Neste caso, se a escolha de U clara a partir do contexto, a notao Ac algumas vezes usada no lugar de U \ A, particularmente se U um conjunto universo como no estudo de diagramas de Venn. Diferena simtrica dos conjuntos A e B o conjunto de todos os objetos que so membros de exatamente um de A e B (elementos que esto em um dos conjuntos, mas no em ambos). Por exemplo, para os conjuntos {1,2,3} e {2,3,4}, o conjunto diferena simtrica {1,4}. o conjunto diferena da unio e da interseo,, (A B) \ (A B). Produto cartesiano de A e B, denotada por A B, o conjunto cujos membros so todos os possveis pares ordenados (a,b) onde a um membro de A e b um membro de B. Conjunto das partes de um conjunto A o conjunto cujos membros so todos os possveis subconjuntos de A. Por exemplo, o conjunto das partes de {1, 2} { {}, {1}, {2}, {1,2} }.

Alguns conjuntos bsicos de importncia central so o conjunto vazio (o nico conjunto que no contm elementos), o conjunto de nmeros naturais, e o conjunto de nmeros reais.

[editar] Um pouco de ontologia


Ver artigo principal: Universo de von Neumann

Um segmento inicial da hierarquia de von Neumann.

Um conjunto puro se todos os seus membros so conjuntos, todos os membros de seus membros so conjuntos, e assim por diante. Por exemplo, o conjunto {{}} contendo apenas o conjunto vazio um conjunto no vazio puro. Na teoria dos conjuntos moderna, comum restringir a ateno para o universo de von Neumann de conjuntos puros, e muitos sistemas da teoria axiomtica dos conjuntos so projetados para axiomatizar apenas os conjuntos puros. H muitas vantagens tcnicas com esta restrio, e pequena generalidade perdida, uma vez que, essencialmente, todos os conceitos matemticos podem ser modelados por conjuntos puros. Conjuntos no universo de von Neumann so organizados em uma hierarquia cumulativa, com base em quo profundamente seus membros, os membros de membros, etc, so aninhados. A cada conjunto nesta hierarquia atribudo (por recurso transfinita) um nmero ordinal a, conhecido como a sua 'classe'. A classe de um conjunto puro X definida como sendo uma mais do que o [[menor limitante superior] das classes de todos os membros de X. Por exemplo, ao conjunto vazio atribuida a classe 0, enquanto ao conjunto {{}} contendo somente o conjunto vazio atribuda classe 1. Para cada a, o conjunto Va definido como consistindo de todos os conjuntos puros com classe menor que a. O universo de von Neumann como um todo denotado por V.

[editar] Teoria axiomtica dos conjuntos


Teoria elementar dos conjuntos pode ser estudada de maneira informal e intuitiva, e por isso pode ser ensinado nas escolas primrias usando, por exemplo, diagramas de Venn. A abordagem intuitiva pressupe que um conjunto pode ser formado a partir da classe de todos os objetos que satisfaam uma condio particular de definio. Esta hiptese d origem a paradoxos, os mais simples e mais conhecidos dos quais so o paradoxo de Russell e o paradoxo de Burali-Forti. Teoria axiomtica dos conjuntos foi originalmente concebida para livrar a teoria dos conjuntos de tais paradoxos.[7] Os sistemas mais amplamente estudados da teoria axiomtica dos conjuntos implicam que todos os conjuntos formam uma hierarquia cumulativa. Tais sistemas vm em dois sabores, aqueles cuja ontologia consiste de:

Conjuntos sozinhos. Estes incluem a mais comum teoria axiomtica dos conjuntos, teoria dos conjuntos de Zermelo-Fraenkel (ZFC), que inclui o axioma da escolha. Fragmentos de ZFC incluem: o Teoria de conjuntos de Zermelo, que substitui o esquema de axiomas da substituio com o da separao; o Teoria geral dos conjuntos, um pequeno fragmento da teoria de conjuntos de Zermelo suficiente para os axiomas de Peano e conjuntos finitos; o Teoria dos conjuntos de Kripke-Platek, que omite os axiomas do infinitude, conjunto das partes, e escolha, e enfraquece os esquemas de axiomas da separao e substituio. Conjuntos e classes prprias. Estes incluem a teoria dos conjuntos de Von NeumannBernays-Gdel, que tem a mesma fora que ZFC para teoremas sobre conjuntos sozinhos, e teoria dos conjuntos de Morse-Kelley, que mais forte do que ZFC.

Os sistemas acima podem ser modificados para permitirem urelementos, objetos que podem ser membros de conjuntos, mas que no so eles prprios conjuntos e no tem nenhum membro. Os sistemas de Novos Fundamentos NFU (permitindo urelementos) e NF (faltando eles) no so baseadas em uma hierarquia cumulativa. NF e NFU incluem um"conjunto de tudo", em relao a qual cada conjunto tem um complemento. Nestes sistemas urelementos importam, porque NF, mas no NFU, produz conjuntos para os quais o axioma da escolha no se verifica. Sistemas da teoria dos conjuntos construtiva, como CST, CZF e IZF, firmam seus conjuntos de axiomas na lgica intuicionista em vez da lgica de primeira ordem. No entanto, outros sistemas admitem por padro a lgica de primeira ordem, mas apresentam uma relao membro no-padro. Estes incluem a teoria grosseira dos conjuntos e a teoria dos conjuntos difusa, na qual o valor de uma formula atmica incorporando a relao de filiao no simplesmente Verdadeiro ou Falso. Os modelos de valores Booleanos de ZFC so um assunto relacionado.

[editar] Aplicaes
Quase todos os conceitos matemticos so agora definidos formalmente em termos de conjuntos e conceitos tericos de conjuntos. Por exemplo, as estruturas matemticas to diversas como grafos, variedade, anis, e espaos vetoriais so todos definidos como conjuntos contendo vrias propriedades (axiomticas). Equivalncia e relaes de ordem so onipresentes na matemtica, e a teoria das relaes inteiramente baseada na teoria dos conjuntos. A teoria dos conjuntos tambm um sistema fundamental para muito da matemtica. Desde a publicao do primeiro volume de Principia Mathematica, que tem sido afirmado que a maioria ou mesmo todos os teoremas matemticos podem ser derivados usando um conjunto adequadamente projetado de axiomas para a teoria dos conjuntos, aumentado com muitas definies, usando lgica de primeira ordem ou segunda ordem. Por exemplo, as propriedades do nmeros naturais e reais podem ser obtidas da teoria dos conjuntos, j que cada sistema de nmeros pode ser identificado como um conjunto de classes de equivalncia sob uma relao de equivalncia adequada cujo campo algum conjunto infinito.

Teoria dos conjuntos como base para a anlise matemtica, topologia, lgebra abstrata e matemtica discreta igualmente incontroversa; matemticos aceitam que (a princpio) teoremas nestas reas podem ser derivadas das definies pertinentes e dos axiomas da teoria dos conjuntos. Algumas derivaes completas de teoremas de complexidade matemtica foram formalmente verificados a partir da teoria dos conjuntos, no entanto, tais derivaes formais so muitas vezes mais extensas que do que as provas matemticas de linguagem natural comumente presentes. Um projeto de verificao, Metamath, inclui derivaes de mais de 10.000 teoremas a partir dos axiomas de ZFC e usando lgica de primeira ordem.

[editar] reas de estudo


Teoria dos conjuntos a principal rea de pesquisa na matemtica, com muitas subreas inter-relacionados.

[editar] Teoria dos conjuntos combinatria


Ver artigo principal: Combinatria

Teoria dos conjuntos combinatria preocupa-se com extenses da combinatria finita para conjuntos infinitos. Isto inclui o estudo da aritmtica de cardinais e o estudo de extenses do teorema de Ramsey tais como o teorema de Erdos-Rado.

[editar] Teoria descritiva dos conjuntos


Ver artigo principal: Teoria descritiva dos conjuntos

Teoria descritiva dos conjuntos o estudo de subconjuntos da reta real e dos subconjuntos dos espaos poloneses. Ela comea com o estudo das [[pointclass]es na hierarquia de Borel e se estende ao estudo de hierarquias mais complexas, como a hierarquia projetiva e a hierarquia de Wadge. Muitas propriedades dos conjuntos de Borel podem ser estabelecidas em ZFC, , mas a prova de que essas propriedades se verificam para conjuntos mais complicados requer axiomas adicionais relacionados com determinismo e grandes cardinais. O campo da teoria descritiva dos conjuntos efetiva est entre a teoria dos conjuntos e a teoria da recurso. Ele inclui o estudo de lightface pointclasses, e est intimamente relacionado com a teoria hiperaritmtica. Em muitos casos, os resultados da teoria descritiva dos conjuntos clssica tm verses efetivas; em alguns casos, novos resultados so obtidos provando pela verso efetiva primeiro e depois estendendo-os ("relativizando-os") para torn-la mais amplamente aplicveis. Uma rea recente de pesquisa diz respeito a relaes de equivalncia de Borel e relaes de equivalncia decidveis mais complicadas. Isto tem importantes aplicaes para o estudo de invariantes em muitos campos da matemtica.

[editar] Teoria dos conjuntos difusa

Ver artigo principal: Teoria dos conjuntos difusa

Na teoria dos conjuntos como Cantor definiu e Zermelo e Fraenkel axiomatizaram, um objeto ou um membro de um conjunto ou no. Em teoria dos conjuntos difusa esta condio foi relaxada por Lotfi A. Zadeh, ento um objeto tem um grau de pertinncia em um conjunto, como nmero entre 0 e 1. Por exemplo, o grau de pertinncia de uma pessoa no conjunto de "pessoas altas" mais flexvel do que um simples sim ou no resposta e pode ser um nmero real, tal como 0,75.

[editar] Teoria do modelo interno


Ver artigo principal: Teoria do modelo interno

Um modelo interno da teoria dos conjuntos de Zermelo-Fraenkel (ZF) uma classe transitiva que inclui todos os ordinais e satisfaz todos os axiomas de ZF. O exemplo cannico o Universo construvel L desenvolvido por Gdel. Uma das razes que torna o estudo de modelos internos interessante que ele pode ser usado para provar resultados de consistncia. Por exemplo, pode-se mostrar que, independentemente se um modelo V da ZF satisfaz a hiptese do contnuum ou o axioma da escolha, o modelo interno L construdo dentro do modelo original ir satisfazer tanto a hiptese do continuum generalizada quanto o axioma da escolha. Assim, a suposio de que ZF consistente (tem qualquer modelo que seja) implica que ZF juntamente com estes dois princpios consistente. O estudo de modelos de interior comum no estudo do determinismo e grandes cardinais, especialmente quando se considera axiomas que contradizem o axioma da escolha. Mesmo que um modelo fixo da teoria dos conjuntos satisfaz o axioma da escolha, possvel que um modelo interno falhe em satisfazer o axioma da escolha. Por exemplo, a existncia de cardinais suficientemente grandes implica que h um modelo interno satisfazendo o axioma do determinismo (e, portanto, no satisfazendo o axioma da escolha).[8]

[editar] Grandes cardinais


Ver artigo principal: Propriedade de grande cardinal

Um grande cardinal um nmero cardinal transfinito cujo carter de "muito grande" est dado por uma propriedade extra, denominada propriedade de grande cardinal. Muitas destas propriedades so particularmente estudadas, incluindo cardinais inacessveis, cardinais mensurveis, cardinais compactos, entre outras. A existncia de um cardinal com uma dessas propriedades no pode ser demonstrada na teoria dos conjuntos de Zermelo-Fraenkel, ZF, se ZF consistente.

[editar] Determinismo
Ver artigo principal: Determinismo

Determinismo refere-se ao fato de que, sob os pressupostos adequados, certos dois jogadores so determinados desde o incio no sentido de que um jogador deve ter uma estratgia vencedora. A existncia dessas estratgias tem conseqncias importantes na teoria descritiva dos conjuntos, como a suposio de que uma classe mais ampla de jogos ser determinada muitas vezes implica que uma classe mais ampla de conjuntos possui uma propriedade topolgica. O axioma do determinismo (AD) um importante objeto de estudo, embora incompatvel com o axioma da escolha, AD implica que todos os subconjuntos da reta real so bem comportados (em particular, mensurveis e com a propriedade de conjunto perfeito). AD pode ser usado para provar que os graus de Wadge tm uma estrutura alinhada.

[editar] Foramento
Ver artigo principal: Foramento

Paul Cohen inventou o mtodo de foramento enquanto procura por um modelo de ZFC em que o axioma da escolha ou a hiptese do contnuum falhe. Forando a adio de conjuntos adicionais a algum determinado modelo da teoria dos conjuntos de modo a criar um modelo maior, com propriedades determinadas (isto "foradas") pelo modelo original e pela construo. Por exemplo, a construo de Cohen uniu subconjuntos adicionais dos nmeros naturais sem mudar qualquer dos nmeros cardinais do modelo original. Foramento tambm um dos dois mtodos para provar consistncia relativa por mtodos finitstico, sendo o outro os modelos de valores Booleanos.

[editar] Invariantes cardinais


Ver artigo principal: Invariante cardinal

Invariante cardinal uma propriedade da reta real medida por um nmero cardinal. Por exemplo, uma invariante bem estudado a menor cardinalidade de uma coleo de conjuntos magros de reais cuja unio toda a reta real. Estes so invariantes no sentido de que quaisquer dois modelos da teoria dos conjuntos isomorfos deve dar o mesmo cardinal para cada invariante. Muitos invariantes cardinais foram estudados, e as relaes entre eles so muitas vezes complexas e relacionadas com os axiomas da teoria dos conjuntos.

[editar] Topologia
Ver artigos principais: Topologia (matemtica) e Topologia

Topologia estuda questes de topologia geral que so de teoria dos conjuntos em sua natureza ou que requerem mtodos avanados da teoria dos conjuntos para sua soluo. Muitos desses teoremas so independentes de ZFC, exigindo axiomas mais fortes para a sua prova. Um famoso problema o problema do espao de Moore, uma questo na topologia geral que foi objecto de intensa pesquisa. A resposta para este problema acabou por ser provada ser independente de ZFC.

Teoria dos conjuntos

Origem: Wikipdia, a enciclopdia livre. Ir para: navegao, pesquisa

Um diagrama de Venn ilustrando a interseo de dois conjuntos.

Teoria dos conjuntos o ramo da matemtica que estuda conjuntos, que so colees de elementos. Embora qualquer tipo de elemento possa ser reunido em um conjunto, a teoria dos conjuntos aplicada na maioria das vezes a elementos que so relevantes para a matemtica. A linguagem da teoria dos conjuntos pode ser usada nas definies de quase todos os elementos matemticos. O estudo moderno da teoria dos conjuntos foi iniciado por Georg Cantor e Richard Dedekind em 1870. Aps a descoberta de paradoxos na teoria ingnua dos conjuntos, numerosos sistemas de axiomas foram propostos no incio do sculo XX, dos quais os axiomas de Zermelo-Fraenkel, com o axioma da escolha, so os mais conhecidos. Conceitos de teoria dos conjuntos so integrados em todo currculo de matemtica nos Estados Unidos. Fatos elementares sobre conjuntos e associao de conjuntos so frequentemente ensinados na escola primria, junto com diagramas de Venn, diagramas de Euler, e as operaes elementares, tais como unio e interseo de conjunto. Conceitos ligeiramente mais avanados, tais como cardinalidade so uma parte padro do currculo de matemtica de graduao. A teoria dos conjuntos comumente empregada como um sistema precursor da matemtica, particularmente na forma de teoria dos conjuntos de Zermelo-Fraenkel com o axioma da escolha. Alm de seu papel fundamental, a teoria dos conjuntos um ramo da matemtica em si prpria, com uma comunidade de pesquisa ativa. Pesquisas contemporneas em teoria dos conjuntos incluem uma diversa coleo de temas, variando da estrutura do nmero real ao estudo da consistncia de grandes cardinais.

A lgica de classes, que pode ser considerada um pequeno fragmento da teoria dos conjuntos com importncia histrica isomorfa lgica proposicional clssica e lgebra booleana, e como tal, os teoremas de uma das teorias possuem anlogos nas outras duas.[1][2] Exemplos:

equivale a equivale a equivale a equivale a equivale a equivale a equivale a . .

. . .

. .

ndice
[esconder]

1 Histria 2 Conceitos bsicos 3 Um pouco de ontologia 4 Teoria axiomtica dos conjuntos 5 Aplicaes 6 reas de estudo o 6.1 Teoria dos conjuntos combinatria o 6.2 Teoria descritiva dos conjuntos o 6.3 Teoria dos conjuntos difusa o 6.4 Teoria do modelo interno o 6.5 Grandes cardinais o 6.6 Determinismo o 6.7 Foramento o 6.8 Invariantes cardinais o 6.9 Topologia 7 Objees teoria dos conjuntos como fundamento para a matemtica 8 Ver tambm 9 Referncias 10 Leituras adicionais 11 Ligaes externas

[editar] Histria
Temas matemticos geralmente surgem e evoluem atravs de interaes entre muitos pesquisadores. Teoria dos conjuntos, no entanto, foi fundada por um nico artigo em 1874 por Georg Cantor: "A respeito de uma propriedade caracterstica de todos os nmeros algbricos reais".[3][4] Desde o sculo V a.C., comeando com o matemtico grego Zeno de Eleia no ocidente e matemticos indianos no oriente, os matemticos tm se debatido com o conceito de infinito. Especialmente notvel o trabalho de Bernard Bolzano[5] na primeira metade do sculo XIX. A compreenso moderna do conceito de infinito em matemtica comeou em 186771, com os trabalhos de Cantor em teoria dos nmeros, teoria das

funes e sries trigonomtricas[6]. Um encontro em 1872 entre Cantor e Richard Dedekind influenciou o pensamento de Cantor e culminou no artigo de Cantor 1874. O trabalho de Cantor inicialmente dividiu os matemticos de sua poca. Enquanto Karl Weierstrass e Dedekind apoiavam Cantor, Leopold Kronecker, hoje visto como um dos fundadores do construtivismo matemtico, era contra. A teoria dos conjuntos cantoriana, afinal, tornou-se amplamente difundida, devido utilidade dos conceitos cantorianos, tais como correspondncia um-para-um entre conjuntos, sua prova de que h mais nmeros reais que inteiros, e a "infinidade de infinitos" ("paraso de Cantor") que a operao conjunto das partes d origem. A onda de entusiasmo seguinte na teoria dos conjuntos chegou por volta de 1900, quando foi descoberto que a teoria dos conjuntos Cantoriana dava origem a vrias contradies, chamadas antinomias ou paradoxos. Bertrand Russell e Ernst Zermelo encontraram o paradoxo mais simples e mais conhecido paradoxo, hoje chamado paradoxo de Russell que envolve "o conjunto de todos os conjuntos que no so membros de si mesmos". Isto leva a uma contradio, uma vez que ele deve ser e no ser um membro de si mesmo. Em 1899 Cantor se questionou: "qual o nmero cardinal do conjunto de todos os conjuntos?" e obteve um paradoxo relacionado. A fora da teoria dos conjuntos foi tal que o debate sobre os paradoxos no a levou ao abandono. O trabalho de Zermelo em 1908 e Abraham Fraenkel em 1922 resultou na teoria axiomtica dos conjuntos cannica ZFC, que imagina-se ser livre de paradoxos. O trabalho de analistas, como Henri Lebesgue, demonstrou a grande utilidade matemtica da teoria dos conjuntos.

[editar] Conceitos bsicos


Ver artigo principal: Conjunto

Teoria dos conjuntos comea com uma fundamental relao binria entre um objeto o e um conjunto A. Se o um membro (ou elemento) de A, ns escrevemos o A. Uma vez que conjuntos so objetos, a relao de pertinncia tambm pode relacionar conjuntos. Uma relao binria derivada entre dois conjuntos a relao subconjunto, tambm chamada 'est contido'. Se todos os elementos do conjunto A tambm so elementos do conjunto B, ento A um subconjunto de B, denotado por A B. Por exemplo, {1,2} um subconjunto de {1,2,3} , mas {1,4} no . A partir desta definio, bvio que um conjunto um subconjunto de si mesmo; nos casos em que se deseja evitar isso, o termo subconjunto prprio definido para excluir esta possibilidade. Assim como a aritmtica caracteriza operaes binrias sobre nmeros, teoria dos conjuntos caracteriza operaes binrias sobre conjuntos. O (A):

Unio dos conjuntos A e B, denotada por A B, o conjunto de todos os objetos que so membros de A, ou B, ou ambos. A unio de {1, 2, 3} e {2, 3, 4} o conjunto {1, 2, 3, 4}.

Interseo dos conjuntos A e B, denotada por A B, o conjunto de todos os objetos que so membros de ambos A e B. A interseo de {1, 2, 3} e {2, 3, 4} o conjunto {2, 3}. Diferena de conjuntos de U e A, denotada por U \ A o conjunto de todos os membros de U que no so membros de A. A diferena de conjuntos {1,2,3} \ {2,3,4} {1}, enquanto a diferena de conjuntos {2,3,4} \ {1,2,3} {4}. Quando A um subconjunto de U, a diferena de conjuntos U \ A tambm chamada de complemento de A em U. Neste caso, se a escolha de U clara a partir do contexto, a notao Ac algumas vezes usada no lugar de U \ A, particularmente se U um conjunto universo como no estudo de diagramas de Venn. Diferena simtrica dos conjuntos A e B o conjunto de todos os objetos que so membros de exatamente um de A e B (elementos que esto em um dos conjuntos, mas no em ambos). Por exemplo, para os conjuntos {1,2,3} e {2,3,4}, o conjunto diferena simtrica {1,4}. o conjunto diferena da unio e da interseo,, (A B) \ (A B). Produto cartesiano de A e B, denotada por A B, o conjunto cujos membros so todos os possveis pares ordenados (a,b) onde a um membro de A e b um membro de B. Conjunto das partes de um conjunto A o conjunto cujos membros so todos os possveis subconjuntos de A. Por exemplo, o conjunto das partes de {1, 2} { {}, {1}, {2}, {1,2} }.

Alguns conjuntos bsicos de importncia central so o conjunto vazio (o nico conjunto que no contm elementos), o conjunto de nmeros naturais, e o conjunto de nmeros reais.

[editar] Um pouco de ontologia


Ver artigo principal: Universo de von Neumann

Um segmento inicial da hierarquia de von Neumann.

Um conjunto puro se todos os seus membros so conjuntos, todos os membros de seus membros so conjuntos, e assim por diante. Por exemplo, o conjunto {{}} contendo apenas o conjunto vazio um conjunto no vazio puro. Na teoria dos conjuntos

moderna, comum restringir a ateno para o universo de von Neumann de conjuntos puros, e muitos sistemas da teoria axiomtica dos conjuntos so projetados para axiomatizar apenas os conjuntos puros. H muitas vantagens tcnicas com esta restrio, e pequena generalidade perdida, uma vez que, essencialmente, todos os conceitos matemticos podem ser modelados por conjuntos puros. Conjuntos no universo de von Neumann so organizados em uma hierarquia cumulativa, com base em quo profundamente seus membros, os membros de membros, etc, so aninhados. A cada conjunto nesta hierarquia atribudo (por recurso transfinita) um nmero ordinal a, conhecido como a sua 'classe'. A classe de um conjunto puro X definida como sendo uma mais do que o [[menor limitante superior] das classes de todos os membros de X. Por exemplo, ao conjunto vazio atribuida a classe 0, enquanto ao conjunto {{}} contendo somente o conjunto vazio atribuda classe 1. Para cada a, o conjunto Va definido como consistindo de todos os conjuntos puros com classe menor que a. O universo de von Neumann como um todo denotado por V.

[editar] Teoria axiomtica dos conjuntos


Teoria elementar dos conjuntos pode ser estudada de maneira informal e intuitiva, e por isso pode ser ensinado nas escolas primrias usando, por exemplo, diagramas de Venn. A abordagem intuitiva pressupe que um conjunto pode ser formado a partir da classe de todos os objetos que satisfaam uma condio particular de definio. Esta hiptese d origem a paradoxos, os mais simples e mais conhecidos dos quais so o paradoxo de Russell e o paradoxo de Burali-Forti. Teoria axiomtica dos conjuntos foi originalmente concebida para livrar a teoria dos conjuntos de tais paradoxos.[7] Os sistemas mais amplamente estudados da teoria axiomtica dos conjuntos implicam que todos os conjuntos formam uma hierarquia cumulativa. Tais sistemas vm em dois sabores, aqueles cuja ontologia consiste de:

Conjuntos sozinhos. Estes incluem a mais comum teoria axiomtica dos conjuntos, teoria dos conjuntos de Zermelo-Fraenkel (ZFC), que inclui o axioma da escolha. Fragmentos de ZFC incluem: o Teoria de conjuntos de Zermelo, que substitui o esquema de axiomas da substituio com o da separao; o Teoria geral dos conjuntos, um pequeno fragmento da teoria de conjuntos de Zermelo suficiente para os axiomas de Peano e conjuntos finitos; o Teoria dos conjuntos de Kripke-Platek, que omite os axiomas do infinitude, conjunto das partes, e escolha, e enfraquece os esquemas de axiomas da separao e substituio. Conjuntos e classes prprias. Estes incluem a teoria dos conjuntos de Von NeumannBernays-Gdel, que tem a mesma fora que ZFC para teoremas sobre conjuntos sozinhos, e teoria dos conjuntos de Morse-Kelley, que mais forte do que ZFC.

Os sistemas acima podem ser modificados para permitirem urelementos, objetos que podem ser membros de conjuntos, mas que no so eles prprios conjuntos e no tem nenhum membro. Os sistemas de Novos Fundamentos NFU (permitindo urelementos) e NF (faltando eles) no so baseadas em uma hierarquia cumulativa. NF e NFU incluem um"conjunto de tudo", em relao a qual cada conjunto tem um complemento. Nestes sistemas

urelementos importam, porque NF, mas no NFU, produz conjuntos para os quais o axioma da escolha no se verifica. Sistemas da teoria dos conjuntos construtiva, como CST, CZF e IZF, firmam seus conjuntos de axiomas na lgica intuicionista em vez da lgica de primeira ordem. No entanto, outros sistemas admitem por padro a lgica de primeira ordem, mas apresentam uma relao membro no-padro. Estes incluem a teoria grosseira dos conjuntos e a teoria dos conjuntos difusa, na qual o valor de uma formula atmica incorporando a relao de filiao no simplesmente Verdadeiro ou Falso. Os modelos de valores Booleanos de ZFC so um assunto relacionado.

[editar] Aplicaes
Quase todos os conceitos matemticos so agora definidos formalmente em termos de conjuntos e conceitos tericos de conjuntos. Por exemplo, as estruturas matemticas to diversas como grafos, variedade, anis, e espaos vetoriais so todos definidos como conjuntos contendo vrias propriedades (axiomticas). Equivalncia e relaes de ordem so onipresentes na matemtica, e a teoria das relaes inteiramente baseada na teoria dos conjuntos. A teoria dos conjuntos tambm um sistema fundamental para muito da matemtica. Desde a publicao do primeiro volume de Principia Mathematica, que tem sido afirmado que a maioria ou mesmo todos os teoremas matemticos podem ser derivados usando um conjunto adequadamente projetado de axiomas para a teoria dos conjuntos, aumentado com muitas definies, usando lgica de primeira ordem ou segunda ordem. Por exemplo, as propriedades do nmeros naturais e reais podem ser obtidas da teoria dos conjuntos, j que cada sistema de nmeros pode ser identificado como um conjunto de classes de equivalncia sob uma relao de equivalncia adequada cujo campo algum conjunto infinito. Teoria dos conjuntos como base para a anlise matemtica, topologia, lgebra abstrata e matemtica discreta igualmente incontroversa; matemticos aceitam que (a princpio) teoremas nestas reas podem ser derivadas das definies pertinentes e dos axiomas da teoria dos conjuntos. Algumas derivaes completas de teoremas de complexidade matemtica foram formalmente verificados a partir da teoria dos conjuntos, no entanto, tais derivaes formais so muitas vezes mais extensas que do que as provas matemticas de linguagem natural comumente presentes. Um projeto de verificao, Metamath, inclui derivaes de mais de 10.000 teoremas a partir dos axiomas de ZFC e usando lgica de primeira ordem.

[editar] reas de estudo


Teoria dos conjuntos a principal rea de pesquisa na matemtica, com muitas subreas inter-relacionados.

[editar] Teoria dos conjuntos combinatria


Ver artigo principal: Combinatria

Teoria dos conjuntos combinatria preocupa-se com extenses da combinatria finita para conjuntos infinitos. Isto inclui o estudo da aritmtica de cardinais e o estudo de extenses do teorema de Ramsey tais como o teorema de Erdos-Rado.

[editar] Teoria descritiva dos conjuntos


Ver artigo principal: Teoria descritiva dos conjuntos

Teoria descritiva dos conjuntos o estudo de subconjuntos da reta real e dos subconjuntos dos espaos poloneses. Ela comea com o estudo das [[pointclass]es na hierarquia de Borel e se estende ao estudo de hierarquias mais complexas, como a hierarquia projetiva e a hierarquia de Wadge. Muitas propriedades dos conjuntos de Borel podem ser estabelecidas em ZFC, , mas a prova de que essas propriedades se verificam para conjuntos mais complicados requer axiomas adicionais relacionados com determinismo e grandes cardinais. O campo da teoria descritiva dos conjuntos efetiva est entre a teoria dos conjuntos e a teoria da recurso. Ele inclui o estudo de lightface pointclasses, e est intimamente relacionado com a teoria hiperaritmtica. Em muitos casos, os resultados da teoria descritiva dos conjuntos clssica tm verses efetivas; em alguns casos, novos resultados so obtidos provando pela verso efetiva primeiro e depois estendendo-os ("relativizando-os") para torn-la mais amplamente aplicveis. Uma rea recente de pesquisa diz respeito a relaes de equivalncia de Borel e relaes de equivalncia decidveis mais complicadas. Isto tem importantes aplicaes para o estudo de invariantes em muitos campos da matemtica.

[editar] Teoria dos conjuntos difusa


Ver artigo principal: Teoria dos conjuntos difusa

Na teoria dos conjuntos como Cantor definiu e Zermelo e Fraenkel axiomatizaram, um objeto ou um membro de um conjunto ou no. Em teoria dos conjuntos difusa esta condio foi relaxada por Lotfi A. Zadeh, ento um objeto tem um grau de pertinncia em um conjunto, como nmero entre 0 e 1. Por exemplo, o grau de pertinncia de uma pessoa no conjunto de "pessoas altas" mais flexvel do que um simples sim ou no resposta e pode ser um nmero real, tal como 0,75.

[editar] Teoria do modelo interno


Ver artigo principal: Teoria do modelo interno

Um modelo interno da teoria dos conjuntos de Zermelo-Fraenkel (ZF) uma classe transitiva que inclui todos os ordinais e satisfaz todos os axiomas de ZF. O exemplo cannico o Universo construvel L desenvolvido por Gdel. Uma das razes que torna o estudo de modelos internos interessante que ele pode ser usado para provar resultados de consistncia. Por exemplo, pode-se mostrar que, independentemente se um modelo V da ZF satisfaz a hiptese do contnuum ou o axioma da escolha, o modelo interno L construdo dentro do modelo original ir satisfazer tanto a hiptese do

continuum generalizada quanto o axioma da escolha. Assim, a suposio de que ZF consistente (tem qualquer modelo que seja) implica que ZF juntamente com estes dois princpios consistente. O estudo de modelos de interior comum no estudo do determinismo e grandes cardinais, especialmente quando se considera axiomas que contradizem o axioma da escolha. Mesmo que um modelo fixo da teoria dos conjuntos satisfaz o axioma da escolha, possvel que um modelo interno falhe em satisfazer o axioma da escolha. Por exemplo, a existncia de cardinais suficientemente grandes implica que h um modelo interno satisfazendo o axioma do determinismo (e, portanto, no satisfazendo o axioma da escolha).[8]

[editar] Grandes cardinais


Ver artigo principal: Propriedade de grande cardinal

Um grande cardinal um nmero cardinal transfinito cujo carter de "muito grande" est dado por uma propriedade extra, denominada propriedade de grande cardinal. Muitas destas propriedades so particularmente estudadas, incluindo cardinais inacessveis, cardinais mensurveis, cardinais compactos, entre outras. A existncia de um cardinal com uma dessas propriedades no pode ser demonstrada na teoria dos conjuntos de Zermelo-Fraenkel, ZF, se ZF consistente.

[editar] Determinismo
Ver artigo principal: Determinismo

Determinismo refere-se ao fato de que, sob os pressupostos adequados, certos dois jogadores so determinados desde o incio no sentido de que um jogador deve ter uma estratgia vencedora. A existncia dessas estratgias tem conseqncias importantes na teoria descritiva dos conjuntos, como a suposio de que uma classe mais ampla de jogos ser determinada muitas vezes implica que uma classe mais ampla de conjuntos possui uma propriedade topolgica. O axioma do determinismo (AD) um importante objeto de estudo, embora incompatvel com o axioma da escolha, AD implica que todos os subconjuntos da reta real so bem comportados (em particular, mensurveis e com a propriedade de conjunto perfeito). AD pode ser usado para provar que os graus de Wadge tm uma estrutura alinhada.

[editar] Foramento
Ver artigo principal: Foramento

Paul Cohen inventou o mtodo de foramento enquanto procura por um modelo de ZFC em que o axioma da escolha ou a hiptese do contnuum falhe. Forando a adio de conjuntos adicionais a algum determinado modelo da teoria dos conjuntos de modo a criar um modelo maior, com propriedades determinadas (isto "foradas") pelo modelo original e pela construo. Por exemplo, a construo de Cohen uniu subconjuntos adicionais dos nmeros naturais sem mudar qualquer dos nmeros cardinais do modelo

original. Foramento tambm um dos dois mtodos para provar consistncia relativa por mtodos finitstico, sendo o outro os modelos de valores Booleanos.

[editar] Invariantes cardinais


Ver artigo principal: Invariante cardinal

Invariante cardinal uma propriedade da reta real medida por um nmero cardinal. Por exemplo, uma invariante bem estudado a menor cardinalidade de uma coleo de conjuntos magros de reais cuja unio toda a reta real. Estes so invariantes no sentido de que quaisquer dois modelos da teoria dos conjuntos isomorfos deve dar o mesmo cardinal para cada invariante. Muitos invariantes cardinais foram estudados, e as relaes entre eles so muitas vezes complexas e relacionadas com os axiomas da teoria dos conjuntos.

[editar] Topologia
Ver artigos principais: Topologia (matemtica) e Topologia

Topologia estuda questes de topologia geral que so de teoria dos conjuntos em sua natureza ou que requerem mtodos avanados da teoria dos conjuntos para sua soluo. Muitos desses teoremas so independentes de ZFC, exigindo axiomas mais fortes para a sua prova. Um famoso problema o problema do espao de Moore, uma questo na topologia geral que foi objecto de intensa pesquisa. A resposta para este problema acabou por ser provada ser independente de ZFC.

[editar] Objees teoria dos conjuntos como fundamento para a matemtica


Desde o incio da teoria dos conjuntos, alguns matemticos se opuseram a ela como um fundamento para a matemtica, argumentando, por exemplo, que apenas um jogo que inclui elementos de fantasia. A objeo mais comum teoria dos conjuntos, um manifesto de Kronecker nos primeiros anos da teoria dos conjuntos, comeou a partir da viso construtivista de que a matemtica vagamente relacionada computao. Se este ponto de vista for admitido, ento o tratamento de conjuntos infinitos, tanto na teoria ingnua dos conjuntos quanto na teoria axiomtica dos conjuntos, , introduz em matemtica mtodos e objetos que no so computveis. Ludwig Wittgenstein questionou a forma como a teoria dos conjuntos de Zermelo-Fraenkel manipulava infinitos. As vises de Wittgenstein sobre os fundamentos da matemtica foram mais tarde criticada por Georg Kreisel e Paul Bernays, e minuciosamente investigadas por Crispin Wright, entre outros. Tericos das categorias propuseram a teoria de topos como uma alternativa tradicional teoria axiomtica dos conjuntos. Teoria de topos pode interpretar vrias alternativas para aquela teoria, tais como o construtivismo, a teoria dos conjuntos finitos, e a teoria dos conjuntos computveis.[carece de fontes?]

[editar] Ver tambm

Teoria das categorias Modelo relacional Orientao a objetos Paradoxo de Russell Principia Mathematica Lgica matemtica

[editar] Referncias
1. Tanscheit, Ricardo, Sistemas Fuzzy, 2011, em [1] 2. J.C. Bezdek. Editorial: Fuzzy Models What Are They, and Why?. IEEE Transactions on Fuzzy Systems, Vol. 1, No. 1, February 1993 Edited by P.D. 3. G. Cantor, ber eine Eigenschaft des Inbegriffes aller reellen algebraischen Zahlen, Crelles Journal f. Mathematik, 77 (1874) 258262. 4. Philip Johnson, 1972, A History of Set Theory, Prindle, Weber & Schmidt ISBN 0871501546 5. Bernard Bolzano, Paradoxien des Unendlichen, 1920, Felix Meiner, Leipzip. 6. Georg Cantor, 1932, Gesammelte Abhandlungen mathematischen und philosophischen Inhalts, Springer, Berlin. 7. Em seu artigo de 1925, John von Neumann observou que "a teoria dos conjuntos na sua verso primeira, "ingnua", devida a Cantor, levou a contradies. Essas so as bem conhecidas antinomias do conjunto de todos os conjuntos que no contm a si prprios (Russell), do conjunto de todos os nmeros ordinais transfinitos (Burali-Forti), e o conjunto de todos os nmeros reais finitamente definveis (Richard)." Ele vai adiante at observar que duas "tendncias" estavam tentando "reabilitar" a teoria dos conjuntos. Sobre o primeiro esforo, exemplificado por Bertrand Russell, Julius Knig, Hermann Weyl e L. E. J. Brouwer, von Neumann disse que "o efeito geral de suas atividadas. . . devastador". Com relao ao mtodo axiomtico empregado pelo segundo grupo composto de Ernst Zermelo, Abraham Fraenkel e Arthur Moritz Schoenflies, von Neumann demonstrou preocupao de que "vemos apenas que os modos conhecidos de inferncia que levam a antinomias falham, mas quem sabe onde no h outras?" e ele assumiu a tarefa de, "no esprito do segundo grupo, produzir, por meio de um nmero finito de operaes puramente formais . . . todos os conjuntos que desejamos ver formados" mas no permitir as antinomias. (Todas as citaes de von Neumann 1925 reimpresso em van Heijenoort, Jean (1967, third printing 1976), "From Frege to Gdel: A Source Book in Mathematical Logic, 19791931", Harvard University Press, Cambridge MA, ISBN 0-674-32449-8 (pbk). Uma sinopse da histria, escrita por van Heijenoort, pode ser encontrada nos comentrios que precedem o artigo de von Neumann de 1925. 8. Jech, Thomas (2003), Set Theory: Third Millennium Edition, Springer Monographs in Mathematics, Berlin, New York: Springer-Verlag, ISBN 978-3-540-44085-7, p. 642.

[editar] Leituras adicionais


Keith Devlin, (2nd ed.) 1993. The Joy of Sets. Springer Verlag, ISBN 0-387-94094-4 Ferreirs, Jose, 2007 (1999). Labyrinth of Thought: A history of set theory and its role in modern mathematics. Basel, Birkhuser. ISBN 978-3-7643-8349-7 Johnson, Philip, 1972. A History of Set Theory. Prindle, Weber & Schmidt ISBN 0871501546

Kunen, Kenneth, Set Theory: An Introduction to Independence Proofs. North-Holland, 1980. ISBN 0-444-85401-0. Tiles, Mary, 2004 (1989). The Philosophy of Set Theory: An Historical Introduction to Cantor's Paradise. Dover Publications.

[editar] Ligaes externas

O Wikilivros tem um livro chamado Set Theory

O Wikilivros tem um livro chamado Discrete mathematics/Set theory

Foreman, M., Akihiro Kanamori, eds. Handbook of Set Theory. 3 vols., 2010. Cada captulo levanta algum aspecto da pesquisa contempornea em teoria dos conjuntos. No cobre a teoria elementar dos conjuntos estabelecida, para tal veja Devlin (1993).

Portal da matemtica

Obtida de "http://pt.wikipedia.org/w/index.php?title=Teoria_dos_conjuntos&oldid=29201587"

Alegri Financei Fundament Mdi Geometr Trigonomet Superi Clculo a ra al o ia ria or s

Ensino Mdio: Teoria dos Conjuntos


Introduo aos conjuntos Alguns conceitos primitivos Algumas notaes p/ conjuntos Subconjuntos Alguns conjuntos especiais Reunio de conjuntos Interseo de conjuntos Propriedades dos conjuntos Diferena de conjuntos Complemento de um conjunto Leis de Augustus de Morgan Diferena Simtrica

Introduo aos conjuntos


No estudo de Conjuntos, trabalhamos com alguns conceitos primitivos, que devem ser entendidos e aceitos sem definio. Para um estudo mais aprofundado sobre a Teoria dos Conjuntos, pode-se ler: Naive Set Theory, P.Halmos ou Axiomatic Set Theory, P.Suppes. O primeiro deles foi traduzido para o portugus sob o ttulo (nada ingnuo de): Teoria Ingnua dos Conjuntos.

Alguns conceitos primitivos

Conjunto: representa uma coleo de objetos. a. O conjunto de todos os brasileiros. b. O conjunto de todos os nmeros naturais. c. O conjunto de todos os nmeros reais tal que x-4=0. Em geral, um conjunto denotado por uma letra maiscula do alfabeto: A, B, C, ..., Z. Elemento: um dos componentes de um conjunto. a. Jos da Silva um elemento do conjunto dos brasileiros. b. 1 um elemento do conjunto dos nmeros naturais. c. -2 um elemento do conjunto dos nmeros reais que satisfaz equao x-4=0. Em geral, um elemento de um conjunto, denotado por uma letra minscula do alfabeto: a, b, c, ..., z. Pertinncia: a caracterstica associada a um elemento que faz parte de um conjunto. a. Jos da Silva pertence ao conjunto dos brasileiros. b. 1 pertence ao conjunto dos nmeros naturais. c. -2 pertence ao conjunto de nmeros reais que satisfaz equao x-4=0. Smbolo de pertinncia: Se um elemento pertence a um conjunto utilizamos o smbolo que se l: "pertence". Para afirmar que 1 um nmero natural ou que 1 pertence ao conjunto dos nmeros naturais, escrevemos:

1 N
Para afirmar que 0 no um nmero natural ou que 0 no pertence ao conjunto dos nmeros naturais, escrevemos:

0 N
Um smbolo matemtico muito usado para a negao a barra / traada sobre o smbolo normal.

Algumas notaes para conjuntos


Muitas vezes, um conjunto representado com os seus elementos dentro de duas chaves { e } atravs de duas formas bsicas e de uma terceira forma geomtrica: Apresentao: Os elementos do conjunto esto dentro de duas chaves { e }. a. A={a,e,i,o,u}

b. N={1,2,3,4,...} c. M={Joo,Maria,Jos} Descrio: O conjunto descrito por uma ou mais propriedades. a. A={x: x uma vogal} b. N={x: x um nmero natural} c. M={x: x uma pessoa da famlia de Maria} Diagrama de Venn-Euler: (l-se: "Ven-iler") Os conjuntos so mostrados graficamente.

Subconjuntos
Dados os conjuntos A e B, diz-se que A est contido em B, denotado por A B, se todos os elementos de A tambm esto em B. Algumas vezes diremos que um conjunto A est propriamente contido em B, quando o conjunto B, alm de conter os elementos de A, contm tambm outros elementos. O conjunto A denominado subconjunto de B e o conjunto B o superconjunto que contm A.

Alguns conjuntos especiais


Conjunto vazio: um conjunto que no possui elementos. representado por { } ou por . O conjunto vazio est contido em todos os conjuntos. Conjunto universo: um conjunto que contm todos os elementos do contexto no qual estamos trabalhando e tambm contm todos os conjuntos desse contexto. O conjunto universo representado por uma letra U. Na sequncia no mais usaremos o conjunto universo.

Reunio de conjuntos
A reunio dos conjuntos A e B o conjunto de todos os elementos que pertencem ao conjunto A ou ao conjunto B.

A B = { x: x A ou x B }
Exemplo: Se A={a,e,i,o} e B={3,4} ento A B={a,e,i,o,3,4}.

Interseo de conjuntos
A interseo dos conjuntos A e B o conjunto de todos os elementos que pertencem ao conjunto A e ao conjunto B.

A B = { x: x A e x B }
Exemplo: Se A={a,e,i,o,u} e B={1,2,3,4} ento A B=.

Quando a interseo de dois conjuntos A e B o conjunto vazio, dizemos que estes conjuntos so disjuntos.

Propriedades dos conjuntos


1. Fechamento: Quaisquer que sejam os conjuntos A e B, a reunio de A e B, denotada por A B e a interseo de A e B, denotada por A B, ainda so conjuntos no universo. 2. Reflexiva: Qualquer que seja o conjunto A, tem-se que:

A A=A e A A=A
3. Incluso: Quaisquer que sejam os conjuntos A e B, tem-se que:

A A B, B A B, A B A, A B B
4. Incluso relacionada: Quaisquer que sejam os conjuntos A e B, tem-se que:

A B equivale a A A B equivale a A

B=B B=A

5. Associativa: Quaisquer que sejam os conjuntos A, B e C, tem-se que:

A (B A (B

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

C C

6. Comutativa: Quaisquer que sejam os conjuntos A e B, tem-se que:

A B=B A A B=B A
7. Elemento neutro para a reunio: O conjunto vazio o elemento neutro para a reunio de conjuntos, tal que para todo conjunto A, se tem:

A =A
8. Elemento "nulo" para a interseo: A interseo do conjunto vazio com qualquer outro conjunto A, fornece o prprio conjunto vazio.

A =
9. Elemento neutro para a interseo: O conjunto universo U o elemento neutro para a interseo de conjuntos, tal que para todo conjunto A, se tem:

A U=A
10. Distributiva: Quaisquer que sejam os conjuntos A, B e C, tem-se que:

A (B C ) = (A B) (A C) A (B C) = (A B) (A C)
Os grficos abaixo mostram a distributividade.

Diferena de conjuntos
A diferena entre os conjuntos A e B o conjunto de todos os elementos que pertencem ao conjunto A e no pertencem ao conjunto B.

A-B = {x: x A e x B}
Do ponto de vista grfico, a diferena pode ser vista como:

Complemento de um conjunto
O complemento do conjunto B contido no conjunto A, denotado por CAB, a diferena entre os conjuntos A e B, ou seja, o conjunto de todos os elementos que pertencem ao conjunto A e no pertencem ao conjunto B.

CAB = A-B = {x: x A e x B}


Graficamente, o complemento do conjunto B no conjunto A, dado por:

Quando no h dvida sobre o universo U em que estamos trabalhando, simplesmente utilizamos a letra c posta como expoente no conjunto, para indicar o complemento deste conjunto. Muitas vezes usamos a palavra complementar no lugar de complemento. Exemplos: c=U e Uc=.

Leis de Augustus De Morgan


1. O complementar da reunio de dois conjuntos A e B a interseo dos complementares desses conjuntos.

(A B)c = Ac Bc
2. O complementar da reunio de uma coleo finita de conjuntos a interseo dos complementares desses conjuntos.

(A1 A2 ... An)c = A1c A2c ... Anc


3. O complementar da interseo de dois conjuntos A e B a reunio dos complementares desses conjuntos.

(A B)c = Ac Bc
4. O complementar da interseo de uma coleo finita de conjuntos a reunio dos complementares desses conjuntos.

(A1 A2 ... An)c = A1c A2c ... Anc


Diferena simtrica
A diferena simtrica entre os conjuntos A e B o conjunto de todos os elementos que pertencem reunio dos conjuntos A e B e no pertencem interseo dos conjuntos A e B.

A B = { x: x A B e x A B }
O diagrama de Venn-Euler para a diferena simtrica :

Exerccio: Dados os conjuntos A, B e C, pode-se mostrar que:

1. A= se, e somente se, B=A B. 2. O conjunto vazio o elemento neutro para a operao de diferena simtrica. Usar o tem anterior. 3. A diferena simtrica comutativa. 4. A diferena simtrica associativa. 5. A A= (conjunto vazio). 6. A interseo entre A e B C distributiva, isto : A (B C) = (A B) (A C) 7. A B est contida na reunio de A C e de B C, mas esta incluso prpria, isto : A B (A C) (B C)