Search Results for ""

A smooth curve is a curve which is a smooth function, where the word "curve" is interpreted in the analytic geometry context. In particular, a smooth curve is a continuous ...

Let f be a function defined on a set A and taking values in a set B. Then f is said to be a surjection (or surjective map) if, for any b in B, there exists an a in A for ...

Teichmüller's theorem asserts the existence and uniqueness of the extremal quasiconformal map between two compact Riemann surfaces of the same genus modulo an equivalence ...

Affine functions represent vector-valued functions of the form f(x_1,...,x_n)=A_1x_1+...+A_nx_n+b. The coefficients can be scalars or dense or sparse matrices. The constant ...

A algebraic loop L is a generalized Bol loop if for all elements x, y, and z of L, ((xy)z)alpha(y)=x((yz)alpha(y)) for some map alpha:L->L. As the name suggests, these are ...

Let X be a normed space and X^(**)=(X^*)^* denote the second dual vector space of X. The canonical map x|->x^^ defined by x^^(f)=f(x),f in X^* gives an isometric linear ...

A ring homomorphism is a map f:R->S between two rings such that 1. Addition is preserved:f(r_1+r_2)=f(r_1)+f(r_2), 2. The zero element is mapped to zero: f(0_R)=0_S, and 3. ...

The negative derivative S(v)=-D_(v)N (1) of the unit normal N vector field of a surface is called the shape operator (or Weingarten map or second fundamental tensor). The ...

Let A be a commutative ring, let C_r be an R-module for r=0, 1, 2, ..., and define a chain complex C__ of the form C__:...|->C_n|->C_(n-1)|->C_(n-2)|->...|->C_2|->C_1|->C_0. ...

A point x in a manifold M is said to be nonwandering if, for every open neighborhood U of x, it is true that phi^nU intersection U!=emptyset for a map phi for some n>0. In ...