Topology Basics Flashcards
What are intervals in the context of the ordered field structure of R?
Intervals are special subsets of R.
What is the definition of an open interval (a, b)?
The open interval is the set (a, b) := {x ∈ R : a < x < b}.
What is the definition of a closed interval [a, b]?
The closed interval is the set [a, b] := {x ∈ R : a ≤ x ≤ b}.
What is the definition of a half-open (or half-closed) interval?
The half-open intervals are defined as (a, b) := {x ∈ R : a < x < b} and [a, b) := {x ∈ R : a ≤ x < b}.
What are the endpoints of an interval?
The points a and b are called the endpoints of the interval.
What is the length of an interval?
Each of the intervals is bounded and has length defined by b - a.
What happens if a = b in terms of intervals?
If a = b, the corresponding open interval is the empty set (a, a) = ∅, and the corresponding closed interval is the singleton set [a, a] = {a}.
How are unbounded intervals defined?
Unbounded intervals can be defined by replacing one or both endpoints with the symbols +∞ and -∞.
What are the definitions of infinite open intervals?
The infinite open intervals are defined as (a, ∞) := {x ∈ R : x > a} and (-∞, b) := {x ∈ R : x < b}.
What are the definitions of infinite closed intervals?
The infinite closed intervals are defined as [a, ∞) := {x ∈ R : x ≥ a} and (-∞, b] := {x ∈ R : x ≤ b}.
What is the definition of the infinite interval (-∞, ∞)?
The infinite interval is the entire set R, i.e., (-∞, ∞) := R.
What is the definition of an 𝜖-neighbourhood of a point c?
The set of all points in the open interval (c - 𝜖, c + 𝜖)
Denoted as N𝜖(c) for every 𝜖 > 0.
What does it mean for a set S to be a neighbourhood of a point c?
There exists an open interval (a, b) such that c ∈ (a, b) ⊆ S
This means any open interval containing c must be a neighbourhood of c.
Is the closed interval [1, 2] a neighbourhood of the point 1?
No
Although it contains the point 1, it is not an open interval.
What is the result of the union of two neighbourhoods of a point?
The union is also a neighbourhood of the point
If S1 and S2 are neighbourhoods of c, then S1 ∪ S2 is a neighbourhood of c.