Topology Flashcards

1
Q

Define a topological space

A

A topological space (X, T~) is a non-empty set X together with a family T~ of subsets of X satisfying: T1: X, ∅ ∈ T~, T2: U, V ∈ T ⇒ U∩V ∈ T~, and T3: Ui ∈ T~ for all i ∈ I ⇒ the union of Ui ∈ T~.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
2
Q

Define an open set

A

If (X, T~) is a topological space, then the sets in T~ are called the open sets of X.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
3
Q

Define the discrete topological space

A

Let X be any non-empty set. Then, the discrete topology on X is the set of all subsets of X.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
4
Q

Define the indiscrete topological space

A

Let X be any non-empty set. Then, the indiscrete topology on X is {X, ∅}.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
5
Q

Define a co-finite topology

A

Let X be any non-empty set. The co-finite topology on X consists of the empty set together with every subset U of X such that X\U is finite.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
6
Q

Define a metrizable topological space

A

A topological space (X, T~) metrizable if it arises from a metric space (X, d), where T~ is defined to be the set of open sets in (X, d).

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
7
Q

Define topologically equivalent metrics

A

Two metrics on a set are topologically equivalent if they give rise to the same topology.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
8
Q

Define a coarser topology

A

Given two topologies T~1, T~2 on the same set, we say T~1 is coarser than T~2 if T~1 ⊆ T~2.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
9
Q

Define a closed set

A

Let (X, T~) be a topological space. A subset V of X is closed in X if X\V is open in X.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
10
Q

Define a convergent sequence

A

A sequence (xn) in a topological space X converges to a point x ∈ X if given any open set U containing x there exists an integer N such that xn ∈ U for all n > N.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
11
Q

Define a continuous function

A

Suppose that (X, T~X) and (Y, T~Y) are topological spaces and that f: X → Y is a map. f is continuous if U ∈ T~Y ⇒ f^(−1)U ∈ T~X.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
12
Q

Define a homeomorphism

A

A homeomorphism between topological spaces X and Y is a bijection f: X → Y such that f and f^(−1) are continuous.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
13
Q

Define homeomorphic topological spaces

A

Two topological spaces X and Y are homeomorphic if there exists a homeomorphism between them.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
14
Q

Define the closure of a set

A

The closure of a set A is the intersection of all closed sets containing A.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
15
Q

Define a dense set

A

A subset A in X is dense if A = X.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
16
Q

Define an accumulation point

A

A point x ∈ X such that for any open U ⊆ X with x ∈ U, (U{x})∩A ≠ ∅ is called an accumulation point of A.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
17
Q

Define the interior of a set

A

The interior of a set A is the union of all open sets contained within A.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
18
Q

Define the boundary of a set

A

The boundary of a set A is given by ∂A = closure(A)\interior(A).

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
19
Q

Give the first separation axiom

A

A topological space satisfies the first separation axiom if for any two distinct points a, b in X, there exists an open set U containing a and not b.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
20
Q

Define Hausdorff

A

A topological space X is said to be Hausdorff if given any two distinct points x, y in X, there exist disjoint open sets U, V with x ∈ U, y ∈ V.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
21
Q

Define a subspace

A

Let (X, T~ ) be a topological space and let A be a non-empty subset of X. The subspace or induced topology on A is T~A = {A ∩ U : U ∈ T~}

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
22
Q

Define a topological basis

A

Given a topological space (X, T~), a collection of subsets of X is a basis for T if B ⊆ T~ and every set in T~ can be expressed as a union of sets in B.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
23
Q

Define the product topology

A

Let (X, T~X), (Y, T~Y) be topological spaces. Then, the family of all unions of the basis B~(X×Y) = {U x V : U ∈ T~X, V ∈ T~Y} gives the topology T~(XxY) for XxY.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
24
Q

Define a disjoint union

A

Let X and Y be sets. Their disjoint union is (X x {0}) ∪ (Y x {1}).

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
25
Q

Define a cover

A

A family {Ui: i ∈ I} of subsets of a space X is called a cover if X = infinite union of Ui.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
26
Q

Define an open cover

A

A cover where every set in the covering family is open.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
27
Q

Define a subcover

A

A subcover of a cover {Ui: i ∈ I} for a space X is a subfamily {Uj: j ∈ J} for some subset J ⊆ I such that {Uj: j ∈ J} is still a cover for X.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
28
Q

Define compact

A

A topological space is compact if every cover has a finite subcover.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
29
Q

Define a compact subset

A

A subset A of a topological space X is compact if it is compact when endowed with the subspace topology.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
30
Q

State the extreme value theorem

A

If f: X → R is a continuous real-valued function on a compact space X then f is bounded and attains its bounds.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
31
Q

State the generalised Heine-Borel theorem

A

Any closed bounded subset of (R^n, ||.||_i), where i ∈ {1, 2, ∞}, is compact.

32
Q

Define sequentially compact

A

A topological space X is sequentially compact if every sequence in X has a subsequence converging to a point in X.

33
Q

State Bolzano Weierstrass’ Theorem

A

In a compact topological space X every infinite subset has accumulation points.

34
Q

Define a net

A

Given a real number ε > 0, an ε-net for a metric space X is a subset N ⊆ X such that {B(x, ε) : x ∈ N} is a cover of X.

35
Q

Define a relation

A

Let X be a set. A relation on X is a subset R of XxX.

36
Q

Define an equivalence relation

A

An equivalence relation R on X is a relation that is reflexive, symmetric and transitive.

37
Q

Define an equivalence class

A

Given an equivalence relation R, the equivalence class of an element x ∈ X is the set [x] = {y ∈ X : yRx}.

38
Q

Define a quotient space

A

Given an equivalence relation R, the quotient space of X with respect to R, X/R is the set of equivalence classes of R.

39
Q

Define a partition

A

A partition of a non-empty set X is a collection {Ui : i ∈ I} of subsets of X such that Ui ≠ ∅ for every i ∈ I, Ui ∩ Uj = ∅ for every i ≠ j and the union of all Ui = X.

40
Q

Define a collapsing map

A

Let p: X → X/R be the map that assigns to each point x in X the equivalence class [x]. Then p is the collapsing map for X with respect to R.

41
Q

Define the quotient topology

A

Let (X, T~) be a topological space, and R an equivalence relation on X. Then, the family T’~ of subsets U’ in X/R such that p^(−1)(U’) is the quotient topology for X/R.

42
Q

Define identified points

A

Given two x, y in a topological space X and an equivalence relation R, we say that the points are identified if xRy.

43
Q

Define a torus

A

A square with both pairs of parallel edges identified in the same orientation and the four corners are identified.

44
Q

Define a transitive closure

A

Let X be a set and R be a relation on X that is reflexive and symmetric, but not necessarily transitive. Then, the transitive closure of R is the relation R* given by xR*x’ ⇔ there is a finite sequence of points x1,… , xn in X such that x = x1Rx2R . . . Rxn−1Rxn = x’.

45
Q

Define the Klein bottle

A

A square with one pair of parallel edges identified in the same orientation and one pair identified in the reverse orientation and the four corners are identified.

46
Q

Define a saturated set

A

Let X be a topological space, and let R be an equivalence relation on X. Then a subset A of X is saturated with respect to R if it is a union of equivalence classes.

47
Q

Define the Mobius band

A

A square with one pair of parallel edges identified in the opposite orientation.

48
Q

Define the real n-dimensional projective space

A

The real n-dimensional projective space RP^n is the quotient space of R^(n+1){0} with respect to the equivalence relation R where xRy if and only if there exists λ ≠ 0 such that x = λy.

49
Q

Define an open mapping

A

A function f: X → Y between topological spaces is an open mapping if, for each open set U in X , f(U) is open in Y.

50
Q

Define a quotient map

A

A map p: X → Y between topological spaces is a quotient map if p is a surjective continuous open mapping.

51
Q

Define an n-simplex

A

The standard n-simplex is the set ∆n = {(x1,… , xn+1) ∈ R^(n+1): xi ≥ 0 ∀i and the sum of xi = 1}.

52
Q

Define simplex vertices

A

The vertices of ∆n, denoted V(∆n), are those points (x1, …, xn+1) in ∆n where xi = 1 for some i (and hence xj = 0 for all j ≠ i).

53
Q

Define simplex faces

A

For each non-empty subset A of {1, …, n+1} there is a corresponding face of ∆n, which is {(x1,… , xn+1) ∈ ∆n: xi = 0 ∀i ∉ A}.

54
Q

Define a simplex’s inside

A

The inside of ∆n is inside(∆n) = {(x1, …, xn+1) ∈ ∆n : xi > 0 ∀i}.

55
Q

Define face inclusion

A

A face inclusion of a standard m-simplex ∆m into a standard n-simplex ∆n (where m < n) is a function ∆m → ∆n that is the restriction of an injective linear map R^(m+1) → R^(n+1) which sends the vertices of ∆m to vertices of ∆n.

56
Q

Define an abstract simplicial complex

A

An abstract simplicial complex is a pair (V, Σ), where V is a set and Σ is a set of non-empty finite subsets of V such that:
1. For each v ∈ V, the 1-element set {v} is in Σ.
2. If σ is an element of Σ, so is any non-empty subset of σ.

57
Q

Define a finite abstract simplicial complex

A

A simplicial complex where the set of vertices is finite.

58
Q

Define a topological realisation

A

Given an abstract simplicial complex K = (V, Σ), the topological realisation |K| of is the space obtained by the following procedure: For each σ ∈ Σ, take a copy of the standard n-simplex, where n+1 is the number of elements of σ. Denote this simplex by ∆σ. Label its vertices with the elements of σ. Then, whenever σ ⊂ τ ∈ Σ, identify ∆σ with a subset of ∆τ, via the face inclusion which sends the elements of σ to the corresponding elements of τ.

59
Q

Define a triangulation

A

A triangulation of a space X is a simplicial complex K together with a choice of homeomorphism |K| → X.

60
Q

Define a simplicial circle

A

Let K be a simplicial complex with vertices {v1, …, vn} for some n ≥ 3, and having just 0-simplices and 1-simplices, where the 1-simplices are precisely {vi , vi+1} for each i between 1 and n−1, and {vn, v1}. Then K is a simplicial circle.

61
Q

Define a subcomplex

A

A subcomplex of a simplicial complex K = (V, Σ) is a simplicial complex K’ = (V’, Σ’), where V’ ⊆ V and Σ’ ⊆ Σ.

62
Q

Define the span of a subcomplex

A

For a simplicial complex K = (V, Σ) and a subset V’ of the vertex set V, the subcomplex spanned by V’ has vertex set V’ and consists of all simplices in Σ that have all their vertices in V’.

63
Q

Define the link of a vertex

A

Let K = (V, Σ) be a simplicial complex, and let v ∈ V be a vertex. Then, the link of v is the subcomplex with vertex set {w ∈ V{v}: {v, w} ∈ Σ} and with simplices σ such that v ∉ σ and σ ∪ {v} ∈ Σ.

64
Q

Define the star of a vertex

A

Let K = (V, Σ) be a simplicial complex, and let v ∈ V be a vertex. Then, the star of v is the union of {inside(σ) : σ ∈ Σ and v ∈ σ}.

65
Q

Define an edge path

A

An edge path in a simplicial complex K is a sequence of vertices (v0, …, vn) such that for every i, {vi , vi+1} is a simplex of K.

66
Q

Define an n-manifold

A

An n-manifold is a Hausdorff topological space M such that every point of M lies in an open set that is homeomorphic to an open set in R^n.

67
Q

Define a surface

A

A surface is a 2-manifold.

68
Q

Define polygons with a complete set of side identifications

A

Let P be a finite-sided convex polygon in R^2, with an even number of sides. Arrange these sides into pairs and for each pair, identify the two sides. More specifically, suppose that e and e’ are two sides of a pair. Let e run from (x0, y0) to (x1, y1), and let e’ run from (x’0, y’0) to (x’1, y’1). Then, as t runs from 0 to 1, the point (1−t)(x0, y0) + t(x1, y1) lies on e and (1−t)(x’0 , y’0) + t(x’1, y’1) lies on e’. For each t ∈ [0, 1], we identify these two points (possibly reversing the direction of the identification. This construction is a polygon with a complete set of side identifications.

69
Q

Define a word

A

An ordered string of letters, possibly with ( )^-1 signs, where we start at a vertex v0 and go around the polygon until we reach v0 again, with each letter representing an identification and ()^-1 denoting the backwards identification.

70
Q

Define a g-holed torus

A

Let M0 be represented by the word xx^(−1)yy^(−1). For g ≥ 1, let Mg be the surface obtained from the word x1y1x1^(−1)y1^(-1)1…xgygxg^(-1)yg^(−1).

71
Q

Define a surface with h crosscaps

A

Let N1 be represented by the word xxyy−1. For h ≥ 2, let Nh be the surface obtained from the word x1x1x2x2 . . . xhxh.

72
Q

Define adding a handle

A

Let S be a surface and T be a torus. Pick subsets D1 and D2 of S and T, each of which is homeomorphic to a closed disc. Remove the interiors of D1 and D2 from S and T. Let S’ and T’ be the resulting spaces. What remains of each disc is C1 and C2. Now, pick a homeomorphism φ: C1 → C2 and form the following topological space: start with the disjoint union of S’ and T’ and form the quotient space, where each point x on C1 is identified with φ(x) on C2, but no other points are identified. This topological space is said to be obtained from S by adding a handle.

73
Q

Define adding a crosscap

A

Let S be a surface and T be RP^2. Pick subsets D1 and D2 of S and T, each of which is homeomorphic to a closed disc. Remove the interiors of D1 and D2 from S and T. Let S’ and T’ be the resulting spaces. What remains of each disc is C1 and C2. Now, pick a homeomorphism φ: C1 → C2 and form the following topological space: start with the disjoint union of S’ and T’ and form the quotient space, where each point x on C1 is identified with φ(x) on C2, but no other points are identified. This topological space is said to be obtained from S by adding a crosscap.

74
Q

Define a closed combinatorial surface

A

A closed combinatorial surface is a connected finite simplicial complex K such that for every vertex v of K, the link of v is a simplicial circle.

75
Q

Give the classification theorem

A

Every closed combinatorial surface is homeomorphic to one of the manifolds Mg, for some g ≥ 0, or Nh, for some h ≥ 1.