Search Results for ""

Let (A,<=) be a well ordered set. Then the set {a in A:a<k} for some k in A is called an initial segment of A (Rubin 1967, p. 161; Dauben 1990, pp. 196-197; Moore 1982, pp. ...

The interior product is a dual notion of the wedge product in an exterior algebra LambdaV, where V is a vector space. Given an orthonormal basis {e_i} of V, the forms ...

The inverse limit of a family of R-modules is the dual notion of a direct limit and is characterized by the following mapping property. For a directed set I and a family of ...

An isocubic is a triangle cubic that is invariant under an isoconjugation. Self-isogonal and self-isotomic cubics are examples of isocubics.

Let S be a mathematical statement, then the Iverson bracket is defined by [S]={0 if S is false; 1 if S is true, (1) and corresponds to the so-called characteristic function. ...

The q-hypergeometric function identity _rphi_s^'[a,qsqrt(a),-qsqrt(a),1/b,1/c,1/d,1/e,1/f; sqrt(a),-sqrt(a),abq,acq,adq,aeq,afq] ...

The composition quotient groups belonging to two composition series of a finite group G are, apart from their sequence, isomorphic in pairs. In other words, if I subset H_s ...

The Jordan canonical form, also called the classical canonical form, of a special type of block matrix in which each block consists of Jordan blocks with possibly differing ...

The Kähler potential is a real-valued function f on a Kähler manifold for which the Kähler form omega can be written as omega=ipartialpartial^_f. Here, the operators ...

A semi-oriented 2-variable knot polynomial defined by F_L(a,z)=a^(-w(L))<|L|>, (1) where L is an oriented link diagram, w(L) is the writhe of L, |L| is the unoriented diagram ...