Remix.run Logo
tptacek 3 days ago

So does Strang! (I just checked, Linear Algebra & Applications 4E).

Also: sir, this is a blog post. It's wild seeing people say "if you really want to understand this topic, pick up Axler". I mean, yeah, also if you were serious you could just enroll in your local community college's Linear Algebra course.

My feeling is that a lot of the critique here is really signaling. For whatever reason, linear algebra is super high-status in this community, and people want to communicate that they've done something serious with it. (I'm sure I'm guilty of that too.)

creata 3 days ago | parent | next [-]

> It's wild seeing people say "if you really want to understand this topic, pick up Axler"

I agree. I don't think "Linear Algebra Done Right" is a good fit for most people. It's way too dry, and I don't think his crusade against determinants helps the book. I don't know what a good book suggestion would be, though. Maybe just nab the course notes/slides/exercises off some university's website?

> this is a blog post

Blog posts can be and often are amazing.

> My feeling is that a lot of the critique here is really signaling.

Weird accusation, so just to be clear, I haven't done anything serious with anything, ever.

tptacek 3 days ago | parent [-]

I wasn't referring to anybody in particular. But, like: what is the point of calling out a blog post for not presenting the angle interpretation of the dot product? How would that have fit with the goals of this post? You presented it as a defect, but that logic also suggests Strang's explanation is defective.

creata 3 days ago | parent [-]

> that logic also suggests Strang's explanation is defective

I haven't read Strang's book, so I can't comment on that. But yeah, if it never mentions the formula ||a||·||b||·cos(θ) or at least talks about how the dot product relates to parallel and orthogonal vectors, I would consider that a big hole in an introduction to the dot product.

> How would that have fit with the goals of this post?

Because the post is titled "an introduction to linear algebra... the dot product", and this is something that I believe should be in anything that considers itself an introduction to the dot product.

You seem to disagree, and I'd like to ask: why? I think this a fundamental aspect of the dot product, again, just as fundamental as the relationship between complex multiplication and rotation. I think my view is common.

> calling out a blog post

I didn't intend to do anything as strong as "call out" the blog post. I just wanted to express surprise at someone so strongly praising ("its sauce is stronger [than 3B1B's video series]") an alright post.

tptacek 3 days ago | parent [-]

Well, he's one of the most famous and best-respected educators of linear algebra, and this is an unusually basic piece of linear algebra to be taking aim at him for, so one answer is: if you have to ask whether his approach is defective, you should first evaluate how strong your own understanding is. That's argument from authority, but then: Strang is an authority. The typical push-pull on a message board is between Strang and Axler, and, if you want to find out if Axler is going to save your argument, flip to 6.A in LADR.

The direct response to your question is: the centrality of the angular interpretation of the inner product is the kind of thing I feel like you'd say if your primary purpose for learning linear algebra is to program video games. Linear algebra isn't "about" geometry, and, in particular, Strang's teaching goal centers vector spaces and the relationship between spaces. You need inner products to apply linear transformations with matrices. You basically don't need the angular interpretation... at all? if your goal is to teach linear algebra as a tool for data manipulation and, as Strang did in his last course, as a vehicle for deep learning.

(You need orthogonality, but you didn't say `a⟂b=0`, you said `|a||b|cosθ`).

I'm not rating this blog post "higher" than 3B1B; the comparison doesn't even make sense. The blog post and the video series simply have different objectives.

ndriscoll 3 days ago | parent | next [-]

You don't need inner products for linear transformations. You just need the idea of a basis and linearity. You define your transformation on a basis (which is all a matrix is: the list of where the map sends each basis element), and it is automatically defined everywhere else via linearity. The textbook my undergrad class used (Curtis) doesn't define inner products until after linear transformations and matrices, for example.

The angular interpretation and geometry are basically the entire point of inner products (inner products are how you define a large chunk of geometry). Angles and projections are the entire intuition behind talking about orthogonality, which is super important practically to basically every field.

tptacek 3 days ago | parent [-]

Re the more abstract approach to transformations, fair point, and I feel like that describes Axler well too. I'd soften my argument to just that being Strang's approach to bringing in the subject.

I agree orthogonality is important. But Strang doesn't get to `a⟂b=0` by means of `cosθ`. You're halfway into the book before he's even defined the Euclidean norm. He derives orthogonality mostly algebraicaly; the only angle he talks about is π/2.

ndriscoll 3 days ago | parent [-]

Eh, I don't even think it's more abstract. Like if you're in intro engineering/physics math, and you have R^3 with unit vectors i,j,k, and R^2 with unit vectors I,J, then a function f: R^3 -> R^2 is linear exactly when you can calculate all f(v) = f(ai + bj + ck) = af(i) + bf(j) + cf(k). Then you can define f by "what is f(i)? (Some AI+BJ). What is f(j)? (Some CI+DJ). What is f(k)? (Some EI+FJ)", and then a matrix is just a tabulation of those things. Basically, linear functions let you pick out just n points to define them everywhere, kind of like polynomials. Matrices are that information. Perfectly concrete even at the super intro level. Matrix "multiplication" becomes automatic and trivial; it's just function composition tabulated.

Actually it seems way more concrete to me than mystery rules for "multiplying" arrays.

creata 3 days ago | parent | prev [-]

> That's argument from authority, but then: Strang is an authority.

Yes, it's an argument from authority.

> The typical push-pull on a message board is between Strang and Axler

We're not playing Pokemon with linear algebra textbooks here...

> the centrality of the angular interpretation

It's not central. It's one of the ways to think of it. I think 3B1B actually did a good job emphasizing this in his video series: there are many ways to look at vectors, and all of them are sometimes useful. They can be arrows in space, or sequences of numbers, or black boxes that obey the vector space axioms, or polynomials, and so on.

> if your primary purpose for learning linear algebra is to program video games.

What an odd guess. Seriously, I would be surprised if most math teachers didn't mention angles and norms, scalar projections, etc. An important part of math is being able to see things from multiple angles (no pun intended), and this is a useful angle to view the dot product from.

> Linear algebra isn't "about" geometry

Sort of. Linear algebra proper, the study of vector spaces and linear maps between them, is not about geometry, but geometry comes in almost precisely once you equip the vector space with an inner product, such as the dot product. A bare vector space has almost no geometric content, but the inner product gives you lengths, angles, isometries, orthogonality, and all that jazz.

> Strang's teaching goal centers vector spaces and the relationship between spaces.

That's a good goal.

> You need inner products to apply linear transformations with matrices.

I think you have a fundamental misunderstanding of linear algebra here. You do not need an inner product to "apply linear transformations with matrices".

> You basically don't need the angular interpretation... at all? if your goal is to teach linear algebra as a tool for data manipulation

Off the top of my head, cosine similarity? It's not uncommonly used.

But if you're teaching linear algebra for data manipulation, you rarely need the dot product, either. Most "dot products" in data manipulation, like the ones in this article, would be better expressed as row-vector-column-vector matrix products.

> (You need orthogonality, but you didn't say `a⟂b=0`, you said `|a||b|cosθ`).

I said "||a||·||b||·cos(θ) or at least talks about how the dot product relates to parallel and orthogonal vectors". Anyway, it's hard for a person not to interpret orthogonality as a statement about angles, so I'm not sure what distinction you're trying to draw here.

> I'm not rating this blog post "higher" than 3B1B

I guess I misinterpreted "its sauce is stronger", then.

Sorry for any mistakes; this took way too long to type.

tptacek 3 days ago | parent [-]

We're indeed not playing Pokemon with textbooks here since neither of the two textbooks we're discussing (2 of the 3 most famous for the subject) agree with you. I haven't read Lay; is that the one you read, and does it support this argument?

creata 3 days ago | parent [-]

I didn't read a linear algebra textbook; I studied pure math at university.

seanhunter 3 days ago | parent | prev | next [-]

I take exception to the idea that I was somehow signalling, and frankly that's a pretty weird thing to say. It happens that I love maths and am studying it part-time alongside my work. I posted some links to things that I have found useful on my journey so far in the hope that they are useful to others.

tptacek 3 days ago | parent [-]

I don't think "taking exception" is helpful. You opened with "If you actually want to learn linear algebra, don't use this blogpost." Do you feel like that really needed to be said?

gnubison 3 days ago | parent | prev [-]

Strang does include that. I just checked the fourth edition, like you say you did. Scrolling down two pages to get to the first page of the table of contents, I see the heading “cosines and projections onto lines”. I navigate to that section and it explains all the logic, proof, and intuition behind the connection between angles and dot products. Please don’t spread misinformation…

tptacek 3 days ago | parent [-]

That's page 171, 13 dense pages into the section on orthogonality, long after he's introduced the dot product, in a section where he says, in italics, "the orthogonal case is the most important"; he gives cosines about half a page before going back to a perp b.

Nobody said Strang never mentioned cos θ --- that would be weird --- only that his sequencing doesn't treat the angle formula as fundamental, even in the section introducing it. And nobody has ever read Strang and thought projections didn't matter.