tag:blogger.com,1999:blog-264226589944705290.post5510738009184884049..comments2021-10-15T08:13:17.208-07:00Comments on God Plays Dice: geometric interpretation of vector productsMichael Lugohttp://www.blogger.com/profile/15671307315028242949noreply@blogger.comBlogger10125tag:blogger.com,1999:blog-264226589944705290.post-11593534595040512192010-01-20T05:05:30.888-08:002010-01-20T05:05:30.888-08:00ab = a dot b + a wedge b
(a wedge b)starred = a...ab = a dot b + a wedge b<br />(a wedge b)starred = a cross b<br /><br />Can be generalised.Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-264226589944705290.post-9172493536999539422009-10-28T01:18:28.057-07:002009-10-28T01:18:28.057-07:00Hi
It's really a very important question, i s...Hi<br /><br />It's really a very important question, i scratched my head and asked a lot of Phd's about it none of them give me the answer, after that and after a long nights fighting with Vector spaces and algebra I figured out it, shorty, Matrix is actually complex rotational & scaling & deformation of the vectors, and cross product as you said, is just a simplest one !TMShttp://www.tms0.comnoreply@blogger.comtag:blogger.com,1999:blog-264226589944705290.post-17160214687007978902007-09-15T14:19:00.000-07:002007-09-15T14:19:00.000-07:00If a vector in R^{3} is viewed as an infinitesimal...If a vector in R^{3} is viewed as an infinitesimal rotation, the cross-product can be interpreted in terms of the composition of infinitesimal rotations.<BR/><BR/>The triple product computes the oriented volume of a parallelopiped. <BR/><BR/>The ratio of the dot product of vectors a and b to the norm of b is the length of the shadow a makes on b.Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-264226589944705290.post-22049999052765192382007-09-12T20:06:00.000-07:002007-09-12T20:06:00.000-07:00I think that John's description of k-vectors (a r...I think that John's description of k-vectors (a really useful concept that I wish was more well-known) and Aaron's description of measurement really get at the heart of the matter here. For some reason, antisymmetric objects (k-vectors, k-forms, differentials, symplectic structures) seem to be more geometric than symmetric objects (dot product, Riemannian metrics, the shape operator), which appear to have more to do with measurement.<BR/><BR/>I think this is reflected in the fact that the cohomology of the tensor powers of T*M is the same as the de Rham cohomology, where we ignore symmetric powers. So at least the topology doesn't see symmetric things, in some sense. Similarly, every manifold carries a nonvanishing metric but not every manifold carries a nonvanishing 2-plane field, which is the antisymmetric version of a metric.<BR/><BR/>I wish I had more insight into this issue. I usually try to geometrize everything, but in a reversal of blogging roles, the dot product often turns into "correlation" in my head!Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-264226589944705290.post-78547498206724293392007-09-12T19:57:00.000-07:002007-09-12T19:57:00.000-07:00I went through this the other day, too. My answer ...I went through this the other day, too. My answer is more devious. The function xy is bilinear; that it is, is the distributive law. Area is also bilinear. I am talking about counting the number of squares in a rectangle to begin with. But area is also signed, we just are in the habit of ignoring the sign. GREEN SIDE UP!<BR/><BR/>Consequently, planar area is a bilinear alternating form. To keep track of the sign we introduce up and down. So now the plane lives in a space and divides it into up and down. Clearly we want ixj=k, etc so that the signs workout. So the cross product is the unique vector valued anti-symetric bilinear form, that takes specific values on i x j, j x k, and k x i.Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-264226589944705290.post-60285010991784517782007-09-12T19:51:00.000-07:002007-09-12T19:51:00.000-07:00Since |a|cos(θ) is the scalar projection of a onto...<I>Since |a|cos(θ) is the scalar projection of a onto b, the dot product can be understood geometrically as the product of this projection with the length of b. That's true, and I did say that, but what good is it?</I><BR/><BR/>Tremendous good! This kind of projection shows up in physics all the time. For example, consider an electric current flowing through a flat surface. The current is represented by a current density vector, whose magnitude is in units of current/area, and whose direction is the direction of the current. The surface is represented by an area vector, whose magnitude is the area of the surface, and whose direction is normal to the surface. To find out how much current is flowing through the surface, you project the current density vector onto the area vector---because you want to count the part of the current flowing <I>through</I> the surface and ignore the part flowing <I>along</I> it---and then multiply the projected vector's magnitude by the area of the surface, yielding a scalar with units of current/area * area = current.<BR/><BR/>Or consider a boxcar that's stuck on a track, so it can only move along the x axis. If you push on the boxcar in the (x+y) direction, you can see that half of your work will be wasted, because the boxcar can't move in the y direction. The dot product is how you'd translate this intuitive notion into formal math.Aaronhttps://www.blogger.com/profile/18281785407407667986noreply@blogger.comtag:blogger.com,1999:blog-264226589944705290.post-67984965119390583872007-09-12T12:19:00.000-07:002007-09-12T12:19:00.000-07:00I didn't have time to include this before, but tha...I didn't have time to include this before, but that viewpoint also explains your conjecture about the "cross product" of a single vector in a 2-dimensional space. In such a space, the space of vectors is dual to <EM>itself</EM>. If you want to make a rectangle of area 1 with the right orientation, you rotate by 90 degrees and invert the length. Then the Hodge dual inverts the length again, giving the vector you saw.<BR/><BR/>Anyhow, don't worry about not having thought of it yourself. I'm (among other things) a geometer, and you're a probabilist/statistician/combinatoricist... I have no idea what your comment the other day about 2.11^n coming up in relation to trees is about, but you asked us not to ask you.Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-264226589944705290.post-76393856751363120612007-09-12T10:08:00.000-07:002007-09-12T10:08:00.000-07:00John, you make a good point; your words sound fami...John, you make a good point; your words sound familiar (I learned this stuff at one point) but there's no way I would have thought of that on my own.Michael Lugohttps://www.blogger.com/profile/15671307315028242949noreply@blogger.comtag:blogger.com,1999:blog-264226589944705290.post-22866712703779793672007-09-12T06:09:00.000-07:002007-09-12T06:09:00.000-07:00I think the difficulty arises from the order in wh...I think the difficulty arises from the order in which these subjects are tackled. Start talking about vectors and vector spaces before talking about coordinate systems. Talk about how to specify vectors and let this lead into the concepts of defining a basis vectors and how to define vectors in terms of a specific basis. The dot and cross products will then fall out as the natural ways to handle the definition of arbitrary vectors in terms of a basis.Chris Harrisonhttps://www.blogger.com/profile/05523010158146508364noreply@blogger.comtag:blogger.com,1999:blog-264226589944705290.post-60214502984233070912007-09-12T05:50:00.000-07:002007-09-12T05:50:00.000-07:00The problem is that you're still trying to think i...The problem is that you're still trying to think in terms of "vectors". Okay, here's what the cross product <I>really</I> is:<BR/><BR/>A vector is a way of measuring an amount of an oriented 1-dimensional subspace of a vector space. That is, it picks out an oriented line through the origin and specifies a length.<BR/><BR/>A "bivector" is a way of measuring an amount of an oriented 2-dimensional subspace of a vector space. That is, it picks out an oriented plane through the origin and specifies an area.<BR/><BR/>Two (non-parallel) vectors give a bivector. Take the plane their lines span, orient it by the order the vectors come to you in, and take the area of the parallelogram spanned by the two lengths. Given the vectors (v,w) we call this the "wedge product v^w.<BR/><BR/>Similarly there are trivectors, and so on. In general, the space of k-vectors in an n-dimensional vector space is nCk (shouldn't be too hard to see)<BR/><BR/>So something funny happens in three dimensions. The space of vectors has dimension 3, and so does the space of bivectors! We can go back and forth between vectors and bivectors, picking one that's "perpendicular" to the other so that the trivector they make has volume 1 and is oriented the same way as the space. We call this procedure the "Hodge dual".<BR/><BR/>The cross product is the Hodge dual of the wedge product.Anonymousnoreply@blogger.com