One quick question about relations.
I know how is defined a relation,
but how is defined R^2 and R^n?
If we have a relation R = {(1,2),(2,3),(3,4)}.
How do we get a R^2 and, R^n. If n is let say 504, surely we won't go calculating R * R * R... 504 times.
R is a relation. We can calculate with relations. In school we have defined R^-1 is an inverse relation, the product of two relations is R * S, and so on.
R^2 means. R times R. The product of two same relations.
I was hoping that somebody would explain to me the product of two relations and R^n.
on this example R = {(1,2),(2,3),(3,4)}.
If is a set, then a relation on is a subset of for some . In this case is an ary relation.
The relation you gave is a 2-ary or binary relation.
I don't think there is a standard definition for multiplying relations. So you will need to give us the definition you are using.
I sorry to tell you, but that reply makes no sense whatsoever.
After teaching this material for forty+ years, I have never seen a product of a relation defined.
It is true that for we can have composition of relations.
and
After that the compositions are empty.
Is that what you are asking?
I still don't know if we are talking about the same thing.
I have found an example in the book. Would you be so kind to explain me. We always said the product of relations.
The inverse relation is obvious. But the product as we defined it is (how I see it). The first element of order pair and the second element from another order pair is written in a new order pair. And so on...
Composition and product are sometimes the same thing, for example, when linear operators in a vector space are represented as matrices. Also, application of a mapping F to an argument x is often written just as F x, which resembles a product. For this reason, I guess, some textbooks may refer to composition of relations as a product, but the correct term is composition.
Also, the standard it to write the relation that is applied first on the right and the one applied second on the left. As Plato said, this works smoothly when relations are functions since stands for . Using Internet lingo, there is a temptation to think that authors who don't follow this convention are trolling to create confusion, though this is unlikely, of course.
Other than that, the definition of composition you have is the standard one.
Do you seriously think that? Standard?
So far as I know, that has not been in use since the 1940’s.
Even Quine changed his notation from 1938 to 1951.
Can you give us a reference to a modern text using a ‘left to right’ definition for relation compositions?
I do have an algebra text by Marie Weiss at Tulane in the ’40 & 50’s that does use that notation. She was interested in permutation groups so that makes a certain amount of sense (as a product).