Search Results for ""

A property that is always fulfilled by the product of topological spaces, if it is fulfilled by each single factor. Examples of productive properties are connectedness, and ...

A projection is the transformation of points and lines in one plane onto another plane by connecting corresponding points on the two planes with parallel lines. This can be ...

The projective special linear group PSL_n(q) is the group obtained from the special linear group SL_n(q) on factoring by the scalar matrices contained in that group. It is ...

The projective special orthogonal group PSO_n(q) is the group obtained from the special orthogonal group SO_n(q) on factoring by the scalar matrices contained in that group. ...

The projective special unitary group PSU_n(q) is the group obtained from the special unitary group SU_n(q) on factoring by the scalar matrices contained in that group. ...

The path traced out by a fixed point at a radius b>a, where a is the radius of a rolling circle, also sometimes called an extended cycloid. The prolate cycloid contains ...

Proof theory, also called metamathematics, is the study of mathematics and mathematical reasoning (Hofstadter 1989) in a general and abstract sense itself. Instead of ...

A proof by contradiction establishes the truth of a given proposition by the supposition that it is false and the subsequent drawing of a conclusion that is contradictory to ...

A positive proper divisor is a positive divisor of a number n, excluding n itself. For example, 1, 2, and 3 are positive proper divisors of 6, but 6 itself is not. The number ...

Any ideal of a ring which is strictly smaller than the whole ring. For example, 2Z is a proper ideal of the ring of integers Z, since 1 not in 2Z. The ideal <X> of the ...