Teoría de Conjuntos
Teoría de Conjuntos
Teoría de Conjuntos
FACULTAD DE INGENIERIA
MATEMATICA DE CÓMPUTO 1 SECCION A
1er. Semestre/junio de 2024
Reflexividad
La reflexividad de la relación R consiste en que cada elemento x perteneciente a A
, se relaciona consigo mismo, en términos matemáticos:
Transitividad
si un elemento inicial a está relacionado con un elemento intermedio b , así (a ,b), y
este elemento intermedio b también está relacionado con un elemento final c , así
(b , c ), entonces el elemento inicial también está relacionado con el elemento final
así (a ,c ), en términos matemáticos la demostración es así
−1(b−a)=−3 k
es decir a−b=3 (−k ) que también es un múltiplo de 3,
b−a+ c−b=3 n+3 m, de donde c−a=3 (n+m) siendo un multiplo de 3, por lo tanto la
pareja (a ,c ) pertenece a la relación R, R es transitiva.
Pregunta: Cuáles son todos los enteros que están relacionados con el numero 0
cuando la relación es: R={( a , b ) ∈ Z × Z ∕ b−a es un múltiplo de 3 }
{…,-9,-6,-3,0,3,6,9,…}
Pregunta: Cuáles son todos los enteros que están relacionados con el numero 1
{…,-8,-5,-2,1,4,7,10,…}
Pregunta: Cuáles son todos los enteros que están relacionados con el número 2
{…,-7,-4,-1,2,5,8,11,…}
[0]∩[1]=Ø, [0]∩ [2]=Ø, [1]∩ [2]=Ø (la intersección de dos subconjuntos diferentes
pertenecientes a P es vacia)
Teorema
si a y b ambos son pares signigica que los números pares solamente se relacionan
entre si, entonces podemos escribir la clase de equivalencia de los números pares
así
{0, 2, 4, 6, 8, … }
{1, 3, 5, 7, 9, … }
N
PARES
IMPARES
qué nos dice el subconjunto {1}, nos dice que la clase de equivalencia del 1 es
{1}, es decir el 1 solamente se relaciona consigo mismo, así (1,1) pertenece a la
relación de equivalencia R.
de igual manera, el subconjunto {2,3} es la clase del 2, para escribir las parejas
ordenadas pertenecientes a la relación de equivalencia R se realiza el producto
Cartesiano de {2,3} consigo mismo, es decir
{2,3}×{2,3} = {(2,2),(2,3),(3,3),(3,2)}
{4 , 5 , 6 }×{4 ,5 , 6 }={(4 , 4),(4 , 5),(4 , 6),(5 , 5),(5 , 4),(5 ,6),(6 ,6),(6 ,5),(6 , 4 )}