Loading [MathJax]/jax/output/CommonHTML/jax.js


Product and Quotient Topology

1. Basis of Topology

Definition. Basis of a topology
If X is a set, a basis for a topology on X is a collection B of subsets of X (called basis elements) such that

  • BBB=X
  • B1,B2B.(xB1B2B3B.xB3B1B2)

If the collection B satisfies such conditions, we define the topology T generated by B as follows. A subset U of X is said to be open (i.e. be an element of T) if

xU.BB.xBU

and with open set defined (using the language of basis), T is defined to be the union of all such open sets.

By definition, each basis element itself is open, thus an element of T.

However we only claimed (without proof) the “topology” spanned from the basis is a topology. How do we know if the generated topology is well-defined? The following lemma shows this.

Lemma. What a basis generates is indeed a topology!
Let X be a set, let B be a basis which generates T. Then T is indeed a topology on X.
Pf. Only need to verify if the generated “topology” aligns with the definition of topology on X

  1. X=BBBT. Empty set satisfies the definition of openness (from basis) vacuously, so T
  2. Take an indexed family {Uα}αJ of elements of T. xUα, BB.xBUα, so xBαJ, which means that the union of {Uα}αJ is open.
  3. Take any two elements U,VT. Given xUV, B1B such that xB1U, B2B such that xB2V. By the second requirement of a basis element we know B3B such that xB3B1B2UV. Since the choice of x is arbitrary, we know UV is open.

Note. In the definition of basis, why do we say B3B1B2 instead of B3=B1B2 ? Consider the fact that the standard topology (the metric topology of Euclidean metric) on R2, which is generated by the basis as all open balls on R2. Given two balls B1 and B2, B1B2 will be obviously open, but B1B2 is not a ball (under most cases).

Lemma. Another way of defining “generate”.
If X is a set, B is a basis for a topology T on X, then T equals the collection of arbitrary union of elements in B. i.e.

UTU=αΛBα

where {Bα}αΛ is a subcollection of B.
Pf. We want to show that the “generated topology” defined above is equivalent to this definition.

  • Given a collection of elements of B, they are also elements of T. Because T is a topology, their union is in T.
  • Conversely, given UT, choose for each xU an element Bx of B such that xBxU . Then U=xUBx , so U equals a union of elements of B.

Example.

  1. In Rn, the following are all valid basis
    • B1: the collection of all open balls
    • B2: the collection of all open cubes
  2. In a metric space (x,d), the collection B of all open metric balls is a basis.
  3. X, in a discrete topological space (X,2X), the basis is a collection B of all singletons in X (note that the second condition is vacuously true now)

Lemma. Basis of a topology is not unique
Given a topological space (X,T). Let D be a collection of open sets such that UT.xU

DD.xDU

Then D is also a basis for the same topology T
Pf. First show that D is a basis for a topology, and then show that T is same as the space spanned from D

  • X=xXDx where DxX so we have DDDX
  • D1,D2D, D1D2 is open thus DD.DD1D2
    So D is indeed a basis.

By the above definitions and lemmas, we know how to build a topology if the basis is given. The following lemmas shows how to obtain the basis from a collection of open sets.

Lemma. Obtain basis from a collection of open sets
Let X be a topological space. Suppose B is a collection of open sets of X with respect to a topology T, such that for each open set U of X, there exists BB such that xBU. Then B is the basis for the topology T of X.
Pf. It could be checked from definition that B is indeed a basis for some topology of X. Furthermore we need to check that specific topology T equals T, by showing that TT and TT.

Lemma. (Munkres Lemma 13.3) Criterion for finer topologies.
Let B1 and B2 be basis for the topologies T1, T2 of X, respectively, then T1 is finer than T2 if and only if B1B1, xB1, B2B2, s.t. xB1B2.

If B1 is finer than B2, just image B1 to be a truckload of dust while B2 is a truckload of pebbles.

Example. Basis of R

  1. By default, when we say a topology of R, we mean the standard topology, which is generated by the basis {(a,b)a<b,a,bR}
  2. The lower limit topology Rl is generated by the basis {[a,b)a<b,a,bR}
  3. the standard topology of R can also be generated by {(a,b)a,bQ}, but cannot be generated by {[a,b)a,bQ}

Definition. Subbasis
A subbasis S for a topology on X is a collection of subsets of X whose union equals X. The topology generated by the subbasis is defined to be the collection T of all unions of finite intersections of elements of S, that is

B:={mi=1SiSiS}

is a basis for the topology T

Note. The difference between basis and subbasis
Given a topology T on a set X,

  • A basis of T is always a subbasis of T (by definition)
  • A subbasis of T is not necessarily a basis of T
  • A basis of T can generate T using only union operations.
  • A subbasis of T must generate T using both finite intersections and union operations.
  • Every subbasis element is also open, just like basis elements. (there exists a basis B of X such that SB)

Example. S:={(,a)}{(b,+)} is a subbasis of R.

Lemma. Basis of subspace topology
If B is a basis for the topology of X then the collection BY={BYBB} is a basis for the subspace topology on Y.

Just check the definition.

Theorem. continuity criterion using basis and subbasis
f:XY where (X,TX) and (Y,TY) are two topological spaces.

  1. If Y is given by a basis B, then f is continuous iff: BB.f1(B)TX
  2. If Y is given by a subbasis S, then f is continuous iff: SS.f1(S)TX.
    Pf.
  3. Given any open set UY, U=αΛBα where {Bα} is a collection of basis elements. If f is continuous on X, at least f1(B) should be open for all BB because every basis element is open. Since f1(U)=αΛf1(Bα), when the preimages of all basis elements are open, the preimage of any open set should be open.
  4. Definition of subbasis tells us every finite intersection of subbasis elements is a basis element. This means that there exists a basis B such that SB. Let B=ni=1SiB be a basis element of Y, f1(B)=ni=1f1(Si). If the preimage of any subbasis element is open then f is continuous by definition. if f is continuous, the preimage of any subbasis element should be open because every subbasis element is open.

Since {(a,+)}{(,b)} is a subbasis of R, it’s natural to make the following definition according to continuity criterion from subbasis of the codomain.

Definition. Semicontinuous functions on R
Let U be an open subset of R. A function f:UR is said to be

  1. upper semicontinuous: if tR. f1((,t)) is open
  2. lower semicontinuous: if tR. f1((t,+)) is open
    By the continuity criterion, f is continuous if f is both upper semicontinuous and lower semicontinuous.

2. Product Topology

With basis defined, we can now define the topology created from the product of given topologies. This is a natural idea.

Definition. box topology
{Xα}αΛ is a collection of topological spaces. X:=αΛXα is a space equipped with the topology generated by the basis

B:={αΛUαUαTXα}

which is called the box topology of X. B is indeed A BASIS because of the following lemma.

Lemma. Product of basis elements is a basis for box topology

  • X=αΛXαB so BBB=X
  • Suppose Uα and Vα are open in Xα, then
(αΛUα)(αΛVα)=αΛ(UαVα)B

by definition B is a basis for the topology on X.

Definition. Projection mapping
Now we generalize the subbasis formulation of the definition. Let

πβ:αΛXαXβ

be the function assigning to each element of the product space its β-th coordinate,

πβ((xα)αΛ)=xβ;

it is called the projection mapping associated with the index β.

Lemma. Properties of finite-dimensional projection mapping
Let X=ni=1Xi where πi:XXi is defined as πi(x1,x2,,xn)xi. Then the following are true.

  • πi is surjection
  • If UiXi, then π1i(Ui)=X1×X2××Ui××Xn
  • If UiXi, then ni=1π1i(Ui)=ni=1Ui

Definition. product topology (Tychonoff’s Topology)
Let {Xα}αΛ be a collection of topological spaces. Sβ:={π1β(Uβ)UβTXβ} and let S:=αΛSα, The topology generated by this subbasis S is called a product topology. With this topology X:=αΛXα is called a product space. S is indeed a subbasis of X due two property (2) of the above lemma.

Note. When we say product spaces, we always mean spaces equipped with product topologies by default.

Note. Consider the following questions. Given a map f:XY, how can we

  • find the finest topology TY with fixed TX; or
  • find the coarsest topology TX with fixed TY
    such that f is continuous. It’s quite natural because given an open set OTY, we are not sure if f1(O) is open in X, but if TX is fine enough, then we are likely to make it. The second question is quite similar.

This problem could be answered when X is a product space and Y is one of its dimensions. the product topology is the smallest (coarsest) topology that makes every projection mapping πα continuous.

Lemma. The product topology of X=αΛXα is the coarsest topology that makes each projection mapping πα continuous.
Pf. Suppose πα:XXα is continuous. Take UαXα, we have

π1α(Uα)=(β<αXβ)×Uα×(β>αXβ)

should be open in X. Since any topology of X must contain

  • arbitrary unions of preimages
  • finite intersections of preimages
    By definition we know these are exactly what the product topology contains.

Corollary. The projection mapping is continuous with respect to product topology.

Theorem. (Munkres Thm 19.1) Box topology is finer than the product topology.
Pf. The box topology on X=αXα has a basis all sets of the form Uα where Uα is open in Xα. The product topology on X has a basis all sets of the form Uα where Uα is open in Xα, and Uα=Xα for all but finitely many α’s .
Pf. The claim about box topology is just a restatement of its definition. Let B be the basis for the product topology that the subbasis S generates.

Another thing is clear from the theorem above: In finite-dimensional product spaces, the box topology is same as the product topology.

Theorem. (Munkres Thm 19.6)
Let f:AαJXα. Let X=αJXα have the product topology. f is continuous if and only if for every αJ, fα=παf is continuous on A.
Pf. When f is continuous, fα is the composite of two continuous functions, thus continuous. When each fα is continuous on A, by the continuity criterion, f is continuous if and only if for every subbasis element SS of X, f1(S) is open in A (why subbasis? because in product topology it’s easy for us to find a subbasis!). Consider the subbasis {π1α(Uα)Uα is open in Xα} of X, we know f1π1α(Uα)=f1α(Uα), which is open in A. Since the choice of Uα is arbitrary, f is continuous on A.

Note. This property doesn’t hold for the box topology, because it allows too many sets to be open, but they shouldn’t be open. See the counterexample below.

Example. Let Xα=R, X=Rω, U=n\N(1n,1n), fα=idR, then f1(U)=n\N(1n,1n)={0} . U is open (w/ box topology) in X but f1(U) is not open in R.

Theorem. (Munkres Thm 19.5) subspace property and closure property
Let {Xα}αΛ be a family of topological spaces. X:=αΛXα. For each α, Aα is a subspace of Xα. Then the following properties hold with respect to either the box topology and the product topology

  1. αΛAα is a subspace of αΛXα.
  2. αΛ¯Aα=¯αΛAα.

3. Quotient Topology

Definition. Open map / closed map
Given two topological spaces X and Y, a map f:XY is said to be a

  • open map: if for any open set UX, f(U)Y is open in Y
  • closed map: if for any closed set UX, f(U)Y is closed in Y

Definition. Quotient map
Let X and Y be two topological spaces. A surjective map p:XY is said to be a quotient map if given any subset UY, U is open in Y if and only if p1(U) is open in X.

Note that this definition seems a bit different from what we usually see in algebra. By definition a quotient map is continuous. Sometimes a quotient map is also called a strong continuous function.

Definition. Saturated
Let X and Y be two topological spaces. Given a surjective map p:XY. A subset CX is said to be saturated if C contains every set p1(y) that it intersects. i.e.

yY.(Cf1(y))(f1(y)C)

To say that p is a quotient map, it’s equivalent to say p is continuous and p maps every saturated open sets of X to open sets of Y.

Definition. Quotient topology
If X is a topological space, A is a set. If there is a surjective map p:XA, then there exists exactly one topology T on A relative to which p is a quotient map; T is called the quotient topology of A introduced by p.
Pf. Why does this topology exist? Define the openness in A this way

  • UA is open if p1(U)X is open in X
    The three requirements of topology is then automatically satisfied
  • p1(A)=X,p1()=
  • p1(ni=1Ui)=ni=1p1(Ui)
  • p1(αΛUα)=αΛp1(Uα)
    So such a topology T exists. Why is T unique? If there’s another topology T such that p is a quotient map. UTp1(U) is open in XUT.

Definition. Quotient space / Identification space / decomposition space
Let X be a topological space, and let X is a partition of X into disjoint subsets of X whose union is X. Let p:XX be the surjective map that carries each point of X to the element of X containing it. In the quotient topology introduced by p, the space X is called quotient space of X. Given two topological spaces X and Z, and a continuous surjection p:XZ, we can even more naturally define X:={p1(z)zZ}.

Definition. Another way of defining quotient map
Let X and Y be two topological spaces. A surjective map p:XY is said to be a quotient map if X is a topological space with an equivalence relation defined on it. π:X(X/)=Y is the quotient map.

Theorem.
h:XZ induces a bijection f:XZ such that h=fπ. Moreover, f is a homeomorphism iff h is a quotient map. If X is Hausdorff, so is X

Lemma. continuous maps on a compact metric space are quotient
X is a compact metric space, and Y is a metric space. If f:XY is continuous and surjective, then f is a quotient map.

This should be obvious by definition.

// universal property of quotient topology