Genus two surface: Difference between revisions
(Created page with "{{particular topospace}} ==Definition== This topological space, denoted <math>T^2 \# T^2</math> or <math>\Sigma_2</math>, is defined in the following equivalent ways: # It...") |
No edit summary |
||
| Line 8: | Line 8: | ||
# It is the [[defining ingredient::compact orientable surface]] of genus <math>2</math>. | # It is the [[defining ingredient::compact orientable surface]] of genus <math>2</math>. | ||
== | ==Topological space properties== | ||
==Topological space properties== | |||
{| class="sortable" border="1" | |||
! Property !! Satisfied? !! Is the property a [[homotopy-invariant property of topological spaces]]? !! Explanation !! Corollary properties satisfied/dissatisfied | |||
|- | |||
| [[satisfies property::manifold]] || Yes || No || By definition as a connected sum of manifolds || satisfies: [[satisfies property::metrizable space]], [[satisfies property::second-countable space]], and all the separation axioms down from [[satisfies property::perfectly normal space]] and [[satisfies property::monotonically normal space]], including [[satisfies property::normal space|normal]], [[satisfies property::completely regular space|completely regular]], [[satisfies property::regular space|regular]], [[satisfies property::Hausdorff space|Hausdorff]], etc. | |||
|- | |||
| [[satisfies property::path-connected space]] || Yes || Yes || By definition as a connected sum of connected manifolds. || satisfies: [[satisfies property::connected space]], [[satisfies property::connected manifold]], [[satisfies property::homogeneous space]] (via connected manifold, see [[connected manifold implies homogeneous]]) | |||
|- | |||
| [[satisfies property::simply connected space]] || No || Yes || Fundamental group is nontrivial, see [[homotopy of compact orientable surfaces]] || dissatisfies: [[dissatisfies property::simply connected manifold]] | |||
|- | |||
| [[dissatisfies property::rationally acyclic space]] || No || Yes || The second homology group is isomorphic to the group of integers, hence it is nontrivial and has nontrivial torsion-free part. See [[homology of spheres]] || dissatisfies: [[dissatisfies property::acyclic space]], [[dissatisfies property::weakly contractible space]], [[dissatisfies property::contractible space]] | |||
|- | |||
| [[dissatisfies property::space with Euler characteristic zero]] || No || Yes || The Euler characteristic is -2, see [[homology of compact orientable surfaces]] || | |||
|- | |||
| [[dissatisfies property::space with Euler characteristic one]] || No || Yes || The Euler characteristic is -2, see [[homology of compact orientable surfaces]] || | |||
|- | |||
| [[satisfies property::compact space]] || Yes || No || connected sum of compact manifolds || satisfies: [[satisfies property::compact manifold]], [[satisfies property::compact polyhedron]], [[satisfies property::polyhedron]] (via compact manifold), [[satisfies property::compact Hausdorff space]], and all properties weaker than compactness | |||
|} | |||
==Algebraic topology== | ==Algebraic topology== | ||
Revision as of 23:38, 21 July 2011
This article is about a particular topological space (uniquely determined up to homeomorphism)|View a complete list of particular topological spaces
Definition
This topological space, denoted or , is defined in the following equivalent ways:
- It is the connected sum of two copies of the 2-torus.
- It is the compact orientable surface of genus .
Topological space properties
Topological space properties
| Property | Satisfied? | Is the property a homotopy-invariant property of topological spaces? | Explanation | Corollary properties satisfied/dissatisfied |
|---|---|---|---|---|
| manifold | Yes | No | By definition as a connected sum of manifolds | satisfies: metrizable space, second-countable space, and all the separation axioms down from perfectly normal space and monotonically normal space, including normal, completely regular, regular, Hausdorff, etc. |
| path-connected space | Yes | Yes | By definition as a connected sum of connected manifolds. | satisfies: connected space, connected manifold, homogeneous space (via connected manifold, see connected manifold implies homogeneous) |
| simply connected space | No | Yes | Fundamental group is nontrivial, see homotopy of compact orientable surfaces | dissatisfies: simply connected manifold |
| rationally acyclic space | No | Yes | The second homology group is isomorphic to the group of integers, hence it is nontrivial and has nontrivial torsion-free part. See homology of spheres | dissatisfies: acyclic space, weakly contractible space, contractible space |
| space with Euler characteristic zero | No | Yes | The Euler characteristic is -2, see homology of compact orientable surfaces | |
| space with Euler characteristic one | No | Yes | The Euler characteristic is -2, see homology of compact orientable surfaces | |
| compact space | Yes | No | connected sum of compact manifolds | satisfies: compact manifold, compact polyhedron, polyhedron (via compact manifold), compact Hausdorff space, and all properties weaker than compactness |