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.

i would like to get help for these two questions.

1- Given $(X,\tau)$ be a topological space such that $\tau$ is finite. show that $X$ is compact.

2.consider $\mathbb{R}^2$ with the usual topology. show that $S_1=\lbrace\langle x,y\rangle|x^2+y^2=1\rbrace$ is compact subspace of $\mathbb R^2$. all the best

share|improve this question

closed as off-topic by Jonas Meyer, mfl, Ivo Terek, Krish, Olivier Bégassat Mar 26 at 4:20

This question appears to be off-topic. The users who voted to close gave this specific reason:

  • "This question is missing context or other details: Please improve the question by providing additional context, which ideally includes your thoughts on the problem and any attempts you have made to solve it. This information helps others identify where you have difficulties and helps them write answers appropriate to your experience level." – Jonas Meyer, mfl, Ivo Terek, Krish, Olivier Bégassat
If this question can be reworded to fit the rules in the help center, please edit the question.

2 Answers 2

Hint for 1: Let $\lbrace U_i\rbrace_{i\in I}$ be an open covering of $X$. What can you say about this covering? What property of $\tau$ tells you this covering is evidence of compactness?

Hint for 2: Since $\mathbb R^2$ in the usual topology is metrizable, it suffices to show that $S_1$ is sequence-compact. If $\lbrace \langle x_n,y_n\rangle\rbrace_{n\in\mathbb N}$ is a sequence in $S_1$ what can you say about $\lim_n\langle x_n,y_n\rangle$?

share|improve this answer

For 2, if you know that $[0,1]$ is compact, you can write the circle as a continuous image of it, using a standard parametrisation. And images of compact spaces are compact.

Or show it is a closed subset of the compact $[-1,1] \times [-1,1]$, and use (if you know this already) that products of compact spaces are compact.

The last of course is already the idea of the proof of the Heine-Borel theorem, which also applies.

share|improve this answer

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