Bourbaki

Exercise 18, § 6

General Topology, IX, p. 123

Let XX be a metrizable space, ff a right continuous capacity on XX such that f(A∪B)≤f(A)+f(B)f(A \cup B) \leq f(A) + f(B).

a) With the notations of exerc. 16, of IX, p. 122, now prove that one has

f∗(A∪B)≤f∗(A)+f∗(B) f^*(A \cup B) \leq f^*(A) + f^*(B)

and

f∗(A∪B)≤f∗(A)+f∗(B) f_*(A \cup B) \leq f_*(A) + f_*(B)

for any two subsets A,BA, B of XX. (If KK is a compact set such that K⊂A∪BK \subset A \cup B, UU an open set such that B⊂UB \subset U, write K=(K∩U)∪(K∩∁U)K = (K \cap U) \cup (K \cap \complement U).)

b) Let KK be a compact subset of XX having the power of the continuum, (A,B)(A, B) a partition of KK into two sets such that every compact subset of AA or of BB is countable (cf. IX, p. 114, exerc. 17 d)). Now prove that if f({x})=0f(\{x\}) = 0 for every subset reduced to a point and if f(K)>0f(K) > 0, neither AA nor BB are capacitable for ff.

Solution

No solution has been written yet.

Machine translation of the English, by gpt-5-6-mini. Not checked by a person. That model is a cut down version of the one the rest of this language was written by.