For reflexive, symmetric and transitive relations. Use it with the tag (relations).

learn more… | top users | synonyms

0
votes
1answer
26 views

Ordered Pair Proof

Below are two relations on $R.$ For each one, determine (with proof) whether or not it is an equivalence relation. If it is an equivalence relation, describe the partition it induces (i.e., describe ...
1
vote
1answer
77 views

Being contractible in homotopy theory vs. homotopy type theory

I'm trying to clarify the notion of being contractible in homotopy theory vs. homotopy type theory. Is the following right? "In homotopy theory the real interval $[0,1]$, considered as a subset ...
0
votes
1answer
17 views

Doman and range of a simple relation

Relation xRy if x≥y^2 (on real numbers), I'm assuming the domain is (o, infinity) and the range is all real numbers?
0
votes
1answer
45 views

Equivalence relation for set given as matrix

I need a hint. My task is to proof that ((a11, a12), (b11, b12)) ((a21, a22), (b21, b22)) ∈ R ⇔ a11 + a12 + a21 + a22 = b11 + b12 + b21 + b22 R is equivalnce relation. My problem is that I ...
1
vote
1answer
36 views

Define a relation ~ on ℝ² by (x,y)~(w,z) if x+y=w+z

So, it comes in two parts: a. Prove that ~ is an equivalence relation on ℝ². b. Give a geometric description of the partition of ℝ² formed by the equivalence classes. For a, I have to prove that ~ ...
1
vote
1answer
26 views

Find the set of a given equivalence relation

What is the set $[4]$ but I haven't seen any examples in the text that describe how to approach a question such as this one. ...
0
votes
0answers
29 views

equivalnce relation for sets given as matrix [duplicate]

I need a hint. My task is to proof that ((a11, a12), (b11, b12)) ((a21, a22), (b21, b22)) ∈ R ⇔ a11 + a12 + a21 + a22 = b11 + b12 + b21 + b22 R is equivalnce relation. My problem is that I have ...
0
votes
1answer
23 views

Non-empty intersection of equivalence classes.

I'm having troubles with the following exercise about equivalence classes on a defined set. Let $R$ be an equivalence relation on a set $A$. Given $a,b \in A$ prove the following statements are ...
1
vote
0answers
72 views

Is “to be married” a transitive relation?

If you define a relation on the set of people, given by $R=\{x,y : x\text{ is married with } y\}$. Is this relation transitive? I would say it depends: In the western culture: If $x$ is married with ...
0
votes
1answer
32 views

Equivalence Relation and functions question

Could someone please confirm if I understand this correctly? Here is the problem: define ~ on Z by m ~ n in case m^2 ~ n^2. 1) What, if anything, is wrong with the following "definition" of a ...
2
votes
3answers
102 views

Equivalence class for the relation of having the same set of prime divisors

For an integer $n\in \mathbb{N}$ define $P(n) = \{p : p \mid n \text{, where $p$ is a prime} \}$. For example $P(12)=\{2,3\} $ and $P(1)=\emptyset$. Question: Consider the relation $R$ on ...
0
votes
0answers
45 views

Well-defined functions using mod $p$ equivalence classes

Prove that if $m, n$ are elements in the set $\mathbb{Z}$ and $m \equiv n \pmod p$, then $m^2 \equiv n^2 \pmod p$. Also, is the function $f: [\mathbb{Z}]_p \to [\mathbb{Z}]_p$ given by $f([n]_p) = ...
0
votes
1answer
58 views

Equivalence classes of multiples of 3

I'm having a little trouble wrapping my head around the elements of the equivalence classes using the following definition: for m, n in N, define m ~ n if m^2 - n^2 is a multiple of 3. 1) List four ...
1
vote
2answers
48 views

Well-defined functions on equivalence classes

Could someone please explain how to develop a proof and the reasoning behind the following: My professor said that to determine if a function is well-defined, we check to see if equivalent elements ...
-4
votes
2answers
116 views

How to show that $(a \sim b \iff n | a−b)$ is an equivalence relation? [closed]

Let $n \in \mathbb{Z}$, $n > 0$ be a fixed positive integer. Define the relation $\sim$ on the set $\mathbb{Z}$ of integers by setting $$ \forall a, b \in\mathbb{Z}\ (a \sim b \iff n | a−b). $$ ...
0
votes
1answer
33 views

Equivalence classes, relation, partitions

Let $\sim$ be an equivalence relation on M, and $M/{\sim}$ to be the partition of M by $\sim$, and $\sim_{M/\sim}$ to be the equivalence relation by the partition. How do I show that the two ...
0
votes
1answer
67 views

to find the smallest and largest number of equivalence relation in a set

Let $s$ be a set of $n$ elements. The number of ordered pairs in the largest and smallest equivalence relation on set $s$ are $n^2$ and $n$. I am able to understand the largest set of equivalence ...
1
vote
1answer
86 views

Is a subobject classifier logically equivalent to set-inclusion?

Can one subsume the notion of set-inclusion $\subseteq$ and $\subset$ with the notion of a subobject classifier, expressed via an injective morphism $\hookrightarrow$? Specifically: Are the ...
1
vote
4answers
72 views

Let $G$ be a group. Prove the equivalence relation: If $H$ is a subgroup of $G$, let $a \sim b$ iff $ab^{-1} \in H$

Let $G$ be a group. Prove the equivalence relation: If $H$ is a subgroup of $G$, let $a \sim b$ iff $ab^{-1} \in H$ To prove an equivalence relation my guess is to show that reflexivity, ...
3
votes
2answers
35 views

Equivalence Relations on Set of Ordered Pairs

Let $\mathbb{R}$ be the relation on $\mathbb{Z} \times \mathbb{Z}$, that is elements of this relation are pairs of pairs of integers, such that $((a,b),(c,d)) \in \mathbb{R}$ if and only if $a-d = ...
1
vote
2answers
19 views

Quick question: functions to spaces with equivalence relations

So I'm a little confused about sending functions from spaces without equivalence relations to a space with equivalence relations. For example, I'm trying to define a function $f : S^{n} \rightarrow ...
3
votes
1answer
75 views

Equivalence Relation using Binary Operations.

Question: Let ∗ be a binary operation on a set A. Assume that ∗ is associative with identity. Let R be the relation on A defined on elements a,b ∈ R as follows: aRb if there exists an invertible ...
1
vote
1answer
35 views

Restriction of an equivalence relation on a subset.

If we have an equivalence relation defined on a set E and S its subset. Is the relation defined on S is also an equivalence one? Thank you for your answers.
-2
votes
1answer
143 views

determining reflective, symmetric, transitive, anti-symmetric properties and describing equivalence classes

The question: determine if p is reflective, symmetric, transitive and/or anti-symmetric, if p is an equivalence relation, describe the equivalence classes A = Z , and $apb$ if and only if $5 | (2 a + ...
1
vote
1answer
87 views

Let A be a non-empty set, and p an equivalence relation on A . Let a , b be an element of A . Prove that [ a ] = [ b ] is equivalent to apb

the question: a) Let A be a non-empty set, and p an equivalence relation on A . Let a , b be an element of A . Prove that [ a ] = [ b ] is equivalent to $apb$ b) If p is both an equivalence relation ...
1
vote
1answer
88 views

$A = \mathbb{R}$ , and $a\mathrel{p} b$ if and only if $\sin a = \sin b$

My question is: For the relation $p$ described below, determine if $p$ is reflexive, symmetric, transitive, anti-symmetric. In each case, if $p$ is an equivalence relation, describe the equivalence ...
0
votes
3answers
39 views

Given $n \sim r \iff n \equiv r \pmod d$, prove $\sim$ is an equivalence relation. [duplicate]

It is given that n belongs to Z and d belongs to N. How do I prove that n=r mod d defines equivalence relation? I know I have to prove it is reflexive, symmetric and transitive. But how do I do that? ...
5
votes
3answers
1k views

Why is the empty set finite?

On page 25 of Principles of Mathematical Analysis (ed. 3) by Rudin, there is the definition (excluding the irrelevant parts for this question): Definition 2.4: For any positive integer $n$, let ...
1
vote
2answers
61 views

Can a relation be a partial order and an equivalence at the same time?

Can a relation be a partial order AND an equivalence at the same time? For instance, if we have a set A = {1, 2, 3, 4, 5} and a relation R on A defined as R = {(1, 1), (2, 2), (3, 3), (4, 4), (5, 5)}: ...
0
votes
2answers
67 views

Does R^2 has the same property as R?

If R is a relation on set A, define $R^2$ by $aR^2b$ if and only if there exists c with aRc and cRb. If R is reflexive/symmetric/transitive does $R^2$ have the same property ? I'm not sure how to do ...
-1
votes
2answers
35 views

prove the equivalence of the following statements: 2x-1 is irrational; x/3 is irrational

I am stumped. I really have no idea how to solve this problem. Can someone please help me through this? THE TWO EQUATIONS ARE SEPERATE
-2
votes
1answer
49 views

An equivalence relation iff G≈H, where G and H are groups [duplicate]

Problem : Let $S$ be the relation G~H iff G is isomorphic to H. Show reflexive, transitivity and symmetric. First show G is automorphism, which will imply G~G. So the identity mapping gives us ...
1
vote
2answers
66 views

Identifying laws in a discrete math example

I'm studying for my upcoming discrete math test and I'm having trouble understanding some equivalences I found in a book on the subject. I guess I'm not really familiar with these rules and I would ...
1
vote
1answer
52 views

Find all equivalence classes

Let R by a relation defined on pairs $(m,n)$ of integers $m$ and natural numbers $n$ by $(i,j) R (k,l)$ if $il=jk$. Prove that this is an equivalence relation and give the equivalence cases. Show ...
0
votes
1answer
23 views

Possible Equivalence Relation Question

Consider $\langle\Bbb{Z}_6, +_6\rangle$. Let $a\sim b$ if and only if $\{a,b\}$ generates $\langle\Bbb{Z}_6, +_6\rangle$. $a,b \in \Bbb{Z}_6$. Is $\sim$ an equivalence relation? I know an ...
0
votes
1answer
35 views

How to determine a equivalence relation?

I have a problem to understand the following output: Determine "representative system" or a "system of representatives" :).....for the following equivalence relation ...
0
votes
1answer
59 views

Double check $G\sim H$ iff $G≈H$

Let $S$ be the collection of all groups. Define a relation on $S$ by $G \sim H$ iff $G ≈ H$. Prove that this is an equivalence relation. So $S$ is partitioned into isomorphism classes. Proof: Let ...
4
votes
5answers
3k views

Equivalence relation $(a,b) R (c,d) \Leftrightarrow a + d = b + c$

Suppose $A$ is the set composed of all ordered pairs of positive integers. Let $R$ be the relation defined on $A$ where $(a,b) R (c,d)$ means that $a + d = b + c$. (a) Prove that $R$ is an ...
1
vote
1answer
40 views

Prove that $[x]_{R}=[y]_{R} \Rightarrow g(f(x))=g(f(y))$

Let $f:\mathbb{Z} \to \mathbb{N}$ and $g:\mathbb{N} \to \mathbb{N}$ be functions. And let $R$ be a equivalence relation on $\mathbb{Z}$, defined by: $$xRy \Leftrightarrow f(x)=f(y)$$ For any ...
1
vote
1answer
53 views

Proving an equivalence relation(specifically transitivity)

I'm currently learning about equivalence relations. I understand that an equivalence relation is a relation that is reflexive, symmetric, and transitive. But I'm having trouble proving the transitive ...
0
votes
1answer
27 views

equivalence Relation problem with some conditions

If A be a set with $|A|=n$. if R be a equivalence Relation on A and $|R|=r$, why $r-n$ always be even ?
0
votes
2answers
64 views

Equivalence Class Question

On the set $N\times N$ define $(m,n)\simeq(k,l)$ if $m+l=n+k$. Draw a sketch of $N\times N$ that shows several equivalence classes. (hint: sketch points on graph paper). I'm not quite sure how to ...
0
votes
0answers
28 views

What is the intersection of thses equivalence relations?

Let $S$ be the following subset of the plane: $$ S \colon= \{ \ (x,y) \ | \ y=x+1, \ 0 < x < 2 \ \}.$$ Then how to describe the equivalence relation $T$ on the real line that is the ...
0
votes
2answers
53 views

Equivalence relations for $\mathbb{N} \times \mathbb{N}$ question

On the set $\mathbb{N} \times \mathbb{N}$ define $(m, n) \sim (k, l)$ if $m + l = n + k$. Show that $\sim$ is an equivalence relation on $\mathbb{N} \times \mathbb{N}$. Draw a sketch of $\mathbb{N} ...
0
votes
1answer
129 views

Absolute Value Equivalence relation inequality Question

I'm having trouble understanding what exactly to do to see if the following relation is symmetric and transitive. I've already determined that it is reflexive. Could someone please help me? For $a, b ...
0
votes
1answer
25 views

equiv. class if aRb means a+b is a+b even

let s be set of integers. and say that aRb=a+b only if a+b is even. i've already shown that this is indeed a equivalance relation, but how to show its equivalance classes?
-1
votes
1answer
44 views

Let F be a partition of A. Prove there exists unique equivalence relation R such that F=A|R?

Let F be a partition of A. Prove there exists unique equivalence relation R such that F=A|R? I don't even know how to start. I know to be a equivalence relation R must be reflexive, symmetric and ...
1
vote
2answers
69 views

Prove that $\mathbb{Q} \times \mathbb{Q}$ is countable.

Knowing that $\mathbb{Q}$ is countable, I must prove that $\mathbb{Q} \times \mathbb{Q}$ is countable. Teacher's proof: For each $a \in \mathbb{Q}$, let $A_a = \{(a,q) : q \in \mathbb{Q}\}$ so that ...
6
votes
1answer
148 views

Solve for ? - undetermined inequality symbol

So I was solving a problem in Rudin (chapter 3 #16, to be specific) and I realized how convenient it would be to have a symbol that represented an undetermined equivalence relationship. As an example ...
2
votes
2answers
50 views

Show that $R = \{ (x,y) \in \mathbb{Z} \times \mathbb{Z} \; : \; 4 \mid(5x+3y)\}$ is an equivalence relation.

Let $R$ be a relation on $\mathbb{Z}$ defined by $$ R = \{ (x,y) \in \mathbb{Z} \times \mathbb{Z} \; : \; 4 \mid (5x+3y)\}$$ show that R is an equivalence relation. i'm having a bit of trouble ...