## Munkres, Section 30 The Countability Axioms

*First countability axiom*: for every point there is*a countable basis at*. is called*first-countable*.- Continuous functions and converging sequences in first-countable spaces (compare to §21):
- Converging sequences of points and the closure (
*The Sequence Lemma*): let be a topological space, then- in any topological space: if there is a sequence of points of converging to then .
- if is first-countable: if then there is a sequence of points of converging to .

- Continuity and convergent sequences of points: let , then
- in any topological space: if is continuous at then for every : .
- if is first-countable (and is an arbitrary space): if for every : then is continuous at .

- Converging sequences of points and the closure (
*Lindelöf space*: every open covering has a countable subcovering.*Separable space*: there is a countable dense.*A dense*is a subset of a space such that its closure is the whole space (every point not in it is its limit point).*Second countability axiom*: has a countable basis for its topology. is said to be*second-countable*.- A second countable space is both Lindelöf and separable.
- If a metric space is Lindelöf or separable then it is second countable.

- Subspaces and countability axioms:
- A subspace of a first-countable (second-countable) space is first-countable (second-countable).
- A subspace of a separable (Lindelöf) space need NOT be a separable (Lindelöf) space.
- An open subspace of a separable space is separable.
- A closed subspace of a Lindelöf space is Lindelöf.

- If a subspace of a second-countable space is discrete then it is countable.
- If a subset of a second-countable space is uncountable then only countably many points in the subset are not its limit points.

- Products and countability axioms:
- A countable product of separable (first-countable, second-countable) spaces (in the product topology) is separable (first-countable, second-countable).
- A product of two Lindelöf spaces does NOT have to be Lindelöf.
- Lindelöfcompact is Lindelöf.

- A continuum product of separable spaces is separable.
- If the product of any number of spaces possesses one of these 4 properties, so does each space in the product.

- Continuous functions and countability axioms:
- The continuous image of a first-countable space need NOT be first-countable.
- The continuous (even the quotient) image of a second-countable space need NOT be second-countable.
- The continuous open image of a first-countable (second-countable) space is first-countable (second-countable).

- The continuous image of a separable (Lindelöf) space is separable (Lindelöf).

- Topological groups and countability axioms:
- If a topological group is first-countable and (separable or Lindelöf) then it is second-countable.

separable | not separable | ||||||

Lindelöf | not Lindelöf | Lindelöf | not Lindelöf | ||||

compact | not compact | not compact | compact | not compact | not compact | ||

first- countable | second- countable | ||||||

not second- countable | double arrow: | ||||||

not first- countable | not second- countable | (eventually 0) |

## Munkres, Section 31 The Separation Axioms

*Regular space*: a -space such that a closed subset and a point not in it can be separated by two open sets.- A space is regular iff it is and any neighborhood of a point contains the closure of a neighborhood of the point.

*Normal space*: a -space such that any two closed disjoint subsets can be separated by two open neighborhoods.- A space is normal iff it is and any neighborhood of a closed set contains the closure of a neighborhood of the set.

- Refining of topology and separation axioms:
- Neither regularity nor normality of the space is refining-preserved property.

- Subspaces and separation axioms:
- A subspace of a regular space is regular.
- A subspace of a normal space need NOT be normal.
- A closed subspace of a normal space is normal.

- Products and separation axioms:
- The product of regular spaces is regular.
- The product of even two normal spaces need NOT be normal.
- If the product of any number of spaces is Hausdorff (regular, normal), so is each space in the product.

- Continuous functions and separation axioms:
- A closed continuous image of a normal space is normal.
- The image of a *-space under a perfect map (see §26) is a *-space, where * stands for either one:
- Hausdorff
- regular
- locally compact
- second-countable

- Topological groups and separation axioms: let be a topological group, be a space, then
*An action*of on is a map such that 0) it is continuous, i) (do nothing), ii) .*The orbit space of the action*is the quotient space denoted by given by , .- If is compact then the quotient map is a perfect map.
- If is compact and is Hausdorff (regular, normal, locally compact, second-countable), so is .

## Munkres, Section 32 Normal Spaces

- Hausdorff + Compact Normal
- Hausdorff + Locally Compact Regular (Completely Regular: exercise 7 of §33).
- Compact implies a closed subset is compact; in a Hausdorff space two compacts can be separated.

- Regular + Lindelöf Normal
- Cover each of two closed sets with a countable collection of open sets (Lindelöf) such that their closures do not intersect the other set (regular); subtract from nth open set the union of closures of all open sets from 1 to n covering the other set.

- Metric Normal
- Cover each point in two disjoint closed sets with a ball such that if your double its radius it still does not intersect the other set. That’s the beauty of a metric!

- Ordered Normal (in the order topology)
- The product of two ordered (even well-ordered) spaces need NOT be normal: is not normal.
- Well-ordered: (a,b]=(a,b+1) are open and form a basis, cover each closed set with such intervals that do not intersect the other set.
- General case (ordered): covered, for example, in Steen, Seebach, Counterexample 39, 1-6.

*A completely normal space*is a space such that every its subspace is normal.- A pair of subsets is
*separated*(wtf? what is not called separated or separation?) if they are disjoint and neither one contains a limit point of the other. - A space is completely normal iff every pair of separated subsets can be separated by neighborhoods.

- A pair of subsets is
- Subspaces and complete normality:
- A subspace of a completely normal space is completely normal.

- Products and complete normality:
- The product of even two completely normal spaces needs NOT to be normal.

- Completely normal spaces:
- a regular second-countable space
- a metric space
- an ordered space

## Munkres, Section 33 The Urysohn Lemma

- Two subsets are said to be
*separated by a continuous function*if there is a continuous function such that and . *Urysohn Lemma*: if is normal and are closed and disjoint, then they can be separated by a continuous function.- Consider and : the first is open and contained in the second which is closed, moreover, for every : . We use the normality of the space to construct a sequence of such open sets and define .

Why cannot the proof of the Urysohn lemma be generalized to show that in a regular space… you can also separate points from closed sets by continuous functions? At first glance, it seems that the proof of the Urysohn lemma should go through… Requiring that one be able to separate a point from a closed set by a continuous function is, in fact, a stronger condition…

*Completely regular space*: each one point set is closed and can be separated from a disjoint closed set by a continuous function.

In the early years of topology, the separation axioms… were labelled , (Hausdorff), (regular), (normal), and (completely normal)… The letter “T” stands for the German “Trennungsaxiom,” which means “separation axiom.” Later, when the notion of complete regularity was introduced, someone suggested facetiously that it should be called the “ axiom”… The terminology is in fact sometimes used in the literature!

- Subspaces and complete regularity:
- A subspace of a completely regular space is completely regular.
- If are disjoint closed sets and one of them is compact, they can be separated by a continuous function.

- Products and complete regularity:
- The product of any family of completely regular spaces is completely regular.

- A connected regular space with at least two points is uncountable.
- But there is a countably infinite connected Hausdorff space.

*Perfectly normal space*: a normal space such that every closed set is a*-set*: the intersection of a countably many open sets.- is said to
*vanish precisely on*if . *The Strong Urysohn Lemma*: every two disjoint closed subsets and of a normal space can be separated by a continuous function such that vanishes precisely on and vanishes precisely on .- is perfectly normal if and only if it is and for every closed set there is a continuous function that vanishes precisely on the set.
- Perfectly normal implies completely normal.

- is said to
- Completely regular and perfectly normal spaces:
- A topological group is completely regular.
- A metric space is perfectly normal.

## Munkres, Section 34 The Urysohn Metrization Theorem

*A family of continuous functions separates points from closed sets*if for every closed set and a point not in it there is a function in the family such that it is constant on the closed set and takes a different value at the point.*The Imbedding Theorem*: If is and separates points and closed sets in then is an embedding of in . If all functions map to then the embedding is in .- A space is completely regular if and only if it is homeomorphic to a subspace of for some .
- The Imbedding Theorem. A subspace of the product of completely regular spaces is completely regular.

*The Urysohn Metrization Theorem*: Regular + Second-countable Metrizable.- regular + second-countable implies normal + second-countable implies for a countable collection of pairs of basis neighborhoods such that we can find a continuous function equal 1 inside and 0 outside : this is a countable family of continuous functions that separates points from closed sets.

- A regular second-countable space is homeomorphic to a subspace of the infinite-dimensional euclidean space .

- Some facts about metrization that follow:
- A second-countable space is metrizable iff it is regular.
- A compact Hausdorff space is metrizable iff it is second-countable.
- A compact Hausdorff space that is the union of two closed metrizable subspaces is metrizable.

- The one-point compactification of a locally compact Hausdorff space is metrizable iff is second-countable.
- So, if a locally compact Hausdorff space is second-countable then it is metrizable, but not vice versa: discrete uncountable.

*A locally metrizable space*is a space such that every point has a metrizable neighborhood (in the subspace topology).- A compact Hausdorff space is metrizable iff it is locally metrizable.
- A Lindelöf regular space is metrizable iff it is locally metrizable.
- is Lindelöf Hausdorff and locally metrizable, yet not metrizable.

Hausdorff | regular | completely regular | normal | completely normal | perfectly normal |

p.214 | , , topological_group locally_compact_Hausdorff | (?: if the continuum hypothesis is assumed) Lindelöf_regular compact_Hausdorff | ordered_space | metric_space second_countable_regular |

## Munkres, Section 35* The Tietze Extension Theorem

*Tietze Extension Theorem*: is normal, is closed in , where or is continuous, then can be extended to a continuous function .- The idea: if the range of a function is [-r,r] using the Urysohn lemma construct a continuous function such that its range is [-r/3,r/3] and it is never more than 2r/3 from the original function, then take the difference and do it again.

*A retract*is a subspace of a topological space such that there exists a surjective retraction onto it (see the Supplementary exercises of Chapter 2).- A retraction is a quotient map.
- A retract of a Hausdorff space is a closed subspace.

- A normal space is a
*n absolute retract*if whenever a closed subspace of a normal space is homeomorphic to it, the subspace is a retract. - A space has
*the universal extension property*if every function that maps continuously a closed subset of a normal space into can be extended onto the whole space.- If is normal then it has the universal extension property iff it is an absolute retract.
- A space homeomorphic to a retract of has the universal extension property.

*The adjunction space*for spaces , and a continuous function where , is the quotient space of the space obtained by identifying a point with all points in . Let be the quotient map.- If is closed, is Hausdorff.
- is homeomorphic to , and if is closed then is a closed imbedding.
- is homeomorphic to , and if is closed then is an open imbedding.
- If is closed, and are normal, then the adjunction space is normal.

*The coherent topology*: given a sequence of spaces such that is closed in we define the topology on their union coherent with the subspaces : is open in iff is open in for every .- is a closed subspace of .
- If is continuous for every then is continuous.
- If every is normal then is normal.

## Munkres, Section 36* Imbeddings of Manifolds

*An m-manifold*is a Hausdorff second-countable space such that every point has a neighborhood homeomorphic to an open subset of .- being Hausdorff is not a local property, and without requiring it an m-manifold does need to be Hausdorff; however, being a -space is a local property, and, in fact, if we did not require a manifold to be a Hausdorff, it would be at least
- second-countability requirement is needed for the theorem that states that it can be imbedded into an euclidean space (obviously, both the Hausdorff property and second-countability are necessary, but they turn out to be sufficient): see below
- if the space is compact and satisfies all the properties in the definition of an -manifold except for second-countability then it must be second-countable and, hence, -manifold: see below
- a manifold is regular (given that it is Hausdorff), therefore, metrizable (being regular and second-countable)

*The support of*is the closure of .*A point-finite collection of subsets*is a collection of subsets such that every point is contained in a finite number of sets in the collection.- Compare to a stronger notion of a locally finite collection of subsets (Section 17).

*A partition of unity*: a set of functions such that for every only a finite number of and the sum of all equals .- A partition of unity is said to be
*dominated by an open covering*indexed over the same index set if for every , the support of is contained in . - If is normal then for every finite collection of open sets covering there is a partition of unity dominated by the open covering.
- In fact, the result holds true for every countable point-finite collection of open sets covering the normal space.

- A partition of unity is said to be
- If space is a -manifold then it can be imbedded in a -dimensional euclidean space where .
- This chapter proves the result for compact spaces only.
- We can cover the space by a finite collection of n open sets such that each is homeomorphic to the m-dimensional euclidean space, then find a partition of unity dominated by the collection; then we map each point to a point in the (n+nm)-dimensional euclidean space by taking the values at the point of the functions in the partition of unity and also by taking their products with the homeomorphisms (or zero if the homeomorphism is not defined for the point — this is why we need to take the product, so that the resulting function is continuous); this mapping is continuous and injective (the partition of unity part of the resulting vector ensures that points not in the same open set have different coordinates, while the other part results in different coordinates for points in the support of the same function in the partition of unity).

- Compact Hausdorff spaces and manifolds: let be compact and Hausdorff, then
- If each point has a neighborhood that can be imbedded into for some then can be imbedded into some finite-dimensional euclidean space as well.
- If for some each point has a neighborhood homeomorphic to an open subset of then is an -manifold.

I hear ya!If you have something to say, whether related to the site or a specific post, please feel free to leave a comment.

Have a suggestion? Found an error? Lack of clarity? Need help? Want to say something else? Say it!

Your feedback is appreciated.