Search Results for ""

An n-dimensional manifold M is said to be a homotopy sphere, if it is homotopy equivalent to the n-sphere S^n. Thus no homotopy group can distinguish between M and S^n. The ...

A set of graph vertices A of a graph with graph edges V is independent if it contains no graph edges.

A multiple of 2. The word should really be something like "bicade" (by analogy with decade) but the "oct" embedded in the stem of the word derives historically to the fact ...

The homeomorphic image of a so-called "complete separable" metric space. The continuous image of a Polish space is called a Souslin set.

The upper horizontal line segment in the above figure appears to be longer than the lower line segment despite the fact that both are the same length.

A sequence {mu_n}_(n=0)^infty is positive definite if the moment of every nonnegative polynomial which is not identically zero is greater than zero (Widder 1941, p. 132). ...

Given f:X->Y, the image of x is f(x). The preimage of y is then f^(-1)(y)={x|f(x)=y}, or all x whose image is y. Images are elements of the range, while preimages are subsets ...

Every continuous linear functional U[f] for f in C[a,b] can be expressed as a Stieltjes integral U[f]=int_a^bf(x)dw(x), where w(x) is determined by U and is of bounded ...

If pi on V and pi^' on V^' are irreducible representations and E:V|->V^' is a linear map such that pi^'(g)E=Epi(g) for all g in and group G, then E=0 or E is invertible. ...

Let f_1(z), ..., f_m(z) for m>=1 be a set of E-functions that (1) form a solution of the system of differential equations y_k^'=q_(k0)+sum_(j=1)^mq_(kj)y_j for q_(kj) in C(z) ...