Search Results for ""

A metric on a bunch of segments with a common endpoint O, which defines the distance between two points P_1 and P_2 as the length of the shortest path connecting them inside ...

The set of all ground atoms that can be formed from predicate symbols from a clause in Skolemized form S and terms from the Herbrand universe H of S.

Let X be a continuum (i.e., a compact connected metric space). Then X is hereditarily unicoherent provided that every subcontinuum of X is unicoherent. Any hereditarily ...

Let A be a C^*-algebra. A C^*-subalgebra (that is a closed *-subalgebra) B of A is called hereditary if bab^' in B for all b,b^' in B and a in A, or equivalently if for a in ...

The Heronian mean of two numbers a and b is defined as HM(a,b) = 1/3(2A+G) (1) = 1/3(a+sqrt(ab)+b), (2) where A is the arithmetic mean and G the geometric mean. It arises in ...

A Hilbert basis for the vector space of square summable sequences (a_n)=a_1, a_2, ... is given by the standard basis e_i, where e_i=delta_(in), with delta_(in) the Kronecker ...

The hinge theorem says that if two triangles DeltaABC and DeltaA^'B^'C^' have congruent sides AB=A^'B^' and AC=A^'C^' and ∠A>∠A^', then BC>B^'C^'.

Let V be an inner product space and let x,y,z in V. Hlawka's inequality states that ||x+y||+||y+z||+||z+x||<=||x||+||y||+||z||+||x+y+z||, where the norm ||z|| denotes the ...

The holomorphic tangent bundle to a complex manifold is given by its complexified tangent vectors which are of type (1,0). In a coordinate chart z=(z_1,...,z_n), the bundle ...

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 ...