# Thread:

1. ## invertible  relation

hi
my teacher wants us to think a conjecture for the invertible relation and then prove it, but I have absolutely no idea how to find that conjecture. Any help is appreciated.

$R,S \subset X \times X$ , we define $R \bullet S \text{ to be the set:} (x,y) \in X \times X , \text{s.t there exsits one and only one}$ $z \in X : (x,z) \in S,(z,y) \in R$

like a relation $\mathcal{R} \subset X \times X$ is invertible with respect to $\bullet$ if and only if (what condition does R has to satisfy?)
any idea?

cheers.

2. any idea?

3. , we define
This is not a regular composition of relations. In the standard definition of composition there is no restriction that there is at most one $z$. Is this a point of the exercise or a typo?

4. Also, by $R$ being invertible you mean that there exists an $S$ such that $S\bullet R=Id$ or ( $R\bullet S=Id$) where $Id$ is the diagonal relation?

Probably this has something to do with surjection and injection. It is well-known that a function is an injection iff it has a left inverse, and is a surjection iff it has a right inverse (I hope I did not mix it up). Maybe something similar is expected here.

5. Originally Posted by emakarov
This is not a regular composition of relations. In the standard definition of composition there is no restriction that there is at most one $z$. Is this a point of the exercise or a typo?
yea this is the exericese that our lecturer gives us.

6. Originally Posted by emakarov
Also, by $R$ being invertible you mean that there exists an $S$ such that $S\bullet R=Id$ or ( $R\bullet S=Id$) where $Id$ is the diagonal relation?

Probably this has something to do with surjection and injection. It is well-known that a function is an injection iff it has a left inverse, and is a surjection iff it has a right inverse (I hope I did not mix it up). Maybe something similar is expected here.
$S\bullet R= R\bullet S=Id$) where $Id$ is the diagonal relation. yes.
any idea what the conjecture is??

my thought is $\forall y \in x$ there exists one and only one $x \in X, (x,y) \in R$
is this correct?

7. my thought is there exists one and only one
I think this not correct. Let X = {1, 2} and let R = {(1, 1), (1, 2), (2, 2)}. Then R^2 = Id.

I don't know what the answer is, it requires some thinking and considering examples.

8. Originally Posted by emakarov
I think this not correct. Let X = {1, 2} and let R = {(1, 1), (1, 2), (2, 2)}. Then R^2 = Id.

I don't know what the answer is, it requires some thinking and considering examples.

i dont know either, but anyway thanks for your attention.
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 21, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9516792297363281, "perplexity_flag": "head"}