Meta tags:

Headings (most frequently used words):

of, trace, the, linear, algebra, properties, product, contents, definition, example, operator, numerical, algorithms, applications, lie, generalizations, see, also, notes, references, external, links, basic, cyclic, property, kronecker, characterization, as, sum, eigenvalues, commutator, traces, special, kinds, matrices, relationship, to, characteristic, polynomial, derivative, relationships, in, language, tensor, products, stochastic, estimator, bilinear, forms,

Text of the page (most frequently used words):
the (301), mathbf (174), trace (123), displaystyle (104), operatorname (92), and (87), matrix (86), #linear (67), this (43), matrices (39), left (36), right (36), algebra (35), map (35), for (35), sum (34), with (31), that (31), product (30), edit (29), can (27), space (23), square (22), mathfrak (21), one (21), any (21), from (20), then (20), vector (19), lie (19), are (19), end (19), all (16), basis (16), given (16), rank (15), not (14), tensor (13), its (13), group (12), form (12), above (12), det (12), mathsf (12), determinant (11), more (11), such (11), defined (11), bilinear (11), wikipedia (10), theorem (10), inner (10), identity (10), diagonal (10), which (10), traces (10), pmatrix (10), operator (10), general (10), real (10), decomposition (9), elements (9), scalars (9), definition (9), equal (9), where (9), eigenvalues (9), may (8), formula (8), characteristic (8), scalar (8), begin (8), field (8), also (8), define (8), operators (8), finite (8), complex (8), zero (8), boldsymbol (8), same (8), terms (7), articles (7), needing (7), theory (7), symmetric (7), orthogonal (7), spaces (7), functional (7), frobenius (7), isbn (7), fact (7), note (7), see (7), properties (7), called (7), there (7), property (7), main (7), toggle (6), text (6), using (6), numerical (6), projective (6), transformation (6), affine (6), projection (6), top (6), function (6), algebras (6), two (6), used (6), times (6), does (6), special (6), have (6), mathbb (6), products (6), aligned (6), page (5), 2026 (5), mapping (5), dimension (5), similarity (5), stochastic (5), polynomial (5), doi (5), follows (5), proof (5), has (5), over (5), norm (5), rho (5), maps (5), when (5), since (5), similar (5), derivative (5), commutator (5), contents (4), search (4), non (4), march (4), pages (4), cleanup (4), references (4), free (4), tensors (4), cyclic (4), row (4), order (4), value (4), positive (4), transpose (4), mathematics (4), links (4), 978 (4), 2nd (4), vol (4), algorithms (4), only (4), element (4), let (4), neq (4), generalization (4), vanishes (4), partial (4), generalizations (4), dimensional (4), equivalent (4), corresponding (4), natural (4), sending (4), psi (4), varphi (4), isomorphism (4), exp (4), generally (4), because (4), fixed (4), invariance (4), article (4), hide (4), move (4), sidebar (4), subsection (4), view (3), statistics (3), under (3), additional (3), use (3), was (3), categories (3), unsourced (3), short (3), retrieved (3), category (3), basic (3), geometry (3), euclidean (3), coordinate (3), system (3), multilinear (3), complement (3), dual (3), subspace (3), column (3), change (3), combination (3), least (3), squares (3), singular (3), hermitian (3), inverse (3), canonical (3), jordan (3), press (3), encyclopedia (3), applications (3), cambridge (3), 2011 (3), without (3), estimator (3), commutators (3), some (3), hence (3), nonzero (3), oplus (3), example (3), von (3), neumann (3), inequality (3), operation (3), arbitrary (3), class (3), each (3), other (3), particular (3), classify (3), forms (3), these (3), volume (3), entries (3), exactly (3), distribution (3), transformations (3), usually (3), random (3), directly (3), language (3), fundamental (3), composition (3), induced (3), symmetry (3), consequence (3), phrased (3), hom (3), learn (3), help (3), between (3), related (3), characterization (3), dimensions (3), nilpotent (3), permutation (3), algebraic (3), numbers (3), three (3), their (3), kronecker (3), tools (3), languages (2), table (2), statement (2), contact (2), about (2), privacy (2), policy (2), you (2), september (2), factual (2), verification (2), statements (2), november (2), 2023 (2), description (2), different (2), wikidata (2), sparse (2), point (2), outer (2), orientation (2), null (2), structures (2), nullity (2), hamel (2), schmidt (2), equivalence (2), schur (2), spectral (2), block (2), triangular (2), semi (2), definite (2), dot (2), adjugate (2), normal (2), multiplication (2), elimination (2), cauchy (2), equations (2), outline (2), external (2), 2013 (2), university (2), analysis (2), johnson (2), horn (2), new (2), york (2), gomme (2), klein (2), second (2), dynamic (2), models (2), journal (2), economic (2), graduate (2), mathematical (2), quantum (2), noncommutative (2), issn (2), hutchinson (2), zbl (2), groups (2), weisstein (2), eric (2), 2020 (2), thus (2), every (2), pairs (2), otherwise (2), would (2), derived (2), standard (2), defines (2), multiple (2), notes (2), respect (2), needed (2), notation (2), trm (2), generalizes (2), setting (2), often (2), always (2), associative (2), otimes (2), independent (2), orthonormal (2), generalized (2), hilbert (2), representation (2), invariant (2), simple (2), proportional (2), killing (2), sense (2), mapsto (2), however (2), but (2), overset (2), onto (2), makes (2), into (2), traceless (2), consists (2), whose (2), abelian (2), bracket (2), factors (2), representations (2), first (2), than (2), möbius (2), intercal (2), endomorphisms (2), ring (2), finitely (2), upon (2), written (2), consider (2), results (2), coincides (2), equality (2), following (2), equals (2), circ (2), straightforward (2), considering (2), vectors (2), universal (2), section (2), how (2), remove (2), message (2), please (2), improve (2), describing (2), result (2), will (2), fluid (2), divergence (2), big (2), adj (2), jacobi (2), denotes (2), relationships (2), according (2), relationship (2), holds (2), having (2), multiplicity (2), kinds (2), both (2), counted (2), true (2), lambda (2), satisfies (2), allowed (2), textsf (2), below (2), size (2), leq (2), entry (2), dots (2), sources (2), citations (2), appearance (2), upload (2), file (2), changes (2), history (2), read (2), log (2), create (2), account (2), donate (2), menu (2), add, topic, mobile, cookie, developers, code, conduct, legal, safety, contacts, disclaimers, available, apply, site, agree, registered, trademark, profit, organization, wikimedia, foundation, inc, creative, commons, attribution, sharealike, license, rendered, parsoid, last, edited, utc, hidden, june, 2022, https, org, index, php, title, trace_, linear_algebra, oldid, 1377100637, comparison, libraries, subprograms, stability, floating, arithmetic, quadric, galilean, poincaré, cartesian, flat, gamas, multivector, bivector, geometric, clifford, exterior, component, treatment, classical, symplectic, structure, improper, rotation, indefinite, pseudo, orthogonality, normed, topological, squeeze, shear, examples, independence, span, woodbury, gram, process, householder, elementary, operations, consimilarity, congruence, relations, computations, reducing, haynsworth, inertia, additivity, higher, polar, cholesky, decompositions, list, hankel, circulant, toeplitz, vandermonde, hessian, hessenberg, tridiagonal, perron, pfaffian, antihermitian, unitary, skew, pseudoinverse, weyr, cayley, hamilton, eigenvalue, eigenvector, eigenspace, spectrum, addition, strassen, algorithm, overcompleteness, gauss, gaussian, cramer, rule, binet, minor, equation, template, classes, glossary, ems, 2001, 1994, 2004, 1976, 4th, 003010567, cengage, learning, strang, 1985, 2978290, 521, 54823, 1959, translated, 0107649, chelsea, publishing, company, hirsch, gantmacher, approximation, 615, 1016, jedc, 2010, 006, 604, dynamics, control, teschl, october, 2014, studies, 157, american, society, 1470417048, methods, mechanics, measure, avron, haim, toledo, sivan, 5827717, s2cid, 0004, 5411, 1145, 1944345, 1944349, acm, randomized, estimating, implicit, january, 1989, 1076, 0361, 0918, 1080, 03610918908812806, 1059, communications, simulation, computation, influence, laplacian, smoothing, splines, kassel, christian, 1995, 155, 0808, 17003, 1321145, 387, 94370, 1007, 4612, 0783, springer, verlag, texts, roger, charles, 9780521839402, lipschutz, seymour, lipson, marc, 2005, schaum, mcgraw, hill, 9780070605022, problems, 2003, 1999, boca, raton, 1079, 00009, 1944431, 58488, 347, 1201, 9781420035223, chapman, hall, crc, concise, archived, 2019, original, fourier, eng, hmc, edu, proper, ideal, semisimple, abstractly, corresponds, equivalently, leaves, degree, freedom, determined, parameter, quad, immediate, inequalities, specht, golden, thompson, metric, operates, compute, perturbation, solutions, need, primary, source, contraction, superalgebras, supertrace, uniquely, modified, traced, monoidal, another, valued, lives, usual, beyond, dixmier, langle, ke_, rangle, concept, analog, compact, homomorphism, due, cyclicity, phi, rightarrow, said, citation, degenerate, analogous, splits, naturally, via, splitting, root, split, decompose, setminus, exact, sequences, formally, compose, unit, inclusion, obtain, multiplying, dividing, yielding, counit, internal, expressed, concretely, frac, direct, while, alter, sets, infinitesimal, kernel, integration, plays, central, role, quadratic, characters, normalized, make, interval, finally, greater, classification, loxodromic, elliptic, parabolic, sophisticated, estimators, been, developed, sampled, rademacher, expand, expectation, estimated, unbiasedly, trick, assigns, sometimes, axiomatized, abstract, modules, generated, module, categorical, evaluation, coevaluation, regarded, being, based, expressibility, further, unchanged, were, started, instead, seen, established, establishes, procedure, reversed, finds, proving, prove, present, perspective, viewing, them, sums, functionals, similarly, just, previously, says, existence, saying, many, composing, obtained, providing, automatically, implies, meet, specific, problem, duplication, previous, paragraph, should, consolidated, quality, standards, require, decomposable, linearity, mentioned, explicit, show, gives, choosing, relative, taking, depend, chosen, bases, give, rise, allowing, possibility, commutes, interpret, flows, represents, velocity, location, region, out, net, flow, applies, components, functions, rows, constant, div, fields, connection, derive, relation, exponential, describes, differential, cdot, precisely, means, approx, approximately, small, coefficient, possibly, changed, sign, convention, counterexample, equiv, base, converse, own, instance, idempotent, target, 3pt, longrightarrow, number, term, points, namely, leads, conversely, moreover, consisting, zeros, unitarily, theoretic, state, trivial, never, pair, even, taken, upper, together, discussed, contrast, prod, closure, imposing, normalization, characterize, words, considered, permutations, known, circular, shifts, additionally, notable, either, meaning, proved, crucial, discuss, invertible, switched, changing, respectively, extended, replacing, conjugate, views, length, expression, nonnegative, furthermore, noted, demonstrate, definiteness, required, common, call, submultiplicative, proven, arise, frequently, calculus, schwarz, vectorization, rewritten, wise, hadamard, immediately, transposing, affect, along, shown, multiplicities, itself, denoted, material, challenged, jstor, scholar, books, newspapers, news, find, removed, adding, reliable, needs, redirected, item, projects, printable, version, download, pdf, print, export, switch, legacy, parser, get, shortened, url, cite, information, permanent, link, what, here, actions, english, talk, 閩南語, bân, lâm, tiếng, việt, українська, türkçe, ไทย, тоҷикӣ, தமிழ், svenska, српски, srpski, shqip, slovenščina, slovenčina, русский, română, português, polski, norsk, nynorsk, nederlands, 한국어, 日本語, italiano, bahasa, indonesia, magyar, עברית, galego, français, suomi, فارسی, euskara, eesti, español, esperanto, ελληνικά, deutsch, dansk, чӑвашла, čeština, català, العربية, personal, recent, community, portal, contribute, current, events, navigation, jump, content,

Text of the page (random words):
w_ j right v_ i sum _ i sum _ j psi _ j u varphi _ i w_ j v_ i for any u in v the rank one linear map u ψ j u φ i w j v i has trace ψ j v i φ i w j and so tr s t i j ψ j v i φ i w j j i φ i w j ψ j v i displaystyle operatorname tr s circ t sum _ i sum _ j psi _ j v_ i varphi _ i w_ j sum _ j sum _ i varphi _ i w_ j psi _ j v_ i following the same procedure with s and t reversed one finds exactly the same formula proving that tr s t equals tr t s the above proof can be regarded as being based upon tensor products given that the fundamental identity of end v with v v is equivalent to the expressibility of any linear map as the sum of rank one linear maps as such the proof may be written in the notation of tensor products then one may consider the multilinear map v v v v v v given by sending v φ w ψ to φ w v ψ further composition with the trace map then results in φ w ψ v and this is unchanged if one were to have started with w ψ v φ instead one may also consider the bilinear map end v end v end v given by sending f g to the composition f g which is then induced by a linear map end v end v end v it can be seen that this coincides with the linear map v v v v v v the established symmetry upon composition with the trace map then establishes the equality of the two traces 5 for any finite dimensional vector space v there is a natural linear map f v v in the language of linear maps it assigns to a scalar c the linear map c id v sometimes this is called coevaluation map and the trace v v f is called evaluation map 5 these structures can be axiomatized to define categorical traces in the abstract setting of category theory in particular traces can be defined for endomorphisms of a finitely generated projective module over a ring see tensor product of modules trace numerical algorithms edit stochastic estimator edit the trace can be estimated unbiasedly by hutchinson s trick 6 given any matrix w r n n displaystyle boldsymbol w in mathbb r n times n and any random u r n displaystyle boldsymbol u in mathbb r n with e u u i displaystyle mathbb e boldsymbol u boldsymbol u intercal mathbf i we have e u w u tr w displaystyle mathbb e boldsymbol u intercal boldsymbol w boldsymbol u operatorname tr boldsymbol w for a proof expand the expectation directly usually the random vector is sampled from n 0 i displaystyle operatorname n mathbf 0 mathbf i normal distribution or n 1 2 n displaystyle pm n 1 2 n rademacher distribution more sophisticated stochastic estimators of trace have been developed 7 applications edit if a 2 x 2 real matrix has zero trace its square is a diagonal matrix the trace of a 2 2 complex matrix is used to classify möbius transformations first the matrix is normalized to make its determinant equal to one then if the square of the trace is 4 the corresponding transformation is parabolic if the square is in the interval 0 4 it is elliptic finally if the square is greater than 4 the transformation is loxodromic see classification of möbius transformations the trace is used to define characters of group representations two representations a b g gl v of a group g are equivalent up to change of basis on v if tr a g tr b g for all g g the trace also plays a central role in the distribution of quadratic forms the trace can be used to classify von neumann algebra factors generalizations of the trace can be used to define noncommutative integration theory 8 lie algebra edit the trace is a map of lie algebras tr g l n k displaystyle operatorname tr mathfrak gl _ n to k from the lie algebra g l n displaystyle mathfrak gl _ n of linear operators on an n dimensional space n n matrices with entries in k displaystyle k to the lie algebra k of scalars as k is abelian the lie bracket vanishes the fact that this is a map of lie algebras is exactly the statement that the trace of a bracket vanishes tr a b 0 for each a b g l n displaystyle operatorname tr mathbf a mathbf b 0 text for each mathbf a mathbf b in mathfrak gl _ n the kernel of this map consists of matrices whose trace is zero often called traceless or trace free and these matrices form the simple lie algebra s l n displaystyle mathfrak sl _ n which is the lie algebra of the special linear group of matrices with determinant 1 the special linear group consists of the matrices which do not change volume while the special linear lie algebra is the matrices which do not alter volume of infinitesimal sets in fact there is an internal direct sum decomposition g l n s l n k displaystyle mathfrak gl _ n mathfrak sl _ n oplus k of operators matrices into traceless operators matrices and scalar operators matrices the projection map onto scalar operators can be expressed in terms of the trace concretely as a 1 n tr a i displaystyle mathbf a mapsto frac 1 n operatorname tr mathbf a mathbf i formally one can compose the trace the counit map with the unit map k g l n displaystyle k to mathfrak gl _ n of inclusion of scalars to obtain a map g l n g l n displaystyle mathfrak gl _ n to mathfrak gl _ n mapping onto scalars and multiplying by n dividing by n makes this a projection yielding the formula above in terms of short exact sequences one has 0 s l n g l n tr k 0 displaystyle 0 to mathfrak sl _ n to mathfrak gl _ n overset operatorname tr to k to 0 which is analogous to 1 sl n gl n det k 1 displaystyle 1 to operatorname sl _ n to operatorname gl _ n overset det to k to 1 where k k 0 displaystyle k k setminus 0 for lie groups however the trace splits naturally via 1 n displaystyle 1 n times scalars so g l n s l n k displaystyle mathfrak gl _ n mathfrak sl _ n oplus k but the splitting of the determinant would be as the n th root times scalars and this does not in general define a function so the determinant does not split and the general linear group does not decompose gl n sl n k displaystyle operatorname gl _ n neq operatorname sl _ n times k bilinear forms edit the bilinear form where x y are square matrices b x y tr ad x ad y displaystyle b mathbf x mathbf y operatorname tr operatorname ad mathbf x operatorname ad mathbf y where ad x y x y x y y x displaystyle operatorname ad mathbf x mathbf y mathbf x mathbf y mathbf x mathbf y mathbf y mathbf x and for orientation if det y 0 displaystyle operatorname det mathbf y neq 0 then ad x x y x y 1 displaystyle operatorname ad mathbf x mathbf x mathbf y mathbf x mathbf y 1 b x y displaystyle b mathbf x mathbf y is called the killing form it is used to classify lie algebras the trace defines a bilinear form x y tr x y displaystyle mathbf x mathbf y mapsto operatorname tr mathbf x mathbf y the form is symmetric non degenerate note 5 and associative in the sense that tr x y z tr x y z displaystyle operatorname tr mathbf x mathbf y mathbf z operatorname tr mathbf x mathbf y mathbf z for a complex simple lie algebra such as s l displaystyle mathfrak sl n every such bilinear form is proportional to each other in particular to the killing form citation needed two matrices x and y are said to be trace orthogonal if tr x y 0 displaystyle operatorname tr mathbf x mathbf y 0 there is a generalization to a general representation ρ g v displaystyle rho mathfrak g v of a lie algebra g displaystyle mathfrak g such that ρ displaystyle rho is a homomorphism of lie algebras ρ g end v displaystyle rho mathfrak g rightarrow text end v the trace form tr v displaystyle text tr _ v on end v displaystyle text end v is defined as above the bilinear form ϕ x y tr v ρ x ρ y displaystyle phi mathbf x mathbf y text tr _ v rho mathbf x rho mathbf y is symmetric and invariant due to cyclicity generalizations edit the concept of trace of a matrix is generalized to the trace class of compact operators on hilbert spaces and the analog of the frobenius norm is called the hilbert schmidt norm if k is a trace class operator then for any orthonormal basis e n n 1 displaystyle e_ n _ n 1 the trace is given by tr k n e n k e n displaystyle operatorname tr k sum _ n left langle e_ n ke_ n right rangle and is finite and independent of the orthonormal basis 9 this trace can be generalized to von neumann algebras the dixmier trace generalizes the usual trace beyond trace class operators the partial trace is another generalization of the trace that is operator valued the trace of a linear operator z displaystyle z which lives on a product space a b displaystyle a otimes b is equal to the partial traces over a displaystyle a and b displaystyle b tr z tr a tr b z tr b tr a z displaystyle operatorname tr z operatorname tr _ a left operatorname tr _ b z right operatorname tr _ b left operatorname tr _ a z right for more properties and a generalization of the partial trace see traced monoidal categories if a displaystyle a is a general associative algebra over a field k displaystyle k then a trace on a displaystyle a is often defined to be any functional tr a k displaystyle operatorname tr a to k which vanishes on commutators tr a b 0 displaystyle operatorname tr a b 0 for all a b a displaystyle a b in a such a trace is not uniquely defined it can always at least be modified by multiplication by a nonzero scalar a supertrace is the generalization of a trace to the setting of superalgebras the operation of tensor contraction generalizes the trace to arbitrary tensors gomme and klein 2011 define a matrix trace operator trm displaystyle operatorname trm that operates on block matrices and use it to compute second order perturbation solutions to dynamic economic models without the need for tensor notation 10 non primary source needed see also edit trace of a tensor with respect to a metric tensor characteristic function field trace golden thompson inequality singular trace specht s theorem trace identity trace inequalities von neumann s trace inequality notes edit this is immediate from the definition of the matrix product tr a b i 1 m a b i i i 1 m j 1 n a i j b j i j 1 n i 1 m b j i a i j j 1 n b a j j tr b a displaystyle operatorname tr mathbf a mathbf b sum _ i 1 m left mathbf a mathbf b right _ ii sum _ i 1 m sum _ j 1 n a_ ij b_ ji sum _ j 1 n sum _ i 1 m b_ ji a_ ij sum _ j 1 n left mathbf b mathbf a right _ jj operatorname tr mathbf b mathbf a for example if a 0 1 0 0 b 0 0 1 0 displaystyle mathbf a begin pmatrix 0 1 0 0 end pmatrix quad mathbf b begin pmatrix 0 0 1 0 end pmatrix then the product is a b 1 0 0 0 displaystyle mathbf ab begin pmatrix 1 0 0 0 end pmatrix and the traces are tr ab 1 0 0 tr a tr b proof let e i j displaystyle e_ ij the standard basis and note that f e i j f e i e j f e i e 1 e 1 e j f e 1 e j e i e 1 f 0 0 displaystyle f left e_ ij right f left e_ i e_ j top right f left e_ i e_ 1 top e_ 1 e_ j top right f left e_ 1 e_ j top e_ i e_ 1 top right f left 0 right 0 if i j displaystyle i neq j and f e j j f e 11 displaystyle f left e_ jj right f left e_ 11 right f a i j a i j f e i j i a i i f e 11 f e 11 tr a displaystyle f mathbf a sum _ i j mathbf a _ ij f left e_ ij right sum _ i mathbf a _ ii f left e_ 11 right f left e_ 11 right operatorname tr mathbf a more abstractly this corresponds to the decomposition g l n s l n k displaystyle mathfrak gl _ n mathfrak sl _ n oplus k as tr a b tr b a displaystyle operatorname tr ab operatorname tr ba equivalently tr a b 0 displaystyle operatorname tr a b 0 defines the trace on s l n displaystyle mathfrak sl _ n which has complement the scalar matrices and leaves one degree of freedom any such map is determined by its value on scalars which is one scalar parameter and hence all are multiple of the trace a nonzero such map proof s l n displaystyle mathfrak sl _ n is a semisimple lie algebra and thus every element in it is a linear combination of commutators of some pairs of elements otherwise the derived algebra would be a proper ideal this follows from the fact that tr a a 0 if and only if a 0 references edit 1 2 3 4 5 rank trace determinant transpose and inverse of matrices fourier eng hmc edu archived from the original on 2019 07 01 retrieved 2020 09 09 1 2 3 4 weisstein eric w 2003 1999 trace matrix in weisstein eric w ed crc concise encyclopedia of mathematics 2nd ed boca raton fl chapman hall doi 10 1201 9781420035223 isbn 1 58488 347 2 mr 1944431 zbl 1079 00009 retrieved 2020 09 09 1 2 3 4 lipschutz seymour lipson marc september 2005 theory and problems of linear algebra schaum s outline mcgraw hill isbn 9780070605022 horn roger a johnson charles r 2013 matrix analysis 2nd ed cambridge university press isbn 9780521839402 1 2 3 4 kassel christian 1995 quantum groups graduate texts in mathematics vol 155 new york springer verlag doi 10 1007 978 1 4612 0783 2 isbn 0 387 94370 6 mr 1321145 zbl 0808 17003 hutchinson m f january 1989 a stochastic estimator of the trace of the influence matrix for laplacian smoothing splines communications in statistics simulation and computation 18 3 1059 1076 doi 10 1080 03610918908812806 issn 0361 0918 avron haim toledo sivan 2011 04 11 randomized algorithms for estimating the trace of an implicit symmetric positive semi definite matrix journal of the acm 58 2 8 1 8 34 doi 10 1145 1944345 1944349 issn 0004 5411 s2cid 5827717 measure theory in noncommutative spaces teschl g 30 october 2014 mathematical methods in quantum mechanics graduate studies in mathematics vol 157 2nd ed american mathematical society isbn 978 1470417048 p gomme p klein 2011 second order approximation of dynamic models without the use of tensors journal of economic dynamics control 35 4 604 615 doi 10 1016 j jedc 2010 10 006 gantmacher f r 1959 the theory of matrices translated by hirsch k a new york ny chelsea publishing company mr 0107649 horn r a johnson c r 2013 1985 matrix analysis 2nd ed cambridge uk cambridge university press isbn 978 0 521 54823 6 mr 2978290 strang g 2004 1976 linear algebra and its applications 4th ed cengage learning isbn 978 003010567 8 external links edit trace of a square matrix encyclopedia of mathematics ems press 2001 1994 v t e linear algebra outline glossary template matrix classes linear equations linear equation system of linear equations determinant minor cauchy binet formula cramer s rule gaussian elimination gauss jordan elimination overcompleteness strassen algorithm matrices matrix matrix addition matrix multiplication basis transformation matrix characteristic polynomial spectrum trace eigenvalue eigenvector and eigenspace cayley hamilton theorem jordan normal form weyr canonical form rank inverse pseudoinverse adjugate transpose dot product symmetric matrix skew symmetric matrix orthogonal matrix unitary matrix hermitian matrix antihermitian matrix positive semi definite pfaffian projection spectral theorem perron frobenius theorem diagonal matrix triangular matrix tridiagonal matrix block matrix sparse matrix hessenberg matrix hessian matrix vandermonde matrix stochastic matrix toeplitz matrix circulant matrix hankel matrix 0 1 matrix list of matrices matrix decompositions cholesky decomposition lu decomposition qr decomposition polar decomposition spectral theorem s...