Fórum de Matemática | DÚVIDAS? Nós respondemos! https://forumdematematica.org/ |
|
Funcional linear https://forumdematematica.org/viewtopic.php?f=13&t=3500 |
Página 1 de 1 |
Autor: | Walter R [ 04 set 2013, 18:57 ] |
Título da Pergunta: | Funcional linear [resolvida] |
Encontrei o seguinte exercício sobre álgebra linear. O enunciado é o seguinte: "Seja \(f:E\rightarrow \mathbb{R}\) um funcional linear não-nulo no espaço vetorial \(E\), de dimensão \(n\). Prove que existe uma base \(\left \{ u_1 ... u_n \right \}\)\(\subset E\), tal que\(f(u_{1})=...=f(u_{n-1})=0\) e \(f(u_{n})=1\)". O exercício ainda dá uma dica, que é esta: tomar \(u_{i}=v_{i}-\frac{f(v_{i})}{f(v_{n})}v_{n};(i=1,...,n-1);u_{n}=\frac{v_{n}}{f(v_{n})}\), onde \(\left \{ v_{1},...,v_{n} \right \}\) é uma base qualquer de \(E\). Não consegui concluir. Alguém poderia ajudar? |
Autor: | josesousa [ 05 set 2013, 12:14 ] |
Título da Pergunta: | Re: Funcional linear |
Tente olhar para a decomposição de Cauchy Schwarz, que vai ajudar |
Autor: | npl [ 05 set 2013, 12:54 ] |
Título da Pergunta: | Estruturação da pergunta correcta? |
Caro Walter Se o funcional linear é não-singular/nulo, como é que o resultado do funcional linear aplicado a alguns vectores da base dão como resultado 0? Aquilo que escreve mais abaixo parece-me ter a ver a com a ortogonalização de Gram-Schmidt, mas não me parece que possa ser exactamente nos termos que descreve, conforme a minha pergunta anterior sugere. Outra pergunta poderia ser, como se divide um vector pelo resultado do funcional linear aplicado a outro vector? |
Autor: | Rui Carpentier [ 06 set 2013, 15:55 ] |
Título da Pergunta: | Re: Funcional linear |
Citar: Se o funcional linear é não-singular/nulo, como é que o resultado do funcional linear aplicado a alguns vectores da base dão como resultado 0? Um funcional f só é nulo se f(v)=0 para todo o vetor v, basta que exista um vetor \(v\in E\) tal que \(f(v)\not=0\) para que o funcional seja não-nulo. Assim sendo, dada uma base \(\{v_1, \dots, v_n\}\) de \(E\) existe um elemento (podemos supor \(v_n\)) tal que \(f(v_n)\not=0\) (se f se anulasse em toda a base f seria um funcional nulo). Agora é só definir uma nova base no modo como é indicado na dica: \(u_i=v_i -\frac{f(v_i)}{f(v_n)}v_n\) se \(i\not= n\), \(u_n=\frac{v_n}{f(v_n)}\) E verificar duas coisas: (1) Que \(\{u_1,\dots ,u_n\}\) satisfaz o que pedido (é só usar o facto de f ser linear e fazer as contas). (2) Que \(\{u_1,\dots ,u_n\}\) definido daquela forma é uma base (é só ver que a matriz mudança de base é não-singular). |
Autor: | npl [ 07 set 2013, 15:52 ] |
Título da Pergunta: | Re: Funcional linear |
Rui Carpentier Escreveu: Citar: Se o funcional linear é não-singular/nulo, como é que o resultado do funcional linear aplicado a alguns vectores da base dão como resultado 0? Um funcional f só é nulo se f(v)=0 para todo o vetor v, basta que exista um vetor \(v\in E\) tal que \(f(v)\not=0\) para que o funcional seja não-nulo. Bom vou então expor uma citação do meu livro de álgebra linear para tentarmos esclarecer esta definição: "Diz-se que uma transformação linear F: V -> U é singular se existe v \(\epsilon\) V sendo v \(\neq\) 0 mas F(v)=0. Cumprimentos, NPL. |
Autor: | Rui Carpentier [ 09 set 2013, 16:13 ] |
Título da Pergunta: | Re: Funcional linear |
Caro NPL, Na questão inicial não é dito que o funcional tenha que ser não-singular, até porque não faz muito sentido. Um funcional é por definição uma transformação linear com domínio num espaço linear E (sobre um corpo K) e contradomínio no corpo K (o corpo associado ao espaço linear E), assim sendo um funcional num espaço de dimensão superior a um é sempre uma transformação linear singular. Espero que tenha resolvido a sua dúvida. Cumprimentos, Rui Carpentier |
Autor: | npl [ 09 set 2013, 21:21 ] |
Título da Pergunta: | "Não-nulo" Vs "Não-singular". |
Walter R Escreveu: Seja \(f:E\rightarrow \mathbb{R}\) um funcional linear não-nulo Rui Carpentier Escreveu: Na questão inicial não é dito que o funcional tenha que ser não-singular ?? Não se entende por "não-nulo" o mesmo que "não-singular"? Quando tiver mais tempo observo isto com mais atenção. Obrigado pela resposta Rui Carpentier! Cumprimentos, NPL. |
Página 1 de 1 | Os Horários são TMG [ DST ] |
Powered by phpBB® Forum Software © phpBB Group https://www.phpbb.com/ |