Search Results for ""

A necessary and sufficient condition that [alpha^'] should be comparable with [alpha] for all positive values of the a is that one of (alpha^') and (alpha) should be ...

A normal extension is the splitting field for a collection of polynomials. In the case of a finite algebraic extension, only one polynomial is necessary.

A set of residues {a_1,a_2,...,a_(k+1)} (mod n) such that every nonzero residue can be uniquely expressed in the form a_i-a_j. Examples include {1,2,4} (mod 7) and {1,2,5,7} ...

A result in control theory. Define H(psi,x,u)=(psi,f(x,u))=sum_(a=0)^npsi_af^a(x,u). Then in order for a control u(t) and a trajectory x(t) to be optimal, it is necessary ...

Let C^omega(I) be the set of real analytic functions on I. Then C^omega(I) is a subalgebra of C^infty(I). A necessary and sufficient condition for a function f in C^infty(I) ...

Let H be a Hilbert space and M a closed subspace of H. Corresponding to any vector x in H, there is a unique vector m_0 in M such that |x-m_0|<=|x-m| for all m in M. ...

Let j, r, and s be distinct integers (mod n), and let W_i be the point of intersection of the side or diagonal V_iV_(i+j) of the n-gon P=[V_1,...,V_n] with the transversal ...

A smooth function is a function that has continuous derivatives up to some desired order over some domain. A function can therefore be said to be smooth over a restricted ...

A transformation x^'=Ax is unimodular if the determinant of the matrix A satisfies det(A)=+/-1. A necessary and sufficient condition that a linear transformation transform a ...

Suppose that f is an analytic function which is defined in the upper half-disk {|z|^2<1,I[z]>0}. Further suppose that f extends to a continuous function on the real axis, and ...