Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.
  1. If $f$ is a continuous function from $X$ to $Y$ and $A$ is a subset of $X$ then is it true that $x \in A^d$ implies $f(x) \in (f(A))^d$? Here $A^d$ is the derived set of $A$.

  2. If $f$ is a continuous function from $X$ to $Y$ and $X$ is a compact space,then show that $f$ is bounded and attains its bounds.

  3. $A$ and $B$ are two compact subsets of a Hausdorff space $Y$.

    i. Union of $A$ and $B$ is compact in $Y$:

    $A$ and $B$ are closed and hence the union is closed,so it is compact.

    ii. Intersection of $A$ and $B$ is compact in $Y$:

    $A$ and $B$ are closed and hence the intersection is closed,so it is compact.

    iii. $\operatorname{fr}(A)$ is compact:

    $\operatorname{fr}(A)$ is the intersection of $\operatorname{cl}(A)$ and $\operatorname{cl}(Y-A)$. Intersection of two closed sets, hence compact. Am I correct?

share|improve this question
    
What's the derived set of a set? –  Rudy the Reindeer Dec 26 '12 at 7:45
    
set of limit points of that set. –  ccc Dec 26 '12 at 7:52

2 Answers 2

1.) If $A$ is a subset of $X$ which is mapped to a single closed point in $Y$, then $(f(A))'$ is empty.

Question 2.) only makes sense for a function $f:X\to\mathbb R$. If $X$ is compact, then by continuity of $f$ the image is also compact, hence closed and bounded. So the supremum of $f(X)$ is actually the maximum and there is an $x\in X$ which is mapped to this maximum.

3.) The union of finitely many compact sets is always compact.

In a Hausdorff space compact sets are closed, so the intersection of $A$ and $B$ is a closed subset of the compact set $A$, thus compact.

The boundary is the intersection of cl$(A)$ and cl$(Y-A)$, hence a closed subset of the compact set $A$ and therefore also compact.

share|improve this answer
  1. Try using the contrapositive to prove your result ($not$ $f(x) \in [f(A)]^d$ implies $not$ $x \in A^d$), and use the definition of continuity that says that the preimage of every open set is open. Be sure to correctly negate the definition of a point that's $not$ in the derived set.

  2. Using the same definition of continuity as above, take any open cover of $f(X)$, and then the preimages of each of the open sets in that cover, and use the definitions of continuity and compactness to conclude what you want.

  3. i,ii,iii. Have you proved the Heine Borel theorem? It seems that you are using that closed+bounded implies compact.

share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.