Rational Solver
+1 vote

in Real Analysis by Professor | 503 views

1 Answer

+1 vote
Best answer

The set in Option 1 is countable. It follows from the fact that the logarithm is monotonically increasing and one-to-one function.  Thus the preimage of a countable set ($\mathbb Q$) can at most countable. 

Certainly, option 2 is correct. Note that $\cos^2x+\sin^2 x=1$ is true for all $x\in\mathbb R$. Thus the set is uncountable, as $\mathbb R$ is uncountable. 

The set in option 3 is countable as an image of a countable set under a function that can at most countable. 

The set in option 4 is also countable it is a trickier one to answer. First note that $\cos :[k\pi,(k+1)\pi]\to [-1,1]$ is a bijection for each $k\in\mathbb Z$. Thus we can have at most countable number of $x\in [k\pi,(k+1)\pi]$ that can map  to a countable set $\mathbb Q\cap [-1,1]$.  Thus the following set is countable $$S_k=\left\{x\in [k\pi ,(k+1)\pi ]\mid \cos (x)=\frac pq \quad \text{ for some } p,q\in\mathbb N \right\}$$

It follows that the given set can be written as a countable union of countable set $\bigcup_{k\in\mathbb Z}S_k$. 

by Expert
selected by
Welcome to Rational Solver, where you can ask questions and receive answers from other members of the community.
76 questions
33 answers
1,801 users