Search Results for ""

The bound for the number of colors which are sufficient for map coloring on a surface of genus g, gamma(g)=|_1/2(7+sqrt(48g+1))_| is the best possible, where |_x_| is the ...

The number of colors sufficient for map coloring on a surface of genus g is given by the Heawood conjecture, chi(g)=|_1/2(7+sqrt(48g+1))_|, where |_x_| is the floor function. ...

Let M(X) denote the group of all invertible maps X->X and let G be any group. A homomorphism theta:G->M(X) is called an action of G on X. Therefore, theta satisfies 1. For ...

An anchor is the bundle map rho from a vector bundle A to the tangent bundle TB satisfying 1. [rho(X),rho(Y)]=rho([X,Y]) and 2. [X,phiY]=phi[X,Y]+(rho(X)·phi)Y, where X and Y ...

A binary operation f(x,y) is an operation that applies to two quantities or expressions x and y. A binary operation on a nonempty set A is a map f:A×A->A such that 1. f is ...

A group action phi:G×X->X is called faithful if there are no group elements g (except the identity element) such that gx=x for all x in X. Equivalently, the map phi induces ...

A one-dimensional map whose increments are distributed according to a normal distribution. Let y(t-Deltat) and y(t+Deltat) be values, then their correlation is given by the ...

A complex vector bundle is a vector bundle pi:E->M whose fiber bundles pi^(-1)(m) are a copy of C^k. pi is a holomorphic vector bundle if it is a holomorphic map between ...

If f:D->Y is a map (a.k.a. function, transformation, etc.) over a domain D, then the image of f, also called the range of D under f, is defined as the set of all values that ...

Isomorphism is a very general concept that appears in several areas of mathematics. The word derives from the Greek iso, meaning "equal," and morphosis, meaning "to form" or ...