Sample Solution from
Topology
2nd Edition
ISBN: 9780134689517
Chapter 4.SE
Problem 1SE
Textbook Problem

Consider the following properties a space may satisfy:

(1) connected

(2) path connected

(3) locally connected

(4) locally path connected

(5) compact

(6) limit point compact

(7) locally compact Hausdorff

(8) Hausdorff

(9) regular

(10) completely regular

(11) normal

(12) first-countable

(13) second-countable

(14) Lindelof

(15) has a countable dense subset

(16) locally rnetrizable

(17) metrizable

For each of the following spaces, determine (if you can) which of these properties it satisfies. (Assume the Tychonoff theorem if you need it.)

(a) S Ω

(b) S ¯ Ω

(c) S Ω × S ¯ Ω

(d) The ordered square

(e) l

(f) l 2

(g) ω in the product topology

(h) ω in the uniform topology

(i) ω in the box topology

(j) I in the product topology, where I = [ 0 , 1 ]

(k) K

Expert Solution
To determine

(a)

The properties satisfied by SΩ from the given list.

Answer

Solution:

The properties satisfied by SΩ are given below.

Explanation of Solution

Given:

Consider the following properties a space may satisfy:

(1) connected

(2) path connected

(3) locally connected

(4) locally path connected

(5) compact

(6) limit point compact

(7) locally compact Hausdorff

(8) Hausdorff

(9) regular

(10) completely regular

(11) normal

(12) first-countable

(13) second-countable

(14) Lindelof

(15) has a countable dense subset

(16) locally rnetrizable

(17) metrizable

Approach:

Some basic results of topology for a space X are given below

  1. If X is path connected, then it is connected.
  2. If X is locally path connected, then it locally connected.
  3. If X is compact, then it is limit point compact, locally compact and Lindelof.
  4. If X is compact and Hausdorff, then it is normal.
  5. If X is regular and Lindelof, then it is normal.
  6. If X is normal, then it is completely regular which implies it is regular and thus, Hausdorff.
  7. If X is second-countable, then it is first-countable, Lindelof and separable.
  8. If X is metrizable, then it is locally metrizable and normal.
  9. If X is Lindelof and metrizable, then it is second-countable.
  10. If X is separable and metrizable, then it is second-countable.
  11. If X is locally metrizable, then it is first-countable.
  12. If a linearly arranged set X has immediate successor for every non-greatest element, then it is disconnected in the order topology. In particular, this properly holds for a well-ordered set.
  13. If X is a completely disconnected space with at least two points, then it is disconnected.
  14. A completely disconnected space is locally connected if only if it is discrete.
  15. If X×Y has any other properties except for the limit point compactness, so do and Y.

Calculation:

Consider the space SΩ.

  1. The space SΩ consists of non-least element having no immediate predecessor. So, SΩ is not connected locally and thus, not connected.
  2. From above, SΩ could be limit point compact but not compact.
  3. Consider the set [α0,α] for α0,αSα. Here, α0 is the least element and it is the neighborhood of α which is compact. So SΩ it is locally compact.
  4. SΩ is normal but not Lindelof, since the open cover {[α0,α)|αSΩ} does not have a countable sub cover.
  5. Consider ASΩ is countable. Then, A has upper bound α such that A[α0,α)SΩ. Thus, SΩ is not separable.
  6. SΩ is locally metrizable since has the neighborhood [α0,α] which is not regular and second countable and so, not metrizable.
  7. SΩ is not metrizable as it is limit point compact but not compact.

Conclusion:

Hence, the properties satisfied by SΩ are given above.

Expert Solution
To determine

(b)

The properties satisfied by S¯Ω from the given list.

Answer

Solution:

The properties satisfied by S¯Ω are given below.

Explanation of Solution

Consider the space SΩ.

  1. Since SΩ is not connected or locally connected, S¯Ω is also not connected or path connected and thereby it is not path connected or locally path connected.
  2. is compact and thus, limit point compact, Lindelof and locally compact.
  3. S¯Ω is Hausdorff since every order topology in S¯Ω is Hausdorff. This, it is normal and hence completely regular and regular.
  4. The space is not first-countable, hence not locally metrizable and so, not metrizable. Also, it is not second-countable.
  5. Let A be any countable subset of S¯Ω. Then, ASΩ has an upper bound αSΩ such that A¯[α0,α){Ω}S¯Ω. Thus, S¯Ω is not separable.

Conclusion:

Hence, the properties satisfied by S¯Ω are given above.

Expert Solution
To determine

(c)

The properties satisfied by SΩ×S¯Ω from the given list.

Answer

Solution:

The properties satisfied by SΩ×S¯Ω are given below.

Explanation of Solution

Consider the space SΩ×S¯Ω.

  1. SΩ×S¯Ω is limit point compact.

    Since, π1(A) is countable, it has an upper bound αSΩ. Here A is limited in the compact space [α0,α]×S¯Ω and hence it has a limit point. The neighborhood of any point in SΩ×S¯Ω has the form [α0,α]×S¯Ω and hence, SΩ×S¯Ω is locally compact.

  2. SΩ×S¯Ω is regular since it is the product of completely regular spaces and hence, is resular and Hausdorff.
  3. SΩ×S¯Ω is neither normal nor compact. Also, it is neither second-countable nor Lindelof.
  4. SΩ×S¯Ω does not have any other property, since both SΩ and S¯Ω do not satisfy any other properties, together.

Conclusion:

Hence, the properties satisfied by SΩ×S¯Ω are given above.

Expert Solution
To determine

(d)

The properties satisfied by I02 from the given list.

Answer

Solution:

The properties satisfied by I02 are given below.

Explanation of Solution

Consider the space I02:

  1. I02 is connected but not path connected. The sets x×I, xI are path components of I02 and since these are not open, I02 is not locally path connected.
  2. I02 is Hausdorff and compact since all order topologies on I02 are Hausdorff. Then, it is normal and hence, regular and completely regular.
  3. I02 is first-countable.
  4. If D is any dense subset of I02, then meets x×(0,1) for xI and hence π1 maps D onto I. So I02 is not separable.
  5. Any neighborhood of 0×1 has some set [a,b]×I that is homeomorphic to I02. So, I02 is lindelof but not second-countable.
  6. I02 is neither metrizable nor locally metrizable.

Conclusion:

Hence, the properties satisfied by I02 are given above.

Expert Solution
To determine

(e)

The properties satisfied by l from the given list.

Answer

Solution:

The properties satisfied by l are given below.

Explanation of Solution

Consider the space l.

  1. l is not connected. For x<y, the separation {(,y),[y,)} shows that they are in different components. So, l is neither connected locally nor connected.
  2. The subset does not have a limit point and hence, l is not limit point compact. It is Hausdorff but not locally compact.
  3. l is normal and so, regular and completely regular.
  4. It is first-countable but not second-countable. It is separable and Lindelof but is neither metrizable nor locally metrizable.

Conclusion:

Hence, the properties satisfied by l are given above.

Expert Solution
To determine

(f)

The properties satisfied by l2 from the given list.

Answer

Solution:

The properties satisfied by l2 are given below.

Explanation of Solution

Consider the space l2.

  1. l2 is not normal and not limit point compact since 2 has no limit point.
  2. Since l is not connected or locally connected or locally compact or locally metrizable, same is true for l2.
  3. Since l is regular, first-countable and separable, same is true for l2.

Conclusion:

Hence, the properties satisfied by l2 are given above.

Expert Solution
To determine

(g)

The properties satisfied by ω in the product topology from the given list.

Answer

Solution:

The properties satisfied by ω in the product topology are given below.

Explanation of Solution

Consider the space ω in the product topology.

  1. ω in the product topology is locally path connected and path connected, because it is the product of path connected and locally path connected spaces.
  2. ω is neither limit point compact nor locally compact in the product topology.
  3. ω is metrizable and second countable.

Conclusion:

Hence, the properties satisfied by ω in the product topology are given above.

Expert Solution
To determine

(h)

The properties satisfied by ω in the uniform topology from the given list.

Answer

Solution:

The properties satisfied by ω in the uniform topology are given below.

Explanation of Solution

Consider the space ω in the uniform topology.

  1. ω in the uniform topology is not connected but is path connected and locally path connected.
  2. For r with 0<r<12, consider the set Ar of a=(an)ω with an=±r for all n. For abA, ρ¯(a,b)=2r. If x is a limit point of A, then aA with ρ¯(x,a)<r and ax. So, Bρ¯(x,r)Ar={a} and Bρ¯(x,ρ¯(x,a))Ar= which is a contradiction. So, ω, in the uniform topology, is neither limit point compact nor locally compact.
  3. Let D be any dense set in ω, in the uniform topology. For αA12, select f(a)DBρ¯(α,12). The f is an injective map from A12 to D. So, ω is not separable and by definition, is metrizable.

Conclusion:

Therefore, the properties satisfied by ω in the uniform topology are given above.

Expert Solution
To determine

(i)

The properties satisfied by ω in the box topology from the given list.

Answer

Solution:

The properties satisfied by ω in the box topology are given below.

Explanation of Solution

Consider the space ω in the box topology.

  1. ω in box topology is not connected. Consider the separation {A,B} in which A is a bounded sequence set and B is an unbounded sequence set. For αω such that αn0 for all n, the function hα:ωω given by hα(x)=(αnxn) is a homeomorphism. The neighborhood U of 0 contains a point x such that xn0 for all n.

Consider αn=xn/n. The homeomorphism hα takes 0 to 0 and sequence (n) to x. So, 0 and x lie on opposite sides of the separation {hα(A),hα(B)} and thus, ω is not locally connected.

  1. Consider D={0,1} and take Dω as the set of all the sequences of 0’s and 1’s. For xω, there is a neighborhood Un of xn with UnD(xn) for all n. So, U=Un is the box neighborhood of x with UDω(xn). Hence, Dω does not have any limit points and hence ω is not limit point compact and hence not locally compact.
  2. ω is completely regular but nothing can be said whether it is normal or not.
  3. ω is not first-countable, not Lindelof and not separable.

Conclusion:

Hence, the properties satisfied by ω in the box topology are given above.

Expert Solution
To determine

(j)

The properties satisfied by I, where I=[0,1], in the product topology from the given list.

Answer

Solution:

The properties satisfied by I, where I=[0,1], in the product topology are given below.

Explanation of Solution

Consider the space I, where I=[0,1] in the product topology.

  1. I in the product topology is locally path connected and path connected because it is product of locally path connected and path connected spaces.
  2. I is neither limit point compact, nor locally compact since no set containing a neibhorhood of origin is limit point compact.
  3. The space is completely regular since it is the product of completely regular spaces and so, it is also not normal.
  4. The space is separable but not first-countable.

Conclusion:

The properties satisfied by I, where I=[0,1], in the product topology are given above.

Expert Solution
To determine

(k)

The properties satisfied by K from the given list.

Answer

Solution:

The properties satisfied by K are given below.

Explanation of Solution

Consider the space K.

  1. The open set (0,) which receives its typical topology, where it is not connected. Thus, (0,)¯=(0,) is connected.
  2. The open set K also receives its typical topology having many numbers of consequences. One constituent of K is (,0] which is not open in K and hence, K is not locally connected but as union of subsets (,0] and (0,), it is connected. Also, it is locally metrizable for metrizable union of subsets (0,) and K.
  3. A map from K to is the identity map which is continuous. So, K has a connected subspace in the typical topology. Conversely, f:IK is a path having f(0)0 and f(1)>0. Suppose f(s)<0, for t>s with f(t)=0 because f([s,1]) is connected. Since f1((,0]) is closed and has the biggest element s0<1, f((s0,1])(0,). The neighborhood of 0 is K which has s>s0 with f([s0,s])K, since f([s0,s]) is connected, so [0,f(s)]f([s0,s]) is a contradiction. So, K is not path connected.
  4. Also, K is Hausdorff but not regular and is not limit point compact.
  5. K is second-countable because it has a basis which has all sets (a,b) and (a,b)K, where a and b are rationals.

Conclusion:

Hence, the properties satisfied by K are given above.