Algebra Superior II
Sea A un conjunto no vacío y R una relación en A, esto es, R es un subconjunto
de A A. Si (a; b) 2 R, escribimos aRb y diremos que a y b están relacionados
bajo R.
C [a] = [a] = f 2
b A : aRb g
2. Se define el conjunto cociente de A determinado por R como el conjunto
formado por todas las clases de equivalencia, y lo denotamos
A=R = f[ a] : a 2 g A
1. Sea A un conjunto formado por siete bolas numeradas del 1 al 7 y tales que
las bolas 1; 2 y 3 son rojas, las 4 y 5 son azules, y las 6 y 7 son verdes.
Considera la relación R en A dada por, aRb () a y b tienen el mismo
color.
Prueba que R es una relación de equivalencia y encuentra las clases de equiv-
alencia y el conjunto cociente.