Discussion Overview
The discussion revolves around proving that the products of two linear operators, ST and TS, have the same eigenvalues. Participants explore the conditions under which this holds, the definitions involved, and the implications of the proof in the context of linear algebra and quantum mechanics.
Discussion Character
- Debate/contested
- Technical explanation
- Mathematical reasoning
Main Points Raised
- One participant requests assistance in starting the proof regarding the eigenvalues of ST and TS.
- Another participant inquires about the concept of a characteristic polynomial, suggesting it may be relevant to the proof.
- Concerns are raised about the conditions that S and T must satisfy for the proof to hold, with a request for clarification on these conditions.
- A participant proposes a method involving arbitrary vectors and eigenvalues to demonstrate the relationship between ST and TS, but this is challenged on the grounds that it assumes the existence of eigenvalues for S and T.
- There is a mention of the commutator [S, T] and its relevance, with one participant asserting that it is useful in quantum mechanics.
- Another participant clarifies that linear operators on complex vector spaces always have eigenvalues, while those on real vector spaces may not, which introduces a potential limitation to the proof.
- A participant outlines a reasoning process to show that if λ is an eigenvalue for ST, it can be shown that λ is also an eigenvalue for TS, provided certain conditions about the vectors involved are met.
- One participant claims to have constructed counterexamples using Jordan forms, indicating that the discussion may not reach a consensus on the proof's validity.
Areas of Agreement / Disagreement
Participants express differing views on the existence of eigenvalues for linear operators, particularly in relation to the underlying field (real vs. complex numbers). There is no consensus on the proof's validity, with some proposing methods while others raise challenges and counterexamples.
Contextual Notes
Limitations include the dependence on the definitions of eigenvalues and the conditions under which S and T operate. The discussion also highlights the potential for counterexamples in specific cases, particularly with non-trivial Jordan forms.