[obm-l] CONTRAPOSITIVA

Todo matematico sabe que a contrapositiva de p=>q <=> ~q=>~p, porem tenho algumas perguntas sobre conceitos logicos!!! Aprendi por tabelas de verdade a demonstracao da contrapositiva.. Poderia usar regras de inferencia na demontracao??? Por exemplo p=>q e equivalente a ~(p^~q) por definicao???

[obm-l] Re: [obm-l] Demonstração

-- Mensagem original -- >Olá > >Qual a maneira correta e mais lógica de fazer uma demonstração: > >Para a e b em R quaisquer prove que a(-b) = -(ab) = (-a)b > > >Vamos lá: >Sabemos que b+(-b)=0 (axioma) Assim, a[b+(-b)]=a.0=>(distributiva) a.b+a.(-b)=0 -(a.b)+a.b+a.(-b)=-(a.b)+0=>a.(-b)=-(a.b)

[obm-l] T pert.duvida/kernel

amigos tenhoa seguinte dúvida.. Seja T pert. L(V) Queremos mostrar que se Ker T <> 0, então existe S pert. L(V), S<>0, tal que TS=0 -- Use o melhor sistema de busca da Internet Radar UOL - http://www.radaruol.com.br ==

[obm-l] subespaço vetorial

Considerando o espaço R^n, quais dos seguintes subconjuntos são subspaços? Como justifico? W1={f pert. R^n; lim n->inf. f(n)=0} W2={f pert. R^n; f é limitada} W3={f pert. R^n; somatorio n=0..inf., f(n)^2 < inf.} W4={f pert. R^n; f(n)<>0 para um número finito de índice n Minha dúvida seria como ju

[obm-l] dificuldade em demonstrações

Estou com algumas dificuldades em demonstracões, gostaria que alguém com experiência em álgebra linear pudesse me auxiliar, ficarei muito grato. Exemplo: W1 união W2 é subspaço <=> W1 contido W2 ou W2 contido W1 (=>) Como W1 união W2 é subspaço vet., temos que 0 petence W1 ou 0 pertence W2. Se 0

[obm-l] Al. linear

Olá amigos, alguém conhece bem álgebra linear? Tenho as seguintes dúvidas: 1) Seja V um espaço vetorial sobre R e suponha {v1,.vn} contido em V é l. i. Se v=a1v1++anvn. a1,,an pertence a R então {v-v1, v-v2,...v-vn} é l. i. se , e somente se, a1+a2+an é diferente de 1. -

[obm-l] Lema de Zorn

Alguém saberia dizer algum livro interessante que explique bem o Lema de Zorn?? Grato Douglas -- Use o melhor sistema de busca da Internet Radar UOL - http://www.radaruol.com.br ==

[obm-l] característica de um corpo/dúvida

Olá amigos! 1)Como provo que todo corpo de característica zero possui um número infinito de elementos. 2) mostre que se p não é primo, então Zp não é um corpo. -- Use o melhor sistema de busca da Internet Radar UOL - http://www.radaruol.com.br ==

[obm-l] Teorema de Cayley

Neste problema, estabeleceremos o Teorema de Cayley: Todo grupo G é isomorfo a um subgrupo do grupo das permutações do conjunto G. Sendo (G, *) um grupo, considere o conjunto T(G) = {Tg : G =>G|g pert. G, Tg(x) = g*x, qualquer x pert. G} A aplicação Tg é uma translação à esquerda em G, determina

[obm-l] duvida/grupo

Como mostro que se (G, *) é um grupo finito e |G| = p, com p primo, então: a) os únicos subgrupos de G são G e {e} b)G é um grupo cíclico -- Use o melhor sistema de busca da Internet Radar UOL - http://www.radaruol.com.br =

[obm-l] duvida/homomorfismo

Sendo f um homomorfismo de grupos: a) f : (R*, .) => (R, +), f(x)= log|x| b) f : (Z, +) => (Q*, . ), f(x)=2^x como mostrar? Douglas -- Use o melhor sistema de busca da Internet Radar UOL - http://www.radaruol.com.br =

[obm-l] duvida/complexos

como calculo e^z, sabendo que z=4+5i? Grato Douglas -- Use o melhor sistema de busca da Internet Radar UOL - http://www.radaruol.com.br = Instruções para entrar na lista, sair da

[obm-l] urgente!/matrizes semelhantes

Dizemos que A e B são matrizes semelhantes se existe uma matriz P tal que B=P^-1AP. Como mostro que detA=detB se A e B são semelhantes? Alguém poderia me ajudar? Grato Douglas -- Use o melhor sistema de busca da Internet Radar UOL - http://www.radaruol.c

[obm-l] duvida/matriz

Olá Tenho a seguinte dúvida: Como provo o seguinte teorema? A . adj (A) = det (A) . I Grato Douglas -- Use o melhor sistema de busca da Internet Radar UOL - http://www.radaruol.com.br

[obm-l] dúvida/grupos

Estou com a seguinte dúvida: Seja G um grupo finito de elemento neutro e. Então 1)qualquer a pertencente a G, ordem (a) divide |G |. 2) qualq. a pert. a G, a^|G|=e 3)qualq. a pert. G, a é diferente de e, a^m=e=> |G| | m. como demontro estas propriedades? | --

[obm-l] DÚVIDAS/HOMOMORFISMO

Alguém poderia me esclarecer uma dúvida sobre homomorfismo? Seja G um grupo. Mostre que a aplicação f : G -> G, definida por f(x)=x^-1 (qualquer x pertencente a G), é um homomorfismo se e somente se G é abeliano. Grato. Douglas -- Use o melhor sistema