









Prepara tus exámenes y mejora tus resultados gracias a la gran cantidad de recursos disponibles en Docsity
Gana puntos ayudando a otros estudiantes o consíguelos activando un Plan Premium
Prepara tus exámenes
Prepara tus exámenes y mejora tus resultados gracias a la gran cantidad de recursos disponibles en Docsity
Prepara tus exámenes con los documentos que comparten otros estudiantes como tú en Docsity
Los mejores documentos en venta realizados por estudiantes que han terminado sus estudios
Estudia con lecciones y exámenes resueltos basados en los programas académicos de las mejores universidades
Responde a preguntas de exámenes reales y pon a prueba tu preparación
Consigue puntos base para descargar
Gana puntos ayudando a otros estudiantes o consíguelos activando un Plan Premium
Comunidad
Pide ayuda a la comunidad y resuelve tus dudas de estudio
Descubre las mejores universidades de tu país según los usuarios de Docsity
Ebooks gratuitos
Descarga nuestras guías gratuitas sobre técnicas de estudio, métodos para controlar la ansiedad y consejos para la tesis preparadas por los tutores de Docsity
Documento que presenta conceptos básicos de la teoría de conjuntos y la álgebra booleana, incluye definiciones, demostraciones y propiedades de los conjuntos, operaciones como la unión, intersección, diferencia, producto cartesiano y relaciones como la distributividad, unicidad, axioma del buen orden y teorema de la división entera. Además, se tratan temas relacionados como la divisibilidad, máximo común divisor y lema de euclides.
Tipo: Apuntes
1 / 17
Esta página no es visible en la vista previa
¡No te pierdas las partes importantes!
Tema I: Números Subconjunto: A, B conjuntos, si todos los elementos de A pertenecen a B, entonces se dice que A está incluido en B o que A es subconjunto de B. Unión: X, Y conjuntos, se define su unión por los elementos que pertenezcan a X o a Y. Intersección: X, Y conjuntos, se define su intersección por los elementos que pertenezcan a X y a Y. Conjunto vacío: es el conjunto que no tiene ningún elemento, que tiene la propiedad de ser subconjunto de todos los conjuntos. Diferencia de conjuntos: A−B, son los elementos que están en A y que no están en B. Axioma de suma y producto de los enteros (Z): sean a y b enteros,
(en el caso general, sea n un entero cualquiera, no necesariamente positivo, y S={k ð Z / k >= n0} y sea ScX que satisface n0 ð S y si k ð S implica que si k ð S entonces k+1 ð S, entonces S=X). Demostración: supongamos que S ð N, considero que ð S = N−S, ð S diferente de vacío, entonces por el axioma del buen orden, existe m ð ð S mínimo de ð S. 1 ð S ð 1 ð S ð m ð 1, m−1 ð N, y además m−1 ð S, entonces, por hipótesis de inducción, m ð S. ð N = S Teorema de la división entera: dados dos enteros a y b, con b ð ð, existen q y r tales que a = bq + r, con 0 >= r >= b Demostración: sea R = {x ð N ð{0}/ ð y ð Z tal que a = by + x}
sean a = p1ððððð ptðt y b = q1ððððð qtðt factorizaciones canónicas. b = p1ðð ððð ptðt donde algunos de los ði y ði pueden ser 0. mcd(a, b) = p1 min(ðð, ððð ððð ptmin(ðt, ðtð = d. Mínimo común múltiplo: sean a, b ð Z, a > 1 y b > 1. Llamamos mínimo común múltiplo de a y b al menor entero positivo que es múltiplo de a y de b. Factorizaciones: sean a = p1ðð... ptðt y b = p1ððððð ptðt. mcm(a, b) = p1max(ðð, ðððððð ptmax(ðt, ðt) Relación entre mcm y mcd: mcm(a, b). mcd(a, b) = ab Ecuaciones diofánticas (ax + by = n): sean a, b, n ð Z, la ecuación lineal ax + by = n tiene solución entera si y sólo si mcd(a, b)ð n. Dem: sean x0 , y0 solución de la ecuación con x0 , y0 ð ð. ax0 + by0 = n. Si d = mcd(a, b) entonces dð ax0 y dð by0, dð ax0 + by0 ð dð n. ð ð p ð ð / n = pd. Supongamos que dð n, si n = 0, x0 , y0 = 0 (es solución) si n ð 0, mcd(a, b) ð 0 (es d), am + bm' = d, apm + bpm' = pd = n (pm = x y pm' = y) x = (m.n)/d e y = (m'.n)/d Tema II: Teoría de conjuntos ¡¡¡ a elemento del conjunto A, nunca es igual a un conjunto: no puedo escribir a = B aunque a = x y B = {x}!!!
Si S ð T y S ð ð, S ð T, entonces S es subconjunto propio. Intersección de conjuntos: S, T conjuntos, S ðT = { x / x ð S y x ð T} Propiedades:
Composición de aplicaciones Sean f:X Y; g:Y Z; se define la composición fog como fog:X Z fog:x g(f(x)) fog = {(x, z) ð X*Z / (f(x), z) ð g} propiedades:
Se dice que un conjunto es finito si existe una biyección entre ese conjunto y algunos de los Nk. Se dice que un conjunto es infinito cuando no es finito. Conjunto numerable: Un conjunto es numerable cuando existe una biyección entre él y el conjunto de los números naturales N. Partes de un conjunto: Si x es un conjunto llamamos P(X) al conjunto formado por todos sus subconjuntos (incluido el valor 0) Proposición: Es imposible construir una biyección entre un conjunto y el conjunto de sus partes. Corolario: Hay conjuntos no numerables Si un conjunto X es finito y tiene n elementos, entonces P(X) tiene 2n elementos. Tema III Conjuntos ordenados y relaciones de orden. Propiedad antisimétrica: Sea R una relación en un conjunto de X. Decimos que se cumple la propiedad antisimétrica cuando, si xRy y yRx, entonces x = y. (x relacionado con y...). Relación de orden: Si R es una relación en A (ð ðð, decimos que R es una relación de orden si cumple las propiedades reflexiva, transitiva y antisimétrica. Al par (A, <=) es le llama conjunto parcialmente ordenado. Ejemplo, demostremos la relación de orden: E; P(E) conjunto y subconjunto. ð ; (P(E), ð ) parcialmente ordenado.
Cálculo proposicional: Proposición: afirmación sobre la que puedo afirmar de manera no ambigua algo que es cierto o algo que es falso. Prop atómica: la proposición más sencilla posible. Prop molecular: combinación de proposiciones atómicas. Conectores lógicos: partículas o símbolos que me permiten construir proposiciones complejas a partir de otras atómicas.
(P Q) ð ðQ ð ðQ Modus Tollens A ð B ð (ðA) B Tollendo Ponens P Q ð ðP ð Q condicional disyuncional (P Q) ð (Q P) ð P ð Q condicional bicondicional (ðP ð Q) ð (ðQ ð P) ð P ð Q condicional bicondicional Equivalencia de proposiciones ð Dos proposiciones son equivalentes si sus tablas de verdad coinciden. Propiedades:
P1: R (S Q) Quiero concluir P Q P2: ðP ð R P3: S P4: P premisa auxiliar P5: P R CD(2) P6: R MP(4, 5) P7: S Q MP(1, 6) P8: Q MP(3, 7) C: P Q Cuantificadores Universal ð: para todo valor. Se utiliza para la proposición que sea verdadera para todo elemento del conjunto. Existencial ð: Se usa en el caso de existir elementos del conjunto para los que la proposición es verdadera. Uso de los cuantificadores ð(ðx ð E, P(x)) ð ðx ð E, ðP(x) ð(ðx ð E, P(x)) ð ðx ð E, ðP(x) (ðx ð E, P(x)) ð (ðx ð E, Q(x)) ð ðx ð E, P(x) ð Q(x) (ðx ð E, P(x)) ð (ðx ð E, Q(x)) ð ðx ð E, P(x) ð Q(x) (ðx ð E, P(x)) ð (ðx ð E, Q(x)) ð ðx ð E, P(x) ð Q(x) (ðx ð E, P(x)) ð (ðx ð E, Q(x)) ð ðx ð E, P(x) ð Q(x) Los cuantificadores son conmutativos: ð x1ðE1, ðx2 ðE2 ð ðx2 ðE2, ð x1ðE Tema IV: Combinatoria Combinaciones Sea A ð ð un conjunto finito de cardinal n. Se llama combinación a cada subconjunto de m elementos cogidos de entre los n. Al número de combinaciones de m elementos de A se le llama número combinatorio. (n m) = n! / m!(n − m)! Dem por inducción:
Sabemos (n 0) = (n n) = 1 (base de inducción) Supongo (k j) = k! / j!(k − j)! cierto para 0 ð j ð k y 0 ð k ð n. Probamos que (n−1 m−1) + (n−1 m) = (n m)
Bajo un isomorfismo (ð(u)) = (u) Recorrido Sea G(V, E). Toda sucesión de vértices adyacentes V1, V2,..., Vn de forma que {Vi, Vi+1}ð E ð i = 1, 2, ..., n− Camino Recorrido en el que todos los vértices son distintos Equivalencias de vértices Sea el grafo G y V = V1 ð...ð Vv la partición correspondiente a la relación de equivalencia r. Sea Ei (1 ð i ð r) el subconjunto de E formado por las aristas cuyos extremos están ambos en Vi entonces los grafos G(Vi, Ei) reciben el nombre de componentes del grafo G. Un grafo es conexo si sólo tiene una componente. Ciclo Es el recorrido en el que sólo se repiten el primer y el último elemento (1º = ultimo) Ciclo hamiltoniano Ciclo que contiene a todos los vértices de un grafo. Recorrido euleriano Recorrido en el que aparece cada arista del grafo. Prop: si x ð y, la condición para que haya un recorrido euleriano que empiece en x, y acabe en y, es que x e y sean impares y todos los demás pares. La condición necesaria y suficiente para la existencia de un recorrido euleriano en un grafo es que tenga como máximo dos vértices impares. Árboles Un grafo T es un árbol si: i) es conexo. ii) no hay ciclos. Si T(V, E) es un árbol que tiene al menos dos vértices, entonces:
Consiste en dar colores diferentes a los vértices adyacentes. Coloración de un grafo Una coloración de los vértices de un grafo G(V, E) es una función C: V N que cumple C(x) ð C(y) si {x, y}ð E. Número cromático de un grafo X(G) Es el menor número natural k tal que existe una coloración con k colores. El algoritmo voraz indica una coloración aceptable. Teorema Si G es un grafo cuyo grado máximo es k, entonces: