Introducción a la Teoría de conjuntos. Kepler C k Ikastegia
|
|
- Andrés Camacho Paz
- hace 6 años
- Vistas:
Transcripción
1 Introducción a la Teoría de conjuntos Kepler C k Ikastegia 2005
2 2 Kepler C k Ikastegia
3 Índice general 1. Breves nociones de Lógica Proposiciones y conectores proposicionales Tablas de verdad Ejercicios Sobre los conjuntos Conceptos básicos Intersección y unión de conjuntos Partición de un conjunto Ejemplos de conjuntos Producto cartesiano de conjuntos Relaciones o correspondencias Aplicaciones entre conjuntos Ejercicios Leyes de composición u operaciones Leyes de composición internas y externas Estabilidad respecto de una relación de equivalencia R Propiedades Ejercicios Retículos y álgebras de Boole Definiciones Ejemplos Ejercicios
4 4 Kepler C k Ikastegia
5 Índice de figuras 1.1. Triángulo de Tartaglia Intersección de A con B Unión de A con B Diferencia de A con B Complementario de A Puerta AND Puerta OR Puerta NOT Retículo pentagonal
6 6 Kepler C k Ikastegia
7 Prólogo Los apuntes que siguen constituyen tan sólo una base teórica recomendable y útil para comprender y manipular mejor los conceptos de las diversas ramas de Matemáticas que se presentan y estudian en los primeros cursos universitarios de cualquier carrera de ciencias. Están extraídos fundamentalmente de dos libros: E. ESPADA BROS: Problemas resueltos de álgebra EDUNSA Ediciones y Distribuciones Universitarias S.A. 5 a edición. Barcelona, A. VERA LÓPEZ y F. VERA LÓPEZ: Introducción al Álgebra Tomo I Editorial Ellacuria Lab. S.A. Bilbao,
8 8 Kepler C k Ikastegia
9 Capítulo 1 Breves nociones de Lógica 1.1. Proposiciones y conectores proposicionales Definición 1.1 Se llama proposición a cualquier enunciado o aserto del que se puede afirmar sin ambigüedad si es verdadero (V) o falso (F). Mediante los llamados conectores proposicionales es posible construir nuevas proposiciones a partir de unas dadas. Éstos son: disyuntor, conjuntor, negador, que se leen respectivamente o, y, no. En matemáticas el conector disyuntor se emplea siempre en sentido no exclusivo. Así, si p es la proposición Hoy es lunes, y q representa la proposición Está lloviendo, entonces es posible formar otras proposiciones como, por ejemplo: p q: Hoy es lunes o está lloviendo. p: Hoy no es lunes. p q: Hoy es lunes y está lloviendo. q: No está lloviendo Tablas de verdad Dando a p y a q todos los posibles valores, V o F, se obtienen las siguientes tablas, llamadas tablas de verdad: p q p q p q p p V V V V V F V F V F F V F V V F F F F F La proposición p q es falsa únicamente cuando p y q son falsas simultáneamente; en 9
10 cualquier otro caso es verdadera. La proposición p q únicamente es verdadera cuando lo son p y q simultáneamente, pues en cualquier otro caso es falsa. Definición 1.2 Se llama tautología a una proposición que siempre es verdadera. Se denota por t. La proposición t es siempre falsa y se suele denotar por k. p p p ( p) p ( p) V F V F F V V F Así, dada una proposición arbitraria p, la proposición t p ( p) es una tautología. Otra de las formas de crear proposiciones nuevas es mediante el conector implicador. Definición 1.3 Dadas dos proposiciones p y q, se llama implicación a la proposición ( p) q. Se denota por p = q y se lee p implica q o también si p entonces q o también p sólo si q. La tabla de verdad correspondiente al conector implicador es: p q ( p) q p = q V V V V V F F F F V V V F F V V Si tanto la proposición p como la implicación p = q son verdaderas se dice que constituye un teorema, y se llama hipótesis a la proposición p y tesis o conclusión a la proposición q. También se expresa diciendo que p es una condición suficiente de q (ya que de p se deduce q) o que q es una condición necesaria para p. Las implicaciones que se utilizan en matemáticas son siempre de este tipo. Definición 1.4 Se dice que dos proposiciones son equivalentes si se implican mutuamente, es decir, si la proposición (p = q) (q = p) es verdadera, lo cual se expresa habitualmente así: p q Son, por tanto, mutuamente condición necesaria y suficiente. Observemos que si dos proposiciones son equivalentes son simultáneamente verdaderas o simultáneamente falsas. A la proposición q = p se le llama recíproca de la implicación p = q la cual recibe el nombre de implicación directa. Se llama contraria a la implicación p = q. 10 Kepler C k Ikastegia
11 Ejemplo 1.1 Un importante ejemplo de proposiciones equivalentes es el siguiente: Dada una implicación p = q la implicación q = p, denominada contrarrecíproca, es equivalente a ella, es decir, (p = q) ( q = p). Esta equivalencia proposicional es el fundamento de la denominada demostración por reducción al absurdo que consiste precisamente en probar que es verdadera la implicación contrarrecíproca de una implicación directa dada. Por otro lado, ( p = q) (q = p), es decir, la contraria y la recíproca son también equivalentes. El conjunto de proposiciones con las operaciones y constituye un álgebra de Boole. Leyes del álgebra de proposiciones Idempotencia p p p p p p Asociativa p (q r) (p q) r p (q r) (p q) r Conmutativa p q q p p q q p Simplificación p (p q) p p ((p q) p Distributiva p (q r) (p q) (p r) p (q r) (p q) (p r) Elemento neutro p k p p t p Complementario p ( p) t p ( p) k Además se cumplen: 1. Ley de absorción: p t t; p k k 2. Leyes de De Morgan: (p q) ( p) ( q); (p q) ( p) ( q) 3. Ley de la doble negación: ( p) p 4. k t t k Por cumplir las primeras cuatro propiedades se dice que el conjunto de proposiciones, con las operaciones y es un retículo. Por cumplir la quinta propiedad se dice que es un retículo distributivo, y por cumplir las dos últimas propiedades se dice que es un álgebra de Boole. Todo esto se recordará en el capítulo 4. Cuantificadores Tanto en Lógica como en Teoría de conjuntos se emplean frecuentemente los llamados cuantificadores: el existencial, que se lee existe, y el universal, que se lee para todo o cualquiera que sea. Cuando sólo hay un elemento que cumple una determinada proposición se expresa! y se lee existe un único. En Matemáticas son frecuentes las proposiciones en las que intervienen variables, así si la 11 Kepler C k Ikastegia
12 proposición p(x) se cumple para ciertos valores x de E se escribe ( x E) p(x). Si E es el dominio de una proposición p(x) se tienen las siguientes equivalencias: [( x E) p(x)] [( x E) p(x)] [( x E) p(x)] [( x E) p(x)] Método de inducción Para probar la verdad de proposiciones en las que las variables que intervienen son números naturales, del tipo p(n), se emplea el denominado método de inducción. Consiste en: 1. Probar que existe n 0 IN p(n 0 ) (base de inducción). 2. Probar que p(k) = p(k + 1) es verdadera k n 0. Con esas dos pruebas se deduce que la proposición p(n) es verdadera n n 0. Habitualmente n 0 = 1. A la proposición p(k) se le llama hipótesis de inducción. Existe otro método equivalente al anterior denominado método de inducción completa que consiste en sustituir la segunda condición por ésta otra: Probar que p(n 0 ) p(n 0 + 1)... p(k) = p(k + 1) donde es n 0 < k. En cada caso se aplica uno u otro según convenga. Ejemplo 1.2 Sea p(n) la proposición (2n 1) = n 2. Veamos que es cierta n IN. 1. Si n = 1 se cumple, pues 1 = 1 2, luego se cumple p(1). 2. Si se cumple p(k) con k 1 entonces p(k + 1) también se cumple; en efecto, (2k 1)+(2(k+1) 1) = k 2 +(2(k+1) 1) = k 2 +2k+1 = (k+1) 2. Por tanto p(n) es V n IN Ejercicios 1. Demostrar, aplicando el método de inducción, los siguientes ejercicios: 12 Kepler C k Ikastegia
13 i) n 1 i=1 i(i + 1) = ii) n (2i 1) 2 = i=1 n n + 1 iii) n x i = xn+1 1 i=0 x 1 ( iv) n n ) 2 i 3 = i=1 v) n i = i=1 i i=1 n(n + 1) 2 n(2n 1)(2n + 1) 3 (x 1) 2. Demostrar con el mismo método que: a) n 1 i=1 n i 3 < n4 4 < i=1 i 3 b) n(2n + 1)(7n + 1) = 6 (múltiplo de 6) n IN c) 2 n > 2n + 1, n > 2. ( ) n i 1 d) = 1 i n i=2 3. Demostrar que el producto de tres números naturales consecutivos es múltiplo de Sea n 1 el menor número natural n para el que la desigualdad (1 + x) n > 1 + nx + nx 2 es cierta x > 0. Calcular n 1 ; demostrar que la desigualdad es cierta n n Encontrar una fórmula para las siguientes expresiones y demostrarla por inducción: a) n (2i 1) = i=1 b) n 1 c) i=0 i=2 2 i = n (1 1i ) = 2 6. Probar que n IN se cumple: n 7 i = 7 n+1 i=0 13 Kepler C k Ikastegia
14 7. Demostrar por el método de inducción el llamado binomio de Newton: ( ) n (x + y) n n = x n i y i i i=0 Relacionado con este último ejercicio se halla el conocido triángulo de Tartaglia: ( ) ( ) 0 0 ( ) ( ) ( ( ) ( ( ) ( ) ( ) ( 3 1 ) ( ) 2 2 ) ( ) 3 ) 2 ( ) 3 ( ) es decir Figura 1.1: Triángulo de Tartaglia 14 Kepler C k Ikastegia
15 Capítulo 2 Sobre los conjuntos 2.1. Conceptos básicos La palabra conjunto es uno de los términos básicos que en Matemáticas no está definido, y se acepta como válida la idea intuitiva que se tiene de él. Así, un conjunto es, como bien nos dice la intuición, una colección, lista o reunión de objetos cualesquiera bien definidos, y que denominaremos elementos del conjunto. En este contexto denotaremos los conjuntos con letras mayúsculas, A, B, C,... y los elementos con letras minúsculas, a, b, c,... Para indicar que un objeto a es un elemento de un conjunto A, escribiremos a A y leeremos a pertenece al conjunto A. Por el contrario, si el objeto a no es elemento del conjunto A, se escribe a / A y se lee a no pertenece al conjunto A. Existen dos maneras de definir un conjunto: 1. Por extensión o explícitamente, es decir, indicando o enumerando todos sus elementos; por ejemplo, el conjunto A consta de los elementos 1, 2, 3, 4. Se escribe así: A = {1, 2, 3, 4}. 2. Por comprensión o implícitamente, es decir, expresando propiedades que cumplen todos sus elementos; por ejemplo, el conjunto anterior también se puede definir así: A = {x x es un número natural menor que 5} o bien A = {x x IN, x < 5}. Nota: El símbolo se lee tal(es) que. Definición 2.1 El conjunto A se dice subconjunto del conjunto B, se denota por A B, y se lee A está contenido en B o A está incluido en B, si cada elemento de A lo es también de B, simbólicamente, a A = a B. 15
16 Definición 2.2 Diremos que dos conjuntos A y B son iguales, A = B, si tienen los mismos elementos, es decir, si A B y B A. Definición 2.3 Es conveniente introducir el concepto de conjunto vacío, es decir, un conjunto que carece de elementos y que se denota por Ø. Definición 2.4 Dado un conjunto A, se dice que un subconjunto C de A es un subconjunto propio si C A y C Ø. Definición 2.5 Se sobreentenderá que todos los conjuntos que intervengan en un cierto problema son subconjuntos de un cierto conjunto U que se denomina conjunto universal o conjunto de referencia. Definición 2.6 Dados un conjunto A y B A, un subconjunto suyo, se define el conjunto complementario de B en A, y se denota por B c, al conjunto B c = {x A x / B} Definición 2.7 Dado un conjunto A, se llama conjunto de partes, Booleano o conjunto potencia de A y se denota por P(A) al conjunto cuyos elementos son todos los subconjuntos de A, es decir, P(A) = {S U S A} Así pues, S P(A) S A. Definición 2.8 El número de elementos de un conjunto A se denomina cardinal del conjunto A y se designa por A o por Card(A). Proposición 2.1 Si A = n < entonces P(A) = 2 n Demostración: ( ) n El número de subconjuntos de A con k elementos es para cada 1 k n; por k tanto, si contamos el conjunto vacío, pues siempre es Ø A, es decir, Ø P(A), tenemos que ( ) n n P(A) = = (1 + 1) n = 2 n k k=0 16 Kepler C k Ikastegia
17 2.2. Intersección y unión de conjuntos Teoría de conjuntos Definición 2.9 Dados dos conjuntos A y B se llama conjunto intersección de A y B y se denota por A B al conjunto formado por los elementos comunes a A y a B, es decir A B = {x U x A x B} A B U Figura 2.1: Intersección de A con B. Definición 2.10 Se dice que dos conjuntos A, B son disjuntos si A B = Ø. Definición 2.11 Dados dos conjuntos A y B se llama conjunto unión de A o B y se denota por A B al conjunto formado por los elementos que pertenecen a A o a B, es decir A B = {x U x A x B} A B U Figura 2.2: Unión de A con B. 17 Kepler C k Ikastegia
18 Definición 2.12 Si A B = Ø se dice que A B es la unión disjunta de A o B, y se denota por A B. Definición 2.13 Dados dos conjuntos A y B se llama conjunto diferencia de A y B y se denota por A B al conjunto formado por los elementos que pertenecen a A pero no a B, es decir A B = {x U x A x / B} A B U Figura 2.3: Diferencia de A con B. Definición 2.14 Dado un conjunto A se llama conjunto complementario de A y se denota por A c o por U A al conjunto formado por los elementos que no pertenecen a A, es decir A c = {x U x / A} A U Figura 2.4: Complementario de A. Nota: Las representaciones gráficas utilizadas reciben el nombre de diagramas de Venn Euler. 18 Kepler C k Ikastegia
19 Leyes del álgebra de Boole o de las partes de un conjunto Idempotencia A A = A A A = A Asociativa A (B C) = (A B) C A (B C) = (A B) C Conmutativa A B = B A A B = B A Simplificación A (B A) = A A (B A) = A Distributiva A (B C) = (A B) (A C) A (B C) = (A B) (A C) Elemento neutro A Ø = A A U = A Complementario A A c = U A A c = Ø Por cumplir las primeras cuatro propiedades se dice que el conjunto de las partes de un conjunto U o Booleano de U, P(U) = {A A U}, con las operaciones y es un retículo. Por cumplir la quinta propiedad se dice que es un retículo distributivo, y por cumplir las dos últimas propiedades se dice que es un álgebra de Boole. Además se cumplen las llamadas Leyes de De Morgan (A B) c = A c B c (A B) c = A c B c, la denominada ley de Absorción A U = U A Ø = Ø, la ley de la doble negación y la propiedad (A c ) c = A U c = Ø Ø c = U 2.3. Partición de un conjunto Dado un conjunto A y {A i i I} P(A) {Ø} una colección de subconjntos no vacíos de A, se dice que forma una partición de A si se verifica: 1. A = i I A i 2. A i A j = Ø, i j, i, j I Si {A i i I} es una partición de A se denota por A = A i. i I 19 Kepler C k Ikastegia
20 2.4. Ejemplos de conjuntos Algunos ejemplos de conjuntos importantes son: 1. El conjunto de los números naturales IN = {1, 2, 3, 4, 5,...} 2. El conjunto de los números enteros Z = {..., 3, 2, 1, 0, 1, 2, 3,...} 3. El conjunto de los números racionales IQ = { a } a Z, b Z {0} b 4. El conjunto de los números reales: IR 5. El conjunto de los números complejos IC = {a + bi a, b IR} 2.5. Producto cartesiano de conjuntos Definición 2.15 Dados dos conjuntos no vacíos A y B, se llama producto cartesiano de A por B y se denota por A B al conjunto de todos los pares ordenados (a, b) cuya primera componente a A y cuya segunda componente b B, es decir, A B = {(a, b) a A, b B} Esta definición es generalizable a n conjuntos: n A i = A 1 A n = {(a 1,..., a n ) a i A i, i = 1,..., n} i=1 También es posible dar otra generalización de producto cartesiano en la que los conjuntos factores pueden pertenecer a una familia arbitraria; se volverá sobre esto una vez visto el concepto de aplicación entre conjuntos. 20 Kepler C k Ikastegia
21 2.6. Relaciones o correspondencias Sean A y B dos conjuntos no vacíos: Definición 2.16 Una relación binaria o correspondencia R entre A y B es un criterio o ley que permite decir si, dado cualquier par ordenado (a, b) A B, el elemento a está relacionado con el elemento b mediante R. Si a está relacionado con b mediante R, se escribe arb y en caso contrario a/rb. Debido a que hay una biyección entre la totalidad de relaciones binarias entre A y B y el Booleano de A B, se suele dar con frecuencia la siguiente definición de relación binaria o correspondencia entre dos conjuntos A y B: Definición 2.17 Dados dos conjuntos A y B no vacíos se llama relación binaria o correspondencia entre A y B a todo subconjunto no vacío R de A B. Así, dado (a, b) A B si (a, b) R se dice que a está relacionado con b y se escribe arb, o también que R hace corresponder el elemento b B al elemento a A y se escribe b = R(a). A es el conjunto de partida, original o inicial, B es el conjunto de llegada, conjunto final o codominio. Se llama dominio de f al conjunto Dom R = {a A R(a) Ø}. Se llama imagen de R al conjunto Im f = {b B a A, b = R(a)}. Se llama grafo de la relación o correspondencia al conjunto R = {(a, b) A B b = R(a)}, si bien, este concepto no se distingue del de relación en la segunda definición dada. En particular, cuando A = B se dice simplemente que R es una relación en A. Las principales propiedades que puede tener una relación R en A son: 1. Reflexiva: R se dice reflexiva si a A ara. 2. Antirreflexiva: R se dice antirreflexiva si a A a/ra. 3. Simétrica: R se dice simétrica si a, b A con arb entonces bra. 4. Antisimétrica: R se dice antisimétrica si a, b A con a b y arb entonces b/ra; o equivalentemente, si a, b A tales que arb y bra entonces a = b. 5. Transitiva: R se dice transitiva si a, b, c A con arb y brc entonces necesariamente arc. 21 Kepler C k Ikastegia
22 Definición 2.18 Sea A un conjunto, una relación de equivalencia en A es una relación binaria o correspondencia en A que cumple las propiedades reflexiva, simétrica y transitiva. Definición 2.19 Dada una relación de equivalencia R en A, a A se define la clase de equivalencia de a respecto de R al conjunto [a] = {b A arb}. Teorema 2.1 Sea R una relación de equivalencia en A, entonces la colección {[a]} a A es una partición de A. Recíprocamente si {A i } i I es una partición de A, ésta origina una relación de equivalencia R en A dada por ar b i I a, b A i, siendo las clases de equivalencia de R precisamente los conjuntos A i que forman la partición. Así, existen tantas relaciones de equivalencia definidas en A como particiones podamos hacer en A. Demostración: Sea R una relación de equivalencia en A; veamos que {[a]} a A es una partición en A. En efecto, a A, por la propiedad reflexiva se tiene ara luego a [a] y así A = [a]. Por otro lado, dadas dos clases de equivalencia [a], [b] tales que [a] [b] Ø, entonces c A tal que c [a] [b] luego arc y brc. Por la propiedad simétrica crb y por la propiedad transitiva arb y así [a]=[b]; en efecto, sea x [a] entonces arx, pero como bra se tiene brx, es decir, x [b]. Esto prueba la inclusión [a] [b]. La otra inclusión es análoga. En definitiva, [a] = [b] y, por tanto, dadas dos clases de equivalencia distintas éstas tienen intersección vacía. Recíprocamente, si {A i } i I es una partición de A automáticamente se origina una relación de equivalencia R en A dada por ar b i I tal que a, b A i. En efecto, dado a A por ser {A i } i I una partición, existe i I tal que a A i luego a, a A i ar a y R es reflexiva. Si ar b entonces i I tal que a, b A i b, a A i br a y R es simétrica. Finalmente si ar b y br c = i I tal que a, b A i y j I tal que b, c A j luego b A i A j, por lo que A i = A j ya que la unión de los A i es disjunta. Así pues, a, c A i y ar c implica que R es transitiva. Veamos ahora que las clases de equivalencia de R son precisamente los A i de la partición; en efecto, sea a A entonces i I tal que a A i y así [a] = A i ya que [a] = {b A ar b} = {b A a, b A i } = A i. Observación: a, b A ar b [a] = [b]. Definición 2.20 El conjunto {[a]} a A se denomina conjunto cociente de A módulo R, se denota por A/R, y tiene por elementos precisamente las clases de equivalencia de R. 22 Kepler C k Ikastegia a A
23 Ejemplos 2.1 Consideremos la relación R en IN IN dada por (a, b)r(a, b ) a + b = b + a. IN IN Es una relación de equivalencia y el conjunto cociente se identifica con el conjunto R de los número enteros Z, siendo [(a, b)] el número entero a b. Consideremos en el conjunto Z ( Z {0}) la relación dada por (a, b)r(a, b ) ab = ba R es una relación de equivalencia y el conjunto cociente Z ( Z {0}) se identifica con R el conjunto de los números racionales IQ siendo [(a, b)] el número racional a b. Consideremos en el conjunto F de todos los vectores fijos del espacio ordinario la relación dada por ABRCD AB y CD son equipolentes, es decir, tienen la misma dirección, el mismo sentido y el mismo módulo. R es una relación de equivalencia y el conjunto cociente F/R es el conjunto de los vectores libres del espacio ordinario. Definición 2.21 Dado un conjunto A y una relación R en A, se dice que es una relación de orden si verifica las propiedades reflexiva, antisimétrica y transitiva. Cuando en A hay definida una relación de orden se dice que A es un conjunto ordenado. Si a, b A distintos se tiene que son comparables, es decir, arb o bra, entonces se dice que el orden en A es total o que A está totalmente ordenado. En caso contrario se dice que el orden es parcial o que A está parcialmente ordenado. Cuando R es una relación de orden suele representarse por. Definición 2.22 Sea (A, ) un conjunto ordenado y sea X A. Se dice que X está acotado superiormente (resp. inferiormente) si existe un k A tal que x k (resp. k x) x X. A k se le denomina una cota superior (resp. cota inferior) de X. Si un conjunto X está acotado superior e inferiormente se dice que está acotado. Se llama supremo (resp. ínfimo) de X, a la menor (resp. mayor) de las cotas superiores (resp. inferiores). Definición 2.23 Sea (A, ) un conjunto ordenado. Si existe un elemento a en A tal que a b para todo elemento de A se dice que a es el primer elemento. Se dice que el conjunto A está bien ordenado o que el el orden en A es bueno si cualquier subconjunto X de A tiene primer elemento. 23 Kepler C k Ikastegia
24 2.7. Aplicaciones entre conjuntos Definición 2.24 Sean dos conjuntos A y B, una aplicación f de A en B es una relación binaria o correspondencia f de A en B que asocia a cada elemento de A un elemento y sólo uno de B; se denota por f : A B o A f B. Equivalentemente, una relación o correspondencia f A B es una aplicación si x A! y B y = f(x), lo que también se indica por (x, y) f. También es muy usual el diagrama sagital: f : A B x y = f(x) para indicar el funcionamiento de una aplicación. En toda aplicación el conjunto inicial coincide con el Dom f. x Dom f se llama imagen de x al elemento de B que le corresponde a x y se denota por f(x). Dado un subconjunto Y B se llama imagen inversa o recíproca de Y y se denota por f 1 (Y ) al subconjunto de A siguiente: f 1 (Y ) = {x A f(x) Y }. Dado un subconjunto X A se llama imagen de X al subconjunto de B siguiente: Tipos de aplicaciones: f(x) = {y B x X, y = f(x)}. Sea f : A B una aplicación entre los conjuntos A y B; por tanto Dom f = A. f se dice inyectiva si no hay dos elementos en A distintos que tengan la misma imagen, simbólicamente, si x, x A tales que f(x) = f(x ) necesariamente x = x. Se dice que f es suprayectiva o sobreyectiva si y B x A y = f(x), es decir, si f 1 (B) = A. Si la aplicación f es inyectiva y suprayectiva se dice que f es biyectiva. Dados dos conjuntos A y B se dice que el cardinal de A es menor o igual que el de B y se escribe así Card A Card B si existe una aplicación inyectiva de A en B. Se dice que el cardinal de A es mayor o igual que el de B y se escribe así Card A B si existe una aplicación suprayectiva de A sobre B. Definición 2.25 Dadas dos aplicaciones f : A B y g : B C se define la aplicación compuesta de f y g como la aplicación g f : A C dada por (g f)(x) = g(f(x)) x A. La composición de aplicaciones no es conmutativa. 24 Kepler C k Ikastegia
25 Ejemplo 2.1 Sean las aplicaciones f : IR IR g : IR IR x f(x) = x 2 x g(x) = x + 1 g f : IR IR x (g f)(x) = x luego (f g) (g f). f g : IR IR entonces es x (f g)(x) = (x + 1) 2 Pasemos ahora a dar otra definición equivalente de producto cartesiano de conjuntos. Definición 2.26 Sea {A i } i I una familia arbitraria de conjuntos; se llama producto cartesiano generalizado de los A i al conjunto A i = {x : I A i x es aplicación y x(i) A i i I}. i I i I Esta definición es equivalente a la definición dada de producto cartesiano de un número finito de conjuntos, pues hay una biyección entre los conjuntos {x : {1,..., n} n A i x es aplicación y x(i) A i i = 1,..., n} y i=1 {(x 1,..., x n ) x i A i, i = 1,..., n} Ejercicios 1. Sean X e Y dos conjuntos y f : X Y una aplicación. Demostrar las siguientes afirmaciones: a) f(a B) = f(a) f(b) A, B X. b) f(a B) f(a) f(b) A, B X. c) f(a) f(b) f(a B) A, B X. d) A B = f(a) f(b) A, B X. e) A f 1 (f(a) A X. f ) C D = f 1 (C) f 1 (D) C, D Y. g) f 1 (C D) = f 1 (C) f 1 (D) C, D Y. h) f 1 (C D) = f 1 (C) f 1 (D) C, D Y. i) f 1 (C D) = f 1 (C) f 1 (D) C, D Y. 25 Kepler C k Ikastegia
26 j ) f 1 (D c ) = (f 1 (D)) c D Y. 2. Sean X e Y dos conjuntos y f : X Y una aplicación. Demostrar las siguientes afirmaciones: a) Si f es inyectiva entonces f(a B) = f(a) f(b) A, B X. b) Si f es inyectiva A = f 1 (f(a) A X. 3. Analizar de qué tipo son las siguientes aplicaciones: f : IR IR x f(x) = x 2 g : IR IR x g(x) = x 2 + x 1 h : IR {1} IR x h(x) = x + 1 x 1 4. Sea U = {1, 2, 3, 4, 5, 6, 7, 8, 9, a, b, c, d, e, f, g} el conjunto de referencia. En él se consideran los conjuntos Calcular: A = {1, 2, 4, 6, 8, b, c, d, f}, B = {1, 4, 7, a, d, g}, C = {3, 5, 9, a, e} A B, B C, (A B) C, A C, (A B) C, A c, (A B) c, (A B) c, P(C), P(A C). 5. En un bazar hay más televisores que videos, más videos con programador que televisores con mando a distancia, más videos con parada de imagen y sin programador que televisores en blanco y negro y sin mando a distancia. Demostrar que hay menos videos sin programador y sin parada de imagen que televisores en color y sin mando a distancia. 6. Probar si las siguientes afirmaciones son V o F: a) A X y B Y = A B X Y. b) Sean A, B, C conjuntos; entonces A C = B C = A = B. c) A (B C) = (A B) (A C). d) A (B C) = (A B) (A C). 7. Sea R la relación definida en IQ {0} por xry a, b IQ {0} tales que y = axb 1. Probar que R es una relación de equivalencia en IQ {0} y determinar el conjunto cociente módulo R. 26 Kepler C k Ikastegia
27 Capítulo 3 Leyes de composición u operaciones 3.1. Leyes de composición internas y externas Definición 3.1 Sea A un conjunto no vacío. Una ley de composición interna u operación interna en A es una aplicación f : A A A. (a, b) f(a, b) La imagen del elemento (a, b) A A mediante la aplicación f suele representarse mediante algún signo, por ejemplo,, +,,, etc.; así, se escribe f(a, b) = a b y se llama el transformado de (a, b) respecto de la operación. Definición 3.2 Sean A, X dos conjuntos no vacíos. Una ley de composición externa u operación externa en A es una aplicación f : X A A. (λ, a) f(λ, a) La imagen del elemento (λ, a) X A mediante la aplicación f suele representarse también mediante algún signo, por ejemplo,, +,,, etc.; así, se escribe f(λ, a) = λ a y se llama el transformado de (λ, a) respecto de la operación Estabilidad respecto de una relación de equivalencia R Definición 3.3 Sean R y una relación de equivalencia y una ley de composición interna respectivamente definidas en el conjunto A; se dice que es estable respecto de R cuando se cumple: a 1 Ra 2, b 1 Rb 2 = (a 1 b 1 )R(a 2 b 2 ) 27
28 Se dice también, en este caso, que la relación de equivalencia R es compatible con la ley de composición interna. Teorema 3.1 Sean R y una relación de equivalencia y una ley de composición interna respectivamente definidas en el conjunto A; si es estable respecto de R entonces la correspondencia f : (A/R) (A/R) A/R ([a], [b]) f(([a], [b])) = [a b] es una ley de composición interna en el conjunto cociente A/R. Demostración: Hay que probar que f es aplicación, es decir, que la clase [a b] no depende de los representantes a y b; en efecto, si [a ] = [a] y [b ] = [b] entonces a [a] y b [b] luego ara y brb. Pero por la estabilidad de (a b)r(a b ) y así [a b] = [a b ]. Nota: La ley de composición interna en A/R así definida se suele denotar con el mismo signo; en el ejemplo anterior sería [a] [b] = [a b]. Ejemplo 3.1 Si consideramos la relación de equivalencia R definidida en IN IN por (a, b)r(a, b ) a + b = b + a y la ley de composición interna en IN IN dada por + : (IN IN) (IN IN) IN IN ((a, b), (c, d)) (a, b) + (c, d) = (a + c, b + d) entonces + es estable respecto de R. Se identifica ((IN IN)/R,+)con el conjunto ( Z, +) de los números enteros con la adición ordinaria Propiedades Las posibles propiedades que puede tener una ley de composición interna en un conjunto A son: 1. Asociativa: a (b c) = (a b) c a, b, c A 2. Conmutativa a b = b a a, b A 28 Kepler C k Ikastegia
29 3. Elemento neutro e A es un elemento neutro en A respecto de si e x = x = x e x A. Si existe un elemento neutro e A, éste es único; en efecto, si e A es otro elemento neutro en A entonces, en particular, e e = e = e e, por ser e neutro. Pero por ser e neutro es e e = e = e e, luego e = e. Cuando la notación es aditiva, +, el elemento neutro se denota por 0, y cuando es multiplicativa,, por Elemento simétrico Si e A elemento neutro respecto de la operación, y a, a A verifican a a = e = a a se dice que a y a son simétricos. Cuando la notación es aditiva, se habla de elemento opuesto o contrario respecto de + y se denota por a, y cuando la notación es multiplicativa se habla de elemento inverso y se escribe a Idempotente a a = a, a A. 6. Absorbente Se llama así a todo elemento a A a x = a = x a x A. 7. Distributiva Dadas dos leyes de composición internas en A, y, se dice que la ley es distributiva a izquierda respecto de, si a (b c) = (a b) (a c) a, b, c A y se dice que es doblemente distributiva a izquierda si además a (b c) = (a b) (a c) a, b, c A La distributividad a derecha se define de forma análoga, y si se verifica a ambos lados se dice que es distributiva o doblemente distributiva respectivamente. Proposición 3.1 Sea A un conjunto en la que hay definida una ley de composición interna. Dado a A, el simétrico de a, si existe, es único. Pruébese como ejercicio. Teorema 3.2 Sea A un conjunto en el que hay definidas una relación de equivalencia R y una ley de composición interna, estable respecto R. Entonces la ley de composición interna inducida en el conjunto cociente A/R tiene las mismas propiedades que la operación definida en A. Pruébese como ejercicio. 29 Kepler C k Ikastegia
30 Definición 3.4 Se dice que un elemento a A es regular o simplificable a derecha (resp. a izquierda) si b a = c a = b = c (resp. a b = a c = b = c), b, c A. Finalmente se dice que el elemento es regular o simplificable si lo es a ambos lados. Proposición 3.2 Sean A un conjunto y, una operación en A asociativa y con elemento neutro, entonces a A tal que tiene simétrico, a es simplificable. Pruébese como ejercicio Ejercicios 1. Sea A = {a, b, c, d, e}. Se define en A una ley de composición interna a través de la siguiente tabla: a b c d e a a b c d e b b c d e a c c b c d e d d a b c e e e c b d a Como es de suponer, para determinar el transformado del par (a, b), ha de buscarse el elemento que está en la primera fila y en la segunda columna, y con los demás pares se procede de igual forma. Analizar las propiedades que verifica la ley de composición interna dada en A. 2. Calcular el número de leyes de composición internas que se pueden definir en un conjunto finito de n elementos. 3. En el conjunto IN se definen las siguientes leyes de composición: a) a b = a 2 b b) a b = a + b 2 c) a b = 2ab d) a b = a + b 1 + ab Decir cuáles de ellas son internas y analizar sus propiedades. 4. Estudiar si la relación binaria R definida en IN por x, y IN, xry x y (x divide a y) es compatible con la suma y el producto de números naturales. 30 Kepler C k Ikastegia
31 Capítulo 4 Retículos y álgebras de Boole 4.1. Definiciones Definición 4.1 Sea C un conjunto no vacío en el que hay definidas dos leyes de composición internas y ; se dice que la terna (C,, ) es un retículo si ambas operaciones verifican las propiedades idempotente, asociativa, conmutativa y simplificativa. Si además cumplen ambas la propiedad distributiva se dice que (C,, ) es un retículo distributivo. Definición 4.2 Si en un retículo distributivo (C,, ) existen elementos neutros: a 0 = a = 0 a a C a 1 = a = 1 a a C y elemento complementario de uno dado a C ā C a ā = 1 y a ā = 0 se dice entonces que (C,, ) es un álgebra de Boole Ejemplos Ya se ha visto que el álgebra de proposiciones y el álgebra de las partes de un conjunto son claros ejemplos de álgebras de Boole. Veamos otro: Interruptores en serie y en paralelo Si en un circuito eléctrico hay conectados en serie dos interruptores A y B, se observa que cuando ambos están cerrados el circuito también lo está y, por tanto, la bombilla permanece encendida. En cualquier otro caso el circuito está abierto y la bombilla, por tanto, apagada. Análogamente, si los interruptores están conectados en paralelo, sólo cuando ambos interruptores estén abiertos el circuito estará abierto, y la bombilla permanecerá apagada; en cualquier otro caso el circuito está cerrado y la bombilla se encenderá. 31
32 Si indicamos con 1 el estado cerrado, con 0 el estado abierto y representamos por A B la conexión en serie y por A B la conexión en paralelo se tienen las tablas: A B A B A B A B A B Figura 4.1: Puerta AND A B Figura 4.2: Puerta OR Es interesante considerar un interruptor que funcione al revés que los demás, es decir, que al levantar la palanca del interruptor el circuito se cierre y al bajarla se abra. La correspondiente tabla es: A Ā Kepler C k Ikastegia
33 Ā Figura 4.3: Puerta NOT Proposición 4.1 El conjunto de todos los interruptores con estas operaciones de conexión, y, tienen estructura de álgebra de Boole. Pruébese como ejercicio Ejercicios 1. Dado el retículo pentagonal 1 a c b 0 Figura 4.4: Retículo pentagonal con las operaciones y, definidas por: x y = sup(x, y) x y = ínf(x, y) Demostrar que no es un álgebra de Boole. 2. Demostrar que en un retículo (C,, ) distributivo, se verifica la implicación: a b = a c y = b = c a b = a c 33 Kepler C k Ikastegia
34 3. En una habitación de tres estudiantes demócratas, se desea instalar un circuito de interruptores para la luz de modo que ésta se encienda solamente cuando lo desee la mayoría, es decir, si dos o tres de los estudiantes pulsan su interruptor. Realizar el montaje. 4. Encontrar la expresión correspondiente al circuito que se da a continuación y hallar su expresión más simple utilizando las propiedades del álgebra de Boole. Ā A B B Por tanto, al Rey de los siglos, inmortal, invisible, al único y sabio Dios, sea honor y gloria por los siglos de los siglos. Amén. 1 Timoteo 1:17 34 Kepler C k Ikastegia
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 detalles2. 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 detallesTema 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 detallesCapí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 detallesTema 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Á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 detallesIntroducció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 detallesConjuntos, 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 detallesPRELIMINARES. 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 detallesTEMA 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 detallesUna 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 detallesCentro Asociado Palma de Mallorca. Tutor: Antonio Rivero Cuesta
Centro Asociado Palma de Mallorca Lógica y Estructuras Discretas Tutor: Antonio Rivero Cuesta Tema 3 Conjuntos, Relaciones y Funciones Conjuntos y Operaciones Los conjuntos se representan con letras mayúsculas,
Más detallesTaller matemático (Cálculo) Venancio Tomeo Universidad Complutense
Taller matemático (Cálculo) Venancio Tomeo Universidad Complutense Parte II: 6: Conjuntos y operaciones 7: Funciones y gráficas 8: Exponencial y logaritmica 9: Funciones trigonométricas 10: Límites de
Más detallesy 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 detallesConjuntos, 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 detallesCapí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 detallesALGEBRA 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 detallesTEMA 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 detallesDefiniciones Una relación R en un conjunto A es una relación de orden si verifica las propiedades reflexiva, antisimétrica y transitiva.
RELACIONES DE ORDEN Definiciones Una relación R en un conjunto A es una relación de orden si verifica las propiedades reflexiva, antisimétrica y transitiva. Un conjunto parcialmente ordenado ( A, R ) es
Más detallesRelaciones de orden. Álgebras de Boole
Relaciones de orden. Álgebras de Boole MATEMÁTICA DISCRETA I F. Informática. UPM MATEMÁTICA DISCRETA I () Relaciones de orden. Álgebras de Boole F. Informática. UPM 1 / 52 Conjuntos y relaciones entre
Más detallesEstructuras 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 detallesConjuntos. 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 detallesCONJUNTOS. 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 detallesMatemá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 detallesFundamentos 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 detallesDEFINICIÓN: Se define el conjunto vacio como el complementario de en, don de es un conjunto. Se representa por :
CONJUNTOS Y APLICACIONES CONCEPTOS BÁSICOS: DEFINICIÓN: Conjunto es una colección de objetos a los que llamo elementos. n dos conjuntos, entonces se dice que es un subconjunto de, se escribe, si para todo
Más detalles1. 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 detallesMatemá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 detallesEjemplo No. 2 Empleando esta notación, los conjuntos del ejemplo anterior se pueden escribir como:
UNIDAD 1: CONJUNTOS NUMÉRICOS En esta unidad se ofrece una información general sobre los diferentes conjuntos de números que se utilizaran en el desarrollo de este curso. Comencemos con un breve repaso
Más detallesResumen 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 detallesTerminaremos 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 detallesDefiniciones Un conjunto es una colección de objetos distintos. Notaremos. A = {a, b, c, d, } por extensión
CONJUNTOS Definiciones Un conjunto es una colección de objetos distintos. Notaremos A = {a, b, c, d, } por extensión A = {x / x tiene la propiedad P} por comprensión El cardinal de un conjunto es el número
Más detallesy 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 2017/2018. de talleres y exámenes. Temas 3 y 4 Se recuerda que la resolución de algunos de estos ejercicios
Más detallesUNIDAD 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 detallesEstructuras 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 detallesAnálisis Matemático I: Numeros Reales y Complejos
Contents : Numeros Reales y Complejos Universidad de Murcia Curso 2008-2009 Contents 1 Definición axiomática de R Objetivos Definición axiomática de R Objetivos 1 Definir (y entender) R introducido axiomáticamente.
Más detallesInducció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 detallesContenido. 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 detallesDETERMINACIÓ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 detallesFunciones 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 detallesOperaciones extendidas de conjuntos
234 A. GENERALIDADES DE TEORÍA DE CONJUNTOS Tema 3. Operaciones extendidas de conjuntos En este tema extenderemos las operaciones de conjuntos anteriormente definidas a familias arbitrarias de conjuntos.
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 Capítulo 1 Conjuntos, relaciones y aplicaciones 1. Conjuntos La idea de conjunto
Más detallesAlgebras 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 detallesEn 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 detallesEs 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 detallesEspacios 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 detallesDefinició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 detallesUniversidad 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 detallesCAPÍTULO 1. FUNDAMENTOS DE LÓGICA Y TEORÍA DE CONJUNTOS
CAPÍTULO 1. FUNDAMENTOS DE LÓGICA Y TEORÍA DE CONJUNTOS 1. Lógica 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 detallesConjuntos, 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 detallesJohn 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 detallesCONCEPTOS BÁSICOS DE LA TEORÍA DE CONJUNTOS. ESTRUCTURAS ALGEBRAICAS.
TEMA 11 ÍNDICE CONCEPTOS BÁSICOS DE LA TEORÍA DE CONJUNTOS. ESTRUCTURAS ALGEBRAICAS. 1. INTRODUCCIÓN 2. CONJUNTOS 3. SUBCONJUNTOS 4. OPERACIONES 4.1 UNIÓN 4.2 INTERSECCIÓN 4.3 COMPLEMENTO 4.4 DIFERENCIA
Más detallesMatemáticas Discretas
Coordinación de Ciencias Computacionales - INAOE Matemáticas Discretas Cursos Propedéuticos 2011 Ciencias Computacionales INAOE Dr. Enrique Muñoz de Cote jemc@inaoep.mx http://ccc.inaoep.mx/~jemc Oficina
Más detallesSESIÓ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 detallesTeoría de Conjuntos DEFINICION DE CONJUNTO
Teoría de Conjuntos Teoría de Conjuntos Teoría de conjuntos es un instrumento matemático adecuado para la sistematización de nuestra forma de pensar, y permitir nuestra capacidad de análisis y comprensión
Más detallesEjercicios de Álgebra Básica. Curso 2017/18
Ejercicios de Álgebra Básica. Curso 2017/18 Tema 1: Conjuntos Conjuntos. Operaciones básicas Ejercicio 1. Describir las relaciones de inclusión o pertenencia entre los siguientes conjuntos: A =, B = {
Más detallesLEYES 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 detallesTEMA 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 detallesDefinición : Es una colección de objetos bien definidos y diferenciables entre si que se llaman elementos.
1 CONJUNTOS Y APLICACIONES Conjunto : Es una colección de objetos bien definidos y diferenciables entre si que se llaman elementos. Representación Suelen emplearse letras mayusculas para los conjuntos
Más detallesEjercicios de Álgebra Básica. Curso 2014/15
Ejercicios de Álgebra Básica. Curso 2014/15 Tema 1: Conjuntos Conjuntos. Operaciones básicas Ejercicio 1. Describir las relaciones de inclusión o pertenencia entre los siguientes conjuntos: A =, B = {
Más detallesCONJUNTOS. Los conjuntos son conceptos primitivos que representan una totalidad, una reunión de cosas.
CONJUNTOS CPR. JORGE JUAN Xuvia-Narón Los conjuntos son conceptos primitivos que representan una totalidad, una reunión de cosas. Un conjunto está formado por una serie de elementos susceptibles de poseer
Más detallesIntroducció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 detallesESCUELA TÉCNICA SUPERIOR DE NÁUTICA Y MÁQUINAS NAVALES / NAUTIKAKO ETA ITSASONTZI MAKINETAKO GOI ESKOLA TEKNIKOA NOCIONES PRELIMINARES DE MATEMÁTICAS
ESCUELA TÉCNICA SUPERIOR DE NÁUTICA Y MÁQUINAS NAVALES / NAUTIKAKO ETA ITSASONTZI MAKINETAKO GOI ESKOLA TEKNIKOA NOCIONES PRELIMINARES DE MATEMÁTICAS A. 1 Conjuntos. A. TEORÍA DE CONJUNTOS. Un conjunto
Más detallesCoordinació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 detalles1. Números reales. Análisis de Variable Real
1. Números reales Análisis de Variable Real 2014 2015 Índice 1. Sistemas numéricos 2 1.1. Números naturales. Principio de Inducción... 2 1.2. Números enteros... 4 1.3. Números racionales... 6 2. Los números
Más detallesSi 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 detalles1. 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 detallesPregunta 1 Es correcta esta definición? Por qué?
TEORÍA DE CONJUNTOS. En un libro de COU de 1975 puede leerse la siguiente definición de conjunto: Un conjunto es una colección de objetos, cualquiera que sea su naturaleza. Pregunta 1 Es correcta esta
Más detallesOrdenación parcial Conjunto parcialmente ordenado Diagrama de Hasse
Ordenación parcial Un orden parcial es una relación binaria R sobre un conjunto X, que cumple las propiedades: Reflexiva: R es reflexiva sii para todo a A ara Antisimétrica: R es antisimétrica sii para
Más detallesConjuntos y relaciones entre conjuntos
Conjuntos Conjuntos y relaciones entre conjuntos Conjuntos 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
Más detallesLó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 detallesUNIDAD II: TEORÍA DE CONJUNTOS 2.1. INTRODUCCIÓN
UNDD : TEORÍ DE CONJUNTOS 2.1. NTRODUCCÓN Según Georg Cantor un conjunto es la reunión, agrupación o colección de elementos bien definidos que tienen una propiedad en común, concepto que ha penetrado y
Más detallesConjuntos. () 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 detalles3.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 detallesAlgebra I (Doble Grado Matemáticas-Informática)
Algebra I (Doble Grado Matemáticas-Informática) Relación 1 Curso 2017-2018 Conjuntos y aplicaciones. Ejercicio 1. Construir todas las aplicaciones del conjunto X = {a, b, c} en el conjunto Y = {1, 2} y
Más detallesJohn 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 detallesJohn 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Álgebra de Boole. Retículos.
CAPÍTULO 4. Álgebra de Boole. Retículos. Este capítulo introduce dos estructuras algebraicas muy importantes : la estructura de álgebra de Boole y la de retículo. Estas estructuras constituyen una parte
Más detalles03. Introducción a los circuitos lógicos
03. Introducción a los circuitos lógicos 1. LÓGICA DE PROPOSICIONES...2 PROPOSICIÓN...2 CONECTORES U OPERADORES LÓGICOS...2 Tablas de...2 Tautología...2 Contradicción...2 2. ÁLGEBRA DE BOOLE...3 AXIOMAS
Más detallesEs 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 detallesP(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 detallesJohn 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 detallesTEMA 1: NÚMEROS NATURALES. SISTEMA DE NUMERACIÓN
1 TEMA 1: NÚMEROS NATURALES. SISTEMA DE NUMERACIÓN 1. INTRODUCCIÓN Los números naturales aparecen debido a la necesidad que tiene el hombre para contar. Para poder construir este conjunto N, podemos seguir
Más detallesTEMA II TEORÍA INTUITIVA DE CONJUNTOS
TEMA II TEORÍA INTUITIVA DE CONJUNTOS Policarpo Abascal Fuentes TEMA II Teoría intuitiva de conjuntos p. 1/4 TEMA II 2. TEORÍA INTUITIVA DE CONJUNTOS 2.1 CONJUNTOS 2.1.1 Operaciones con conjuntos 2.2 RELACIONES
Más detallesEjemplo 66 Sea A = {los alumnos de este curso}, entonces podemos definir la siguiente relación el el conjunto A, dada por:
Capítulo 3 Relaciones Definición 8 Sea A un conjunto no vacío. Se dice que R es una relación en A si y sólo si R A A. Ejemplo 65 Sea A = {a,b,c}, luego definimos los conjuntos: R 1 = {(a,a),(a,b),(b,c)},r
Más detallesConjuntos, 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 detallesRelaciones 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 detallesRelaciones. Estructuras Discretas. Relaciones. Relaciones en un Conjunto. Propiedades de Relaciones en A Reflexividad
Estructuras Discretas Relaciones Definición: relación Relaciones Claudio Lobos, Jocelyn Simmonds clobos,jsimmond@inf.utfsm.cl Universidad Técnica Federico Santa María Estructuras Discretas INF 152 Sean
Más detallesIntroducción a los números reales
Grado en Matemáticas Curso 2009-2010 Índice Conjuntos numéricos 1 Conjuntos numéricos Tienen nombre Y cuatro operaciones básicas 2 Teoremas y demostraciones Métodos de demostración 3 El axioma fundamental
Más detallesNOTAS DE TRABAJO, 3 ÁLGEBRA CONMUTATIVA
NOTAS DE TRABAJO, 3 ÁLGEBRA CONMUTATIVA Álgebra conmutativa elemental Pascual Jara Martínez Departamento de Álgebra. Universidad de Granada Granada, 1997 2014 Primera redacción: 1997. Segunda redacción:
Más detallesALGEBRA 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 detallesCAPÍTULO III RELACIONES Y FUNCIONES
RELACIONES Y FUNCIONES 41 CAPÍTULO III RELACIONES Y FUNCIONES 3.1 RELACIONES 1 Una relación R de un conjunto A a un conjunto B asigna a cada par (a,b) en A x B exactamente uno de los enunciados siguientes:
Más detallesELEMENTOS DE LA TEORÍA DE CONJUNTOS
ELEMENTOS DE LA TEORÍA DE CONJUNTOS 1 CONJUNTO EJEMPLOS NOTACIÓN NOTACIÓN TABULAR O POR EXTENSIÓN DE UN CONJUNTO Cuando se define el conjunto por la efectiva enumeración de sus elementos separándolos por
Más detallesEstructuras 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 detallesTema 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 detallesNotas 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 22 de septiembre de 2008 2 Índice general
Más detallesEjercicios del tema 5
U N I V E R S I D A D D E M U R C I A Ejercicios del tema 5 DEPARTAMENTO DE MATEMÁTICAS CONJUNTOS Y NÚMEROS 2016/2017. Nota: En algunos de los siguientes ejercicios, se pide probar una serie de propiedades
Más detallesBLOQUE 1. LOS NÚMEROS
BLOQUE 1. LOS NÚMEROS Números naturales, enteros y racionales. El número real. Intervalos. Valor absoluto. Tanto el Cálculo como el Álgebra que estudiaremos en esta asignatura, descansan en los números
Más detallesIntroducción a los números reales
Grado en Matemáticas Curso 2010-2011 Índice Conjuntos numéricos 1 Conjuntos numéricos Tienen nombre Y cuatro operaciones básicas 2 Teoremas y demostraciones Métodos de demostración 3 4 Objetivos Objetivos
Más detallesNOCIONES PRELIMINARES (*) 1
CONJUNTOS NOCIONES PRELIMINARES (*) 1 Conjunto no es un término definible, pero da idea de una reunión de cosas ( elementos ) que tienen algo en común. En matemática los conjuntos se designan con letras
Más detalles