Wikipedia:Reference desk/Archives/Mathematics/2015 July 17
| Mathematics desk | ||
|---|---|---|
| < July 16 | << Jun | July | Aug >> | July 18 > |
| Welcome to the Wikipedia Mathematics Reference Desk Archives |
|---|
| The page you are currently viewing is a transcluded archive page. While you can leave answers for any questions shown below, please ask new questions on one of the current reference desk pages. |
July 17
[edit]Partial equivalence relations
[edit]Given a set X, a partial equivalence relation R on X, and an element x of X, why is it true that if x is not R-related to itself, then no element of X is ever R-related to x? GeoffreyT2000 (talk) 00:19, 17 July 2015 (UTC)
- (We have an article, Partial equivalence relation, btw.) If x R y then symmetry implies y R x and transitivity would then imply x R x. Apparently (I'm just getting this from the article), partial equivalence relations arise as kernels of partial functions the same way equivalence relations arise as kernels of ordinary functions. So you can also think of it as: If f(x)=f(y) then f(x) must exist, so f(x)=f(x). --RDBury (talk) 00:39, 17 July 2015 (UTC)