MD Tema 1

También podría gustarte

Está en la página 1de 17

Teoría (intuitiva) de Conjuntos

Es el fundamento de la matemáticas y de varias áreas de las Ciencias de


Matemática Discreta
la Computación.

Dpto. de Matemática Aplicada


La Teoría de Conjuntos se define mediante un Sistema Axiomático.
Universidad de Málaga

Aunque trabajar con estas teorías axiomáticas queda fuera de los


objetivos del curso, sí es necesario conocer sus elementos básicos:
Teoría Intuitiva de Conjuntos.

Dpto. de Matemática Aplicada (UMA) Matemática Discreta 1 / 68 Dpto. de Matemática Aplicada (UMA) Matemática Discreta 3 / 68

Algunos símbolos 1.1 Teoría (intuitiva) de Conjuntos

La Teoría de Conjuntos es el área de las matemáticas que estudia la


relación de pertenencia entre conjunto y elemento.
8 Para todo 9 Existe
x 2 A, leído ‘‘x pertenece a A’’,
^ y (conjunción) _ o (disyunción)
indica que A es un conjunto (colección de objetos) y x es uno de sus
!, ) implica $, , si y solo si
elementos.
| tal que
Será muy útil en lo sucesivo la notación x 62 A, para indicar que x NO es
p|q si p, q 2 N, se lee ‘‘p divide a q’’ elemento de A.

Ejemplos:
. 2 {", ., 1}, + 62 {", ., 1}

Dpto. de Matemática Aplicada (UMA) Matemática Discreta 2 / 68 Dpto. de Matemática Aplicada (UMA) Matemática Discreta 4 / 68
Teoría de Conjuntos: definiciones Teoría de Conjuntos: definiciones

Definición (Axioma de extensión)


Definición (Inclusión)
Dos conjuntos A y B son iguales si tienen los mismos elementos.
Dados los conjuntos A y B, se dice que A está contenido en B si todo
def.
⇣ ⌘
A=B () 8x x 2 A $ x 2 B elemento de A es tambien un elemento de B.
def.
A✓B () 8x(x 2 A ! x 2 B)
Es decir, un conjunto queda completamente especificado por sus
elementos.
Si A ✓ B, decimos que A es un subconjunto de B.
De esta forma, si describimos un conjunto dando la lista de sus
elementos, decimos que se define por extensión. Por ejemplo: Si A ✓ B y A 6= B, decimos que A es un subconjunto propio de B y lo
A = {a, b, c} denotamos A ⇢ B.

Atendiendo a la definición de igualdad, en las representaciones por Trivialmente: A = B si y solo si A ✓ B y B ✓ A.


extensión, no importa el orden en que se escriban los elementos ni las
posibles repeticiones. Por ejemplo: ¡OJO!: Debemos tener mucho cuidado y NO confundir la relación de
pertenencia 2, y la relación de inclusión ✓.
{a, b, c, } = {b, a, c}; {a, b, a} = {a, b, b} = {a, b}
Dpto. de Matemática Aplicada (UMA) Matemática Discreta 5 / 68 Dpto. de Matemática Aplicada (UMA) Matemática Discreta 7 / 68

Ejemplos: Conjuntos numéricos Teoría de Conjuntos: definiciones

N = {0, 1, 2, 3, . . . }: Conjunto de los números naturales.

Z = {. . . , 3, 2, 1, 0, 1, 2, 3, . . . }: Conjunto de los números enteros.


Definición (Axioma del conjunto vacío)
Z+ = {1, 2, 3, . . . }: Conjunto de los números enteros positivos. Existe un conjunto que no tiene elementos. Este conjunto se denomina
⇢ conjunto vacío y se denota por ?.
p
Q = ± ; p, q 2 N, p, q primos entre sí :
q
Conjuntos de los números racionales.

R: Conjuntos de los números reales.

Dpto. de Matemática Aplicada (UMA) Matemática Discreta 6 / 68 Dpto. de Matemática Aplicada (UMA) Matemática Discreta 8 / 68
Teoría de Conjuntos Teoría de Conjuntos: definiciones

Teorema
El conjunto vacío esta contenido en todos los conjuntos
Definición (Axioma de la unión)
Si A y B son conjuntos, existe otro conjunto formado exactamente por los
Demostración: ? = {x 2 A | x 62 A} ✓ A
elementos de A y B:
def.
x 2A[B () x 2 A, o bien x2B Definición
La intersección de A y B es el conjunto formado por los elementos de A que
también son elementos de B:
Ejemplo: {a, b} [ {c, d} = {a, b, c, d}
A \ B = {x 2 A | x 2 B}
Ejemplo: {a, b, c} [ {b, c, d} = {a, b, c, d}
Por lo tanto, en particular A \ B ✓ A
Equivalentemente, A \ B = {x 2 B | x 2 A} ✓ B

Dpto. de Matemática Aplicada (UMA) Matemática Discreta 9 / 68 Dpto. de Matemática Aplicada (UMA) Matemática Discreta 11 / 68

Teoría de Conjuntos: definiciones Teoría de Conjuntos: definiciones

Definición (Axioma de comprensión)


Si A es un conjunto y p(x) es una propiedad aplicable a elementos de A, Definición
existe un subconjunto de A formado por los elementos de A que verifican la La diferencia de dos conjuntos A y B es el conjunto
propiedad. Este conjunto se escribe como
A B = {x 2 A | x 2
/ B}
{x 2 A | p(x)}

A B se denomina igualmente complemento relativo de B en A.


Los (sub)conjuntos descritos de esta forma, se dice que están definidos
por comprensión o de forma implícita. Ejemplo: {1, 2, 8, 9} {2, 6, 7} = {1, 8, 9}

Ejemplo: {x 2 N | x es primo } {2, 6, 7} {1, 2, 8, 9} = {6, 7}

Ejemplo: {x 2 R | x2 5x + 6 = 0} = {2, 3}

Dpto. de Matemática Aplicada (UMA) Matemática Discreta 10 / 68 Dpto. de Matemática Aplicada (UMA) Matemática Discreta 12 / 68
Teoría de Conjuntos: definiciones Propiedades de la unión y la intersección

Teorema
En muchas aplicaciones concretas, es habitual trabajar dentro de un Si A, B y C son conjuntos, entonces
Universo, es decir, un conjunto que contiene a todos los conjuntos con
1. Conmutativa: A [ B = B [ A; A\B=B\A
los que trabajamos en dicha aplicación.
2. Asociativa: A [ (B [ C) = (A [ B) [ C; A \ (B \ C) = (A \ B) \ C
En estos casos, algunas notaciones se pueden simplificar. Por ejemplo, 3. Absorción: A [ (A \ B) = A; A \ (A [ B) = A
si trabajamos en un universo U , escribiremos 4. Idempotencia: A [ A = A; A\A=A
5. Identidad: ?[A=A
A=U A
6. Dominancia: ?\A=?
Este conjunto se denomina complementario de A. 7. Distributiva: A [ (B \ C) = (A [ B) \ (A [ C);
A \ (B [ C) = (A \ B) [ (A \ C)

Dpto. de Matemática Aplicada (UMA) Matemática Discreta 13 / 68 Dpto. de Matemática Aplicada (UMA) Matemática Discreta 15 / 68

Teoría de Conjuntos: definiciones Prop. de la unión, intersección y complementación

Teorema
Definición (Axioma del conjunto de las partes) 8. Cotas: A✓B () A[B=B () A\B=A
Si A es un conjunto, existe otro conjunto cuyos elementos son los
subconjuntos de A: Teorema
def.
B 2 }(A) () B ✓ A Si A y B son conjuntos dentro de un universo U , entonces:

9. Complemento: A [ A = U; A\A=?
Ejemplo: Si A = {1, 2}, entonces 10. De Morgan: A [ B = A \ B; A\B=A[B
n o
11. Involución: A=A
}(A) = ?, {1}, {2}, {1, 2}

OBSERVACIÓN: Las propiedades 1-11 de los teoremas anteriores se


denominan propiedades básicas. Junto con las definiciones, se podrán usar
para demostrar las propiedades que se pidan en los ejercicios.

Dpto. de Matemática Aplicada (UMA) Matemática Discreta 14 / 68 Dpto. de Matemática Aplicada (UMA) Matemática Discreta 16 / 68
Prop. de la unión, intersección y complementación Ejemplo de demostración

La propiedad asociativa de la unión y de la intersección permite


Proposición
prescindir de los paréntesis cuando aplicamos estos operadores a más
Si A y B son conjuntos en un universo U , entonces
de dos conjuntos
A B=A\B
A [ B [ C = (A [ B) [ C = A [ (B [ C)
A \ B \ C = (A \ B) \ C = A \ (B \ C)
Demostración: Vamos a demostrar que A B✓A\B y A\B✓A B
También podremos utilizar expresiones del tipo (✓) Supongamos que x 2 A B.
n
[ n
\ Entonces, por la definición de diferencia: x 2 A y x 62 B.
Ai , Ai
i=1 i=1
Si x 62 B, por la definición del complementario x 2 B
Por lo tanto, x 2 A y x 2 B, es decir, x 2 A \ B
para representar la unión y la intersección, respectivamente, de una
familia de conjuntos. (◆) Análoga (hacer como ejercicio)

Dpto. de Matemática Aplicada (UMA) Matemática Discreta 17 / 68 Dpto. de Matemática Aplicada (UMA) Matemática Discreta 19 / 68

Prop. de la unión, intersección y complementación Propiedades de la diferencia (Ejercicios)

Para poder trabajar con mayor flexibilidad, en muchas ocasiones Teorema


utilizaremos conjuntos de subíndices, I, no necesariamente numéricos; Si A, B y C son conjuntos, entonces:
en estos casos, adoptaremos la siguiente notación:
[ \ Elemento Neutro: A ?=A
Ai , Ai Elemento Simétrico: A A=?
i=I i=I
Antidistributiva: A (B [ C) = (A B) \ (A C)
Sobre estas notaciones extendidas, podremos aplicar las propiedades de
A (B \ C) = (A B) [ (A C)
distribución y de De Morgan generalizadas:
Distrib. de \ resp. : A \ (B C) = (A \ B) (A \ C)
[ [ \ \ Distrib. de resp. \: (A \ B) C = (A C) \ (B C)
A\ Bi = (A [ Bi ); A[ Bi = (A \ Bi );
Distrib. de resp. [: (A [ B) C = (A C) [ (B C)
i2I i2I i2I i2I

[ \ \ [ ¡OJO!: Dado que la diferencia no es conmutativa, la distributividad de \


Bi = Bi ; Bi = Bi
i2I i2I i2I i2I resp. solo es válida por la izquierda y las de resp. \ y resp. [
solo son válidas por la derecha.
Dpto. de Matemática Aplicada (UMA) Matemática Discreta 18 / 68 Dpto. de Matemática Aplicada (UMA) Matemática Discreta 20 / 68
Ejemplo de demostración: Producto cartesiano
A \ (B C) = (A \ B) (A \ C)
Definición (Producto cartesiano)
El producto cartesiano de los conjuntos A y B es el conjunto:
Para demostrar esta propiedad, vamos a utilizar las propiedades
A ⇥ B = {(a, b); a 2 A, b 2 B}
fundamentales de la unión, intersección y complementación.
(A \ B) (A \ C) = (A \ B) \ (A \ C) (Demostrado anteriormente)
Los elementos de estos conjuntos se denominan pares ordenados.
= (A \ B) \ (A [ C) (De Morgan)
⇣ ⌘ ⇣ ⌘
= (A \ B) \ A [ (A \ B) \ C (Distribución) La palabra orden en esta denominación se refiere a la posición que
⇣ ⌘
= ? [ (A \ B) \ C (Complementación) ocupan los elementos dentro de la pareja.
⇣ ⌘
= (A \ B) \ C (Identidad) Por ejemplo,
⇣ ⌘
= A \ (B \ C) (Asociatividad) (1, 2) 2 N ⇥ N
= A \ (B C) (Demostrado anteriormente) pero: (1, 2) 6= (2, 1)
(2, 1) 2 N ⇥ N

Dpto. de Matemática Aplicada (UMA) Matemática Discreta 21 / 68 Dpto. de Matemática Aplicada (UMA) Matemática Discreta 23 / 68

1.2 Relaciones Producto cartesiano

Definición (Producto cartesiano)


El producto cartesiano de los conjuntos A1 , A2 , . . . , An , denotado
Las relaciones en matemáticas se estudian para formalizar las A1 ⇥ A2 ⇥ · · · An , es el conjunto de todas las n-tuplas ordenadas:
conexiones entre elementos de dos o más conjuntos.
A1 ⇥ A2 ⇥ · · · ⇥ An = (a1 , a2 , . . . , an ); aj 2 Aj , j 2 {1, 2, . . . , n}
Son importantes en matemáticas y en computación por sus aplicaciones
teóricas (relaciones de orden, equivalencias,. . . ) y por sus
aplicaciones más prácticas (bases de datos). La denominación n-tupla es genérica, pero para cada n concreto
utilizaremos la denominación adecuada: terna, cuádrupla,
Constantemente nos encontramos y manejamos relaciones: ordenación quíntupla,. . .
de números, relaciones de parentesco, guías telefónicas, directorios de
personal,. . . Si los conjuntos del producto son iguales, se puede utilizar una notación
más simple:
A ⇥ A = A2 , A⇥ .(n. . ⇥A = An

Dpto. de Matemática Aplicada (UMA) Matemática Discreta 22 / 68 Dpto. de Matemática Aplicada (UMA) Matemática Discreta 24 / 68
Relaciones n-arias Relaciones binarias

Definición (Relación n-aria)


Una relación n-aria en los conjuntos A1 , A2 ,. . . , An es cualquier
Para las relaciones binarias, es frecuente utilizar la notación infija para
subconjunto R del producto cartesiano A1 ⇥ A2 ⇥ · · · An .
representar los pares relacionados:
R ✓ A1 ⇥ A2 ⇥ · · · An Si R ⇢ A ⇥ B y (a, b) 2 R, escribiremos aRb y diremos que a
está relacionado mediante R con b.
En número n se denomina igualmente grado o aridad de la relación.
Ejemplo: Si A1 = {1, 2, 3}, A2 = {a, b, c}, podemos definir la relación R
escribiendo:
La denominación n-aria es genérica, en cada caso particular
1Rc, 2Ra, 3Rb.
utilizaremos la denominación específica: binaria, ternaria,. . . . Para
más de dos elementos, es preferible utilizar la palabra grado (p.e., sea
Es decir, R = {(1, c), (2, a), (3, b)}
R una relación de grado 4). Y es preferible la palabra grado a aridad.

En este curso solo vamos a trabajar con relaciones binarias.


Dpto. de Matemática Aplicada (UMA) Matemática Discreta 25 / 68 Dpto. de Matemática Aplicada (UMA) Matemática Discreta 27 / 68

Relaciones binarias: ejemplos Relaciones binarias

Definición (Dominio y Rango)


Sea R una relación binaria de A en B, es decir R ✓ A ⇥ B, llamamos
Si E es el conjunto de los españoles, podemos considerar la relación M
dominio de R al conjunto
que contiene a todos los matrimonios.
Dom(R) = {a 2 A | 9b 2 B, (a, b) 2 R} ⇢ A
Para A1 = R+ y A2 = R, podemos considerar la relación
Y llamamos rango de R al conjunto
R = {(x, y) 2 R+ ⇥ R | x = y 2 }
Ran(R) = {b 2 B | 9a 2 A, (a, b) 2 R} ⇢ B
Para A1 = R y A2 = R, podemos considerar la relación
El rango se puede denominar igualmente Imagen, Im(R).
x2 y2
E = {(x, y) 2 R ⇥ R | + = 1} Ejemplo: Para R = {(1, 2), (2, 3), (3, 2), (4, 2), (4, 5), (5, 1)} ⇢ N ⇥ N:
9 4
Dom(R) = {1, 2, 3, 4, 5}, Ran(R) = {1, 2, 3, 5}

Dpto. de Matemática Aplicada (UMA) Matemática Discreta 26 / 68 Dpto. de Matemática Aplicada (UMA) Matemática Discreta 28 / 68
Relaciones binarias Relaciones de orden

Definición (Relación de orden parcial)


Dado que las relaciones son conjuntos, podemos combinar dos o mas
Sea A un conjunto no vacío y R una relación binaria en A. Decimos que R
relaciones con las distintas operaciones entre conjuntos que hemos
es una relación de orden parcial si es reflexiva, antisimétrica y transitiva.
aprendido anteriormente: unión, intersección, diferencia y diferencia
simétrica de relaciones.
Además, también podremos realizar otras operaciones, como la relación Las relaciones de orden sirven comparar magnitudes y establecer
inversa y la composición, que estudiaremos en el tema 4. preferencias.
Aunque las relaciones entre conjuntos distintos es frecuente en Los símbolos más usuales para representar relaciones de orden son:
aplicaciones reales, la mayoría de los ejemplos de relaciones que , , v, ✓ y otros similares.
manejamos en matemáticas son de un conjunto en sí mismo.
Si una relación solo tiene las propiedades reflexiva y transitiva, se dice
Ejemplo: La relación | de divisibilidad definida en N. que es un preorden.
Ejemplo: Relación de orden entre números. Si una relación de orden es además conexa, se dice que la relación es
de orden total.

Dpto. de Matemática Aplicada (UMA) Matemática Discreta 29 / 68 Dpto. de Matemática Aplicada (UMA) Matemática Discreta 31 / 68

Tipos de relaciones Ejemplos

Definición La relación de orden habitual entre números reales, es efectivamente


Sea R una relación binaria en A. una relación de orden.
R se dice reflexiva si para todo a 2 A: aRa
R se dice simétrica si para todo a, b 2 A: aRb =) bRa Si S es un conjunto cualquiera, ✓ es una relación de orden parcial en
R se dice antisimétrica si para todo a, b 2 A: aRb y bRa =) a = b }(S).
R se dice transitiva si para todo a, b, c 2 A: aRb y bRc =) aRc
R se dice conexa si para todo a, b 2 A: aRb, o bien bRa La relación de divisibilidad en N es una relación de orden.

Dpto. de Matemática Aplicada (UMA) Matemática Discreta 30 / 68 Dpto. de Matemática Aplicada (UMA) Matemática Discreta 32 / 68
Relaciones de equivalencia Relaciones de equivalencia

Definición (Clases de equivalencia)


Definición
Sea ⇠ una relación de equivalencia definida en un conjunto A y sea a 2 A. El
Una relación R en A se dice que es una relación de equivalencia si es
subconjunto de A formado por los elementos equivalentes a a se llama
reflexiva, simétrica y transitiva.
clase de equivalencia de a y se denota [a]⇠ .

[a]⇠ = {x 2 A | x ⇠ a}
Las relaciones de equivalencia sirven para introducir nociones de
igualdad dentro de los conjuntos basados en determinadas
características. Si b 2 [a]⇠ , se dice que b es un representante de esta clase de
Los símbolos habituales para representar relaciones de equivalencia son equivalencia.
=, ⌘, ⇠, ⇡ y otros similares. Cualquier elemento de una clase se puede usar como representante de
dicha clase.

Dpto. de Matemática Aplicada (UMA) Matemática Discreta 33 / 68 Dpto. de Matemática Aplicada (UMA) Matemática Discreta 35 / 68

Ejemplos Particiones

Definición
La relación de semejanza de triángulos es una relación de equivalencia. Una partición de un conjunto S es una familia de subconjuntos de S,
P = S1 , ..., Sk tales que:
La relación definida en Z como: Si \ Sj = ? para todo i, j; es decir, son disjuntos dos a dos.

a ⌘3 b () |a b| es múltiplo de 3 S1 [ S2 [ ... [ Sk = S

es una relación de equivalencia.


Ejemplo: P = {1, 3}, {2, 5}, {4} es una partición del conjunto
La relación de igualdad entre fracciones es una relación de equivalencia S = {1, 2, 3, 4, 5}

p r
= () p·s=q·r Ejemplo: La siguiente familia es una partición de N:
q s

{x 2 N | x es par }, {x 2 N | x es impar }

Dpto. de Matemática Aplicada (UMA) Matemática Discreta 34 / 68 Dpto. de Matemática Aplicada (UMA) Matemática Discreta 36 / 68
Relaciones de equivalencia y particiones Ejemplo

Definición
Sea ⇠ una relación de equivalencia definida en un conjunto A. El conjunto
formado por las clases de equivalencia de ⇠ se denomina conjunto Consideremos la siguiente partición de A = {1, 2, 3, 4, 5, 6}:
cociente y se denota A/⇠ :
A1 = {1, 3, 5}, A2 = {4, 6}, A3 = {2}
A/⇠ = {[a]⇠ ; a 2 A}
La relación de equivalencia inducida es
Ejemplo: para la relación en Z definida por
RP = {(1, 1), (1, 3), (1, 5), (3, 1), (3, 3), (3, 5), (5, 1), (5, 3), (5, 5),
a ⌘3 b () |a b| es multiplo de 3, (4, 4), (4, 6), (6, 4), (6, 6),

el conjunto cociente está formado por solo 3 elementos distintos: (2, 2)}

Z/⌘ = {[0]⌘3 , [1]⌘3 , [2]⌘3 }


3

Dpto. de Matemática Aplicada (UMA) Matemática Discreta 37 / 68 Dpto. de Matemática Aplicada (UMA) Matemática Discreta 39 / 68

Relaciones de equivalencia y particiones Funciones

Teorema
Si ⇠ es una relación de equivalencia en A, entonces el conjunto cociente,
A/⇠ es una partición de A.

Con los conjuntos, son los elementos más básicos en los que se
sustentan las matemáticas.
Teorema
Si P es un partición de A, entonces existe una relación de equivalencia en A Las funciones son una clase particular de relaciones.
tal que A/⇠ = P.

Demostración: (trivial) Sea P una partición de A;


la relación inducida por esta partición es:

a ⇠P b () Existe S 2 P tal que a, b 2 S

Dpto. de Matemática Aplicada (UMA) Matemática Discreta 38 / 68 Dpto. de Matemática Aplicada (UMA) Matemática Discreta 40 / 68
Funciones Ejemplos

La función de f1 : Z ! N, definida por f1 (x) = x2 , x 2 Z.


Definición
Si A y B son conjuntos, una función de A en B es una relación binaria f, de A La función f2 : R ! R+ , definida por f2 (x) = 2x .
en B tal que:
para cada a 2 A existe un único b 2 B tal que (a, b) 2 f. La función f3 : R ! R, definida por f3 (x) = sen(x) = sen x.

(1/2 x)
La función f4 : (0, 1) ! R, definida por f4 (x) = x(1 x)

Si f es una función de A en B, escribimos f : A ! B.


La función f5 : R ! R, definida por
8
Si (a, b) 2 f, escribimos f(a) = b, ya que solo hay un elemento que esté <x si x 0
relacionado con a mediante f. f5 (x) =
: x si x < 0

Dpto. de Matemática Aplicada (UMA) Matemática Discreta 41 / 68 Dpto. de Matemática Aplicada (UMA) Matemática Discreta 43 / 68

Funciones Ejemplo

Si el dominio es un conjunto finito, también podemos definir las funciones


Atendiendo a la definición, todo el conjunto A es dominio de la de forma explícita, usando las representaciones del ejemplo siguiente.
relación: Dom(f) = A.
A = {a1 , a2 , a3 , a4 , a5 }, B = {b1 , b2 , b3 }

El rango de la función, que en este contexto se denomina f: A ! B


preferiblemente imagen, puede ser un subconjunto propio de B: a1 7 ! b3
Im(f) ✓ B. a2 7 ! b1 A a1 a2 a3 a4 a5
a3 7 ! b3 B b3 b1 b3 b2 b1
Las funciones se denominan igualmente aplicaciones. a4 7 ! b2
a5 7 ! b1

Dpto. de Matemática Aplicada (UMA) Matemática Discreta 42 / 68 Dpto. de Matemática Aplicada (UMA) Matemática Discreta 44 / 68
Ejemplos Ejemplo

Para A = {a1 , a2 , a3 , a4 , a5 , a6 } y B = {b1 , b2 , b3 , b4 , b5 } definimos la función:

f: A!B
f(a
a1 ) = b2
Si A ✓ B, llamamos función inclusión a la función i : A ! B, definida por f(a
a2 ) = b1
i(x) = x. f(a
a3 ) = b3
f(a
a4 ) = b2
En particular, si A = B, la función anterior se denomina identidad de A f(a
a5 ) = b3
y se denota 1A ; es decir, 1A (x) = x. f(a6 ) = b4

Si consideramos A1 = {a2 , a3 , a4 }, tenemos que

f(A1 ) = f {a2 , a3 , a4 } = {b1 , b3 , b2 }


1 1
f (f(A1 )) = f ({b1 , b3 , b2 }) = {a1 , a2 , a3 , a4 , a5 } ◆ A1

Dpto. de Matemática Aplicada (UMA) Matemática Discreta 45 / 68 Dpto. de Matemática Aplicada (UMA) Matemática Discreta 47 / 68

Imagen y Preimagen Ejemplo

Dados los conjuntos A = {a1 , a2 , a3 , a4 , a5 , a6 } y B = {b1 , b2 , b3 , b4 , b5 }, se


define la función
Definición f: A!B
Sea f : A ! B una función, A1 ✓ A y B1 ✓ B. f(a1 ) = b2
Llamamos imagen (directa) de A1 al conjunto: f(a2 ) = b1
f(a3 ) = b3
f(A1 ) = {b 2 B | 9a 2 A1 , f(a) = b} = {f(a); a 2 A1 } ✓ B
f(a4 ) = b2
Llamamos preimagen de B1 al conjunto: f(a5 ) = b3
f(a6 ) = b4
1
f (B1 ) = {a 2 A | f(a) 2 B1 } ✓ A Para el subconjunto B1 = {b3 , b4 , b5 }, tenemos

1
Observese que, si A1 = A, entonces f(A) = Im(f). f (B1 ) = {a3 , a5 , a6 }
1
f(f (B1 )) = {b3 , b4 }

Dpto. de Matemática Aplicada (UMA) Matemática Discreta 46 / 68 Dpto. de Matemática Aplicada (UMA) Matemática Discreta 48 / 68
Composición de funciones Tipos de funciones

Definición
Sea f : A ! B una función.
f se dice inyectiva si elementos distintos tienen imágenes distintas:
Teorema
Dadas las funciones f : A ! B y g : B ! C, la composición g f : A ! C f(a1 ) = f(a2 ) =) a1 = a2
también es una función: g f(a) = g(f(a)).
f se dice sobreyectiva si todo elemento del codominio tiene
preimagen:

Para todo b 2 B, existe a 2 A, tal que f(a) = b

f se dice biyectiva si es inyectiva y sobreyectiva.

Dpto. de Matemática Aplicada (UMA) Matemática Discreta 49 / 68 Dpto. de Matemática Aplicada (UMA) Matemática Discreta 51 / 68

Ejemplo Ejemplos

En los conjuntos A = {a1 , a2 , a3 , a4 , a5 }, B = {b1 , b2 , b3 , b4 } y


C = {c1 , c2 , c3 , c4 , c5 , c6 }, definimos las siguientes funciones: 1 Las inclusiones i : A ! B son funciones inyectivas.

A a1 a2 a3 a4 a5 B b1 b2 b3 b4 2 Las identidades 1A son funciones biyectivas.


f g
B b3 b1 b2 b3 b2 C c2 c3 c2 c1
3 La función f : N ! N, definida por f(x) = 2x, es inyectiva.

La composición g f será: 4 La función g : R ! [ 1, 1], definida g(x) = sen x, es sobreyectiva, pero


no es inyectiva.
A a1 a2 a3 a4 a5
g f
C c2 c2 c3 c2 c3 5 La función h : [ ⇡/2, ⇡/2] ! [ 1, 1], definida h(x) = sen x, es biyectiva.

Dpto. de Matemática Aplicada (UMA) Matemática Discreta 50 / 68 Dpto. de Matemática Aplicada (UMA) Matemática Discreta 52 / 68
Propiedades Funciones inversibles

Definición
Teorema Dada la función f : A ! B, se dice que g : B ! A es inversa de f si g f = 1A
y f g = 1B . Si existe una función inversa de f, decimos que f es
1 Si f y g son inyectivas, entonces g f también es inyectiva.
inversible.
2 Si g f es inyectiva, entonces f es inyectiva.
Teorema
3 Si f y g son sobreyectivas, entonces g f también es sobreyectiva. Si una función es inversible, entonces solo tiene una función inversa.

4 Si g f es sobreyectiva, entonces g es sobreyectiva 1


Si f es inversible, denotamos por f a su función inversa:
5 Si f y g son biyectivas, entonces g f también es biyectiva. 1 1
f f = 1A y f f = 1B
6 Si g f es biyectiva, entonces f es inyectiva y g es sobreyectiva.
Trivialmente: f 1 (b) = f 1 ({b})
1
Por lo tanto, aunque hemos definido f de dos formas distintas, ambas
definiciones son coherentes.
Dpto. de Matemática Aplicada (UMA) Matemática Discreta 53 / 68 Dpto. de Matemática Aplicada (UMA) Matemática Discreta 55 / 68

Ejemplo de demostración Ejemplo

Vamos a demostrar la propiedad (4) de la transparencia anterior. La función f : Z ! Z definida por f(x) = x + 7 es inversible:
Supongamos que g f es sobreyectiva. x + 7 = y () y 7=x
Para demostrar que g es sobreyectiva, tenemos que probar que todo
1
elemento de B tiene preimagen por g: sea b 2 B. Por lo tanto: f (y) = y 7:

Dado que g f es sobreyectiva, existe a 2 A tal que g f(a) = b. (f 1


f)(x) = f 1
(x + 7) = (x + 7) 7 = x = 1Z (x)
Por lo tanto, g(f(a)) = b, es decir, f(a) es preimagen de b para g.
1
Podemos afirmar que f es sobreyectiva. (f f )(y) = f(y 7) = (y 7) + 7 = y = 1Z (y)

Dpto. de Matemática Aplicada (UMA) Matemática Discreta 54 / 68 Dpto. de Matemática Aplicada (UMA) Matemática Discreta 56 / 68
Funciones inversibles Principio de Inducción

Teorema
Una función f : A ! B es inversible si y sólo si es biyectiva. El principio de inducción es el método de demostración básico de
propiedades de los números naturales.
Demostración:
(() Supongamos que f : A ! B es biyectiva. Se sustenta en la construcción recursiva de los números naturales: el
Entonces, para cada b 2 B existe exactamente un a 2 A tal que número 0 es un número natural y si n es un número natural, entonces
f(a) = b; llamemos g(b) al elemento de A así definido. n + 1 (sucesor de n) también es un número natural.

Entonces, para todo b 2 B, se verifica que f(g(b)) = b, según la


La construcción formal (axiomática) del conjunto de los números
definición anterior.
naturales queda fuera de los objetivos de este curso.
Sea a 2 A y consideremos f(a). Dado que f es una función,
necesariamente g(f(a)) = a.

Dpto. de Matemática Aplicada (UMA) Matemática Discreta 57 / 68 Dpto. de Matemática Aplicada (UMA) Matemática Discreta 59 / 68

Funciones inversibles Principio de Inducción

Teorema
Una función f : A ! B es inversible si y sólo si es biyectiva. Principio de Inducción Matemática
Sea P una propiedad relativa a los números naturales tal que:
Demostración:
(Caso básico) El número 0 tiene la propiedad P.
1
()) Supongamos que f tiene inversa f .
(Paso inductivo) Si k tiene la propiedad P, entonces k + 1 tiene la
Para cada b 2 B, se verifica que f(f 1 (b)) = b, y en consecuencia f 1
(b) propiedad P.
es preimagen de b y f es sobreyectiva.
Entonces, todos los números naturales tienen la propiedad P.
Para demostrar que f es inyectiva, supongamos que f(a) = f(a0 ).
Entonces:
f 1
(f(a)) = f 1
(f(a0 )) El caso básico puede ser cualquier otro natural n0 en lugar de 0; en ese
caso, la conclusión será que todos los naturales mayores que n0 tienen
a = a0
la propiedad P.
y en consecuencia podemos afirmar que f es inyectiva.

Dpto. de Matemática Aplicada (UMA) Matemática Discreta 58 / 68 Dpto. de Matemática Aplicada (UMA) Matemática Discreta 60 / 68
n(n + 1)
Ejemplo: 1 + 2 + 3 + · · · + n = [ P(n) Ejemplo
2
Para todo n 1, se verifica que n5 n es múltiplo de 5.
1(1+1)
Caso básico: Para n = 1 se verifica la igualdad: 1 = 2 .
Paso inductivo: Supongamos que la igualdad se verifica para n = k: Caso básico. Para n = 1, se verifica la igualdad: 15 1=0=5·0
k(k + 1)
1 + 2 + 3 + ··· + k = [ P(k) Paso inductivo. Supongamos que k5 k es múltiplo de 5:
2
A partir de ella, deducimos la igualdad para n = k + 1: k5 k=5·m para algún m 2 N

k(k + 1) Deducimos entonces la propiedad para n = k + 1:


1 + 2 + ··· + k =
2
k(k + 1) (k + 1)5 (k + 1) = k5 + 5k4 + 10k3 + 10k2 + 5k + 1 k 1
1 + 2 + · · · + k + (k + 1) = + (k + 1)
2 = (k5 4 3
k) + 5k + 10k + 10k + 5k 2
k(k + 1) 2(k + 1) (k + 1)(k + 2)
1 + 2 + · · · + k + (k + 1) = + = [P(k + 1) = 5 · m + 5(k4 + 2k3 + 2k2 + k)
2 2 2
Por lo tanto, la igualdad es válida para todo n 1. = 5(m + k4 + 2k3 + 2k2 + k)
Por lo tanto, para todo n 1, n5 n es múltiplo de 5.
Dpto. de Matemática Aplicada (UMA) Matemática Discreta 61 / 68 Dpto. de Matemática Aplicada (UMA) Matemática Discreta 63 / 68

Principio de Inducción Ejemplo

Teorema (Principio de buena ordenación)


Cada subconjunto no vacío de N tiene primer elemento.
Un error bastante frecuente es pensar que el caso básico es
‘‘innecesario’’
El principio de buena ordenación y el principio de inducción son
intercambiables como propiedad básica en la definición de los números
naturales. Por ejemplo, la propiedad ‘‘n = n + 8 para todo n 2 N’’ es falsa, sin
embargo, sí verifica el paso inductivo.
Es decir, el principio de buena ordenación se puede demostrar usando
el principio de inducción y el principio de inducción se puede demostrar
usando el principio de buena ordenación.

Dpto. de Matemática Aplicada (UMA) Matemática Discreta 62 / 68 Dpto. de Matemática Aplicada (UMA) Matemática Discreta 64 / 68
Principio de Inducción Completa Ejemplo

Teorema
Sea P una propiedad relativa a los números naturales tal que: Consideremos la sucesión
(Caso básico) El número 0 tiene la propiedad P.
u0 = 1, u1 = 2
(Paso inductivo) Si cada m, tal que m  k, tiene la propiedad P,
entonces k + 1 tiene la propiedad P. un+1 + un 6un 1 = 0, n 2

Entonces, todos los números naturales tienen la propiedad P. Entonces, un = 2n para todo n 2 N

Este principio también se conoce como inducción fuerte.


Casos básicos.
Para n = 0, tenemos que u0 = 1 = 20 .
El principio de inducción completa se demuestra usando el principio de
Para n = 1, tenemos que u1 = 2 = 21 .
inducción, sin embargo, muchos ejemplos se estudian más fácilmente
usando la formulación fuerte.

Dpto. de Matemática Aplicada (UMA) Matemática Discreta 65 / 68 Dpto. de Matemática Aplicada (UMA) Matemática Discreta 67 / 68

Principio de Inducción Completa Ejemplo

Consideremos la sucesión

Enunciado general: u0 = 1, u1 = 2
un+1 + un 6un 1 = 0, n 2

Teorema Entonces, un = 2n para todo n 2 N


Sea P una propiedad relativa a los números naturales tal que:
(Caso básico) Si n0  m  n1 , entonces se verifica P(m). Paso Inductivo. Supongamos que um = 2m , para todo m  k.
(Paso inductivo) Si para cada m tal que n0  m  k se verifica P(m), Y vamos a deducir que uk+1 = 2k+1 .
entonces se verifica P(k + 1).
uk+1 = uk + 6uk 1
Entonces, se verifica P(n) para todo n n0 .
k k 1
= 2 +6·2
k 1
=2 ( 2 + 6) = 2k 1
· 22 = 2k+1

Por tanto, un = 2n para todo n 2 N.


Dpto. de Matemática Aplicada (UMA) Matemática Discreta 66 / 68 Dpto. de Matemática Aplicada (UMA) Matemática Discreta 68 / 68

También podría gustarte