# Question for Mathematicians

**URL:** <https://boards.straightdope.com/t/question-for-mathematicians/307221>\
**Category:** Factual Questions\
**Created:** [June 6, 2005, 11:08pm UTC](https://boards.straightdope.com/t/question-for-mathematicians/307221 "2005-06-06T23:08:20Z")\
**Posts on this page:** 20\
**Page:** 1

<div class="post-metadata">

**Author:** ![Pedro](https://avatars.discourse-cdn.com/v4/letter/p/919ad9/32.png) [@Pedro](https://boards.straightdope.com/u/Pedro)\
**Post date:** [June 6, 2005, 11:08pm UTC](https://boards.straightdope.com/t/question-for-mathematicians/307221/1 "2005-06-06T23:08:20Z")

</div>

I was pondering what it means to understand math… consider Linear Algebra, a relatively simple abstract theory with many applications.

I studied linear algebra and got a decent grade. I know how to use most of the (elementary) theory to solve problems. But I don’t feel I _understand_ linear algebra.

For example take determinants. To me this is just a peculiar rule to assign a number to a matrix that has many useful uses. Of course this grants the determinant a special status among other inconsequential rules that could be devised to assign numbers to matrices. But I don’t know what a determinant is or why it is the way it is. A determinant to me is a weird thing. I can’t visualize it. And looking at the definition I haven’t got the faintest clue what permutations and whatnot has to do with anything.

So would a mathematician be, compared to me, just more proficient in memorizing and applying these definitions and theorems or would a determinant be a familiar entity to him? Would he see why a determinant HAS to be zero for a singular matrix? (Well, not just because it follows from the definition of course).

When I look at a real integral… even though I might have trouble calculating a complicated integral analytically, I have no problem visualizing what it represents. I “get” integrals and derivatives. It helps that I can sketch them in a graph. I don’t “get” determinants, eigenvectors, kernels, etc.

They are more abstract concepts, so that would presuppose more effort. So am I just unable to elevate my understanding to a higher level or would a mathematician share my feelings?

---

<div class="post-metadata">

**Author:** ![ultrafilter](https://avatars.discourse-cdn.com/v4/letter/u/3d9bf3/32.png) [@ultrafilter](https://boards.straightdope.com/u/ultrafilter)\
**Post date:** [June 6, 2005, 11:17pm UTC](https://boards.straightdope.com/t/question-for-mathematicians/307221/2 "2005-06-06T23:17:59Z")

</div>

I think it’s mainly a matter of familiarity and having some knowledge of related concepts. There’s an old joke that once you get to advanced math, you stop understanding things and just learn what’s true, but I’m not convinced that there’s any truth to it.

---

<div class="post-metadata">

**Author:** ![wolf\_meister](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/wolf_meister/32/15202_2.png) [@wolf\_meister](https://boards.straightdope.com/u/wolf_meister)\
**Post date:** [June 6, 2005, 11:23pm UTC](https://boards.straightdope.com/t/question-for-mathematicians/307221/3 "2005-06-06T23:23:50Z")

</div>

For one thing, you can use **determinants** to find the solutions of a sysytem of equations in 2 unknowns by using Cramer’s Rule:  
[http://www.pballew.net/cramer.html](http://www.pballew.net/cramer.html)

And here’s my calculator that solves it for you (and yes I used Cramer’s Rule)  
[http://www.1728.com/unknwn2.htm](http://www.1728.com/unknwn2.htm)  
got 3 unknowns or 4 unknowns to solve? Try these:  
[http://www.1728.com/unknwn3.htm](http://www.1728.com/unknwn3.htm)  
[http://www.1728.com/unknwn4.htm](http://www.1728.com/unknwn4.htm)

As for permutations, among other things you will learn about probability. Study about **lotteries** and **casino games** and you’ll learn that they are not in business to make _you_ rich.

Well, that’s just for starters.

---

<div class="post-metadata">

**Author:** ![Pedro](https://avatars.discourse-cdn.com/v4/letter/p/919ad9/32.png) [@Pedro](https://boards.straightdope.com/u/Pedro)\
**Post date:** [June 7, 2005, 12:14am UTC](https://boards.straightdope.com/t/question-for-mathematicians/307221/4 "2005-06-07T00:14:59Z")

</div>

**wolf\_meister** for starters that is pretty weak. Obviously I know about Cramer’s Rule, having taken a course in linear algebra. You should take the time to read more carefully before jumping at the chance to plug your website. Your leap to lotteries and casinos also comes off as condescending.

I know what a permutation is but I’d be interested to know why it arises in the context of linear systems of equations. In other words, a motivation for the definition.

**ultrafilter** so would you say you share my feelings? I’d take some satisfaction in that! Is understanding determinants just knowing how to use them in a text book fashion? Do you feel it’s important to know the definition of a determinant? I think the arbitrary quality it has to me leads to a quick rusting of my linear algebra skills.

---

<div class="post-metadata">

**Author:** ![ultrafilter](https://avatars.discourse-cdn.com/v4/letter/u/3d9bf3/32.png) [@ultrafilter](https://boards.straightdope.com/u/ultrafilter)\
**Post date:** [June 7, 2005, 12:22am UTC](https://boards.straightdope.com/t/question-for-mathematicians/307221/5 "2005-06-07T00:22:27Z")

</div>

From what you’ve described of your class, it sounds more like a class in matrix theory than one in linear algebra. For the first, knowing the definition of the determinant is vital. For the second, it’s more important to know the properties of it.

In order to really understand determinants, you need to study ring homomorphisms and linear algebra. At that point, you’ll get why a singular matrix has determinant 0.

---

<div class="post-metadata">

**Author:** ![Pedro](https://avatars.discourse-cdn.com/v4/letter/p/919ad9/32.png) [@Pedro](https://boards.straightdope.com/u/Pedro)\
**Post date:** [June 7, 2005, 12:28am UTC](https://boards.straightdope.com/t/question-for-mathematicians/307221/6 "2005-06-07T00:28:02Z")

</div>

**wolf\_meister** I apologize for my tone in the previous post. I probably gave you a wrong impression when I said “but I don’t know what a determinant is or why it is the way it is” and the thing about permutations. I shouldn’t have been so harsh on you. Sorry.

---

<div class="post-metadata">

**Author:** ![Pedro](https://avatars.discourse-cdn.com/v4/letter/p/919ad9/32.png) [@Pedro](https://boards.straightdope.com/u/Pedro)\
**Post date:** [June 7, 2005, 12:34am UTC](https://boards.straightdope.com/t/question-for-mathematicians/307221/7 "2005-06-07T00:34:54Z")

</div>

> [@ultrafilter](#):
>
> From what you’ve described of your class, it sounds more like a class in matrix theory than one in linear algebra. For the first, knowing the definition of the determinant is vital. For the second, it’s more important to know the properties of it.
> 
> In order to really understand determinants, you need to study ring homomorphisms and linear algebra. At that point, you’ll get why a singular matrix has determinant 0.

OK, that helps a lot. You’re saying I need to study advanced abstract algebra to get it. Makes sense. My knowledge of linear algebra is from the book “Elementary Linear Algebra” by Howard Anton. It doesn’t go as far as ring homomorphisms.

Thanks.

---

<div class="post-metadata">

**Author:** ![II\_Gyan\_II](https://avatars.discourse-cdn.com/v4/letter/i/bbe5ce/32.png) [@II\_Gyan\_II](https://boards.straightdope.com/u/II_Gyan_II)\
**Post date:** [June 7, 2005, 12:48am UTC](https://boards.straightdope.com/t/question-for-mathematicians/307221/8 "2005-06-07T00:48:33Z")

</div>

> [@Pedro](#):
>
> I was pondering what it means to understand math

It means, to understand (patterns of) behaviour. In the real world, we have physical objects, which have a tangible form, and which also behave in a certain way. Things fall to the ground, things normally expand upon supplying heat (energy)…etc. Form is usually interleaved with function. Both evolved due to the other, with no clear forerunner, perhaps function. If you want to study behaviour in an abstract manner, you need to embody these behavioural agents as objects dor study. That’s what a determinant is. It acts in a certain way. But we need to provide it a form so that we can “see” it and recognise it from stuff that is not a determinant. It turns out that a lot of mathematical structures replicate or resemble physical phenomenas very well. So, instead of inductively predicting future behaviour, we do so by deducing, based on operations on mathematical structures.

---

<div class="post-metadata">

**Author:** ![Dr\_Paprika](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/dr_paprika/32/3042_2.png) [@Dr\_Paprika](https://boards.straightdope.com/u/Dr_Paprika)\
**Post date:** [June 7, 2005, 12:53am UTC](https://boards.straightdope.com/t/question-for-mathematicians/307221/9 "2005-06-07T00:53:58Z")

</div>

I was very good at math in both high school and at university took perhaps nineteen math courses during my engineering degree – essentially many of the same courses a math major would have taken. I was a T.A. for university complex calculus and several other courses. I did tolerably well in national and international invitational math competitions.

Pure mathematicians, physicists, engineers – all of these people might use high level mathematics. Often, physicists and engineers are essentially interested in using math as a tool and want to use it to figure out a practicial problem. Knowing the rules is enough, you don’t always need to be able to “picture” abstract concepts. The more you use these concepts, and the more situations you use them in, the more you can “picture” them. Taking advanced courses helps you picture more and more of these concepts in a concrete way. I can (or could) picture many of the things that gave you difficulty. That said, there are a great many things I studied where I knew the rules, and could apply, but did not feel I had an “instinctive” grasp of. I suspect many mathematicians feel this way, but that if you use that specific area of math often enough you feel this way about fewer abstractions.

In sum, learning and using more math gives you a better picture of some abstractions, but some abstract things remain abstract to most mathematicians (although for a given mathematician, different things probably remain abstract).

---

<div class="post-metadata">

**Author:** ![Pedro](https://avatars.discourse-cdn.com/v4/letter/p/919ad9/32.png) [@Pedro](https://boards.straightdope.com/u/Pedro)\
**Post date:** [June 7, 2005, 1:00am UTC](https://boards.straightdope.com/t/question-for-mathematicians/307221/10 "2005-06-07T01:00:08Z")

</div>

> [@II Gyan II](#):
>
> If you want to study behaviour in an abstract manner, you need to embody these behavioural agents as objects dor study. That’s what a determinant is. It acts in a certain way. But we need to provide it a form so that we can “see” it and recognise it from stuff that is not a determinant.

Can’t argue with that…

> [@](#):
>
> It turns out that a lot of mathematical structures replicate or resemble physical phenomenas very well. So, instead of inductively predicting future behaviour, we do so by deducing, based on operations on mathematical structures.

Now your moving into the realm of applications, or maybe the ilustrious question “why does math work?”, which is not what I intended. Does the determinant resemble any physical phenomena?

---

<div class="post-metadata">

**Author:** ![Pedro](https://avatars.discourse-cdn.com/v4/letter/p/919ad9/32.png) [@Pedro](https://boards.straightdope.com/u/Pedro)\
**Post date:** [June 7, 2005, 1:13am UTC](https://boards.straightdope.com/t/question-for-mathematicians/307221/11 "2005-06-07T01:13:20Z")

</div>

> [@Dr\_Paprika](#):
>
> In sum, learning and using more math gives you a better picture of some abstractions, but some abstract things remain abstract to most mathematicians (although for a given mathematician, different things probably remain abstract).

Interesting post **Dr\_Paprika**. I agree that sums it up nicely.

I would just argue, following ultrafilter’s contribution, that it’s very difficult to picture some concepts in elementary theory without a “higher level” grasp of the theory. If you look into the book I mentioned (a good book for its level in my opinion), the introduction to determinants lacks any motivation and the definition truly is arbitrary. It’s basically starting with _this_, you end with _that_, and this is good because it works for a number of things.

---

<div class="post-metadata">

**Author:** ![II\_Gyan\_II](https://avatars.discourse-cdn.com/v4/letter/i/bbe5ce/32.png) [@II\_Gyan\_II](https://boards.straightdope.com/u/II_Gyan_II)\
**Post date:** [June 7, 2005, 1:17am UTC](https://boards.straightdope.com/t/question-for-mathematicians/307221/12 "2005-06-07T01:17:36Z")

</div>

> [@Pedro](#):
>
> Now your moving into the realm of applications, or maybe the ilustrious question “why does math work?”, which is not what I intended.

That point is incidental, even within my post.

> [@](#):
>
> Does the determinant resemble any physical phenomena?

Probably not.

---

<div class="post-metadata">

**Author:** ![Pedro](https://avatars.discourse-cdn.com/v4/letter/p/919ad9/32.png) [@Pedro](https://boards.straightdope.com/u/Pedro)\
**Post date:** [June 7, 2005, 1:39am UTC](https://boards.straightdope.com/t/question-for-mathematicians/307221/13 "2005-06-07T01:39:55Z")

</div>

> [@II Gyan II](#):
>
> That point is incidental, even within my post.

I see what your point is now. The deductive reasoning is the crux of the issue. The deducing starts from “the sum of all signed elementary products of a square matrix”, which comes out of the blue, to my unsatisfaction.

---

<div class="post-metadata">

**Author:** ![Pedro](https://avatars.discourse-cdn.com/v4/letter/p/919ad9/32.png) [@Pedro](https://boards.straightdope.com/u/Pedro)\
**Post date:** [June 7, 2005, 1:59am UTC](https://boards.straightdope.com/t/question-for-mathematicians/307221/14 "2005-06-07T01:59:10Z")

</div>

By the way I wasn’t limiting my difficulty in visualizing concepts to determinants so I think I also needed more effort to get a feel for linear algebra. If anyone has more opinions about understanding (meaning visualizing?) higher math as opposed to knowing how to use it I’d be interested in hearing it.

---

<div class="post-metadata">

**Author:** ![ultrafilter](https://avatars.discourse-cdn.com/v4/letter/u/3d9bf3/32.png) [@ultrafilter](https://boards.straightdope.com/u/ultrafilter)\
**Post date:** [June 7, 2005, 2:13am UTC](https://boards.straightdope.com/t/question-for-mathematicians/307221/15 "2005-06-07T02:13:49Z")

</div>

You can’t visualize everything.

---

<div class="post-metadata">

**Author:** ![Mathochist](https://avatars.discourse-cdn.com/v4/letter/m/c89c15/32.png) [@Mathochist](https://boards.straightdope.com/u/Mathochist)\
**Post date:** [June 7, 2005, 2:30am UTC](https://boards.straightdope.com/t/question-for-mathematicians/307221/16 "2005-06-07T02:30:00Z")

</div>

> [@Pedro](#):
>
> I don’t “get” determinants, eigenvectors, kernels, etc.

I’m not sure how I could explain eigenvectors and kernels any better than most books and classes already do, but determinants are near-universally badly explained.

The best motivation for determinants is volume. Think in **R** [sup]n[/sup], and consider the natural notion of n-volume. For n=1 it’s length. For n=2 it’s area, and so on. Now, if you take a S set of volume V(S) and apply a linear transformation T to it, the volume of the result V(T(S)) is det(T)\*V(S). The really nice thing about this method is that I’ve defined the determinant _without referring to any specific basis_. It’s purely geometry.

Now, you go back and pick an orthonormal basis and work out an expression for the determinant of T in terms of the matrix for T by taking the unit cube and calculating from that. Then, this expression is generalized.

“Really”, this is a consequence of the “real” definition of determinants, but I’ve found that definition is best reserved for a second (or later) pass at the subject.

---

<div class="post-metadata">

**Author:** ![Pedro](https://avatars.discourse-cdn.com/v4/letter/p/919ad9/32.png) [@Pedro](https://boards.straightdope.com/u/Pedro)\
**Post date:** [June 7, 2005, 2:50am UTC](https://boards.straightdope.com/t/question-for-mathematicians/307221/17 "2005-06-07T02:50:49Z")

</div>

> [@ultrafilter](#):
>
> You can’t visualize everything.

True. It helps a lot but it’s not always possible. But visualize could mean things became obvious or natural. That’s usually my goal (when I’m interested enough). When you “visualize” the logical progression is all there from the basics and you don’t forget things as easily, I think.

But yeah, the higher you go the harder it becomes I suppose until you just have to let that notion go.

If I’m making any sense anymore…

---

<div class="post-metadata">

**Author:** ![Pedro](https://avatars.discourse-cdn.com/v4/letter/p/919ad9/32.png) [@Pedro](https://boards.straightdope.com/u/Pedro)\
**Post date:** [June 7, 2005, 3:18am UTC](https://boards.straightdope.com/t/question-for-mathematicians/307221/18 "2005-06-07T03:18:52Z")

</div>

> [@Mathochist](#):
>
> I’m not sure how I could explain eigenvectors and kernels any better than most books and classes already do, but determinants are near-universally badly explained.
> 
> The best motivation for determinants is volume. Think in **R** [sup]n[/sup], and consider the natural notion of n-volume. For n=1 it’s length. For n=2 it’s area, and so on. Now, if you take a S set of volume V(S) and apply a linear transformation T to it, the volume of the result V(T(S)) is det(T)\*V(S). The really nice thing about this method is that I’ve defined the determinant _without referring to any specific basis_. It’s purely geometry.
> 
> Now, you go back and pick an orthonormal basis and work out an expression for the determinant of T in terms of the matrix for T by taking the unit cube and calculating from that. Then, this expression is generalized.
> 
> “Really”, this is a consequence of the “real” definition of determinants, but I’ve found that definition is best reserved for a second (or later) pass at the subject.

Cool **Mathochist**. Very interesting as always. That’s a nice way to think of determinants. By the geometrical property they express of a linear transformations. Some things are clearer now… why the determinant would be invariant under two similar matrices… and if a transformation is not invertible (that is if the matrix is singular), I think V(T(S)) is always zero (the transformation “flattens” n-volumes).

When you say unit cube, you’re picking n=3 right?

---

<div class="post-metadata">

**Author:** ![ultrafilter](https://avatars.discourse-cdn.com/v4/letter/u/3d9bf3/32.png) [@ultrafilter](https://boards.straightdope.com/u/ultrafilter)\
**Post date:** [June 7, 2005, 3:25am UTC](https://boards.straightdope.com/t/question-for-mathematicians/307221/19 "2005-06-07T03:25:51Z")

</div>

Although “unit cube” does refer to the case n = 3, the method will generalize.

---

<div class="post-metadata">

**Author:** ![xash](https://avatars.discourse-cdn.com/v4/letter/x/c6cbf5/32.png) [@xash](https://boards.straightdope.com/u/xash)\
**Post date:** [June 7, 2005, 3:59am UTC](https://boards.straightdope.com/t/question-for-mathematicians/307221/20 "2005-06-07T03:59:38Z")

</div>

> [@Pedro](#):
>
> You should take the time to read more carefully before jumping at the chance to plug your website.

**Pedro** , please note that such a response is not appreciated in GQ.

- **xash**  
General Questions Moderator

[Next page](https://boards.straightdope.com/t/question-for-mathematicians/307221.md?page=2)
