Search Results for ""

A G-space is a special type of T1-Space. Consider a point x and a homeomorphism of an open neighborhood V of x onto an open set of R^n. Then a space is a G-space if, for any ...

Consider a clause (disjunction of literals) obtained from those of a first-order logic formula Phi in Skolemized form forall x_1... forall x_nS. Then an atomic statement ...

If G is a group, then the torsion elements Tor(G) of G (also called the torsion of G) are defined to be the set of elements g in G such that g^n=e for some natural number n, ...

A list is a data structure consisting of an ordered set of elements, each of which may be a number, another list, etc. A list is usually denoted (a_1, a_2, ..., a_n) or ...

A sequence in which no term divides any other. Let S_n be the set {1,...,n}, then the number of primitive subsets of S_n are 2, 3, 5, 7, 13, 17, 33, 45, 73, 103, 205, 253, ...

Informally, a symplectic map is a map which preserves the sum of areas projected onto the set of (p_i,q_i) planes. It is the generalization of an area-preserving map. ...

Every module over a ring R contains a so-called "zero element" which fulfils the properties suggested by its name with respect to addition, 0+0=0, and with respect to ...

The points on a line can be put into a one-to-one correspondence with the real numbers.

A space of functions comprising a complete biorthogonal system.

The term "continuum" has (at least) two distinct technical meanings in mathematics. The first is a compact connected metric space (Kuratowski 1968; Lewis 1983, pp. 361-394; ...