Re: [obm-l] Proposição

["Nicolau C. Saldanha" <nicolau@xxxxxxxxxxxxxx>]

On Fri, 18 Mar 2005 00:25:06 +0000, kleinad@webcpd.com <kleinad@webcpd.com> wrote:
> Para aproveitar o espaço: Alguém sabe exibir uma base para o espaço vetorial
> das seqüências reais (R^oo)? Ou ainda, alguém conhece uma base para o espaço
> das seqüências formadas por 0 e 1?

Se "exibir" deve ser entendido como "descrever explicitamente", eu apostaria
que isto é impossível. Você precisa do axioma da escolha para provar
que qq espaço vetorial tem base e eu apostaria (mas não garanto)
que você já precisa do axioma para provar que estes espaços vetoriais ai
tem base.

Aliás, o seu segundo exemplo eu interpreto como (Z/(2))^(infinito); é isso?

[]s, N.
=========================================================================
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
=========================================================================