FAA Flashcards
(27 cards)
Let (π, π) be a topological space. Define what it means for this space to be Hausdorff
The space (π, π) is Hausdorff if, for all π₯, π¦ β π with π₯ β π¦, there exists π, π β π such that π₯ β π, π¦ β π, and π β© π = β .
Define what it means for a function π βΆ (π, ππ) β (π , ππ ) between topological spaces to be continuous.
f is continuous if for every U β πY , fβ1 (U) β πX.
Let (π, π) be a topological space. Define what it means for (π, π) to be compact.
The space (π, ππ) is compact if every open cover of π has a finite subcover.
Let (π, π) be a topological space and let πΈ β π. Define what it means for (π, π) to be connected.
The space (π, π) is connected if β and π are the only subsets of π which are both open and closed (i.e. which are clopen).
Let (π, π) be a topological space. Define what it means for this space to be regular
The space is regular if, for every closed subset πΈ β π and for every π₯ β π β§΅ πΈ, there exist π, π β π such that π₯ β π, πΈ β π, and π β© π = β .
Let (π, π) be a topological space. Define what it means for β¬2 β π«(π) to be a sub-base for π.
The set B2 is a sub-base for π if the set Bβ consisting of all finite intersections of subsets in B2, i.e.
Bβ := β©(finite) B2 := {X} βͺ (β©n k=1 Vk β X : n β N β§ V1, . . . , Vn β B2 ) , is a base for π
Let (π, π1 ) and (π, π2 ) be two metric spaces. Define what it means for π1 and π2 to be uniformly equivalent.
The metrics are uniformly equivalent if there exist constants C1 > 0 and C2 > 0 such that, for all w, z β Z, C1d1(w, z) β€ d2(w, z) β€ C2d1(w, z).
Let (π, π) be a topological space and let πΈ β π. Define what a path in (π, π) is.
A path in (π, π) is a continous function πΎ βΆ [π, π] β π, for some π, π β β with π < π.
Let (π, π1 ) and (π, π2 ) be two metric spaces. Define what it means for π1 and π2 to be equivalent.
The metrics d1 and d2 are equivalent if, for all sequences (zn) β Z and all z β Z,
d1(zn, z) β 0 as n β β if and only if d2(zn, z) β 0 as n β β.
Let (π, π) be a topological space. Define what it means for this space to be normal
The space is normal if, for every pair of disjoint, closed subsets πΈ, πΉ β π, there exist π, π β π such that πΈ β π, πΉ β π, and π β© π = β .
Let π be a set. Define what a topology π on π is.
A topology π on π is a subset of π«(π) (i.e. a collection, or set, of subsets of π) satisfying the following three properties:
T1 β β π and π β π,
T2 if π, π β π, then π β© π β π,
T3 if for all π β πΌ (for some index set πΌ) ππ β π, then βπ β πΌ ππ β π.
Let (π, ππ) and (π , ππ ) be topological spaces.
Define what it means for these spaces to be homeomorphic.
The topological spaces (π, ππ) and (π , ππ ) are homeomorphic if there exists a continuous bijection π βΆ π β π which has continuous inverse.
Let π be a set. Define what it means for π βΆ π Γ π β [0, β) to be a pseudo-metric on π.
The function π is a metric on π if it satisfies the following three conditions M1β for all π₯ β π, π(π₯, π₯) = 0. M2 for all π₯, π¦ β π, π(π₯, π¦) = π(π¦, π₯), M3 for all π₯, π¦, π§ β π, π(π₯, π¦) β€ π(π₯, π§) + π(π§, π¦).
Let (π, π) be a metric space and (π₯π )πββ a sequence in π.
Define what it means for (π, π) to be complete.
The space (π, π) is complete if every Cauchy sequence in π converges.
Let (π, ππ) and (π , ππ ) be two metric spaces. Define what it means for a function to be an isometry from π to π and define what it means for these spaces to be isometric.
The function f : X β Y is an isometry, if for all x, y β X, dY (f(x), f(y)) = dX(x, y).
If there exists a bijective isometry between X and Y , then the two metric spaces are isometric
Let π be a set. Define what it means for π βΆ π Γ π β [0, β) to be a metric on π.
The function π is a metric on π if it satisfies the following three conditions M1 for all π₯, π¦ β π, π(π₯, π¦) = 0 if and only if π₯ = π¦, M2 for all π₯, π¦ β π, π(π₯, π¦) = π(π¦, π₯), M3 for all π₯, π¦, π§ β π, π(π₯, π¦) β€ π(π₯, π§) + π(π§, π¦).
Let (π, π) be a topological space. Define what a finite subcover of an open cover of π is.
A finite subcover of the open cover {ππ }πβπΌ is a collection of subsets {ππ }πβπΌβ² β {ππ }πβπΌ with πΌ β² β πΌ finite, such that βπβπΌβ² ππ = π.
Let (π, π) be a topological space. Define what it means for a subset π β π to be connected.
A subset π β X is connected, if (π, ππ ) is connected, where ππ is the subspace topology on π induced by π .
Let (π, π) be a topological space. Define what it means for β¬1 β π«(π) to be a base for π.
The set B1 is a base for Ο if the following conditions are satisfied:
(B1) B1 β Ο ,
(B2) βU β Ο , there is {Vi β B1 : i β I} β B1, such that U = UiβI Vi (with I some index set; I = β is allowed).
Let (π, π) be a topological space and let πΈ β π. Define what it means for πΈ to be path-connected.
The space is path-connected if for all π₯, π¦ β π there exists a path πΎ βΆ [π, π] β π such that πΎ(π) = π₯, πΎ(π) = π¦, and πΎ([π, π]) β πΈ.
If (π1 , π) is a topological space, π2 a set, and π βΆ π1 β π2 a function, define what the quotient topology on π2 induced by π is.
The quotient topology is defined as
πq := {U β Z2 : qβ1 (U) β π}.
Let (π, π) be a metric space and (π₯π )πββ a sequence in π.
Define what it means for (π₯π )πββ to be a Cauchy sequence.
The sequence (π₯π ) is a Cauchy sequence if, for all π > 0 there exists an π β β such that for all π, π β₯ π, π(π₯π , π₯π) < π.
Let (π, π) be a topological space. Define what an open cover of π is.
An open cover of π is a collection of open subsets {ππ }π β πΌ of π (where πΌ is some index set) such that βπ β πΌ ππ = π.