Is the Equivalence Relation on Complex Numbers Related to Determinants?

  • Context: Graduate 
  • Thread starter Thread starter Zorba
  • Start date Start date
  • Tags Tags
    Equivalence Relation
Click For Summary
SUMMARY

The discussion confirms that the relation defined on complex numbers \(\mathbb{C}\) by \(xRy\) iff \(x\bar{y}=\bar{x}y\) is indeed an equivalence relation. By expressing complex numbers as \(x=a+bi\) and \(y=c+di\), the relation simplifies to \(a/b=c/d\), which corresponds to the zero determinant condition of a 2x2 matrix. The conversation explores the implications of this relation, particularly in the context of partitioning complex numbers and its connection to projective space \(RP^2\). The necessity of excluding zero from the complex numbers is highlighted to maintain transitivity.

PREREQUISITES
  • Understanding of complex numbers and their properties
  • Familiarity with equivalence relations in mathematics
  • Basic knowledge of determinants and matrix theory
  • Concept of projective spaces, specifically \(RP^2\)
NEXT STEPS
  • Study the properties of equivalence relations in more depth
  • Learn about determinants and their geometric interpretations
  • Explore projective geometry and the significance of \(RP^2\)
  • Investigate the implications of complex number partitions in mathematical analysis
USEFUL FOR

Mathematicians, students studying linear algebra, and anyone interested in the geometric interpretations of complex numbers and equivalence relations.

Zorba
Messages
76
Reaction score
0
I was checking that the following is an equivalence relation on \mathbb{C}

xRy iff x\bar{y}=\bar{x}y

It is an equivalence relation and so by letting x=a+bi and y=c+di, then it is equivalent to a/b=c/d so I was viewing it as partitioning points in \mathbb{C} by drawing lines through the origin and equivalent points lie on the line, but rearranging a/b=c/d gives the 2x2 determinant formula (zero case) so I was wondering whether I'm missing something here, is there some other way to think about this, some other possible insight? It seems rather curious that it comes out like the determinant...
 
Physics news on Phys.org
Is this meant to be on the nonzero complex numbers? Else 0Rz for every complex z, and transitivity fails. Assuming that, then you can view the quotient as RP^2, if your equivalence is correct (I didn't verify).
 
Yea, you're right I noticed that myself later on. I'm not familiar with "RP2" but I think that I see the (what seems obvious now) connection, if you just take two lines then if both these lines are the same (like two points satisfying the relation) then the system is over determined and the matrix of the lines isn't invertible etc. hence determinant is zero.
 

Similar threads

  • · Replies 17 ·
Replies
17
Views
3K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 24 ·
Replies
24
Views
3K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 3 ·
Replies
3
Views
1K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 7 ·
Replies
7
Views
1K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 0 ·
Replies
0
Views
3K