Lin Alg - Eigenvector Existence proof

Click For Summary

Homework Help Overview

The discussion revolves around proving the existence of an eigenvector for the matrix A defined as A = \(\begin{pmatrix} \cos \theta & \sin \theta \\ \sin \theta & -\cos \theta \end{pmatrix}\) for any \(\theta \in \mathbb{R}\). Participants are exploring the implications of this requirement and the conditions under which such eigenvectors exist.

Discussion Character

  • Exploratory, Assumption checking, Conceptual clarification

Approaches and Questions Raised

  • Participants discuss the original poster's assumption that the matrix A has an eigenvector for any value of \(\theta\). There is a focus on proof by contradiction and the exploration of specific values of \(\theta\). Some participants suggest a need to demonstrate the existence of eigenvectors for all \(\theta\), rather than just certain values.

Discussion Status

The discussion is active, with participants providing feedback on the original poster's approach and suggesting alternative methods to explore the problem. There is acknowledgment of the need to consider the geometric interpretation of the matrix and its implications for finding eigenvectors.

Contextual Notes

Participants note the challenge of proving the statement for all \(\theta\) and the potential for confusion regarding the eigenvalue equation. There is mention of specific angles and their geometric significance in relation to the matrix A.

mattmns
Messages
1,129
Reaction score
5
Lin Alg - Eigenvector Existence proof (More of a proof ?, than eigenvector ?)

Here is the question from my book:

Show that If [itex]\theta \in \mathbb{R}[/itex], then the matrix

[tex]A = \left(\begin{array}{cc}cos \theta & sin \theta \\ sin \theta & -cos \theta \end{array}\right)[/tex]

always has an eigenvector in [itex]\mathbb{R}^2[/itex], and in fact that there exists a vector [itex]v_{1}[/itex] such that [itex]Av_{1} = v_{1}[/itex]
---------------

Now I am a little caught up on one thing here:

Is this saying that for any value of [itex]\theta \in \mathbb{R}[/itex], A has an eigenvector in [itex]\mathbb{R}^2[/itex] ?? (imo it does)

Because I am working a simple proof by contradiction, and if I can just choose a value of [itex]\theta[/itex] I would be done. (Except for the second part, but imo, that is simple to do, as I would just need to show that there is some eigenvalue = 1.)

Thanks!
 
Last edited:
Physics news on Phys.org
I guess I should be more specific in what I am doing.

I am letting theta be in R, then I am assuming that A has no eigenvectors. Thus for all [itex]X \in \mathbb{R}^2 AX \neq \lambda X[/itex] for any [itex]\lambda[/itex] Then I am letting X = t(0 1) that t is the transpose.
Then I get [itex]AX = t(sin \theta \ \ cos\theta)[/itex]
and [itex]\lambda X = t( 0 \ \ \lambda )[/itex]
Now if [itex]\theta[/itex] takes on certain values, then [itex]AX = \lambda X[/itex] which is a contradiction (that is, if theta can be any value in R)
 
Last edited:
Your approach is wrong. You must show the existence of eigenvectors for all values of theta, not just certain values of theta.

Since you have to solve the eigenvalue equation, why not just go a step further an find the eigenvectors (it's not long at all) ? If you get stuck along the way, someone will bail you out.
 
You're supposed to prove that for ALL [itex]\theta[/itex] in [itex]\mathbb{R}[/itex], the corresponding matrix A has an eigenvector; you've only shown that only for SOME [itex]\theta \in \mathbb{R}[/itex], the corresponding matrix A has an eigenvector.

Do you know the geometric interpretation of these matrices A? If so, then the whole thing would be easy, and you'd know what eigenvector to look for. Try investigating. Look at the eight points on the unit circle that are at some multiple of 45 degrees. Now consider the matrices you get when you take [itex]\theta[/itex] to be some multiple of 45 degrees.

Or here's a way to almost always find an eigenvector: Pick a vector (x 1)T. Apply the matrix A to it, and you'll get a resulting vector:

[tex]\left (\begin{array}{c}{f(x,\theta )\\g(x,\theta )}\end{array}\right )[/tex]

For some functions f and g. Remember you're asked to find, given the angle [itex]\theta[/itex] an eigenvector, so you want to find x such that [itex]f(x, \theta ) = x[/itex], [itex]g(x, \theta ) = 1[/itex] since you already expect the eigenvalue to be 1. This procedure will only fail when [itex]\theta[/itex] is an integer multiple of 360 degrees.
 
I had first approached it that way, but I could just not seem to get anywhere, now I got it. Thanks!
 
Now that you've figured out the answer for yourself, you should know that this matrix gives a reflection in the line through the origin which makes an angle [itex]\theta / 2[/itex] with the positive x-axis. Any vector in this line is obviously an eigenvector with eigenvalue 1.
 

Similar threads

  • · Replies 14 ·
Replies
14
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
Replies
3
Views
2K
Replies
3
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
Replies
1
Views
2K
  • · Replies 11 ·
Replies
11
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K