Search Results for ""

Let Y^X be the set of continuous mappings f:X->Y. Then the topological space for Y^X supplied with a compact-open topology is called a mapping space.

The ring of integers of a number field K, denoted O_K, is the set of algebraic integers in K, which is a ring of dimension d over Z, where d is the extension degree of K over ...

The kernel of a module homomorphism f:M-->N is the set of all elements of M which are mapped to zero. It is the kernel of f as a homomorphism of additive groups, and is a ...

A mathematical object which consists of a set of a single element, making it a 1-tuple. The yin-yang is also known as the monad.

For a given n, is the problem of determining if a set is mortal solvable? n=1 is solvable, n=2 is unknown, and n>=3 is unsolvable.

A base for a neighborhood system of a point x is a collection N of open sets such that x belongs to every member of N, and any open set containing x also contains a member of ...

The set of elements g of a group such that g^(-1)Hg=H, is said to be the normalizer N_G(H) with respect to a subset of group elements H. If H is a subgroup of G, N_G(H) is ...

A premise is a statement that is assumed to be true. Formal logic uses a set of premises and syllogisms to arrive at a conclusion.

The notation Q^_ denotes the algebraic closure of the rational numbers Q. This is equivalent to the set of algebraic numbers, sometimes denoted A.

A real matrix is a matrix whose elements consist entirely of real numbers. The set of m×n real matrices is sometimes denoted R^(m×n) (Zwillinger 1995, p. 116).