FAA Flashcards
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 โ๐ โ ๐ผ ๐๐ = ๐.