Linear Algebra Determinant proof

Click For Summary
SUMMARY

The determinant of an upper triangular matrix, such as ##\left(\begin{array}{ll}e & g \\ 0 & f\end{array}\right)##, is definitively equal to the product of the elements on its leading diagonal, specifically calculated as ef. This property can be generalized to any n x n upper triangular matrix. The proof relies on understanding the Laplace expansion of the determinant, which is essential for formalizing the argument. Additionally, it is important to clearly state definitions and theorems used in the proof process.

PREREQUISITES
  • Understanding of determinants in linear algebra
  • Familiarity with upper triangular matrices
  • Knowledge of the Laplace expansion of determinants
  • Basic concepts of formal proof writing in mathematics
NEXT STEPS
  • Study the properties of determinants for various matrix types, including lower triangular matrices
  • Learn about the Laplace expansion method in detail
  • Explore formal proof techniques in linear algebra
  • Investigate geometric interpretations of determinants, such as area calculations
USEFUL FOR

Students and educators in mathematics, particularly those focusing on linear algebra and matrix theory, as well as anyone interested in formal proof writing and the properties of determinants.

TanWu
Messages
17
Reaction score
5
Homework Statement
(a) Show that a matrix ##\left(\begin{array}{ll}e & g \\ 0 & f\end{array}\right)## has determinant equal to the product of the elements on the leading diagonal. Can you generalise this idea to any ##n \times n## matrix?
Relevant Equations
##\left(\begin{array}{ll}e & g \\ 0 & f\end{array}\right)##
I have a doubt about this problem.

(a) Show that a matrix ##\left(\begin{array}{ll}e & g \\ 0 & f\end{array}\right)## has determinant equal to the product of the elements on the leading diagonal. Can you generalize this idea to any ##n \times n## matrix? The first part is simple, it is just ef.

I have a doubt about what ##n \times n## matrix they want generalized too, for example do they want a upper triangular ##n \times n## matrix like the one the author as written or a lower triangular, or general matrix, etc.

I express gratitude to those who help.
 
  • Like
Likes   Reactions: PeroK and nuuskur
Physics news on Phys.org
The determinant of an upper or lower triangular matrix is equal to the product of the elements on the leading diagonal.

An upper triangular matrix is a square matrix whose entries below the leading diagonal are zero.

The claim follows quickly provided you are familiar with the Laplace expansion of the determinant.

Also, good job on using much more helpful titles. :cool:
 
Last edited:
  • Like
Likes   Reactions: PeroK and TanWu
Thank you Sir. Apologize, I am not familiar with that.
 
In the "Relevant Equations" section, you should state how you have defined the determinant or any already-proven fact(s) that you use in your proof.
In general, you should work on stating your proofs in a more formal way. Where they are used, your proof should state what definitions, theorems, or lemas you are using.
 
  • Like
Likes   Reactions: TanWu
note that geometrically this is the fact that the area of a parallelogram equals that of the rectangle with same height and base.
 
  • Like
Likes   Reactions: TanWu

Similar threads

  • · Replies 5 ·
Replies
5
Views
5K
Replies
0
Views
892
  • · Replies 7 ·
Replies
7
Views
3K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 5 ·
Replies
5
Views
12K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 6 ·
Replies
6
Views
3K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 15 ·
Replies
15
Views
3K
  • · Replies 18 ·
Replies
18
Views
3K