Any relation is a set of ordered pairs. Reading the directed pseudograph we get the relation .
Now carry out the tests for the various properties a relation may have.
I have the following relation:
And I need help giving a mathmatical definition of this relation. I am also having problems stating if the relation is reflexive, symmetric, transitive or antisymmetric. I also need to state my reasons for this. Another problem I am having is stating whether this is a partial order or an equivalence relation.
Any help would be good.
Thanks in advance if you can help me.
Mathematically, the relation should consist of pairs of "coordinates" of the form (X,Y), meaning that there is an arrow from X to Y. For example, (A,A) will be one such pair, because there is a loop going from A to A. Another element in the relation will be (B,A), because there is an arrow from B to A. There are five arrows in the picture, so the relation will consist of five such pairs.
The relation will be reflexive if (X,X) is in the relation for each point X. In terms of arrows, this as the same as saying that there should be a loop from each point to itself.
It will be symmetric if (Y,X) is in the relation whenever (X,Y) is. In other words, whenever there is an arrow from X to Y there is also an arrow from Y to X.
It will be transitive if (X,Z) is in the relation whenever (X,Y) and (Y,Z) both are. In other words, if there are arrows from X to Y and from Y to Z, there should also be an arrow going direct from X to Z. (Don't forget to include cases where X, Y and Z are not all different. For example, Z might be the same point as X.)
For example, you can get from b to a in two steps by first taking one of the arrows from b to c and then taking the arrow from c to a. But there is an arrow going direct from b to a. So for this particular "journey", transitivity applies.
In fact, you can easily check that the revised diagram (though not the original one) does give a transitive relation. The reason is that there are only a few ways of making a two-step journey. Either you start at b and go to a via c, or you start at any of the three vertices and go to a via the loop at a. In each cases, there is a direct route available.
So there is transitivity between this relation then? Is it symmetric in any way at all? I know that you have to put symmetry in to these terms, if x is related to y, then y is related to x (x,y) => (y,x). Sorry to be of bother, but I just don't get these meanings.
While we're about it, reflexivity means that for each node x there must be an arrow from x to itself (in other words, a loop at x). Again, that is not the case for this diagram, because the only node at which there is a loop is a.
So the diagram defines a relation that is transitive, but not symmetric or reflexive.