MHB Check if relation is equivalent

AI Thread Summary
The relation defined as \(m \sim n\) in \(\mathbb{Z}\) if \(mn > 0\) is examined for equivalence. It is determined that the relation is not reflexive because the pair \((0,0)\) does not satisfy the condition. Consequently, it cannot be classified as an equivalence relation. The conclusion is affirmed by participants in the discussion. The analysis confirms that the relation fails to meet the criteria for equivalence.
issacnewton
Messages
1,035
Reaction score
37
Hello

I have to check if the following relation is an equivalence relation.
\[m\sim n \;\;\mbox{in}\;\;\mathbb{Z}\;\;\mbox{if}\; mn > 0\]

I think this relation fails to be reflexive since $(0,0)$ does not belong to
this relation. Hence this is not an equivalent relation. Is this ok ?

Thanks
 
Physics news on Phys.org
IssacNewton said:
Hello

I have to check if the following relation is an equivalence relation.
\[m\sim n \;\;\mbox{in}\;\;\mathbb{Z}\;\;\mbox{if}\; mn > 0\]

I think this relation fails to be reflexive since $(0,0)$ does not belong to
this relation. Hence this is not an equivalent relation. Is this ok ?

Thanks
Yes. This is good.
 
caffeinemachine said:
Yes. This is good.

Thanks
(Emo)
 

Thread 'Deductive proof in logic formal systems'

I was reading documentation about the soundness and completeness of logic formal systems. Consider the following $$\vdash_S \phi$$ where ##S## is the proof-system making part the formal system and ##\phi## is a wff (well formed formula) of the formal language. Note the blank on left of the turnstile symbol ##\vdash_S##, as far as I can tell it actually represents the empty set. So what does it mean ? I guess it actually means ##\phi## is a theorem of the formal system, i.e. there is a...
View full post »

Similar threads

MHB Equivalence Relations: Solving & Proving Reflexivity, Symmetry & Transitivity
Replies
2
Views
2K
MHB Show that ~ is an equivalence relation
Replies
2
Views
2K
MHB Equivalence Classes: Solving Cbarker1's Problem
Replies
1
Views
2K
MHB Different Number of Equivalence Relations
Replies
4
Views
4K
MHB Can you explain how the law of logic was used to reach this conclusion?
Replies
3
Views
3K
MHB Help with an Equivalence Relation?
Replies
3
Views
3K
MHB Upper Bound of Sets and Sequences: Analyzing Logic
Replies
3
Views
5K
MHB An Equivalence Relation with Cauchy Sequences
Replies
2
Views
1K
MHB Problem understanding relations syntax.
Replies
1
Views
1K
MHB Binary Relations and Equivalence Classes | Proving R is an Equivalence Relation
Replies
3
Views
2K

Hot Threads

Recent Insights

Back
Top