- Given relations
We have
S={(a,b):a,b∈R∖{0}, 2+ba>0}
and
T={(a,b):a,b∈R, a2−b2∈Z}.
We must check symmetry and transitivity to identify the correct option.
- Analyse relation S
The condition for (a,b)∈S is
2+ba>0⟺ba>−2.
(i) Is S symmetric?
For symmetry, if (a,b)∈S, then we must also have (b,a)∈S.
Take
a=1,b=−1.
Then
2+ba=2+−11=1>0,
so (1,−1)∈S.
Now check (−1,1):
2+ab=2+1−1=1>0.
This example does not disprove symmetry, so try another one.
Take
a=1,b=−31.
Then
2+ba=2+−1/31=2−3=−1<0,
so not in S.
We need an example where (a,b)∈S but (b,a)∈/S.
Take
a=−1,b=1.
Then
2+ba=2−1=1>0,
so (−1,1)∈S.
But
2+ab=2+−11=1>0,
still in S.
Try a more extreme ratio. Let
a=−23,b=1.
Then
2+ba=2−23=21>0,
so (−23,1)∈S.
Now reverse:
2+ab=2+−3/21=2−32=34>0.
Still in S.
Let us reason algebraically instead. If (a,b)∈S, then
ba>−2.
For (b,a)∈S, we need
ab>−2.
These are not equivalent in general.
Counterexample: let
ba=−41.
Then
2+ba=2−41=47>0,
so (a,b)∈S.
But then
ab=−4,
so
2+ab=2−4=−2<0.
Hence (b,a)∈/S.
A concrete choice is
a=−1,b=4.
Then
2+4−1=47>0
and
2+−14=−2<0.
So S is not symmetric.
(ii) Is S transitive?
For transitivity, if (a,b)∈S and (b,c)∈S, then we must have (a,c)∈S.
We need
2+ba>0,2+cb>0,
but this does not necessarily imply
2+ca>0.
Take
a=1,b=1,c=−1.
Then
2+ba=2+1=3>0,
so (1,1)∈S.
Also,
2+cb=2+−11=1>0,
so (1,−1)∈S.
But
2+ca=2+−11=1>0,
so this still works.
Try another choice. We want a/c<−2 while keeping a/b>−2 and b/c>−2.
Take
a=1,b=−1,c=1.
Then
2+ba=2−1=1>0,
so (1,−1)∈S.
Also,
2+cb=2−1=1>0,
so (−1,1)∈S.
But
2+ca=2+1=3>0,
so again transitivity holds in this example.
Try a ratio-based construction:
- Choose ba=−21>−2,
- Choose cb=10>−2.
Then
ca=ba⋅cb=(−21)(10)=−5,
so
2+ca=2−5=−3<0.
Thus transitivity fails.
A concrete choice is
a=−1,b=2,c=51.
Then
ba=−21⟹2+ba=23>0,
so (−1,2)∈S.
Also,
cb=1/52=10⟹2+cb=12>0,
so (2,51)∈S.
But
ca=1/5−1=−5⟹2+ca=−3<0,
so (−1,51)∈/S.
Hence S is not transitive.
So for S:
- not symmetric,
- not transitive.
- Analyse relation T
The relation is
T={(a,b):a2−b2∈Z}.
(i) Is T symmetric?
Suppose (a,b)∈T. Then
a2−b2∈Z.
Now
b2−a2=−(a2−b2).
Since the negative of an integer is also an integer,
b2−a2∈Z.
Therefore,
(b,a)∈T.
So T is symmetric.
(ii) Is T transitive?
Suppose (a,b)∈T and (b,c)∈T.
Then
a2−b2∈Z,b2−c2∈Z.
Adding these,
(a2−b2)+(b2−c2)=a2−c2∈Z.
Hence
(a,c)∈T.
So T is transitive.
Thus for T:
- Check the options
-
A: S is transitive but T is not.
False.
-
B: both S and T are symmetric.
False, because S is not symmetric.
-
C: neither S nor T is transitive.
False, because T is transitive.
-
D: T is symmetric but S is not.
True.
- Final answer
The correct option is
D