Concept:The logarithmic function with base
a=21 (between
0 and
1) is strictly decreasing.
Thus
log1/2x>log1/2y implies
x<y.
So the given relation reduces to
xRy iff x<y.
Explanation:Given
a=21, we have
0<a<1.
For such a base, the function
logax is decreasing, meaning a larger input gives a smaller output.
Therefore,
logax>logay directly implies
x<y (and vice versa).
Now check the properties of the relation
xRy iff x<y on
S={1,2,3,…}.
Reflexive: A relation is reflexive if
xRx holds for all
x∈S.
Here
x<x is false — so not reflexive.
Symmetric: If
x<y, does
y<x follow? No — so not symmetric.
Transitive: If
x<y and
y<z, then
x<z always holds — so the relation is transitive.
Hence only transitivity is satisfied.
Answer:Transitive only.