# Help with understanding the general formula for the determinant? [duplicate]

Possible Duplicate:
What’s an intuitive way to think about the determinant?

Could anyone give an intuitive explanation of the determinant? I know mostly what the determinant means and I can calculate it etc. But I have never got any real-world intuitive explanation of the general formula of the determinant?

How is the formula derived? Where does it come from? What I'm essentially asking is: Prove the general formula for calculating the determinant of an n-by-n matrix and explain the meaning of it

Any support = Thank you so much!! =)

-

## marked as duplicate by Mike Spivey, tomasz, user1551, joriki, MicahDec 18 '12 at 17:43

In addition to the nice pointer by Mike S., you might also review math.stackexchange.com/questions/81521/… –  Amzoti Dec 18 '12 at 16:48

1. It is linear in each column, that is, for $1 \le i \le n$, $x_1, \ldots, x_n \in K^n$, $\lambda \in K$, $x_i' \in K^n$, we have $$\det (x_1, \ldots, x_i+\lambda x_i', \ldots, x_n) = \det(x_1, \ldots, x_n) + \lambda \det (x_1, \ldots, x_i', \ldots, x_n)$$
2. It is alternating, that is $\det(x_1, \ldots, x_n) = 0$ if $x_i = x_j$ for some $i \ne j$.
3. $\det(e_1, \ldots, e_n) = 1$.
From 1. and 2. we can conclude, that changing two columns changes sign: \begin{align*} 0 &= \det (x_1, \ldots, x_i + x_j, \ldots, x_i + x_j, \ldots, x_n)\\ &= \det(x_1, \ldots, x_i, \ldots, x_i, \ldots, x_n) + \det(x_1, \ldots, x_i, \ldots, x_j, \ldots, x_n)\\ & {} + \det(x_1, \ldots, x_j, \ldots, x_i, \ldots, x_n) + \det(x_1, \ldots, x_j, \ldots, x_j, \ldots, x_n) \\ &= \det(x_1, \ldots, x_i, \ldots, x_j, \ldots, x_n) + \det(x_1, \ldots, x_j, \ldots, x_i, \ldots, x_n) \\ \iff \det(x_1, \ldots, x_i, \ldots, x_j, \ldots, x_n) &= -\det(x_1, \ldots, x_j, \ldots, x_i, \ldots, x_n) \end{align*} From this, writing a $\sigma \in S_n$ as a product of transpositions, one concludes by induction on the number of transpositions $$\det(x_{\sigma(1)}, \ldots, x_{\sigma(n)}) = \mathrm{sgn}\, \sigma \cdot \det(x_1, \ldots, x_n)$$ For general $x_1, \ldots, x_n \in K^n$, we now start writing them in the standard basis (we want to use 3.), say $x_j = \sum_{i=1}^n x_{ij}e_i$. We have using multilinearity \begin{align*} \det(x_1, \ldots, x_n) &= \det\left(\sum_{i_1=1}^n x_{i_11}e_{i_1}, \ldots, \sum_{i_n=1}^n x_{i_nn}e_{i_n}\right)\\ &= \sum_{i_1=1}^n \cdots \sum_{i_n=1}^n \prod_{j=1}^n x_{i_jj}\det(e_{i_1}, \ldots, e_{i_n}) \end{align*} Now $\det(e_{i_1}, \ldots, e_{i_n})$ is by 2. different from zero only if $j \mapsto i_j$ is a permutation, so only $n!$ of the above $n^n$ summands remain, we get using what we found above for permutations \begin{align*} \det(x_1, \ldots, x_n) &= \sum_{i_1=1}^n \cdots \sum_{i_n=1}^n \prod_{j=1}^n x_{i_jj}\det(e_{i_1}, \ldots, e_{i_n})\\ &= \sum_{\pi \in S_n} \prod_{j=1}^n x_{\pi(j)j} \det(e_{\pi(1)}, \ldots, e_{\pi(n)})\\ &= \sum_{\pi \in S_n} \prod_{j=1}^n x_{\pi(j)j} \mathrm{sgn}\,\pi \cdot \det(e_1, \ldots, e_n)\\ &= \sum_{\pi \in S_n} \mathrm{sgn}\,\pi \cdot \prod_{j=1}^n x_{\pi(j)j} \end{align*}
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 1, "mathjax_display_tex": 1, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0, "katex": 0, "math-container": 0, "wp-katex-eq": 0, "align": 0, "equation": 0, "x-ck12": 0, "texerror": 0, "math_score": 0.9999809265136719, "perplexity": 1119.5934293416549}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "plain"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "warc_path": "s3://commoncrawl/crawl-data/CC-MAIN-2015-18/segments/1429246659254.83/warc/CC-MAIN-20150417045739-00036-ip-10-235-10-82.ec2.internal.warc.gz"}