Search Results for ""

A tensor category (C, tensor ,I,a,r,l) is strict if the maps a, l, and r are always identities. A related notion is that of a tensor R-category.

Let P=(P,<=) be a partially ordered set, and let x,y,z in P. If x<=y<=z, then y is said to be between x and z. If y is between x and z and y not in {x,z}, then y is strictly ...

A function f(x) is said to be strictly decreasing on an interval I if f(b)<f(a) for all b>a, where a,b in I. On the other hand, if f(b)<=f(a) for all b>a, the function is ...

A function f(x) is said to be strictly increasing on an interval I if f(b)>f(a) for all b>a, where a,b in I. On the other hand, if f(b)>=f(a) for all b>a, the function is ...

A lower triangular matrix having 0s along the diagonal as well as the upper portion, i.e., a matrix A=[a_(ij)] such that a_(ij)=0 for i<=j. Written explicitly, L=[0 0 ... 0; ...

A strictly upper triangular matrix is an upper triangular matrix having 0s along the diagonal as well as the lower portion, i.e., a matrix A=[a_(ij)] such that a_(ij)=0 for ...

A term meaning "spinning top" in Greek which was coined by J. H. Conway by e-mail in the Polyhedron Discussion List as a term for kite-shaped quadrilaterals. Formally, a ...

Strong convergence is the type of convergence usually associated with convergence of a sequence. More formally, a sequence {x_n} of vectors in a normed space (and, in ...

A subspace A of X is called a strong deformation retract of X if there is a homotopy F:X×I->X (called a retract) such that for all x in X, a in A, and t in I, 1. F(x,0)=x, 2. ...

phi(A)+phi(B)-phi(A union B)>=phi(A intersection B).