# Tagged Questions

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

20 views

### Defining a relation to a set

I have a homework question that asks me to define a relation A2 on $Z$ which is an equivalence relation containing three equivalence classes. $$Z = \{a, b, c, d, e\}$$ I understand what equivalence ...
18 views

### Technical Language Usage: Verb for an Equivalence Relationship “Forgetting” an Attribute that is “Modded Away”

This question is one of English usage, but I'm sure only mathematicians can answer it for me. I want to say in a technical report that an attribute is "ignored" or "forgotten" by an equivalence ...
31 views

### Equivalence relation and class, Proof.

The relation $P$ on $ℝ$ is defined by $xPy$ iff $x^2=y^2.$ (a) Prove that the the relation $P$ is an equivalence relation. (b) Describe the equivalence class of $3$ and $0$. In order to ...
487 views

### Definition of smallest equivalence relation

I came across the term 'smallest equivalence relation' in the course of a proof I was working on. I have never thought about ordering relations. I googled the term and checked stackexchange and couldn'...
96 views

### Divisibility relation on nonnegative integers.

Definition: $a$ divides $b$ if $b = ak$ for some integer $k$. The book says that it is reflexive. But what about $0/0$ ? I am missing any point ? Is it not a paradox since for standard division ...
10 views

### Find total number of relations that are equivalence as well as partial order set

Find total number of relations that are equivalence as well as partial order set. Assume set contains total $n$ elements. My attempt: As equivalence relation has property reflexive, symmetric and ...
21 views

### Constructing bijection from set of equivalence classes to another set

Suppose $f:A \to B$ is surjective. Define a relation on $A$ by setting $x\sim y$ if $f(x) = f(y)$. It is clear that $\sim$ is an equivalence relation on $A$. Let $\mathcal{E}$ be the set of ...
37 views

30 views

### Transivity / Binary relation? [closed]

Discuss the Transitivity of Binary Relations $\mathcal{S}$ $a$ on $\Bbb R$ defined by $a (x, y)$ $\in \Bbb R^2$--> $x \leq ay$ ( for some a $\in \Bbb R$ ) I have this assignment about ...
29 views

### Let R be the relation on the set of ordered pairs of positive integers, Z+ × Z+, such that (a, b)R(c, d) if and only if ad = bc.

(For instance, (2, 4)R(6, 12) since 2·12 = 4·6.) Show that R is an equivalence relation. I was tasked to show that the sets is an equivalence relation if the three conditions Reflexive, symmetric and ...
37 views

### is this an equivalence relation? by Reflexive, Symmetric and Transitive.

i. {(a, b) : a and b have met} ii. {(a, b)} : a and b speak a common language i) Reflexive: yes Symmetric: yes Transitive: No, if a met b and b met a then a does not met c. ii) Reflexive: yes ...
24 views

### How to prove equivalence relation is disjoint?

I know how to prove when the equivalence are not disjoint, thus $[a]=[b]$. I see that the proof works for proving a equivalence relation is disjoint, but I don't get it. Can someone explain it to me? ...
26 views

### $X$ hausdorff and $\big\{ (x, y) : x ∼ y \big\} ⊆ X × X$ is closed implies quotient map is open.

Let $∼$ be an equivalence relation on a topological space X. $\ Y = X/∼$ equipped with the quotient topology. How to show that if X is Hausdorff and the set $\big\{ (x, y) : x ∼ y \big\} ⊆ X × X$ ...
64 views

42 views

### How many equivalence classes in a set of well-orders of a set

The question: Let $S$ be a set and $\operatorname{wo}(S)=\{X: X\subseteq S \land (X,\le) \text{ is a well order}\}$. Furthermore, partition $\operatorname{wo}(S)$ into equvialence classes based on ...
21 views

### Solution check. How many relations of equivalence $R$ are there in $\Bbb N$ that verify silmultaneously the following properties.

I'm revising some old psets while preparing an exam and going through some things that I left unverified. How many relations of equivalence $R$ are there in $\Bbb N$ that verify silmultaneously the ...
51 views

### Prove that $(H,\circ)$ is a subgroup of the group $(G, \circ)$

Question: Let $(G, \circ)$ be a group and $H$ be a non-empty subset of $G$. A relation $\rho$ defined on $G$ by $$a\,\rho\ b\quad \text{if and only if}\quad a\circ b^{-1}\in H$$ for $a,b\in G$, is an ...
82 views

### For a group $G$ and subgroup $H$, is $a \sim b \iff a^{-1}b\in H$ an equivalence relation even when $H$ is not normal?

Is it true or false that defining a relation on the group $G$ based on the definition $a \sim b$ if and only if $a^{-1}b\in H$ defines an equivalence relation regardless of whether $H$ is a normal ...
34 views

### Count a Partial Equivalence Relations on a set

A Partial Equivalence Relation is a relation that is symmetric and transitive, and to count the number of equivalence relations on a set exists Bell Numbers, my question is How I can count the number ...
22 views

71 views

### Quotient topology on unit sphere

Let $\sim$ be the equivalence relation $$a\sim b\iff a=b\text{ or }a=-b,$$ for $a,b$ on the unit sphere $S^2$. Let $Q$ be the quotient space. How do I show that the quotient map is a covering ...
24 views

### Bound the vc dimension of hypothesis class

Given some set $V$ of size $n$, define the domain $X = V \times V$. In addition, define the hypotheses class $H$ to be all the equivalence relations over $V$ with at most $k$ equivalent classes. I am ...
28 views

### Prove the relation $R$ in $N \times N$ defined by $(a,b) \simeq (c,d)$ iff $ad=bc$ is an equivalence relation.

If $N$ is the set of all natural numbers, $R$ is a relation on $N \times N$, defined by $(a,b) \simeq (c,d)$ iff $ad=bc$, how can I prove that $R$ is an equivalence relation ?
25 views

### Let $R_1$ and $R_2$ be reflexive relations on a set $S$. Prove that $R_1\cup R_2$ and $R_1 \cap R_2$ are reflexive.

How do I go about proving this?
22 views

### Symmetry and transitivity with the existential quantifier

I can't find any resource that would indicate whether symmetry and transitivity relations are possible or not with the existential quantifier or when quantifiers are combined. I'm interested in the ...
21 views

### Matrices Eqvialence Relation

How can I prove that $A\mathcal{R}B$ is an equivalence relation if there exists an invertible matrix $C$ such that $B = CA$? I know there there is a reflexive, symmetric, and transitive steps. ...
45 views

### $(X \times X) /{\sim'}\cong (X/{\sim}) \times (X/{\sim})$

The full description of this problem is: Let $X$ be a topological space. Let $\sim'$ be the equivalence relation on $X\times X$ defined by $(x,y)\sim'(x',y')$ iff $x \sim x'$ and $y \sim y'$ ...
23 views

### What is the difference between partial order relations and equivalence relations?

From googling it i understood that a relation is both partial order relation and equivalence relation when they are reflexive, symmetric and transitive. So it appears they are the same. But as far I ...
41 views

### Group action and equivalence relation

Let $G$ be finite, and group action on $X\subseteq G$: $g\cdot x:=g^{-1}xg$. Let $G=S_n$, and $X=S_n.$ Show that $[x]_R$ consists of all elements of $S_n$ that are of the same cycle-type as $x$. I ...
39 views