Search Results for ""

The lower central series of a Lie algebra g is the sequence of subalgebras recursively defined by g_(k+1)=[g,g_k], (1) with g_0=g. The sequence of subspaces is always ...

If g is a Lie algebra, then a subspace a of g is said to be a Lie subalgebra if it is closed under the Lie bracket. That is, a is a Lie subalgebra of g if for all x,y in a, ...

Let H be a Hilbert space and (e_i)_(i in I) an orthonormal basis for H. The set of all products of two Hilbert-Schmidt operators is denoted N(H), and its elements are called ...

Let union represent "or", intersection represent "and", and ^' represent "not." Then, for two logical units E and F, (E union F)^'=E^' intersection F^' (E intersection ...

Let X be a set of urelements, and let V(^*X) be an enlargement of the superstructure V(X). Let A in V(X) be a finitary algebra with finitely many fundamental operations. Then ...

Let X be a set of urelements that contains the set N of natural numbers, and let V(X) be a superstructure whose individuals are in X. Let V(^*X) be an enlargement of V(X), ...

If F is the Borel sigma-algebra on some topological space, then a measure m:F->R is said to be a Borel measure (or Borel probability measure). For a Borel measure, all ...

Let A be a unital Banach algebra. If a in A and ||1-a||<1, then a^(-1) can be represented by the series sum_(n=0)^(infty)(1-a)^n. This criterion for checking invertibility of ...

A closed ideal I in a C^*-algebra A is called essential if I has nonzero intersection with every other nonzero closed ideal A or, equivalently, if aI={0} implies a=0 for all ...

Given a subalgebra A of the algebra B(H) of bounded linear transformations from a Hilbert space H onto itself, the vector v in H is a separating vector for A if the only ...