Community

Looking for a challenging geometry text? Preparing for MATHCOUNTS or the AMC exams? Check out Art of Problem Solving's Introduction to Geometry by Richard Rusczyk.
Login Register Memberlist Search AoPS Blogs Contests Galleries Forum Index
The time now is Fri Dec 04, 2009 9:29 pm
All times are UTC - 8
View posts since last visit
View unanswered posts
Non real roots
Moderators: College Playground Moderators
Post new topic   Reply to topic View previous topicView next topic
8 Posts • Page 1 of 1
Author Message
spix
Yang-Mills Theory
Yang-Mills Theory


Offline
Joined: 31 Oct 2005
Posts: 709
Location: Bucuresti
Romania

To rate posts you must be logged in
#1
Non real roots
C.Mortici

Let A\in\mathcal M_2(R) and P\in R[X] with no real roots. If \det(P(A))=0 then P(A)=O_2.

Can this problem be generalised?

PostPosted: Wed Mar 08, 2006 4:19 am  Back to top 
  ProfilePMYMMSNBlog
MoHaMeD
Hodge Conjecture
Hodge Conjecture


Offline
Joined: 03 Sep 2003
Posts: 96
Location: Paris
Morocco

To rate posts you must be logged in
#2
Nope .Example:for A \in M_n(R) that has its minimal \pi=(X^2+X+1)*(X-1) consider P=X^2+X+1
_________________
#########MoHaMaD##########

PostPosted: Wed Mar 08, 2006 5:29 am  Back to top 
  ProfilePM
jmerry
Birch & Swinnerton Dyer
Birch & Swinnerton Dyer


Online
Joined: 12 Jun 2004
Posts: 7539
Location: Seattle
United States

To rate posts you must be logged in
#3
You can't do that- we're restricting to 2\times 2 matrices.

The generalized version:
Let F be a field, and p be a polynomial over F such that all irreducible factors of p have degree at least n. Then if M is an n\times n matrix over F and p(M) is singular, p(M)=0.

We have to change fields in the generalization because there are no irreducible polynomials with degree greater than 2 over \mathbb{R}.

PostPosted: Wed Mar 08, 2006 12:04 pm  Back to top 
  ProfilePM
perfect_radio
Birch & Swinnerton Dyer
Birch & Swinnerton Dyer


Offline
Joined: 04 Feb 2005
Posts: 2614
Location: Bucharest
Romania

To rate posts you must be logged in
#4
For the original problem:

Let \lambda_i, \overline{\lambda_i} \in \mathbb C \setminus \mathbb R be the roots of P.

Then \det P(A) = \prod \det \left( A - \lambda_i I_2 \right) \det \left( A - \overline{\lambda_i} I_2 \right) = 0.

Thus, A has a non-real eigenvalue. Since the sum and the product of the eigenvalues are real, it follows that the conjugate of the previous number is also an eigenvalue.

Hence, P(A) = 0, right?
_________________
"Germany has offered to send troops to the Lebanon border. I bet Israel's breathing a sigh of relief there. Nothing makes Jewish people feel safer and more secure than the German Army marching on their border."

PostPosted: Thu Mar 09, 2006 3:00 pm  Back to top 
  ProfilePMWWWYMBlogAlbum
spix
Yang-Mills Theory
Yang-Mills Theory


Offline
Joined: 31 Oct 2005
Posts: 709
Location: Bucuresti
Romania

To rate posts you must be logged in
#5
I don`t quite understand the last part of your solution... here`s mine:
Let \alpha_1,\alpha_2 be the eigenvalues of A. Then the eigenvalues of P(A) are P(\alpha_1) and P(\alpha_2).
So \det(P(A))=P(\alpha_1)*P(\alpha_2)=0 wich implies \alpha_1,\alpha_2 are roots of P and they are conjugated. But \alpha_1,\alpha_2 are roots of P_A so P_A/P equivalent to P(X)=P_A(X)Q(X) and for X=A we get P(A)=O_2.

PostPosted: Fri Mar 10, 2006 12:08 am  Back to top 
  ProfilePMYMMSNBlog
perfect_radio
Birch & Swinnerton Dyer
Birch & Swinnerton Dyer


Offline
Joined: 04 Feb 2005
Posts: 2614
Location: Bucharest
Romania

To rate posts you must be logged in
#6
spix wrote:
Then the eigenvalues of P(A) are P(\alpha_1) and P(\alpha_2).


I'm not very experienced with eigenvalues. Can P(A) have other eigenvalues except those two??? (it's very easy to prove that those two are indeed eigenvalues of P(A))


What don't you understand in my solution? Maybe I did some stupid mistake... please tell me
_________________
"Germany has offered to send troops to the Lebanon border. I bet Israel's breathing a sigh of relief there. Nothing makes Jewish people feel safer and more secure than the German Army marching on their border."

PostPosted: Fri Mar 10, 2006 1:29 am  Back to top 
  ProfilePMWWWYMBlogAlbum
spix
Yang-Mills Theory
Yang-Mills Theory


Offline
Joined: 31 Oct 2005
Posts: 709
Location: Bucuresti
Romania

To rate posts you must be logged in
#7
P(A) is a 2x2 matrix so it has two eigenvalues. There is nothing wrong it`s the same ideea... I did`nt understand how you jumped to that conclusion in the end... but now it`s clear to me... you just said a little more straightforward than me. Basically the solutions are the same... Smile

PostPosted: Fri Mar 10, 2006 1:34 am  Back to top 
  ProfilePMYMMSNBlog
Moubinool
Navier-Stokes Equations
Navier-Stokes Equations

Offline
Joined: 27 Aug 2003
Posts: 2482
Location: Paris, France
France

To rate posts you must be logged in
#8
Re: Non real roots
generalisation

spix wrote:


Can this problem be generalised?


Theorem:
K commutative field, A\in M_q(K) a matrix
P_1,...,P_q monic polynomials in K[X] such that they have no commun roots in \overline{K}
algebraic closure of K
with det(P_1(A))=....=det(P_q(A))=0

Then P_1(A)P_2(A)...P_q(A)=0
----------------------------------------------------------------
Proof:
Let's work in \overline{K[X]}
P_1(X)=\prod(X-a_k^{(1)})
...........................................
P_q(X)=\prod(X-a_k^{(q)})


0=det(P_1(A))=\prod_{k}det(A-a_k^{(1)}I_n)
..................................................................
0=det(P_1(A))=\prod_{k}det(A-a_k^{(1)}I_n)

we deduce there exist a_{i_1}^{(1)},....,a_{i_q}^{(q)} distincts eigenvalues of A



(A-a_{i_1}^{(1)}I_n)...(A-a_{i_q}^{(q)}I_n)=0


We factor in \overline{K[X]}
P_1(A)P_2(A)...P_q(A)=(A-a_{i_1}^{(1)}I_n)...(A-a_{i_q}^{(q)}I_n)W(A)=0

PostPosted: Fri Mar 10, 2006 2:15 pm  Back to top 
  ProfilePM
Display posts from previous:   Sort by:   
8 Posts • Page 1 of 1
Post new topic   Reply to topic View previous topicView next topic
Jump to:  

You cannot post new topics in this forum
You cannot reply to topics in this forum
You cannot edit your posts in this forum
You cannot delete your posts in this forum
You cannot vote in polls in this forum
You cannot attach files in this forum
You can download files in this forum
You cannot post calendar events in this forum


© Copyright 2008 AoPS Incorporated. All Rights Reserved. • FoundationPrivacyContact Us