Академический Документы
Профессиональный Документы
Культура Документы
y Matemticas
Teora de Conjuntos
La Teora de Conjuntos surge de la idea de fundamentar todas las Matemticas en los conceptos ms simples posibles. En este caso, los conceptos elegidos son los de conjunto y elemento de un conjunto. Hubo una larga y complicada historia antes de que se adoptase esta visin bsica de las Matemticas, y tambin hay problemas acerca de si sta es la mejor forma, o no, de presentar el desarrollo de las Matemticas. En esta parte del curso se presentan slo las ideas principales: Cmo definir los conceptos de nmero, funcin, orden, cantidad, como conjuntos. El resultado principal que se muestra es la prueba de la validez del principio de induccin como mtodo de demostracin en Matemticas
Clasificar (1)
Cuando una relacin binaria R es reflexiva, simtrica y transitiva, se denomina "relacin de equivalencia" entre los elementos del conjunto A. Una relacin de equivalencia define una clasificacin de los elementos de A en familias o clases de la siguiente forma: La clase de un elemento a A es el subconjunto de A formado por los elementos b A tales que (a, b) R. Representaremos la clase de a por [a ], as que en frmulas: [a] = {b A tales que aRb} De la definicin de clase se deduce directamente que a [a], y que dos clases [a ] y [b] son diferentes si y slo si a y b no estn relacionados mediante R. Adems, si dos clases son diferentes, son disjuntas, esto es, [a ] [b] = : Esta propiedad es la esencia del concepto de clasificacin.
Clasificar (2)
Dada una relacin de equivalencia R en un conjunto A, se puede definir un nuevo conjunto cuyos elementos son las clases de equivalencia. Se le llama "conjunto cociente de A por R" y se escribe A / R. En frmulas: A / R = {[a ], tales que a A} P ( A). En la prctica, para trabajar con la clase [a ] se utiliza un elemento cualquiera de ella. Ejemplo: Sea A = , y sea R la relacin "aRb si ambos dan el mismo resto al dividir entre 2". En este caso, el conjunto cociente / R se compone de dos clases: [2], que es el conjunto de los nmeros pares, y [3], que es el de los impares. Lo habitual es llamarlas 0 = [2], y 1 = [3], de manera que escribiremos: tiene /R=
2
/ R = {[2], [3]} = {0,1} . Vemos, por tanto, que para esta R se /(2).
Ejercicio: Qu es
Del ejemplo y del ejercicio deducimos que los conjuntos numricos de la Aritmtica Modular se obtienen a partir del conjunto de los enteros mediante cocientes por relaciones de equivalencia adecuadas
Algebra (MD) 2010-2011 Lgica y Matemticas
Ordenar (1)
Cuando una relacin binaria P( A A) es transitiva, se la denomina "relacin de orden" entre los elementos del conjunto A. Habitualmente, en lugar de (a, b) se utiliza la notacin a b, que leemos como "a precede b". Cuando no sea posible decidir si a b b a, diremos que A posee elementos no comparables segn , o dicho de otra forma, que "la relacin (o bien, ) es de orden parcial". En caso de que siempre sea posible decidir si a b b a, tendremos un "orden total, o lineal" sobre el conjunto A. Es posible que exista algn elemento A tal que para cualquier otro elemento b A se cumpla que b. Entonces se dice que es "el primer elemento" de A para el orden . Tambin se usan "mnimo" o "nfimo" con diversos matices. Anlogamente puede definirse el "ltimo elemento" . Si existe una relacin de orden en A, tambin sigue siendo relacin de orden en cualquier subconjunto B A. Cuando todos los subconjuntos de A poseen primer elemento respecto a ese orden, se dice que el orden es "bueno". Por ejemplo, la ordenacin habitual de es buena, pero la de no lo es.
Contar (1)
Dos conjuntos A y B son "coordinables" cuando es posible establecer una aplicacin biyectiva entre ellos. Sean A y B coordinables, adems de B A y B A : entonces se dice que A es un "conjunto infinito". Los conjuntos no infinitos se denominan "conjuntos finitos". Por ejemplo, es infinito, pues el subconjunto formado por todos los cuadrados de los nmeros naturales es coordinable con l. La aplicacin biyectiva es F = {(n, n 2 ), con n contrario, cualquier conjunto {1, 2,..., n} es finito.
}. Por el
Georg Cantor, 1845-1918 Felix Hausdorff, 1868-1942 Algebra (MD) 2010-2011 Lgica y Matemticas
Contar (2)
DEFINICIONES FUNDAMENTALES Si dos conjuntos son coordinables, diremos que "pertenecen al mismo nmero cardinal". Lo habitual es expresarlo como "tienen el mismo cardinal", aunque la primera forma es la correcta e indica que los "nmeros cardinales" son tambin conjuntos. El nmero cardinal de un conjunto es "el conjunto cuyos elementos son los conjuntos que son coordinables con l". Se escribe: Cardinal de A = Card( A) = A .
Waclaw Sierpinski, 1882-1969 Norberto Cuesta, 1907-1989) Algebra (MD) 2010-2011 Lgica y Matemticas
Contar (3)
EJEMPLOS Dado un conjunto finito A = {1, 2,..., n} , su nmero cardinal es el conjunto de todos los posibles conjuntos formados por n elementos. Abreviadamente escribiremos: A = n. Podramos decir que "el nmero n es la propiedad comn a todos los conjuntos que poseen n elementos" Ya hemos visto que es infinito. Su cardinal = 0 recibe el nombre de "lef-cero". De modo informal, a veces se dice que 0 es "el ms pequeo" de los cardinales infinitos. Dados dos conjuntos A y B, supongamos que B es coordinable con algn subconjunto E A. En ese caso se cumple que B A . De esta manera se puede establecer una relacin de orden en el conjunto de los nmeros cardinales, que es la generalizacin natural de la idea 1 2 en el conjunto de los nmeros naturales usados para contar. Conservaremos la misma notacin . Sabemos que = {1, 2,3,...} y (en realidad es = ), luego ( ). Sin embargo, en este caso se cumple la igualdad 0 = . Para verlo basta con describir los dos conjuntos como:
} {
}}
John von Neumann, 1903-1958 Giuseppe Peano, 1858-1932
n + 1:= n {n}
...
Observamos que el nmero de veces que aparece en la definicin de n es 2n 1 , y que la relacin n n + 1 produce una ordenacin en , que es precisamente la ordenacin habitual que conocemos desde siempre. Una observacin ms: Ntese que segn esta definicin, para contar hasta n, antes habra que saber contar hasta 2n-1 > n... !
Ordenar (2)
Los nmeros naturales n = {0,1, 2,..., n 1} pueden escribirse tambin en la forma n = {0 < 1 < 2 < ... < n 1} para poner de relieve la ordenacin inducida por la relacin n n + 1. El conjunto {0,1, 2,3,...} = {0 < 1 < 2 < 3 < ...} es un nmero denominado , al que llamamos tipo de orden o "nmero ordinal de los nmeros naturales". Se caracteriza por ser un orden "bueno" (por tanto es tambin total). Esta definicin se aplica a todas las ordenaciones buenas: Todo "buen orden" es un nmero ordinal. NOTA: Para conjuntos finitos, el nmero cardinal y el ordinal coinciden, segn se desprende de la construccin de los nmeros naturales.
El principio de induccin
Definicin previa: Si A es un conjunto bien ordenado y x un elemento, llamaremos segmento inicial hasta x al subconjunto formado por todos los elementos de A que preceden x. Sea P(x) una propiedad referida a un ndice x que recorre un conjunto bien ordenado I. Supongamos que si la propiedad es vlida para todos los elementos de cualquier segmento inicial J de I, entonces tambin lo es para el primer elemento del conjunto I J . Entonces tenemos el siguiente Teorema (Principio de Induccin Generalizado) Con las hiptesis anteriores, P(x) es vlida para todo x. Demostracin (por reduccin al absurdo) Supongamos lo contrario, esto es, que existen x tales que P(x) no es vlida. Esos elementos formarn un subconjunto X de I. Como I est bien ordenado, habr un primer elemento en X, llammosle w. Pero el conjunto de elementos que preceden w es un segmento inicial de I, luego por la hiptesis del teorema, P(w) debe ser vlida: Hemos obtenido una contradiccin, luego el Teorema es cierto.
Algebra (MD) 2010-2011 Lgica y Matemticas
Lgica Formal
La Lgica es el estudio de las leyes del razonamiento: Su nombre procede del griego lgos, que significa palabra, razn, razonamiento Cuando aadimos el adjetivo Formal, queremos decir que slo nos interesa el razonamiento en s, sin conexin con el significado o sentido de las palabras utilizadas, esto es, desligado de la Semntica. sta es la principal diferencia con las Matemticas, donde tiene tanto inters la correccin del razonamiento como el significado y conexin con el mundo real de las expresiones utilizadas. La Lgica Formal es la evolucin de la Lgica Clsica o Aristotlica, y tiene sus races en los estudios de Blaise Pascal, Gottfried Leibniz y George Boole, todos ellos conocidos por sus aportaciones a las Matemticas y la Filosofa. Tambin es la Lgica Formal uno de los fundamentos de la Informtica: Cualquier operador lgico, o combinacin de ellos, tiene su equivalente en algn circuito de puertas lgicas. En estas notas consideraremos slo algunos aspectos del Clculo Proposicional y del Clculo de Predicados.
17
^ 1 1 0 0 1 0 1 0 1 1 1 1 1 1 1 0 1 1 0 1 1 0 1 1 0 1 1 1 1 1 0 0 1 0 1 0 1 0 0 1 0 0 1 1 0 1 0 1
^ 1 0 0 0
0 1 1 0
0 1 0 0
0 0 1 0
0 0 0 1
0 0 0 0
Nombre
proposiciones TAUTOLOGA o incluyente implicacin implicacin negacin equivalencia conjuncin --CONTRADICCIN
Uso
Lectura
Siempre cierta, con independencia de los valores de p y q
p q, ambos Si q, entonces p Si p, entonces q Niega expresin, cambia el valor de verdad p posee el mismo valor que q pyq No tienen correlato en el lenguaje ordinario Siempre falsa, con independencia de los valores de p y q
22
1 1 0 0
1 0 1 0
1 0 1 1
0 0 1 1
1 0 1 1
1 1 1 1
Definicin: La operacin (pq) se denomina excluyente, y se escribe pq (hay otras formas). Se lee p q, pero no ambos.
23
1 1 0 0
1 0 1 0
1 1 1 0
0 0 0 1
0 0 1 1
0 1 0 1
0 0 0 1
1 1 1 1
Ejercicio: Demostrar las propiedades distributivas p ^ (q v r) = (p ^ q) v (p ^ r), y p v (q ^ r) = (p v q) ^ (p v r) Para este ejercicio es necesario construir una tabla con 8 filas (2 elevado 3). En general, si intervienen n proposiciones, la tabla tendr (2 elevado n) filas: Variaciones con repeticin de nuevo!
Algebra (MD) 2010-2011 Lgica y Matemticas 24
26
Clculo de Predicados
Si un ente x tiene una propiedad p, se puede decir tambin que la propiedad p se predica de x , lo cual escribimos como p(x). se es el origen de la expresin Clculo de Predicados. Ms operativamente, llamaremos predicado p(x) a una expresin en la cual hay una variable libre (la x), de manera que al sustituirla por diferentes entidades se obtiene una proposicin de la cual se puede decir si es verdadera o no. Por ejemplo, si p(x) = x es de color blanco, entonces p(nieve) es una proposicin verdadera, pero p(caf) no lo es. El conjunto de entes para los que p(x) es verdadera se llama extensin de p. As, la extensin del predicado p(x) = x es de color blanco es el conjunto de todos los entes que sean blancos = {nieve, leche,}. Sean p(x) un predicado y X un conjunto de objetos tales que para todos ellos la proposicin p(x) sea verdadera. Ello equivale a la verdad de la siguiente conjuncin:
p ( x) = p ( x ) p ( x ) ... = x p ( x) xX
i j
y recibe el nombre de cuantificador universal: Indica que todo el conjunto X (el universo de objetos) est contenido en la extensin de p. Por su parte, la segunda expresin puede escribirse as:
p ( x) = p ( x ) p ( x ) ... = x p ( x) xX
i j
y se llama cuantificador existencial: Dice que la interseccin entre el conjunto X y la extensin de p es no vaca. Los smbolos anteriores se leen: para todo x ocurre que p(x) y existe algn x tal que ocurre p(x)
Algebra (MD) 2010-2011 Lgica y Matemticas 28
p ( xi ) p ( x j ) ... =
xX
p ( xi ) p ( x j ) ... =
x X
29
Consideremos el ejemplo p ( x, y ) = "x e y son amigos". Podemos cuantificar las variables x e y de diversas formas (completar los significados): xy p( x, y ) : Cualquier x es amigo de cualquier y ( = yx p ( x, y )) xy p( x, y ) : Hay un x que es amigo de algn y ( = yx p ( x, y )) xy p ( x, y ) : Para cualquier x existe un y que es amigo suyo ( yx p ( x, y )) xy p ( x, y ) : Hay un x que es amigo de todos los y ( yx p( x, y ))
30
Regla I: "Si p es condicin suficiente para q y p es verdadera, entonces q tambin lo es". Esta regla se denomina tambin "modus ponendo ponens", del latn ponere = afirmar. En frmulas, se suele escribir as: pq p , aunque hay otras formas alternativas. En Matemticas describe lo que se q conoce como "demostracin directa". Por ejemplo, sean p q = "el queso de cabra es bueno", q = "tengo un queso de cabra". Deducimos que es cierto que "mi queso es bueno" Otro ejemplo, ste ms familiar: Sean p q = "Toda funcin f derivable es continua", q = "x 2 es derivable": entonces deducimos que es cierto que "x 2 es continua"
Algebra (MD) 2010-2011 Lgica y Matemticas 31
32
33