Enumerao

Origem: Wikipdia, a enciclopdia livre.

Nota: Para outros significados, veja Enumerao (desambiguao).

Em matemtica e cincia da computao terica, a enumerao a repetiao de diversas palavras

seguidas de virgula.

Enumerao como listagem[editar | editar cdigo-fonte]

Formalmente, uma enumerao de um conjunto pode ser definida como:

Um mapeamento sobrejetivo de (os nmeros naturais) a . Essa definio adequada por

questes de computabilidade e teoria dos conjuntos.

Um mapeamento bijetor de para um segmento dos nmeros naturais. Essa definio

adequada para questes de combinatria e conjuntos finitos. Assim, o incio do segmento dos
nmeros naturais para algum que a cardinalidade de .

Em cincia da computao, considera-se como um requisito adicional para enumeraes que o

mapeamento de para o conjunto seja computvel. O conjunto ento chamado recursivamente
enumervel, referindo-se ao uso de teoria da recursividade na formalizao do que significa ao
mapeamento ser computvel.

Exemplos[editar | editar cdigo-fonte]

Seja:

Os nmeros naturais so enumerveis pela funo . Nesse caso, simplesmente a funo

identidade.

, o conjunto de nmeros inteiros, enumervel por

uma bijeo j que cada nmero natural corresponde a exatamente um nmero inteiro. A
seguinte tabela fornece os primeiros valores da enumerao:

x 0 1 2 3 4 5 6 7 8

f(x) 0 1 1 2 2 3 3 4 4

Todos os conjuntos finitos so enumerveis. Seja um conjunto finito com elementos, e

seja . Selecione qualquer elemento em e atribua . Configure . Selecione qualquer
 elemento em e atribua . Continue o processo at que todos os elementos do conjunto
original sejam atribudos a um nmeros natural. Ento uma enumerao de .

Os nmeros reais no possuem enumerao, como provado pelo argumento de

diagonalizao de Cantor.

Propriedades[editar | editar cdigo-fonte]

Existe uma enumerao para um conjunto somente se o conjunto for contvel.

Se um conjunto enumervel ele ter uma nmero infinito de diferentes enumeraes,

exceto nos casos de conjunto vazio ou conjuntos com um elemento.

O Wikcionrio possui o verbete enumerao.

Categorias:

Combinatria
Teoria dos conjuntos

Menu de navegao

No autenticado

Discusso

Contribuies

Criar uma conta

Entrar
Artigo
Discusso
Ler
Editar
Editar cdigo-fonte
Ver histrico

Busca

Ir

Pgina principal
Contedo destacado
Eventos atuais
Esplanada
Pgina aleatria
 Portais
Informar um erro

Colaborao

Boas-vindas
Ajuda
Pgina de testes
Portal comunitrio
Mudanas recentes
Manuteno
Criar pgina
Pginas novas
Contato
Donativos

Imprimir/exportar

Criar um livro
Descarregar como PDF
Verso para impresso

Ferramentas

Pginas afluentes
Alteraes relacionadas
Carregar ficheiro
Pginas especiais
Ligao permanente
Informaes da pgina
Elemento Wikidata
Citar esta pgina

Noutros idiomas

Azrbaycanca

Deutsch
English
Espaol
Italiano



6 outras
Editar ligaes

Esta pgina foi modificada pela ltima vez (s) 21h51min de 28 de maro de 2013.
 Este texto disponibilizado nos termos da licena Creative Commons - Atribuio - Compartilha Igual 3.0 No

Adaptada (CC BY-SA 3.0); pode estar sujeito a condies adicionais. Para mais detalhes, consulte as condies de
uso.