Summary of "이석종 위상수학 2장1절 열린집합"

Context

Lecture on basic topology needed later: properties of the real line R and the plane R^2, with emphasis on open sets and interior points. The lecturer remarks that only the properties needed for Chapter 3 are covered.

Definitions and basic concepts

Interior point (of a set A): a point p ∈ A is an interior point if there exists an open neighborhood S containing p such that S ⊂ A. In R an open neighborhood is an open interval (a, b); in R^2 it is an open disk (ball).
Open set: a set A is open if every point of A is an interior point (i.e., each point is contained in some open neighborhood lying entirely inside A).
Open neighborhoods: in R, an open neighborhood of p is an interval (a, b) with a < p < b; in R^2 it is an open ball centered at p with positive radius.

Examples and non-examples

Any open interval (a, b) is an open set.
The whole space (e.g., R or R^2) is open (it can be expressed as a union of open intervals/balls).
Half-open or closed intervals like [a, b) or [a, b] are not open because endpoints do not have a neighborhood contained in the set.
Singletons {p} are not open in R (no nontrivial open interval fits inside a one-point set).
Infinite sets can be open or not:
- N (the natural numbers, as a subset of R) is not open.
- (0, 1) is infinite and open.
Infinite intersection counterexample: an infinite nested family of open intervals that shrink to a point (for example, intersections of (−1/n, 1/n) over n ∈ N) can produce the singleton {0}, which is not open. This shows infinite intersections of open sets need not be open.

Key theorems and properties (with brief proof ideas)

Empty set and entire space are open.
- Idea: The empty set vacuously satisfies the definition (no points to check). The whole space is a union of neighborhoods, so every point has a neighborhood contained in the space.
Arbitrary unions of open sets are open.
- Idea: If x is in the union, then x lies in some open member Gα; that Gα provides an open neighborhood of x contained in the union, so x is an interior point of the union.
Finite intersections of open sets are open.
- Idea: For G1 ∩ G2 ∩ … ∩ Gn, take x in the intersection. Each Gk is open, so for each k there is a neighborhood Sk ⊂ Gk containing x. In R one can form a single interval around x by taking the largest left endpoint and smallest right endpoint among the Sk; in R^2 take the minimum of the positive radii of balls. That neighborhood lies in every Gk, hence in the intersection.
Infinite intersections of open sets need not be open.
- Idea: A nested sequence of open sets whose sizes shrink to a point can intersect to a non-open set (e.g., a singleton).

Proof sketches illustrated

Union theorem: pick x in the union → x ∈ some open member → that member supplies a neighborhood inside the union → x is interior → union is open.
Finite intersection theorem: pick x in the intersection → for each set pick an open neighborhood around x contained in that set → combine them (choose min radius or overlap interval) to produce a neighborhood around x contained in the intersection → intersection is open.

Pedagogical points emphasized

Useful criterion: “A is not open iff it has at least one point that is not an interior point.”
Visual aid for finite intersections of intervals: for a point x in the intersection, the overlap interval is determined by the largest left endpoint and the smallest right endpoint; that overlap contains x and is contained in every interval.
Three central properties to remember:
1. ∅ and the whole space are open.
2. Arbitrary unions of open sets are open.
3. Finite intersections of open sets are open.
These properties are the basic requirements for a collection of sets to be a topology and will be used in subsequent chapters.

Note: many mistranscriptions in the auto-generated subtitles (words like “blood”, “pop”, “young”, etc.) correspond to mathematical terms such as “point”, “open set”, “neighborhood”, “interior point.” Numbering in the transcript (e.g., “2.75”, “2.85”) is garbled, but the principal mathematical content (definitions, union/intersection theorems, examples) is intact.

Speakers / sources

Lecturer: 이석종 (Lee Seok-jong) — topology lecture (video title: “이석종 위상수학 2장1절 열린집합”)
Source of text: auto-generated subtitles of the YouTube lecture (used as input to this summary)