Basicly I need to show that $\mathbb{R}\cap[0,1]\cap\mathbb{Q}$ is not compact. I was looking at some posts on this topic and all, that I found, used the finite subcover definition of compact set. I wonder if it could be done this way:
A compact set is closed and bounded. So showing that the set is not closed would be enough to see that it's not compact. To show that this set is not closed I could choose any irational number in the interval $[0,1]$ and construct a sequence of rationals that converge to it. So it would be a limit point of the set $\mathbb{R}\cap[0,1]\cap\mathbb{Q}$ that is not contained in it.