Altanis

3.6Limit Point Compactness

Updated 24 Jul 2026Chapter (PDF)

[3.6.1]Definition(Limit Point Compactness)#

A space XX is said to be limit point compact if every infinite subset of XX has a limit point in XX.

[3.6.2]Theorem(Compactness \Longrightarrow Limit Point Compactness)#

A compact space is limit point compact.

Proof.

Suppose XX is compact. We seek to show if AXA \subseteq X is infinite, then it contains a limit point in XX. We prove by contrapositive: that if AA has no limit points, then it is finite. Indeed, take AA to have no limit points. Then AA is trivially closed, since it contains all its limit points. Since AA is a closed subset of a compact space, we have that AA is compact as well. For each aAa \in A, note that Ua={a}U_a = \{a\} forms an open neighborhood of aa in AA, and so {Ua}aA\{U_a\}_{a \in A} is an open cover for AA. Since AA is compact, we have that {Uk}k=1n\{U_k\}_{k = 1}^n forms a finite subcover, meaning AA has finitely many elements.

[3.6.3]Example(Limit Point Compact Set That Isn't Compact)#

Note the converse is not true in general. Consider the set Y={a,b}Y = \{a, b\} with the indiscrete topology. Then consider the set

X=Z+×Y=nZ+{(n,a),(n,b)}.X = \bZ_+ \times Y = \bigcup_{n \in \bZ_+} \{(n, a), (n, b)\}.

Let UXU \subseteq X be nonempty. If UU has any any integer paired with either aa or bb, then the same integer paired with the other element is a limit point. Since all nonempty subsets of XX have a limit point, we have that XX is limit point compact. However, note the open covering {{n}×Y}nZ+\{\{n\} \times Y\}_{n \in \bZ_+} for XX has no finite subcover, and so XX is not compact.

[3.6.4]Definition(Sequential Compactness)#

A topological space XX is said to be sequentially compact if, for every sequence (xn)X(x_n) \subseteq X, there is some subsequence (xnk)(x_{n_k}) that converges in XX.

In the context of metric spaces, we note that compactness, limit point compactness, and sequential compactness all coincide.

[3.6.5]Theorem(Compactness \Longleftrightarrow Limit Point Compactness \Longleftrightarrow Sequential Compactness in Metric Spaces)#

Suppose XX is a metrizable topological space. Then the following are equivalent.

  1. XX is compact.

  2. XX is limit point compact.

  3. XX is sequentially compact.

Proof.

(1)    (2)(1) \implies (2): We have proven this already.

(2)    (3)(2) \implies (3): Suppose XX is limit point compact. Let xnx_n be an arbitrary sequence in XX, and let A={xn}nZ+A = \{x_n\}_{n \in \bZ_+}. If AA is finite, then there is one number that repeats a countably infinite number of times in the sequence, so choose this as a subsequence and note it converges. Otherwise, if AA is infinite, then by hypothesis we have a limit point xx. For each kZ+k \in \bZ_+, let nkn_k both be greater than all njn_j for j<kj < k and be such that xnkB(x,1/k)x_{n_k} \in B(x, 1/k). Then (xnk)x(x_{n_k}) \to x, and so XX is sequentially compact.

(3)    (1)(3) \implies (1): Suppose XX is sequentially compact. We prove that the Lebesgue covering lemma applies to XX, then we prove that finitely many ε\epsilon-balls can cover XX, then we finally prove XX is compact.

Let A\mathcal{A} be an arbitrary open cover of XX. For the sake of contradiction, suppose the Lebesgue covering lemma doesn't apply to XX. Then, for each nZ+n \in \bZ_+, there exists a nonempty set CnC_n whose diameter is less than 1/n1/n and does not lie in a single member of A\mathcal{A}. Choosing xnCnx_n \in C_n for each nn and forming a sequence, we use our hypothesis to get a convergent subsequence (xnk)a(x_{n_k}) \to a. Note that aa belongs to some member AA of the open cover A\mathcal{A}, and since AA is open, there is some ε>0\epsilon > 0 such that B(a,ε)AB(a, \epsilon) \subseteq A. We may choose an index ii large enough such that 1/ni<ε/21/n_i < \epsilon/2, and since diam(Cni)<ε/2\diam(C_{n_i}) < \epsilon/2, we have that CniB(x,ε/2)C_{n_i} \subseteq B(x, \epsilon/2); moreover, we may choose ii large enough such that d(xni,a)<ε/2d(x_{n_i}, a) < \epsilon/2. For any point cCnic \in C_{n_i}, note that

d(c,a)d(c,x)+d(x,a)<ε/2+ε/2=ε,d(c, a) \le d(c, x) + d(x, a) < \epsilon/2 + \epsilon/2 = \epsilon,

and so CniB(a,ε)C_{n_i} \subseteq B(a, \epsilon). Thus CniAC_{n_i} \subseteq A, contrary to assumption.

Suppose, for the sake of contradiction, that XX cannot be covered by finitely many ε\epsilon-balls, for a fixed ε>0\epsilon > 0. Let x1Xx_1 \in X, then note B(x1,ε)XB(x_1, \epsilon) \ne X, otherwise XX could be covered by finitely (namely one) ε\epsilon-ball. Thus choose x2XB(x1,ε)x_2 \in X \setminus B(x_1, \epsilon), and note B(x1,ε)B(x2,ε)XB(x_1, \epsilon) \cup B(x_2, \epsilon) \ne X for the same reason as before. In general, given distinct points x1,x2,,xnx_1, x_2, \dots, x_n of XX, choose xn+1x_{n + 1} such that xn+1k=1nB(xk,ε)x_{n + 1} \notin \bigcup_{k = 1}^n B(x_k, \epsilon). By construction, we have that d(xn+1,xi)εd(x_{n + 1}, x_i) \ge \epsilon for every i{1,,n}i \in \{1, \dots, n\}, so there is no chance of (xn)(x_n) having a convergent subsequence, contrary to the fact that XX is sequentially compact.

Finally, we show XX is compact. Let A\mathcal{A} be an arbitrary open cover ofr XX. Since XX is sequentially compact, it has a Lebesgue number δ\delta. Choose ε=δ/3\epsilon = \delta/3, then note that we may cover XX with finitely many ε\epsilon-balls. Each of these balls has a diameter of 2δ/32\delta/3, so each ball fits in one member of the open cover. There are finitely members of the cover that contain all the balls, which cover XX, and so XX is compact.

[3.6.6]Recap#
  1. A set XX is limit point compact if, for every infinite subset AXA \subseteq X, AA has a limit point in XX.

  2. If XX is compact, then XX is limit point compact.

    Intuition.

    Suppose XX is compact, and let AXA \subseteq X be an arbitrary subset. To prove XX is limit point compact, we need to show that if AA is infinite, then it has a limit point. We proceed by contrapositive, so suppose AA has no limit points. Vacuously, AA contains all its limit points, so AA is closed. Since AA is a closed subset of a compact space, AA is also compact. Note that AA has no limit points, so all its elements are isolated, meaning Ua={a}U_a = \{a\} forms an open cover for AA for each aAa \in A. Since AA is compact, there is a finite subcover {Uk}k=1n\{U_k\}_{k = 1}^n comprised of singletons for AA, so AA is finite (i.e., not infinite).

  3. Limit point compactness does not imply compactness in general. Consider Y={a,b}Y = \{a, b\} with the indiscrete topology and X=Z+×YX = \bZ_+ \times Y. Then XX is limit point compact (each {n,a}\{n, a\} is a limit point of {n,b}\{n, b\} and vice versa), but it is not compact (consider the open cover {{n}×Y}nZ+\{\{n\} \times Y\}_{n \in \bZ_+} for XX, and note it has no finite subcover).

  4. A set XX is sequentially compact if every sequence in XX has a convergent subsequence.

  5. In a metrizable space, compactness, limit point compactness, and sequential compactness are all equivalent.

    Intuition.

    Our proof of compactness implying limit point compactness is done.

    To show limit point compactness implies sequential compactness, we take some sequence (xn)X(x_n) \subseteq X and consider A={xn}nZ+A = \{x_n\}_{n \in \bZ_+}. If AA is finite, then one term in the sequence repeats countably infinite amount of times, so a constant subsequence made from it converges, of course. Otherwise, if AA is finite, it has a limit point aa. For each kZ+k \in \bZ_+, we may define an increasing sequence of indices nkn_k such that xnkB(a,1/k)x_{n_k} \in B(a, 1/k), and so (xnk)a(x_{n_k}) \to a.

    Suppose XX is sequentially compact.

    1. We first show XX admits the Lebesgue covering lemma by contradiction. If it didn't, then—given a cover A\mathcal{A}—we could define a sequence of nonempty sets CnXC_n \subseteq X such that diam(Cn)<1/n\diam(C_n) < 1/n and CnC_n doesn't lie in a single member of the cover. We may define a sequence (xn)(x_n) such that xnCnx_n \in C_n for each nZ+n \in \bZ_+, then note there is a convergent subsequence (xnk)a(x_{n_k}) \to a. Then aa lies in a single member AA of the open cover A\mathcal{A}, and since AA is open, there is some ε>0\epsilon > 0 such that aB(a,ε)Aa \in B(a, \epsilon) \subseteq A. Choose an index ii large enough such that 1/ni<ε/21/n_i < \epsilon/2 (and so diam(Cni)<ε/2\diam(C_{n_i}) < \epsilon/2, meaning CniB(x,ε/2)C_{n_i} \subseteq B(x, \epsilon/2)), and choose ii large enough so that d(xni,a)<ε/2d(x_{n_i}, a) < \epsilon/2. Then, for any cCnic \in C_{n_i}, we have that

      d(c,a)d(c,x)+d(x,a)<ε/2+ε/2=ε,d(c, a) \le d(c, x) + d(x, a) < \epsilon/2 + \epsilon/2 = \epsilon,

      so CniB(a,ε)AC_{n_i} \subseteq B(a, \epsilon) \subseteq A, a contradiction.

    2. Next, we show that XX can be covered by finitely many ε\epsilon-balls by contradiction. Fix ε>0\epsilon > 0, and suppose the result is false. Choose x1Xx_1 \in X, then note B(x1,ε)XB(x_1, \epsilon) \ne X (since finitely many ε\epsilon-balls may not cover XX), so there is some x2XB(x1,ε)x_2 \in X \setminus B(x_1, \epsilon). Proceed inductively: that is, for distinct points x1,,xnXx_1, \dots, x_n \in X, there is some xn+1x_{n + 1} such that xn+1k=1nB(xn,ε)x_{n + 1} \notin \bigcup_{k = 1}^n B(x_n, \epsilon). Then d(xn+1,xi)εd(x_{n+1}, x_i) \ge \epsilon for every i{1,,n}i \in \{1, \dots, n\}, and so (xn)(x_n) has no convergent subsequences, a contradiction.

    3. Finally, we show XX is compact. Let A\mathcal{A} be an open cover for XX, and choose a Lebesgue number δ>0\delta > 0. Let ε=δ/3\epsilon = \delta/3, then note there are finitely many ε\epsilon-balls that cover XX. Each ε\epsilon-ball has diameter 2δ/3<δ2\delta/3 < \delta, and so each belongs to one member of A\mathcal{A}. Since there are finitely many of them, we choose a finite subcover of A\mathcal{A} that encompasses all the finitely many ε\epsilon-balls that cover XX, completing the proof.

3.6.1Exercises#

[3.6.7]Problem#

Show that [0,1]ω[0,1 ]^\omega equipped with the uniform topology is not limit point compact.

Proof.

We seek to find some infinite subset A[0,1]ωA \subseteq [0, 1]^\omega with no limit points. Consider the set of all standard basis vectors of Rω\bR^\omega—that is, the set A={en}nZ+A = \{e_n\}_{n \in \bZ_+}, where en:Z+[0,1]e_n: \bZ_+ \to [0, 1] is defined by en(j)=δn,je_n(j) = \delta_{n, j}. Then, for any ej,eke_j, e_k for jkZ+j \ne k \in \bZ_+, we have that

ρ(ej,ek)=supnZ+xnyn=1.\bar{\rho}(e_j, e_k) = \sup_{n \in \bZ_+} |x_n - y_n| = 1.

For the sake of contradiction, suppose x[0,1]ωx \in [0, 1]^\omega is a limit point. Then B(x,1/3)[A{x}]B(x, 1/3) \cap [A \setminus \{x\}] \ne \emptyset. In fact, B(x,1/3)B(x, 1/3) intersects AA infinitely many times outside of xx. If B(x,1/3)[A{x}]={e1,,en}B(x, 1/3) \cap [A \setminus \{x\}] = \{e_1, \dots, e_n\}, then we could take r=min{d(x,ek)}k=1nr = \min\{d(x, e_k)\}_{k = 1}^n and choose r<rr' < r so that B(x,r)[A{x}]=B(x, r') \cap [A \setminus \{x\}] = \emptyset (and so xx not a limit point), a contradiction. Thus let e1,e2B(x,1/3)[A{x}]e_1, e_2 \in B(x, 1/3) \cap [A \setminus \{x\}]. Then note

ρ(e1,x)ρ(e1,e2)ρ(x,e2)=1ρ(x,e2)1/32/3,\bar{\rho}(e_1, x) \ge \bar{\rho}(e_1, e_2) - \bar{\rho}(x, e_2) = 1 - \underbrace{\bar{\rho}(x, e_2)}_{\le 1/3} \ge 2/3,

which means e1B(x,1/3)e_1 \notin B(x, 1/3), a contradiction.

[3.6.8]Problem#

Suppose XX is limit point compact.

  1. Suppose f:XYf: X \to Y is continuous. Is f(X)f(X) limit point compact?

  2. If AXA \subseteq X is closed, is AA limit point compact?

  3. If XX is a subspace of a Hausdorff space ZZ, is XX closed?

Solution.
  1. No. Let X=Z+×YX = \bZ_+ \times Y, where Y={a,b}Y = \{a, b\} with the indiscrete topology. Then define f:XZ+f: X \to \bZ_+ (where Z+\bZ_+ takes its subspace topology from R\bR) by (n,)n(n, *) \mapsto n. Note that any singleton subset {n}Z+\{n\} \subseteq \bZ_+ is a basic, open set, so showing f1({n})f^{-1}(\{n\}) is open guarantees continuity. Indeed, the inverse image is {n}×Y\{n\} \times Y, which is an open subset of XX. Of course, Z+\bZ_+ is not limit point compact in its metric topology, completing the disproof.

  2. Yes. Suppose UAU \subseteq A is infinite. Since UXU \subseteq X, we have that UU has a limit point xXx \in X. Since AA contains all its limit points, it follows that xAx \in A, and so AA is limit point compact.

  3. No. For our counterexample, we want AA to have a limit point in ZXZ \setminus X, meaning XX is not closed (it does not contain all of its limit points). Consider X=SΩX = S_{\Omega}, which is limit point compact, and Z=SΩZ = \bar{S}_{\Omega}, which is Hausdorff (all order topologies are Hausdorff). Note the subset XXX \subseteq X has a limit point Ω\Omega, but ΩX\Omega \notin X, and so XX is not closed.

[3.6.9]Problem#

A space XX is said to be countably compact if, for any countable family of open sets that cover XX, a finite subcover exists. Show that if XX is T1T_1, then XX is countably compact if and only if it is limit point compact.

Proof.

()(\Longrightarrow): Suppose XX is T1T_1 and countably compact: we proceed by contrapositive. Suppose AXA \subseteq X has no limit points: we show that AA is finite. Indeed, note that AA contains all of its limit points, and so it is closed and contains only isolated points. Thus singleton subsets {}A\{*\} \subseteq A are open in AA. For the sake of contradiction, suppose AA is infinite. Then we may choose a countably infinite set of distinct points [A={xn}nZ+]A[A' = \{x_n\}_{n \in \bZ_+}] \subseteq A. Consider the countably infinite cover of XX formed by taking each singleton subset of AA' and adjoining it to XAX \setminus A'. By countable compactness of XX, we take a finite subcover; discarding the XAX \setminus A' element, we get a covering of AA by finitely many singletons, a contradiction. Thus AA is finite, meaning XX is limit point compact.

()(\Longleftarrow): Suppose XX is T1T_1 and limit point compact: we show XX is countably compact by contradiction. Suppose XX is not countably compact, and take a countable open cover U={Un}nZ+\mathcal{U} = \{U_n\}_{n \in \bZ_+} of XX. Note that there is no finite subcover, so for each nZ+n \in \bZ_+, choose xnU1Unx_n \notin U_1 \cup \cdots \cup U_n. Since X=UnX = \bigcup U_n, the set A={xn}nZ+A = \{x_n\}_{n \in \bZ_+} is infinite. By limit point compactness, AA has a limit point xx. Since U\mathcal{U} covers XX, xUkx \in U_k for some kZ+k \in \bZ_+. Since XX is T1T_1, the neighborhood UkU_k of the limit point xx must contain infinitely many points of AA. However, by construction, xnUkx_n \notin U_k for all nkn \ge k, implying UkA{x1,,xk1}U_k \cap A \subseteq \{x_1, \dots, x_{k-1}\}. This finite intersection contradicts xx being a limit point. Thus, XX is countably compact.

[3.6.10]Problem#

Suppose (X,d)(X, d) is a metric space. If f:XXf: X \to X is such that

d(f(x),f(y))=d(x,y),d(f(x), f(y)) = d(x, y),

we say ff is an isometry.

  1. Show that ff is an embedding.

  2. If XX is compact, show that ff is a homeomorphism.

Solution.
  1. Suppose f(x)=f(y)f(x) = f(y) for some x,yXx, y \in X. Then note 0=d(f(x),f(y))=d(x,y)0 = d(f(x), f(y)) = d(x, y), meaning x=yx = y and so ff is injective. Next, choose ε>0\epsilon > 0, and consider the ball O=B(x,ε)XO = B(x, \epsilon) \subseteq X, a basic open set. For any yOy \in O, note that d(f(x),f(y))=d(x,y)d(f(x), f(y)) = d(x, y), so f(y)B(f(x),ε)f(y) \in B(f(x), \epsilon). Indeed, f(O)=B(f(x),ε)f(X)f(O) = B(f(x), \epsilon) \cap f(X), meaning f1f(X)f^{-1}|_{f(X)} is continuous. Showing f:Xf(X)f: X \to f(X) is continuous follows almost exactly the same idea. Thus ff is a homeomorphism onto its image, i.e. is an embedding.

  2. By continuity of ff, we have that f(X)f(X) is compact. Note that f(X)Xf(X) \subseteq X is a compact subspace of a Hausdorff space, and so f(X)f(X) is closed. For the sake of contradiction, suppose aXf(X)a \in X \setminus f(X). Since aa belongs to an open set, there is some ε>0\epsilon > 0 such that B(a,ε)f(X)=B(a, \epsilon) \cap f(X) = \emptyset. Note then that d(a,f(a))εd(a, f(a)) \ge \epsilon. Moreover, d(f(a),f(f(a)))=d(a,f(a))εd(f(a), f(f(a))) = d(a, f(a)) \ge \epsilon, where the equality is by hypothesis. Indeed, for x1=ax_1 = a and xn+1=f(xn)x_{n + 1} = f(x_n), we have that d(xm,xn)εd(x_m, x_n) \ge \epsilon for every mnm \ne n. Note the sequence {xn}nZ+{1}f(X)\{x_n\}_{n \in \bZ_+ \setminus \{1\}} \subseteq f(X) has no convergent subsequence, and so f(X)f(X) is not sequentially compact, a contradiction (since compactness and sequential compactness are equivalent in metrizable spaces). Thus Xf(X)=X \setminus f(X) = \emptyset, and so f(X)=Xf(X) = X, meaning ff is a surjective embedding and thus a homeomorphism.

[3.6.11]Problem#

Let (X,d)(X, d) be a metric space. If f:XXf: X \to X satisfies the condition

d(f(x),f(y))<d(x,y)xyX,d(f(x), f(y)) < d(x, y) \quad \forall x \ne y \in X,

then ff is a shrinking map. If there is a number C<1C < 1 such that

d(f(x),f(y))Cd(x,y)xyX,d(f(x), f(y)) \le Cd(x, y) \quad \forall x \ne y \in X,

then ff is a contraction. A fixed point of ff is a point xx^* such that f(x)=xf(x^*) = x^*.

  1. If f:XXf: X \to X is a contraction with XX compact, show ff has a unique fixed point.

  2. If f:XXf: X \to X is a shrinking map with XX compact, show ff has a unique fixed point.

Solution.
  1. Let An=fn(X)A_n = f^n(X), where fnf^n denotes applying the function nn times. Note that f:XXf: X \to X, and so f(X)Xf(X) \subseteq X since f(X)f(X) is a subset of the codomain. We will show f(f(X))f(X)f(f(X)) \subseteq f(X), and then by induction, it will follow that An+1AnA_{n + 1} \subseteq A_n for any nZ+n \in \bZ_+. If yf(f(X))y \in f(f(X)), there is some xf1({y})f(X)Xx \in f^{-1}(\{y\}) \in f(X) \subseteq X, and so y=f(x)f(X)y = f(x) \in f(X) as desired.

    Note that contractions are Lipschitz and thus continuous. Since XX is compact, each AnA_n is compact, and as a subspace of a metric (thus Hausdorff) space, each AnA_n is closed. Since AnA_n forms a sequence of nested closed sets, by compactness of XX we have that there is some xnZ+Anx^* \in \bigcap_{n \in \bZ_+} A_n. We show xx^* is our desired fixed point.

    Let A=nZ+AnA = \bigcap_{n \in \bZ_+} A_n, and note xAx^* \in A. Note that all potential fixed points must live in AA, so to show xx^* is unique, we show AA has only one point. Since An+1AnA_{n + 1} \subseteq A_n, we have that diam(An+1)diam(An)\diam(A_{n + 1}) \le \diam(A_n). Since XX is a compact metric space, we have that XX is bounded, meaning diam(X)=M\diam(X) = M for some MRM \in \bR. Then diam(An)=diam(fn(X))CnM\diam(A_n) = \diam(f^n(X)) \le C^n M, and as nn \to \infty, we have diam(An)0\diam(A_n) \to 0, implying diam(A)=0\diam(A) = 0. Thus A={x}A = \{x^*\}.

    Finally, to show xx^* is a fixed point, we show f(A)Af(A) \subseteq A. If yf(A)y \in f(A), then y=f(x)y = f(x^*). Since xAnx^* \in A_n for each nZ+n \in \bZ_+, we have that f(x)f(An)=An+1Anf(x^*) \in f(A_n) = A_{n + 1} \subseteq A_n for each nZ+n \in \bZ_+. Thus yAy \in A, meaning f({x}){x}f(\{x^*\}) \subseteq \{x^*\}. This forces f(x)=xf(x^*) = x^*, meaning xx^* is a fixed point of ff, and by the previous argument, this fixed point is unique.

  2. Let An=fn(X)A_n = f^n(X) and A=nZ+AnA = \bigcap_{n \in \bZ_+} A_n. As in the previous part, ff is continuous (since it is a shrinking map, it is 1-Lipschitz), each AnA_n is closed and nested, and AA is a nonempty compact set with f(A)Af(A) \subseteq A. We show Af(A)A \subseteq f(A).

    Let xAx \in A. For each nZ+n \in \bZ_+, since xAn+1=fn+1(X)x \in A_{n+1} = f^{n+1}(X), there exists xnXx_n \in X such that x=fn+1(xn)x = f^{n+1}(x_n). Define yn=fn(xn)y_n = f^n(x_n), noting ynAny_n \in A_n and f(yn)=xf(y_n) = x for all nn. Since XX is sequentially compact, (yn)(y_n) has a convergent subsequence (ynk)aX(y_{n_k}) \to a \in X. For any fixed mZ+m \in \bZ_+, the tail of the subsequence lies entirely in the closed set AmA_m, so aAma \in A_m. Thus aAa \in A. By continuity of ff, f(a)=limkf(ynk)=limkx=xf(a) = \lim_{k \to \infty} f(y_{n_k}) = \lim_{k \to \infty} x = x. Thus xf(A)x \in f(A), so A=f(A)A = f(A).

    We now show diam(A)=0\diam(A) = 0. Since AA is compact, if diam(A)>0\diam(A) > 0, the continuous function dd attains a maximum on A×AA \times A, so there exist p,qAp, q \in A such that d(p,q)=diam(A)d(p, q) = \diam(A). Since A=f(A)A = f(A), we can choose u,vAu, v \in A such that f(u)=pf(u) = p and f(v)=qf(v) = q. Since pqp \ne q, we must have uvu \ne v. Because ff is a shrinking map,

    diam(A)=d(p,q)=d(f(u),f(v))<d(u,v)diam(A),\diam(A) = d(p, q) = d(f(u), f(v)) < d(u, v) \le \diam(A),

    which is a contradiction. Thus diam(A)=0\diam(A) = 0, meaning A={x}A = \{x^*\}.

    Since f(A)=Af(A) = A, we have f(x)=xf(x^*) = x^*. If yy is another fixed point, d(x,y)=d(f(x),f(y))<d(x,y)d(x^*, y) = d(f(x^*), f(y)) < d(x^*, y), a contradiction. Thus xx^* is unique.