Intereting Posts

Calculating $\sum_{k=0}^{n}\sin(k\theta)$
Show the existence and uniqueness of a closed ball containing a bounded subset of a Hilbert space
Is there a reference for compact imbedding of Hölder space?
Riemann integrability of continuous function defined on closed interval
Is the following a ring?
Existence of minimal subcover for any open cover of a metric space
Prove that matrix is symmetric and positive definite given the fact that $A+iB$ is.
Use the division algorithm to prove that 3|(n³ + 2n) for all n ∈ ℕ
Moore space, induced map in homology
Prove that every positive integer $n$ has a unique expression of the form: $2^{r}m$ where $r\ge 0$ and $m$ is an odd positive integer
Easy way to find out limit of $a_n = \left (1+\frac{1}{n^2} \right )^n$ for $n \rightarrow \infty$?
How complicated is the set of tautologies?
Basic Probability Question X ~
Alternative proof that Harmonic sum is not an integer
Help proving the primitive roots of unity are dense in the unit circle.

Let $Q$ be the following set of $\mathbb{Z}\times \mathbb{Z}$

\begin{align*}

Q=\{(a,b)\in \mathbb{Z}\times \mathbb{Z} | b\neq 0\}

\end{align*}

Define the relation $\sim$ on $Q$ as

\begin{align*}

(a,b)\sim (c,d)\Leftrightarrow ad=bc

\end{align*}

Prove that $\sim$ is a relation of equivalence, and give theclassof equivalence of $[(2,3)]$. Furthermore the general order of equivalence of $[(a,b)]$. Try to give a description $Q/\sim$.

I’ve asked the same question (I deleted it one hour later) but it didn’t look well when I didn’t try to add what I tried. Here we go. I have proven that $\sim$ is a relation of equivalence by showin it’s i) reflexive, ii) symmetric and iii) transitive.

i) $\forall (a,b)\in Q:(a,b) \sim (a,b)$.

- Prove that 1 less than the number of equivalence classes divides $p-1$ where $p$ is prime
- Working with Equivalence Classes and Quotient Sets
- Solve for ? - undetermined inequality symbol
- Revisted$_2$: Are doubling and squaring well-defined on $\mathbb{R}/\mathbb{Z}$?
- Proving equivalence relations
- $R$ is transitive if and only if $ R \circ R \subseteq R$

$\forall (a,b)\in Q:(a, b) \sim (a, b) \Leftrightarrow ab \stackrel{\surd}= ab$

ii) $(a, b) \sim (c, d) \Rightarrow (c, d) \sim (a,b)$

$(a, b) \sim (c, d) \Leftrightarrow ad = bc$ and $(c, d) \sim (a, b) \Leftrightarrow cb = da$

then $ad = bc \stackrel{\surd}\Rightarrow cb = da$.

iii) $[(a, b) \sim (c,d) \wedge (c, d) \sim (e, f)] \Rightarrow (a, b) \sim (e, f)$

$(a, b)\sim (c, d) \Leftrightarrow ad = bc$, $(c, d) \sim (e, f) \Leftrightarrow cf = de$ and $(a, b) \sim (e, f) \Leftrightarrow af = be$

then $((ad = bc) \wedge (cf = de))\stackrel{\surd}\Rightarrow af = be$.

The **class** of eq. $[(2,3)]$ is the **class**, that contains the element $(2,3)$, so for every element $(a,b)$ in this **class** satisfies $(a,b) \sim (2,3) \Leftrightarrow 3a=2b$, that is

\begin{equation}

[(2,3)] = \lbrace (a,b) \in \mathbb{Z}\times\mathbb{Z} | b \neq 0 \wedge 3a = 2b \rbrace

\end{equation}

So now I’ve shown what I tried to show. Is there something I’m missing or something I should have mentioned? I need some help to answer the rest. Thanks.

- How to check whether a relation is transitive from the matrix representation?
- Equivalence relation $(a,b) R (c,d) \Leftrightarrow a + d = b + c$
- Unitary Farey Sequence Matrices
- Why is this relation not transitive but R = {(3,4)} is ?
- Prove that $\sim$ defines an equivalence relation on $\mathbb{Z}$.
- Relation squared of $xRy$ iff $x-y=c$
- The map $f:\mathbb{Z}_3 \to \mathbb{Z}_6$ given by $f(x + 3\mathbb{Z}) = x + 6\mathbb{Z}$ is not well-defined
- Equivalence relation on a proper class
- Is my understanding of antisymmetric and symmetric relations correct?
- Prove that the empty relation is Transitive, Symmetric but not Reflexive

The point is that $Q/\sim$ wants to be the set of rational numbers, $(a,b)$ representing $\displaystyle\frac ab$. We also have

$$ ad=bc \iff \frac ab=\frac cd\,,$$

and forming the quotient set basically means to transform $\sim$ to become equality.

So, the equivalence class of $(2,3)$ is $\{\dots,(-2,-3),(2,3),(4,6),(6,9),\dots\}$. By the *general order* I don’t know what is meant..

- Bounds on roots of polynomials
- Theorems in complex analysis.
- Sum of series $\sin x + \sin 2x + \sin 3x + \cdots $
- How to prove that sections of family of curves do not exist (exercise 4.7 in Harris' Algebraic Geometry)?
- Applications of Gauss sums
- Is something similar to Robin's theorem known for possible exceptions to Lagarias' inequality?
- Is $0.1010010001000010000010000001 \ldots$ transcendental?
- Commuting elements with coprime orders, $|xy| = |x||y|$?
- Is every positive nonprime number at equal distance between two prime numbers?
- Show: $f'=0\Rightarrow f=\mbox{const}$
- Very elementary number theory and combinatorics books.
- Transformation T is… “onto”?
- Determining if something is a characteristic function
- Proving that $\frac{\phi^{400}+1}{\phi^{200}}$ is an integer.
- Among $k$ consecutive numbers one has sum of digits divisible by $11$