Search Results for ""

The inverse haversine function hav^(-1)(z) is defined by hav^(-1)(z)=2sin^(-1)(sqrt(z)). (1) The inverse haversine is implemented in the Wolfram Language as ...

If (1-z)^(alpha+beta-gamma-1/2)_2F_1(2alpha,2beta;2gamma;z)=sum_(n=0)^inftya_nz^n, (1) where _2F_1(a,b;c;z) is a hypergeometric function, then (2) where (a)_n is a Pochhammer ...

Given a group G, the algebra CG is a vector space CG={suma_ig_i|a_i in C,g_i in G} of finite sums of elements of G, with multiplication defined by g·h=gh, the group ...

A Cartan matrix is a square integer matrix who elements (A_(ij)) satisfy the following conditions. 1. A_(ij) is an integer, one of {-3,-2,-1,0,2}. 2. A_(ii)=2 the diagonal ...

Each Cartan matrix determines a unique semisimple complex Lie algebra via the Chevalley-Serre, sometimes called simply the "Serre relations." That is, if (A_(ij)) is a k×k ...

A disk algebra is an algebra of functions which are analytic on the open unit disk in C and continuous up to the boundary. A representative measure for a point x in the ...

On a Lie group, exp is a map from the Lie algebra to its Lie group. If you think of the Lie algebra as the tangent space to the identity of the Lie group, exp(v) is defined ...

The Gelfand transform x|->x^^ is defined as follows. If phi:B->C is linear and multiplicative in the senses phi(ax+by)=aphi(x)+bphi(y) and phi(xy)=phi(x)phi(y), where B is a ...

Let H be a Hilbert space and (e_i)_(i in I) is an orthonormal basis for H. The set S(H) of all operators T for which sum_(i in I)||Te_i||^2<infty is a self-adjoint ideal of ...

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 ...