notesonly.in

One notebook for every subject — open it anywhere.

Log in

Topological Spaces and Open Sets: Intuition and Examples

A topological space is a set X with a collection tau of subsets called open sets, obeying three rules: the empty set and X are open, any union of opens is open, and any finite intersection of opens is open. This keeps just enough of "nearness" to define continuity and connectedness, with no distances needed.

It is the most general setting where calculus-like ideas survive. Open intervals of R are one example; the discrete topology, where every set is open, is another. Topology studies properties surviving stretching and bending, like hole counts, and underpins analysis, geometry and data science.

Key Concepts

  • Topology tau: the distinguished opens, closed under arbitrary unions and finite intersections, containing empty set and X.
  • Open vs closed: a set is closed if its complement is open; a set may be open, closed, both (clopen), or neither.
  • Discrete topology: every subset open; points fully isolated.
  • Indiscrete topology: only empty set and X open; the coarsest possible.
  • Usual topology on R: opens are unions of open intervals (a, b).

How It Works

Check the three axioms. Example: X = {1, 2, 3}, tau = {empty set, {1}, {1, 2}, {1, 2, 3}}.

  1. Empty set and X are in tau. Satisfied.
  2. Unions: {1} ∪ {1,2} = {1,2} ∈ tau; all other unions similarly land in tau. Satisfied.
  3. Finite intersections: {1} ∩ {1,2} = {1} ∈ tau; the rest check out. Satisfied.
  4. So tau is a topology. Note {2} is not open here: openness depends entirely on tau.
  5. Contrast: {empty set, {1}, {2}, {1,2,3}} is not a topology, since {1} ∪ {2} = {1,2} is missing.

Common Misconceptions

  • "Open" ≠ "open interval". Intervals are the opens of the usual topology on R only; in the discrete topology even points are open.
  • Open and closed are not opposites: empty set and X are always clopen, and in the discrete topology everything is.
  • Infinite intersections of opens need not be open: ∩_n (-1/n, 1/n) = {0} in R, which is not open; only finite intersections are guaranteed.

Real-World Applications

  • Analysis: continuity and compactness defined topologically work in R^n, function spaces and beyond.
  • Data analysis: topological data analysis finds shape in point clouds via neighbourhoods at varying scales.
  • Physics: phase spaces are topological spaces; defects like vortices are classified topologically.

A topological space is a set with opens obeying the union and finite-intersection axioms; on {1,2,3} the family {empty set, {1}, {1,2}, X} passes all three checks. Openness is always relative to the topology, and this minimal structure carries continuity, convergence and modern geometry.