Document
... Theorem 2.3. If (X, τ ) be a topological space and τ ∗ be a supratopology associated with τ , then τ ⊂ τm ⊂ τ ∗ ⊂ sγτ . Theorem 2.4. Let (X, τ ) be a supratopological space. The intersection of finitely many supra-open subsets in X is an sγ-set. Proof. Let U1 and U2 be supra-open sets in X. For each ...
... Theorem 2.3. If (X, τ ) be a topological space and τ ∗ be a supratopology associated with τ , then τ ⊂ τm ⊂ τ ∗ ⊂ sγτ . Theorem 2.4. Let (X, τ ) be a supratopological space. The intersection of finitely many supra-open subsets in X is an sγ-set. Proof. Let U1 and U2 be supra-open sets in X. For each ...
COMPACT SÍ-SOUSLIN SETS ARE Ga`S result holds for f
... for every family B containing subcovers of all elements of W. The equality (#) yields the conclusions of Theorem 2 by taking B to be, respectively, (a) the family of finite subcovers of °U and (b) the family of subcovers of °ll with cardinality less than or equal to f. Notes. 1. Topological spaces w ...
... for every family B containing subcovers of all elements of W. The equality (#) yields the conclusions of Theorem 2 by taking B to be, respectively, (a) the family of finite subcovers of °U and (b) the family of subcovers of °ll with cardinality less than or equal to f. Notes. 1. Topological spaces w ...
Proposition S1.32. If { Yα} is a family of topological spaces, each of
... boundedness, defined in Cain, above Proposition 6.4. In class when we defined total boundedness we introduced the term "εnet". Definition S1.10. An ε-net is a covering of a set by cells (open balls) of fixed radius ε. A set S is totally bounded iff for every ε>0, S has a finite ε-net. Total boundedn ...
... boundedness, defined in Cain, above Proposition 6.4. In class when we defined total boundedness we introduced the term "εnet". Definition S1.10. An ε-net is a covering of a set by cells (open balls) of fixed radius ε. A set S is totally bounded iff for every ε>0, S has a finite ε-net. Total boundedn ...
Covering space
In mathematics, more specifically algebraic topology, a covering map (also covering projection) is a continuous function p from a topological space, C, to a topological space, X, such that each point in X has an open neighbourhood evenly covered by p (as shown in the image); the precise definition is given below. In this case, C is called a covering space and X the base space of the covering projection. The definition implies that every covering map is a local homeomorphism.Covering spaces play an important role in homotopy theory, harmonic analysis, Riemannian geometry and differential topology. In Riemannian geometry for example, ramification is a generalization of the notion of covering maps. Covering spaces are also deeply intertwined with the study of homotopy groups and, in particular, the fundamental group. An important application comes from the result that, if X is a ""sufficiently good"" topological space, there is a bijection between the collection of all isomorphism classes of connected coverings of X and the conjugacy classes of subgroups of the fundamental group of X.