![Topology Definitions and Theorems Set Theory and Functions](http://s1.studyres.com/store/data/005960522_1-c5ce43e89428e589f871944523b92ed7-300x300.png)
Finish Metric Spaces. Interlude on Quotient
... The collection {[x] : x ∈ X} is denoted by X/ ∼. Example The equivalence relation of the previous example yields Z/ ∼= {[0], [1]}, because each number is either even, and hence in [0], or odd, and hence in [1]. Definition If X is a set and ∼ is an equivalence relation on X, then the map π : X → X/ ∼ ...
... The collection {[x] : x ∈ X} is denoted by X/ ∼. Example The equivalence relation of the previous example yields Z/ ∼= {[0], [1]}, because each number is either even, and hence in [0], or odd, and hence in [1]. Definition If X is a set and ∼ is an equivalence relation on X, then the map π : X → X/ ∼ ...
on the relation between completeness and h
... In this resume, we state the relation between completeness and -closedness for topological partially ordered spaces (or shortly pospaces). Though -closedness is a generalization of compactness, -closedness does not correspond with compactness for even chains and antichains (equipped with some pospac ...
... In this resume, we state the relation between completeness and -closedness for topological partially ordered spaces (or shortly pospaces). Though -closedness is a generalization of compactness, -closedness does not correspond with compactness for even chains and antichains (equipped with some pospac ...
GEOMETRY
... “Net” is a two-dimensional layout of a threedimensional polyhedron Use a circle compass, a ruler, (compass), and paper to create a net for the following polyhedron. ...
... “Net” is a two-dimensional layout of a threedimensional polyhedron Use a circle compass, a ruler, (compass), and paper to create a net for the following polyhedron. ...
Free full version - topo.auburn.edu
... and f |S n − {p} is a local homeomorphism. Must f be a homeomorphism? In considering this question, Lelek and Mycielski [3] gave the following theorems: Theorem 2 [3]. If (1) X is connected and X or Y is locally connected, (2) f : X → Y is an open local homeomorphism onto Y , (3) every point p ∈ Y i ...
... and f |S n − {p} is a local homeomorphism. Must f be a homeomorphism? In considering this question, Lelek and Mycielski [3] gave the following theorems: Theorem 2 [3]. If (1) X is connected and X or Y is locally connected, (2) f : X → Y is an open local homeomorphism onto Y , (3) every point p ∈ Y i ...
on a reflective subcategory of the category of all topological spaces
... Further I presuppose the knowledge of Kennison's paper [4]. Recall that if F is a reflector of a category A in a category B, then for Xe A ex will denote the reflection map or the front adjunction map (e Horn (X, F(X)) with the property eYf=F(f)ex for all/g Horn (X, Y). By a topological property the ...
... Further I presuppose the knowledge of Kennison's paper [4]. Recall that if F is a reflector of a category A in a category B, then for Xe A ex will denote the reflection map or the front adjunction map (e Horn (X, F(X)) with the property eYf=F(f)ex for all/g Horn (X, Y). By a topological property the ...
What is an Eilenberg-MacLane space?
... This Postnikov data determines X up to homotopy equivalence. Spaces with exactly one homotopy group have trivial Postnikov tower and hence these are classified by the homotopy group, i.e., there is only one space (up to homotopy equivalence). In homotopy theory, these are the basic building blocks f ...
... This Postnikov data determines X up to homotopy equivalence. Spaces with exactly one homotopy group have trivial Postnikov tower and hence these are classified by the homotopy group, i.e., there is only one space (up to homotopy equivalence). In homotopy theory, these are the basic building blocks f ...
3-manifold
![](https://commons.wikimedia.org/wiki/Special:FilePath/3-Manifold_3-Torus.png?width=300)
In mathematics, a 3-manifold is a space that locally looks like Euclidean 3-dimensional space. Intuitively, a 3-manifold can be thought of as a possible shape of the universe. Just like a sphere looks like a plane to a small enough observer, all 3-manifolds look like our universe does to a small enough observer. This is made more precise in the definition below.