This tag is intended for questions concerning partial orders, equivalence relations, properties of relations (transitive, symmetric,...), composition of relations and similar stuff. More-or-less the things about relations taught in the first elementary set theory or discrete math course.

learn more… | top users | synonyms

0
votes
1answer
32 views

What does it mean for a binary relation to be an order on “equivalence classes” under another binary relation

I am a bit confused about this statement in "Introduction to Set Theory" by Hrbackek and Jech. The statement is as follows: "|A| <= |B| behaves like an ordering on the "equvivalence classes" under ...
2
votes
1answer
65 views

The category with binary relations as objects

I have reconsidered my ideas and remember how I thought ones upon a time. I will make a last try and delete if it doesn't work: Set is the category where sets are objects and functions are morphisms ...
1
vote
1answer
18 views

Re-calculating Value of $100 in Each State by Specific State

I'm using this Tax Foundations graphic for data. How would I re-calculate each state based on a specific state? For example, what if I wanted to base the control state on Missouri, which is $113.51. ...
1
vote
1answer
77 views

how to show a function is bijection

I have taken two numbers $p$ and $r$ where $p,r\in A = \{0,1,\ldots,4i + 1\}$ where $i\geq 1$ and $q\in B = \{0,1,\ldots,n-1\}$. Let $X$ contains all elements obtained by cartesian product of $A$ and ...
1
vote
0answers
37 views

Some questions concerning continuity and relations

A lot of equivalent conditions for functions between topological spaces $$ X\overset f\longrightarrow Y $$ are proved on this site. Here some of them formulated from the perspective of 'relations': ...
1
vote
1answer
62 views

Is the relation $a\mathrel R b \iff f(a) \equiv f(b)$ an equivalence relation?

Suppose that I have a relation $R$ of the form $a\mathrel R b \iff f(a) \equiv f(b)$, where $\equiv$ is an equivalence relation. In general, is $R$ also an equivalence relation? If not, what are the ...
3
votes
1answer
33 views

A question about equivalence classes

Theorem: Let $P$ be a partition of a set $S$, and let $a$ and $b$ be $\in S$. Define the relation $R$ on $S$ as follows: $aRb$ iff there exists an $X \in P$ such that $a \in X$ and $b \in X$. ...
7
votes
3answers
307 views

Can only one ordered pair be a relation?

I'm sorry, but I really can't find an answer to this no matter how deep I dig. A relation is defined as any set of ordered pairs. But what about a set of only one ordered pair? Is it still a ...
1
vote
1answer
21 views

Composition of Ordered Pair

I'm doing math exercises from a Computer Science book and I am confused as to how the following result (from the solutions manual) is obtained: Given the function f={(a,b), (a,c), (c,d), (a,a), ...
2
votes
1answer
93 views

Defining a partial order on $A\times B$, given partial orders on $A$ and on $B$

Let $(A,\preceq_A)$ and $(B,\preceq_B)$ be partially ordered sets. Define $C = A \times B$ and define the relation $\preccurlyeq$ on $C$ to be $(a,b) \preccurlyeq$ $(a',b')$ if and only if ...
0
votes
0answers
10 views

similarities between two binary matrices

I want to measure the similarities between two matrices A and B. Both A and B contains the feature vectors of sounds and are in binary format. i want to see what is the similarities between these two ...
0
votes
1answer
38 views

What is the name of this property of relation?

What is the name of property of a binary relation $R$ that states that $\lnot(a\mathrel{R} b) \iff \lnot(b \mathrel{R} a)$ for all $a, b$?
1
vote
1answer
32 views

Quotient set cardinal in $\mathbb{Z}_{12}$

In $\mathbb{Z}_{12}$ define the equivalence relation xRy if $x^2 = y^2$ Then what is the cardinal of the quotient set?
0
votes
1answer
29 views

Cardinal of the quotient set

Let $X = \{1, 2, 3, 4, 5, 6, 7, 8, 9\}$. In $X \times X$ define the equivalence $(a,b)\:\mathcal{R}\:(c,d)$ if $a+b=c+d$. Then what is the cardinal of the quotient set? I know that $|X| = 9$, so $| X ...
2
votes
3answers
33 views

Composite Relations

I'm new to functions and relations, and I've only just figured out that there are 16 relations on a set with 2 elements. I can't figure out what is meant by R ; R ⊆ R other than the fact it is a ...
1
vote
1answer
46 views

What are the steps to calculate the number of elements in a quotient?

Let $X = \{0,1,2,3,4,5,6,7,8,9\}$ and $ Y = \{0,2,4,6,8,9\}$. In $P(X) =$ power set of $X $ define the following relation: $$A R B \Leftrightarrow A \setminus Y = B \setminus Y $$ Then, how many ...
0
votes
2answers
42 views

how to find the equation of this set of points?

What the relation (Equation) between these numbers (X, Y, Z)? Your answer will be highly appreciated.
0
votes
0answers
37 views

Is a set of some $m \times n$ matrices a relation?

A relation between sets $A_i, i = 1, \dots, n$ is defined as a subset of $\prod_i A_i$. Given $m, n \in \mathbb N$, is a set of (some or all) $m \times n$ matrices over $\mathbb R$ considered a ...
2
votes
1answer
29 views

Is this relation symmetric

$R = \{(X, Y) \in \mathscr{P}(A)^2| X \subset Y \text{ and }X \neq Y \}$ I know that $(X,Y) \in R$ holds true since $X \subset Y$. However I'm unsure if $(Y,X) \in R$ since if $Y \subset X$ then ...
1
vote
1answer
55 views

Is the subset relation on the powerset of a set, with qualification, reflexive?

I was wondering if the subset relation is reflexive? $R = \{(X, Y ) \in P(A)^2\mid X\subseteq Y \text{ and } X \neq Y \}$ I assumed they it was reflexive since for all $X \in P(A), X \subseteq X$ is ...
-1
votes
2answers
33 views

Finding Domaing and Range

Can you please tell me how i am going to solve these? $R=\{(x,y)\in \mathbb R^2 | x^2=y^2\}$ $R^{-1}=?$ $R\circ R^{-1}=?$ $\text{dom} (R)=?$ $\text{range}(R)=?$ Thanks..
1
vote
2answers
26 views

Anti-symmetric relations

I'm having issues wrapping my head around anti-symmetric examples in specific contexts. I understand that if BOTH $a$, $b$ belong to $\mathbb{R}$ then $a = b$ and if $a \ne b$ then they aren't ...
0
votes
0answers
31 views

Properties of R, R^n, R*

I was talking to a friend who mentioned that eventually, R^n and R* are equivalent. This confuses me because I don't see how it's necessarily the case. But it does seem to hold, for instance: R = ...
1
vote
1answer
30 views

Let R be the relation on ℤ+→ℤ+ defined by (a,b)R(c,d) if and only if a-2d=c-2b. List all the elements of the equivalence class [(3,3)].

I'm confused on how to find all the elements. I know how to find some but not all, wouldn't they be infinite? This is affecting me with the other questions as well. Thanks in advance!
3
votes
1answer
33 views

Is there a specific name for a directed graph that is composed of only loops?

Recently I have been doing practice questions for my Final exam tomorrow and this one question appeared that was interesting, but I couldn't seem to find the other half of the answer to it. Q: Given ...
3
votes
1answer
25 views

Geometric/visual interpretation of transitivity for equivalence relations on $\mathbb{R}$

If we graph equivalence relations on $\mathbb{R}$ on the plane $\mathbb{R} \times \mathbb{R}$, the properties of reflexivity and symmetry give rise to certain geometric properties--i.e. reflexivity ...
5
votes
4answers
297 views

Can functions be defined by relations?

So let us say that for whatever reasons, we are not allowed to use function symbols in first-order logic. Then can we define and use a function only by relations?
2
votes
1answer
32 views

Proving that this relation is transitive

I have seen this question on a book I am reading and could not figure it out fully. The question is as follows: "Suppose A is a set, and $F\subseteq P(A)$. Let $$R_F=\{ (a,b)\in AxA|\text{ for every ...
0
votes
1answer
24 views

suppose $R$ is an equivalence relation on $A$ such that there are only finitely many distinct equivalence classes $A_1,A_2,\ldots,A_k$ w.r.t $R$

Suppose $R$ is an equivalence relation on $A$ such that there are only finitely many distinct equivalence classes $A_1,A_2,\ldots,A_k$ w.r.t $R$. Show that $$A=\bigcup_{i=1}^k A_i$$ Since $A_i\subset ...
2
votes
1answer
26 views

Proving Transitivity

Consider a relation defined by $Z$ where $(a,b) = 2a^2 + b^2 -3ab = 0$ Is the relation $R_1$ reflexive? symmetric? transitive? Is it an equivalence relation? I have said that it is ...
0
votes
3answers
58 views

If R is $(a,b)R(c,d) \iff a+d =b+c$ show that R is an equivalence relation.

The relation R is defined n all positive integers such that, $(a,b)R(c,d) \iff a+d =b+c$ . Show that R is an equivalence relation. In order to be an equivalence relation, R has to be reflexive, ...
0
votes
1answer
35 views

Proof for a relation

Define a relationship $R$ on $\mathbb{Z}$ by declaring that $xRy$ if and only if $x^2 \equiv y^2 (mod 4)$. Prove that $R$ is reflexive, symmetric and transitive. I'm unsure of where to start with ...
0
votes
1answer
36 views

I am working on basic functions, I am asked is x-5=y^2 a function,

i use the square root property and get plus or minus the sqaure root of x-5=y, then I come to my question, for any value of x greater than 5, how many values of y result? I need some insight to fully ...
0
votes
1answer
35 views

Proving theorems on relations

I came across the following three statements about relations. I understand why the statements are true, but I am not sure how to demonstrate them mathematically. In the following, $A,B$ are sets and ...
0
votes
2answers
51 views

How to figure out the solution to this equality problem? [closed]

Let $x, y, z$ be strictly positive, real numbers. If: $$\frac{x^2}{y^2} + \frac{y^2}{z^2} + \frac{z^2}{x^2} = \frac{x}{z} + \frac{y}{x} + \frac{z}{y}$$ then prove that $x = y = z$. Thanks!
2
votes
1answer
35 views

Relations examples (reflexivity, symmetry, transitivity)

I've found the two textbooks I'm using to to be particularly unhelpful in explaining these concepts, especially as they relate to English examples (non-existent). The first few following questions ...
0
votes
1answer
48 views

Properties of a relation on matrices: $(m_1,m_2)\in R$ iff $m_1\cdot m_2$ is defined

Let $M$ be a set of matrices of integers. Let $R$ be the relation on $M$ defined as follows: For any two $m_1, m_2 \in M, (m_1, m_2) \in R$ iff the matrix multiplication $m_1 \cdot m_2$ is defined. ...
0
votes
0answers
37 views

Properties of relations on Z

$$R_3 = \{(x,y) \in \mathbb{Z} \times \mathbb{Z}|\frac{x-y}{5} \in \mathbb{Z}\} $$ $$R_4 = \{(x,y) \in \mathbb{Z} \times \mathbb{Z}|x > y \} $$ I need to know which one is reflexive, symmetric, ...
1
vote
2answers
92 views

Why relations are defined as the smallest

Often relations are defined as follows: The xxxxx relation is the smallest relation satisfying... My question is why relations are defined as the smallest ...
0
votes
2answers
31 views

Relations on set A and conditions of existence of descending chains

I am reading through the Elements of Set theory by Herbert Enderton and even though I have passed this exercise long ago,the more I look at my solution the less I believe it. Problem goes like this: ...
2
votes
1answer
41 views

Terminology on pullbacks

I'm quite confused with the use of pullbacks, and in particular I wonder which terminology I shall use in the following examples. Let $X$ and $Y$ be arbitrary sets. Suppose that $f,g:X\to Y$ and I ...
8
votes
1answer
620 views

What is meant by “m|n”? Two letters separated by a vertical bar (|)

I am new to this subject, and not not sure what "|" symbol means on this statement. Let $R_2 \subset\Bbb N \times\Bbb N$ be defined by $(m, n) \in R_2$ if and only if $m|n$.
1
vote
2answers
27 views

If $R$ is a transitive realation, then $R\circ R\subseteq R$

Here's the question I'm struggling with: Let R be a transitive relation on a set A. Prove the R composed with R is a subset of R. I'm kind of lost on how to prove this. I've started with saying: ...
2
votes
3answers
76 views

What is it called when !(a < b) and !(b < a) implies a = b?

I thought it would be some kind of symmetric equality but its impossible to do a google search on this, all I get are definitions of reflexive, symmetric and transitive. I'm not really sure which ...
1
vote
1answer
14 views

Equivalence between different definitions of transitive closure

Let $W$ be an arbitrary, non-empty set and let $R$ be an arbitrary binary relation on $W$. Define the transitive closure of $R$ as $R^+ = \bigcap \{ R' \; | \; R' \text{ is a binary transitive ...
2
votes
1answer
44 views

Relations and functions with valence 0

From http://en.wikipedia.org/wiki/First-order_logic#Non-logical_symbols Relations of valence 0 can be identified with propositional variables. For example, P, which can stand for any ...
3
votes
3answers
43 views

An example of symmetric transitive relation that is not reflexive on a set of natural numbers $\mathbb{N}$ [duplicate]

An example of symmetric transitive relation that is not reflexive on a set of natural numbers $\mathbb{N}$. My guess is that such relation does not exist, but I don't know how to prove it.
1
vote
2answers
35 views

What is the name of the Speed, Distance, Time relationship?

Really simply, I'd like to know if there is a name used to describe the speed, distance & time relationship. i.e. As this is basically the same relationship that applies to current, voltage and ...
0
votes
1answer
42 views

How many relations exist in the set of A

When A = {1,b,ø}, how many reflexive relations exist on the set? I have said that AxA={(1,1), (b,b), (ø,ø), (1,b), (1,ø), (b,1), (b,ø), (ø,1), (ø,b)} Would I be right in saying that there are only 3 ...
0
votes
0answers
51 views

Is this connected relation?

My task is to check if this is preference relation (connected and transitivited) $$ f \succeq g \Leftrightarrow \forall x\in [0,1] f'(x) \leq g'(x) $$ My solution is: that this relation is not ...