Search Results for ""

A family composed of countably many discrete families.

A family composed of countably many locally finite families.

A subset X of R^n is star convex if there exists an x_0 in X such that the line segment from x_0 to any point in X is contained in X. A star-shaped figure is star convex but ...

X subset= R^n is subanalytic if, for all x in R^n, there is an open set U and a bounded semianalytic set Y subset R^(n+m) such that X intersection U is the projection of Y ...

Let f be a function defined on a set A and taking values in a set B. Then f is said to be a surjection (or surjective map) if, for any b in B, there exists an a in A for ...

The closure of a set A is the smallest closed set containing A. Closed sets are closed under arbitrary intersection, so it is also the intersection of all closed sets ...

A function f is topologically transitive if, given any two intervals U and V, there is some positive integer k such that f^k(U) intersection V!=emptyset. Vaguely, this means ...

The space E of a fiber bundle given by the map f:E->B, where B is the base space of the fiber bundle.

The trivial loop is the loop that takes every point to its basepoint. Formally, if X is a topological space and x in X, the trivial loop based at x is the map L:[0,1]->X ...

An ultrametric is a metric which satisfies the following strengthened version of the triangle inequality, d(x,z)<=max(d(x,y),d(y,z)) for all x,y,z. At least two of d(x,y), ...