AB+BA=O si AX+XA=B implica B nilpotenta

Moderators: Bogdan Posa, Laurian Filip, Beniamin Bogosel, Radu Titiu, Marius Dragoi

Post Reply
User avatar
Bogdan Posa
Pitagora
Posts: 77
Joined: Fri Dec 14, 2007 3:47 pm
Location: Motru , Gorj , Romania
Contact:

AB+BA=O si AX+XA=B implica B nilpotenta

Post by Bogdan Posa »

Fie \( A,B \in M_{n}(R),\ AB+BA=O_{n} \) cu proprietatea ca exista \( X \in M_{n}(R) \) astfel incat \( AX+XA=B \). Aratati ca \( B \) este nilpotenta.
Gradul de cultură al unei ţări se măsoară astăzi, prin nivelul matematic al locuitorilor ţării (André Lichnerowicz)
User avatar
c.adryan
Euclid
Posts: 19
Joined: Fri Feb 29, 2008 12:22 pm

Post by c.adryan »

fie \( x_i , \) \( y_i, \) \( z_i, \) \( i=\overline{1,n} \) valorile proprii pt \( A, B, \) respectiv \( X \).
Avem \( y_i=2x_iz_i \) iar din prima relatie avem \( 2x_i^2z_i=0 \) de unde rezulta \( x_iz_i=0 \), ceea ce implica \( B^n=O_n \).

PS Sper sa fie bine :D
Bogdan Cebere
Thales
Posts: 145
Joined: Sun Nov 04, 2007 1:04 pm

Post by Bogdan Cebere »

Eu nu inteleg in baza carui rezultat se poate trece la valori proprii o relatie ca \( AX+XA=B \)
User avatar
c.adryan
Euclid
Posts: 19
Joined: Fri Feb 29, 2008 12:22 pm

Post by c.adryan »

Bogdan Cebere wrote:Eu nu inteleg in baza carui rezultat se poate trece la valori proprii o relatie ca \( AX+XA=B \)
vezi teorema 2 din urmatorul link
http://cnmv.ploiesti.roedu.net/mambo/Ex ... 2001.3.pdf
User avatar
Beniamin Bogosel
Co-admin
Posts: 710
Joined: Fri Mar 07, 2008 12:01 am
Location: Timisoara sau Sofronea (Arad)
Contact:

Post by Beniamin Bogosel »

c.adryan wrote:
Bogdan Cebere wrote:Eu nu inteleg in baza carui rezultat se poate trece la valori proprii o relatie ca \( AX+XA=B \)
vezi teorema 2 din urmatorul link
http://cnmv.ploiesti.roedu.net/mambo/Ex ... 2001.3.pdf
Teorema 2 din link e pentru polinom cu o singura variabila, nu cu mai multe...
Tu ai aplicat-o pentru un polinom in 2 variabile aici.

Si nici cum ai aplicat-o nu-i bine, pentru ca sa rezulte concluzia ta trebuie ca X sa fie inversabila, adica sa aiba valorile proprii diferite de 0, ceea ce nu se da si nici nu ai demonstrat.
bae
Bernoulli
Posts: 234
Joined: Tue Oct 02, 2007 10:39 pm

Post by bae »

Se pare ca \( \tr(B^{2k})=0 \) pentru orice \( k\geq 1 \). Iar asta ar trebui sa fie suficient, nu?
Post Reply

Return to “Algebra”