[obm-l] RE: [obm-l] Re: [obm-l] Função de Escolha Canônica

["Artur Costa Steiner" <artur@xxxxxxxxxxxxxxx>]

>
>O axioma da escolha fala que, p/ qq família não-vazia F de conjuntos
>não-vazios, vc pode fazer uma seleção contendo exatamente um elemento
de
>cada elemento de F. I.e., existe uma função c:F->UF tq c(A) é unitário,
p/
>todo A em F. Essa c é a tal função de escolha.
>O "canônica" deve ser se vc já tem a seleção que o axioma da escolha
dá, e
>c(A) é exatamente o elemento que foi selecionado em A. Espero que seja
isso
>q vc quer...
>David

Obrigado David.
Acho que é de fato algo neste sentido, mas se é realmente, não sei
dizer.
Abraços
Artur 

=========================================================================
Instruções para entrar na lista, sair da lista e usar a lista em
http://www.mat.puc-rio.br/~nicolau/olimp/obm-l.html
O administrador desta lista é <nicolau@mat.puc-rio.br>
=========================================================================