Genus two surface: Difference between revisions

From Topospaces
(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>.


==Properties==
==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 T2#T2 or Σ2, is defined in the following equivalent ways:

  1. It is the connected sum of two copies of the 2-torus.
  2. It is the compact orientable surface of genus 2.

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

Algebraic topology