0
$\begingroup$

I want to obtain the contrapositive statement to:

$ x\in \bigcap_{n=1}^{\infty} \left] -\frac1{n}, 1+\frac1{n}\right[ \Rightarrow x\in \left[ 0,1 \right]$

My guess is:

$x<0 \text{ or } x>1 \Rightarrow x \leq -\frac1{n} \text{ or } x \geq 1+\frac1{n} \text{ for } n\in \mathbb{N}$

But I'm not 100% sure. Is this correct?

  • 0
    It is correct. Even more simply, you could say $x\notin[0,1]\Rightarrow x\notin\cap_{n=1}^\infty]-\frac1n,1+\frac1n[$, but there are times when your more detailed version would be more useful.2011-10-03

1 Answers 1

3

Let us overview this: $(p\rightarrow q)$ is equivalent to $(\lnot q\rightarrow\lnot p)$.

Here $p$ is $x\in\bigcap (-\frac{1}{n},1+\frac{1}{n})$ and $q$ is $x\in [0,1]$.

We want, if so:

  • $\lnot q$, which is $\lnot (x\in [0,1])$, simply put: $x\notin [0,1]$ which as you say is $x<0$ or $x>1$
  • And $\lnot p$ is to say $x\notin\bigcap (-\frac{1}{n},1+\frac{1}{n})$, which is to say that for some $n\in\mathbb N$ either $x\le -\frac{1}{n}$ or $x\ge 1+\frac{1}{n}$.

So the contrapositive is indeed $x<0\lor x>1\Rightarrow \exists n\in\mathbb N:x\le-\frac{1}{n}\lor x\ge 1+\frac{1}{n}$