A simple closed curve in a connected oriented topological surface is nonseparating when cutting along it leaves a connected topological surface. In that case an arc joining the two new boundary components closes to a simple closed curve meeting the original once. Their algebraic intersection number of curves on an oriented surface is . Consequently the original curve represents a nonzero primitive homology class.
On a closed oriented topological surface, a separating simple closed curve bounds a compact subsurface, whose fundamental class exhibits it as a boundary in homology. Thus on a closed oriented topological surface, separation is equivalent to vanishing of its integral first homology class.
The closed-surface condition cannot be omitted. In the open annulus , the core separates the two ends, yet generates . Either side is noncompact and supplies no finite singular chain bounding that core.
Articles by others on the same topic
There are currently no matching articles.