Unidad 0 Preliminares Matemticos

En esta unidad se precisan las principales ideas matemticas que servirn de fundamento para el resto de la materia. Las competencias son: Hacer uso de la representacin simblica de lgica proposional y conjuntos Aplicar induccin matemtica para las demostraciones

Para el estudio de la teora de la computacin se necesitan tres herramientas matemticas bsicas: Notacin terica establecida Dominio de los conceptos de funciones y relaciones Buenos conocimientos de induccin matemtica

0.1 Lgica proposicional

Una proposicin es cualquier enunciado lgico al que se le pueda asignar un valor de verdad (1) o falsedad (0). Ejemplo Las siguientes frases son proposiciones 2 + 1 es 5 17 es un nmero primo Las siguientes frases no son proposiciones Qu hora es? Vamos al teatro

Si P y Q son proposiciones, se dice que P es equivalente a Q si para todos los casos tienen el mismo valor de verdad. Si P es una proposicin, su negacin se denota por ~P. Si P es verdadera, ~P es falsa, y si P es falsa ~P es verdadera. ~P se lee no P. La tabla de verdad siguiente representa los valores de verdad de ~P correspondientes a los valores de verdad de P. P V F ~P F V

La conjuncin (A B), disyuncin (A B) e implicacin o proposicin condicional (A B) se representa en la siguiente tabla

A V V F F B V F V F A B V F F F A B V V V F A B V F V V

Teorema 0.1 Sea P y Q proposiciones para las cuales es siempre verdadera. Entonces P y Q son equivalentes. Por otro lado, si P y Q son equivalentes, entonces la bicondicional es siempre verdadera Nota Una proposicin es una tautologa si es siempre verdadera. Una contradiccin es una proposicin que siempre es falsa. La negacin de una tautologa es una contra diccin.

Ejemplo: Construir las tablas de verdad para: (~ ) y determine si se trata de una tautologa.
P V V V V F F F q V V F F V V F r V F V F V F V ~p F F F F V V V ~pq V V F F V V V (~ ) F F F F V V V

Como se puede apreciar en la tabla de verdad la proposicin No es una tautologa. Existen varias formas de establecer el condicional en palabras. Las siguientes son todas equivalentes : a) Si p entonces q. b) p implica q. c) p es ms fuerte que q. d) q es ms dbil que p. e) p slo si q. f) q si p. g) p es suficiente para q. h) q es necesario para p. i) Una condicin necesaria para p es q. j) Una condicin suficiente para q es p . La mayora de las veces usamos las dos primeras, pero es importante familiarizarse con el resto. Si observamos la tabla de verdad de p q se nota que no es simtrica con respecto a p y q; esto es, la tabla de verdad de p q no es lo mismo que la tabla de verdad de q p. En otras palabras, estas dos proposiciones no son lgicamente equivalentes de manera que no podemos sustituir una por la otra. Debido a esta prdida de simetra es conveniente hacer las siguientes definiciones: Dada una implicacin p q : q p se llama la recproca, ~p ~q se llama la inversa, ~q ~p se llama la contrapositiva : El ltimo conectivo que trataremos ser el bicondicional. Si p, q son dos proposiciones entonces la proposicin p si y slo si q (abreviado p ssi q), se denota por pq y se llama el bicondicional. Diremos que p q es verdadero cuando p, q tienen el mismo valor de verdad y falso cuando tienen distintos valores de verdad. La tabla es:

0.2 Conjuntos
Un conjunto es la reunin en un todo de objetos bien definidos y diferenciables entre si, que se llaman elementos del mismo. Si a es un elemento del conjunto A se denota con la relacin de pertenencia a A. En caso contrario, si a no es un elemento de A se denota a A. Ejemplos : el conjunto vaco, que carece de elementos. N: el conjunto de los nmeros naturales. Z: el conjunto de los nmeros enteros. Q : el conjunto de los nmeros racionales. R: el conjunto de los nmeros reales. C: el conjunto de los nmeros complejos.

Se puede definir un conjunto:

o o o

por extensin, enumerando todos y cada uno de sus elementos. por comprensin, diciendo cul es la propiedad que los caracteriza. Mediante diagramas de Venn

Un conjunto se suele denotar encerrando entre llaves a sus elementos, si se define por extensin, o su propiedad caracterstica, si se define por comprensin. Ejemplo:
o o

A := {lunes, martes, mircoles, jueves, viernes} B := {p Z | p es da de la semana}

Se dice que A est contenido en B (tambin que A es un subconjunto de B o que A es una parte de B), y se denota A B, si todo elemento de A lo es tambin de B, es decir, a A a B. Dos conjuntos A y B se dicen iguales, y se denota A = B, si simultneamente A B y B A; esto equivale a decir que tienen los mismos elementos (o tambin la misma propiedad caracterstica). Para cualquier conjunto A se verifica que A
4

AA

El conjunto formado por todos los subconjuntos de uno dado A se llama partes de A, y se denota (A). Entonces, la relacin B A es equivalente a decir B (A). Ejemplos: Si A = {a,b} entonces (A) = { ,{a},{b},A}. Si a A entonces {a} (A).

Cuando en determinado contexto se consideran siempre conjuntos que son partes de uno dado U, se suele considerar a dicho U como conjunto universal o de referencia.

0.2.1 Operaciones entre conjuntos

Dados dos conjuntos A y B, se llama diferencia al conjunto A B = {a A | a B}. Se llama diferencia simtrica entre A y B al conjunto A B = (A B) ( A). Si A y B son subconjuntos cualesquiera de U se verifica:
o o o o o

'=U. U'=. (A')' = A . A B B' A' . Si A = { x U | p(x) es una proposicin verdadera} entonces A' = { x U | p(x) es una proposicin falsa}.

Se llama unin de dos conjuntos A y B al conjunto formado por objetos que son elementos de A o de B, es decir: A B = { x | x A x B}. Se llama interseccin de dos conjuntos A y B al conjunto formado por objetos que son elementos de A y de B, es decir: A B = {x | x A x B}.

Teorema Dados los conjuntos A y B, se tiene las siguientes propiedades: 1. 2. 3. 4. 5. = = Si A B, entonces A = Si A B, entonces A= A = = A ( Idempotencia )
5

6. Conmutativa a. A = b. A = 7. Asociativa a. A ( C) = (A ) C b. A ( C) = (A ) C 8. Distributiva a. A (B C) = (A B) (A C) b. A (B C) = (A B) (A C) 9. Absorcin a. A ( A B ) = A b. A ( A B ) = A 10. Complementariedad a. A A' = U b. A A' =

0.3 Relaciones y funciones 0.3.1 Relaciones

Cuando hablamos de relaciones en la forma matemtica, se trata, de decir qu elementos estn relacionados con cules, y una forma es escribiendo parejas ordenadas (a, b) que signifiquen que el elemento a est relacionado con el b. El orden es importante. Por todo ello, damos la siguiente definicin. Definicin. Una relacin R en un conjunto A es un subconjunto no vaco del producto cartesiano A A. Para denotar que un elemento a est relacionado con otro b por la relacin R escribimos (a, b) o tambin aRb. Ejemplo. En el conjunto A = {1, 2, 3} R1 = {(1, 2), (1, 3), (2, 3)} es una relacin que podramos llamar la relacin del orden habitual, ya que indica que el primer elemento del par precede al segundo segn el orden habitual de los nmeros. Otra relacin es R2 = {(1, 1), (1, 3), (2, 2), (3, 1), (3, 3)}, que podramos llamar la relacin de paridad, pues los elementos de cada pareja son ambos pares ambos impares. En la definicin no se exige que todos los elementos del conjunto estn relacionados con algn otro, ni que todos reciban la relacin de alguno. Por ello definimos el dominio y el contradominio a continuacin.

Definicin. El dominio de una relacin R en el conjunto A es el subconjunto de A de elementos que estn relacionados con algn otro. Lo denotamos D(R) y lo podemos expresar como: Definicin. El contradominio de una relacin R en el conjunto A es el subconjunto de A de elementos con los que alguno est relacionado. Lo denotamos D(R) y lo escribimos como Definicin. La relacin inversa de una relacin R es la relacin formada por las parejas de R invirtiendo el orden de los elementos en cada pareja. Se denota por R1. Es decir,

De la definicin se desprende inmediatamente que D(R1) = D(R) y D(R1) =D(R). Ejemplo. Una representacin grfica es la siguiente:

Que representa la relacin R = {(a, a), (a, b), (a, c)} definida en el conjunto A = {a, b, c}.

0.3.2 Funciones
Queremos utilizar las funciones como herramientas para asignar a cada elemento de un conjunto un elemento de otro. Como en el caso de las relaciones, vamos a expresar esta asignacin por parejas, pero ahora formadas por un elemento del conjunto inicial y un elemento del conjunto final. Como se ha dicho, exigiremos adems que a cada elemento del conjunto inicial no se le asigne ms de uno del final.

Definicin. Una funcin f del conjunto A al conjunto B es un subconjunto del producto cartesiano AB en el que no hay dos parejas que tengan el mismo primer elemento. El conjunto A se llama inicial, y el conjunto B, final y se denotan con el smbolo f : A B. Ejemplo. Sea A = {a, b, c} y consideremos los subconjuntos de A A, f = {(a, a), (b, b), (b, c)} g = {(a, b), (b, c), (c, a)} h = {(a, a), (b, a)}
7

Los tres conjuntos son relaciones en A, pero f no es una funcin porque el elemento b aparece como primer elemento en dos parejas. Sin embargo, g y h s son funciones.

0.4 Induccin matemtica

Definicin 1. Sea N={1,2,3, . . . .} el conjunto de los nmeros naturales y P(n) una cierta propiedad que puede ser o no verdadera para cada natural n . El principio de induccin matemtica afirma que si: i) P(1) es cierta, es decir , el nmero natural 1 verifica la propiedad, y ii) Suponiendo que P(k) es cierta se puede probar que P(k+1) tambin es cierta, entonces, cualquier nmero natural verifica la propiedad.

Observaciones
1. El principio de induccin se basa en que los nmeros naturales forman un conjunto cuyo primer elemento es el 1, y que est bien ordenado (todo subconjunto suyo tiene un primer elemento). Si la hiptesis i), P(1) es cierta, se cambia por P(n0) es cierta, con n0 N entonces el principio de induccin concluye que la propiedad es cierta para cualquier nmero natural .

2.

Ejemplos

1.

Demuestre que para cualquier nmero natural n se cumple que: n(n + 1) 1 + 2 + 3 + + n = 2 Solucin: En primer lugar, comprobamos que la propiedad es verdadera para n=1 1(1 + 1) 1= 2 (Hiptesis de induccin) Ahora, suponiendo que la propiedad es verdadera para n=k, es decir que se cumple: 1 + 2 + 3 + + = Hay que comprobar que se cumple para n=k+1 ( + 1) 2

1 + 2 + 3 + + + ( + 1) =

( + 1) + ( + 1) = 2

( + 1)(( + 1) + 1) ( + 1) + 2( + 1) ( + 1)( + 2) = = 2 2 2 Lo que asegura que la propiedad es cierta para n=k+1. Entonces, por el principio induccin matemtica, la propiedad es cierta para cualquier nmero natural.

2.

Demuestre que para cualquier nmero natural n se cumple que: ( + 1)(2n + 1) 1 + 2 + 3 + + n = 6 Solucin: En primer lugar, comprobamos que la propiedad es verdadera para n=1 1(1 + 1)(2.1 + 1) 1 = 6 Ahora, suponiendo que la propiedad es verdadera para n=k, es decir que se cumple: ( + 1)(2k + 1) 1 + 2 + 3 + + k = 6 Hay que comprobar que se cumple para n=k+1 ( + 1)(2k + 1) 1 + 2 + 3 + + k + (k + 1) = + (k + 1) 6

( + 1)(2 + 1) + 6( + 1) ( + 1)(2 + 1) + 6( + 1)( + 1) = 6 6 ( + 1)((2 + 1) + 6( + 1)) ( + 1)(2 + + 6 + 6 ) = = 6 6 ( + 1)(2 + 7 + 6 ) ( + 1)( + 2)(2 + 3 ) = = 6 6 ( + 1)( + 1) + 1(2( + 1) + 1 ) = 6 Lo que asegura que la propiedad es cierta para n=k+1. Entonces, por el principio induccin matemtica, la propiedad es cierta para cualquier nmero natural.