> Nos �ltimos dias o assunto mais tratado aqui neste forum vem sendo o
Axioma
> da
> Escolha.
>
> Algu�m poderia fornecer o enunciado e um pequeno hist�rico dele?
>
> JF
O enunciado mais usual � o seguinte:
Dada uma cole��o qualquer de conjuntos disjuntos {A_a} (finita ou
infinita, numer�vel ou n�o), � poss�vel formar um conjunto S tal que
cada elemento de S perten�a a um dos conjuntos A_a. Isto �, � poss�vel
formar S escolhendo-se um elemento de cada um dos conjuntos A_a, da� o
nome Axioma da Escolha.
Alguns autores definem o axioma sem requerer que a cole��o {A_a} seja
disjunta.
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 � <[EMAIL PROTECTED]>
=========================================================================