Why would f(x) not be included in the determinant?

  • Context: Undergrad 
  • Thread starter Thread starter epkid08
  • Start date Start date
  • Tags Tags
    Determinant
Click For Summary

Discussion Overview

The discussion revolves around the inclusion of a function \( f(x) \) in the determinant of a matrix, specifically in the context of a 3x3 matrix and a general n x n upper triangular matrix. Participants explore how the determinant is calculated and whether the presence of \( f(x) \) affects the outcome.

Discussion Character

  • Exploratory, Technical explanation, Debate/contested, Mathematical reasoning

Main Points Raised

  • One participant presents a 3x3 matrix \( A \) and questions whether the determinant depends solely on \( f(x) \) or on all functions in the matrix.
  • Another participant expresses confusion about why \( f(x) \) would not be included in the determinant, suggesting they have found an example that could clarify this.
  • A participant provides a definition of the determinant for 2x2 and 3x3 matrices, explaining how to expand the determinant by the first column, particularly when entries below the first column are zero.
  • Another participant shares an example from a book regarding the Wronskian of a set of functions, questioning the book's answer and suggesting a possible typo.
  • One participant asks whether the determinant of a general n x n upper triangular matrix \( B \) equals the product of the diagonal entries, \( \prod^n_{k=1}f_k(x) \), and receives confirmation that this holds true if all entries below the diagonal are zero.
  • Another participant elaborates on the properties of determinants, mentioning that the determinant is a linear function of each row/column and can be factored out, leading to the product of diagonal entries.
  • One participant discusses expanding the determinant of an upper triangular matrix by the first diagonal, reinforcing the previous points about the determinant's properties.

Areas of Agreement / Disagreement

Participants express uncertainty regarding the role of \( f(x) \) in the determinant calculation, and while some points are clarified, the discussion remains unresolved on whether the determinant's form depends solely on \( f(x) \) or other matrix entries.

Contextual Notes

There are references to specific examples and potential typos in the source material, indicating that the discussion may be influenced by the accuracy of the examples provided.

epkid08
Messages
264
Reaction score
1
Let's say I have a matrix A:

[tex]A=\begin{bmatrix}<br /> f(x)& z_1(x)& z_2(x)\\ <br /> 0& a(x)& b(x)\\<br /> 0& c(x)& d(x) <br /> \end{bmatrix}[/tex]

I've noticed that the determinant of A will either be [tex]a(x)d(x) - b(x)c(x)[/tex] or [tex]f(x)a(x)d(x)-f(x)b(x)c(x)[/tex]. I've never found an example of it taking another form. My question is, is there a way to determine which one it is? Does it depend soley on [tex]f(x)[/tex], or does it depend on all functions in the matrix?
 
Physics news on Phys.org


Why would f(x) not be included in the determinant?
 


Pengwuino said:
Why would f(x) not be included in the determinant?

I'm not sure why, but I've found an example, I'll post it in a minute.
 


The 2 by 2 determinant
[tex]\left|\begin{array}{cc}a & b \\c & d\end{array}\right|[/tex]
is defined as "ad- bc".

The 3 by 3 determinant
[tex]\left|\begin{array}{ccc}a & b & c\\d & e & f\\ g & h & i\end{array}\right|[/itex]<br /> can be "expanded by the first column" to give<br /> [tex]a\left|\begin{array}{cc}e & f \\ h & i\end{array}\right|- d\left|\begin{array}{cc}b & c \\ h & i\end{array}\right|+ g\left|\begin{array}{cc}b & c \\ e & r\end{array}\right|[/tex]<br /> = a(ei- fh)- d(bi- ch)+ g(bf- ce) .<br /> <br /> In the special case that the bottom two entries of the first column are 0, that reduces to what you have: <br /> [tex]a\left|\begin{array}{cc}e & f \\ h & i\end{array}\right|[/tex]<br /> = a(ei- fh).[/tex]
 


Hmm, it's very possible that my book made a typo.

This is the example from my book:

Find the Wronskian of the set [tex]\{x,x^2,x^3\}[/tex]

[tex]W(x, x^2, x^3)=\left|\begin{array}{ccc}x & x^2 & x^3 \\1 & 2x & 3x^2\\ 0 & 2 & 6x\end{array}\right|[/tex]

[tex]xR_2-R_1 \rightarrow R_2[/tex]

[tex]W(x, x^2, x^3)=\left|\begin{array}{ccc}x & x^2 & x^3 \\0 & x^2 & 2x^3\\ 0 & 2 & 6x\end{array}\right|[/tex]

Now according to you, the Wronskian should evaluate to [tex]x((x^2)(6x)-(2)(2x^3))=2x^4[/tex], but the book has the answer as [tex]2x^3[/tex].
 


Plugging in [tex]x=5[/tex] into the function, and using a calculator to evaluate the determinant, it seems like it was a typo all along.

Ehh!
 


Another question.

So if I had a n by n matrix B:

[tex] B_{n,n} = <br /> \begin{bmatrix}<br /> f_1(x) & a_2 & \cdots & a_{n-1}& a_n \\<br /> 0 & f_2(x) & \cdots & b_{n-1}&b_n \\<br /> \vdots & \vdots & \ddots & \vdots&\vdots \\<br /> 0 & 0 &\cdots &f_{n-1}(x) & z_n\\<br /> 0 & 0 & \cdots & 0&f_n(x) <br /> \end{bmatrix}<br /> \][/tex]

(Ignoring my misuse of Latex, hopefully you know what I mean)

Does [tex]\det(B)[/tex] always equal [tex]\prod^n_{k=1}f_k(x)[/tex]?
 


epkid08 said:
Does [tex]\det(B)[/tex] always equal [tex]\prod^n_{k=1}f_k(x)[/tex]?

Yes, if every entry below the diagonal is 0, then the determinant is simply the product of every entry in the diagonal, regardless of what is going on above the diagonal.
 


It follows from the fact that det I = 1.
By eliminating entries above the pivots in your upper triangular matrix, it can be made into a diagonal matrix.

Since we also know that the determinant is a linear function of each row/column separately, we may factor out:
[tex]a_{i,j}[/tex] for i = j you get:

[tex]a_{11}a_{22}...a_{nn}I[/tex]

As mentioned, det I = 1 and what you get is a product of every entry in the diagonal, just as mr. Pengwuino said.

I am just learning this stuff myself, hope I have not written something crazy :)
 
  • #10


Or given that A is upper triangular, expand det(A) by the first diagonal:
[tex]\left|\begin{array}{cccc}a & b & ... & c \\ 0 & d & ... & e \\ ... & ... & ... & ... \\ 0 & 0 & ... & z\end{array}\right|= a\left|\begin{array}{ccc}d & ... & e \\ ... & ... & ... \\ 0 & 0 & z\end{array}\right|[/tex]
and expand that determinant by the first diagonal, etc.
 

Similar threads

  • · Replies 24 ·
Replies
24
Views
3K
  • · Replies 33 ·
2
Replies
33
Views
3K
  • · Replies 1 ·
Replies
1
Views
4K
  • · Replies 6 ·
Replies
6
Views
3K
  • · Replies 11 ·
Replies
11
Views
2K
Replies
48
Views
6K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 8 ·
Replies
8
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K