Anillos, módulos y álgebras de artin. Lic. Manuel Flores Galicia Dr. Octavio Mendoza Hernández

Tamaño: px
Comenzar la demostración a partir de la página:

Download "Anillos, módulos y álgebras de artin. Lic. Manuel Flores Galicia Dr. Octavio Mendoza Hernández"

Transcripción

1 Anillos, módulos y álgebras de artin Lic. Manuel Flores Galicia Dr. Octavio Mendoza Hernández

2 ii

3 Índice general Introducción vii 1. Nociones de conjuntos, funciones y categorías Nociones de Lógica Matemática Conjuntos Operaciones con conjuntos Correspondencias Funciones (morfismos de conjuntos) Familias de elementos Relaciones binarias Relaciones de equivalencia Un par de aplicaciones de las clases de equivalencia Ordenes parciales Diagramas de Hasse Elementos distinguidos en ordenes parciales El orden total y el buen orden Segmentos en conjuntos ordenados El buen orden y el Principio de inducción transfinita Retículas (Lattices) Axiomas de Peano y el buen orden en N Distintas formas del principio de inducción en N El Axioma de la elección y sus formas equivalentes Clases y conjuntos Números cardinales Categorías y Funtores Nociones básicas de grupos abelianos Notación básica La categoría Ab de grupos abelianos Sumas directas, productos y coproductos en Ab iii

4 iv Índice General 3. Nociones básicas de anillos y módulos La categoría de anillos unitarios El anillo opuesto Álgebras La categoría Mod (R) de R-módulos Sumas directas, productos y coproductos en Mod (R) Matrices de morfismos en Mod (R) Cambio de anillos Retículas (Lattices) de submódulos Categorías de bimódulos Álgebras de Artin Nociones básicas El proceso de Proyectivización Estructura de los inyectivos Anillos con dualidad Existencia de dualidad en álgebras de artin El funtor y el funtor de Nakayama Álgebras de Caminos Carcajes de álgebras Cocientes de álgebras de caminos Carcajes y el álgebra tensorial El carcaj de una K-álgebra de dimensión finita El teorema de P. Gabriel Representaciones de carcajes Representaciones de Vec K Representaciones de carcajes finitos con relaciones Representaciones especiales La característica de Euler Bibliografía 259 Índice alfabético 260

5 Introducción Simplificar y clasificar conceptos ha sido, y sigue siendo, un quehacer intrínseco en el desarrollo de cualquier ciencia; más aún en matemáticas. Por ejemplo, una transformación lineal en un espacio vectorial de dimensión finita sobre un campo algebraicamente cerrado, queda caracterizada por su forma canónica de Jordan, y ésta, a su vez actúa de alguna manera sobre el espacio vectorial. Pero, qué sucede cuando se quiere dar un paso adelante, con miras en la generalidad, en el avance de la teoría?, es decir, analizar la acción simultánea de una infinidad de transformaciones lineales sobre un mismo espacio. Es aquí donde los métodos simples ya no son más del todo efectivos, casi siempre insuficientes, motivo por el que se recurre a técnicas más abstractas y complejas; que en lo que nos atañe, es la Teoría de Representaciones de Álgebras. v

6 vi Introducción

7 Capítulo 1 Nociones de conjuntos, funciones y categorías 1.1. Nociones de Lógica Matemática Una proposición es una expresión lingüistica p respecto de la cual puede decirse si es verdadera (V ) o si es falsa (F ); dichos valores V y F son los valores de verdad de la proposición p. Por ejemplo: la proposición p := 3 es un número primo tiene como valor de verdad a V (i. e. p es verdadera); y la proposición q := 7 es par tiene como valor de verdad a F (i. e. q es falsa). Una proposición p se dice que es simple si tiene un único sujeto y un único predicado, por ejemplo: p := 14 es divisible por 7. Una proposición p se dice que es compuesta si se genera a partir de un número finito de proposiciones simples usando los conectivos lógicos: no, o, y, si... entonces y si y sólo si. Sean p y q proposiciones simples. Los símbolos que se usan para denotar a los conectivos lógicos son: Negación no p p Disyunción p ó q p q Conjunción p y q p q Implicación Si p entonces q p q Equivalencia p si y sólo si q p q Los valores de verdad de una proposición compuesta se construyen mediante las tablas de verdad ; las cuales están formadas: con letras p, q,... como variables proposicionales, y combinaciones finitas de los conectivos lógicos que forman dicha proposición compuesta. Para poder realizar el cálculo lógico de dichas tablas de verdad, exhibiremos a continuación las tablas de verdad de los conectivos lógicos principales. 1

8 2 Capítulo 1. Nociones de conjuntos, funciones y categorías Tabla de la Negación Tabla de la Conjunción p p V F F V p q p q V V V V F F F V F F F F Tabla de la Disyunción Tabla de la Implicación p q p q V V V V F V F V V F F F p q p q V V V V F F F V V F F V Tabla de la Equivalencia p q p q V V V V F F F V F F F V Definición Una forma proposicional es cualquier expresión en la que intervienen: variables proposicionales y conectivos lógicos, y es construida según las siguientes dos reglas. (Regla 1) Toda variable proposicional es una forma proposicional. (Regla 2) Si A y B son formas proposicionales, entonces las siguientes expresiones A, A B, A B, A B, A B son formas proposicionales.

9 1.1. Nociones de Lógica Matemática 3 Ejemplos. p q, p p y p p son formas proposicionales, cuyas tablas de verdad son las siguientes. p q p p q V V F V V F F F F V V V F F V V p p p p p p V F F V F V F V Definición Sea A una forma proposicional. Decimos que: (a) A es una tautología si toma el valor de verdad V para cualquier asignación de valores de verdad en las variables proposicionales que intervienen en A. (b) A es una contradicción si toma el valor de verdad F para cualquier asignación de valores de verdad en las variables proposicionales que intervienen en A. Ejemplos. A := p p es una tautología y B := p p es una contradicción. Definición Sean A y B formas proposicionales. Decimos que: (a) A implica lógicamente a B, o bien que B es una consecuencia lógica de A, si la forma proposicional A B es una tautología. (b) A es lógicamente equivalente a B, si la forma proposicional A B es una tautología. Ejemplos. (1) p q implica lógicamente a p como puede verse en la siguiente tabla de verdad p q p q (p q) p V V V V V F F V F V F V F F F V (2) (p q) es equivalente lógicamente a p q. Como puede verse en la siguiente tabla de verdad p q (p q) p q (p q) ( p q) V V F F V V F V V V F V V V V F F V V V (3) p q es equivalente lógicamente a p q. Hacer (ejercicio) la tabla de verdad de (p q) ( p q).

10 4 Capítulo 1. Nociones de conjuntos, funciones y categorías En general, a las tautologías se les conoce también como leyes. En lo que sigue, haremos una lista de las mas importantes (con sus nombres respectivos). El lector puede verificar que todas son tautologías, haciendo para cada una de ellas su correspondiente tabla de verdad. (1) Leyes de identidad: (a) p p, (b) p p. (2) Ley de contradicción: (p p). (3) Ley del tercero excluido: p p. (4) Ley de la doble negación: p ( p). (5) Leyes de simplificación: (a) (p q) p, (b) p (p q). (6) Leyes de conmutatividad: (a) (p q) (q p), (b) (p q) (q p), (c) (p q) (q p). (7) Leyes de asociatividad: (a) (p (q r)) ((p q) r), (b) (p (q r)) ((p q) r), (c) (p (q r)) ((p q) r). (8) Leyes de absorción: (a) (p (p q)) p, (b) (p (p q)) p. (9) Leyes de distribución: (a) (p (q r)) ((p q) (p r)), (b) (p (q r)) ((p q) (p r)), (c) (p (q r)) ((p q) (p r)), (d) (p (q r)) ((p q) (p r)). (10) Leyes de transitividad: (a) ((p q) (q r)) (p r), (b) ((p q) (q r)) (p r). (11) Ley del dilema: (((p q) (r s)) (p r)) (q r).

11 1.1. Nociones de Lógica Matemática 5 (12) Ley de exportación: ((p q) r) (p (q r)). (13) Leyes de transposición: (a) (p q) ( q p), (b) (p q) ( q p). (14) Ley bicondicional: (p q) ((p q) (q p)). (15) Ley condicional-disyunción: (p q) ( p q). (16) Ley condicional-conjunción: (p q) (p q). (17) Leyes de De Morgan: (a) (p q) ( p q), (b) (p q) ( p q). (18) Leyes de Expansión: (a) (p q) (p (p q)), (b) (p q) (q (p q)). (19) Leyes de idempotencia: (a) (p p) p, (b) (p p) p. A diferencia de una proposición simple, donde su valor es verdadero o falso, existen proposiciones que dependen de uno o varios parámetros, i. e. el sujeto (o los sujetos) de dicha expresión lingüística son variables, y pueden ser reemplazados por elementos de una o varias clases (Universos) dadas. Por ejemplo, la proposición en una variable x es divisible por 14. En este caso, no se puede saber si dicha proposición es falsa o verdadera, a no ser que especifiquemos quien es x y cual es el universo U donde está definido (o toma valores) el sujeto x. En tal caso, el predicado es divisible por 14 es lo mas importante de dicha proposición. Denotando a es divisible por 14 por D, tenemos la expresión en una variable D(x):= x es divisible por 14. Observe que D(3) es falso y D(28) es verdadero. Aquí podemos tomar como universo a los números naturales o bien a los números enteros. Representaremos a los predicados con letras mayúsculas y a los sujetos con minúsculas. Un ejemplo de una proposición en dos variables es la siguiente: sea M el predicado es mayor o igual que, tenemos entonces que M(x, y) := x es mayor o igual que y es una proposición en dos variables, donde y puede estar definida, por ejemplo, en el universo de los números naturales y x en los números reales. En general, podemos decir que un predicado puede tener una o más variables, y que las variables pueden tomar valores en uno o en varios universos específicos.

12 6 Capítulo 1. Nociones de conjuntos, funciones y categorías Para que una proposición, en las varibles x 1, x 2,, x n, tenga un valor de verdad unívocamente determinado, tenemos que aplicar un cuantificador (del tipo universal o existencial) a cada una de las n variables. Definición Sea P un predicado en una variable x que toma valores en un universo fijo U. (a) El cuantificador universal: la expresión x P (x) es verdadera si todo objeto x en U tiene la propiedad P. (b) El cuantificador existencial: la expresión x P (x) es verdadera si existe al menos un objeto x en U que tiene la propiedad P. (c) El cuantificador existencial único: la expresión! x P (x) es verdadera si existe exactamente un objeto x en U que tiene la propiedad P. Ejemplos. (1) Traducir al lenguaje lógico el enunciado: Todos los números naturales son positivos. Consideremos el universo U de los números naturales y el predicado P := es positivo. Luego, la proposición anterior se escribe como sigue: x P (x). (2) Traducir al lenguaje lógico el enunciado: Existe un número natural que es primo e impar. Consideremos el universo U de los números naturales y los predicados P := es primo y I := es impar. Luego, la proposición anterior se escribe como sigue: x (P (x) I(x)). Los cuantificadores y están relacionados vía las siguientes tautologías: ( ) ( x P (x)) x( P (x)). ( ) ( x P (x)) x( P (x)) Conjuntos La teoría de conjuntos fue formulada en 1870 por Georg Cantor ( ). Consideraremos como conceptos primitivos (no definidos) a los términos: Conjunto, Objeto (o Elemento ) y Pertenencia. En este libro, daremos un tratamiento meramente intuitivo, y solamente una introducción, de la teoría de conjuntos. Intuitivamente, un conjunto es una colección bien determinada de objetos (i. e. podemos precisar cuales son sus elementos). Dicha colección puede ser dada por extensión: nombrando uno a uno a todos los elementos, por ejemplo, A = {1, 2, 3}; o por comprensión: indicando una propiedad o condición que caracteriza a los elementos de dicho conjunto, por ejemplo, A = {a P (a)}, que representa al conjunto A formado por todos los elementos a (de un universo) que tienen la propiedad P. Por ejemplo, N := {0, 1, 2, 3, } es el conjunto de los números naturales, y N + := {1, 2, 3, } es el conjunto de los números naturales positivos.

13 1.2. Conjuntos 7 Dado un conjunto A y un objeto x, escribiremos x A (y se leé x pertenece a A ) para decir que el objeto x es un elemento del conjunto A. Para decir, que x no es un elemento del conjunto A, escribiremos x A (y se leé x no pertenece a A ). Definición Sean A y B conjuntos. Decimos que: (a) A es un subconjunto de B, y lo escribimos A B, si todo elemento de A es un elemento de B. Esto es, (A B) x(x A x B). Para decir que A no es un subconjunto de B, escribimos A B, esto es, x (x A x B). (b) A es igual a B, y lo escribimos A = B, si todo elemento de A es un elemento de B, y todo elemento de B es un elemento de A. Esto es, (A = B) (A B) (B A). Para decir que A no es igual a B, escribimos A B, esto es, (A B) (B A). Ejemplos. (1) Sean A = {2, 3, 5} y B = {1, 2, 3, 5}. Observe que A B; pero B A ya que 1 B y 1 A. En particular, A B. (2) Sean A = {1} y B = {{1}}. Observe que: 1 A, 1 B, {1} A, {1} B y {{1}} A. (3) A = {x x N x 10} y B = {x x N x 6}. Dado que ( x 10) (3 2 + x 6), se tiene que A = B. Ejercicio Pruebe que la inclusión de conjuntos satisface las siguientes propiedades. (a) Propiedad reflexiva: A A. (b) Propiedad antisimétrica: Si A B y B A, entonces A = B. (c) Propiedad transitiva: Si A B y B C, entonces A C. Definición Sea X un conjunto. El conjunto X := {x X x x} es el conjunto vacío asociado a X. Proposición Sean X y Y conjuntos. Entonces X Y y X = Y. Demostración. La proposición x (x X x Y ) es verdadera (ver la tabla de verdad de ) pues x X es falso para cualquier x. De donde se concluye que X Y. En particular, X Y y Y X ; probándose que X = Y.

14 8 Capítulo 1. Nociones de conjuntos, funciones y categorías Observación. Según lo demostrado en existe un único conjunto vacío, el cual denotaremos por. Además se tiene que es subconjunto de cualquier conjunto. Definición Sea X un conjunto. El conjunto potencia de X es el conjunto (X) cuyos elementos son todos los subconjuntos de X. Esto es, (X) := {E E X}. Ejemplos. ( ) = { }, ({1}) = {, {1}} y ({1, 2}) = {, {1}, {2}, {1, 2}}. Se puede probar, usando la fórmula del binomio de Newton, que: si el conjunto X tiene n elementos, entonces el conjunto potencia (X) tiene 2 n elementos Operaciones con conjuntos Unión de conjuntos Definición Sean X, Y conjuntos. La unión X Y, de X con Y, es el conjunto cuyos elementos pertenecen a X o a Y. Esto es, X Y := {z z X z Y }. Ejemplos. {1, 2, 3} {2, 5} = {1, 2, 3, 5} y {1, 2, 3} = {1, 2, 3}. Proposición Sean E, F y G conjuntos. Entonces, las siguientes condiciones se satisfacen. (a) E E = E. (b) E F = F E. (c) (E F ) G = E (F G). (d) F E si y sólo si F E = E. (e) E = E. Demostración. Las pruebas de (a) y (b) se dejan como ejercicio al lector. (a) Veamos primero que (E F ) G E (F G). En efecto, sea x (E F ) G. Luego x E F o bien x G. Analicemos en lo que sigue las distintas posiblidades. Si x G entonces x F G, y por lo tanto x E (F G). Supongamos ahora que x E F. Si x F entonces x F G, y así se tiene que x E (F G). Finalmente, si x E, es inmediato que x E (F G); probándose la inclusión (E F ) G E (F G). La otra inclusión E (F G) (E F ) G se prueba análogamente. (d) ( ) Sea F E. Si x F E, se tiene que x F o bien x E, en particular, x E pues F E; probándose que F E E. Ahora bien, si x E, es claro que x F E. Por lo tanto E F E. ( ) Sea F E = E. Si x F entonces x F E = E. De donde F E. (e) Es consequencia inmediata de (d), ya que E.

15 1.3. Operaciones con conjuntos 9 Ejercicio (a) Sean A = {{1, 2, 3}, 1}, B = {2, 3, 4}, C = {1, 2, 3} y D = {{2, 3}, 1, 9}. Realice las operaciones: A B, A C, A D, B C y B D. (b) Pruebe que, para dos conjuntos cualesquiera X, Y, se tiene que (X) (Y ) (X Y ). De un ejemplo de dos conjuntos X y Y tales que (X) (Y ) (X Y ). Definición Sean X 1, X 2,, X n conjuntos. La unión n i=1 X i de tales conjuntos, es el conjunto de los elementos x para los cuales existe un elemento i {1, 2,, n} tal que x X i. Esto es, n X i := {x i ( x X i )}. i=1 Ejemplos. Sean X 1 = {1, 2}, X 2 = {1, 3, 5}, X 3 = {7, 6, 2, 1}. Luego su unión es 3 i=1 X i = {3, 5, 7, 6, 2, 1}. Ejercicio Sean X 1, X 2,, X n conjuntos. Pruebe lo siguiente. (a) n i=1 X i = ( n 1 i=1 X i) X n, n 2. (b) Si X 1 = X 2 = = X n = E entonces n i=1 X i = E. (c) Si X i X i+1 para 1 i n 1, entonces n i=1 X i = X n. (d) n i=1 (X i) ( n i=1 X i). Intersección de conjuntos Definición Sean X, Y conjuntos. La intersección X Y, de X con Y, es el conjunto cuyos elementos pertenecen a X y a Y. Esto es, X Y := {z z X z Y }. Ejemplos. {1, 2, 3, 4, 5} {2, 5} = {2, 5}, y {1, 2, 3} =. {1, 2, 3, {4}} {{1}, {2, 3}} = Proposición Sean E, F y G conjuntos. Entonces, las siguientes condiciones se satisfacen. (a) E E = E. (b) E F = F E. (c) (E F ) G = E (F G). (d) F E si y sólo si F E = F. (e) E =.

16 10 Capítulo 1. Nociones de conjuntos, funciones y categorías (f) E (F G) = (E F ) (E G). (g) E (F G) = (E F ) (E G). Demostración. Solo haremos el inciso (f), los otros se dejan a cargo del lector. Probemos primero que E (F G) (E F ) (E G). En efecto, sea x E (F G). Luego x E o bien x F G. Analizando por casos, tenemos: si x E entonces x E F y x E G; y por lo tanto x (E F ) (E G). Ahora bien, si x F G, tenemos que x F y x G. Luego x E F y x E G, de donde también se tiene que x (E F ) (E G). Veamos ahora que (E F ) (E G) E (F G). En efecto, sea x (E F ) (E G). Luego x E F y x E G. Analizando por casos, tenemos: si x E, es inmediato que x E (F G). Podemos asumir que x E. Por lo tanto x F y x G, esto es x F G; y así obtenemos también que x E (F G). Ejercicio (a) Sean A = {{1, 2, 3}, 1}, B = {2, 3, 4}, C = {1, 2, 3} y D = {{2, 3}, 1, 9}. Realice las operaciones: A B, A C, A D, B C y B D. (b) Pruebe que, para dos conjuntos cualesquiera X, Y, se tiene que (X) (Y ) = (X Y ). Definición Sean X 1, X 2,, X n conjuntos. La intersección n i=1 X i de tales conjuntos, es el conjunto de los elementos x para los cuales x X i para todo i {1, 2,, n}. Esto es, n X i := {x i ( x X i )}. i=1 Ejemplos. Sean X 1 = {1, 2}, X 2 = {1, 2, 3, 5}, X 3 = {7, 6, 2, 1}. Luego su intersección es 3 i=1 X i = {2, 1}. Ejercicio Sean X 1, X 2,, X n conjuntos. Pruebe lo siguiente. (a) n i=1 X i = ( n 1 i=1 X i) X n, n 2. (b) Si X 1 = X 2 = = X n = E entonces n i=1 X i = E. (c) Si X i X i+1 para 1 i n 1, entonces n i=1 X i = X 1. (d) n i=1 (X i) = ( n i=1 X i). Diferencia de conjuntos Definición Sean X, Y conjuntos. La diferencia X Y, de X con Y, es el conjunto de los elementos de X que no están en Y. Esto es, X Y := {z z X z Y }.

17 1.3. Operaciones con conjuntos 11 Ejemplos. {1, 2, 3} {2, 5} = {1, 3}, {1, 2, 3} {1, 2, 3} = y {1, 2, 3} = {1, 2, 3}. Proposición Sean E, F y G conjuntos. Entonces, las siguientes condiciones se satisfacen. (a) E E =. (b) E = E. (c) E =. (d) (E F ) G E (F G). Demostración. Probaremos solamente el inciso (d), los otros se dejan a cargo del lector. Sea x (E F ) G. Luego x E F y x G, por lo tanto x E, x F y x G. Ahora bien, si x F, se tiene que x F G; y como x E, se concluye que x E (F G). Definición Consideremos un conjunto fijo U, respecto del cual se está desarrollando una teoría determinada, y consideremos A (U). Al conjunto U se le llama referencial o universal y el complemento C U (A) de A es el conjunto U A. Esto es, C U (A) := {x U x A}. Proposición Sean U un conjunto universal y A, B (U). Entonces, las siguientes condiciones se satisfacen. (a) C U (C U (A)) = A. (b) C U (A) A = U. (c) C U (A) A =. (d) C U (U) = y C U ( ) = U. (e) C U (A B) = C U (A) C U (B). (f) C U (A B) = C U (A) C U (B). (g) A B C U (B) C U (A). (h) A B = A C U (B). Demostración. Para dar una idea de como se puede usar la Lógica matemática, emplearemos la lista de leyes (tautologías) que dimos al final de la Sección 1.1. (a) Es consecuencia de la Ley de la doble negación. En efecto, sea x U. Luego, tenemos la siguiente cadena de equivalencias: x A ( (x A)) (x A) (x C U (A)) x C U (C U (A)). (b) Es consecuencia de la Ley del tercero excluido. En efecto, por dicha ley, sabemos que para cualquier x U, la expresión (x A) (x A) es

18 12 Capítulo 1. Nociones de conjuntos, funciones y categorías verdadera. Luego, se tiene la siguiente cadena de equivalencias: x U ((x A) (x A)) (x A x A) (x A C U (A)). (c) Es consecuencia de la Ley de contradicción. En efecto, por dicha ley, sabemos que para cualquier x U, la expresión (x A) (x A) es falsa, y genera por lo tanto al conjunto vacío. (d) Es consecuencia inmediata de (e), (f) Son consecuencia de las Leyes de De Morgan. Haremos solo una, pues la otra es análoga. Sea x U. Luego, se tiene la siguiente cadena de equivalencias: x C U (A B) (x A B) (x A x B) (x A x B) x C U (A) C U (B). (g) Es consecuencia de la primera Ley de transposición. En efecto, sea x U. Luego, se tiene la siguiente cadena de equivalencias: (x A x B) ( (x B) (x A)) (x C U (B) x C U (A)). (h) Sea x U. Luego, se tiene la siguiente cadena de equivalencias: (x A B) (x A x B) (x A x C U (B)) (x A C U (B)). Ejercicio Sean A, B y C conjuntos. Pruebe lo siguiente. (a) A (B C) = (A B) (A C). (b) A (B C) = (A B) (C A). (c) A (B C) = (A B) (A C). Definición Sean A y B conjuntos. La diferencia simétrica de A y B es el conjunto A B := (A B) (A B). Proposición Sean U un conjunto universal y A, B (U). Entonces, las siguientes condiciones se satisfacen. (a) A B = (A B) C U (A B). (b) A B = (A C U (B)) (C U (A) B). Demostración. (a) x A B ((x A B) (x A B)) x (A B) C U (A B). (b) Usaremos y el inciso anterior. En efecto A B = (A B) C U (A B) = [(A B) C U (A)] [(A B) C U (B)] = [(A C U (A)) (B C U (A))] [(A C U (B)) (B C U (B))] = [ (B C U (A))] [(A C U (B)) ] = (B C U (A)) (A C U (B)). Ejercicio Sean A, B y C conjuntos. Pruebe lo siguiente. (a) A B = B A. (b) A (B C) = (A B) C. (c) A = A y A A =. (d) A B = A = B.

19 1.3. Operaciones con conjuntos 13 (e) (A B) (B C) = (A B C) (A B C). (f) (A B) C = (A C) (B C). Uniones e intersecciones generalizadas En esta sección, U denotará a un conjunto universal que consideraremos fijo. Introduciremos el concepto de unión e intersección de un conjunto de partes del conjunto universal, i. e. de F (U). Definición Sea F (U). La unión e intersección del conjunto F de partes de U son respectivamente X := {x U X F (x X)}, X := {x U X F (x X)}. X F X F Proposición Sea F (U). Entonces las siguientes condiciones se satisfacen. (a) X F X y X F X son subconjuntos de U. (b) Si F = {X 1, X 2,, X n }, entonces X F X = n i=1 X y X F X = n i=1 X. (c) Si F = entonces X F X = y X F X = U. Demostración. Probaremos solamente el último inciso, pues los dos primeros son inmediatos de las definiciones. Sea F =. Si X F X, se tiene que existe X F y por lo tanto F no es vacío, contradiciendo que F = ; lo cual prueba que X F X =. Por otro lado, para probar que X F X = U, es suficiente ver que U X F X. Ahora bien, para esto último, hay que ver que la proposición y ( y U y X F X) es verdadera. Sea y U, veamos que y X F X es verdadera, o equivalentemente, que y X F X es falsa. Para ello, tenemos la siguiente cadena de equivalencias: y X F X (y X F X) ( X F ( y X )) X F ( y X ). Por lo tanto, dado que la proposición X F ( y X ) es falsa ( pues F = ), se tiene que y X F X también lo és. Ejemplos. Sean U = R y F = {[ 1 n, n ] n N+ }. En tal caso tenemos que X F X = (0, 2] y X F X = {1}. Proposición Sea F (U). Entonces, las siguientes condiciones se satisfacen. (a) C U ( X F X) = X F C U(X). (b) C U ( X F X) = X F C U(X).

20 14 Capítulo 1. Nociones de conjuntos, funciones y categorías Demostración. Probaremos solo el primer inciso, pues el segundo se prueba de manera análoga. Sea x U. Luego, se tiene la siguiente cadena de equivalencias: x C U ( X F X) (x X F X) ( X F ( x X) ) X F ( x X ) X F ( x C U (X) ) x X F C U(X). Ejercicio Sean F (U) y Y U. Pruebe que Y ( X F X) = X F (Y X) y Y ( X F X) = X F (Y X). Producto cartesiano Definición Sean X un conjunto y a, b X. El par ordenado (a, b) es un elemento del conjunto potencia ( (X)) y se define como: (a, b) := {{a}, {a, b}}. Observación. (1) (a, a) = {{a}, {a, a}} = {{a}}. (2) Si a b entonces (a, b) (b, a). En efecto, sea a b; luego {b} {{b}, {a, b}} = (b, a) y sin embargo {b} {{a}, {a, b}} = (a, b). Proposición Sean X un conjunto y a, b, a, b X. Entonces, (a, b) = (a, b ) si y sólo si a = a y b = b. Demostración. ( ) Sea (a, b) = (a, b ), esto es, {{a}, {a, b}} = {{a }, {a, b }}. Si a = b, se tiene que (a, b) = {{a}} y por lo tanto a = a = b, de donde se obtiene lo deseado pues a = b. Supongamos ahora que a b. Luego (a, b) y (a, b ) tienen cada uno dos elementos pues son iguales. Por lo tanto, como {a} {a, b } (el primero tiene un elemento y el segundo dos), concluimos que {a} = {a } y {a, b} = {a, b }. Así, se obtiene que a = a y b = b. ( ) Sean a = a y b = b. Luego (a, b) = {{a}, {a, b}} = {{a }, {a, b }} = (a, b ). Definición Sean A y B conjuntos. El producto A B, de A por B, es el conjunto A B := {(a, b) ( (A B)) a A b B}. Proposición Sean A, B y C conjuntos. Entonces, las siguientes condiciones se satisfacen. (a) A B = si y sólo si A = o bien B =. (b) (A B) C = (A C) (B C). (c) (A B) C = (A C) (B C). (d) (A B) C = (A C) (B C).

21 1.3. Operaciones con conjuntos 15 Demostración. (a) ( ) Sea A B =. Si los conjuntos A y B no son vacíos, existen a A y b B. Por lo tanto (a, b) A B = ; lo cual es absurdo, por lo tanto, uno de los dos conjuntos A ó B es vacío. ( ) Sea A = o bien B =. Luego, la proposición a A b B es siempre falsa, por lo tanto A B =. (b) Sea z = (x, y) ( (A B C)). Luego, se tiene la siguiente cadena de equivalencias: z = (x, y) (A B) C ((x A B) (y C)) ([x A x B] (y C)) ([x A y C] [x B y C]) ((z A C) (z B C)) z (A C) (B C). (c) y (d), A cargo del lector. Definición Sean A, B y C conjuntos. Definimos el producto A B C := (A B) C, y denotaremos, por simplicidad, al elemento ((a, b), c) (A B) C por la terna (a, b, c). De esta manera, A B C = {(a, b, c) a A, b B y c C}. Oservación. La definición de A B C, podría inducirnos a creer que (A B) C = A (B C), lo cual es falso. En general, como veremos más adelante, ambos conjuntos son isomorfos. n Definición Sean X 1, X 2,, X n conjuntos. El producto i=1 X i se n n introduce recursivamente como sigue: i=1 X i := X 1 si n = 1, y i=1 X i := n 1 ( i=1 X i) X n si n 2. Por simplicidad, diremos que los elementos del producto i=1 X i, son n-adas de la forma (x 1, x 2,, x n ). Esto n es, n i=1 X i = {(x 1, x 2,, x n ) i ( x i X i )}. Proposición Sean X 1, X 2,, X n conjuntos, x = (x 1, x 2,, x n ) y x = (x 1, x 2,, x n n) elementos del producto i=1 X i. Entonces, x = x si y sólo si x i = x i i. Demostración. Procederemos por inducción sobre n. Si n = 1, se tiene que x 1 = (x 1 ) = x = x = (x 1) = x 1. Sea n 2. Consideremos los elementos x := (x 1, x 2,, x n 1 ) y x := (x 1, x 2,, x n 1 n 1) en el producto i=1 X i. Luego (x, x n ) = x = x = (x, x n) de donde, por , se tiene que x = x y x n = x n. Finalmente, por hipótesis inductiva aplicada a los elementos del n 1 producto i=1 X i, concluimos que también x i = x i para toda i = 1, 2,, n 1. Ejercicio Sean X 1, X 2,, X n y C conjuntos. Pruebe que las siguientes condiciones se satisfacen. (a) n i=1 X i = si y sólo si i ( X i = ). (b) ( n i=1 X i) C = n i=1 (X i C). (c) ( n i=1 X i) C = n i=1 (X i C).

22 16 Capítulo 1. Nociones de conjuntos, funciones y categorías 1.4. Correspondencias Notación básica Definición Una correspondencia entre dos conjuntos A y B es una terna Γ = (G, A, B), donde G A B. Decimos que dos correspondencias Γ = (G, A, B) y Γ = (G, A, B ) son iguales, esto es Γ = Γ, si G = G, A = A y B = B. Observación. Sean Γ = (G, A, B) una correspondencia y (a, b) A B. (1) Si (a, b) G, diremos que b está en relación G con a, o también que b es un correspondiente de a por G. El conjunto G se dice que es la gráfica de la correspondencia Γ. (2) Para decir que b es un correspondiente de a por G, utilizaremos una de las siguientes notaciones: (a, b) G, a G b, b G(a), a G b, G : a b. (3) Frecuentemente, la correspondencia Γ = (G, A, B) será denotada por G : A B, o bien por A G B. El conjunto A se dice que es el dominio de Γ, y el conjunto B es el co-dominio de Γ. Definición Sea G : A B una correspondencia. Las proyecciones de G en A y en B, respectivamente, se definen como sigue: proy 1 (G) := {a A b B ( b G(a) )}, proy 2 (G) := {b B a A ( b G(a) )}. Ejemplos. (1) Sea G : R R la correspondencia dada por G = {(x, y) R 2 y = 3x + 4}. En tal caso proy 1 (G) = R = proy 2 (G). (2) Sea F : R R la correspondencia dada por F = {(x, y) R 2 y = 3x 2 + 4}. En tal caso proy 1 (G) = R y proy 2 (G) = [4, + ). (3) Sea H : R R la correspondencia dada por H = {(x, y) R 2 x 2 +y 2 1}. En tal caso proy 1 (G) = [ 1, 1] = proy 2 (G). (4) Sea G : A B, donde A = {1, 2, 3}, B = {1, 5} y G = {(1, 1), (1, 5), (2, 1)}. En tal caso, proy 1 (G) = {1, 2} y proy 2 (G) = B. (5) Las correspondencias del tipo G : A A se llaman relaciones y serán estudiadas con detalle más adelante. Por lo pronto, diremos que dar una correspondencia G : A A, es dar una relación G en A; y en tal caso, se prefiere la notación x G y (por sobre las otras) y se lee: x está en relación G con y. Por ejemplo, la relación de orden en R. (6) Dados los conjuntos A y B. Tenemos la correspondencia vacía : A B pues A B.

23 1.4. Correspondencias 17 Ejercicio Sean F, G : A B dos correspondencias. Pruebe que, para i = 1, 2, vale lo siguiente: (a) proy i (F G) proy i (F ) proy i (G). (b) proy i (F G) = proy i (F ) proy i (G). Definición Sean X 1, X 2,, X n conjuntos, y consideremos el producto X := n i=1 X i. Para cada i = 1, 2,, n, la i-esima proyección de X en X i es la correspondencia proy i : X X i definida por proy i := {(x, x i ) x = (x 1, x 2,, x i,, x n ) X}. Imagen de una correspondencia Definición Sea G : A B una correspondencia. (a) Si X A, la imagen de X por G es el conjunto G(X) := {y B x X ( y G(x) )} B. En caso el conjunto X tenga un solo elemento, i. e. X = {x}, por simplicidad, se escribe G(x) en lugar de G({x}). (b) Si F (A), la imagen de F por G es el conjunto G(F) := {G(X) X F} (B). Ejemplos. (1) Sea G : A B una correspondencia. Considere las proyecciones proy 1 : A B A y proy 2 : A B B. Dado que G A B, tenemos que las imágenes de G por dichas proyecciones, coinciden, respectivamente, con las proyecciones de G en A y en B (según la Definición 1.4.2). (2) Sea G : A B, con G = A B y A. En este caso, tenemos que G(X) = B para cualquier subconjunto no vacío X de A. (3) Sea G : A B una correspondencia, con A = N = B y G = A B. Consideremos X 1 = {1} y X 2 = {2}. Luego, tenemos que G(X 1 X 2 ) = G( ) = y G(X 1 ) G(X 2 ) = N N = N. Por otro lado, G(X 1 X 2 ) = N = G(X 1 ) G(X 2 ). Proposición Sean G : A B una correspondencia y F (A). Entonces, las siguientes condiciones se satisfacen. (a) G( X F X) = X F G(X). (b) G( X F X) X F G(X).

24 18 Capítulo 1. Nociones de conjuntos, funciones y categorías Demostración. (a) Sea y B. Luego, tenemos la siguiente cadena de equivalencias: y G( X F X) ( x X F X (y G(x))) X F ( x X (y G(x))) X F (y G(X)) y X F G(X). (b) Sea y B. Luego, tenemos la siguiente cadena de implicaciones: y G( X F X) ( x X F X (y G(x))) X F (x X y G(x)) X F (y G(X)) y X F G(X). Ejercicio Sea G : A B una correspondencia. Pruebe lo siguiente. (a) Si X Y A entonces G(X) G(Y ). (b) Si proy 1 (G) X A entonces G(X) = proy 2 (G). Correspondencia inversa Definición Sea Γ = (G, A, B) una correspondencia. (a) La correspondencia inversa de Γ es Γ 1 := (G 1, B, A), donde G 1 := {(b, a) B A (a, b) G}. (b) Dado un Y B, la imagen inversa (o preimagen) de Y por G es G 1 (Y ). Esto es, G 1 (Y ) = {x A y Y ( y G(x) )}. Ejemplos. (1) Sea G : A B una correspondencia, con A = {1, 2, 3, 4}, B = {2, 3, 5} y G = {(1, 2), (1, 3), (2, 2), (3, 2)}. Luego, la correspondencia inversa G 1 : B A está dada por G 1 = {(2, 1), (3, 1), (2, 2), (2, 3)}. En tal caso, se tiene que G 1 (2) = {1, 2, 3} = G 1 ({2, 3}). (2) Sea G : A B una correspondencia, con A = R = B y G = {(x, y) R 2 y = x 2 }. La correspondencia inversa G 1 : B A está dada por G 1 = {(x, y) R 2 x = y 2 }. Observe que G(R) = [0, + ) = G 1 (R). (3) Sea G : A B una correspondencia, con A = R = B y G = {(x, y) R 2 x y}. La correspondencia inversa G 1 : B A está dada por G 1 = {(x, y) R 2 y x}. En tal caso, G G 1 = {(x, y) R 2 x = y}. Composición de correspondencias Definición Sean G 1 : A 1 B 1 y G 2 : A 2 B 2 correspondencias. La composición de G 1 con G 2 es la correspondencia G 2 G 1 : A 1 B 2, donde G 2 G 1 := {(x, z) A 1 B 2 y B 1 A 2 ( (x, y) G 1 (y, z) G 2 )}. Por simplicidad, escribiremos también G 2 G 1 en lugar de G 2 G 1.

25 1.4. Correspondencias 19 Ejemplos. Sean G 1 : A 1 B 1 y G 2 : A 2 B 2 correspondencias. (1) Sean A 1 = {2, 3, 6}, B 1 = {0, 2, 4, 5, 7, 8}, A 2 = {0, 2, 4, 5, 7}, B 2 = {2, 3, 4, 8, 9, 10}, G 1 = {(2, 5), (3, 4), (6, 2), (3, 0), (2, 7)} y G 2 = {(4, 8), (5, 3), (0, 9), (2, 2), (7, 4), (5, 10)}. Dado que G 1 (2) = {5, 7}, G 2 (5) = {3, 10} y G 2 (7) = {4}, tenemos que G 2 G 1 (2) = {3, 10, 4}. Análogamente, se puede ver que G 2 G 1 (3) = {8, 9} y G 2 G 1 (6) = {2}. De donde obtenemos finalmente que G 2 G 1 = {(2, 3), (2, 10), (2, 4), (3, 8), (3, 9), (6, 2)}. (2) Sean A 1 = A 2 = B 1 = B 2 = R, G 1 = {(x, y) R 2 y = 2x} y G 2 = {(z, w) R 2 w = z 3 }. Calcularemos, primeramente, la composición x G1 (y = z) G2 w : G 2 G 1 = {(x, w) R 2 y = 2x, w = y 3 } = {(x, w) R 2 w = 8x 3 }. Por otro lado, la composición z G2 (w = x) G1 y nos dá: G 1 G 2 = {(z, y) R 2 y = 2w, w = z 3 } = {(z, y) R 2 y = 2z 3 }. Observe que G 2 G 1 G 1 G 2 pues (1, 8) G 2 G 1 y (1, 8) G 1 G 2. Ejercicio Sean G 1 : A 1 B 1 y G 2 : A 2 B 2 correspondencias. Pruebe que: (a) Si B 1 A 2 = entonces G 2 G 1 =. (b) proy 1 (G 2 G 1 ) = {x proy 1 (G 1 ) G(x) proy 1 (G 2 ) }. Proposición Sean G 1 : A 1 B 1 y G 2 : A 2 B 2 correspondencias. Entonces (G 2 G 1 ) 1 = G 1 1 G2 1. Demostración. Sea G 3 := G 2 G 1 y (z, x) B 2 A 1. Luego, se tiene la siguiente cadena de equivalencias: (z, x) G 1 3 (x, z) G 3 y B 1 A 2 ( (x, y) G 1 (y, z) G 2 ) y B 1 A 2 ( (z, y) G 1 2 (y, x) G 1 1 ) (z, x) G 1 1 G 1 2. Ejercicio Considere las correspondencias G i : A i B i, con i = 1, 2, 3, donde A i = B i = N, siendo G 1 = {(x, y) N 2 y = 3x + 3}, G 2 = {(t, z) N 2 z = 2t+1} y G 3 = {(w, u) N 2 u = 2w 2 }. Calcule, G 3 G 2, (G 3 G 2 ) G 1, G 2 G 1 y G 3 (G 2 G 1 ). Proposición Sean G 1 : A 1 B 1, G 2 : A 2 B 2 y G 3 : A 3 B 3 correspondencias. Entonces (G 3 G 2 ) G 1 = G 3 (G 2 G 1 ). Demostración. Sea (x, w) A 1 B 3. Luego, tenemos la siguiente cadena de equivalencias: (x, w) (G 3 G 2 ) G 1 ( y B 1 A 2 (x, y) G 1 (y, w) G 3 G 2 ) ( y B 1 A 2 z B 2 A 3 (x, y) G 1 (y, z) G 2 (z, w) G 3 ) ( z B 2 A 3 (x, z) G 2 G 1 (z, w) G 3 ) (x, w) G 3 (G 2 G 1 ). Lo cual muestra la afirmación.

26 20 Capítulo 1. Nociones de conjuntos, funciones y categorías Ejercicio Sean G 1 : A 1 B 1 y G 2 : A 2 B 2 correspondencias. Diga si el siguiente enunciado es falso o verdadero: Para cualquier subconjunto X de A 1, se tiene que G 2 G 1 (X) = G 2 (G 1 (X)) Funciones (morfismos de conjuntos) Notación básica Definición Una función (mapeo, asignación, morfismo de conjuntos) entre conjuntos A y B es una correspondencia f : A B que satisface la siguiente condición: x A! y B ( y f(x) ). Observación. Sea f : A B una correspondencia. (1) La correspondencia f : A B es una función si y sólo si se satisfacen las siguientes dos condiciones: (a) proy 1 (f) = A y (b) ( (x, y 1 ) f (x, y 2 ) f ) y 1 = y 2. (2) Si A = tenemos una única función de A en B, esto es, la función vacía : B. (3) Si A y B =, no existen funciones de A en B pues proy 1 (f) = A. (4) Sean f : A B una función y x A. En este caso, el conjunto f(x) tiene un solo elemento, esto es, f(x) = {y} con y B. Por simplicidad, escribiremos f(x) = y (en lugar de f(x) = {y}) y diremos que y es el valor de f en el elemento x A. Por lo tanto, con esta notación, se tiene que f = {(x, y) A B y = f(x)}. (5) Sea f : A B una función. Dado un elemento (a, b) A B, se tienen las siguientes equivalencias: a f 1 (b) (b, a) f 1 (a, b) f f(a) = b. (6) Sea f : A B una función, X A y Y B. Usando el inciso anterior, tenemos que f(x) = {y B x X ( y = f(x) )} y f 1 (Y ) = {x A f(x) Y }. (7) Sea f : A B una función. La imagen de f en B es el conjunto Im (f) := f(a). Ejemplos. (1) La correspondencia f : A B, donde A, B tiene al menos dos elementos y f = A B, no es una función pues existen b 1, b 2 B y a A tales que b 1 b 2 y (a, b 1 ), (a, b 2 ) f.

27 1.5. Funciones (morfismos de conjuntos) 21 (2) Sean X 1, X 2,..., X n conjuntos, y consideremos el producto X := n i=1 X i. Para cada i = 1, 2,, n, la i-ésima proyección proy i : X X i, definida como proy i := {(x, x i ) x = (x 1, x 2,, x i,, x n ) X} es una función. Esto es, proy i (x) = x i x = (x 1, x 2,, x i,, x n ) X. (3) Para cada conjunto A, la correspondencia 1 A : A A, con 1 A := {(x, y) A A y = x}, es una función; y se le conoce como la función identidad en A. Esto es, 1 A (x) = x x A. (4) Sean A, B conjuntos y b B. La correspondencia c b : A B, con c b := {(x, y) A B y = b}, es una función; y se le conoce como la función constante en A. Esto es, c b (x) = b x A. (5) Sean X, A conjuntos tales que X A. La correspondencia In X : X A, con In X := {(x, y) X A y = x}, es una función; y se le conoce como la inclusión de X en A. Esto es, In X (x) = x x A. Observe que, si X = A, se tiene que 1 A = In X. Proposición Sean f : A B una función y F (B). Entonces f 1 ( Y F Y ) = Y F f 1 (Y ). Demostración. Dado que f 1 : B A es una correspondencia, tenemos por que f 1 ( Y F Y ) Y F f 1 (Y ). Veamos que la otra inclusión es cierta para el caso de preimagenes de funciones. En efecto, para x A se tiene la siguiente cadena de implicaciones: x Y F f 1 (Y ) Y F ( x f 1 (Y )) Y F ( f(x) Y ) f(x) Y F Y x f 1 ( Y F Y ). Composición de funciones Definición Sean f : A B y g : C D funciones. La composición de f con g estará definida solo para B = C. En tal caso, la composición g f : A D es la composición de f y g como correspondencias. Proposición Sean f : A B y g : B C funciones. Entonces, las siguientes condiciones se satisfacen. (a) La composición g f : A C es una función. (b) (g f)(x) = g(f(x)) x A. Demostración. Sea x A. Luego, de la definición de composición de correspondencias, tenemos la igualdad (g f)(x) = {z C u B ( (x, u) f (u, z) g )}; dado que f y g son funciones, obtenemos que f(x) = u y g(u) = z. Luego (g f)(x) = g(f(x)) pues z = g(u) = g(f(x)). Definición Sean f : A B una función y X A. La restricción f X de f en X es la composición de funciones X In X A f B, donde In X : X A es la inclusión, esto es f X := f In X.

28 22 Capítulo 1. Nociones de conjuntos, funciones y categorías Ejemplos. (1) Sean f : A B una función y 1 A : A A, 1 B : B B las identidades. Luego, se tiene que f 1 A = f = 1 B f. (2) Sean f : A B y g : B C funciones. Entonces, para cualquier subconjunto X A, se tiene que g (f X ) = (g f) X. En efecto, usaremos que la composición de correspondencias es asociativa. De donde se tiene (g f) X = (g f) In X = g (f In X ) = g f X. Funciones inyectivas, suryectivas y biyectivas Definición Sea f : A B una función. Decimos que: (a) f es inyectiva (monomorfismo de conjuntos) si (x 1, x 2 ) A 2 ( f(x 1 ) = f(x 2 ) x 1 = x 2 ). (b) f es suryectiva (suprayectiva, sobreyectiva, epiyectiva, epimorfismo de conjuntos) si Im (f) = B. (c) f es biyectiva ( una biyección, isomorfismo de conjuntos) si f es inyectiva y suryectiva. Se dice que dos conjuntos A y B son isomorfos (como conjuntos), i. e. A B, si existe un función biyectiva (isomorfismo) f : A B. Ejemplos. (1) La función f : R R, con y = f(x) = 2x+1, es biyectiva. En efecto, es inyectiva pues f(x 1 ) = f(x 2 ) 2x = 2x x 1 = x 2. Por otro lado, sea b R, veamos que x R tal que b = f(x). Para ello, tenemos que resolver la ecuación b = 2x+1 en términos de x. Resolviendo dicha ecuación, se tiene que x = b 1 2 R. Luego f( b 1 b 1 2 ) = 2( 2 )+1 = b. (2) La función f : R R, con y = f(x) = x 2, no es inyectiva ni suryectiva. En efecto, dado que f( 1) = f(1) se tiene que f no es inyectiva. Por otro lado, se sabe que x R ( x 2 0 ). Luego, la ecuación x 2 = 1 no tiene solución en R, lo cual prueba que f no es suryectiva pues f 1 ( 1) =. (3) La función identidad 1 A : A A es biyectiva. (4) La inclusión In X : X A es inyectiva. Mas aún, dicha función es suryectiva (y por lo tanto biyectiva) si y sólo si X = A. (5) Sea A un conjunto no vacío y b A. La función ϕ b : A A {b}, con ϕ b (x) := (x, b) es una biyección. (6) Sean A, B y C conjuntos. La función ϕ : (A B) C A (B C), dada por ϕ((a, b), c)) := (a, (b, c)), es biyectiva. (7) Sean X 1, X 2,, X n conjuntos no vacíos. Para cada i = 1, 2,, n, la i-ésima proyección proy i : n i=1 X i X i, dada por proy i (x) = x i x = (x 1, x 2,, x i,, x n ) n i=1 X i, es suryectiva.

29 1.5. Funciones (morfismos de conjuntos) 23 Teorema Sea f : A B una función. Entonces, las siguientes condiciones son equivalentes. (a) f : A B es inyectiva. (b) b B f 1 (b) tiene a lo sumo un elemento. (c) Existe una función g : B A tal que gf = 1 A. (d) Si α, β : C A son funciones tales que fβ = fα, entonces β = α. Demostración. (a) (b) Sea b B. Supongamos que f 1 (b) tiene al menos dos elementos. Por lo tanto, existen a 1, a 2 f 1 (b) con a 1 a 2 ; lo cual contradice que f es inyectiva pues f(a 1 ) = b = f(a 2 ). Por lo tanto f 1 (b) tiene a lo sumo un elemento. (b) (c) Por hipótesis, para cada b f(a) existe un único a b A tal que f(a b ) = b. Fijemos un elemento a 0 A. Definimos ahora una función g : B A como sigue: g(y) := { a b a 0 si y = b f(a), si y B f(a). Sea a A. Dado que b := f(a) f(a), tenemos que a b = a. Por lo tanto gf(a) = g(b) = a b = a, probándose que gf = 1 A. (c) (d) Supongamos que existe una función g : B A tal que gf = 1 A. Sean α, β : C A funciones tales que fβ = fα. Luego β = 1 A β = (gf)β = g(fβ) = g(fα) = (gf)α = 1 A α = α. (d) (a) Sean x 1, x 2 A tales que f(x 1 ) = f(x 2 ). Definamos las funciones α, β : {0} A, donde α(0) := x 1, y β(0) := x 2. Luego, tenemos que: f(x 1 ) = f(x 2 ) fα = fβ α = β x 1 = x 2. Ejercicio Sea f : A B una función. Pruebe que las siguientes condiciones son equivalentes. (a) f : A B es suryectiva. (b) b B f 1 (b). (c) Existe una función g : B A tal que fg = 1 B. (d) Si α, β : B C son funciones tales que βf = αf entonces β = α. Proposición Sean f : A B y h, g : B A funciones tales que fg = 1 B y hf = 1 A. Entonces f : A B es biyectiva y además g = h = f 1. Demostración. Por y 1.5.8, se tiene que f es biyectiva. Por otro lado g = 1 A g = (hf)g = h(fg) = h1 B = h. Veamos, finalmente que f 1 = g. En efecto, sea b B. Por ser f biyectiva, obtenemos que f 1 (b) = a A, esto es f(a) = b. Luego f(g(b)) = 1 B (b) = b = f(a), y como f es inyectiva, concluimos que g(b) = a = f 1 (b); probándose que g = f 1.

30 24 Capítulo 1. Nociones de conjuntos, funciones y categorías Corolario Sea f : A B una función. Entonces, las siguientes condiciones son equivalentes. (a) f : A B es biyectiva. (b) b B f 1 (b) tiene solo un elemento. (c) f 1 : B A es una función. (d) Existe una función t : B A tal que tf = 1 A y ft = 1 B. (e) Existen funciones h, g : B A tales que hf = 1 A y fg = 1 B. Demostración. A cargo del lector. Proposición Sean f : A B una función y F (A). Si f es inyectiva entonces f( X F X) = X F f(x). Demostración. Supongamos que la función f es inyectiva. Dado que f : A B es, en particular, una correspondencia, sabemos por que f( X F X) X F f(x). Probaremos la otra inclusión. Sea y B. Luego, usando que f es inyectiva (en la tercera implicación), se tiene la siguiente cadena de implicaciones: y X F f(x) X F ( y f(x) ) X F α X X ( y = f(α X ) ) α X F X ( y = f(α) ) y f( X F X). Ejercicio Sean f : A B y g : B C funciones. Pruebe que: (a) Si f y g son inyectivas, entonces gf es inyectiva. (b) Si f y g son suryectivas, entonces gf es suryectiva. (c) Si gf es inyectiva, entonces f es inyectiva. (d) Si gf es suryectiva, entonces g es suryectiva Familias de elementos Notación básica Definición Sean X y I conjuntos. Una función f : I X se dice que es una familia de elementos en X indexada por el conjunto I. En tal caso, se suele escribir f = (x i ) i I o bien f = {x i } i I en lugar de f = {(i, x i ) I X f(i) = x i }. El conjunto de valores de dicha familia es f(i) = {x i X i I}. Para el caso en que X = (W ), diremos que f : I X es una familia de subconjuntos de W. Proposición Sean (x i ) i I y (z i ) i I familias de elementos en X. Entonces, (x i ) i I = (z i ) i I si y sólo si x i = z i i I.

31 1.6. Familias de elementos 25 Demostración. Sabemos que (x i ) i I = {(i, x i ) I X f(i) = x i } y (z i ) i I = {(i, z i ) I X g(i) = z i }, donde f, g : I X son las funciones que definen la respectiva familia de elementos. Luego, por , concluimos que (x i ) i I = (z i ) i I x i = z i i I. Observación. Sea (x i ) i I una familia de elementos en X. (1) La función θ : I (x i ) i I, dada por θ(i) = (i, x i ), es biyectiva. (2) La función ϕ : (x i ) i I {x i X i I}, dada por ϕ((i, x i )) = x i, es siempre suryectiva; y no necesariamente inyectiva. Por ejemplo, en el caso de familias constantes, esto es x i = x i I, se tiene que el conjunto de valores de (x i ) i I es {x} (un solo elemento); en cambio (como vimos en (1)) la familia (x i ) i I tiene tantos elementos como el conjunto I. (3) Si el conjunto de índices I es el conjunto N de los números naturales, la familia (x i ) i I se dice que es una sucesión de elementos en X ( o de subconjuntos de W, en el caso X = (W )). (4) En caso I = {j, j + 1,, n}, escribiremos también (x i ) n i=j (respectivamente, {x i } n i=j ) para referirnos a (x i) i I (respectivamente, {x i } i I ). (5) Un subconjunto Z de (x i ) i I se dice que es una subfamilia de (x i ) i I. En tal caso, Z = (x i ) i J, para algún subconjunto J de I. Uniones e intersecciones de familias de conjuntos Definición Sea {X i } i I una familia de subconjuntos de X. La unión y la intersección de dicha familia se definen como sigue: X i := {x X i I ( x X i )}. i I X i := {x X i I ( x X i )} y i I Observación. Sea {X i } i I una familia de subconjuntos de X. Consideremos el conjunto de valores F := {X i (X) i I} de la familia {X i } i I. Dado que i I X i = Z F Z y i I X i = Z F Z, tenemos que valen, para las familias de conjuntos, los resultados probados en las uniones e intersecciones generalizadas. En particular, si I = se tiene que i I X i = y i I X i = X. Ejercicio Sea {G i : A B} i I una familia de correspondencias entre conjuntos A y B. Considere las correspondencias i I G i : A B y i I G i : A B. Pruebe lo siguiente: (a) X (A) ( i I G i)(x) = i I G i(x). (b) x A ( i I G i)(x) = i I G i(x). Ejercicio Sean {A i } i I y {B i } i J familias de subconjuntos de X. Pruebe las siguientes igualdades.

32 26 Capítulo 1. Nociones de conjuntos, funciones y categorías (a) ( i I A i) ( i J B j) = (i,j) I J (A i B j ). (b) ( i I A i) ( i J B j) = (i,j) I J (A i B j ). (c) ( i I A i) ( i J B j) = (i,j) I J (A i B j ). (d) ( i I A i) ( i J B j) = (i,j) I J (A i B j ). Producto de una familia de conjuntos En lo que sigue, fijaremos un conjunto universal U y consideraremos familias de subconjuntos en U. Como U está fijo, solo hablaremos de familias de conjuntos, las cuales se entenderan como familias de subconjuntos de U. Definición Sea {X i } i I una familia de conjuntos. El producto de dicha familia es el conjunto X i f es una función y f(i) X i i I}. i I X i := {f : I i I Observación. Sea {X i } i I una familia de conjuntos. (1) Usando el lenguaje de las familias de elementos, el producto de dicha familia de conjuntos se puede escribir en términos de familias de elementos en i I X i, como sigue: X i = {x = (x i ) i I x i X i i I}. i I (2) Dado un elemento x = (x i ) i I i I X i, se dice que x i es la coordenada i-ésima de x. n (3) En el caso en que I = {1, 2,, n}, la función ϕ : i=1 X i i I X i, dada por ϕ((x 1, x 2,, x n )) := (x i ) n i=1, es un isomorfismo de conjuntos (biyectiva), la cual nos permite identificar (y así se hace en la práctica) a los dos productos. En efecto, por definición es claro que ϕ es suryectiva; y la inyectividad es consecuencia de y (4) Si I =, se tiene que i I X i = { }. En efecto, tenemos que I = = i I X i, y la función vacía : es la única que existe en este caso. (5) Si la la familia {X i } i I está formada por conjuntos con un solo elemento, i. e. X i = {a i } i I, el producto i I X i también tiene un solo elemento: la familia de elementos (a i ) i I. Definición Sea {X i } i I una familia de conjuntos. Para cada j I, la proyección en la j-ésima coordenada es la función Proy j : i I X i X j dada por Proy j ((x i ) i I ) := x j.

33 1.7. Relaciones binarias 27 Para probar, bajo ciertas condiciones, que la proyección Proy j : i I X i X j es suryectiva, necesitaremos hacer uso del llamado Axioma de la elección. El cual enunciamos a continuación. Otras formas equivalentes de dicho axioma, serán comentadas más adelante. Axioma de la Elección. Para todo conjunto F de subconjuntos no vacíos, existe una función, llamada función de elección, τ : F X F X tal que τ(x) X X F. Proposición Sea {X i } i I una familia de conjuntos no vacíos, i. e. X i i I. Entonces, para cada j I, la proyección Proy j : i I X i X j es suryectiva. Demostración. Sean j I y x j X j. Veamos que existe un elemento z i I X i tal que Proy j (z) = x j. En efecto, si I = {j}, se tiene que i I X i = {f : {j} X j f es una función } = {j} X j ; y así, eligiendo z := (j, x j ) se tiene que Proy j (z) = x j. Supongamos ahora que I {j} =. Usando el Axioma de la Elección, elegimos para cada i I {j} un elemento z i X i, y tomamos z j := x j. Luego tenemos que z := (z i ) i I i I X i y por consiguiente Proy j (z) = x j. Teorema Sea {X i } i I una familia de conjuntos. Entonces, se tiene la equivalencia X i = i I ( X i = ). i I Demostración. ( ) Sea i I X i =. Supongamos, por contradicción, que i I ( X i ). Luego, por 1.6.8, se tiene que cada j I, la proyección Proy j : i I X i X j es suryectiva, contradiciendo nuestra hipótesis i I X i =. Luego, la suposición que hicimos es falsa, de donde se tiene que i I ( X i = ). ( ) Sea i I ( X i = ) verdadera. Supongamos, por contradicción, que i I X i. Luego, existe un elemento (x i ) i I i I X i, y por lo tanto i I ( X i ); contradiciendo la hipótesis. Por lo tanto i I X i =. Ejercicio Pruebe que el Axioma de la Elección es equivalente a la validez de la proposición i I ( X i ) = i I X i Relaciones binarias Definición Una relación binaria, en un conjunto A, es una correspondencia R : A A. En este caso, dados (x, y) R, usaremos la notación xry diciendo que x está en relación R con y.

Conjuntos, relaciones y funciones Susana Puddu

Conjuntos, relaciones y funciones Susana Puddu Susana Puddu 1. Repaso sobre la teoría de conjuntos. Denotaremos por IN al conjunto de los números naturales y por ZZ al de los enteros. Dados dos conjuntos A y B decimos que A está contenido en B o también

Más detalles

ALGEBRA y ALGEBRA LINEAL. Primer Semestre CAPITULO I LOGICA Y CONJUNTOS.

ALGEBRA y ALGEBRA LINEAL. Primer Semestre CAPITULO I LOGICA Y CONJUNTOS. ALGEBRA y ALGEBRA LINEAL 520142 Primer Semestre CAPITULO I LOGICA Y CONJUNTOS. DEPARTAMENTO DE INGENIERIA MATEMATICA Facultad de Ciencias Físicas y Matemáticas Universidad de Concepción 1 La lógica es

Más detalles

Tema 1: Conjuntos. Miguel Ángel Olalla Acosta Departamento de Álgebra Universidad de Sevilla. Septiembre de 2017

Tema 1: Conjuntos. Miguel Ángel Olalla Acosta Departamento de Álgebra Universidad de Sevilla. Septiembre de 2017 Tema 1: Conjuntos Miguel Ángel Olalla Acosta miguelolalla@us.es Departamento de Álgebra Universidad de Sevilla Septiembre de 2017 Olalla (Universidad de Sevilla) Tema 1: Conjuntos Septiembre de 2017 1

Más detalles

Tema 1: Fundamentos.

Tema 1: Fundamentos. Tema 1: Fundamentos. 1. Nociones básicas de la Teoría de Conjuntos. Definición. Un conjunto es una colección de objetos. A los objetos de un conjunto se les llama elementos del conjunto. Se denominará

Más detalles

Conjuntos, Aplicaciones y Relaciones

Conjuntos, Aplicaciones y Relaciones Conjuntos, Aplicaciones y Relaciones Curso 2017-2018 1. Conjuntos Un conjunto será una colección de objetos; a cada uno de estos objetos lo llamaremos elemento del conjunto. Si x es un elemento del conjunto

Más detalles

Resumen de las clases teóricas del turno tarde a cargo de la Prof. Alcón.

Resumen de las clases teóricas del turno tarde a cargo de la Prof. Alcón. Resumen de las clases teóricas del turno tarde a cargo de la Prof. Alcón. 0.1. Definiciones básicas: subconjunto, conjunto vacío, complemento, conjunto de partes A lo largo de esta sección consideraremos

Más detalles

Tema 1: Conjuntos. Miguel Ángel Olalla Acosta Departamento de Álgebra Universidad de Sevilla. Septiembre de 2016

Tema 1: Conjuntos. Miguel Ángel Olalla Acosta Departamento de Álgebra Universidad de Sevilla. Septiembre de 2016 Tema 1: Conjuntos Miguel Ángel Olalla Acosta miguelolalla@us.es Departamento de Álgebra Universidad de Sevilla Septiembre de 2016 Olalla (Universidad de Sevilla) Tema 1: Conjuntos Septiembre de 2016 1

Más detalles

Estructuras Algebraicas

Estructuras Algebraicas Tema 1 Estructuras Algebraicas Definición 1 Sea A un conjunto no vacío Una operación binaria (u operación interna) en A es una aplicación : A A A Es decir, tenemos una regla que a cada par de elementos

Más detalles

En general, un conjunto A se define seleccionando los elementos de un cierto conjunto U de referencia que cumplen una determinada propiedad.

En general, un conjunto A se define seleccionando los elementos de un cierto conjunto U de referencia que cumplen una determinada propiedad. nidad 3: Conjuntos 3.1 Introducción Georg Cantor [1845-1918] formuló de manera individual la teoría de conjuntos a finales del siglo XIX y principios del XX. Su objetivo era el de formalizar las matemáticas

Más detalles

Inducción Matemática Conjuntos Funciones. Matemática Discreta. Agustín G. Bonifacio UNSL. Repaso de Inducción, Conjuntos y Funciones

Inducción Matemática Conjuntos Funciones. Matemática Discreta. Agustín G. Bonifacio UNSL. Repaso de Inducción, Conjuntos y Funciones UNSL Repaso de Inducción, y Inducción Matemática (Sección 1.7 del libro) Supongamos que queremos demostrar enunciados del siguiente tipo: P(n) : La suma de los primeros n números naturales es n(n+1)

Más detalles

2. Estructuras Algebraicas

2. Estructuras Algebraicas 2. Estructuras Algebraicas 2.1. Conjuntos Un conjunto es una reunión en un todo de determinados objetos bien definidos y diferentes entre sí. Llamamos elementos a los objetos que lo forman. Requisitos:

Más detalles

Coordinación de Matemática I (MAT021) 1 er Semestre de 2013 Semana 1: Lunes 11 Viernes 16 de Marzo. Contenidos

Coordinación de Matemática I (MAT021) 1 er Semestre de 2013 Semana 1: Lunes 11 Viernes 16 de Marzo. Contenidos Coordinación de Matemática I (MAT021) 1 er Semestre de 2013 Semana 1: Lunes 11 Viernes 16 de Marzo Complementos Contenidos Clase 1: Elementos de lógica: Conectivos, tablas de verdad, tautologías y contingencias.

Más detalles

Formulaciones equivalentes del Axioma de Elección

Formulaciones equivalentes del Axioma de Elección Formulaciones equivalentes del Axioma de Elección MARU SARAZOLA Resumen En este documento presentamos algunas formulaciones equivalentes del axioma de elección. En la primera sección, se presenta el enunciado

Más detalles

Terminaremos el capítulo con una breve referencia a la teoría de cardinales.

Terminaremos el capítulo con una breve referencia a la teoría de cardinales. TEMA 5. CARDINALES 241 Tema 5. Cardinales Terminaremos el capítulo con una breve referencia a la teoría de cardinales. Definición A.5.1. Diremos que el conjunto X tiene el mismo cardinal que el conjunto

Más detalles

Contenido. BLOQUE I: PRELIMINARES Tema 2 ALGUNAS NOCIONES DE TEORÍA DE CONJUNTOS, RELACIONES Y FUNCIONES Lógica Grado en Ingeniería Informática

Contenido. BLOQUE I: PRELIMINARES Tema 2 ALGUNAS NOCIONES DE TEORÍA DE CONJUNTOS, RELACIONES Y FUNCIONES Lógica Grado en Ingeniería Informática Contenido BLOQUE I: PRELIMINARES Tema 2 ALGUNAS NOCIONES DE TEORÍA DE CONJUNTOS, RELACIONES Y FUNCIONES Lógica Grado en Ingeniería Informática Alessandra Gallinari URJC Nociones de teoría de conjuntos

Más detalles

Capítulo 4: Conjuntos

Capítulo 4: Conjuntos Capítulo 4: Conjuntos Miguel Ángel Olalla Acosta miguelolalla@us.es Departamento de Álgebra Universidad de Sevilla Septiembre de 2014 Olalla (Universidad de Sevilla) Capítulo 4: Conjuntos Septiembre de

Más detalles

Estructuras Discretas. Conjuntos. Conjuntos & Funciones. Especificación de Conjuntos.

Estructuras Discretas. Conjuntos. Conjuntos & Funciones. Especificación de Conjuntos. Estructuras Discretas Conjuntos Conjuntos & Funciones Claudio Lobos clobos@inf.utfsm.cl niversidad Técnica Federico Santa María Estructuras Discretas INF 152 Definición: conjunto n conjunto es una colección

Más detalles

58 7. ESPACIOS COCIENTE

58 7. ESPACIOS COCIENTE CAPíULO 7 Espacios cociente En esta sección estudiamos el cociente de un espacio vectorial por un subespacio W. Este cociente se define como el conjunto cociente de por una relación de equivalencia conveniente.

Más detalles

Semana04[1/17] Funciones. 21 de marzo de Funciones

Semana04[1/17] Funciones. 21 de marzo de Funciones Semana04[1/17] 21 de marzo de 2007 Composición de funciones Semana04[2/17] Pensemos que tenemos tres conjuntos no vacíos A, B, C, y dos funciones, f : A B y g : B C, como en el siguiente diagrama: Figura:

Más detalles

Matemática I C.F.E. I.N.E.T. Profesorado de Informática Conjuntos

Matemática I C.F.E. I.N.E.T. Profesorado de Informática Conjuntos Conjuntos Conceptos primitivos: CONJUNTO, ELEMENTO, PERTENECE. Pertenecer- Elemento Sea el conjunto de los ríos del Uruguay. El Río Negro es un río del Uruguay. Entonces, este río es un elemento del conjunto

Más detalles

ALGEBRA 1- GRUPO CIENCIAS- TURNO TARDE- V V V V F F F V F F F V

ALGEBRA 1- GRUPO CIENCIAS- TURNO TARDE- V V V V F F F V F F F V Resumen teoría Prof. Alcón ALGEBRA 1- GRUPO CIENCIAS- TURNO TARDE- Tablas de Verdad: p q p q p p V V V V F V F F F V F V F F F F p q p q V V V V F V F V V F F F p q p q V V V V F F F V V F F V p q p q

Más detalles

UNIDAD 5 : ESTRUCTURAS ALGEBRAICAS

UNIDAD 5 : ESTRUCTURAS ALGEBRAICAS UNIVERSIDAD DON BOSCO - DEPARTAMENTO DE CIENCIAS BÁSICAS UNIDAD 5 : ESTRUCTURAS ALGEBRAICAS ÁLGEBRA LINEAL - GUIÓN DE CLASE - SEMANA 10 - CICLO 01-2015 Estudiante: Grupo: 1. Aplicaciones 1.1. Aplicaciones.

Más detalles

DETERMINACIÓN DE UN CONJUNTO

DETERMINACIÓN DE UN CONJUNTO CONJUNTO UNIVERSAL U A Gráficamente, al conjunto universal se lo representa mediante un rectángulo. Cualquier otro conjunto A es representado por una región cerrada, dentro del rectángulo, A este tipo

Más detalles

Conjuntos. () April 4, / 32

Conjuntos. () April 4, / 32 Conjuntos En general, un conjunto A se de ne seleccionando los elementos de un cierto conjunto U de referencia (o universal) que cumplen una determinada propiedad. () April 4, 2014 1 / 32 Conjuntos En

Más detalles

Semana02[1/23] Conjuntos. 9 de marzo de Conjuntos

Semana02[1/23] Conjuntos. 9 de marzo de Conjuntos Semana02[1/23] 9 de marzo de 2007 Introducción Semana02[2/23] La teoría de conjuntos gira en torno a la función proposicional x A. Los valores que hacen verdadera la función proposicional x A son aquellos

Más detalles

Universidad Central de Venezuela Facultad de Ciencias Escuela de Computación. Lecturas en Ciencias de la Computación ISSN

Universidad Central de Venezuela Facultad de Ciencias Escuela de Computación. Lecturas en Ciencias de la Computación ISSN Universidad Central de Venezuela Facultad de Ciencias Escuela de Computación Lecturas en Ciencias de la Computación ISSN 1316-6239 Relaciones Prof. Luis Manuel Hernández R. ND 2006-02 Centro de Cálculo

Más detalles

CONJUNTOS. Por ejemplo, el E del ejemplo 2 se escribe.

CONJUNTOS. Por ejemplo, el E del ejemplo 2 se escribe. CONJUNTOS La teoría de conjuntos nos permite describir de forma precisa conjuntos de números, de personas, de objetos, etc que comparten una propiedad común. Esto puede ser de gran utilidad al establecer

Más detalles

ÁLGEBRA I. Curso Grado en Matemáticas

ÁLGEBRA I. Curso Grado en Matemáticas ÁLGEBRA I. Curso 2012-13 Grado en Matemáticas Relación 1: Lógica Proposicional y Teoría de Conjuntos 1. Establecer las siguientes tautologías: (a) A A A (b) A A A (c) A B B A (d) A B B A (e) (A B) C A

Más detalles

PRELIMINARES. En este capítulo vamos a dar, sin ser muy estrictos, algunas nociones necesarias para la compresión de la asignatura.

PRELIMINARES. En este capítulo vamos a dar, sin ser muy estrictos, algunas nociones necesarias para la compresión de la asignatura. 1 PRELIMINARES 1. CONJUNTOS En este capítulo vamos a dar, sin ser muy estrictos, algunas nociones necesarias para la compresión de la asignatura. 1.1 Def:. Se define un conjunto como una colección de objetos.

Más detalles

COMPLEMENTO DEL TEÓRICO

COMPLEMENTO DEL TEÓRICO ÁLGEBRA I PRIMER CUATRIMESTRE - AÑO 2016 COMPLEMENTO DEL TEÓRICO El material de estas notas fue dictado en las clases teóricas pero no se encuentra en el texto que seguimos en las mismas ( Álgebra I -

Más detalles

Funciones y Cardinalidad

Funciones y Cardinalidad Funciones y Cardinalidad Definición 1 Llamaremos función f entre dos conjuntos A y B a una relación que verifica las siguientes propiedades: i) Dom(f) = A ii) Si (a, b), (a, c) f entonces b = c Dicho de

Más detalles

Fundamentos de Lógica y Teoría de Conjuntos

Fundamentos de Lógica y Teoría de Conjuntos Índice general 1. Lógica y Teoría de conjuntos 3 1.1. Introducción a la Lógica............................ 3 1.1.1. Repaso histórico (Ref. Grimaldi pág. 187).............. 3 1.1.2. Conceptos básicos (Ref.

Más detalles

1. Conjuntos y funciones

1. Conjuntos y funciones Centro de Matemática Facultad de Ciencias Universidad de la República Introducción a la Topología Curso 2016 PRACTICO 1: CONJUNTOS. 1 1. Conjuntos y funciones Ejercicio 1. Si I es un conjunto y A α es

Más detalles

Definición 1 Un semigrupo es un conjunto E provisto de una operación binaria asociativa sobre E, se denota por (E, ).

Definición 1 Un semigrupo es un conjunto E provisto de una operación binaria asociativa sobre E, se denota por (E, ). ALGEBRA La primera parte del presente libro está dedicada a las estructuras algebraicas. En esta parte vamos a iniciar agregándole a los conjuntos operaciones. Cuando las operaciones tienen determinadas

Más detalles

Conjuntos, relaciones de equivalencia y aplicaciones

Conjuntos, relaciones de equivalencia y aplicaciones CAPíTULO 1 Conjuntos, relaciones de equivalencia y aplicaciones 1. Conjuntos La idea de conjunto es una de las más significativas en Matemáticas. La mayor parte de los conceptos matemáticos están construidos

Más detalles

Algebras booleanas. B2) Leyes Distributivas. Cada operación es distributiva con respecto a la otra:

Algebras booleanas. B2) Leyes Distributivas. Cada operación es distributiva con respecto a la otra: Algebras booleanas AXIOMAS DEL ALGEBRA DE BOOLE Sea B un conjunto en el cual se han definido dos operaciones binarias, + y * (En algunos casos se definen en términos de y respectivamente), y una operación

Más detalles

Es trivial generalizar la definición al caso de varios conjuntos: A B C, etc.

Es trivial generalizar la definición al caso de varios conjuntos: A B C, etc. Tema 1 Espacios Vectoriales 1.1 Repaso de Estructuras Algebraicas 1. Producto cartesiano de conjuntos. Dados los conjuntos A y B, se llama producto cartesiano de A y B, y se denota por A B al conjunto

Más detalles

P(f) : P(B) P(A) (A.2)

P(f) : P(B) P(A) (A.2) TEMA 2. APLICACIONES 227 Tema 2. Aplicaciones Definición A.2.1. Una correspondencia entre dos conjuntos A y B es un subconjunto del producto cartesiano A B. Una aplicación f entre dos conjuntos A y B es

Más detalles

Espacios Vectoriales. Tema Introducción. 1.2 Repaso de Estructuras Algebraicas

Espacios Vectoriales. Tema Introducción. 1.2 Repaso de Estructuras Algebraicas Tema 1 Espacios Vectoriales 1.1 Introducción Estas notas se han escrito con el ánimo de facilitar al estudiante una guía para el estudio de la asignatura, y no como un libro de texto o manual de Álgebra

Más detalles

Capítulo 2 Conjuntos. 2.1 Introducción. 2.2 Determinación de conjuntos. Definición:

Capítulo 2 Conjuntos. 2.1 Introducción. 2.2 Determinación de conjuntos. Definición: Capítulo 2 Conjuntos 2.1 Introducción El concepto de conjunto, de singular importancia en la ciencia matemática y objeto de estudio de una de sus disciplinas más recientes, está presente, aunque en forma

Más detalles

UNIDAD I: LÓGICA MATEMÁTICA

UNIDAD I: LÓGICA MATEMÁTICA UNIDAD I: LÓGICA MATEMÁTICA 1.1. Introducción La Lógica Matemática es la rama de las Matemáticas que nos permite comprender sobre la validez o no de razonamientos y demostraciones que se realizan. La lógica

Más detalles

Álgebra Lineal y Estructuras Matemáticas. J. C. Rosales y P. A. García Sánchez. Departamento de Álgebra, Universidad de Granada

Álgebra Lineal y Estructuras Matemáticas. J. C. Rosales y P. A. García Sánchez. Departamento de Álgebra, Universidad de Granada Álgebra Lineal y Estructuras Matemáticas J. C. Rosales y P. A. García Sánchez Departamento de Álgebra, Universidad de Granada Capítulo 1 Conjuntos, relaciones y aplicaciones 1. Conjuntos La idea de conjunto

Más detalles

TEMA 1. Teoría de Conjuntos. Ejercicio 1.1. Decidir si A = B, A B ó A B en los siguientes casos:

TEMA 1. Teoría de Conjuntos. Ejercicio 1.1. Decidir si A = B, A B ó A B en los siguientes casos: TEMA 1 Teoría de Conjuntos Ejercicio 1.1. Decidir si A = B, A B ó A B en los siguientes casos: i) A = { }, B = {{ }} ii) A = {, { }}, B = {, {, { }}} iii) A = {{ }, {, { }}}, B = {{ }} Ejercicio 1.2. Dar

Más detalles

Estructuras algebraicas

Estructuras algebraicas Semana 10[1/14] 26 de abril de 2007 Semana 10[2/14] Grupos Un grupo es un caso particular de una estructura algebraica. Veremos que esta noción rescata ampliamente las propiedades de estructuras tales

Más detalles

SESIÓN N 07 III UNIDAD RELACIONES Y FUNCIONES

SESIÓN N 07 III UNIDAD RELACIONES Y FUNCIONES SESIÓN N 07 III UNIDAD RELACIONES Y FUNCIONES RELACIONES BINARIAS PAR ORDENADO Es un arreglo de dos elementos que tienen un orden determinado donde a es llamada al primera componente y b es llamada la

Más detalles

Conjuntos. Relaciones. Aplicaciones

Conjuntos. Relaciones. Aplicaciones Conjuntos. Relaciones. Aplicaciones Conjuntos 1. Considera el subconjunto A de números naturales formado por los múltiplos de 4 y el conjunto B N de los números que terminan en 4. Comprueba que A B y B

Más detalles

Es trivial generalizar la definición al caso de varios conjuntos: A B C, etc.

Es trivial generalizar la definición al caso de varios conjuntos: A B C, etc. Tema 1 Espacios Vectoriales 1.1 Introducción Estas notas están elaboradas pensando simplemente en facilitar al estudiante una guía para el estudio de la asignatura, y en consecuencia se caracterizan por

Más detalles

Introducción a la Matemática Discreta

Introducción a la Matemática Discreta Introducción a la Matemática Discreta Lógica proposicional y Álgebras de Boole Luisa María Camacho Camacho Introd. a la Matemática Discreta 1 / 25 Introducción a la Matemática Discreta Temario Tema 1.

Más detalles

Relaciones Binarias. Matemática Discreta. Agustín G. Bonifacio UNSL. Relaciones Binarias

Relaciones Binarias. Matemática Discreta. Agustín G. Bonifacio UNSL. Relaciones Binarias UNSL Relaciones Binarias Relaciones Binarias (Sección 3.1 del libro) Definición Una relación (binaria) R de un conjunto X a un conjunto Y es un subconjunto del producto cartesiano X Y. Si (x,y) R, escribimos

Más detalles

Teorema de Lagrange. En esta sección demostramos algunos hechos básicos sobre grupos, que se pueden deducir de la definición

Teorema de Lagrange. En esta sección demostramos algunos hechos básicos sobre grupos, que se pueden deducir de la definición Teorema de Lagrange Capítulo 3 3.1 Introducción En este capítulo estudiaremos uno de los teoremas más importantes de toda la teoría de grupos como lo es el Teorema de Lagrange. Daremos en primer lugar

Más detalles

MATEMÁTICAS BÁSICAS. Autora: Jeanneth Galeano Peñaloza Edición: Oscar Guillermo Riaño

MATEMÁTICAS BÁSICAS. Autora: Jeanneth Galeano Peñaloza Edición: Oscar Guillermo Riaño MATEMÁTICAS BÁSICAS Autora: Jeanneth Galeano Peñaloza Edición: Oscar Guillermo Riaño Universidad Nacional de Colombia Departamento de Matemáticas Sede Bogotá Enero de 2014 Universidad Nacional de Colombia

Más detalles

INTRODUCCION AL ALGEBRA.

INTRODUCCION AL ALGEBRA. INTRODUCCION AL ALGEBRA. 2- TEORIA DE CONJUNTOS. Apuntes de la Cátedra. Alberto Serritella. Colaboraron: Cristian Mascetti. Vanesa Bergonzi Edición Previa CECANA CECEJS CET Junín 2010. UNNOBA Universidad

Más detalles

Teoría de la Dimensión

Teoría de la Dimensión Capítulo II Teoría de la Dimensión En este capítulo introduciremos una de las propiedades más importantes que tienen los espacios vectoriales: la dimensión. Dos son los modos posibles de llegar a la noción

Más detalles

Notas de Álgebra Básica I

Notas de Álgebra Básica I Notas de Álgebra Básica I Carlos Ruiz de Velasco y Bellas Departamento de Matemáticas, Estadística y Computación Facultad de Ciencias Universidad de Cantabria 14 de septiembre de 2006 2 Capítulo 1 Conjuntos,

Más detalles

Estructuras algebraicas

Estructuras algebraicas Semana 11[1/22] 4 de mayo de 2007 Anillos y cuerpos Semana 11[2/22] Anillos Comenzamos ahora el estudio de estructuras algebraicas que tengan definidas dos operaciones, y las clasificaremos en anillos

Más detalles

b) Sea una relación de equivalencia en A y una operación en A. Decimos que y son compatibles si a b a c b c y c a c b para todo a, b, c A

b) Sea una relación de equivalencia en A y una operación en A. Decimos que y son compatibles si a b a c b c y c a c b para todo a, b, c A APENDICE Relaciones y Operaciones Compatibles 1 Definición: a) Sea A un conjunto y una relación entre elementos de A. Decimos que es una relación de equivalencia si es: i Reflexiva: a A, a a. ii Simétrica:

Más detalles

1. Conjuntos y funciones

1. Conjuntos y funciones PRACTICO 1: CONJUNTOS. 1. Conjuntos y funciones Es útil saber de memoria las siguientes propiedades de conjuntos y funciones. Tanto como saber las tablas. Ejercicio 1. Si I es un conjunto y A α es un conjunto

Más detalles

Introducción a la topología

Introducción a la topología Introducción a la topología Beatriz Abadie CENTRO DE MATEMÁTICAS FACULTAD DE CIENCIAS UNIVERSIDAD DE LA REPÚBLICA Agosto de 2013 i Índice general Capítulo 1. Elementos de la teoría de conjuntos 1 1.1.

Más detalles

3.3. TEORÍA BÁSICA DE CONJUNTOS Utilizar tablas de verdad para comprobar la equivalencia lógica p q p q.

3.3. TEORÍA BÁSICA DE CONJUNTOS Utilizar tablas de verdad para comprobar la equivalencia lógica p q p q. 3.3. TEORÍA BÁSICA DE CONJUNTOS 83 a) p q b) p q c) q p 7. Sabiendo que la proposición compuesta ( q) (q p) es falsa, indicar cuál es el valor de verdad de las proposiciones p y q. 8. Utilizar tablas de

Más detalles

Tema 2: Teorema de estructura de los grupos abelianos finitamente generados.

Tema 2: Teorema de estructura de los grupos abelianos finitamente generados. ESTRUCTURAS ALGEBRAICAS GRADO EN MATEMÁTICAS. CURSO 215/216 Tema 2: Teorema de estructura de los grupos abelianos finitamente generados. 1.1. Grupo abeliano libre. Bases. Definición 1.1. El grupo Z n con

Más detalles

Anillos. a + (b + c) = (a + b) + c. 3) Existe un elemento 0 en R, el cual llamaremos cero, tal que. a + 0 = 0 + a = a para todo a en R.

Anillos. a + (b + c) = (a + b) + c. 3) Existe un elemento 0 en R, el cual llamaremos cero, tal que. a + 0 = 0 + a = a para todo a en R. Capítulo 7 Anillos 7.1 Definiciones Básicas El concepto de Anillo se obtiene como una generalización de los números enteros, en donde están definidas un par de operaciones, la suma y el producto, relacionadas

Más detalles

Lógica Proposicional. Sergio Stive Solano Sabié. Abril de 2013

Lógica Proposicional. Sergio Stive Solano Sabié. Abril de 2013 Lógica Proposicional Sergio Stive Solano Sabié Abril de 2013 Lógica Proposicional Sergio Stive Solano Sabié Abril de 2013 Proposiciones Definición 1.1 Una proposición (o declaración) es una oración declarativa

Más detalles

Los isomorfismos básicos de la teoría de cuerpos algebraicos.

Los isomorfismos básicos de la teoría de cuerpos algebraicos. 4. AUTOMORFISMOS DE CUERPOS. En este tema probaremos que dos elementos α y β, conjugados sobre un cuerpo F, determinan un isomorfismo entre los cuerpos F (α) y F (β). También cierto recíproco será válido.

Más detalles

CAPÍTULO 2 NOCIONES BÁSICAS DE TEORÍA DE CONJUNTOS

CAPÍTULO 2 NOCIONES BÁSICAS DE TEORÍA DE CONJUNTOS CAPÍTULO 2 NOCIONES BÁSICAS DE TEORÍA DE CONJUNTOS 2.1. NOCIONES PRIMITIVAS Consideraremos tres nociones primitivas: Conjunto, Elemento y Pertenencia. Conjunto Podemos entender al conjunto como, colección,

Más detalles

Inyectivas, Suprayectivas, Biyectivas, Inversas. Relaciones Funcionales. f : A B se lee f es una función con dominio A y codominio B

Inyectivas, Suprayectivas, Biyectivas, Inversas. Relaciones Funcionales. f : A B se lee f es una función con dominio A y codominio B Relaciones Funcionales Sean A, B dos conjuntos no vacíos, que llamaremos dominio y contradominio respectivamente. Entenderemos por función de A en B toda regla que hace corresponder a cada elemento del

Más detalles

Estructuras Algebraicas

Estructuras Algebraicas Estructuras Algebraicas Módulos noetherianos y Artinianos Zarate Sebastian 8 de julio de 2015 Índice 1. Preliminares 1 1.1. Grupos................................... 1 1.2. Anillos...................................

Más detalles

Semana03[1/17] Funciones. 16 de marzo de Funciones

Semana03[1/17] Funciones. 16 de marzo de Funciones Semana03[1/17] 16 de marzo de 2007 Introducción Semana03[2/17] Ya que conocemos el producto cartesiano A B entre dos conjuntos A y B, podemos definir entre ellos algún tipo de correspondencia. Es decir,

Más detalles

El axioma del innito

El axioma del innito Capítulo 2 El axioma del innito 2.1. El conjunto ω Ya observamos que con los axiomas anteriores podemos formar conjuntos nitos tan grandes como querramos. El axioma que introduciremos ahora nos permitirá

Más detalles

Grupos libres. Presentaciones.

Grupos libres. Presentaciones. S _ Tema 12.- Grupos libres. Presentaciones. 12.1 Grupos libres. En el grupo Z de los enteros vimos una propiedad (cf. ejemplos.5), que lo caracteriza como grupo libre. Lo enunciamos al modo de una Propiedad

Más detalles

John Venn Matemático y filósofo británico creador de los diagramas de Venn

John Venn Matemático y filósofo británico creador de los diagramas de Venn Georg Cantor Matemático Alemán creador de la teoría de conjuntos John Venn Matemático y filósofo británico creador de los diagramas de Venn August De Morgan Matemático ingles creador de leyes que llevan

Más detalles

Capítulo 8 Sistemas completos de contectivos

Capítulo 8 Sistemas completos de contectivos Capítulo 8 Sistemas completos de contectivos por G 3 Agosto 2014 Resumen Un conectivo de aridad n, es una función que asigna un valor de verdad a un conjunto de n proposiciones ordenadas. Mostramos que

Más detalles

EL TEOREMA DE SEIFERT-VAN KAMPEN. 1. Preliminares sobre grupos

EL TEOREMA DE SEIFERT-VAN KAMPEN. 1. Preliminares sobre grupos EL TEOREMA DE SEIFERT-VAN KAMPEN 1. Preliminares sobre grupos Sea G un grupo. Denotaremos de forma multiplicativa la operación en G. Así, el producto de x, y G es x y, y el inverso de x G es x 1. Para

Más detalles

TEMA 3 Elementos de la teoría de los conjuntos. *

TEMA 3 Elementos de la teoría de los conjuntos. * TEM 3 Elementos de la teoría de los conjuntos. * Conjuntos. Un conjunto es cualquier colección, bien definida, de objetos llamadas elementos o miembros del conjunto. Una manera de describir un conjunto

Más detalles

Introducción a la Matemática Discreta

Introducción a la Matemática Discreta Introducción a la Matemática Discreta Teoría de Conjuntos Luisa María Camacho Camacho Introd. a la Matemática Discreta 1 / 20 Introducción a la Matemática Discreta Temario Tema 1. Teoría de Conjuntos.

Más detalles

MATEMÁTICAS BÁSICAS. 2 de marzo de Universidad Nacional de Colombia MATEMÁTICAS BÁSICAS

MATEMÁTICAS BÁSICAS. 2 de marzo de Universidad Nacional de Colombia MATEMÁTICAS BÁSICAS 2 de marzo de 2009 Parte I Conjuntos Definición intuitiva de conjunto Definición Un conjunto es una colección de objetos. Ejemplos A = {a, e, i, o, u} B = {blanco, gris, negro} C = {2, 4, 6, 8, 9} D =

Más detalles

TEMA 2. TEORÍA DE CONJUNTOS

TEMA 2. TEORÍA DE CONJUNTOS TEMA 2. TEORÍA DE CONJUNTOS 1. Introducciónalalógica de proposiciones 1.1 Definición. Una proposición es una oración declarativa de la cual se puede decir sin ambigüedad si es verdadera o falsa. 1.2 Definición.

Más detalles

PROGRAMA DE CURSO. Horas de Trabajo Personal ,0 2,0 5,0. Horas de Cátedra

PROGRAMA DE CURSO. Horas de Trabajo Personal ,0 2,0 5,0. Horas de Cátedra PROGRAMA DE CURSO Código MA1101 Nombre Introducción al Álgebra Nombre en Inglés Introduction to Algebra SCT Unidades Docentes Horas de Cátedra Horas Docencia Auxiliar Horas de Trabajo Personal 6 10 3,0

Más detalles

Variedades diferenciables

Variedades diferenciables Capítulo VII Variedades diferenciables 1. Preliminares topológicos En esta sección vamos a recordar algunas nociones básicas de topología, relativas a las topologías iniciales y a las topologías finales,

Más detalles

Departamento de Ingeniería Matemática - Universidad de Chile

Departamento de Ingeniería Matemática - Universidad de Chile Ingeniería Matemática FACULTAD DE CIENCIAS FÍSICAS Y MATEMÁTICAS UNIVERSIDAD DE CHILE Álgebra Lineal 08-2 SEMANA 7: ESPACIOS VECTORIALES 3.5. Generadores de un espacio vectorial Sea V un espacio vectorial

Más detalles

Recordemos que utilizaremos, como es habitual, la siguiente notación para algunos conjuntos de números que son básicos.

Recordemos que utilizaremos, como es habitual, la siguiente notación para algunos conjuntos de números que son básicos. Capítulo 1 Preliminares Vamos a ver en este primer capítulo de preliminares algunos conceptos, ideas y propiedades que serán muy útiles para el desarrollo de la asignatura. Se trata de resultados sobre

Más detalles

Con esta definición de grupo, es directo que el neutro es único, al igual que el inverso de. , donde es conmutativo, se denomina Abeliano.

Con esta definición de grupo, es directo que el neutro es único, al igual que el inverso de. , donde es conmutativo, se denomina Abeliano. Teoría de Grupos Definiciones Básicas Definición 5 (Grupo) Sea una estructura algebraica con una ley de composición interna. Decimos que es un grupo si: 1. es asociativa. 2. tiene neutro. 3. toda tiene

Más detalles

LEYES DE COMPOSICIÓN INTERNA Y ELEMENTOS DISTINGUIDOS

LEYES DE COMPOSICIÓN INTERNA Y ELEMENTOS DISTINGUIDOS LEYES DE COMPOSICIÓN INTERNA Y ELEMENTOS DISTINGUIDOS Sea una estructura formada por un conjunto A, sobre cuyos elementos se ha definido una operación o ley interna, comúnmente denotada por " * ", que

Más detalles

Capítulo 2. Conjuntos Finitos Funciones

Capítulo 2. Conjuntos Finitos Funciones Capítulo 2 Conjuntos Finitos 2.1. Funciones Definición 2.1. Considere dos conjuntos A y B y suponga que a cada elemento x A es asociado un elemento de B, denotado por f(x). En este caso decimos que f es

Más detalles

Estructuras algebraicas. Departamento de Álgebra. Apuntes de teoría

Estructuras algebraicas. Departamento de Álgebra.  Apuntes de teoría ESTRUCTURAS ALGEBRAICAS GRADO EN MATEMÁTICAS. CURSO 2015/2016 Apuntes de teoría Tema 1: Grupos y subgrupos. 1.1. Introducción Definición 1.1. Un grupo es un par (G, ), donde G es un conjunto no vacío,

Más detalles

Si un objeto x es elemento de un conjunto A, se escribe: x A.

Si un objeto x es elemento de un conjunto A, se escribe: x A. Conjuntos. Dentro de la teoría se consideran como primitivos o términos no definidos los conjuntos y los elementos. En general, se designan los conjuntos usando letras latinas mayúsculas y los elementos

Más detalles

CIENCIAS FORMALES CIENCIAS FÁCTICAS

CIENCIAS FORMALES CIENCIAS FÁCTICAS UNA CLASIFICACIÓN DE LAS CIENCIAS CIENCIAS FORMALES CIENCIAS FÁCTICAS CIENCIAS FORMALES MATEMÁTICA LÓGICA CIENCIAS FÁCTICAS FÍSICA BIOLOGÍA QUÍMICA CIENCIAS SOCIALES OTRAS CIENCIAS FORMALES VOCABULARIO

Más detalles

Autora: Jeanneth Galeano Peñaloza. 3 de febrero de Universidad Nacional de Colombia Departamento de Matemáticas Sede Bogotá 1/ 45

Autora: Jeanneth Galeano Peñaloza. 3 de febrero de Universidad Nacional de Colombia Departamento de Matemáticas Sede Bogotá 1/ 45 Autora: Jeanneth Galeano Peñaloza Universidad Nacional de Colombia Departamento de Matemáticas Sede Bogotá 3 de febrero de 2013 1/ 45 Parte I 2/ 45 Definición intuitiva de conjunto Definición Un conjunto

Más detalles

Matemáticas Discretas Relaciones y funciones

Matemáticas Discretas Relaciones y funciones Coordinación de Ciencias Computacionales - INAOE Matemáticas Discretas y funciones Cursos Propedéuticos 2010 Ciencias Computacionales INAOE y funciones Propiedades de relaciones Clases de equivalencia

Más detalles

Una manera de describir un conjunto es por extensión y consiste en enumerar sus elementos entre llaves

Una manera de describir un conjunto es por extensión y consiste en enumerar sus elementos entre llaves CONJUNTOS: DEFINICIÓN Y CARDINAL DE UN CONJUNTO : Un conjunto es una colección bien definida de objetos en la que el orden es irrelevante. Dichos objetos pueden ser reales o conceptuales y se llaman elementos

Más detalles

Conjuntos, aplicaciones y

Conjuntos, aplicaciones y 0 Conjuntos, aplicaciones y números En este capítulo presentamos los conceptos fundamentales sobre la teoría de conjuntos que nos serán muy útiles en el desarrollo de la asignatura. En primer lugar recordamos

Más detalles

John Venn Matemático y filósofo británico creador de los diagramas de Venn

John Venn Matemático y filósofo británico creador de los diagramas de Venn Georg Cantor Matemático Alemán creador de la teoría de conjuntos John Venn Matemático y filósofo británico creador de los diagramas de Venn August De Morgan Matemático ingles creador de leyes que llevan

Más detalles

Es claro que es una relación de equivalencia. Para ver que tener la misma cardinalidad y la cardinalidad están bien definidas queremos ver que

Es claro que es una relación de equivalencia. Para ver que tener la misma cardinalidad y la cardinalidad están bien definidas queremos ver que Capítulo II Cardinalidad Finita II.1. Cardinalidad Definimos I n para n N como I n = {k N : 1 k n}. En particular I 0 =, puesto que 0 < 1. Esto es equivalente a la definición recursiva { si n = 0 I n =

Más detalles

Tema 2. Grupos. 3. El conjunto de matrices de orden 2 con coeficientes enteros (o reales) con la suma es un grupo conmutativo.

Tema 2. Grupos. 3. El conjunto de matrices de orden 2 con coeficientes enteros (o reales) con la suma es un grupo conmutativo. Tema 2. Grupos. 1 Grupos Definición 1 Un grupo es una estructura algebraica (G, ) tal que la operación binaria verifica: 1. * es asociativa 2. * tiene elemento neutro 3. todo elemento de G tiene simétrico.

Más detalles

La estructura de un cuerpo finito.

La estructura de un cuerpo finito. 9. CUERPOS FINITOS El objetivo de este capítulo es determinar la estructura de todos los cuerpos finitos. Probaremos en primer lugar que todo cuerpo finito tiene p n elementos, donde p es la característica

Más detalles

Extensiones normales.

Extensiones normales. 10. TEORÍA DE GALOIS Este capítulo, donde se establece el Teorema Principal de la Teoría de Galois, puede ser considerado como la culminación de la asignatura. Aquí se relacionarán las Teorías de Grupos

Más detalles

1 Introducción al Álgebra conmutativa

1 Introducción al Álgebra conmutativa 1 Introducción al Álgebra conmutativa Escrito por: Patrizio Guagliardo y Miguel Monsalve. A continuación, daremos algunas definiciones básicas de estructuras algebraicas para empezar a trabajar rápidamente

Más detalles

ELEMENTOS DE LA MATEMATICA

ELEMENTOS DE LA MATEMATICA ELEMENTOS DE LA MATEMATICA SEMESTRE: Primero CODIGO ANTERIOR: 22G7 CODIGO: 8101 REQUISITOS: No tiene CREDITOS: 6 HORAS DE TEORIA: 4 HORAS DE PRACTICA : 4 TEMA 1: Lógica simbólica. Las conectivas lógicas.

Más detalles

Introducción a la Lógica

Introducción a la Lógica Tema 0 Introducción a la Lógica En cualquier disciplina científica se necesita distinguir entre argumentos válidos y no válidos. Para ello, se utilizan, a menudo sin saberlo, las reglas de la lógica. Aquí

Más detalles

UNIDAD 1: RELACIONES Y FUNCIONES

UNIDAD 1: RELACIONES Y FUNCIONES UNIDAD 1: RELACIONES Y FUNCIONES En Topología, para caminar con soltura y seguridad, es necesario conocer con precisión lo que son las funciones. Es menester fundamental, las ideas intuitivas y conceptos

Más detalles

y exámenes. Temas 3 y 4

y exámenes. Temas 3 y 4 U N I V E R S I D A D D E M U R C I A Ejercicios DEPARTAMENTO DE MATEMÁTICAS CONJUNTOS Y NÚMEROS 2016/2017. de talleres y exámenes. Temas 3 y 4 Se recuerda que la resolución de algunos de estos ejercicios

Más detalles