ACTIVIDAD COLABORATIVA UNIDAD 2

RELACIONES Y FUNCIONES

CURSO: TEORA DE NMEROS

PRESNTADO POR

OSCAR JAVIER SALAZAR GOMEZ

GRUPO: 551120_10

TUTOR: CARLOS EDMUNDO LPEZ

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA_UNAD

ESCUELA DE CIENCIAS DE LA EDUCACIN

LICENCIATURA EN MATEMTICAS
 TRABAJO COLABORATIVO UNIDAD 2

Preguntas Iniciales:
Qu es un conjunto contable e incontable?
En matemticas, un conjunto numerable es un conjunto con la misma cardinalidad (nmero de
elementos) que un subconjunto del conjunto de nmeros naturales. Un conjunto numerable es o bien
un conjunto finito o un conjunto infinito numerable. Por ejemplo, un conjunto T es numerable o
contable cuando entre este conjunto y el conjunto de todos los nmeros naturales se puede establecer
una biyeccin. De modo que el conjunto tiene la misma cardinalidad que el conjunto N.
Un conjunto S es contable si existe una funcin inyectiva f desde S a los nmeros naturales N = {0,
1, 2, 3,...}.1

Si a un conjunto f llega a ser tambin sobreyectiva (y por lo tanto biyectiva), entonces S se llama
infinito numerable.
En otras palabras, un conjunto es infinito numerable si tiene correspondencia uno a uno con el
conjunto de los nmeros naturales, N.
Como se seal anteriormente, esta terminologa no es universal. Algunos autores utilizan contable
en el sentido de lo que aqu se llama infinito numerable, y no incluyen los conjuntos finitos.
Formulaciones alternativas (equivalentes) de la definicin en trminos de una funcin biyectiva o una
funcin sobreyectiva tambin se puede dar. Vase abajo.

Un conjunto no numerable es un conjunto que no puede ser enumerado, es decir, un conjunto tal
que no existe una funcin sobreyectiva del conjunto de los nmeros naturales a dicho conjunto. Es
decir, un conjunto A es no numerable si no existe ninguna funcin f tal que:

Un conjunto A es no numerable si no existe una funcin inyectiva:

Un conjunto A es no numerable si su cardinal es mayor que Aleph-0:

Qu es un homomorfismo y un isomorfismo?

El trmino isomorfismo quiere decir igual forma, con ello se busca destacar la idea segn la cual
existen similitudes y correspondencias formales entre diversos tipos de sistemas. La palabra
isomrfico se refiere entonces a la construccin de modelos de sistemas similares al modelo original.
El descubrimiento de un isomorfismo entre dos estructuras significa fundamentalmente que el estudio
de cada una puede reducirse al de la otra, lo cual deja ver en claro dos puntos de vista desiguales
sobre cada cuestin y suele ser primordial en su adecuada comprensin. Dos estructuras
matemticas entre las que existe una relacin de isomorfismo se llaman isomorfas. En lgebra
abstracta, isomorfismo es una biyectiva f tal que f y su inverso (que sera f elevado a -1) sean ambos
homomorfismos. Esto significa que dos sistemas tienen una parte de su estructura general.
En matemticas, un homomorfismo (o a veces simplemente morfismo) desde un objeto matemtico
a otro con la misma estructura algebraica, es una funcin que preserva las operaciones definidas en
dichos objetos.

Explique brevemente los nmeros de Fibonacci y de Lucas? D un ejemplo de

cada tem.

Los nmeros de Fibonacci, son probablemente la sucesin de nmeros mas famosa del mundo por
diferentes razones, una de las principales es que la razn entre un nmero de Fibonacci y su sucesor,
tiende al nmero de oro (tambin conocido como nmero ureo o proporcin urea), que se repite
infinitamente en la naturaleza y al parecer, de alguna manera, define la belleza.

A este nmero de oro, lo denotamos y est dado por:

Ejemplo:

Hagamos un ejemplo sencillo de como obtener usando los nmeros de Fibonacci. Si no est
familiarizado con los nmeros de Fibonacci, los listar a continuacin (note que cada nmero es el
resultado de la suma de sus dos predecesores):

Ahora tomemos, por ejemplo 89 y 55. Su cociente es bastante cercano a :

Y de esta manera, entre mas grande sea el par de nmeros de Fibonacci consecutivos, ms cercano

ser su cociente a . Lastimosamente para Fibonacci, su sucesin no es la nica de la que se

puede obtener el nmero de oro (de hecho hay infinidad de sucesiones). Ahora, me gustara que el
lector tomara un lpiz y un pedazo de papel (y tal vez una calculadora) e hiciera lo siguiente: escoja
sus dos nmeros enteros positivos favoritos, para mayor agilidad, le recomiendo que no tengan ms
de dos dgitos cada uno; en mi caso sern 19 y 11, pero no tienen que ser nmeros primos
necesariamente.
Ahora smelos, y de la misma manera en la que se obtienen los nmeros de fibonacci contine
(recuerde, cada nmero es el resultado de la suma de sus dos predecesores).

Y de esta manera, se obtiene la sucesin:

Los nmeros de Lucas son los nmeros pertenecientes a la sucesin de enteros, llamados as por el
matemtico Franois douard Anatole Lucas (1842-1891), que estudi tanto que la secuencia y
los nmeros de Fibonacci estrechamente relacionados con los Lucas. No deben ser confundidos con
la Sucesin de Lucas, que es la sucesin a la cul pertenecen los nmeros de Lucas.

De manera similar a los nmeros de Fibonacci, cada nmero de Lucas se define como la suma de
sus dos inmediatos anteriores, formando as una secuencia de enteros de Fibonacci. Los dos
primeros nmeros Lucas son L0 = 2 y L1 = 1 en contraposicin a los dos primeros nmeros de
Fibonacci que son F0 = 0 y F1 = 1. Aunque estrechamente relacionado en la definicin, los nmeros
de Lucas y de Fibonacci presentan propiedades distintas.

Los nmeros de Lucas pueden as ser definidos como sigue:

La secuencia de nmeros Lucas es:

2,1,3.4.7,11,18,29,47,76,123
 EJERCICIOS

1. Sean J= {0,1,2,3,4} y defina la funcin F:JJ de la siguiente manera: Para cada x que
pertenece a J () = 2 + 2 + 4 2. Encuentre lo siguiente:

a) F(0)
b) F(2)
c) F(4)

Entonces:
Se tiene:

: x f(x)
{
() = 2 + 2 + 4
0 4
2 12
4 28

: : = {(0,4), (2,12), (4,28)}

2. Escribir cada relacin en una tabla y dibuje la grfica.

a) Relacin R en {1,2,3,4} definida por (, ) 2

X 1 2 2 2 2 3 3 3 3 4 4 4 4

y 1 1 2 3 4 1 2 3 4 1 2 3 4
b) La relacin = {(1,1), (1,2), (2,1), (2,3), (3,3), (3,1)} = {1,2,3}

Se nota que el dominio de R = {1,2,3} y el recorrido de R= {1,2,3}

X 1 1 2 2 3 3

y 1 2 1 3 3 1

3. Determine si las siguientes relaciones son de equivalencia en el conjunto de personas:

Recordemos que:

Para que una relacin sea equivalente debe cumplir tres propiedades:
Para que una relacion sea de equivalencia debe cumplir tres propiedades :
Re flexiva : x, x A xRx
Simtrica : xy, xRy yRx
Transitiva : xyz, xRy yRz xRz

a) {(, )| y tienen los mismos padres}.

S es Re flexiva porque : x, x A xRx

S es Simtrica porque : xy, xRy yRx
S es Transitiva porque : xyz , xRy yRz xRz
S es una Re lacin de equivalencia
b) {(, )| y tienen el mismo apellido}.

S es Re flexiva porque : x, x A xRx

S es Simtrica porque : xy , xRy yRx
No es Transitiva porque : xyz , x, y R, y, z R x, z R
por diferir en uno de los dos apellidos
No es una Re lacin de equivalencia

c) {(, )| es ms alto que }.

No es Re flexiva porque : x, x A x, x R
No es Simtrica porque : xy, x A y B x, y R y , x R
No es Transitiva porque : xyz , x, y R, y, z R x, z R
No es una Re lacin de equivalencia

d) {(, )| y viven en el mismo barrio}.

S es Re flexiva porque : x, x A xRx

S es Simtrica porque : xy, xRy yRx
S es Transitiva porque : xyz , xRy yRz xRz
S es una Re lacin de equivalencia

e) {(, )| y son de la misma edad}.

S es Re flexiva porque : x, x A xRx

S es Simtrica porque : xy, xRy yRx
S es Transitiva porque : xyz , xRy yRz xRz
S es una Re lacin de equivalencia
4. Encuentre si la relacin es una relacin de equivalencia.

a) {(1,1,),(2,2),(3,3),(4,4),(5,5),(1,3),(3,1)}.

S es Re flexiva porque : x, x A xRx

S es Simtrica porque : xy, xRy yRx
S es Transitiva porque : xyz , xRy yRz xRz
S es una Re lacin de equivalencia

b) {(x,y)|2 divide a x+y}

(2,4)|2
2| 2+4
Es una relacin simtrica, es reflexiva y es transitiva por tanto es una relacin de equivalencia.
La suma de los nmeros pares es un nmero par, todo nmero par es divisible por dos. Si 2y 4
son divisibles por 2 entonces 2+4 es divisible por dos.

c) {(1,1),(2,2),(3,3),(4,4),(5,5),(5,1),(3,5),(5,3),(1,3),(2,1)}.

S es Re flexiva porque : x, x A xRx

S es Simtrica porque : xy, xRy yRx
S es Transitiva porque : xyz , xRy yRz xRz
S es una Re lacin de equivalencia

d) {(x,y)|1 6 1 6}.

x 1, 2,3, 4,5, 6
y 1, 2,3, 4,5, 6

Es una relacin de equivalencia en:

[1]=[2]=[3]=[4]=[5]=[6]={1,2,3,4,5,6}
5. Determine cules de las siguientes relaciones de congruencia son verdaderas y cules son
falsas:
a) 103 mod 2

La congruencia se define como: ab mod(m) si m| b-a

Entonces tenemos: a=3 , b=10 , m=2
(3-10) =-7 2|-7 no es un nmero exacto porque 2 no divide exactamente a 7. No es
una congruencia; por tanto, es falso.

b) 123 mod 10

Entonces tenemos: a=20 , b=40 ,m=12

(3-12) =-9 10|-9 no es un nmero exacto porque 10 no divide exactamente a -9; por
tanto es falso.

c) 2040 mod 12

Entonces tenemos: a=20, b=40 , m=12

(40-20) =20 12| 20 no es un nmero exacto porque 12 no divide exactamente a 20; por lo
que es falsa esta congruencia.

6. Sea X={1,3,5} y Y={a,b,c,d}. Defina la funcin dada en el diagrama de flechas:

Por ser una funcin de la forma f(x) = b , donde b es una constante, se conoce como una
funcin constante.
a) Escriba el dominio y el codominio de g.
Dom g 1,3,5
Codom g a, b, c, d

b) Encuentre g(1), g(3), g(5).

Las imagenes delos elementos 1,3,5 son respectivamente :

g 1 b
g 3 b
g 5 b

c) Cul es el rango de g?

Rango g : b

d) Es 5 una imagen inversa de a?

No. Porque no hay f 1 a

e) Es 1 una imagen inversa de b?

S . f 1 b 1

f) Cul es la imagen inversa de b?

el elemento b posee tres imagenes inversas :

f 1 b 1,3,5

g) Represente a g como un conjunto de pares ordenados.

g como conjunto de pares ordenados :

g 1, b , 3, b , 5, b
7. Halle las funciones compuestas dadas segn el siguiente grfico:

Sea X={a,b,c}, Y={x,y,z}, Z={u,v,w}. Se define : , : .

a) .

Los conjuntos de pares ordenados de las funciones son :

f a, y , b, x , c, z
g x, v , y, w , z , u

Verificamos si existe g f :
Dom g x, y, z
Rang f a, b, c
Dom g Rang f g f No existe

b) ( )1

Como g f No existe; por tan to tampoco tiene inversa :

g f No existe.
1

c) 1

Como la funcin g es :
g x, v , y, w , z , u

La inversa de la funcin g es g 1 , ser :

g 1 v, x , w, y , u, z
d) 1
Como la funcin f es :
f a, y , b, x , c, z

La inversa de la funcin f es f 1 , ser :

f 1 y, a , x, b , z , c

e) 1 1

Los conjuntos de pares ordenados de las funciones inversas f 1 y g 1son :

f 1 y, a , x, b , z , c
g 1 v, x , w, y , u , z

Verificamos si existe f 1 g 1 :
Dom f 1 x, y, z
Rang g 1 x, y, z
Dom f 1 Rang g 1 x, y, z f 1 g 1 S existe
Luego :
v, x g 1 x, b f 1 v, b f 1 g 1
w, y g 1 y, a f 1 w, a f 1 g 1
u, z g 1 z, c f 1 u, c f 1 g 1

f 1 g 1 v, b , w, a , u , c

f) Establezca como estn relacionadas ( )1 y 1 1

g f No existe, mientras que f 1 g 1 si existe.

1
 REFERENCIAS BIBLIOGRFICAS

https://es.wikipedia.org/wiki/Conjunto_numerable

https://es.wikipedia.org/wiki/Conjunto_no_numerable

https://matematica.laguia2000.com/general/isomorfismo

https://elblogdecontar.wordpress.com/2016/07/04/fibonacci-y-lucas-parte-ii/