Search Results for ""

The dimension of a partially ordered set P=(X,<=) is the size of the smallest realizer of P. Equivalently, it is the smallest integer d such that P is isomorphic to a ...

The contravariant four-vector arising in special and general relativity, x^mu=[x^0; x^1; x^2; x^3]=[ct; x; y; z], (1) where c is the speed of light and t is time. ...

A positive definite function f on a group G is a function for which the matrix {f(x_ix_j^(-1))} is always positive semidefinite Hermitian.

Let A be a C^*-algebra, then a linear functional f on A is said to be positive if it is a positive map, that is f(a)>=0 for all a in A_+. Every positive linear functional is ...

Let A and B be C^*-algebras, then a linear map phi:A->B is said to be positive if phi(A_+) subset= B_+. Here, A_+ is denoted the positive part of A. For example, every ...

A positive measure is a measure which is a function from the measurable sets of a measure space to the nonnegative real numbers. Sometimes, this is what is meant by measure, ...

Let f:R->R, then the positive part of f is the function f^+:R->R defined by f^+(x)=max(f(x),0) The positive part satisfies the identity f=f^+-f^-, where f^- is the negative ...

The positive real axis is the portion of the real axis with x>0.

An iterated fibration of Eilenberg-Mac lane spaces. Every topological space has this homotopy type.

A statement, also known as an axiom, which is taken to be true without proof. Postulates are the basic structure from which lemmas and theorems are derived. The whole of ...