Meta tags:
Headings (most frequently used words):
product, cross, external, notation, and, properties, alternative, to, matrix, tensors, algebra, contents, definition, names, origin, computing, lagrange, identity, ways, compute, applications, as, an, generalizations, history, see, also, notes, references, bibliography, links, direction, coordinate, using, levi, civita, geometric, meaning, algebraic, differentiation, triple, expansion, formulation, inverse, conversion, multiplication, index, for, mnemonic, visualization, computational, geometry, angular, momentum, torque, rigid, body, lorentz, force, other, lie, quaternions, octonions, exterior, commutator, multilinear,
Text of the page (most frequently used words):
the (679), mathbf (484), #product (281), displaystyle (198), and (189), cross (174), times (154), vectors (113), vector (112), color (66), for (64), can (62), bmatrix (62), matrix (60), that (59), algebra (58), two (57), this (56), right (56), are (50), begin (48), end (48), left (47), with (46), edit (45), cdot (38), three (35), space (34), dimensions (29), which (27), where (27), from (25), defined (25), given (24), red (24), formula (23), dot (23), dimensional (23), also (23), aligned (23), blue (23), linear (22), geometric (22), exterior (22), products (22), used (22), green (22), using (21), basis (21), lie (20), skew (19), same (19), triple (19), components (19), form (18), other (18), scalar (18), perpendicular (18), mathrm (18), orthogonal (17), identity (17), notation (17), magnitude (17), above (17), symmetric (16), tensor (16), one (16), see (16), commutator (16), parallel (16), between (15), terms (14), isbn (14), determinant (14), volume (14), but (14), properties (13), case (13), result (13), hand (13), zero (13), rule (12), only (12), has (12), not (12), plane (12), then (12), unit (12), angle (12), geometry (11), bivector (11), press (11), definition (11), these (11), direction (11), both (11), its (11), oriented (11), any (11), element (11), ijk (11), orientation (10), decomposition (10), higher (10), multiplication (10), university (10), mathematics (10), physics (10), their (10), quaternions (10), first (10), each (10), sum (10), euclidean (9), theorem (9), multilinear (9), dimension (9), levi (9), civita (9), lagrange (9), gives (9), mnemonic (9), alternative (9), main (9), when (9), force (9), nabla (9), toggle (8), wikipedia (8), group (8), structure (8), projection (8), dual (8), positive (8), external (8), mathematical (8), elements (8), part (8), algebras (8), called (8), into (8), parallelogram (8), area (8), hodge (8), true (8), points (8), them (8), special (8), det (8), page (7), articles (7), coordinate (7), clifford (7), tensors (7), spaces (7), matrices (7), hamilton (7), equations (7), analysis (7), history (7), william (7), since (7), such (7), cdots (7), here (7), symbol (7), they (7), binary (7), just (7), way (7), follows (7), define (7), generalized (7), yields (7), negative (7), mentioned (7), operation (7), article (7), angular (7), momentum (7), sarrus (7), expressed (7), following (7), side (7), sin (7), view (6), about (6), under (6), may (6), non (6), use (6), point (6), affine (6), rotation (6), rank (6), map (6), addition (6), wilson (6), cambridge (6), corresponds (6), boldsymbol (6), function (6), remember (6), expansion (6), more (6), quaternion (6), ldots (6), generalizations (6), either (6), parallelepiped (6), obtained (6), arbitrary (6), instead (6), operator (6), related (6), real (6), example (6), another (6), sign (6), applications (6), hat (6), frac (6), alignedat (6), subsection (6), all (5), index (5), projective (5), system (5), component (5), row (5), order (5), inverse (5), normal (5), cauchy (5), equation (5), gibbs (5), 978 (5), ary (5), represented (5), note (5), indices (5), equivalent (5), thus (5), results (5), general (5), ways (5), velocity (5), position (5), simply (5), next (5), xyzzy (5), varepsilon (5), orthonormal (5), over (5), perp (5), quad (5), theta (5), contents (4), search (4), last (4), bilinear (4), transformation (4), pseudo (4), value (4), transpose (4), pdf (4), 1994 (4), links (4), 1901 (4), crowe (4), louis (4), vol (4), computing (4), 2323537 (4), direct (4), applied (4), out (4), read (4), takes (4), does (4), notes (4), were (4), have (4), equal (4), tools (4), many (4), arguments (4), vmatrix (4), positively (4), input (4), output (4), inputs (4), pseudovectors (4), corresponding (4), interpreted (4), there (4), star (4), jacobi (4), relation (4), particular (4), calculus (4), pseudovector (4), lorentz (4), body (4), rigid (4), particle (4), origin (4), computational (4), polygon (4), should (4), containing (4), identified (4), compute (4), leq (4), cos (4), cof (4), distributivity (4), having (4), figure (4), names (4), depends (4), changes (4), hide (4), move (4), sidebar (4), text (3), unsourced (3), statements (3), number (3), 2009 (3), description (3), operations (3), retrieved (3), comparison (3), numerical (3), cartesian (3), free (3), null (3), complement (3), inner (3), cyclic (3), subspace (3), mapping (3), combination (3), gram (3), diagonal (3), canonical (3), binet (3), 2001 (3), encyclopedia (3), edwin (3), bidwell (3), book (3), willard (3), mechanics (3), michael (3), kingdon (3), solutions (3), doi (3), theory (3), needed (3), information (3), systems (3), american (3), monthly (3), engineering (3), exists (3), defines (3), eta (3), involving (3), than (3), introduced (3), term (3), published (3), sides (3), grassmann (3), algebraic (3), however (3), must (3), like (3), independent (3), wedge (3), computed (3), described (3), valued (3), raising (3), taking (3), seen (3), correspond (3), while (3), generalization (3), octonions (3), seven (3), will (3), field (3), multi (3), appears (3), frequently (3), omega (3), moment (3), torque (3), around (3), formulas (3), pointing (3), take (3), down (3), easily (3), diagonals (3), representation (3), often (3), textrm (3), below (3), conversion (3), fact (3), bivectors (3), equals (3), found (3), shown (3), therefore (3), permutation (3), operatorname (3), together (3), sine (3), 180 (3), meaning (3), tensorial (3), equalities (3), implies (3), denoted (3), involves (3), multiplications (3), commutative (3), languages (2), table (2), contact (2), privacy (2), policy (2), available (2), wikimedia (2), commons (2), was (2), edited (2), september (2), categories (2), cs1 (2), italian (2), date (2), short (2), wikidata (2), category (2), sparse (2), basic (2), multivector (2), outer (2), classical (2), normed (2), structures (2), nullity (2), column (2), examples (2), hamel (2), change (2), independence (2), span (2), least (2), squares (2), elementary (2), equivalence (2), schur (2), singular (2), spectral (2), list (2), jordan (2), trace (2), elimination (2), 2007 (2), rotations (2), requires (2), geometrical (2), interpretation (2), yale (2), students (2), founded (2), upon (2), lectures (2), chapter (2), london (2), publishing (2), 486 (2), help (2), cite (2), 1929 (2), 134 (2), cajori (2), bibliography (2), josiah (2), new (2), haven (2), 1878 (2), dynamic (2), augustin (2), joseph (2), 1773 (2), filippov (2), s2cid (2), 2003 (2), physicists (2), lounesto (2), pertti (2), 521 (2), 00551 (2), spinors (2), eric (2), weisstein (2), 2nd (2), crc (2), education (2), kronecker (2), 2005 (2), ordinary (2), differential (2), massey (2), 1983 (2), 701 (2), jstor (2), 2307 (2), 697 (2), jeffreys (2), methods (2), 2020 (2), references (2), modern (2), means (2), presence (2), parallelotope (2), formal (2), rotating (2), denote (2), citation (2), lecture (2), 1881 (2), kept (2), named (2), his (2), solve (2), several (2), time (2), rowan (2), study (2), tetrahedron (2), except (2), ordered (2), respect (2), odd (2), convention (2), even (2), satisfies (2), bigwedge (2), alternating (2), vdots (2), give (2), analogue (2), dots (2), values (2), third (2), generally (2), isomorphism (2), specifically (2), could (2), further (2), generalised (2), multivectors (2), simplest (2), indeed (2), why (2), exactly (2), finite (2), some (2), summation (2), similar (2), now (2), natural (2), thought (2), multiply (2), much (2), line (2), epipolar (2), electric (2), axial (2), calculating (2), handed (2), whether (2), lies (2), determine (2), acute (2), expression (2), signed (2), length (2), calculate (2), performed (2), calculated (2), computer (2), lines (2), various (2), obtain (2), visualization (2), scheme (2), word (2), how (2), uses (2), symmetries (2), obvious (2), law (2), leftrightarrow (2), useful (2), base (2), generic (2), provides (2), bac (2), cab (2), still (2), evaluation (2), hence (2), shows (2), pmatrix (2), otimes (2), directly (2), namely (2), constant (2), formulation (2), identities (2), edges (2), forms (2), applies (2), differentiation (2), cofactor (2), holds (2), invariant (2), cancel (2), linearity (2), associative (2), distributive (2), anticommutative (2), defining (2), always (2), measure (2), choice (2), resulting (2), represent (2), nine (2), 1ex (2), neither (2), standard (2), anticommutativity (2), satisfy (2), name (2), according (2), crossed (2), emphasize (2), pure (2), forefinger (2), middle (2), finger (2), thumb (2), toward (2), opposite (2), anti (2), metric (2), units (2), linearly (2), appearance (2), upload (2), file (2), english (2), norsk (2), log (2), create (2), account (2), donate (2), menu (2), add, topic, mobile, cookie, statement, statistics, developers, code, conduct, legal, safety, contacts, disclaimers, additional, apply, site, you, agree, registered, trademark, profit, organization, foundation, inc, creative, attribution, sharealike, license, rendered, parsoid, 2026, utc, hidden, language, sources, errors, july, 2024, needing, citations, 2019, november, different, analytic, maps, https, org, php, title, cross_product, oldid, 1373148526, libraries, subprograms, stability, floating, arithmetic, quadric, galilean, poincaré, flat, gamas, treatment, symplectic, improper, indefinite, orthogonality, topological, functional, squeeze, shear, woodbury, schmidt, process, householder, consimilarity, similarity, congruence, relations, computations, reducing, haynsworth, inertia, additivity, polar, cholesky, decompositions, hankel, circulant, toeplitz, stochastic, vandermonde, hessian, hessenberg, block, tridiagonal, triangular, perron, frobenius, pfaffian, semi, definite, antihermitian, hermitian, unitary, adjugate, pseudoinverse, weyr, cayley, eigenvalue, eigenvector, eigenspace, spectrum, characteristic, polynomial, strassen, algorithm, overcompleteness, gauss, gaussian, cramer, minor, template, classes, glossary, outline, mathcentre, kahan, california, berkeley, created, java, syracuse, interactive, tutorial, quick, derivation, ems, amaldi, 1949, bologna, zanichelli, editore, lezioni, meccanica, razionale, 1948, methuen, vectorial, milne, dover, 67910, incompatibility, 67766, open, court, notations, florian, 154, 1884, printed, tuttle, morehouse, taylor, arranged, macmillan, 1900, ouvres, analytiques, quelques, problèmes, sur, les, pyramides, triangulaires, 661, oeuvres, 1985, 891, 125051596, 1007, bf00969110, 1985sibmj, 879f, bibcode, 879, sibirsk, mat, doran, chris, lasenby, anthony, 408, 0521715959, 401, arthur, john, 2011, 0470941638, ieee, understanding, electromagnetic, handbook, hogben, greub, 1978, 193, 228, 58488, 347, concise, shuangzhe, liu, gõtz, trenkler, 2008, institute, scientific, 177, 160, int, sciences, hadamard, khatri, rao, vladimir, boichenko, gennadiĭ, alekseevich, leonov, volker, reitmann, vieweg, teubner, verlag, 519, 00437, dec, spiegel, lipschutz, spellman, schaum, outlines, mcgraw, hill, 161545, math, davis, 1913, dennis, zill, cullen, 2006, 3rd, jones, bartlett, learning, 324, 7637, 4591, advanced, howison, sam, 0521842743, practical, 1990, oxford, 0198596790, fluid, dynamics, acheson, 1999, 41158050, oclc, arfken, george, 4th, elsevier, december, archived, 2021, turns, original, 43318100, www, mathsisfun, com, wolfram, mathworld, thereby, variables, zeta, abstract, added, strictly, adhere, quadruple, multiple, sets, 1908, areas, until, day, already, france, roberto, marcolongo, cesare, burali, forti, gibb, student, extended, observed, frequent, textbook, known, honor, attested, precursor, 1853, contemporary, paper, keys, had, 1844, tied, developed, including, hermann, 1843, summarized, develop, famous, reasons, essential, electromagnetism, james, clerk, maxwell, identical, rather, reason, ensure, modification, leaves, unchanged, agrees, distinction, enjoys, argument, hypervolume, region, bounded, moreover, endows, proposition, ddots, coordinates, unique, evaluates, forth, permutations, hyperplane, parity, most, translating, fixed, uniquely, perspective, detail, fixing, evaluating, degenerate, been, transformed, duality, context, mixed, provided, longer, subalgebras, equipped, consisting, place, furthermore, contractions, grades, tfrac, interpreting, subalgebra, extensions, combined, through, nonexistence, nontrivial, ones, division, hurwitz, octonion, deleting, spatial, heisenberg, axiomatized, satisfying, axioms, multilinearity, symmetry, exist, major, generalize, giving, allows, spanned, trick, rewriting, deriving, matching, constraints, curl, magnetic, describe, experienced, moving, charge, motions, written, tau, relative, polyhedron, constitute, otherwise, tells, collinear, upward, downward, coplanar, pairs, extend, planar, setting, triangle, winding, clockwise, anticlockwise, within, triangulating, spoking, wheel, summing, angles, spokes, keep, track, graphics, calculation, distance, contexts, exhaustive, construct, associated, visualize, subtract, multiplied, well, our, doing, wrap, after, comes, clarity, performing, taken, want, drop, similarly, device, visualized, helpful, remembering, correct, letters, very, remembered, second, vertically, subscripts, problem, course, options, purpose, relevant, those, sequence, redirects, representing, cause, mechanical, physical, consider, potential, oscillate, none, sense, made, clear, hooke, isotropic, delta, repeated, summed, characterization, compactly, einstein, alternatively, converting, denoting, onto, verified, neq, share, isomorphic, whose, 3x3, proven, immediately, easier, work, grade, degrees, freedom, proof, substitution, itself, columns, superscript, refers, stackrel, def, simplifies, sometimes, multiplicativity, norm, surfaces, combining, surface, riemannian, compared, derived, rearrange, coefficient, simplified, yield, admits, infinite, family, requirement, property, constituents, invoking, obtains, pythagorean, trigonometric, relationship, rewritten, square, condition, determines, relate, laplacian, minus, member, simplify, calculations, regarding, gradients, ordering, depend, variable, derivative, obeys, transformations, readily, reduces, former, rows, proper, axis, formulae, cannot, simultaneously, additionally, scale, factor, leading, show, obey, imply, cancellation, self, compatible, else, antiparallel, nonequivalent, split, rotated, rejection, resolved, vanish, remain, scaling, reversed, enable, convenient, cosine, because, goes, behaves, oppositely, parallelism, perpendicularity, absolute, latter, avoids, indicates, everyday, works, covariant, intrinsic, expands, find, simpler, operates, easy, handle, collecting, expanded, though, sufficient, lack, deduced, possibly, inspired, multiplying, conversely, explained, 1877, coined, widely, literature, independently, period, respectively, oliver, heaviside, 1842, chosen, conventionally, coming, adjacent, picture, forced, reversing, vertical, purple, maximum, set, magnitudes, conjunction, although, usually, reserved, abstraction, finding, traditional, produce, limited, trivial, undesirable, quantities, fails, connection, consideration, unlike, changed, nor, being, bracket, numbers, lengths, dependent, occasionally, significance, confused, programming, directed, disambiguation, item, wikiversity, projects, printable, version, download, print, export, switch, legacy, parser, get, shortened, url, permanent, link, what, actions, talk, tiếng, việt, oʻzbekcha, ўзбекча, українська, türkçe, tagalog, ไทย, தமிழ், svenska, српски, srpski, shqip, slovenščina, slovenčina, simple, scots, русский, română, português, piemontèis, polski, ਪੰਜਾਬੀ, bokmål, nynorsk, nederlands, मराठी, മലയാളം, मगही, latviešu, lietuvių, 한국어, қазақша, ქართული, 日本語, italiano, íslenska, bahasa, indonesia, հայերեն, magyar, hrvatski, हिन्दी, עברית, galego, français, suomi, فارسی, euskara, eesti, español, esperanto, ελληνικά, deutsch, dansk, чӑвашла, čeština, کوردی, català, bosanski, български, башҡортса, asturianu, العربية, አማርኛ, alemannisch, top, personal, pages, recent, community, portal, learn, contribute, random, current, events, navigation, jump, content,
Text of the page (random words):
imes mathbf a mathbf a times mathbf b times mathbf a left mathbf a right 2 mathbf b mathbf a cdot mathbf b mathbf a rearrange to solve for b to give b c a a 2 a b a 2 a displaystyle mathbf b frac mathbf c times mathbf a left mathbf a right 2 frac mathbf a cdot mathbf b left mathbf a right 2 mathbf a the coefficient of the last term can be simplified to just the arbitrary constant t to yield the result shown above lagrange s identity edit the relation a b 2 det a a a b a b b b a 2 b 2 a b 2 displaystyle left mathbf a times mathbf b right 2 det begin bmatrix mathbf a cdot mathbf a mathbf a cdot mathbf b mathbf a cdot mathbf b mathbf b cdot mathbf b end bmatrix left mathbf a right 2 left mathbf b right 2 mathbf a cdot mathbf b 2 can be compared with another relation involving the right hand side namely lagrange s identity expressed as 14 1 i j n a i b j a j b i 2 a 2 b 2 a b 2 displaystyle sum _ 1 leq i j leq n left a_ i b_ j a_ j b_ i right 2 left mathbf a right 2 left mathbf b right 2 mathbf a cdot b 2 where a and b may be n dimensional vectors this also shows that the riemannian volume form for surfaces is exactly the surface element from vector calculus in the case where n 3 combining these two equations results in the expression for the magnitude of the cross product in terms of its components 15 a b 2 1 i j 3 a i b j a j b i 2 a 1 b 2 b 1 a 2 2 a 2 b 3 a 3 b 2 2 a 3 b 1 a 1 b 3 2 displaystyle begin aligned mathbf a times mathbf b 2 sum _ 1 leq i j leq 3 a_ i b_ j a_ j b_ i 2 a_ 1 b_ 2 b_ 1 a_ 2 2 a_ 2 b_ 3 a_ 3 b_ 2 2 a_ 3 b_ 1 a_ 1 b_ 3 2 end aligned the same result is found directly using the components of the cross product found from a b det i j k a 1 a 2 a 3 b 1 b 2 b 3 displaystyle mathbf a times mathbf b det begin bmatrix hat mathbf i hat mathbf j hat mathbf k a_ 1 a_ 2 a_ 3 b_ 1 b_ 2 b_ 3 end bmatrix in r 3 lagrange s equation is a special case of the multiplicativity vw v w of the norm in the quaternion algebra it is a special case of another formula also sometimes called lagrange s identity which is the three dimensional case of the binet cauchy identity 16 17 a b c d a c b d a d b c displaystyle mathbf a times mathbf b cdot mathbf c times mathbf d mathbf a cdot mathbf c mathbf b cdot mathbf d mathbf a cdot mathbf d mathbf b cdot mathbf c if a c and b d this simplifies to the formula above alternative ways to compute edit conversion to matrix multiplication edit the vector cross product also can be expressed as the product of a skew symmetric matrix and a vector 16 a b a b 0 a 3 a 2 a 3 0 a 1 a 2 a 1 0 b 1 b 2 b 3 a b b t a 0 b 3 b 2 b 3 0 b 1 b 2 b 1 0 a 1 a 2 a 3 displaystyle begin aligned mathbf a times mathbf b mathbf a _ times mathbf b begin bmatrix 0 a_ 3 a_ 2 a_ 3 0 a_ 1 a_ 2 a_ 1 0 end bmatrix begin bmatrix b_ 1 b_ 2 b_ 3 end bmatrix mathbf a times mathbf b mathbf b _ times mathrm t mathbf a begin bmatrix 0 b_ 3 b_ 2 b_ 3 0 b_ 1 b_ 2 b_ 1 0 end bmatrix begin bmatrix a_ 1 a_ 2 a_ 3 end bmatrix end aligned where the superscript t refers to the transpose operation and a is defined by a d e f 0 a 3 a 2 a 3 0 a 1 a 2 a 1 0 displaystyle mathbf a _ times stackrel rm def begin bmatrix 0 a_ 3 a_ 2 a_ 3 0 a_ 1 a_ 2 a_ 1 0 end bmatrix the columns a i of the skew symmetric matrix for a vector a can be also obtained by calculating the cross product with unit vectors that is a i a e i i 1 2 3 displaystyle mathbf a _ times i mathbf a times mathbf hat e _ i i in 1 2 3 or a i 1 3 a e i e i displaystyle mathbf a _ times sum _ i 1 3 left mathbf a times mathbf hat e _ i right otimes mathbf hat e _ i where displaystyle otimes is the outer product operator also if a is itself expressed as a cross product a c d displaystyle mathbf a mathbf c times mathbf d then a d c t c d t displaystyle mathbf a _ times mathbf d mathbf c mathrm t mathbf c mathbf d mathrm t proof by substitution evaluation of the cross product gives a c d c 2 d 3 c 3 d 2 c 3 d 1 c 1 d 3 c 1 d 2 c 2 d 1 displaystyle mathbf a mathbf c times mathbf d begin pmatrix c_ 2 d_ 3 c_ 3 d_ 2 c_ 3 d_ 1 c_ 1 d_ 3 c_ 1 d_ 2 c_ 2 d_ 1 end pmatrix hence the left hand side equals a 0 c 2 d 1 c 1 d 2 c 3 d 1 c 1 d 3 c 1 d 2 c 2 d 1 0 c 3 d 2 c 2 d 3 c 1 d 3 c 3 d 1 c 2 d 3 c 3 d 2 0 displaystyle mathbf a _ times begin bmatrix 0 c_ 2 d_ 1 c_ 1 d_ 2 c_ 3 d_ 1 c_ 1 d_ 3 c_ 1 d_ 2 c_ 2 d_ 1 0 c_ 3 d_ 2 c_ 2 d_ 3 c_ 1 d_ 3 c_ 3 d_ 1 c_ 2 d_ 3 c_ 3 d_ 2 0 end bmatrix now for the right hand side c d t c 1 d 1 c 1 d 2 c 1 d 3 c 2 d 1 c 2 d 2 c 2 d 3 c 3 d 1 c 3 d 2 c 3 d 3 displaystyle mathbf c mathbf d mathrm t begin bmatrix c_ 1 d_ 1 c_ 1 d_ 2 c_ 1 d_ 3 c_ 2 d_ 1 c_ 2 d_ 2 c_ 2 d_ 3 c_ 3 d_ 1 c_ 3 d_ 2 c_ 3 d_ 3 end bmatrix and its transpose is d c t c 1 d 1 c 2 d 1 c 3 d 1 c 1 d 2 c 2 d 2 c 3 d 2 c 1 d 3 c 2 d 3 c 3 d 3 displaystyle mathbf d mathbf c mathrm t begin bmatrix c_ 1 d_ 1 c_ 2 d_ 1 c_ 3 d_ 1 c_ 1 d_ 2 c_ 2 d_ 2 c_ 3 d_ 2 c_ 1 d_ 3 c_ 2 d_ 3 c_ 3 d_ 3 end bmatrix evaluation of the right hand side gives d c t c d t 0 c 2 d 1 c 1 d 2 c 3 d 1 c 1 d 3 c 1 d 2 c 2 d 1 0 c 3 d 2 c 2 d 3 c 1 d 3 c 3 d 1 c 2 d 3 c 3 d 2 0 displaystyle mathbf d mathbf c mathrm t mathbf c mathbf d mathrm t begin bmatrix 0 c_ 2 d_ 1 c_ 1 d_ 2 c_ 3 d_ 1 c_ 1 d_ 3 c_ 1 d_ 2 c_ 2 d_ 1 0 c_ 3 d_ 2 c_ 2 d_ 3 c_ 1 d_ 3 c_ 3 d_ 1 c_ 2 d_ 3 c_ 3 d_ 2 0 end bmatrix comparison shows that the left hand side equals the right hand side this result can be generalized to higher dimensions using geometric algebra in particular in any dimension bivectors can be identified with skew symmetric matrices so the product between a skew symmetric matrix and vector is equivalent to the grade 1 part of the product of a bivector and vector 18 in three dimensions bivectors are dual to vectors so the product is equivalent to the cross product with the bivector instead of its vector dual in higher dimensions the product can still be calculated but bivectors have more degrees of freedom and are not equivalent to vectors 18 this notation is also often much easier to work with for example in epipolar geometry from the general properties of the cross product follows immediately that a a 0 displaystyle mathbf a _ times mathbf a mathbf 0 and a t a 0 displaystyle mathbf a mathrm t mathbf a _ times mathbf 0 and from fact that a is skew symmetric it follows that b t a b 0 displaystyle mathbf b mathrm t mathbf a _ times mathbf b 0 the above mentioned triple product expansion bac cab rule can be easily proven using this notation as mentioned above the lie algebra r 3 with cross product is isomorphic to the lie algebra so 3 whose elements can be identified with the 3 3 skew symmetric matrices the map a a provides an isomorphism between r 3 and so 3 under this map the cross product of 3 vectors corresponds to the commutator of 3x3 skew symmetric matrices matrix conversion for cross product with canonical base vectors denoting with e i r 3 1 displaystyle mathbf e _ i in mathbf r 3 times 1 the i displaystyle i th canonical base vector the cross product of a generic vector v r 3 1 displaystyle mathbf v in mathbf r 3 times 1 with e i displaystyle mathbf e _ i is given by v e i c i v displaystyle mathbf v times mathbf e _ i mathbf c _ i mathbf v where c 1 0 0 0 0 0 1 0 1 0 c 2 0 0 1 0 0 0 1 0 0 c 3 0 1 0 1 0 0 0 0 0 displaystyle mathbf c _ 1 begin bmatrix 0 0 0 0 0 1 0 1 0 end bmatrix quad mathbf c _ 2 begin bmatrix 0 0 1 0 0 0 1 0 0 end bmatrix quad mathbf c _ 3 begin bmatrix 0 1 0 1 0 0 0 0 0 end bmatrix these matrices share the following properties c i t c i displaystyle mathbf c _ i textrm t mathbf c _ i skew symmetric both trace and determinant are zero rank c i 2 displaystyle text rank mathbf c _ i 2 c i c i t p e i displaystyle mathbf c _ i mathbf c _ i textrm t mathbf p _ mathbf e _ i perp see below the orthogonal projection matrix of a vector v 0 displaystyle mathbf v neq mathbf 0 is given by p v v v t v 1 v t displaystyle mathbf p _ mathbf v mathbf v left mathbf v textrm t mathbf v right 1 mathbf v t the projection matrix onto the orthogonal complement is given by p v i p v displaystyle mathbf p _ mathbf v perp mathbf i mathbf p _ mathbf v where i displaystyle mathbf i is the identity matrix for the special case of v e i displaystyle mathbf v mathbf e _ i it can be verified that p e 1 0 0 0 0 1 0 0 0 1 p e 2 1 0 0 0 0 0 0 0 1 p e 3 1 0 0 0 1 0 0 0 0 displaystyle mathbf p _ mathbf e _ 1 perp begin bmatrix 0 0 0 0 1 0 0 0 1 end bmatrix quad mathbf p _ mathbf e _ 2 perp begin bmatrix 1 0 0 0 0 0 0 0 1 end bmatrix quad mathbf p _ mathbf e _ 3 perp begin bmatrix 1 0 0 0 1 0 0 0 0 end bmatrix for other properties of orthogonal projection matrices see projection linear algebra index notation for tensors edit the cross product can alternatively be defined in terms of the levi civita tensor e ijk and a dot product η mi which are useful in converting vector notation for tensor applications c a b c m i 1 3 j 1 3 k 1 3 η m i e i j k a j b k displaystyle mathbf c mathbf a times b leftrightarrow c m sum _ i 1 3 sum _ j 1 3 sum _ k 1 3 eta mi e_ ijk a j b k where the indices i j k displaystyle i j k correspond to vector components this characterization of the cross product is often expressed more compactly using the einstein summation convention as c a b c m η m i e i j k a j b k displaystyle mathbf c mathbf a times b leftrightarrow c m eta mi e_ ijk a j b k in which repeated indices are summed over the values 1 to 3 in a positively oriented orthonormal basis η mi δ mi the kronecker delta and e i j k ε i j k displaystyle e_ ijk varepsilon _ ijk the levi civita symbol in that case this representation is another form of the skew symmetric representation of the cross product ε i j k a j a displaystyle varepsilon _ ijk a j mathbf a _ times in classical mechanics representing the cross product by using the levi civita symbol can cause mechanical symmetries to be obvious when physical systems are isotropic an example consider a particle in a hooke s law potential in three space free to oscillate in three dimensions none of these dimensions are special in any sense so symmetries lie in the cross product represented angular momentum which are made clear by the above mentioned levi civita representation citation needed mnemonic edit mnemonic to calculate a cross product in vector form xyzzy mnemonic redirects here for other uses see xyzzy the word xyzzy can be used to remember the definition of the cross product if a b c displaystyle mathbf a mathbf b times mathbf c where a a x a y a z b b x b y b z c c x c y c z displaystyle mathbf a begin bmatrix a_ x a_ y a_ z end bmatrix mathbf b begin bmatrix b_ x b_ y b_ z end bmatrix mathbf c begin bmatrix c_ x c_ y c_ z end bmatrix then a x b y c z b z c y displaystyle a_ x b_ y c_ z b_ z c_ y a y b z c x b x c z displaystyle a_ y b_ z c_ x b_ x c_ z a z b x c y b y c x displaystyle a_ z b_ x c_ y b_ y c_ x the second and third equations can be obtained from the first by simply vertically rotating the subscripts x y z x the problem of course is how to remember the first equation and two options are available for this purpose either to remember the relevant two diagonals of sarrus s scheme those containing i or to remember the xyzzy sequence since the first diagonal in sarrus s scheme is just the main diagonal of the above mentioned 3 3 matrix the first three letters of the word xyzzy can be very easily remembered cross visualization edit similarly to the mnemonic device above a cross or x can be visualized between the two vectors in the equation this may be helpful for remembering the correct cross product formula if a b c displaystyle mathbf a mathbf b times mathbf c then a b x b y b z c x c y c z displaystyle mathbf a begin bmatrix b_ x b_ y b_ z end bmatrix times begin bmatrix c_ x c_ y c_ z end bmatrix if we want to obtain the formula for a x displaystyle a_ x we simply drop the b x displaystyle b_ x and c x displaystyle c_ x from the formula and take the next two components down a x b y b z c y c z displaystyle a_ x begin bmatrix b_ y b_ z end bmatrix times begin bmatrix c_ y c_ z end bmatrix when doing this for a y displaystyle a_ y the next two elements down should wrap around the matrix so that after the z component comes the x component for clarity when performing this operation for a y displaystyle a_ y the next two components should be z and x in that order while for a z displaystyle a_ z the next two components should be taken as x and y a y b z b x c z c x a z b x b y c x c y displaystyle a_ y begin bmatrix b_ z b_ x end bmatrix times begin bmatrix c_ z c_ x end bmatrix a_ z begin bmatrix b_ x b_ y end bmatrix times begin bmatrix c_ x c_ y end bmatrix for a x displaystyle a_ x then if we visualize the cross operator as pointing from an element on the left to an element on the right we can take the first element on the left and simply multiply by the element that the cross points to in the right hand matrix we then subtract the next element down on the left multiplied by the element that the cross points to here as well this results in our a x displaystyle a_ x formula a x b y c z b z c y displaystyle a_ x b_ y c_ z b_ z c_ y we can do this in the same way for a y displaystyle a_ y and a z displaystyle a_ z to construct their associated formulas applications edit the cross product has applications in various contexts for example it is used in computational geometry physics and engineering a non exhaustive list of examples follows computational geometry edit the cross product appears in the calculation of the distance of two skew lines lines not in the same plane from each other in three dimensional space the cross product can be used to calculate the normal for a triangle or polygon an operation frequently performed in computer graphics for example the winding of a polygon clockwise or anticlockwise about a point within the polygon can be calculated by triangulating the polygon like spoking a wheel and summing the angles between the spokes using the cross product to keep track of the sign of each angle in computational geometry of the plane the cross product is used to determine the sign of the acute angle defined by three points p 1 x 1 y 1 p 2 x 2 y 2 displaystyle p_ 1 x_ 1 y_ 1 p_ 2 x_ 2 y_ 2 and p 3 x 3 y 3 displaystyle p_ 3 x_ 3 y_ 3 it corresponds to the direction upward or downward of the cross product of the two coplanar vectors defined by the two pairs of points p 1 p 2 displaystyle p_ 1 p_ 2 and p 1 p 3 displaystyle p_ 1 p_ 3 the sign of the acute angle is the sign of the expression p x 2 x 1 y 3 y 1 y 2 y 1 x 3 x 1 displaystyle p x_ 2 x_ 1 y_ 3 y_ 1 y_ 2 y_ 1 x_ 3 x_ 1 which is the signed length of the cross product of the two vectors to use the cross product simply extend the 2d vectors p 1 p 2 p 3 displaystyle p_ 1 p_ 2 p_ 3 to co planar 3d vectors by setting z k 0 displaystyle z_ k 0 for each of them in the right handed coordinate system if the result is 0 the points are collinear if it is positive the three points constitute a positive angle of rotation around p 1 displaystyle p_ ...
|