CARDINALIDAD DE CONJUNTOS

La cardinalidad de un conjunto es el nmero de elementos que contiene un

conjunto.
Si un conjunto A tiene m elementos, donde m es cualquier nmero natural,
decimos que el cardinal del conjunto A es m y se nota as:
n(A) = m.
Ejemplo 1: si A = {a, b, c} entonces n(A) = 3
Donde el conjunto A est integrado por 3 elementos por tanto su cardinalidad es 3.
Ejemplo 2: Si B = {x| x es primo y x < 20} entonces n(B) = 8
Donde el conjunto B est integrado por 8 elementos (2, 3, 5, 7, 11, 13, 17,19) por
tanto su cardinalidad es 8.
PRODUCTO CARTESIANO.
El producto cartesiano es una operacin entre don conjuntos A y B, de tal modo
que se forma otro conjunto con todos los pares ordenados posibles, obteniendo
as parejas (x,y) de modo que el primer elemento (x) pertenece al conjunto A y el
segundo elemento (y) pertenece al conjunto B.
Se nota asi:
A x B = {(x,y)| x A y B}
Ejemplo 1: dados los conjuntos A = {1, 2, 3, 4} y B = {a, b}, su producto cartesiano
es:
A B = {(1, a), (1, b), (2, a), (2, b), (3, a), (3, b), (4, a), (4, b)}
Ejemplo 2: dados los conjuntos A = {1, 2, 3,} y B = {4, 5, 6}, su producto cartesiano
es:
A B = {(1, 4), (1, 5), (1, 6), (2, 4), (2, 5), (2, 6), (3, 4), (3, 5), (3, 6)}
Propiedades del producto cartesiano.
Las principales propiedades del producto cartesiano son las siguientes:
1. A X B Y
Ax B X x Y
2. A X B = 0
A= 0 B = 0
3. A B A x B 0
Ax B B xA

4. A x (B+C) = (A x B) + (A x C).
RELACIONES
Una relacin es un vnculo o una correspondencia. La correspondencia entre dos
conjuntos es que a cada elemento del primer conjunto le corresponde al menos un
elemento del segundo conjunto.

Parejas ordenadas
El orden de los elementos en un conjunto de dos elementos no interesa, por
ejemplo: {3, 5} = {5, 3} Por otra parte, una pareja ordenada consiste en dos
elementos, de los cuales uno designa el primer elemento, y el otro, el segundo. Tal
pareja ordenada se escribe (a, b), en donde a es el primer elemento y b es el
segundo. Dos parejas ordenadas (a, b) y (c, d) son iguales si y solamente si a = c
y b = d.
Dados dos conjuntos A y B una relacin definida de A en B es un conjunto de
parejas ordenadas (par ordenado) que hacen verdadera una proposicin; dicho de
otro modo, una relacin es cualquier subconjunto del producto cartesiano A x B
Ejemplo 1.
Si A = {2, 3} y B = {1, 4, 5}, encontrar tres relaciones definidas de A en B.
Solucin
El producto cartesiano de A x B est conformado por las siguientes parejas o
pares ordenados:
A x B = {(2, 1), (2, 4), (2, 5), (3, 1), (3, 4), (3, 5)}
Y cada uno de los siguientes conjuntos corresponde a relaciones definidas de A en
B:
R1 = {(2, 1), (3, 1)}
R2 = {(2, 4), (2, 5), (3, 4), (3, 5)}

R3 = {(2, 4), (3, 5)}

La relacin R1 se puede definir como el conjunto de pares cuyo segundo elemento
es 1, esto es, R1 = {(x, y) / y = 1}.
La relacin R2 est formada por los pares cuyo primer componente es menor que
el segundo componente, R2 = {(x, y) / x < y}
Y la relacin R3 est conformada por todos los pares que cumplen con que el
segundo componente es dos unidades mayor que el primer componente, dicho de
otro modo, R3 = {(x, y) / y = x + 2}
As, se puede continuar enumerando relaciones definidas a partir de A x B. Como
se puede ver, la regla que define la relacin se puede escribir
mediante ecuaciones o desigualdades que relacionan los valores de x e y. Estas
reglas son un medio conveniente para ordenar en pares los elementos de los dos
conjuntos.
Ejemplo 2.
Dados los conjuntos C = {1, 3} y D = {2, 3, 6}, encontrar todos los pares
ordenados (x, y) que satisfagan la relacin
R = {(x, y) / x + y = 3}
Solucin
El producto cartesiano de C x D est formado por los siguientes pares ordenados
C x D = {(1, 2), (1, 3), (1, 6), (3, 2), (3, 3), (3, 6)}
Las parejas ordenadas que satisfacen que la suma de sus componentes sea igual
a 3 son:
R = {(1, 2), (3, 6)}
Toda relacin queda definida si se conoce el conjunto de partida, el conjunto de
llegada y la regla mediante la cual se asocian los elementos. En el ejemplo
anterior, el conjunto de partida corresponde al conjunto C, el conjunto de llegada
es el conjunto D y la expresin x + y = 3 es la regla que asocia los elementos de
los dos conjuntos.

Propiedades de las Relaciones

Propiedad Reflexiva
Diremos que R es reflexiva si "aA, a R a.
Grficamente podramos representarla as:

Si la relacin R es reflexiva entonces la diagonal pertenece a la relacin.

Si la relacin R es reflexiva entonces todo elemento tiene una flecha que

comienza y termina en s mismo (un bucle).
Propiedad Simtrica
Diremos que R es simtrica si " a, b A: a R b b R a.
Grficamente se representa as:

Si la relacin R es simtrica sobre A entonces los pares relacionados se

reflejan respecto a la diagonal principal.

Si la relacin R es simtrica entonces todo par de elementos que tiene una

flecha la tiene en las dos direcciones.
Propiedad Antisimtrica
Diremos que R es antisimtrica si " a, b A: [a R b b R a] a = b.
Grficamente la podemos representar as:

Si la relacin R es antisimtrica pueden existir pares por encima o por debajo de

la diagonal pero ningn par tiene reflejo respecto a la diagonal principal excepto
la diagonal misma.

La relacin R es antisimtrica si para cada par de elementos distintos

relacionados la flecha est solo en un sentido.

Propiedad Asimtrica
Diremos que R es asimtrica si " a, b A: [a R b b R a]
Grficamente se representa as:

Propiedad Transitiva
Diremos que R es transitiva si " a, b, c A: [a R b b R c] a R c
Grficamente la podemos representar as:

La relacin R es transitiva si cada vez que hay un camino entre tres elementos,
tambin est la flecha que comienza en el principio del camino y va al elemento
que es final del camino.

Propiedad de Equivalencia
Para que esta propiedad se cumpla, R debe ser, Reflexiva, Simtrica y Transitiva.

FUNCIONES

En matemtica, una funcin (f) es una relacin entre un conjunto

dado X (llamado dominio) y otro conjunto de elementos Y (llamado codominio) de
forma que a cada elemento x del dominio le corresponde un nico
elemento f(x) del codominio (los que forman el recorrido, tambin
llamado rango o mbito).

De esto modo podemos deducir que todas las funciones son relaciones, pero no
todas las relaciones son funciones.
Tambin debemos agregar que toda ecuacin es una Relacin, pero no toda
ecuacin es una Funcin.
En lenguaje cotidiano o ms simple, diremos que las funciones matemticas
equivalen al proceso lgico comn que se expresa como depende de.
Las funciones matemticas pueden referirse a situaciones cotidianas, tales como:
el costo de una llamada telefnica que depende de su duracin, o el costo de
enviar una encomienda que depende de su peso.
A modo de ejemplo, cul sera la regla que relaciona los nmeros de la derecha
con los de la izquierda en la siguiente lista?:
1 --------> 1
2 --------> 4
3 --------> 9
4 --------> 16
Los nmeros de la derecha son los cuadrados de los de la izquierda.
La regla es entonces "elevar al cuadrado":
1 --------> 1
2 --------> 4
3 --------> 9
4 --------> 16
x --------> x2.
Para referirse a esta regla podemos usar un nombre, que por lo general es la
letra f (de funcin). Entonces, f es la regla "elevar al cuadrado el nmero".
Usualmente se emplean dos notaciones:
x --------> x2

f(x) = x2 .

As, f(3) significa aplicar la regla f a 3. Al hacerlo resulta 3 2 = 9.

Entonces f(3) = 9. De igual modo f(2) = 4, f(4) = 16, f(a) = a2, etc.
Dominio y Codominio
Ahora, si f : A B es una funcin, A se llama el Dominio de f . y B se llama el
Codominio de f .

BIBLIOGRAFIA

http://www.profesorenlinea.cl/matematica/Relaciones_y_funciones.html

http://mdiscret.blogspot.com/p/ejercicios.html
http://itchetumal.edu.mx/v2014/paginasvar/Maestros/mduran/Archivos/Unidad
%204%20Relaciones.pdf

CARDINALIDAD DE CONJUNTOS, PRODUCTO CARTESIANO,

RELACIONES Y FUNCIONES

MICHAEL ALEXANDER RODRIGUEZ URBINA

PROGRAMACIN DE COMPUTADORES
GRUPO 1

UNIVERSIDAD NACIONAL DE COLOMBIA

BOGOTA D.C.
2015