Relacja równoważności i klasa abstrakcji
: 01 lip 2015, 09:11
Witam, mam problem z takim zadaniem:
W zbiorze C-{0} określamy relację w następujący sposób \(aRb<=>arga=argb\). Udowodnić że istnieje klasa abstrakcji \([3+4i]\) i przedstawić ją na płaszczyźnie. R=relacja
Zwrotna:
\(\bigwedge_{a\in\cc-{0}} (aRa<=>arga=arga)\)
Symetryczna:
\(\bigwedge_{a,b\in\cc-{0}} (aRb<=>arga=argb<=>argb=arga<=>bRa)\)
Przechodnia:
\(\bigwedge_{a,b,c\in\cc-{0}} (aRb \wedge bRc <=>arga=argb \wedge argb=argc<=>arga=argc<=>aRc)\)
W związku z tym jest to relacja równoważności. Z tym że niestety nie wiem jak udowodnić że istnieje ta klasa abstrakcji: \([3+4i]\) oraz nie wiem jak zapisać ją na płaszczyźnie. Proszę o pomoc.
W zbiorze C-{0} określamy relację w następujący sposób \(aRb<=>arga=argb\). Udowodnić że istnieje klasa abstrakcji \([3+4i]\) i przedstawić ją na płaszczyźnie. R=relacja
Zwrotna:
\(\bigwedge_{a\in\cc-{0}} (aRa<=>arga=arga)\)
Symetryczna:
\(\bigwedge_{a,b\in\cc-{0}} (aRb<=>arga=argb<=>argb=arga<=>bRa)\)
Przechodnia:
\(\bigwedge_{a,b,c\in\cc-{0}} (aRb \wedge bRc <=>arga=argb \wedge argb=argc<=>arga=argc<=>aRc)\)
W związku z tym jest to relacja równoważności. Z tym że niestety nie wiem jak udowodnić że istnieje ta klasa abstrakcji: \([3+4i]\) oraz nie wiem jak zapisać ją na płaszczyźnie. Proszę o pomoc.