Search Results for ""

A generalization of a Heyting algebra which replaces Boolean algebra in "intuitionistic" logic.

An operator A^~ such that A^~^2=A^~ or an element of an algebra x such that x^2=x.

If A is a unital Banach algebra where every nonzero element is invertible, then A is the algebra of complex numbers.

A unar is an algebra A=(A,f), where f is a single unary operation.

A set considered together with the sigma-algebra on the set.

A set equipped with a sigma-algebra of subsets.

A floating-point number is a finite or infinite number that is representable in a floating-point format, i.e., a floating-point representation that is not a NaN. In the IEEE ...

Every Lie algebra L is isomorphic to a subalgebra of some Lie algebra A^-, where the associative algebra A may be taken to be the linear operators over a vector space V.

A group action G×X->X is called free if, for all x in X, gx=x implies g=I (i.e., only the identity element fixes any x). In other words, G×X->X is free if the map G×X->X×X ...

A function f:X->R is measurable if, for every real number a, the set {x in X:f(x)>a} is measurable. When X=R with Lebesgue measure, or more generally any Borel measure, then ...