Search Results for ""

Two triangles DeltaABC and DeltaA^'B^'C^' are said to be perspective, or sometimes homologic, from a line if the extensions of their three pairs of corresponding sides meet ...

Any entire analytic function whose range omits two points must be a constant function. Of course, an entire function that omits a single point from its range need not be a ...

Let f(x) be integrable in [-1,1], let (1-x^2)f(x) be of bounded variation in [-1,1], let M^' denote the least upper bound of |f(x)(1-x^2)| in [-1,1], and let V^' denote the ...

A group theoretic operation which is useful in the study of complex atomic spectra. A plethysm takes a set of functions of a given symmetry type {mu} and forms from them ...

The principal theorem of axonometry, first published without proof by Pohlke in 1860. It states that three segments of arbitrary length a^'x^', a^'y^', and a^'z^' which are ...

Let u and v be any functions of a set of variables (q_1,...,q_n,p_1,...,p_n). Then the expression ...

The theorem in set theory and logic that for all sets A and B, B=(A intersection B^_) union (B intersection A^_)<=>A=emptyset, (1) where A^_ denotes complement set of A and ...

A formula of first-order logic is in prenex normal form if it is of the form Q_1x_1...Q_nx_nM, (1) where each Q_i is a quantifier forall ("for all") or exists ("exists") and ...

A presheaf C of categories consists of the following data: 1. For every local homeomorphism f:Y->X of topological spaces X, Y, a category C(f:Y->X); 2. For every diagram f ...

The principal branch of an analytic multivalued function, also called a principal sheet, is a single-valued "slice" (i.e., branch) of the function chosen that is for ...