Cut point

The "neck" of this eight-like figure is a cut-point.

In topology, a cut-point is a point of a connected space such that its removal causes the resulting space to be disconnected. If removal of a point doesn't result in disconnected spaces, this point is called a non-cut point.

For example, every point of a line is a cut-point, while no point of a circle is a cut-point.

Cut-points are useful to determine whether two connected spaces are homeomorphic by counting the number of cut-points in each space. If two spaces have different number of cut-points, they are not homeomorphic. A classic example is using cut-points to show that lines and circles are not homeomorphic.

Cut-points are also useful in the characterization of topological continua, a class of spaces which combine the properties of compactness and connectedness and include many familiar spaces such as the unit interval, the circle, and the torus.

Definition

Formal definitions

A line (closed interval) has infinitely many cut points between the two endpoints. A circle has no cut point. Since they have different numbers of cut points, lines are not homeomorphic to circles.

A point of a connected topological space is called a cut point[1][2] of if is not connected. A point of a connected space is called a non-cut point[1] of if is connected.

Note that these two notions only make sense if the space is connected to start with. Also, for a space to have a cut point, the space must have at least three points, because removing a point from a space with one or two elements always leaves a connected space.

A non-empty connected topological space X is called a cut-point space[2] if every point in X is a cut point of X.

Basic examples

  • A closed interval [a,b] has infinitely many cut points. All points except for its endpoints are cut points and the endpoints {a,b} are non-cut points.
  • An open interval (a,b) has infinitely many cut points, like closed intervals. Since open intervals don't have endpoints, it has no non-cut point.
  • A circle has no cut point. Every point of a circle is a non-cut point.

Notations

  • A cutting of X is a set {p,U,V} where p is a cut-point of X, U and V form a separation of X-{p}.
  • Also can be written as X\{p}=U|V.

Theorems

Cut-points and homeomorphisms

  • Cut-points are not necessarily preserved under continuous functions. For example: f: [0, 2π] → R2, given by f(x) = (cos x, sin x). Every point of the interval (except the two endpoints) is a cut-point, but f(x) forms a circle which has no cut-points.
  • Cut-points are preserved under homeomorphisms. Therefore, cut-points are a topological invariant.

Cut-points and continua

  • Every continuum (compact connected Hausdorff space) with more than one point has at least two non-cut points. Specifically, each open set which forms a separation of resulting space contains at least one non-cut point.
  • Every continuum with exactly two noncut-points is homeomorphic to the unit interval.
  • If K is a continuum with points a,b and K-{a,b} isn't connected, K is homeomorphic to the unit circle.

Topological properties of cut-point spaces

  • Let X be a connected space and x be a cut point in X such that X\{x}=A|B. Then {x} is either open or closed. if {x} is open, A and B are closed. If {x} is closed, A and B are open.
  • Let X be a cut-point space. The set of closed points of X is infinite.

The Khalimsky line

The Khalimsky line is the set of integers with a base for the topology given by .[3] The topology is an Alexandrov topology. Every odd number is an isolated point. And the smallest neighborhood of an even number is the point itself together with the two adjacent elements.

The Khalimsky line is a cut-point space since every point is a cut point, but no proper subspace of it is a cut-point space. It is the only space with that property: A cut-point space for which no proper subspace is a cut-point space must be homeomorphic to the Khalimsky line.[4]

See also

Notes

  1. ^ a b Willard 2004, Definition 28.5.
  2. ^ a b Honari & Bahrampour 1999, Definition 2.1.
  3. ^ Honari & Bahrampour 1999, Definition 2.5.
  4. ^ Honari & Bahrampour 1999, Theorem 4.5.

References

  • Hatcher, Allen, Notes on introductory point-set topology, pp. 20–21
  • Honari, B.; Bahrampour, Y. (1999). "Cut-point spaces" (PDF). Proceedings of the American Mathematical Society. 127 (9): 2797–2803. doi:10.1090/s0002-9939-99-04839-x.
  • Willard, Stephen (2004) [1970]. General Topology. Mineola, N.Y.: Dover Publications. ISBN 978-0-486-43479-7. OCLC 115240.

Content Disclaimer

Informasi ini disarikan dari Wikipedia dan disajikan kembali untuk tujuan edukasi. Konten tersedia di bawah lisensi CC BY-SA 3.0. Kami tidak bertanggung jawab atas ketidakakuratan data yang bersumber dari kontribusi publik tersebut.

  1. The information displayed on this website is sourced in part or in whole from Wikipedia and has been adapted for the purpose of restating it. We strive to provide accurate and relevant information, however:
  2. There is no guarantee of absolute accuracy. Wikipedia is an open, collaborative project that can be edited by anyone, so information is subject to change.
  3. It is not intended to constitute professional advice. The content displayed is for informational and educational purposes only. For important decisions (e.g., medical, legal, or financial), please consult a professional.
  4. Content copyright. Wikipedia is licensed under the Creative Commons Attribution-ShareAlike License (CC BY-SA). This means that content may be reused with appropriate attribution and shared under a similar license.
  5. Responsible use. Any risk arising from the use of information from this website is entirely the responsibility of the user.