Musical isomorphismIn mathematics—more specifically, in differential geometry—the musical isomorphism (or canonical isomorphism) is an isomorphism between the tangent bundle and the cotangent bundle of a pseudo-Riemannian manifold induced by its metric tensor. There are similar isomorphisms on symplectic manifolds. The term musical refers to the use of the symbols (flat) and (sharp). In the notation of Ricci calculus, it is also known as raising and lowering indices.
Associated graded ringIn mathematics, the associated graded ring of a ring R with respect to a proper ideal I is the graded ring: Similarly, if M is a left R-module, then the associated graded module is the graded module over : For a ring R and ideal I, multiplication in is defined as follows: First, consider homogeneous elements and and suppose is a representative of a and is a representative of b. Then define to be the equivalence class of in . Note that this is well-defined modulo . Multiplication of inhomogeneous elements is defined by using the distributive property.
Multilinear formIn abstract algebra and multilinear algebra, a multilinear form on a vector space over a field is a map that is separately -linear in each of its arguments. More generally, one can define multilinear forms on a module over a commutative ring. The rest of this article, however, will only consider multilinear forms on finite-dimensional vector spaces. A multilinear -form on over is called a (covariant) -tensor, and the vector space of such forms is usually denoted or .
DeterminantIn mathematics, the determinant is a scalar value that is a function of the entries of a square matrix. It characterizes some properties of the matrix and the linear map represented by the matrix. In particular, the determinant is nonzero if and only if the matrix is invertible and the linear map represented by the matrix is an isomorphism. The determinant of a product of matrices is the product of their determinants (the preceding property is a corollary of this one). The determinant of a matrix A is denoted det(A), det A, or .
Characteristic polynomialIn linear algebra, the characteristic polynomial of a square matrix is a polynomial which is invariant under matrix similarity and has the eigenvalues as roots. It has the determinant and the trace of the matrix among its coefficients. The characteristic polynomial of an endomorphism of a finite-dimensional vector space is the characteristic polynomial of the matrix of that endomorphism over any base (that is, the characteristic polynomial does not depend on the choice of a basis).
Magnitude (mathematics)In mathematics, the magnitude or size of a mathematical object is a property which determines whether the object is larger or smaller than other objects of the same kind. More formally, an object's magnitude is the displayed result of an ordering (or ranking) of the class of objects to which it belongs. In physics, magnitude can be defined as quantity or distance.
Plücker coordinatesIn geometry, Plücker coordinates, introduced by Julius Plücker in the 19th century, are a way to assign six homogeneous coordinates to each line in projective 3-space, \mathbb P^3. Because they satisfy a quadratic constraint, they establish a one-to-one correspondence between the 4-dimensional space of lines in \mathbb P^3 and points on a quadric in \mathbb P^5 (projective 5-space). A predecessor and special case of Grassmann coordinates (which describe k-dimensional linear subspaces, or flats, in an n-dimensional Euclidean space), Plücker coordinates arise naturally in geometric algebra.
Blade (geometry)In the study of geometric algebras, a k-blade or a simple k-vector is a generalization of the concept of scalars and vectors to include simple bivectors, trivectors, etc. Specifically, a k-blade is a k-vector that can be expressed as the exterior product (informally wedge product) of 1-vectors, and is of grade k. In detail: A 0-blade is a scalar. A 1-blade is a vector. Every vector is simple. A 2-blade is a simple bivector. Sums of 2-blades are also bivectors, but not always simple.
Minor (linear algebra)In linear algebra, a minor of a matrix A is the determinant of some smaller square matrix, cut down from A by removing one or more of its rows and columns. Minors obtained by removing just one row and one column from square matrices (first minors) are required for calculating matrix cofactors, which in turn are useful for computing both the determinant and inverse of square matrices. The requirement that the square matrix be smaller than the original matrix is often omitted in the definition.
Anticommutative propertyIn mathematics, anticommutativity is a specific property of some non-commutative mathematical operations. Swapping the position of two arguments of an antisymmetric operation yields a result which is the inverse of the result with unswapped arguments. The notion inverse refers to a group structure on the operation's codomain, possibly with another operation. Subtraction is an anticommutative operation because commuting the operands of a − b gives b − a = −(a − b); for example, 2 − 10 = −(10 − 2) = −8.