Вы находитесь на странице: 1из 303

Notas de Introducci´on al C´alculo

Alberto Castano˜

julio/2006

(Versi´on Preliminar)

Prefacio

Se ha dicho, con fundamento, que la puerta de entrada a las ideas del

C´alculo la constituye el concepto de l´ımite. Estas notas quieren hacer honor

a dicho concepto teniendo como objetivo llegar con un proceso constructivo

a la definici´on precisa de l´ımite de funciones de una variable real. Tal vez una

raz´on para eludir esta definici´on precisa en los cursos habituales de C´alculo,

sea la necesidad de llevar a cabo toda una serie de ideas b´asicas que le

permitan al estudiante un feliz arribo a este extraordinario concepto, b´asico

para todos aquellos que quieran ir un poco m´as all´a de f´ormulas y anhelen

adquirir un conocimiento de calidad en C´alculo, cuanto con mayor raz´on para

los que est´an ingresando en areas´ de investigaci´on, ll´amese F´ısica, Qu´ımica,

Econom´ıa o de Ingenier´ıas y obviamente para los Matem´aticos.

El recorrido que se ha querido hacer en estas notas para llegar a la noci´on

de l´ımite, propuesta en el p´arrafo anterior, se inicia con la definici´on de

operaci´on binaria, concepto que se aprovecha para familiarizar al estudiante

con las leyes b´asicas del campo algebraico. Razones para hacerlo as´ı sobran,

pu´es una parte central del trabajo matem´atico es la actividad permanente con

operaciones de diferente naturaleza. Baste decir aqu´ı que desde un principio

estaremos comprometidos con operaciones de tipo l´ogico, operaciones con

conjuntos, con relaciones y funciones, y con los numeros´ reales.

Se ingresa a continuaci´on en el terreno de la demostraci´on matem´atica,

proponiendo las principales operaciones con enunciados, pero con la idea de

proporcionarle al estudiante los diferentes m´etodos de razonamiento matem´ati-

co.

Claro est´a que no es aqu´ı el lugar para desarrollar toda la estructura

te´orica de la l´ogica. Lo que se espera es que el estudiante adquiera las t´ecni-

cas necesarias para comprender textos demostrativos y que adem´as llegue a

elaborarlos por su propia cuenta. El procedimiento recurre al m´etodo eur´ısti-

co, complementado con ejemplos que sirvan de modelo apropiado a cada uno

ii

iii

de los diferentes m´etodos de demostraci´on. Para ello se han introducido des-

de un comienzo, (ver pre´ambulo), definiciones y teoremas elementales de los

numeros´ enteros, supuesto que el estudiante tiene alguna familiaridad con

ellos gracias a sus estudios anteriores. En esta parte se enuncian algunos teo-

remas sobre numeros´ enteros como el llamado “Algoritmo de la divisi´on”, el

“Teorema Fundamental de la Aritm´etica”, el hermoso resultado griego so-

bre “la infinitud de los numeros´ primos”, y adem´as, algunas nociones como

numeros´ pares e impares, numeros´ primos y compuestos, M´aximo Comun´

Divisor y primos relativos. Esto se hace con el prop´osito de tener algunos

elementos de la Aritm´etica para realizar desde un principio ejemplos de de-

mostraciones “sencillas”.

Sigue un desarrollo elemental pero b´asico de la Teor´ıa de Conjuntos. Este

tema nos ofrece una oportunidad de poner en pr´actica conceptos descritos

en la parte anterior, tales como operaciones con conjuntos y sus respectivas

leyes algebraicas, as´ı como tambi´en demostraciones que tengan el sello de

bien constru´ıdas, empleando los principales m´etodos de razonamiento l´ogico.

En este punto damos por terminado el primer cap´ıtulo .

En el segundo cap´ıtulo se complementa el tema anterior con las ideas

de “Relaciones y funciones”, conceptos centrales en el estudio del C´alculo.

Aqu´ı nuevamente salen a relucir importantes operaciones como inversi´on de

relaciones y la importante composici´on de relaciones y sus leyes de asocia-

tividad, no conmutatividad, etc. En este tema se parte del “conocimiento y la

familiaridad” que tiene el estudiante con los numeros´ reales, as´ı sea ´este leve

y quiz´a un tanto confuso. Lo que se espera es que el estudiante vaya mejoran-

do este conocimiento a medida que se desenvuelve el curso. Para dar un paso

en este sentido se abre aqu´ı un par´entesis para hacer un recuento de las leyes

algebraicas de la suma y producto usuales con numeros´ reales y se inicia el

tema del orden en Matem´aticas, las t´ecnicas de resoluci´on de desigualdades,

el reconocimiento de la recta num´erica y de los llamados “intervalos” reales.

Se incluye en este momento la idea de distancia entre puntos de la recta, uti-

lizando el concepto de “valor absoluto”de un numero´ real. Tambi´en se expone

en t´erminos de correspondencia biun´ıvoca, el hecho fundamental de que todo

intervalo real no trivial tiene tantos puntos como la recta num´erica y se senala˜

la posibilidad de expresar distancias entre puntos reales, tan pequenas˜ como

se quiera, recurriendo a la presentaci´on centro-radio de cualquier intervalo

no trivial escribi´endolo en t´erminos de una desigualdad con valor absoluto.

Se inicia el cap´ıtulo tres con la presentaci´on de un buen numero´ de fun-

ciones b´asicas entre numeros´ reales, (polin´omicas, racionales, exponenciales,

iv

PREFACIO

logar´ıtmicas y trigonom´etricas), destacando el aspecto operacional por medio

del cual se obtienen nuevas funciones generadas mediante sumas, diferen-

cias, productos, cocientes y composici´on. Se insiste en el aspecto gr´afico de

funciones como l´ıneas rectas, par´abolas, curvas exponenciales, logar´ıtmicas,

, |x|, funciones por tramos, etc.,

trigonom´etricas, y funciones del tipo

que ser´an una reserva para m´as adelante ilustrar las ideas de l´ımite, con-

tinuidad y diferenciabilidad, informando al estudiante que toda la compleji-

dad que encierra la forma de estas “curvas”se ir´a aclarando con el transcurrir

de los temas.

En el cap´ıtulo cuatro consideramos que todo est´a preparado para definir

el concepto de l´ımite de una funci´on, lo cual se har´a desde el punto de vista

intuitivo de aproximaci´on sistem´atica a un cierto numero´ a prefijado en el

ambiente determinado por una funci´on. Una vez desarrollado este proceso de

tipo eur´ıstico se est´a en condiciones de presentar en t´erminos formales ´esta,

no solo importante sino magn´ıfica, construcci´on del ingenio matem´atico:

1
1

x,

x

Para todo ε > 0 existe δ > 0 tal que para todo x,

0 < |x a| < δ

=

|f (x) L| < ε,

cuya abreviatura es usualmente representada como

l´ım

xa f (x) = L.

Llegados a este punto, sigue un proceso de manejo t´ecnico de esta ex-

presi´on, incluyendo modelos demostrados de l´ımites de funciones b´asicas,

exponiendo leyes y propiedades de los l´ımites y aprovechando el “momento”

para definir las ideas de continuidad y derivaci´on.

Terminamos el curso en el quinto cap´ıtulo, presentando las t´ecnicas b´asicas

de derivaci´on que se extienden hasta la importante “Regla de la cadena”.

´

0.1. ALGUNOS CONJUNTOS DE N UMEROS

1

´

PRE AMBULO.

En este pre´ambulo mencionamos, sin entrar en mayores detalles, los conjun-

tos num´ericos de nuestro mayor inter´es e inclu´ımos algunas definiciones y

resultados sobre los numeros´ enteros.

Se inicia el primer cap´ıtulo con el concepto de operaci´on binaria acompanado˜

de las leyes b´asicas del

panada˜ mas de intuici´on que de rigor, de las leyes l´ogicas y principales

Algebra. Viene enseguida una presentaci´on, acom-

´

m´etodos de demostraci´on y se ofrecen algunos modelos de razonamiento,

demostrando resultados referidos a los numeros´ enteros.

El cap´ıtulo finaliza con una introducci´on elemental de la Teor´ıa de Conjuntos

que incluye las operaciones usuales con conjuntos.

Muy pronto, en la secci´on 0.2., inclu´ımos los conectivos l´ogicos, , (im-

plicaci´on), con el significado ‘Si

significado “Si y solo si”.

As´ı mismo, a partir de la secci´on 1.1. inclu´ımos expresiones del estilo x A

que tiene los siguientes significados:

y , (equivalencia), con el

entonces”,

x es un elemento del conjunto A,

x pertenece a A,

x en A.

Como es usual, x / A significa: ”x no pertenece a A”.

0.1. Algunos conjuntos de numeros´

Las diferentes clases de conjuntos num´ericos que estaremos utilizando son:

El conjunto de los numeros´de conjuntos num´ericos que estaremos utilizando son: la letra especial: N . naturales { 1,2,3, }

la letra especial: N.

naturales { 1,2,3,

}, que se representa con

El conjunto de los numeros´ enteros { 0, ± 1 , ± 2 , ± 3 , · · · { 0, ±1, ±2, ±3, · · ·

}, que se re-

presenta con la letra especial: Z. Se utiliza el s´ımbolo Z + , (enteros

positivos), como otra manera de representar el conjunto N.

El conjunto de los numeros´positivos), como otra manera de representar el conjunto N . a, b racionales. a b con

a, b

racionales.

a

b

con

=

enteros, b

0.

racionales: Q, numeros´

Numeros´

como 3

5

, 7

4

,

que son de la forma

son

0,

2,

3 · 1416,

2

PREFACIO

El conjunto de los numeros´ irracionales, es decir, numeros´ que no se2 PREFACIO pueden expresar en forma racional. Este conjunto lo vamos a represen- tar con el

pueden expresar en forma racional. Este conjunto lo vamos a represen-

tar con el s´ımbolo Q ’.

El uso recomienda aproximar un numero´ irracional por medio de uno

2 1·4142, son ejemplos

de numeros´ irracionales aproximados a valores racionales.

reales se representa con la letra especial R

El conjunto de los numeros´racionales. reales se representa con la letra especial R racional. Numeros´ como π ≈ 3 ·

racional.

Numeros´

como π 3·1416, e 2·71828 y

y consta de la reuni´on de los racionales, Q, con los irracionales, Q’.

Finalmente, el conjunto C de los numeros´ complejos, numeros´ que son C de los numeros´ complejos, numeros´ que son

reales; por

3), (0 + i), son numeros´ complejos. Todo

numero´ real a se puede escribir como un complejo de la forma (a + 0i).

de la forma (a + bi),

ejemplo, (2 + 3i), (

1

siendo i

1

=

y

a, b, numeros´

2 i

0.2. DEFINICIONES Y TEOREMAS.

La igualdad a = 2 k , donde k es un entero, significa que a es un a = 2k, donde k es un entero, significa que a es un entero

par.

Ejemplos:

6 es de la forma 2k con k = 3;

0 es de la forma 2k con k = 0;

10 es

de la forma 2k con k = 5, por lo tanto 6, 0, 10 son numeros´

pares.

La igualdad a = 2 k − 1, donde k es un entero, significa que a es a = 2k 1, donde k es un entero, significa que a es un

entero impar. Ejemplo: 7 es de la forma 2k 1 con k = 4, por lo

tanto 7 es numero´ impar.

La expresi´on a | b con a, b enteros, a a | b con a, b enteros, a

= 0, significa lo siguiente:

a divide a b,

a es un divisor de b,

o tambi´en,

b es un multiplo´

de a.

0.2.

DEFINICIONES Y TEOREMAS.

3

Escribimos:

b = ka, siendo k un entero.

Ejemplos: 3 | 15, 5 | −20. En cambio, 5 12, (5 no divide a 12.)

Divisor de los en-

teros a, y b si d es el mayor de los divisores comunes de a y b,

donde a, b son no ambos ceros.

Escribimos:

a

|

b

Un entero positivo d se llama M´aximo Comun´ d se llama M´aximo Comun´

d = M CD(a, b).

Ejemplos: M CD(18, 30) = 6, M CD(14, 45) = 1, M CD(0, 20) = 20.

Dos enteros a, b son primos relativos si y solo si M CD ( a, b ) a, b son primos relativos si y solo si M CD(a, b) = 1. Por

son primos relativos si y solo si M CD ( a, b ) = 1. Por

ejemplo 14 y 45 son primos relativos.

Un numero´

racional

a b presenta forma reducida si y solo si

M CD(a, b) = 1

Por ejemplo,

reducida.

Se puede demostrar que todo numero´

su forma reducida, por ejemplo,

14

45

est´a en forma reducida; en cambio

18

30

18

30 no est´a en forma

racional se puede representar en

= 3 5 .

Un entero positivo p p

= 1 es un numero´

si y solo si

primo

sus unicos´

divisores positivos son: 1 y el mismo p.

2, 3, 5, 7, 11, 523, son primos.

primos.

Todo entero > 1, que no sea primo, se llama numero´

es un numero´

En cambio 6, 8, 9, 10, 91, 731, no son

compuesto. 731

compuesto.

El siguiente teorema se llama Algoritmo de la divisi´on : Algoritmo de la divisi´on:

Teorema 0.2.1. Si a, b son dos enteros, b

teros q, r, unic´

= 0, se pueden hallar dos en-

os, tales que se cumplen las dos condiciones siguientes:

a = bq + r

0 r < b.

4

PREFACIO

En el anterior teorema, a se llama Dividendo, b es el divisor, q es el

cociente y r, el residuo.

Ejemplo:

87 = 15 × 5 + 12

donde 87 es el dividendo, 15 el divisor, 5 el cociente y 12 el residuo.

Ejemplo:

17 = 4 × 5 + 3

donde 17 es el Dividendo, 4 el divisor, 5 el cociente y 3 el residuo.

Los siguientes dos resultados (teoremas) se refieren al MCD:Dividendo, − 4 el divisor, 5 el cociente y 3 el residuo. hallar dos enteros x,

hallar dos enteros x, y

i.

Si

d

es

el MCD de

a, b, se pueden

d = xa + yb

Por ejemplo,

tales que

.

M CD(15, 20) = 5 = (5)15 + (4)20

ii. Si a, c son primos relativos y c | ab, entonces c | b .

Por ejemplo,

8 | 48,

(3 × 16 = 48),

y como 8 y 3 son primos entre si,

se concluye que 8 | 16.

Los siguientes dos teoremas se refieren a los numeros´ primos.y como 8 y 3 son primos entre si, se concluye que 8 | 16 .

Teorema 0.2.2. Todo entero mayor que 1 se puede descomponer como

un producto de factores primos, repetidos o no, y estos primos son

unic´ os, salvo cambio de lugar de los factores en el producto.

El Teorema 0.2.2 se conoce como el teorema fundamental de la

Aritm´etica.

Ejemplo: 2924 = 2

Corolario 0.2.3. Todo entero mayor que 1 tiene algun´ divisor primo.

Por ejemplo, 43 es un divisor primo de 2 924 (¡y no es el unico!)´

Teorema 0.2.4. No existe un primo que sea el mayor de todos los

numer´ os primos.

2 × 17 × 43.

(En otras palabras, este teorema dice que la cantidad de numer´

es infinita).

os primos

Cap´ıtulo 1

L´ogica - Teor´ıa de Conjuntos

1.1. Operaci´on binaria

Definici´on 1.1.1. Una operaci´on binaria definida en un conjunto A, es

una regla que asigna a dos elementos a, b de A, un unico´ resultado c que es

tambi´en elemento del mismo conjunto A.

Escribimos:

a b = c

para indicar que la operaci´on entre a, b ha dado como resultado, c.

Veamos algunos ejemplos:

a, b ha dado como resultado, c . Veamos algunos ejemplos: Las siguientes dos tablas ilustran

Las siguientes dos tablas ilustran dos operaciones binarias definidas en

un conjunto

A = {e, a, b, c}

En la Tabla #1 se leen,

entre otros, los siguientes

. resultados: a e

b b

=

e

b

a

=

c.

=

a

∗ e a b c e e a b c a a e c b
e
a
b
c
e
e
a
b
c
a
a
e
c
b
b
b
c
e
a
c
c
b
a
e

Tabla #1

5

 

´

´

´

6

CAP ITULO 1.

L OGICA - TEOR IA DE CONJUNTOS

 

En la Tabla #2 se leen,

 
e a b c e e a b c a a a a a b
e
a
b
c
e
e
a
b
c
a
a
a
a
a
b
b
b
b
b
c
c
c
c
c

entre otros, los siguientes

 

resultados: a e = a

 

e a

=

a

a b

=

a

b c

=

b.

Tabla #2

El siguiente esquema muestra como se obtienen resultados en una tabla

de operaci´on binaria:

(Ver Tabla #2.)

 
 

↓ · · · a · · · : : . . b · ·
·
·
·
a
·
·
·
:
:
.
.
b
·
·
·
b
·
·
·
:
:
 
 

b

a = b

 
  La suma y la multiplicaci´on usuales con toda clase de numeros,´ desde

La suma y la multiplicaci´on usuales con toda clase de numeros,´ desde

 

los enteros, (Z), hasta los complejos (C), son operaciones binarias, por

ejemplo, sumar o multiplicar enteros nos d´a como resultado un numero´

entero unico.´

 
 

´

´

 

LEYES B ASICAS DEL

ALGEBRA

Clausurativa - uniforme - asociativa - conmutativa - modulativa

- invertiva - distributiva

Consideremos una operaci´on binaria definida en un conjunto A.

1. L. Clausurativa: El resultado de efectuar la operaci´on con dos ele-

mentos de A es tambi´en un elemento de A.

Para fines pr´acticos es bueno tener esta ley en forma de implicaci´on:

a, b A =(a b) A

1.1.

´

OPERACI ON BINARIA

7

2. L. Uniforme: Todo resultado obtenido por medio de la operaci´on es

unico.´

Dicho en otras palabras, si se opera con elementos iguales, se obtienen

resultados iguales.

Puesta en forma de implicaci´on esta ley se puede escribir as´ı:

Sean a, b, c, d A :

a b =ab = cd

= c

= d

Un caso particular de esta ley ocurre cuando se tiene una igualdad,

digamos a = b, y se opera en ambos miembros por un mismo elemento

c. En tal caso se obtiene a c = b c o bien, c a = c b.

Estas dos primeras leyes definen una operaci´on binaria, sin ellas no se

considera como tal. (Ver Definici´on 1.1.1).

Las leyes que siguen son opcionales, es decir, una operaci´on puede

cumplirlas o no.

3. L. Asociativa: El resultado de realizar la operaci´on con 3 elementos

es el mismo en cualquiera de las dos maneras en que es posible llevarla

a cabo sin cambiar el orden en que se tomen los elementos.

En t´erminos de implicaci´on, esta ley se expresa de la siguiente manera:

a, b, c A =(a b) c = a (b c)

Esta ley tambi´en es v´alida cuando el numero´

mayor que tres, en cuyo caso se puede realizar agrup´andolos de 3 en 3.

de elementos a operar es

4. L. Commutativa: El orden en que se realice la operaci´on con dos

elementos no modifica el resultado.

Esta propiedad se extiende a cualquier numero´ finito de elementos.

Puesta en t´erminos de implicaci´on queda as´ı:

a, b A =a b = b a

8

´

CAP ITULO 1.

´

´

L OGICA - TEOR IA DE CONJUNTOS

5. L. Modulativa: Hay en el conjunto A por lo menos un elemento, que

denotaremos con e, que operado, (por derecha o por izquierda), con

cada elemento de A, da como resultado el mismo elemento, es decir:

a A =(a e = a

y

e a = a)

El elemento e se llama el m´odulo o elemento neutro de .

Claro que si es commutativa, es suficiente que se cumpla una sola de

las igualdades en la anterior implicaci´on para que tambi´en se cumpla

la otra.

6. L. Invertiva:

Si el conjunto A tiene un m´odulo e y para cada elemento a de A hay

un elemento (por lo menos uno) en A , que denotaremos con a 1 , tal

en cualquier orden, el resultado es el m´odulo

que, al operar a con a

e, entonces la operaci´on cumple la L. Invertiva.

En t´erminos de implicaci´on:

1

(a A y en A existe m´odulo) =(En A existe a 1 tal que aa 1 = e y a 1 a = e).

El elemento a

Aqu´ı tambi´en es claro que si es commutativa, es suficiente una sola

igualdad en la implicaci´on anterior.

1

se llama el inverso de la operaci´on .

7. L. Distributiva:

Esta ley requiere que en el conjunto A est´en definidas dos operaciones,

digamos y . Decimos que distribuye con respecto a si se

cumple la siguiente implicaci´on:

a, b, c A = a (b c) = (a b) (a c)

y

(b c) a = (b a) (c a)

Nuevamente, si es commutativa, es suficiente que se cumpla una

de las igualdades en la implicaci´on anterior ya que tambi´en se es-

tar´a cumpliendo la otra.

1.1.

´

OPERACI ON BINARIA

Ejemplos:

9

Los numeros´ racionales, (Q ) , los reales, ( R ), y los complejos, ( C ) , Q), los reales, (R), y los complejos, (C), con

las operaciones usuales de suma (+) y multiplicaci´on (×) satisfacen las

7 leyes mencionadas anteriormente, raz´on por la cual se llaman campos

algebraicos. T´engase en cuenta que s´olo la multiplicaci´on “distribuye”

con respecto a la suma, es decir:

a × (b + c) = (a × b) + (a × c),

Pero la suma no distribuye con respecto a la multiplicaci´on, es decir,

a + (bc)

= (a + b)(a + c).

Un ejemplo num´erico aclara lo dicho: · · · 3 + (2 × 5)

= (3 + 2) × (3 + 5) .

13 40

La siguiente tabla resume la notaci´on y nombres relacionados con las

operaciones usuales en Q, R, y C.

Nombres y s´ımbolos relacionados con las operaciones + y ×.

Operaci´on m´odulos notaci´on y nombre para inversos + 0 −a (opuesto de a) × 1
Operaci´on
m´odulos
notaci´on y nombre para inversos
+
0
−a
(opuesto de a)
×
1
a 1 (rec´ıproco de a
= 0)

T´engase en cuenta que los “Naturales” con + no cumplen la L. Modu-

lativa, (0 / N), ni la L. Invertiva, (cuando a N, a / N.)

Los “Enteros” con × no cumplen la L. Invertiva, (cuando a

un entero, a 1 no es entero.)

es

= ±1

En la Tabla #3 , la operaci´on ∗ cumple Tabla #3, la operaci´on cumple

6. El m´odulo es e.

con las leyes 1, · · ·

Los inversos son:

e 1 = e,

a 1 = b,

b 1 = a.

∗ e a b e e a b a a b e b b e
e
a
b
e
e
a
b
a
a
b
e
b
b
e
a

Tabla #3

10

´

CAP ITULO 1.

´

´

L OGICA - TEOR IA DE CONJUNTOS

La operaci´on ∗ definida en la Tabla ∗ , verifica definida en la Tabla , verifica

las “Leyes b´asicas 1 · · · 6.

Para esta operaci´on el m´odulo

Inversos:

e 1 = e a 1 = a.

b 1 = b.

c 1 = c.

es e.

En cambio la Tabla

verifica las Ls. clausurativa,

uniforme, asociativa y

modulativa, (m´odulo (e)),

pero no, las leyes conmutativa

e invertiva.

∗ e a b c e e a b c a a e c b
e
a
b
c
e
e
a
b
c
a
a
e
c
b
b
b
c
e
a
c
c
b
a
e

Tabla

e a b c e e a b c a a a a a b
e
a
b
c
e
e
a
b
c
a
a
a
a
a
b
b
b
b
b
c
c
c
c
c

Tabla

Operaciones m´odulo n . n.

(n un entero > 1)

´

Son dos operaciones de la mayor importancia en

Numeros.´

Definimos en el conjunto B = {0, 1, 2, 3, 4, }. una “suma y una mul-

tiplicaci´on ” as´ı:

Para x, y B,

x y = residuo r que queda despu´es de dividir (x + y) por 5.

x y = residuo r que queda despu´es de dividir (xy) por 5.

Las Tablas # 4 y # 5 muestran sendos resultados.

Algebra y Teor´ıa de

Veamos un ejemplo con n = 5.

⊕ 0 1 2 3 4 0 0 1 2 3 4 1 1 2
0
1
2
3
4
0
0
1
2
3
4
1
1
2
3
4
0
2
2
3
4
0
1
3
3
4
0
1
2
4
4
0
1
2
3

Tabla #4

⊗ 1 2 3 4 1 1 2 3 4 2 2 4 1 3
⊗ 1
2
3
4
1 1
2
3
4
2 2
4
1
3
3 3
1
4
2
4 4
3
2
1

Tabla #5

Las dos operaciones y desplegadas en las tablas #4 y #5 cumplen todas

las leyes b´asicas del

Algebra y por tanto constituyen un campo algebraico

con 5 elementos a saber, 0, 1, 2, 3, 4.

´

1.2.

EJERCICIOS

11

No se incluye el 0 en la tabla #5 ya que ´este no tiene inverso para el producto

. Sin embargo es posible re-incluirlo por medio del teorema,

a 0 =

0

Ejemplos-: (Verificar cada ejemplo en las tablas #4 y #5.)

4 (5 2)

= (4 5) (4 2)

= 3.

3

0

3

Ley Distributiva.

El opuesto de 2 es 3 y esto lo expresamos as´ı:

2 = 3.

(Note que 2 3 = 0;

Ley Invertiva de ).

El rec´ıproco de 3 es 2 y esto lo expresamos as´ı:

(Note que 3 2 = 1;

3 1 = 2.

Ley Invertiva de ).

4 2 = 1, ya que 4

2 significa 4 4 = 1

3 (2 3 ) = 4, ya que 2 3 = 3.

1.2.

Ejercicios

1. En la siguiente tabla I, verificar por inspecci´on que es operaci´on

binaria; verificar la ley asociativa al menos 2 veces; verificar la ley con-

mutativa al menos 2 veces; identificar, si existe, m´odulo; completar las

igualdades que se dejan indicadas.

∗ x y z w x y w x z y w z y x
x
y
z
w
x
y
w
x
z
y
w
z
y
x
z
x
y
z
w
w
z
x
w
y

Tabla I.

y z =

; x 1 =

(z x) w =

; w 1 =

z z =

; x 2 =

x 2 y 1 =

; y 3 w 2 =

(w x) (y x) =

12

´

CAP ITULO 1.

´

´

L OGICA - TEOR IA DE CONJUNTOS

x a y b c x x a y b c a y b c
x
a
y
b
c
x
x
a
y
b
c
a
y
b
c

Tabla II.

2. Complete la Tabla II de manera que

quede definida una operaci´on binaria

con m´odulo el elemento x

y que adem´as cumpla las Ls. algebraicas

1· · · 6.

Adem´as que se cumplan los siguientes

requisitos:

El inverso de a que sea c.

El inverso de b que sea y.

3. Completar la tabla III considerando la multiplicaci´on, m´odulo 6. Re-

solver, por ensayo y error, la ecuaci´on propuesta al lado de la tabla.

¿Cu´al es la unica´ ley algebraica, (1 · · · 6), que esta operaci´on no cumple?

⊗ 0 1 2 3 4 5 0 0 0 1 0 1 2 3
0
1
2
3
4
5
0
0
0
1
0
1
2
3
4
5
2
4
3
0
4
4
5

Tabla III

5 x 2 3 x 2 = 1.

(= suma, m´odulo 6).

4. La operaci´on desplegada en la “singular” tabla IV, satisface las leyes

b´asicas del algebra´ 1 · · · 6. Verifique, (parcialmente), esta afirmaci´on

efectuando algunos resultados.

0 -1 1 2 0 0 -1 1 2 -1 -1 0 2 1 1
0
-1
1
2
0
0
-1
1
2
-1
-1
0
2
1
1
1
2
0
-1
2
2
1
-1
0

Tabla IV.

(-1 1) 2=

-1 (1 2)=

2 2 =

, (es decir, 2 2 =

.)

1 3 =

; 1 6 =

5. Justifique la afirmaci´on: “La operaci´on

definida por medio de la tabla

no es conmutativa ni invertiva”.

Encuentre una regla o f´ormula para

dicha operaci´on.

e a b c e e a b c a a a a a b
e
a
b
c
e
e
a
b
c
a
a
a
a
a
b
b
b
b
b
c
c
c
c
c

Tabla

1.2.

EJERCICIOS

13

6. En el conjunto de los enteros positivos, junt´andole el 0, (Z

+ ∪ {0}),

definimos una operaci´on binaria en 3 pasos, as´ı:

a

b = el menor de a y b

1

, cuando a y b sean

= 0.

a

0 = a

 

0

b = b

 

Por ejemplo:

 

3

8 = 3-1 = 2.

1

1 = 1-1 = 0.

0

0 = 0.

5

0 = 5.

Preguntas y actividades:

¿Existe m´odulo?. Justifique su respuesta.

Halle los inversos de los siguientes numeros:´

¿Para todo a (Z

¿Para a

Verifique que esta operaci´on es conmutativa.

+ ∪ {0}), existe inverso?

?.

= 0 :

a a =

0, 1, 5, 219.

Realice las siguientes operaciones:

¿1 2 =

?;

¿11 (7 9) =

?;

¿(11 8) 5 =

?

¿51 50 =

?;

¿(11 7) 9 =

?;

¿11 (8 5) =

?

A la vista del punto anterior, ¿esta operaci´on es asociativa?

ejemplos que corroboren su respuesta.

D´e otros

7. En el conjunto de los enteros positivos junt´andole el 0, (Z + ∪ {0}), se

define la operaci´on:

a b = M CD(a, b).

Realizar las siguientes operaciones:

a 1 =

; a (a + 1) =

; a p =

(p primo, p a).

 

70 30 =

; a p =

(p primo, p | a)

; a

0 =

, (a

= 0).

14

´

CAP ITULO 1.

´

´

L OGICA - TEOR IA DE CONJUNTOS

1.3. Nociones de L´ogica.

M´etodos de demostraci´on.

1.3. Nociones de L´ogica. M´etodos de demostraci´on. T´erminos y Enunciados: Son los elementos b´asicos de una

T´erminos y Enunciados:

Son los elementos b´asicos de una “ Teor´ıa Matem´atica”.

Los t´erminos matem´aticos son los objetos que son motivo de estu-

dio, tales como conjuntos, numeros,´ funciones, figuras geom´etricas y

un grande etc´etera.

Representaremos los t´erminos con letras y s´ımbolos especiales.

Ejemplos:

El punto P, el conjunto A,

matem´aticos.

Excepto en unos pocos casos, (que se mencionar´an en la p´agina si-

guiente), los t´erminos entran a hacer parte de la teor´ıa por medio de

definiciones.

Los enunciados corresponden a las propiedades y relaciones que ocurren

entre los t´erminos; los denominamos con esta palabra porque empiezan

a tener ‘existencia matem´atica’ una vez que se enuncien.

b f, son t´erminos

la funci´on f, la integral

a

Ejemplos -:

Un enunciado de la Aritm´etica es:

Todo numero´

entero > 1 tiene algun´

divisor primo.

Un enunciado de la Geometr´ıa es:

En todo tri´angulo is´osceles, los angulos´

de la base son iguales.

Representaremos los enunciados con letras mayusculas,´ en particular P,

Q, R, S, T, etc. Existen diferentes tipos de enunciados: verdaderos,

falsos, contradictorios, conjeturas e indecidibles pero s´olo nos

ocuparemos de los tres primeros.

Un enunciado s´olo se considera verdadero, (tambi´en se dice “ TEORE-

MA ”) cuando ha sido objeto de una prueba o demostraci´on matem´atica,

en cuyo caso pasa a ser parte de la teor´ıa. Para indicar que un enunciado

es verdadero, utilizaremos la letra v.

´

1.3. NOCIONES DE L OGICA.

´

´

M ETODOS DE DEMOSTRACI ON.

15

Para nuestros fines en este curso, una demostraci´on consiste en una ar-

gumentaci´on basada en leyes l´ogicas muy precisas, leyes que aqu´ı pre-

sentaremos sin entrar en detalles mayores, que son propios de un curso

de L´ogica.

Sin embargo agreguemos que la demostraci´on de un enunciado utiliza

teoremas y definiciones que, en el momento de demostrarlo, est´en ha-

ciendo parte de la teor´ıa.

TERMINOS PRIMITIVOS - AXIOMAS.de demostrarlo, est´en ha- ciendo parte de la teor´ıa. La definici´on de los t´erminos se hace

La definici´on de los t´erminos se hace recurriendo a t´erminos anterior-

mente definidos. Sin embargo algunos t´erminos b´asicos no se pueden

definir ya que son independientes entre si y no existen t´erminos anterio-

res que los definan. La soluci´on a este impase consiste en admitir, sin

definici´on, los primeros t´erminos de la teor´ıa a cambio de que sea dada

la lista definida de ellos. Estos son los llamados t´erminos primitivos.

Los otros ser´an t´erminos definidos.

Ejemplos -: Conjunto y pertenecer son t´erminos primitivos de la

Teor´ıa de conjuntos de Zermelo-Fraenkel.

Punto, recta y plano son t´erminos primitivos de la Geometr´ıa Eu-

clidiana.

En cambio numero´

primo es un t´ermino definido de la Aritm´etica.

La demostraci´on de los teoremas se hace recurriendo a teoremas queprimo es un t´ermino definido de la Aritm´etica. previamente hallan sido demostrados. Sin embargo los

previamente hallan sido demostrados. Sin embargo los primeros teore-

mas no se pueden demostrar ya que son independientes entre si y no

existen teoremas anteriores que permitan llevar a cabo su demostraci´on.

La soluci´on a este impase es que se admitan algunos teoremas sin ser

demostrados a condici´on de que se expresen claramente y que se refieran

a propiedades de los t´erminos primitivos. Estos enunciados admitidos

sin demostraci´on se llaman los axiomas y cada rama de la Matem´atica

empieza con una lista de ellos.

Ejemplos -: Un axioma de la Teor´ıa de conjuntos es el siguiente:

Si los conjuntos A y B tienen los mismos elementos,

entonces son conjuntos iguales.

16

´

CAP ITULO 1.

´

´

L OGICA - TEOR IA DE CONJUNTOS

Un axioma de la Geometr´ıa es el siguiente:

Por dos puntos pasa una recta y s´olo una.

Veamos a continuaci´on, y a la par con las operaciones b´asicas cones el siguiente: Por dos puntos pasa una recta y s´olo una. enunciados, las leyes l´ogicas

enunciados, las leyes l´ogicas que se necesitan para elaborar demostra-

ciones que reciban el reconocimiento de correctas.

Operaciones con Enunciados

(Negaci´on - Disyunci´on - Conjunci´on - Implicaci´on -Equivalencia.)

La negaci´on -: Es la operaci´on que d´a lugar a un enunciado que esDisyunci´on - Conjunci´on - Implicaci´on -Equivalencia.) el contrario de otro enunciado P. El resultado es el

el contrario de otro enunciado P. El resultado es el enunciado que de-

notaremos noP. Como cuando decimos:

La recta l no pasa por el puntoA. ,

noP

enunciado que constituye la negaci´on de:

la recta l pasa por el puntoA.

P.

Enunciado falso -: Es aquel cuyo contrario (o negaci´on), es verdaderola negaci´on de: la recta l pasa por el punto A. P. (es decir, teorema.) En

(es decir, teorema.) En otras palabras, el enunciado P es falso s´olo

cuando noP es verdadero.

Se indicar´a que un enunciado es falso por medio de la letra f.

Recuerde -:

Afirmar de (noP) que es un enunciado verdadero,

es equivalente a afirmar que (P) es un enunciado falso.

Enunciado contradictorio -: Es aquel que es verdadero y falso simult´anea-es equivalente a afirmar que (P) es un enunciado falso. mente. Un enunciado contradictorio presenta la

mente.

Un enunciado contradictorio presenta la siguiente forma:

(P y noP).

Un principio l´ogico prohibe que una teor´ıa matem´atica tenga enuncia-

dos contradictorios. Se llama Principio de no contradicci´on y queda

resumido en la siguiente Tabla #6.

´

1.3. NOCIONES DE L OGICA.

´

´

M ETODOS DE DEMOSTRACI ON.

17

P noP v f f v
P
noP
v f
f v

Tabla #6

´ M ETODOS DE DEMOSTRACI ON. 17 P noP v f f v Tabla #6 La

La Disyunci´on -: Es la operaci´on que expresa la posibilidad de que sea

verdadero al menos uno de entre dos o m´as enunciados, como cuando

decimos,

(3 es primo) o (6 es par).

Para fines te´oricos representamos la disyunci´on de dos enunciados P, Q, en

la forma

(P o Q).

Esta es una operaci´on binaria cuyo signo de operaci´on es la palabra o. Dicha

operaci´on se rige por el siguiente principio:

´

Un enunciado (P o Q) es verdadero en todos los casos

en que los enunciados P y Q no sean ambos falsos.

En el caso de ser P y Q ambos falsos, (P o Q) tambi´en es falso.

Este principio queda resumido en la Tabla #7.

P Q P oQ v v v v f v f v v f f
P
Q
P oQ
v
v
v
v
f
v
f
v
v
f
f
f

Tabla #7.

Note que una disyunci´on verdadera tiene verdadero al menos uno de sus

enunciados. Tambi´en es suficiente que uno de sus enunciados sea verdadero,

para que la disyunci´on sea verdadera.

18

´

CAP ITULO 1.

´

´

L OGICA - TEOR IA DE CONJUNTOS

En la Tabla #7 se pueden verificar las dos primeras leyes l´ogicas, a saber:

Ley de adici´on con o:

Siendo P un enunciado verdadero

y Q cualquier tipo de enunciado verdadero o falso,

se obtiene otro enunciado tambi´en verdadero

que se expresa en la forma (P o Q) o en la forma (Q o P).

Observe, por ejemplo, la segunda l´ınea de la Tabla #7 donde Q es un enun-

ciado falso (f) pero como P es verdadero (v), el enunciado (P o Q) aparece

verdadero (v).

Ejemplo -:

(5 > 3) o (5=3).

N´otese que 5 = 3 es falso. No obstante, la disjunci´on que se obtuvo, es

verdadera, usualmente resumida en la forma 5 3.

Ejemplo -:

enunciado al ‘adicionar’ el tambi´en verdadero (4 < 5), resultado que se ex-

presa as´ı:

(5 > 3) o (4 < 5.)

A partir del enunciado verdadero (5 > 3) se obtiene verdadero

Al ser verdad que 5 > 3, tambi´en es verdad que

Al ser verdad que 5 > 3, tambi´en es verdad que En adelante llamaremos premisa a

En adelante llamaremos premisa a todo enunciado que, en principio, se

tome como verdadero para obtener, mediante deducci´on l´ogica, otros

enunciados verdaderos.

Utilizaremos esquemas de tipo “premisa(s) - conclusi´on(es)” para re-

presentar algunas leyes l´ogicas.

La Ley de adici´on con o se resume en el siguiente esquema:

Premisa.

P

Conclusi´on 1:

P o Q

Conclusi´on 2:

Q o P

Ley de cancelaci´on de los enunciados falsos en la Disjunci´on.

En toda disjunci´on verdadera se pueden cancelar los enunciados fal-

sos, y los enunciados que queden sin cancelar son verdaderos.

´

1.3. NOCIONES DE L OGICA.

´

´

M ETODOS DE DEMOSTRACI ON.

19

Observe, por ejemplo, la segunda l´ınea de la Tabla #7, donde Q es

falso (f) pero como (P o Q) es verdadero (v), P aparece verdadero (v),

es decir, al cancelar el enunciado Q(f), el que queda, P, es verdadero.

Situaci´on similar se repite para la tercera l´ınea, esta vez con P(f) y

Q(v): se cancela P(f) y queda Q(v).

Ejemplo -: Siendo claro que

(5 < 3) o (5 > 4)

es una afirmaci´on verdadera, ‘cancelamos´ la parte falsa, (5 < 3), y la

que queda, (5 > 4), es verdadera.

Presentaci´on esquem´atica de la L. de Cancelaci´on:

Premisas.

Premisas.

1.

P o Q

1.

P o Q

2.

noP

2.

noQ

Conclusi´on:

Q.

Conclusi´on:

P.

2. noQ Conclusi´on: Q. Conclusi´on: P. La Conjunci´on -: Es la operaci´on que expresa la

La Conjunci´on -: Es la operaci´on que expresa la simultaneidad de dos

o m´as enunciados, como cuando decimos,

(3 es primo) y (6 es par).

La conjunci´on de dos enunciados P, Q se representa en la forma

(P y Q)

Esta es tambi´en una operaci´on binaria cuyo signo de operaci´on es la palabra

y. Dicha operaci´on se rige por el siguiente principio:

Un enunciado (P y Q) s´olo es verdadero

caso en el que tanto P como Q

en el unico´

son ambos verdaderos.

En los dem´as casos (P y Q) es enunciado falso.

Este principio queda resumido en la Tabla #8.

 

´

´

´

20

CAP ITULO 1.

L OGICA - TEOR IA DE CONJUNTOS

P Q (P y Q) v v v v f f f v f f
P
Q
(P y Q)
v
v
v
v
f
f
f
v
f
f
f
f

Tabla #8

En la Tabla #8 se pueden verificar otras dos leyes l´ogicas, que son las si-

guientes:

Ley de simultaneidad.

Si tanto el enunciado P como el enunciado Q son verdaderos,

se obtiene un enunciado verdadero que se representa en cualquiera de las dos

formas siguientes:

o

(P y Q)

(Q y P)

Verifique el lector esta ley en la 1 a l´ınea de la Tabla #8

Ley de simplificaci´on.

Siendo verdadero un enunciado de la forma

(P y Q),

se pueden concluir, independientemente,

tanto la verdad de P, como la verdad de Q.

En la 1 a l´ınea de la Tabla #8 se puede constatar esta ultima´

ley.

Presentaci´on esquem´atica de las Ls. de simultaneidad y simplificaci´on.

simultaneidad

Premisas.

simplificaci´on

Premisa.

1. P

 

2. Q

Conclusi´on 1.

P y Q P Q

Conclusi´on:

(P y Q)

Conclusi´on 2.

´

1.3. NOCIONES DE L OGICA.

´

´

M ETODOS DE DEMOSTRACI ON.

21

NOCIONES DE L OGICA. ´ ´ M ETODOS DE DEMOSTRACI ON. 21 La Implicaci´on -: Es

La Implicaci´on -: Es la operaci´on binaria entre enunciados P, Q que

establece la disjunci´on entre la negaci´on de P o la afirmaci´on de

Q como cuando decimos:

Un entero a (no es multiplo´

de 6) o (es divisible por 3).

La implicaci´on de dos enunciados P, Q se representa en la forma:

P =Q.

El enunciado P se llama antecedente

y el enunciado Q, consecuente.

Los enunciados que toman la forma de implicaci´on, (P =Q), reciben

las siguientes lecturas:

Si P entonces Q.

P implica a Q.

Q siempre que P.

P es una condici´on suficiente para Q.

Q es una condici´on necesaria para P.

Por ejemplo, el enunciado senalado˜

6 | a

=

con se representa por

3 | a

y se lee, entre otras maneras, as´ı:

Si un entero a es multiplo´

de 6, entonces a es divisible por 3.

(Un entero a es multiplo´

de 6) implica que (a es divisible por 3).

a es divisible por 3 siempre que lo sea por 6.

Una condici´on suficiente

para que un entero a sea divisible por 3, es

que a sea multiplo´

de 6.

Una condici´on necesaria para que un entero a sea multiplo´

que a sea divisible por 3.

de 6, es

22

´

CAP ITULO 1.

´

´

L OGICA - TEOR IA DE CONJUNTOS

Una gran parte de los enunciados matem´aticos est´an asociados a la

forma de implicaciones, las cuales pueden estar, o no estar, presentes

en forma expl´ıcita. En estas notas haremos expl´ıcita la implicaci´on de

cada enunciado, esto por razones de orden pr´actico en el proceso de

demostraci´on que nos ocupe. De hecho ya lo hemos puesto en pr´actica

a partir de la secci´on 1.1, (p´agina 6), con motivo de las leyes b´asicas

del algebra.´

Por ejemplo, el teorema: “ El producto de numeros´

resultado otro numero´

impares d´a como

impar ” est´a asociado a la implicaci´on:

 

(a

y

b

son numeros´

impares) =

(ab es impar.)

´

´

numeros´ impares) = ⇒ ( ab es impar.) ´ ´ REC IPROCA y CONTRARREC IPROCA. Asociadas

REC IPROCA y CONTRARREC IPROCA.

Asociadas a toda implicaci´on se deben considerar otras dos implica-

ciones las cu´ales se indican en el siguiente esquema:

P =Q

Q =P

−→

noQ =noP

Ejemplo -:

Implicaci´on inicial :

´

REC IPROCA

´

−→ CONTRARREC IPROCA.

Si el entero a es multiplo´

de 6, entonces a es divisible por 3.

 

P

=Q

(v)

Implicaci´on rec´ıproca :

 

Si el entero a es divisible por 3, entonces a es multiplo´

de 6.

Q =

P

(f)

Implicaci´on contrarrec´ıproca :

Si el entero a no es divisible por 3, entonces a no es multiplo´

de 6.

noQ =noP

(v)

´

1.3. NOCIONES DE L OGICA.

NOTA :

´

´

M ETODOS DE DEMOSTRACI ON.

23

Como puede verse en el ejemplo anterior, el hecho de que la implicaci´on

inicial sea verdadera, (es decir, teorema), no asegura que la rec´ıproca sea

verdadera pu´es en este caso es falsa, como se puede constatar por medio del

siguiente contraejemplo:

15 es divisible por 3 (recuerde, 3 | 15) pero 15 no es multiplo´

de 6, (6 15).

Sin embargo, la implicaci´on inicial y su contrarrec´ıproca siempre ser´an am-

bas verdaderas o ambas falsas. (Ley del contrarrec´ıproco, p´agina 31). En el

ejemplo considerado, ambas son verdaderas, lo cual demostraremos un poco

m´as adelante, (Ver p´aginas 26 y 31.)

La implicaci´on es como ya se dijo, una operaci´on binaria cuyo signo de ope-

raci´on est´a representado por dos palabras, ” Si

raci´on se rige por el siguiente principio -:

· · · entonces ”. Dicha ope-

El unico´

caso en que un enunciado de la forma

P

=Q

es falso,

se d´a cuando el antecedente, P, es verdadero

y el consecuente, Q, es falso.

En los otros casos la implicaci´on es verdadera.

La Tabla #9 registra este principio:

P Q P ⇒ Q v v v v f f f v v f
P
Q
P ⇒ Q
v
v
v
v
f
f
f
v
v
f
f
v

Tabla #9

En la Tabla#9 se pueden verificar las siguientes dos nuevas leyes l´ogicas y

el importante M´etodo Directo para hacer demostraciones.

Ley del “Antecedente Falso”:

Toda implicaci´on con antecedente falso

es verdadera, es decir, teorema.

 

´

´

´

24

CAP ITULO 1.

L OGICA - TEOR IA DE CONJUNTOS

Ejemplos -:

 

1.

 

(falso)

(verdadero.)

 
 

(6 es primo)

=

(6 es par)

 

 

(=verdadera)

 

2.

 

(falso)

(falso)

 

 

(6 es primo)

 

=

(6 es impar)

 
 

 

(=verdadera)

 

Ley del “Modus ponens”.

 

Forma esquem´atica:

De una implicaci´on ver-

dadera con antecedente

verdadero, se puede con-

cluir que el consecuente es

verdadero.

Esta importante ley es de uso continuo no s´olo en el razonamiento matem´atico,

sino en el uso del lenguaje corriente. Ella indica las condiciones (premisas)

bajo las cuales se puede deducir (¿poner?) el consecuente de una impli-

 

Premisas:

1.

P =Q

2.

P

Conclusi´on:

Q.

caci´on.

M´etodo Directo

Es el procedimiento m´as utilizado para efectuar demostraciones matem´aticas.

Su explicaci´on puede seguirse en las filas 1 y 2 de la Tabla #9.

Consideremos que se quiere demostrar un enunciado de la forma

P =Q.

A continuaci´on describimos el procedimiento.

´

1.3. NOCIONES DE L OGICA.

´

´

M ETODOS DE DEMOSTRACI ON.

25

Partamos del supuesto (hip´otesis) de que P es un enunciado verdadero, ver

filas 1 y 2 de la Tabla #9. All´ı se observan 2 opciones para Q. La 1 a fila

nos indica que Q puede llegar a ser enunciado verdadero, en cuyo caso la

implicaci´on resultar´a verdadera. La 2 a fila nos indica que el enunciado Q

puede llegar a ser falso, en cuyo caso la implicaci´on resultar´a falsa.

Si una sucesi´on de deducciones (l´ogicas) intermedias nos llevan a la conclusi´on

final de que Q es verdadero, hemos llegado a buen puerto, pu´es la consecuen-

verdadero, hemos llegado a buen puerto, pu´es la consecuen- cia inmediata es que P = ⇒

cia inmediata es que P =Q es una implicaci´on verdadera y el

enunciado ha quedado demostrado.

Cabe aqu´ı preguntarse, ¿porqu´e no suponer inicialmente que P es falso?

La respuesta es inmediata: Con antecedente falso toda implicaci´on es (tri-

vialmente) verdadera y no se tienen que hacer m´as razonamientos.

Presentaci´on esquem´atica del m´etodo directo:

Hip.

P.

Deducc/s. Interm/s.

P 1 , P 2

·

·

·

· P n .

Conclus/Final.

Q.

Demostrado:

P =Q

Es bueno aclarar que no es el enunciado Q el que queda demostrado sino

el enunciado (P =Q). Hecha esta aclaraci´on, cuando se realice una

demostraci´on por m´etodo directo, ´esta se puede dar por terminada en el

punto en que se obtenga la conclusi´on final Q.

En el siguiente teorema se tiene un modelo de aplicaci´on del m´etodo directo.

Teorema 1.3.1. El producto de numer´ os impares d´a resultado impar.

Demostraci´on. Empezamos por expresar el enunciado en forma de impli-

caci´on:

(a, b enteros impares)

=

(ab es impar)

Esto no es indispensable pero nos ayuda a entender mejor el procedimiento,

que empieza as´ı:

Supongamos que a y b son impares, (hip´otesis). Queremos demostrar que ab

tambi´en es impar, (tesis).

Al ser a y b impares,

a = 2k + 1, con k Z

Por ley uniforme,

b = 2h + 1, con h

Z

ab = (2k + 1)(2h + 1)

26

´

CAP ITULO 1.

´

´

L OGICA - TEOR IA DE CONJUNTOS

Por ley distributiva,

ab = 2k · 2h + 2k + 2h + 1

Agrupando y sacando un factor comun,´

ab = 2 (2kh + k + h) + 1

En este punto, llamemos 2kh + k + h = t,

la ley clausurativa.

Reemplazando en , obtenemos finalmente,

ab = 2t + 1

t Z,

lo cual se justifica por

lo cual significa que ab es impar y la demostraci´on termina.

significa que ab es impar y la demostraci´on termina. Veamos otro ejemplo sencillo. Demostremos por el

Veamos otro ejemplo sencillo.

Demostremos por el m´etodo directo la implicaci´on mencionada en la p´agi-

na 23:

6 | a

=

3 | a

Dm:- Supongamos que 6 | a. Por definici´on,

a = 6k, k Z.

Esta igualdad se puede re-escribir en la forma,

a = 3(2k).

Hagamos 2k = h, (L. clausurativa), luego,

a = 3h, h Z.

Esta ultima´

igualdad equivale (por definici´on) a 3 | a. La implicaci´on queda

demostrada.

a 3 | a . La implicaci´on queda demostrada. ✷ La Equivalencia -: Esta operaci´on binaria

La Equivalencia -: Esta operaci´on binaria se reduce a una combinaci´on

de conjunci´on y dos implicaciones, pu´es se define como la conjunci´on

de una implicaci´on y su rec´ıproca, es decir,

(P =Q) y (Q =P).

El signo convenido para denotar la equivalencia es ⇐⇒. El enunciado

anterior se representa as´ı:

P ⇐⇒ Q

´

1.3. NOCIONES DE L OGICA.

´

´

M ETODOS DE DEMOSTRACI ON.

27

Analizamos en la siguiente tabla, cuando es verdadero, y cuando falso,

un enunciado en forma de equivalencia:

(P

=

Q)

y

(Q

=

P)

P

⇐⇒

Q

v

v

v

v

v

f

f

f

f

v

v

f

f

v

f

f

v

v

f

f

Cuando un enunciado de la forma P ⇐⇒ Q

1 y 2), se dice de los enunciados P, Q que son equivalentes.

El enunciado

es verdadero, (ver filas

P ⇐⇒ Q recibe, entre otras, las siguientes lecturas:

P si y solo si Q.

P sii Q.

P es condici´on suficiente y necesaria para Q.

En resumen, vemos que dos enunciados son equivalentes cuando am-

bos son simult´aneamente verdaderos, (1 a fila de la tabla anterior),

o simult´aneamente falsos, (2

Una conclusi´on v´alida es que todos los enunciados verdaderos son equiva-

lentes entre si y tambi´en todos los falsos son equivalentes entre si.

Demostrar que dos enunciados P, Q son equivalentes obliga a demostrar

dos implicaciones, (en cualquier orden):

I) Demostrar P =Q.

II) Demostrar la rec´ıproca, Q =P

a fila de la tabla anterior).