Re: [obm-l] Espacos de Dimensao Infinita

[Claudio Buffara <claudio.buffara@xxxxxxxxxxxx>]

Oi, Duda:

Obrigado pela explanacao. Era justamente isso que eu temia. E com o lema de
Zorn, entao... Deve ser que nem aquela historia do conjunto dos reais poder
ser bem ordenado. Ate hoje, ninguem conseguiu exibir uma tal boa-ordenacao.

Um abraco,
Claudio.

on 20.06.03 22:44, Eduardo Casagrande Stabel at dudasta@terra.com.br wrote:

> Ola Cl�udio!
> 
> Bem, n�o sei bem se sua d�vida � a que eu estou pensando. Vou tentar
> esclarecer aquilo que eu compreendo deste assunto, apesar de n�o saber
> mostrar explicitamente uma base para A.
> 
> Considere X a fam�lia de todos os subconjuntos L.I. de A. Um subconjunto Y
> de A � LI. se dado um subconjunto{x_1, x_2, ..., x_n} *finito* de Y n�o
> existem n�meros reais r_1, r_2, ..., r_n tais que r_1*x_1 + r_2*x_2 + ... +
> r_n*x_n � a seq��ncia nula. Podemos ordenar parcialmente a fam�lia X pela
> rela��o Y_1 < Y_2 por defini��o se Y_1 est� contido (ou � igual) em Y_2. Se
> tivermos uma cadeira F de elementos de X (uma cadeia � um subconjunto de X
> totalmente ordenado, ou seja, onde dois elementos quaisquer podem ser
> comparados), ent�o existe um subconjunto Y* de X tal que para todo Y de F
> temos Y < Y*, ou seja, o conjunto F possui uma cota superior. Basta tomar Y*
> = Uni�o{ Y : Y em F }. Pelo lema de Zorn, existe um conjunto Y em X que �
> maximal, isto �, se Y' � um elemento de X que pode ser comparado com Y ent�o
> Y' < Y, e portanto Y � uma base de A.
> 
> Esta base Y de A � tal que todo elemento de A se expressa como combina��o
> linear de finitos termos de Y. Para se falar em combina��o linear infinita,
> precisaria se definir somas infinitas, o que nem sempre d� para se fazer em
> espa�os vetoriais quaisquer, e mesmo que desse dever�amos criar restri��es,
> pois n�o podemos calcular 1-1+1-1+1-1+-..., por exemplo. A frase do livro do
> Elon se refere a uma base como a que eu falei, sem considerar somas
> infinitas.
> 
> Determinar uma tal base, acho que � um problema dif�cil. Para come�ar a base
> tem de ser n�o enumer�vel. Eu n�o tenho id�ia, talvez n�o seja poss�vel
> mostrar explicitamente uma tal base.
> 
> Abra�o!
> Duda.
> 
> From: "Claudio Buffara" <claudio.buffara@terra.com.br>
>> Oi, Frederico:
>> 
>> Eh justamente esse o ponto. Acho que uma combinacao linear de infinitos
>> termos eh problematica...
>> 
>> A minha duvida vem do cap. 3 do livro Algebra Linear do Elon Lages Lima -
>> Colecao Matematica Universitaria - 3a. edicao.
>> 
>> La, na pagina 28, ele diz que o conjunto
>> {(1,0,0,...); (0,1,0,...); (0,0,1,...); ...}
>> nao gera A, apesar de ser uma base para A*.
>> 
>> Um abraco,
>> Claudio.
> 
> 
> =========================================================================
> 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
> =========================================================================
> 

=========================================================================
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
=========================================================================