Theorems Flashcards
Intermediate Value Theorem
Let f : [a, b] ⟶ R be a continuous function. For any v between f(a) and f(b), there is at least once x ∈ [a, b] with f(x) = v.
Bounds of a continuous function [a, b] ⟶ R.
Let f : [a, b] ⟶ R be a continuous function. Then f(x) is bounded and attains its bounds, i.e. f has a finite maximum M and minimum m in [a, b]. More precisely, there are points x_max, x_min ∈ [a, b] so that f(x) ≤ f(x_max) = M and f(x) ≥ f(x_min) = m for all x ∈ [a, b].
When is B_𝜀(a) open?
For any a ∈ X and any 𝜀 > 0, the set B_𝜀(a) is an open set in X.
When are intersections in a metric space open?
Let U and V be open sets in the metric space (X, d). Then U ⋂ V is an open set. Furthermore, the intersection of any finite family of open sets is open. (Note this does not necessarily hold for infinite families.)
When are unions in a metric space open?
If Uᵢ, i ∈ I is any family of open sets in X, then ⋃ Uᵢ is open.
iϵI
When does a sequence converge in a metric space?
Let (aₙ) be a sequence in a metric space (X, d) and let a ∈ X. Then aₙ ⟶ a as n ⟶ ∞ if and only if for every open set U containing a, there is some N ∈ IN such that aₙ ∈ U for all n > N.
Continuity of a function between metric spaces
Let (X, dᵪ) and (Y, dᵧ) be metric spaces, and let f : X ⟶ Y. Then f is continuous if and only if, for every open set U in Y, the set
f⁻¹(x) = {x ∈ X : f(x) ∈ U} is an open set in X.
Lipschitz & topologically equivalent
If d₁ and d₂ are Lipschitz equivaletn metrics on X then they are topologically equivalent.
Properties of a basis of a topology
If ℬ is a basis for a topology T on X, then
(B1) For each x ∈ X, there is some B ∈ ℬ with x ∈ ℬ
(B2) If x ∈ B₁ and x ∈ B₂ with B₁, B₂ ∈ ℬ then there exists B₃ ∈ ℬ with x ∈ B₃ ⊆ B₁ ⋂ B₂
Conversely, let ℬ be a collection of subsets of a non-empty set X. If ℬ satisfies (B1), (B2) then there is a unique topology T on X such that B is a basis for T.
De Morgan’s Laws
⋃ (X \ Uᵢ) = X \ ( ⋂ Uᵢ)
iϵI iϵI
⋂ (X \ Uᵢ) = X \ ( ⋃ Uᵢ)
iϵI iϵI
Intersections and unions of closed sets in a topological space
In a topological space,
(i) An arbitrary intersection of closed sets is closed
(ii) A finite union of closed sets is closed
Composition of continuous maps between topological spaces
If f : X ⟶ Y and g : Y ⟶ Z are continuous maps between topological spaces, then g ⚬ f : X ⟶ Z is continuous.
Properties of A°
(i) A° is the (unique) largest open subset contained in A, i.e. A° is an open set, A° ⊆ A, and if U is open and U ⊆ A then U ⊆ A°.
(ii) For x ∈ X we have x ∈ A° ⟺ there exists an open set U with x ∈ U ⊆ A.
(iii) A° = A ⟺ A is open.
Properties of Aࠡ
(i) Aࠡ is the (unique) smallest closed subset containing A, i.e. Aࠡ is a closed set, A ⊆ Aࠡ, and if C is closed and A ⊆ C then Aࠡ ⊆ C.
(ii) For x ∈ X we have x ∈ Aࠡ ⟺ there is no open set U with x ∈ U and U ⋂ A = ∅.
(iii) Aࠡ = A ⟺ A is closed.
Application of closures in convergent sequences
Let X be any topological space and let S be a subset of X. Let (aₙ) be a sequence in X with aₙ ∈ S for all n. If aₙ converges to some point a ∈ X then a is in the closure of S.
Convergence of sequences in Hausdorff space
In a Hausdorff space, any sequence can converge to at most one point
Function between Hausdorff spaces
If f : X ⟶ Y is injective and continuous, and Y is Hausdorff, so is X.
Hausdorff and homeomorphic
If X and Y are homeomorphic then X is Hausdorff if and only if Y is Hausdorff.
Properties of the inclusion map
Let A be a non-empty subset of a topological space X (equipped with its subspace topology) and let i : A ⟶ X be the inclusion map. Then
(i) i is continuous
(ii) For any topological space Z and any function g : Z ⟶ A, g is continuous ⟺ i ⚬ g : Z ⟶ X is continuous
(iii) The subspace topology on A is the only topology for which property (ii) holds for all functions g.
Product topology on X x Y where X = Y = R
Let X = Y = R with its usual topology. Then the product topology on R² agrees with the usual topology (given by the Euclidean metric) on R².
When are the projection functions continuous?
Let X, Y be topological spaces, and let pᵪ : X x Y ⟶ X and
pᵧ : X x Y ⟶ Y be the projection functions:
pᵪ( (x, y) ) = x pᵧ( (x, y) ) = y
For any topological space Z and any function f : Z ⟶ X x Y,
f is continuous ⟺ pᵪ ⚬ f and pᵧ ⚬ f are continuous
In particular, pᵪ and pᵧ are continuous
When is f x g continuous?
Let f : X ⟶ X’ and g : Y ⟶ Y’ be continuous functions, and define f x g : X x Y ⟶ X’ x Y’ by
(f x g)(x, y) = (f(x), g(y))
Then f x g is continuous.
Diagonal map
For any topological space X, the diagonal map 𝚫 : X ⟶ X x X, 𝚫(x) = (x, x), is continuous.
Arithmetic of continuous functions
For continuous functions f, g : X ⟶ R, the functions f + g, f - g, fg, etc are continuous.