1
$\begingroup$

An equivalence relation T on $\mathbb{N}$ is defined for all $x,y\in\mathbb{N}$ by

$xRy \to x=2^ny\;\;\;\text{or}\;\;\; y=2^nx \;\;\; \text{for some non-nagtive integer}\;\;\; n$

Write down the equivalence class [1] using any set notation.

MMy attempt

Since $1R\frac{1}{2^n}$, but $y$ must be a natural number so we can rule this out.

Since $1R2^n$, by $y=2^nx$, the answer must be

$[1]=\{2^n, \;\;\;\text{for some non-negative integer}\;\;\; n\}$

However, my answer shows $[1]=\{2^n|n\in\mathbb{Z}, n\geq 0\}$

I would like to clarify, do my answer mean the same thing? I was thinking more of, since the $n$ is fixed at the beginning by the word "for some", and hence, there is only 1 element in the equivalence class.

But it seems the answer is saying that there can be infinitely many elements, like $(2,4,8,16,...)$

  • 0
    @SingaporeanDude: If you say there is only one element, you should specify which one that is (the notaion $[1]$ should designate one well defined set). As you did not do this, most people would read your expression as a clumsy and not entirely correct way of expressing what the second expression says more clearly. If that is not what you meant, then what you did mean makes no sense.2012-11-24

1 Answers 1

2

The way the equivalence relation is defined, given natural numbers $x$ and $y$, they are equivalent if and only if such an $n$ exists, but $n$ can vary between pairs in the same equivalence class.

The two answers you gave are not equivalent. Or rather I should say that the first answer is not well defined. The second one is correct.

Did this answer your questions?

  • 1
    No, $[1]=[2]$. By the definition of the eq. rel., $[2]=\{2\cdot 2^{n} | n\in \mathbb{Z}, n\geq -1\}$. Remember, $xRy$ iff $x=2^n y$ or $y=2^n x$ for some $n$. If two equivalence classes share an element, they are equal. This is true for any equivalence relation.2012-11-22