LopezMateosManuel CalDifeInt Borrador1 Libre

Esta edicin es un borrador, se difunde por tiempo limitado para efectos de recabar comentarios. Prohibida su modificacin, copia o distribucin.
https://tienda.lopezmateos.com.mx
C
M
Lpez Mateos
editores
L M
Esta edicin es un borrador, se difunde por tiempo limitado para efectos de recabar comentarios. Prohibida su modificacin, copia o distribucin. https://tienda.lopezmateos.com.mx
Borrador 1, , en Lpez Mateos Editores c L M E , . . de . . Ave. Insurgentes Sur 1863-301 Guadalupe Inn lvaro Obregn, D. F. C.P. 01020 Mxico ISBN En trmite Informacin para catalogacin bibliogrca: Lpez Mateos, Manuel. Clculo diferencial e integral/ Manuel Lpez Mateos 1a ed. p. cm. ISBN En trmite 1. Matemticas 2. Anlisis matemtico 3. Clculo 4. Diferencial 5. Integral 6. Aplicaciones I. Lpez Mateos, Manuel, - II. Ttulo. Todos los derechos reservados. Queda prohibido reproducir o transmitir todo o parte de este libro, en cualquier forma o por cualquier medio, electrnico o mecnico, incluyendo fotocopia, grabado o cualquier sistema de almacenamiento y recuperacin de informacin, sin permiso de L M E , . . de c.v. Producido en Mxico
Lpez Mateos
lopezmateos.com.mx ISBN En trmite
editores
(p agina vii)
(c)Lpez Mateos Editores. (c)Manuel Lpez Mateos. Esta edicin es un borrador, se difunde por tiempo limitado para efectos de recabar comentarios. Prohibida su modificacin, copia o distribucin. https://tienda.lopezmateos.com.mx
CONTENIDO
PRESENTACION CAP ITULO 0 INTRODUCCION

1. 2. 3. 4. 5. 6. 7. 8. C alculos y piedras 1 Tangentes 3 Areas 6 M as y m as cerca 8 Puntos y n umeros 10 Estar o no estar 11 Presentaci on del C alculo Nota hist orica 13
12
CAP ITULO 1 EL LENGUAJE DE LOS CONJUNTOS

1. 2. 3. 4. 5. 6. 7. Consideraciones iniciales 17 Complemento y subconjuntos Igualdad y operaciones 25 Propiedades b asicas 29 Algo de l ogica 31 C omo razonar 41 Nota hist orica 46 20
17
vii
viii
Contenido
CAP ITULO 2 PUNTOS EN LA RECTA REAL

1. 2. 3. 4. 5. 6. 7. Naturales 39 Enteros 22 Racionales 27 Los n umeros reales 32 Propiedades de los n umeros reales Desigualdades e intervalos 34 Nota hist orica 21
39
33
CAP ITULO 3 FUNCIONES REALES

1. 2. 3. 4. 5. 7. Relaciones 53 Denici on de funci on 57 Funciones reales de variable real Representaci on geom etrica 68 Ecuaci on de una recta 71 Nota hist orica 21
53
63
CAP ITULO 4 EL CONCEPTO DE L IMITE

0. 1. 2. 3. 4. 5. 7. El concepto intuitivo 104 M as cerca que . . . 111 Denici on de l mite: primer intento Segundo 123 Propiedades 127 Dos l mites b asicos 133 Nota hist orica 21
104
119
CAP ITULO 5 FUNCIONES CONTINUAS

1. 2. 3. 7. Qu e no se rompa! 143 Denici on de continuidad Propiedades 159 Nota hist orica 21 149
143
Contenido
ix
CAP ITULO 6 LA DERIVADA DE UNA FUNCION

1. 2. 3. 4. 5. Cambio y raz on de cambio 163 Razones y rectas 166 Tangente a la curva 169 La funci on derivada de una funci on Nota hist orica 178
163
175
CAP ITULO 7 PROPIEDADES DE LA DERIVADA

1. 2. 3. 7. Operaciones con la derivada C alculo de casos 201 Derivadas trigonom etricas Nota hist orica 21 196 204
196
CAP ITULO 8 MAXIMOS Y M INIMOS

1. 2. 3. 4. 5. 6. Arriba o abajo? 214 El logaritmo 224 La funci on exponencial general 230 Algunas aplicaciones 236 Orden de magnitud 241 El logaritmo como el area bajo la curva 1/x
214
247
CAP ITULO 9 LA INTEGRAL DEFINIDA

1. 2. 3. 4. 5. Area bajo una curva 257 Funciones continuas 260 Area 261 Sumas superiores e inferiores 264 El teorema fundamental 275
257
CAP ITULO 10 PROPIEDADES DE LA INTEGRAL
279
Contenido
1. 2. 3. 4.
Otras conexiones con la derivada Sumas 285 Desigualdades 292 Integrales impropias 294
279
CAP ITULO 11 TODOS DE INTEGRACION ME

1. 2. 3. 4. 5. Sustituci on 300 Integraci on por partes 305 Integrales trigonom etricas 310 Fracciones parciales 319 Sustituciones exponenciales 330
300
CAP ITULO 12 EL CALCULO EN EL ESTUDIO DE LA CIENCIA

1. 2. 3. 4. 5. 6. 7. Vol umenes de revoluci on 338 Area en coordenadas polares 343 Longitud de curvas 347 Curvas param etricas 353 Supercie de revoluci on 362 Trabajo 369 Momentos y centro de gravedad 372
336
NDICE A APE MUSEO NDICE B APE DE L LA DEFINICION IMITE NDICE C APE ANALISIS EN R NDICE D APE A PROBLEMAS SOLUCION
336
336
336
336
NDICE E APE TABLA DE INTEGRALES

336
NDICE I
450
(p agina 1)
CAP ITULO
R (C
INTRODUCCION
1. CALCULOS Y PIEDRAS
Desde la escuela primaria usamos la palabra calcular con el signicado de obtener un resultado mediante operaciones aritm eticas , tambi en se dice hacer cuentas. La palabra c alculo viene del lat n, calc ulus, que signica piedra o guijarro y se reere al m as antiguo procedimiento matem atico conocido usado por el ser humano desde epocas prehist oricas, el de establecer correspondencias biun vocas: Suponemos que al salir con su reba no, el pastor prehist orico colocaba una piedrecilla en una bolsa, o en una pila, por cada oveja a su cuidado. Al regresar, por cada oveja que entraba, quitaba una piedra. Si quedaban piedras en la bolsa habr a que buscar las ovejas extraviadas. El pastor vericaba que existiera una correspondencia biun voca entre las piedras depositadas, que representan las ovejas que salieron, y las ovejas que iban entrando, es decir, que llegaran tantas ovejas como salieron. Quiz a la calculadora port atil m as antigua fue una bolsa de piedras o, en su forma m as elaborada, un collar de cuentas. Despu es inventamos los n umeros y m as adelante otros objetos matem aticos, a los procedimientos para manipularlos seguimos llam andoles c alculos. Se habla de calcular el area de un terreno, de calcular la distancia a un astro, de calcular la velocidad de un proyectil, o de calcular el tiempo transcurrido durante un suceso. Hay c alculo num erico (hoy d a con grandes cifras, o de mediciones muy precisas, efectuados mediante poderosas computadoras), c alculo vectorial (con vectores que, entre otras cosas, representan fuerzas o velocidades), c alculo matricial (con matrices podemos representar grandes sistemas de ecuaciones), y c alculo diferencial e integral (tema del presente libro). Tambi en usamos el t ermino c alculo innitesimal para referirnos al c alculo diferencial y al c alculo integral. Por qu e les llamamos as , y les mencionamos juntos? De qu e tratan? Veamos la p agina siguiente y comencemos . . .
)M
an
ue
lL
ez
eo at s
1
Cap tulo 0 Introduccion
Dicho en pocas palabras, el t ermino c alculo innitesimal signica c alculo de innit esimos y se refer a, en una epoca, a procedimientos para manipular esos objetos considerados cantidades distintas de cero pero tan peque nas que carec an de m ultiplos. Un tipo de manipulaci on de innit esimos se realiza comparando diferencias. Si queremos comparar avance con tiempo dividimos la diferencia en posici on entre la diferencia en tiempo. Restamos de la posici on nal la posici on inicial y dividimos entre la diferencia que hay del tiempo nal al tiempo inicial. Estamos comparando dos diferencias, posici on nal menos posici on inicial, el espacio recorrido, y tiempo nal menos tiempo inicial, el tiempo transcurrido. Al dividir el espacio recorrido entre el tiempo transcurrido obtenemos la llamada raz on de cambio de la posici on respecto del tiempo. Cuando nos interesan los cambios de posici on en intervalos m as y m as peque nos de tiempo transcurrido estamos en el terreno del c alculo diferencial. Tenemos un segundo tipo de manipulaci on de innit esimos; a nadiendo, sumando o integrando para, mediante consideraciones sobre partes de un objeto, concluir propiedades sobre el total, al estilo de cuando cubrimos un c rculo con rect angulos y consideramos la suma de las areas de los rect angulos como una aproximaci on al area del c rculo. Al cubrir el contorno del c rculo con rect angulos m as y m as peque nos, m as ce nidos le quedar an y mejor ser a la aproximaci on que obtengamos del area del c rculo mediante la suma del area de los rect angulos que lo cubren. Estamos en el terreno del c alculo integral. Sucede que estos dos tipos de manipulaci on constituyen operaciones inversas, as como la suma y la resta (casi), de ah su tratamiento conjunto.
R (C
)M
La sorpresa es que los procedimientos inversos entre s del c alculo diferencial y del c alculo integral, llamados diferenciaci on e integraci on, en realidad no operan sobre cantidades distintas de cero pero tan peque nas que carecen de m ultiplos llamadas, alguna vez, innit esimos sino que los cocientes de diferencias y las a nadiduras o sumas se manipulan mediante el concepto de l mite que involucra, a su vez, nuestra concepci on de n umero real . As , el t ermino c alculo innitesimal se reere, hoy d a, a la manipulaci on de diferencias y sumas mediante el proceso de l mite.
Empleando de nuevo unas cuantas palabras, el t ermino l mite no se reere a una situaci on de la cual no podemos pasar para ello usamos, en matem aticas, el t ermino cota, como una valla sino un estado el cual nalmente obtendremos, continuando un proceso. La idea de n umero real es parte del n ucleo profundo de nuestra concepci on de espacio.
an
ue
lL
ez
eo at s
0.2 Tangentes
Dijimos muchas cosas en una sola p agina pero emplearemos buena parte del libro para explicarlas. Mientras tanto, en las secciones de este cap tulo introductorio, presentaremos algunos problemas que originaron la necesidad o condujeron a manipular diferencias y sumas, particularmente en peque nos intervalos, y describiremos las herramientas usadas. El estudio de cada herramienta ocupar a, m as adelante, varios cap tulos. Finalizaremos con un breve repaso hist orico de la construcci on de tan importante disciplina matem atica, obra de generaciones de cient cos: el c alculo diferencial e integral.
R (C
2. TANGENTES
Ya mencionamos un problema que nos lleva a comparar diferencias, el de obtener la raz on de cambio de la posici on respecto del tiempo, que estudiaremos ampliamente a lo largo del libro. Tambi en veremos, en el cap tulo 6, que comparar diferencias es como trazar secantes a una curva, y que estudiar el comportamiento de una raz on de cambio en intervalos m as y m as peque nos de tiempo transcurrido tratando de averiguar lo que sucede en un instante es como trazar una tangente a una curva. Debemos tener cuidado para denir este importante concepto de tangente a una curva. La primera denici on que se nos ocurre es de una recta que toca a la curva en un solo punto. Como esta?:
FIGURA 0.1
En realidad no es lo que esper abamos, cuando dijimos que la recta tangente tocara en un solo punto a la curva pensamos que la curva estuviera de un solo lado de la recta, no que la recta cruzara, imaginamos algo as :
FIGURA 0.2
)M
an
Recta que toca a la curva en solo el punto P . Es la tangente?
La recta no cruza la curva.
ue
lL p ez M eo at s
Pero no imaginamos la situaci on presentada en la gura 0.3 en donde alrededor del punto P la curva est a de un solo lado de la recta que nos gustar a llamar tangente, sin embargo esa recta cruza la curva en el punto Q. Algo falla en la propuesta para denir recta tangente en un punto, parece que debemos pedir condiciones sobre la recta tangente alrededor del punto en cuesti on.
R (C
)M an
FIGURA 0.3
La recta cruza la curva en Q pero no es tangente en P ?
Modiquemos la propuesta e intentemos otra denici on, que la recta tangente a una curva en un punto P sea una recta que, en su comportamiento alrededor del punto P , toque a la curva en ese punto, sin cruzarla (si la recta cruza a la curva, que lo haga lejos del punto P ). La descripci on de esta denici on incluye a la recta de la gura anterior, pero qu e hacemos entonces con la gura 0.4?
FIGURA 0.4
Ahora la recta, aunque cruza la curva en R , es tangente en R .
Sucede que las supuestas deniciones de recta tangente a una curva no describen lo que pensamos.
ue
lL
p ez M eo at s
0.2 Tangentes
Desde los griegos se trazaban tangentes a guras determinadas, EUCLIDES deni o tangente a un c rculo como una recta que toca al c rculo sin cruzarlo, y encuentra la manera de trazarla, APOLONIO ense na a trazar la tangente a un punto de una par abola, a una elipse y a una hip erbola, sin tener un m etodo de aplicaci on general. Fueron DESCARTES (con sus normales ) y, de manera independiente y pol emica, FERMAT (mediante sus adecuaciones ), en el siglo XVII, quienes esbozaron el m etodo de aproximar la tangente a la curva en el punto P mediante secantes rectas que atraviesan la curva en dos puntos que pasan por P y por otros puntos de la curva m as y m as cercanos a P , que lleva al concepto de l mite . Se puede hacer de varias maneras, una es trazando una recta del punto P (donde se quiere encontrar la tangente) en la curva a otro punto Q cualquiera sobre la curva en cuesti on.
R (C
FIGURA 0.5
Despu es, trazar otra secante de P a un punto m as cercano que Q, sobre la curva, a P , digamos R . Continuar de la misma manera y trazar la secante de P a S , y acercarnos a P por medio de puntos sobre la curva trazando las secantes de P a esos puntos cada vez m as y m as cercanos a P .
FIGURA 0.6
Tenemos, as , un proceso de obtener un estado, la recta tangente en P , como estado l mite de otros, las secantes trazadas de P a puntos sobre la curva m as y m as cerca de P . La posici on l mite de las secantes trazadas de P a puntos situados sobre la curva, m as y m as cercanos a P , es la tangente a la curva en el punto P .
)M
an
La recta de P a Q es una secante a la curva. Secantes que pasan por P y por puntos Q, R , S y T sobre la curva m as y m as cercanos a P .
ue
lL
p ez M eo at s
Esta manera de considerar una recta tangente a una curva lleva al concepto de derivada (ver cap tulo 6), idea desarrollada por NEWTON y LEIBNIZ alrededor de pero formalizada 140 a nos m as tarde con las aportaciones de CAUCHY en la primera mitad del siglo XIX.
R (C
REAS 3. A
El problema que nos lleva a manipular sumas es hallar el area de una gura. Hay tres ideas principales para atacar el problema. Una idea fundamental para resolver el problema era conocida desde las antiguas civilizaciones: Para hallar el area de una gura hay que descomponerla en otras cuya area sea conocida, el area de la gura original es la suma de las areas de las guras en que se descompone.
)M
FIGURA 0.7 FIGURA 0.8
Otra idea importante, atribuida a EUDOXO, presentada por EUCLIDES, es el m etodo de exhauci on, que aplicada para hallar el area de un c rculo consiste en Aproximar el area del c rculo mediante pol gonos inscritos incrementando m as y m as el n umero de sus lados.
an
Ejemplo sencillo donde una gura se descompone en dos cuya area cono1 ac. cemos: area total = area del rect angulo + area del tri angulo = ab + 2
Los pol gonos inscritos en el c rculo tienen area cada vez m as y m as parecida al area del c rculo.
ue lL p ez M eo at s
0.3 Areas
La tercer idea se conoce como el m etodo de las rebanadas . Se descompone una gura en delgadas rebanadas, m etodo que se aprecia mejor en una generalizaci on del problema de hallar el area, que es hallar el volumen.
R (C
Se piensa, por ejemplo, a una esfera rebanada en innidad de c rculos, sumando el area de cada uno de ellos se obtendr a el volumen de la esfera.
FIGURA 0.9
Presentado de manera simplista, el rect angulo de base b y altura a se rebanar a en innidad de rectas verticales, cada una de longitud a, tendr amos la longitud a considerada tantas veces como puntos hubiera en la longitud b, ese barrido de los segmentos de longitud a a lo largo del segmento de longitud b dar a el area del rect angulo A = ab.
FIGURA 0.10
El concepto moderno para determinar areas de guras planas cuyos contornos son l neas curvas se basan en estas tres ideas. En general, reas ser La gura se cubre con rect angulos, la suma de sus a a al a rea de la gura. una aproximacion reas Subdividimos m as y m as los rect angulos y sumamos las a de los que cubren la gura. Obtenemos una mejor aproxi de su a rea. macion rea Continuando este proceso, en el l mite, obtendremos el a de la gura. . Al proceso le llamamos integracion
)M an
Esfera rebanada El rect angulo de base b y altura a rebanado y barrido por segmentos de longitud a.
ue
lL
p ez M eo at s
R (C )M
FIGURA 0.11 FIGURA 0.12
Si subdividimos m as y m as los rect angulos, la suma del area de los que cubren la gura ser a m as y m as parecida al area de la gura. En el l mite obtenemos el area de la gura original.
Quienes aplican esta idea para obtener el area bajo una curva son FERMAT y ROBERVAL en el siglo XVII con su manera de calcular el area bajo una par abola.
De aqu s olo hay un paso al concepto de integral desarrollado de manera independiente y casi simult anea por NEWTON y LEIBNIZ a quienes se les considera los inventores del C alculo pues, a diferencia de sus antecesores inmediatos que tambi en se ocuparon de los problemas de hallar tangentes y areas, fueron quienes comprendieron que los procesos de derivaci on e integraci on son procesos inversos a manera de la suma y la resta pero esto es tema del cap tulo 10.
Y MAS CERCA 4. MAS
Consideramos la tangente a una curva en un punto como la posici on l mite de secantes, generando el concepto de derivada. Al area de una gura la obtenemos
an
El area bajo la par abola se atrapa entre rect angulos por arriba de la curva y rect angulos por abajo. Se obtienen sumas aproximadoras por exceso y por defecto .
ue lL p ez M eo at s
0.4 M as y m as cerca
como l mite de areas de rect angulos inscritos, o rect angulos aproximadores, construyendo el concepto de integral . La pregunta obligada es qu e es l mite ? En matem aticas,
R (C
el concepto de l mite es la expresi on formal de nuestra concepci on intuitiva de cercan a, o de muy aproximado .
Como siempre que se trate de denir un concepto y hacer, de dicha denici on, objeto de manipulaci on algebraica debemos vericar que la denici on adoptada realmente describa el objeto, concepto o situaci on que pretendemos denir, pero que, adem as, describa s olo a ese tipo de objeto. Al hablar de una posici on l mite pensamos en una posici on a la cual m as y m as nos acercamos conforme m as y m as tiempo transcurra. Pero es necesario ser m as en ergicos con la expresi on m as y m as para que exprese el signicado que le queremos asignar como dijera HUMPTY DUMPTY. La clave del asunto radica en expresar no s olo que nos acerquemos a la posici on l mite, sino que nos acerquemos tanto como queramos.
As , cuando usamos la expresi on m as y m as cerca conforme m as y m as tiempo transcurra la empleamos en el sentido de que podemos decir a partir de qu e momento el proceso dista del l mite en menos que una cantidad prejada. Estamos usando la medida prejada de cercan a como un reto. Retamos al proceso P a que se acerque a L en menos que . Si L es realmente el l mite debe poder responder al reto. La respuesta, en este caso, consiste en decir en qu e momento el proceso P va a lograr la cercan a prejada.
FIGURA 0.13
)M
De hecho el concepto a formalizar es que si L es la posici on l mite, P denota la posici on del proceso y damos una medida de cercan a (letra griega epsilon) arbitraria, por peque na que sea, siempre ser a posible hallar la cantidad de tiempo transcurrido suciente para que el proceso P diste de la posici on L en menos que la medida .
an
A partir de cierto momento la posici on est a m as cerca del l mite L que la distancia prejada .
ue
lL
ez
M eo at s
10
Como en las otras secciones de este cap tulo introductorio, lo dicho en estos p arrafos es descripci on informal del concepto mencionado. En el cap tulo 4 trataremos el concepto de l mite, analizaremos con detenimiento su denici on y estudiaremos sus propiedades para poder manejarlo algebraicamente.
R (C
5. PUNTOS Y NUMEROS
Hemos hablado de tiempo transcurrido y de espacio recorrido presuponiendo un comportamiento continuo de dichas magnitudes de tiempo y espacio. Falta todav a describir de manera formal el objeto matem atico con el cual representamos tiempo y espacio: los n umeros reales . Se recorri o un largo camino desde la concepci on de n umero de los griegos hasta la necesidad expresada por DEDEKIND y CANTOR en el siglo XIX de que el tratamiento riguroso del C alculo deb a tener fundamento aritm etico en lugar de basarse en la intuici on geom etrica util como recurso did actico. Aunque ha sido tratado de diferentes maneras, el procedimiento se conoce como la construcci on de los n umeros reales. Partimos de los conocidos quebrados , fracciones o razones llamados los n umeros racionales , denotados con Q. Identicamos cada n umero racional con un punto en una recta. Seg un el procedimiento que estudiaremos en el cap tulo 2 identicamos con cada punto de una recta un n umero racional y percibimos que hay puntos de la recta que no umeros irracionales corresponden a racionales, como 2, a los cuales llamamos n en lugar de fracciones, corresponden a decimales que no terminan (sin ser peri odicos). A la colecci on de esos dos tipos de n umeros, los racionales y los irracionales, le llamamos los n umeros reales , que denotamos con R.
)M
FIGURA 0.14
Ya sea que la construcci on de los n umeros reales se realice mediante las cortaduras de DEDEKIND o las sucesiones fundamentales de CANTOR, disponemos de la estructura de los n umeros reales, que representan de manera satisfactoria nuestra idea intuitiva del comportamiento del transcurrir del tiempo o del desplazamiento de un cuerpo por una trayectoria recta. En el ambito del recurso did actico que es la referencia geom etrica disponemos ahora, para nuestro estudio, de la identicaci on de la recta num erica con
an
La longitud de la hipotenusa del tri angulo rect angulo cuyos catetos miden la unidad no se puede expresar como fracci on.
ue
lL
ez M eo at s
0.6 Estar o no estar
11
los n umeros reales. Podemos representar, por ejemplo, el transcurrir del tiempo con un desplazamiento de un punto a otro en la recta num erica.
R (C
FIGURA 0.15
La recta real.
De hecho, mediante los n umeros reales representaremos varios tipos de cantidades variables cuyo comportamiento nos aparezca como el de los n umeros reales, como ser an temperaturas, distancias, vol umenes, presi on y muchas m as.
6. ESTAR O NO ESTAR
Lograda la construcci on de los n umeros reales a partir de los racionales, para completar el proceso de formalizaci on de los fundamentos del C alculo, seg un lo percibi o DEDEKIND, es necesario caracterizar los n umeros naturales, y junto con ellos a los racionales, en t erminos de la nueva teor a de conjuntos, teor a creada por CANTOR cuando en su descripci on de los n umeros reales habla de puntos l mite de un conjunto, introduce el concepto de vecindad de un punto y distingue cu ando en dicha vecindad hay innidad de puntos. En el fundamento de la teor a de conjuntos est a el concepto de correspondencia biun voca que usaba el pastor prehist orico del comienzo del presente cap tulo y que CANTOR us o en para comparar conjuntos innitos y caracterizarlos seg un su potencia o su n umero cardinal cardinalidad del conjunto generalizando el concepto de n umero de elementos en un conjunto nito. Los conjuntos nitos tienen un cierto n umero de elementos. Los conjuntos innitos tienen un n umero transnito de elementos o cardinalidad transnita. A la cardinalidad o potencia de los n umeros naturales se le llama alef cero que se escribe 0 (alef es la primera letra del alfabeto hebreo), a la cardinalidad de los n umeros reales se le llama la potencia del continuo y se denota con c (una letra c min uscula en tipo g otico). Dos conjuntos tienen la misma potencia o cardinalidad si existe una correspondencia biun voca entre ellos.
DEDEKIND considera que un conjunto C queda determinado como tal est a bien denido si dado cualquier objeto queda determinado, a su vez, si el objeto en cuesti on es un elemento del conjunto C o no lo es. A partir de conjuntos bien denidos se construyen operaciones entre ellos, como la uni on
)M
an
ue
lL
ez
eo at s
12
y la intersecci on, as como la relaci on de contenci on que se reere a que los elementos de un conjunto sean elementos de otro, dando origen al concepto de subconjunto . Adem as, al concepto de correspondencia biun voca se a nade el de funci on como manera de asociar a elementos de un conjunto, elementos de otro (o de s mismo), en particular el de funci on inyectiva, en que a elementos distintos se les asocian, mediante la funci on, elementos distintos. Estos conceptos de conjunto, conjunto innito, funci on inyectiva y sucesor (referente a que, en un conjunto, cada elemento tenga asociado el elemento siguiente) est an en la base de la caracterizaci on de los n umeros naturales, tema estudiado en la d ecada de por PEANO y FREGE adem as de DEDEKIND. Al caracterizar los n umeros naturales basados en los conceptos de conjunto y funci on obtenemos una base aritm etica del C alculo desprendi endolo, as , de su referencia al mundo f sico que le di o origen. Podemos construir entonces una teor a del C alculo diferencial e integral a partir de objetos matem aticos. Su car acter abstracto nos permite usar sus conceptos para estudiar fen omenos en distintos campos de la ciencia.
R (C
)M
DEL CALCULO 7. PRESENTACION

Hemos dado un esbozo de c omo evolucion o el C alculo partiendo de los problemas de trazo de tangentes a curvas y de b usqueda de areas de guras mediante aproximaciones, que dan lugar al concepto de l mite, y a los conceptos fundamentales e inversos del C alculo, la derivada y la integral. C omo, a lo largo del siglo XVIII y en el siglo XIX, se trabaj o en formalizar el concepto de l mite, la construcci on de los n umeros reales a partir de los racionales y la caracterizaci on de los n umeros naturales a partir de la teor a de conjuntos. En est a evoluci on hay un tema principal, las sumas innitas o series, que trataremos en su momento. Ahora debemos comenzar con una exposici on sistem atica del tema es el objetivo del libro. Para que la presentaci on elegida se nutra de c omo evolucion o cada tema particular, al nal de cada cap tulo hay una NOTA HISTORICA . Al nal de la obra tenemos un MUSEO donde exhibimos material biogr aco de quienes aportaron al tema. Tambi en damos una CRONOLOG IA donde podr an ubicar f acilmente epocas, personas y aportes. La exposici on elegida no es una presentaci on que siga el desarrollo conceptual del C alculo sino que, echando mano del recurso did actico de la referencia geom etrica y de fen omenos f sicos el problema de trazar la tangente es id entico, desde el punto de vista matem atico, al de calcular velocidades, trataremos el tema seg un su estructura formal. Partiremos del estudio del lenguaje de los conjuntos que no la teor a para describir la correspondencia entre el objeto
an
ue
lL
ez
eo at s
0.8 Nota historica
13
geom etrico de recta y el algebraico o aritm etico de n umero real. Despu es veremos las m as importantes propiedades de la estructura de los n umeros reales, deniendo los conceptos como vecindad que nos permitir an, m as adelante, hablar de l mite. Deniremos el concepto de funci on y veremos c omo resolver el problema de trazo de la tangente a una curva para el caso en que la curva se pueda expresar como la gr aca de una funci on, pero de un tipo de funci on muy particular: una funci on real de variable real soluciones m as generales se analizan en temas m as avanzados, como el C alculo en varias variables . Despu es estudiaremos los conceptos de derivada e integral de funciones reales de variable real, y sus propiedades. M as adelante veremos c omo se utilizan estos conceptos para estudiar problemas del mundo real se llaman sus aplicaciones y daremos presentaciones elementales de temas avanzados.
R (C
8. NOTA HISTORICA
En tanto que un esbozo muy general que describimos brevemente en esta secci on podemos ubicar cinco etapas fundamentales en el desarrollo hist orico del C alculo, la antig uedad, los griegos, la epoca de FERMAT, DESCARTES y otros, la epoca de NEWTON y LEIBNIZ, y la formalizaci on del C alculo. En la NOTA HISTORICA de cada cap tulo presentaremos de manera m as amplia los aportes de cada etapa al tema que nos ocupe, dejando al MUSEO los detalles de vidas y epocas. LA ANTIGUEDAD Alrededor de A.C., en la cultura babil onica ten an una manera de calcular el area de un c rculo conociendo la medida de la circunferencia: A = (C/2)(d/2), donde C es la circunferencia y d el di ametro. Se especula que usaron el m etodo de las rebanadas. En el papiro de Rhind , documento jerogl co de la cultura egipcia, escrito alrededor de A.C., se arma que el area del c rculo de di ametro d es igual al area del cuadrado de lado 8 9d Quiz a desde 1500 a nos A.C., en versos llamados Vedas , en la India, aunque las primeras referencias escritas son apenas de alrededor del A.C., se plantea el problema de la cuadratura del c rculo en referencia a la construcci on de un altar cuadrado que tenga la misma area que uno circular. Durante los a nos A.C.- D.C., se compilaron los Jiuzhang suanshu (Nueve cap tulos acerca del arte matem atico ), la obra cl asica de la matem atica china, donde hay una aproximaci on al area de un semic rculo mediante el area de un trapecio. LOS GRIEGOS Alrededor del A.C. HIPOCRATES de QU IOS plantea el problema de la cuadratura de l unulas con la forma de fase lunar que son guras acotadas por dos arcos circulares de distinto radio.
)M
an
ue
lL
ez
eo at s
14
A los pitag oricos se les atribuye la frase de que el n umero es la substancia de todas las cosas . Al descubrir que el lado de un cuadrado y su diagonal son longitudes inconmensurables , es decir que no se pueden medir a partir de una unidad com un, se caus o un esc andalo, c omo comparar razones entre magnitudes inconmensurables? EUDOXO (- A.C.) estableci o la base del m etodo de exhauci on. Junto con el aporte de ARQU IMEDES seg un la propiedad que lleva su nombre suele llamarse tambi en la propiedad del continuo forman parte del concepto de n umero real desarrollado en el siglo XIX, tienen ya la idea de l mite y son parte de la construcci on de la denici on de integral. Aportaci on fundamental de ARISTOTELES (- A.C.) fue distinguir dos tipos de cantidades : la discreta, referida al n umero , cuya base es la unidad indivisible, usado para contar, y la continua, referida a la magnitud , que es divisible en divisibles que son innitamente divisibles, asignada a rectas, supercies, vol umenes y tiempo. Realmente nada se sabe de la vida de EUCLIDES, se ha deducido que vivi o en la epoca de PTOLOMEO I SOTER quien gobern o del A.C. al aproximadamente A.C., imparti o clases y escribi o en el MUSEO Y BIBLIOTECA DE ALEXANDR IA, . Escribi vivi o antes que ARQU IMEDES pero despu es que PLATON o los Elementos hace aproximadamente 2, 300 a nos. En los Elementos , sistematiz o varios teoremas de EUDOXO y di o bases rmes a lo expuesto de manera informal por sus predecesores. En la denici on 2 del Libro III, describe lo que hoy entender amos como una tangente a un c rculo. Sobre las mediciones del c rculo es una breve obra de ARQU IMIDES de SIRACUSA ( - A.C.) donde muestra c omo hallar el area de un c rculo de radio dado conocida la circunferencia. Un resultado antecedente del concepto de integral est a en su tratado Cuadratura de la par abola donde inscribe guras rectil neas cada vez m as ce nidas al area del segmento de par abola. Logra que el area de las guras inscritas obtenida por medio de una suma innita diera del area del segmento de par abola en menos de un valor prejado. Su demostraci on est a basada en el m etodo de exhauci on. APOLONIO de PERGA (- A.C.) en su obra C onicas , en el Libro I, analiz o el problema de trazar la tangente a una par abola en un punto dado, pens andola, como EUCLIDES, como recta que toca pero no cruza la curva. Asimismo mostr o c omo trazar tangentes a elipses y a hip erbolas. FERMAT, DESCARTES Y MUCHOS MAS Recordemos que desde el mundo antiguo se dispon a s olo de algunas curvas para la investigaci on, esencialmente las c onicas descritas por APOLONIO, quienes trataban con ellas resolv an sus problemas, en particular el trazo de tangentes y el c alculo de areas, pero no exist a un m etodo, o procedimiento con validez general tampoco era necesario. Se pod an trazar tangentes y calcular areas en cada caso particular conocido. Con el revolucionario aporte de FERMAT y DESCARTES que proponen una manera de tratar algebraicamente problemas geom etricos , el
R (C
)M
an
ue
lL
ez
eo at s
0.8 Nota historica
15
mundo cient co dispone s ubitamente de multitud de nuevas guras geom etricas representantes de situaciones algebraicas y se renuevan los esfuerzos por hallar tangentes y calcular areas. CAVALIERI y las rebanadas, WALLIS y los innitesimales, HUDDE y SLUSE con sus m etodos para obtener derivadas de expresiones algebraicas NEWTON Y LEIBNIZ
R (C
FORMALIZACION
)M an ue lL p ez M eo at s
(p agina 17)
CAP ITULO
EL LENGUAJE DE LOS CONJUNTOS
1. CONSIDERACIONES INICIALES
G. CANTOR deni o, en , un conjunto como cualquier colecci on en un universo M de objetos denidos y separados m, producto de nuestra intuici on o de nuestro pensamiento, concepci on que requiri o de una posterior formalizaci on por ZERMELO, en , pues es dif cil concebir una denici on de conjunto expresada en lenguaje cotidiano siempre usar amos sin onimos. Es muy u til la caracterizaci on que di o DEDEKIND en , aunque us o la vaga descripci on de que un conjunto es un objeto de nuestro pensamiento, es como una cosa. Arm o que un conjunto C est a bien denido si dado cualquier objeto est a determinado si es un elemento del conjunto C o no lo es, lo cual permite trabajar con conjuntos sin tener que denirlos estrictamente, teniendo cuidado de no colocarnos en situaciones parad ojicas, como en la llamada paradoja del barbero donde se plantea la situaci on de un u nico barbero que afeita s olo a quien no puede hacerlo por s mismo y se dene a B como el conjunto de las personas a quienes afeita el barbero. B no est a bien denido como conjunto pues no est a determinado si el barbero, a quien denotaremos con b, pertenece o no a B . Si b pertenece a B , entonces b es una de las personas a quienes afeita el barbero pero b es el barbero! Es decir, b es afeitado por b, luego b se afeita a s mismo y, por lo tanto, b no puede ser de las personas que afeita el barbero, es decir, no es elemento de B . Suponer que b pertenece a B implica que b no pertenece a B . Es f acil obtener la conclusi on rec proca: suponer que b no pertenece a B y concluir que b s pertenece a B . B no est a bien denido como conjunto pues no est a determinado si el objeto b es o no es un elemento de B . Nos ahorrar amos el problema si desde un principio excluy eramos al barbero y escogi eramos un cierto universo de objetos con los cuales obtuvi eramos conjuntos bien denidos, y as lo haremos de ahora en adelante al usar el lenguaje de los
17
18
Cap tulo 1 El lenguaje de los conjuntos
conjuntos. Trataremos con objetos pertenecientes a un universo , o total , denotado con omega may uscula, la u ltima letra del alfabeto griego con los cuales formaremos (siempre) conjuntos bien denidos, es decir que
dado un conjunto C y un objeto x de , est a determinado si x es un elemento de C o no lo es. Para efectos pr acticos no siempre se menciona, de manera expl cita, cu al es el conjunto universo , supondremos que del contexto est a claro cu ales son los objetos considerados y que los conjuntos est an bien denidos. Si C es un conjunto y x es un objeto (de ) que pertenece a C escribimos x C, que se lee x es un elemento de C , x pertenece a C , o simplemente x est a en C . El s mbolo para denotar pertenencia viene de la letra griega epsilon, , se usa como abreviaci on de la palabra griega esti que signica est a. En caso de que el objeto x no pertenezca al conjunto C , es decir no sea un elemento de C , escribimos x / C. Al referirnos a los elementos de un conjunto podemos describirlos: El conjunto de los nombres de mis hermanos y hermanas, o podemos listarlos: Miguel Angel, Roc o y Amelia. Podemos considerar el universo como los nombres de personas. La descripci on la escribimos as : H = { nombres | son los de mis hermano(a)s }, que se lee: H es el conjunto de nombres tales que (la raya vertical | se lee tal, o tales, que ) son los de mis hermano(a)s. La lista la colocamos entre llaves: H = {Miguel Angel, Roc o, Amelia}. Con s mbolos escribimos Amelia H, mientras que Dora / H. EJEMPLO 1. Escribimos la descripci on del conjunto de los continentes de nuestro planeta como: C = { continentes | son del planeta Tierra }, los listamos como: C = {Africa, Am erica, Asia, Europa, Ocean a}. Simb olicamente, Asia C, mientras que Italia / C. Podemos considerar el conjunto universo como los nombres de continentes, sin importar el planeta.
1.1
Consideraciones iniciales
19
EJEMPLO 2. La Comisi on del Oc eano Indico se cre o en julio de con el objetivo de fomentar el desarrollo econ omico y la cooperaci on entre los pa ses de la regi on del Oc eano Indico. Creada originalmente como una comisi on bilateral entre Mauricio y Seychelles, la Comisi on del Oc eano Indico creci o al incluir entre sus miembros a Comores, Francia (en representaci on del departamento franc es de ultramar de R eunion) y Madagascar en . La comisi on patrocina comit es t ecnicos sobre pesca, turismo, transporte, educaci on y otros asuntos. La comisi on recibe donaciones de la Uni on Europea, el Fondo de Desarrollo de las Naciones Unidas y otras organizaciones. Describimos a los pa ses participantes en la Comisi on del Oc eano Indico como P = { pa ses | participan en la Comisi on del Oc eano Indico }, los listamos como P = {Comores, Francia, Madagascar, Mauricio, Seychelles.} Podemos escribir que Seychelles P, y que, por ejemplo, Hait / P.
El contexto en el que ubicamos este conjunto P es de pa ses, y ese ser a el universo considerado. EJEMPLO 3. Caracas, capital y principal ciudad de Venezuela, es el centro comercial e industrial del pa s. Las principales industrias de la ciudad son plantas de montaje de autom oviles, de procesado de az ucar, cerveza y petr oleo, f abricas de papel, tabaco, textiles y productos farmac euticos. Describimos el conjunto I = { industrias | son principales en Caracas }, lo listamos como I = {montaje de autom oviles, procesado de az ucar, cerveza, petr oleo, papel, tabaco, textiles, productos farmac euticos}. Usando el s mbolo de pertenencia a conjuntos, escribimos que tabaco I y que acero / I . El universo se considera como los nombres de industrias.
t
En alg un art culo period stico escojan una noticia de actualidad y ubiquen varios ejemplos de conjuntos, descr banlos, listen sus componentes y digan en qu e universo est an considerando los objetos. Escriban simb olicamente la pertenencia de algunos de sus elementos y ubiquen objetos del universo que no pertenezcan al conjunto en cuesti on.
20
El lenguaje de los conjuntos es muy u til para describir situaciones, no s olo en matem aticas; pero para usar conjuntos deben estar bien denidos no lo olvidemos, que dado un objeto del universo est e determinado si el objeto pertenece o n o al conjunto en cuesti on. En las secciones siguientes deniremos operaciones entre conjuntos y veremos c omo usarlas para expresarnos de manera precisa acerca de diversos objetos seg un cumplan propiedades de pertenencia a diversos conjuntos. PROBLEMAS 1.1 Describe, por medio de conjuntos, las situaciones siguientes: 1. Las temperaturas promedio de los 5 d as anteriores. 2. Los d as festivos del presente a no. 3. Los estados del agua. 4. La vegetaci on de tu pa s. 5. Tus fronteras. 6. El producto interno bruto de los u ltimos diez a nos. 7. Los fen omenos meteorol ogicos que incidieron en tu regi on el a no pasado. 8. Los planetas cercanos al Sol.
2. COMPLEMENTO Y SUBCONJUNTOS
Denotemos con el universo de donde consideramos objetos y conjuntos bien denidos. Dado un objeto x de y un conjunto C , est a determinado si x C o x / C . Por ejemplo, en la gura 1.1 vemos varios conjuntos y objetos o puntos de hecho, a los elementos de un conjunto les llamaremos puntos del conjunto.
FIGURA 1.1
En el universo vemos conjuntos y puntos.
Son evidentes las siguientes relaciones de pertenencia, z B, z / A, y / C, u A, u B, x C. Hay un conjunto que no vemos, el conjunto vac o que no tiene elementos y denotamos con . Dado cualquier objeto x del universo tenemos que x / .
1.2
Complemento y subconjuntos
21
No debe asustarnos este conjunto sin elementos, lo podemos pensar como el n umero cero: Si tengo 4 naranjas, doy 3 a Lupita y 1 a Juanito, con cuantas naranjas me quedo? Pues con 0 naranjas. De manera an aloga, si tengo una caja con pelotas rojas, amarillas y verdes, cu al es el conjunto de las pelotas azules? Pues el conjunto vac o. Hay una manera formal para denir, dado un determinado universo , al conjunto vac o: = {x | x = x} es decir, los elementos del conjunto vac o son los objetos de que son distintos de s mismos, qui en cumple esto? Nadie! Luego el conjunto vac o no tiene elementos. Conforme avancemos ver an la utilidad de disponer del conjunto vac o. Dado un conjunto A los objetos del universo pueden clasicarse en dos, los que pertenecen a A y los que no pertenecen a A. Al conjunto de los objetos de que no pertenecen a A le llamamos el complemento de A y lo denotamos con Ac , que se lee A complemento, o con A, que se lee el complemento de A respecto a , o escribimos A cuando no hay confusi on respecto a qu e universo tomamos el complemento del conjunto A.
FIGURA 1.2
A y el complemento de A.
EJEMPLO 4. Seg un datos de la ONU, las principales ciudades del Per u cuentan con la siguiente poblaci on. Lima 7,500,000 Callao 637,755 Arequipa 620,471 Trujillo 508,716 Chiclayo 410,486 Cusco 257,751 De las ciudades mencionadas, el conjunto A de las ciudades que tienen menos de 600,000 habitantes es A = {Trujillo, Chiclayo, Cusco}, el complemento de A es Ac = {Lima, Callao, Arequipa}, cuyos elementos son las ciudades del Per u que tienen 600,000 o m as habitantes. Si B es el conjunto de esas ciudades cuyo nombre comienza con la letra C, B c = {Lima, Arequipa, Trujillo}. Del contexto se inere que el conjunto universo considerado es = {Lima, Callao, Arequipa, Trujillo, Chiclayo, Cusco}.
22
EJEMPLO 5. El grupo de pueblos ind genas mesoamericanos perteneciente a la familia Maya tradicionalmente han habitado en los estados mexicanos de Yucat an, Campeche, Tabasco y Chiapas, en la mayor parte de Guatemala y en regiones de Belice y Honduras. Denotemos con M al conjunto de pa ses americanos donde habitan pueblos mayas, as , M = {M exico, Guatemala, Belice, Honduras}. Vemos que Ecuador / M , es decir, Ecuador est a en el complemento de M que es el conjunto de los pa ses americanos que no est an en M .
t
Qu e saben de astronautas? Averig uen sus nombres y clasif quenlos usando el lenguaje de los conjuntos seg un el a no en que viajaron, su g enero, nacionalidad y otros datos que les parezcan relevantes o interesantes. Comparen los resultados y presenten algunos de manera excluyente usando el concepto de complemento . Puede suceder que objetos de un universo pertenezcan a varios conjuntos, como en la gura 1.1 donde u A pero adem as u B , de hecho en esa gura todos los puntos de A pertenecen, a su vez, a B . Podemos decir que A est a contenido en B , o que A es un subconjunto de B . EJEMPLO 6. Consideremos el conjunto universo = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10} y los conjuntos A = { x | x es m ultiplo de 4 } = {4, 8} y B = { x | x es m ultiplo de 2 } = {2, 4, 6, 8}. Claramente cada m ultiplo de 4 es un m ultiplo de 2, luego A est a contenido en B . 1.1. Si A y B son dos conjuntos y sucede que cada elemento de A DEFINICION es a su vez un elemento de B , es decir, que si x A entonces x B,
decimos que A es un subconjunto de B y lo escribimos A B, que tambi en se lee A est a contenido en B . Decimos tambi en que B contiene a A, lo cual escribimos B A. Si A no es subconjunto de B , es decir, existe alg un elemento de A que no pertenece a B , escribimos A B . EJEMPLO 7. La palabra planeta signica vagabundo . Se usaba para describir a las luces que se mov an de manera regular en el cielo a lo largo del a no, a diferencia de las estrellas, que permanecen jas. Debido al descubrimiento de m as objetos,
1.2
23
que si bien orbitan alrededor del Sol no se perciben como vagabundos a simple ASTRONOMICA vista, la XXVI Asamblea General de la UNION INTERNACIONAL realizada en Praga en , resolvi o, el 24 de agosto, dividir en tres categor as los cuerpos celestes de nuestro Sistema Solar, de la siguiente manera: 1. Un planeta es un cuerpo celeste que: (a) est a en orbita alrededor del Sol, (b) debido a su masa es casi redondo, y (c) ha limpiado su orbita de vecinos. 2. Un planeta enano*, que debido a la observaci on en la nota al pie de p agina, nos tomaremos la libertad de llamar planetoide, es un cuerpo celeste que: (a) est a en orbita alrededor del Sol, (b) debido a su masa es casi redondo, (c) no ha limpiado su orbita de vecinos y (d) no es un sat elite. 3. Los objetos peque nos del sistema solar, conjunto que denotaremos con OP SS , son todos los dem as que est an en orbita alrededor del Sol, excepto los sat elites. Si denotamos con P al conjunto de los planetas del Sistema Solar, tenemos P = {Mercurio, Venus, Tierra, Marte, J upiter, Saturno, Urano, Neptuno} y con P E al conjunto de los planetas enanos del Sistema Solar, tenemos que Ceres P E, Plut on P E y Eris P E. Ceres tiene una orbita localizada en la regi on principal de asteroides que est a entre Marte y J upiter, y Eris est a en una orbita que llega m as all a que la de Plut on. Tambi en se resolvi o que Plut on es el prototipo de una nueva clase de objetos llamada objetos transneptunianos, que denotaremos con OT N . De hecho, la categor a de los objetos peque nos del Sistema Solar (OP SS ) est a formada actualmente por los asteroides del Sistema Solar, la mayor a de los objetos transneptunianos (OT N ), los cometas y otros objetos peque nos. Si denotamos por CCSS al conjunto de los cuerpos celestes del sistema solar, vemos que el conjunto de los planetas enanos P E = {Ceres, Plut on, Eris} es un subconjunto de CCSS , P E CCSS . * Aqu cabe una aclaraci on. Si nos referimos a una camisa azul , intentamos describir un objeto que, antes que nada, es una camisa, y de entre ellas, es una camisa de color azul . Es decir que el conjunto de las camisas azules est a contenido en el conjunto de las camisas . Realmente parece un desacierto que, seg un la denici on, un planeta enano no sea planeta. En todo caso, si la intenci on de la UIA era que Plut on, Ceres, Eris y otros no fueran planetas, convendr a designarlos con otro nombre, por ejemplo planetoide , por decir algo, pero se podr a usar cualquier otra palabra, como calcet n o arios . Lo desafortunado es que al usar como nombre de la categor a un sustantivo (planeta) seguido de un adjetivo (enano), por gram atica elemental, implica la pertenencia de sus elementos a la categor a m as amplia de quienes describe el sustantivo, sin especicar el adjetivo; que es lo opuesto a lo que se pretende. En n, esperemos que para la XXVII Asamblea en anen sus deniciones. (Agradezco la sabrosa charla con Julia Espresate.)
24
Los planetas no son todos los cuerpos celestes del Sistema Solar. Es decir, hay alg un cuerpo celeste (Plut on) que no est a considerado entre los planetas. Decimos entonces que el conjunto de los planetas es un subconjunto propio del conjunto de los cuerpos celestes del Sistema Solar.
t
En una conferencia, Julia Espresate propuso describir un modelo del Sistema Solar en una escala en la que 1 metro equivale a 73,298 km. Colocando al Sol en el centro una ciudad, y utilizando esta escala para los dem as objetos del sistema solar (tama nos y distancias), es posible percibir la magnitud y posiciones relativas de los Cuerpos Celestes del Sistema Solar. Ubiquen un lugar en su poblaci on y comparen la posici on de los planetas con lugares conocidos de su poblaci on. D onde ubican en ese modelo al Cintur on de Kuiper? Observamos que dado un conjunto A en un universo , se cumplen las siguientes propiedades: (i) A, (ii) A A, (iii) A . La manera de vericar que las propiedades enunciadas son verdaderas es proceder a demostrarlas a partir de la denici on. Sin entrar en detalles daremos una idea de c omo proceder. La armaci on (ii) es evidente, cada elemento de A es un elemento de A, luego A A. No se queda atr as la armaci on (iii) pues el conjunto A est a formado de objetos de , luego si x A tenemos que x . Presentamos una idea de demostraci on de la armaci on (i) con la intenci on de ejemplicar un tipo de razonamiento usado en matem aticas, se llama una demostraci on por vacuidad (dicho de manera directa, los elementos del conjunto vac o, como no existen!, cumplen cualquier propiedad). Para hacer ver que A habr a que vericar que cada elemento de es tambi en un elemento de A. Esto sucede! pues no es posible exhibir alg un elemento de que no sea elemento de A (c omo exhibirlo, si no hay elementos en !), luego todos los elementos de est an tambi en en A, es decir, A. Truculento verdad?, no se trata de que se aprendan el p arrafo anterior, pero de seguro los pondr a a pensar. Podemos resumir diciendo que: (i) El vac o es subconjunto de cualquier conjunto, A. (ii) Cualquier conjunto es subconjunto de s mismo, A A. (iii) Cualquier conjunto es subconjunto del total, A . Hay un concepto que permite expresar la situaci on de que un conjunto A est e contenido en B pero no sea todo B , como en el ejemplo de los planetas.
1.2
25
1.2. Sean A y B dos conjuntos tales que A B . Si existe alg DEFINICION un elemento y B tal que y / A decimos que A es un subconjunto propio de B y lo expresamos simb olicamente como
A B. Decimos tambi en que A est a contenido propiamente en B o que B contiene propiamente a A, lo cual escribimos B A. Las relaciones de contenci on y contenci on propia entre dos conjuntos cumplen con una propiedad importante, son transitivas, es decir que si A est a contenido en B , y B est a contenido en C , entonces A est a contenido en C . Con frecuencia se arma que los matem aticos escriben con s mbolos que nadie entiende y gozan con ser parte de los elegidos que los comprenden. Sucede que conforme avanzamos en una disciplina usamos lenguajes simb olicos que facilitan la comunicaci on. En matem aticas tambi en en m usica y hasta en tejido usamos lenguaje simb olico para describir y transmitir situaciones que resultar an pr acticamente incomprensibles si se comunicaran en lenguaje cotidiano, por ejemplo la expresi on simb olica f (x) encierra multitud de consideraciones, seg un veremos en el cap tulo 6. Creen posible y pr actico describir en lenguaje cotidiano la m usica escrita en una partitura de una sinfon a? Tampoco se trata de usar exceso de simbolog a, de hecho la reduciremos lo m as posible, pero este es un buen momento para comenzar a comprenderla. Practicamos?, la propiedad transitiva de la contenci on entre conjuntos dice que si A B y B C , entonces A C . La expresi on anterior tiene la forma si {expresi on 1} entonces {expresi on 2}, que transformamos en {expresi on 1} implica {expresi on 2}, en lugar de la palabra implica colocamos la echa =, obteniendo {expresi on 1} = {expresi on 2}. La transitividad de la contenci on entre conjuntos se expresa simb olicamente como A B y B C = A C, que se lee A subconjunto de B y B subconjunto de C implica que A es un subconjunto de C . No es tan complicado, poco a poco introduciremos m as s mbolos. Acabamos de exponer la propiedad transitiva de la contenci on, pero debemos demostrar que se cumple. Es relativamente f acil demostrar armaciones relacionadas con los conjuntos, primero enunci emoslo claramente. Dependiendo del peso que tenga , en nuestra exposici on, podemos enunciar el resultado como una AFIRMACION o de plano un TEOREMA, cuando el resultado se desprenda del una PROPOSICION teorema recientemente expuesto le llamamos COROLARIO. La transitividad de la contenci on en conjuntos la exponemos como una:
26
1.1. Si A, B y C son conjuntos tales que A B y B C , entonces AFIRMACION A C.
. La hip DEMOSTRACION otesis de la armaci on es que los conjuntos cumplen con que A B y B C . Queremos demostrar que A C , es decir, que si x A entonces x C . Sea pues x A. Como A B y x A, entonces x B , pero B C y x B , luego x C . Dado x A hemos concluido que x C , luego A C . Otra armaci on relaciona la contenci on de dos conjuntos con la contenci on de sus complementos, cuya demostraci on quedar a como ejercicio. 1.2. Si A B entonces B c Ac . AFIRMACION Misma que ilustramos en la gura siguiente,
FIGURA 1.3
A B pueden ver que B c Ac ?
PROBLEMAS 1.2 1. Sea = {1, 2, 3}. Halla todos los subconjuntos de . 2. Si es el conjunto de los elementos que aparecen en la Tabla Peri odica de los Elementos, halla los siguientes subconjuntos de : A el conjunto de los metales alcalinos, B el conjunto de los act nidos y C el conjunto de los gases nobles. 3. Denotemos con A el conjunto de pa ses del continente americano. Cu al es el subconjunto S de A formado por los pa ses del subcontinente llamado Am erica del Sur? Halla los siguientes subconjuntos de S : Los pa ses andinos, los pa ses donde el idioma predominante es el espa nol, el complemento del anterior.
3. IGUALDAD Y OPERACIONES
Debemos trabajar con conjuntos bien denidos ya lo sabemos y tenemos las nociones de pertenencia, complemento y subconjunto , denamos ahora la igualdad entre conjuntos.
1.3
Igualdad y operaciones
27
1.3. Dos conjuntos A y B son iguales , lo escribimos A = B , si DEFINICION A B y B A.
Podemos expresar la denici on de igualdad entre conjuntos usando el s mbolo que representa la equivalencia l ogica entre dos armaciones: A = B A B y B A, que se lee A es igual a B si, y s olo si, A est a contenido en B y B est a contenido en A. La expresi on si, y s olo si, empleada en el recuadro anterior signica que las expresiones A = B y A B y B A son equivalentes, que signican lo mismo , es decir que se cumplen estas dos armaciones: (i) Si A = B entonces A B y B A. (ii) Si A B y B A entonces A = B . Cuando debamos vericar que dos conjuntos A y B son iguales, debemos corroborar que cada elemento de A es elemento de B y viceversa: que cada elemento de B es elemento de A. EJEMPLO 8. El conjunto P de los n umeros primos menores que 10 es igual al conjunto T = {2, 3, 5, 7} pues cada elemento de P es un elemento de T y cada elemento de T est a en P . EJEMPLO 9. El complemento del conjunto vac o es el total: c = . . Seg SOLUCION un dice en el recuadro anterior, para vericar que dos conjuntos, digamos A y B , son iguales debemos corroborar que cada elemento del primer conjunto es un elemento del segundo y viceversa: que cada elemento del segundo conjunto es un elemento del primero. En este caso los conjuntos son c y , debemos hacer ver que c y que c . Sabemos que cualquier conjunto es subconjunto del total, as que c . Ahora bien, si x est a en no puede estar en el vac o (nadie est a), luego est a en su complemento, es decir x c . EJEMPLO 10. El complemento del total es el vac o. . La intentan? SOLUCION
28
t
Emplea como universo al conjunto de tus compa neros y compa neras de grupo. Describe diferentes situaciones de manera que resulten conjuntos iguales. Convence al grupo de que, en efecto, son iguales.
Las dos operaciones principales entre conjuntos son la intersecci on y la uni on. La primera describe a los objetos comunes a los dos conjuntos, la segunda describe a los objetos de los dos conjuntos. 1.4. El conjunto intersecci DEFINICION on de los conjuntos A y B est a formado por los objetos que pertenecen a A y que pertenecen a B . Lo denotamos con A B y escribimos A B = { x | x A y x B }, que se lee A intersecci on B es igual al conjunto de los puntos x en tales que x pertenece a A y x pertenece a B . 1.5. El conjunto uni DEFINICION on de los conjuntos A y B est a formado por los objetos que pertenecen a A o que pertenecen a B , o pertenecen a ambos. Lo denotamos con A B y escribimos A B = { x | x A o x B }, que se lee A uni on B es igual al conjunto de los puntos x en tales que x pertenece a A o x pertenece a B , o pertenece a ambos. Para que un objeto x pertenezca a A B debe estar en A y en B , debe estar en los dos conjuntos. Para que un objeto x pertenezca a A B basta con que pertenezca a alguno de los dos, basta con que est e en uno de ellos.

FIGURA 1.4
Las partes sombreadas representan la intersecci on y uni on de dos conjuntos.
1.3
Igualdad y operaciones
29
EJEMPLO 11. Cualquier aleaci on de cobre y esta no se llama bronce. Hay muchas aleaciones que contienen peque nas cantidades de otros materiales. Al a nadir f osforo se obtiene resistencia al uso, el bronce con plomo sirve para hacer partes m oviles, con n quel se obtiene dureza y sirve para hacer engranes, con silic on se hace m as fuerte para rodamientos y es resistente a la corrosi on, se usa para hacer partes de barcos. Hay otras aleaciones de cobre sin esta no que tambi en se llaman bronce, como el cobre con aluminio llamado bronce de aluminio, el cobre con zinc llamado lat on y el cobre con zinc y manganeso llamado bronce de manganeso. Expresamos como conjuntos a las aleaciones anteriores: B = {cobre, F = {cobre, P = {cobre, N = {cobre, S = {cobre, A = {cobre, L = {cobre, M = {cobre, esta no}, esta no, f osforo}, esta no, plomo}, esta no, n quel}, esta no, silic on}, aluminio}, zinc}, manganeso}.
Claramente F N = B , M A = {cobre}, S P = {cobre, esta no, silic on, plomo} y L B = {cobre, esta no, zinc}. EJEMPLO 12. Sea = {1, 2, 3, 4, 5, 6} y los conjuntos A = {2, 3, 5, 6}, B = {1, 2, 4, 5} y C = {1, 3, 5} . Tenemos que A B = {2, 5}, A C = {3, 5}, y que A C = {1, 2, 3, 5, 6} y A B = .
t
Considera el conjunto de pa ses del continente americano. Averig ua qu e organismos o asociaciones de pa ses representan las siguientes siglas y establece relaciones de contenci on entre ellas, analiza las intersecciones y ve si la uni on de varios organismos constituyen otro. Determina a qu e organismos pertenece tu pa s y a cu ales no: FAO, OCI, ODECA, OEA, OLADE, OLAS, ONU, OPANAL, OPEP, OSPAAL, OTAN, TLC, UNESCO.
1.6. Dos conjuntos A y B son ajenos si su intersecci DEFINICION on es vac a, es decir A y B son ajenos A B = .
30
EJEMPLO 13. Como no existe cuerpo celeste del Sistema Solar que sea, simult aneamente, planeta y planeta enano, tenemos que P P E = , luego P y P E son conjuntos ajenos.
EJEMPLO 14. Sea = {1, 2, 3, 4, 5, 6}, A = {1, 3, 5} y B = {2, 4, 6}. Los conjuntos A y B son ajenos pues A B = . PROBLEMAS 1.3 Para los problemas del 1 al 5 considera que A es el conjunto de pa ses del continente americano, y dene: T = { x A | x limita con el Oc eano Atl antico }, P = { x A | x limita con el Oc eano Pac co }. 1. 2. 3. 4. 5. 6. Obt en T P . Es cierto que T c = P ? Por qu e? c Halla (T P ) . Dene dos conjuntos, Q y R , de elementos de A que sean ajenos y que Q R T. Encuentra un conjunto S tal que S T P . Si E es el conjunto de los pa ses que tienen frontera con Per u y N es el conjunto de los pa ses que tienen frontera con Venezuela, Cu al es E N y E N. Usa los conjuntos denidos en el ejemplo 7. Halla OT N c y P P E . Es cierto que OT N c = P P E ? Menciona un cuerpo celeste c del Sistema Solar tal que c / P P E.
7. 8.
4. PROPIEDADES BASICAS
En esta secci on, que servir a de referencia, enunciaremos las principales propiedades que cumplen las operaciones entre conjuntos y demostraremos algunas. Cada operaci on es: i) Idempotente, es decir, que A A = A y A A = A. ii) Conmutativa, es decir, que A B = B A y A B = B A. iii) Asociativa, es decir, que A (B C ) = (A B ) C y A (B C ) = (A B ) C iv) Se cumplen las dos leyes distributivas, es decir, la uni on distribuye a la intersecci on y la intersecci on distribuye a la uni on: A (B C ) = (A B ) (A C ) y A (B C ) = (A B ) (A C ). Veamos algunas demostraciones. Recuerden que para demostrar que dos conjuntos son iguales hay que demostrar que se cumple la doble contenci on.
1.4
Propiedades b asicas
31
1.3. Sean A, B y C tres conjuntos, las operaciones de intersecci AFIRMACION on y uni on cumplen estas dos propiedades llamadas leyes asociativas :
1. A (B C ) = (A B ) C, 2. A (B C ) = (A B ) C. . Para demostrar la propiedad (1) de que los conjuntos A (B DEMOSTRACION C ) y (A B ) C son iguales, debemos mostrar que se cumple la doble contenci on, es decir que y (i) A (B C ) (A B ) C (ii) (A B ) C A (B C ).
Para comprobar que se cumple la contenci on (i) debemos vericar que cada elemento del primer conjunto tambi en es un elemento del segundo conjunto, sea pues x en A (B C ), como x A (B C ) entonces x A y x B C , pero esto u ltimo implica que x B y x C , tenemos as que x A y x B y x C , por lo tanto, x A B y x C , de donde x (A B ) C , luego A (B C ) (A B ) C . De manera parecida comprobamos la contenci on (ii) es como regresar por los pasos dados en el p arrafo anterior sea x (A B ) C , entonces x A B y x C , es decir x A y x B y x C , por lo tanto, x A y x B C , de donde x A (B C ), luego (A B ) C A (B C ). Al comprobar la doble contenci on (i) y (ii) hemos demostrado la veracidad de la primera propiedad, siguiendo un razonamiento an alogo podr an demostrar la segunda. La distributividad es otra propiedad de las operaciones de intersecci on y uni on entre conjuntos, nos dice de qu e manera combinarlas. 1.4. Sean A, B y C tres conjuntos, las operaciones de intersecci AFIRMACION on y uni on cumplen estas dos propiedades llamadas leyes distributivas : 1. A (B C ) = (A B ) (A C ), 2. A (B C ) = (A B ) (A C ). . Demostremos la propiedad (1), se trata de demostrar la igualDEMOSTRACION dad A (B C ) = (A B ) (A C ), para ello debemos mostrar que se cumple la doble contenci on y (i) A (B C ) (A B ) (A C ), (ii) (A B ) (A C ) A (B C ).
Para demostrar la contenci on (i) debemos mostrar que cada elemento x en A (B C ) es, a su vez, un elemento de (A B ) (A C ), sea pues x A (B C ), esto implica que x A y x B C, pero x B C = x B o x C.
32
Tenemos entonces que x est a en A, eso es seguro, y, adem as, que x est a en B o x est a en C , es decir que x est a en A y en B , o x est a en A y en C , luego x (A B ) (A C ), lo cual implica que A (B C ) (A B ) (A C ). Como en la armaci on anterior, para demostrar la contenci on (ii) regresamos por los pasos que dimos para demostrar (i). Sea x (A B ) (A C ), por lo tanto, x (A B ) o x (A C ), es decir x est a en A y en B , o x est a en A y en C lo cual signica que x necesariamente est a en A y puede estar en B o en C , de donde x A (B C ), obteniendo que (A B ) (A C ) A (B C ). Hemos demostrado la doble contenci on y con ello la propiedad (1). De manera an aloga podemos demostrar la propiedad (2). En la siguiente armaci on presentamos dos propiedades que relacionan las operaciones de intersecci on y uni on con el concepto de complemento, se conocen como leyes de DE MORGAN. 1.5. Si A y B son dos conjuntos, se cumplen las propiedades: AFIRMACION 1. (A B )c = Ac B c , 2. (A B )c = Ac B c . La primera se lee el complemento de la intersecci on es la uni on de los complementos y la segunda: el complemento de la uni on es la intersecci on de los complementos. . Para demostrar la propiedad (1) es necesario mostrar la doble DEMOSTRACION contenci on y (i) (A B )c Ac B c , (ii) Ac B c (A B )c .
Ataquemos la contenci on (i), sea x (A B )c , luego x / A B. Si x no est a en la intersecci on de A y B entonces x no pertenece a A o no pertenece a B (pues si estuviera en los dos estar a en la intersecci on), luego x /Aox / B , es decir x Ac o x B c , de donde x Ac B c , mostrando as la contenci on (i). Rec procamente, para mostrar la veracidad de la contenci on (ii) suponemos que x Ac B c , luego x Ac o x B c , es decir x no est a en A o x no est a en B , luego no puede estar en la intersecci on de A y B , es decir x / A B , de donde x (A B )c , con lo cual mostramos la contenci on (ii). Estas dos contenciones implican que se cumple la propiedad (1). La propiedad (2) se demuestra de manera an aloga.
1.5
Algo de logica
33
PROBLEMAS 1.4
1. Demuestra que cada operaci on la intersecci on y la uni on es idempotente, esto es, si A es un conjunto se cumple que A A = A y A A = A. 2. Demuestra que cada operaci on la intersecci on y la uni on de conjuntos es conmutativa, esto es, si A y B son dos conjuntos se cumple que A B = B A y A B = B A. 3. Sean = {1, 2, 3, 4, 5, 6, 7}, A = {3, 5, 7}, B = {1, 3, 6, 7} y C = {2, 3, 4, 6}. Verica que se cumplen las leyes distributivas 4. Verica que se cumplen las leyes de DE MORGAN para los conjuntos del problema anterior. 5. Cu al ser a el resultado de A y de A ? Demu estralo. 6. Cu al ser a el resultado de A y de A ? Demu estralo. Demuestra las armaciones en los problemas del 7 al 10. 7. Si A B entonces A B = A y A B = B . 8. A B A, para cualquier B . 9. A A B , para cualquier B . 10. Armaci on 1.2, si A B entonces B c Ac .
5. ALGO DE LOGICA
Sucede, cuando avanzamos en el empleo del lenguaje, que no siempre logramos comunicar de manera precisa lo que pensamos y nos vemos en discusiones donde cada quien entiende lo que quiere entender y cada uno de nuestros interlocutores perciben cosas distintas. El lenguaje de los conjuntos ayuda para expresarnos con claridad de manera que personas distintas perciban la misma idea. Hay quien piensa que lo contrario de todas las pelotas son azules es que ninguna pelota es azul, por lo que resultar au til ponernos de acuerdo en como usar la expresi on lo contrario, asimismo debemos cultivar la capacidad de percibir las consecuencias l ogicas de una armaci on. ARISTOTELES escribi o su LOGICA en la antigua Grecia, en el siglo IV A.C., donde expuso la manera de razonar por medio de silogismos, muy famoso es: Todos los hombres son mortales, S ocrates es hombre, luego S ocrates es mortal. M as de dos mil a nos despu es, en , el ingl es BOOLE bas o la l ogica matem atica en el c alculo proposicional , esto es, la manipulaci on de proposiciones
34
las cuales son armaciones que a semejanza de los conjuntos bien denidos tienen dos posibles valores de verdad , V o F. Dada una proposici on es verdadera, V, o es falsa, F. Si una proposici on p es verdadera, su negaci on, que se escribe p y se lee no p, es falsa. De hecho, dada una proposici on p tenemos que p es verdadera o que p es verdadera. Resumimos lo anterior en la siguiente tabla de verdad donde se ilustran los valores de verdad de p dados los de p. p
V F
p
F V
EJEMPLO 15. La proposici on p: Todos los hombres son mortales, es verdadera. Luego su negaci on p: No todos los hombres son mortales, es falsa. EJEMPLO 16. La proposici on q : 10 es m ultiplo de 3, es falsa, luego su negaci on q : 10 no es m ultiplo de 3, es verdadera. Usaremos la expresi on lo contrario de una armaci on para referimos a su negaci on, as , la negaci on de todas las pelotas son azules es no todas las pelotas son azules, ahora bien, dado un cierto conjunto P de pelotas, si la proposici on p: todas las pelotas de P son azules es verdadera, ello signica que tenemos la certeza de que dado cualquier elemento de P , que es una pelota, es azul. Pero si la proposici on p anterior no es verdadera, es decir es falsa, la proposici on que ser a verdadera es p, es decir, lo cierto ser a que no todas las pelotas de P son azules. Esto signica que ninguna pelota de P es azul? La respuesta es NO, suceder a que en P habr a pelotas de otros colores, no importa de cu al otro color, pero no todas las pelotas de P son azules. Si la proposici on p: no todas las pelotas de P son azules es verdadera, signica que al menos una pelota en P no es azul, es decir, que existe alguna pelota en P que no es azul. Cuando es falsa una armaci on sobre todos los elementos de un conjunto, sucede que al menos un elemento del conjunto no cumple con la armaci on.
1.5
Algo de logica
35
EJEMPLO 17. Es cierto que todos los nombres de los d as de la semana, en espa nol, comienzan con la letra M? La respuesta es no, ya que puedo exhibir al menos un nombre de d a de la semana, a saber Lunes, que no empieza con la letra M. EJEMPLO 18. Los planetas giran alrededor del Sol describiendo orbitas circulares. No es cierto. Al menos la Tierra gira alrededor del Sol describiendo una orbita el ptica. Hasta aqu llega la constataci on de que la armaci on inicial no es verdadera. Hay m as, KEPLER demostr o que todos los planetas giran alrededor del Sol describiendo orbitas el pticas, pero ello no constituye la negaci on de la primera armaci on, sino que constituye una nueva armaci on. Si armamos que todos los elementos de un conjunto C cumplen con determinada propiedad p, debemos mostrar que dado cualquier elemento x C se tiene que x cumple la propiedad p. Si, por lo contrario , armamos que no es cierto que todos los elementos de C cumplen la propiedad p, lo cierto es que existe al menos un elemento x C tal que x no cumple con la propiedad p. EJEMPLO 19. Es cierto que los nombres de los d as de la semana, en espa nol, tienen menos de diez letras? Dado cualquiera de los nombres podemos examinarlo y constatar que el nombre m as largo mi ercoles tiene nueve letras, luego cada elemento del conjunto de los nombres de los d as de la semana tiene menos de diez letras y la respuesta es s . N.B. No es para el texto denitivo, pero no resisto ponerlo en el borrador: EJEMPLO 20. Hay una expresi on machista sobre las mujeres que dice Todas son iguales! La autoagelaci on masculina asegura que lo anterior no es cierto pues Hay algunas que son peores! (Entra mariachi tocando La que se fue .) EJEMPLO 21. No todo lo que brilla es oro. Cierto, hasta el cobre brilla. Presentamos una tabla con algunas armaciones y su respectiva negaci on.
Armaci on Todos los x son p. Ning un x es p. Alg un x es p. Alg un x no es p. Negaci on Alg un x no es p. Alg un x es p. Ning un x es p. Todos los x son p.
Cuando arman que una proposici on es verdadera establecen una conjetura, es decir, una presunci on de que su armaci on es verdadera. Las conjeturas, es decir las presunciones, habr an de conrmarse. Deben demostrar que se cumple una conjetura vericando que se cumple la armaci on realizada. Cuando una conjetura sea falsa debemos exhibir un contraejemplo, alguien para quien no se cumpla la armaci on.
36
: Cada EJEMPLO 22. CONJETURA: Todos aprobamos el examen. COMPROBACION uno del grupo aprob o el examen? Si la respuesta es armativa la conjetura fue cierta. Si alg un elemento de los que presentaron examen no lo aprob o, la conjetura result o falsa.
t
Construyan proposiciones acerca de un grupo de amigas y amigos. Establezcan conjeturas, demuestren las que sean ciertas y exhiban contraejemplos de las que resulten falsas.
Hemos tratado con el concepto de proposici on. Dada una proposici on (una armaci on), sucede que es verdadera o falsa, una de dos, no puede haber indenici on as como con un conjunto, dado un objeto sucede que pertenece al conjunto o no pertenece. Un tipo de proposiciones son abiertas, se trata de armaciones cuyo valor de verdad , es decir, que la proposici on sea verdadera, o que sea falsa, depende del objeto acerca del cual se realice la armaci on. Como el valor de verdad de la proposici on depende de a qui en se reera la proposici on, la denotaremos con p(x), que se lee p de x. EJEMPLO 23. Sea la proposici on abierta p(x): x tiene frontera con Per u, donde x es un elemento de A, el conjunto de pa ses del continente americano. Depende del valor de x el valor de verdad que tenga p, por ejemplo, si x = Ecuador, entonces la proposici on p es verdadera mientras que si x = Paraguay, la proposici on p es falsa. Escrito de otra manera, p(Ecuador) es una proposici on verdadera, mientras que p(Paraguay) es una proposici on falsa. Podemos denir el conjunto E como el conjunto de los pa ses x para los cuales la proposici on p(x) es verdadera, E = { x | es verdad que x tiene frontera con Per u }, o bien, E = { x | p(x) es verdadera }. Generalizando lo expuesto en el ejemplo anterior, sea un conjunto universo y p(x) una proposici on abierta acerca de los objetos de . 1.7. El conjunto A de objetos de para los cuales p(x) es una DEFINICION proposici on verdadera se llama el conjunto de verdad de p y se describe como o, simplemente, A = { x | p(x) es verdadera }, A = { x | p(x) },
1.5
Algo de logica
37
que se lee A es el conjunto de las x en tales que p de x. 1.6. Si A = { x | p(x) } es el conjunto de verdad de p, entonces AFIRMACION el conjunto de verdad de p es Ac . . Sea DEMOSTRACION B = { x | p(x) } el conjunto de verdad de p. Queremos demostrar que B = Ac para lo cual debemos mostrar que se cumple la doble contenci on B Ac y Ac B . Para ver que se cumple la primera contenci on tenemos que hacer ver que cada elemento de B es un elemento de Ac . Si x B entonces p(x) es verdadera, pero, seg un vimos en su tabla de verdad, p(x) es verdadera cuando p(x) es falsa, lo cual implica que x no est a en el conjunto de verdad de p, por lo tanto, est a en su complemento, es decir x Ac . Hemos visto que x B x Ac , luego B Ac . Podemos regresar por los mismos pasos y mostrar que Ac B , concluyendo la demostraci on de que B = Ac . Dadas dos proposiciones p y q es posible construir otras nuevas por medio de las operaciones de conjunci on y disyunci on. La conjunci on de p y q es verdadera si el valor de verdad de ambas, p y q , es verdadero. Para que la disyunci on de p y q sea verdadera basta que alguna de las dos sea verdadera. 1.8. Sean p y q dos proposiciones, la conjunci DEFINICION on de p y q , que se escribe p q (se lee p y q ), es verdadera si p es verdadera y q es verdadera, la tabla de verdad de p q es: p
V V F F
q
V F V F
pq
V F F F
EJEMPLO 24. Veamos las proposiciones siguientes: p: Todos los hombres son mortales, q : S ocrates es hombre. La proposici on p q es: Todos los hombres son mortales y S ocrates es hombre. Seg un el estado actual de las cosas, sabemos que si es verdad que todos los hombres son mortales, luego el valor de p es V, y tambi en sabemos que S ocrates, el l osofo, es un ser humano, es decir el valor de q es V. Luego la proposici on p q es verdadera. Qu e desprendemos de aqu ? Nada, simplemente vericamos la veracidad de una conjunci on de proposiciones. EJEMPLO 25. Consideremos las siguientes armaciones: p: 7 es par, q : Santiago es la capital de Chile.
38
La conjunci on de las proposiciones p y q , a saber, 7 es par y Santiago es la capital de Chile,
es falsa pues p es falsa (el 7 no es un n umero par). No importa que q sea verdadera (sabemos que es verdad que Santiago es la capital de Chile). Para que la conjunci on de dos proposiciones sea verdadera es necesario que las dos proposiciones sean verdaderas. EJEMPLO 26. Averig uemos el valor de la conjunci on de p q en el caso de las proposiciones: p: Soy millonario, q : Nadie me quiere. Uf! Las proposiciones parecen demasiado subjetivas como para someterlas a an alisis, pero veamos las cosas con calma. Para que la conjunci on de p y q , que se denota con p q , sea verdadera es necesario que tanto p como q lo sean. En este caso la conjunci on de p y q se lee: Soy millonario y nadie me quiere. Como podr an imaginar, la veracidad de la conjunci on depende de qui en realice la armaci on. El ejemplo consiste en que cada lector se coloque como el emisor de las proposiciones p y q . Les pregunto, de manera individual: Eres millonario? si me respondes que no lo eres, tendremos que p es falsa. Ahora es el turno de q : Nadie te quiere? Si hay alguna persona que te quiera entonces q es falsa y, por lo tanto, la conjunci on p q es falsa. Recuerden, para que la conjunci on de dos proposiciones sea verdadera es necesario que las dos lo sean. 1.9. Sean p y q dos proposiciones, la disyunci DEFINICION on de p y q , que se escribe p q (se lee p o q ), es verdadera si p es verdadera o q es verdadera, o ambas lo son, la tabla de verdad de p q es: p
V V F F
q
V F V F
pq
V V V F
Es decir, p q es verdadera si p y/o q es verdadera. EJEMPLO 27. Consideremos las mismas armaciones del ejemplo 25: p: 7 es par, q : Santiago es la capital de Chile.
1.5
Algo de logica
39
La disyunci on de las proposiciones p y q , a saber, p q : 7 es par o Santiago es la capital de Chile, es verdadera pues aunque p es falsa (el 7 no es par) sucede que q si es verdadera pues sabemos que es verdad que Santiago es la capital de Chile. EJEMPLO 28. Sean las proposiciones p y q las siguientes: p: 6 es par, q : 6 es m ultiplo de 3. La disyunci on p q es verdadera para que sea verdadera basta que una de las proposiciones lo sea pues sucede que, en este caso, las dos proposiciones son verdaderas. Para que sea verdadera la disyunci on pq de dos proposiciones basta que una de las dos, sea p o sea q , sea verdadera. La disyunci on l ogica descrita choca con el uso cotidiano de la frase p o q , empleada para expresar la elecci on entre dos alternativas, consideradas excluyentes: subes o bajas?. Para expresar esa disyunci on excluyente en donde se pide que, una de dos, p sea verdadera o que q sea verdadera, pero que no ambas lo sean (el t ermino excluyente se usa en el sentido de que la veracidad de una proposici on excluye la veracidad de la otra), se pueden usar las operaciones de conjunci on y disyunci on denidas anteriormente, junto con la negaci on. 1.10. Sean p y q dos proposiciones, la disyunci DEFINICION on excluyente de p y q , que se denota con p q y se lee una de dos , p o q , es verdadera cuando p es verdadera o q es verdadera, y , adem as, es falso que p y q . Es decir, p q tiene el mismo valor de verdad que (p q ) (p q ) . Podemos construir la tabla de verdad de la disyunci on excluyente en base a las operaciones b asicas de negaci on, conjunci on y disyunci on, procedamos por partes: p
V V F F
q
V F V F
pq
V V V F
pq
V F F F
(p q )
F V V V
De lo anterior obtenemos que p

V V F F
q
V F V F
pq
V V V F
(p q )
F V V V
(p q ) (p q )
F V V F
40
Es decir, la tabla de verdad de la disyunci on excluyente es: p q

V F V F
pq
F V V F
V V F F
Si p y q fueran proposiciones abiertas y pensamos que A es el conjunto de verdad de p y B es el conjunto de verdad de q , el conjunto de verdad de p q es (A B ) (A B )c . 1.11. La diferencia sim DEFINICION etrica de A y B , se denota con A B que se lee A diferencia sim etrica B , y se dene como: A B = (A B ) (A B )c . El conjunto A B representa a los puntos que est an en A o est an en B pero no est an en ambos.
W B A
FIGURA 1.5
Los puntos que est an en A o en B pero no en ambos.
EJEMPLO 29. Si p y q son las siguientes proposiciones, p: 20 es m ultiplo de 5, q : 20 es par, enunciar las proposiciones p, p q , p q , p q y dar su valor de verdad. . Tenemos que p es verdadera pues, en efecto, el n SOLUCION umero 20 es m ultiplo de 5 porque 20 = 5 4. Asimismo q es verdadera pues 20 = 2 10. Entonces p: p q: p q: p q: 20 20 20 20 no es m ultiplo de 5, es falsa. es m ultiplo de 5 y es par, es verdadera. es m ultiplo de 5 o es par, es verdadera. es, una de dos, m ultiplo de 5 o es par, es falsa.
1.5
Algo de logica
41
t
Junto con un grupo de amigas y amigos escriban una lista de armaciones. Analicen las armaciones, digan cu ales son proposiciones y den su valor de verdad. Enuncien y den el valor de verdad de la negaci on de cada proposici on. Construyan nuevas proposiciones por medio de las operaciones de conjunci on, disyunci on y disyunci on excluyente, digan el valor de verdad de cada una. EJEMPLO 30. Sea = {1, 2, 3, 4, 5, 6, 7, 8, 9} un conjunto universo y las proposiciones abiertas p(x): x es par, q (x): x es m ultiplo de 3. Halla los conjuntos de verdad de p, q , p q , p q y p q . . Los conjuntos de verdad de p y q son SOLUCION A = { x | p(x) } = { x | x es par } = {2, 4, 6, 8}, y B = { x | q (x) } = { x | x es m ultiplo de 3 } = {3, 6, 9}. El conjunto de verdad de p es Ac = {1, 3, 5, 7, 9} y el de q es B c = {1, 2, 4, 5, 7, 8}, tenemos, adem as, que el conjunto de verdad de p q los pares de que son m ultiplos de 3 es A B = {6}, el conjunto de verdad de p q es A B = {2, 3, 4, 6, 8, 9}, y el conjunto de verdad de p q una de dos, es par o es m ultiplo de 3 es A B = (A B ) (A B )c = {2, 3, 4, 6, 8, 9} {1, 2, 3, 4, 5, 8, 9} = {2, 3, 4, 8, 9}.
42
PROBLEMAS 1.5
1. Di cu ales de las siguientes expresiones constituyen proposiciones, da su valor de verdad y enuncia su negaci on. p: Ayer llovi o, q : Las aventuras de Sherlock Holmes, r: 7 es mayor que 15, s: Los pa ses de Am erica, t: Los caballos jadean, u: 3 2 = 6, v : Perenifolia signica siempre con follaje , w: Ni t u ni yo. 2. Enuncia la negaci on de las siguientes armaciones y di cu al es verdadera. a. Todos los gatos son pardos, b. Nadie es profeta en su tierra, c. Algunas aves emigran, d. Algunas serpientes no son venenosas, e. Ninguna m aquina funciona, f. Hay ejercicios anaer obicos, g. Todas las ores tienen pistilo, h. Alg un planeta no tiene agua. 3. Dadas las conjeturas siguientes, explica c omo demostrar que es cierta, o c omo se probar a que es falsa. a. Todos asistir an a la Cumbre, b. Ning un hurac an tocar a tierra, c. Alg un r o se desbordar a, d. Algunos pa ses no rmar an el acuerdo, 4. Si es el conjunto universo formado por las palabras en espa nol, halla el conjunto de verdad de las siguientes proposiciones abiertas, p(x): x es d a de la semana, q (y ): y es el nombre de un d gito, r(z ): z contiene todas las vocales, s(w): w es un personaje de 100 A nos de Soledad . 5. Completa la demostraci on de la armaci on 1.6.
1.6
Como razonar
43
6. Enuncia las proposiciones p, p q , p q , p q y da su valor de verdad. a. p: El helio es un gas inerte, b. p: El hielo es agua s olida, q : Madrid es la capital de Espa na. q : Las ostras son mam feros. c. p: Alhaja proviene del a rabe, d. p: Acab o la pobreza, q : 9 es par. q : El aro es cuadrado. 7. Construye la tabla de verdad de (p), p q y (p q ) (q p). 8. Sea el conjunto universo = {lunes, martes, mi ercoles, jueves, viernes, s abado, domingo} y las proposiciones abiertas p(x): x comienza con m, q (x): x tiene tres vocales distintas, r(x): x tiene una a, s(x): x comienza con e . Halla los conjuntos de verdad de p, r , p r , q s y p q .
6. COMO RAZONAR
A las operaciones de disyunci on y conjunci on de la secci on anterior se les llama conectivos l ogicos. Los podemos combinar, junto con la negaci on, y obtener los importantes conectivos de implicaci on y bicondicionalidad. 1.12. Sean p y q dos proposiciones, la implicaci DEFINICION on si p entonces q , que se escribe p q y tambi en se lee p implica q , tiene el mismo valor de verdad que p q . Que la proposici on p q tenga el mismo valor de verdad que p q signica que la tabla de verdad de ambas proposiciones es id entica. Como la tabla de verdad de p q es: p
V V F F
q
V F V F
p
F F V V
p q
V F V V
la tabla de verdad de la implicaci on es p

V V F F
q
V F V F
pq
V F V V
Es muy importante notar que para que la implicaci on sea verdadera no es necesario que haya una relaci on de causa-efecto entre las proposiciones.
44
EJEMPLO 31. Sean p y q las proposiciones p: Ecuador tiene frontera con Per u, q : El 8 es par. La implicaci on p q , que se enuncia si Ecuador tiene frontera con Per u, entonces el 8 es par, es verdadera pues seg un la tabla anterior, como p es verdadera y q es verdadera sucede que la implicaci on es verdadera. A la proposici on p en la implicaci on p q se le llama la hip otesis de la implicaci on, y a la proposici on q se le llama la conclusi on. Seg un se nota en la tabla de verdad de p q , la implicaci on s olo es falsa cuando la hip otesis p es verdadera y la conclusi on q es falsa. Esto signica que no admitiremos como implicaci on verdadera que, de una hip otesis verdadera se siga una conclusi on falsa. Sin embargo, es una implicaci on verdadera que una hip otesis falsa implique una conclusi on falsa, y tambi en es una implicaci on verdadera que una hip otesis falsa implique una conclusi on verdadera. Ilustremos con un ejemplo el signicado de las armaciones anteriores y veamos que no van tan en contra de nuestro sentido com un. EJEMPLO 32. Consideremos la proposici on si llueve entonces voy al cine. Claramente es la implicaci on p q de p: Llueve, q : Voy al cine. La implicaci on puede ser verdadera o falsa. Veamos por casos: CASO 1. Resulta que si llovi o y, en efecto, fui al cine. Hice lo que dije, sin duda la implicaci on es verdadera. CASO 2. Si llovi o y decid no ir al cine. No cumpl con lo pactado, la implicaci on es falsa. CASO 3. No llovi o y, a un as , decid ir al cine. Dej e de cumplir lo pactado? No, no deje de cumplir (de hecho no llovi o), luego la implicaci on es verdadera. CASO 4. No llovi o y no fui al cine. Alguien puede acusarme de no cumplir mi promesa? No, luego la implicaci on es verdadera.
1.6
Como razonar
45
Hemos vericado, en este ejemplo, que la implicaci on es falsa s olo cuando la hip otesis es verdadera y la conclusi on es falsa. En la implicaci on p q , a la proposici on p se le llama una condici on suciente para q . Tambi en se dice que q es una condici on necesaria para p. Podemos interpretar lo anterior de la siguiente manera, si la implicaci on p q es verdadera, SUFICIENCIA: Para que q sea verdadera basta que p sea verdadera. NECESIDAD: Si p es verdadera, necesariamente q es verdadera. EJEMPLO 33. Del ejemplo anterior, en los casos en que la implicaci on es verdadera, la suciencia signica que para que sea cierto que fui al cine basta que haya llovido, y la misma implicaci on verdadera expresada en t erminos de necesidad es que si es cierto que llovi o necesariamente fui al cine. 1.13. Sean p y q dos proposiciones, la bicondicional p si, y s DEFINICION olo si, q , que se escribe p q y tambi en se lee p es condici on necesaria y suciente para q , tiene el mismo valor de verdad que (p q ) (q p). De la tabla de verdad de p q y de q p p
V V F F
q
V F V F
pq
V F V V
qp
V V F V
obtenemos la tabla de verdad de p q p

V V F F
q
V F V F
pq
V F F V
Vemos que la bicondicional p q es verdadera s olo en los casos en que tanto p como q tienen, ambas, el mismo valor de verdad. La expresi on si, y s olo si, se interpreta, en caso de que la bicondicional sea verdadera, como que p ocurre si q ocurre, pero, adem as, que q ocurre s olo si p ocurre. En t erminos de suciencia, para que se cumpla q basta que p sea verdadera y, de manera rec proca, para que p se cumpla basta que q sea verdadera. En t erminos de necesidad , para que q se cumpla debe cumplirse p y, de manera rec proca, para que se cumpla p debe cumplirse q . Las consideraciones anteriores acerca de la bicondicional p q explican por qu e, en caso de que la bicondicional sea verdadera, p es condici on necesaria y suciente para q .
46
EJEMPLO 34. Analicemos esta versi on ampliada del ejemplo 32, si llueve es condici on necesaria y suciente para que vaya al cine. O, dicho de otra manera, con el mismo signicado, llueve si, y s olo si, voy al cine. Se trata de la bicondicional de las proposiciones p: Llueve, q : Voy al cine. Nuevamente, veamos por casos: CASO 1. Resulta que si llovi o y, en efecto, fu al cine. Hice lo que dije, sin duda la bicondicional es verdadera. CASO 2. Si llovi o y decid no ir al cine. No cumpl con lo pactado, la bicondicional es falsa. CASO 3. No llovi o y, a un as , decid ir al cine. No cumpl lo pactado. Dije que ir a s olo si lloviera, luego la bicondicional es falsa. CASO 4. No llovi o y no fui al cine. No falt e a lo pactado (no hubo condiciones), luego la bicondicional es verdadera. Hemos vericado, en este ejemplo, que la bicondicional es verdadera s olo cuando las dos proposiciones tienen el mismo valor de verdad (ambas son verdaderas o ambas son falsas). Y hemos ilustrado c omo la bicondicional p q , cuando es verdadera, obliga a que si se cumple p tambi en se cumple q y, viceversa, si se cumple q debe cumplirse p. Disponemos ahora de los conectivos l ogicos, a saber, conjunci on, disyunci on, disyunci on excluyente, implicaci on y bicondicional, adem as de la negaci on, con los cuales podemos construir nuevas proposiciones cuyo valor de verdad depende de los valores de verdad de las proposiciones constituyentes y se obtienen de la tabla de verdad de los conectivos. EJEMPLO 35. A partir de las armaciones p: Voy a la playa, q : Hace calor, r: Llueve, construimos nuevas proposiciones y las enunciamos. (q r) p: q (r p): p q: (r q ) p: Si hace calor y no llueve, voy a la playa. Si hace calor entonces, si no llueve voy a la playa. Voy a la playa si, y s olo si, hace calor. Llueve y no hace calor, entonces no voy a la playa.
1.6
Como razonar
47
t
Quienes no vivan cerca de la playa podr an construir armaciones similares y adecuadas a sus condiciones clim aticas y de posibilidades de diversi on. Un tipo de proposici on que nos interesa de manera particular, es la que siempre es verdadera, independientemente de los valores de verdad de sus proposiciones constituyentes, quiz a el ejemplo m as sencillo sea p p. Otro tipo de proposici on que nos interesa es la que siempre es falsa, independientemente de los valores de verdad de sus proposiciones constituyentes, el ejemplo m as sencillo es p p. p
V F
p
F V
p p
V V
p p
F F
1.14. Una tautolog DEFINICION a es una proposici on que siempre es verdadera, una contradicci on es una proposici on que siempre es falsa, independientemente de los valores de verdad de sus proposiciones constituyentes. Cualquier tautolog a se denota con V0 y cualquier contradicci on se denota con F0 . EJEMPLO 36. Demostrar que p (p q ) es una tautolog a. . Construimos la tabla de verdad de p (p q ) SOLUCION p
V V F F
q
V F V F
pq
V V V F
p (p q )
V V V V
y vemos que la proposici on p (p q ) siempre es verdadera, independientemente de los valores de las proposiciones constituyentes, luego se trata de una tautolog a. EJEMPLO 37. Demostrar que (p q ) q es una contradicci on. . Construimos la tabla de verdad de (p q ) q SOLUCION p
V V F F
q
V F V F
p q
F V F F
(p q ) q
F F F F
48
vemos que la proposici on (p q ) q siempre es falsa, independientemente de los valores de sus proposiciones constituyentes, luego se trata de una contradicci on.
La lecci on es que para saber si una proposici on es tautog a debemos corroborar que siempre sea verdadera, independientemente de los valores de sus proposiciones constituyentes. EJEMPLO 38. Si p y q son proposiciones, demostrar que (p q ) p es una tautolog a. . Hag SOLUCION amoslo en varios pasos, en una primera tabla colocaremos los valores de p, q , p, q y p q , p
V V F F
q
V F V F
p
F F V V
q
F V F V
p q
V V F V
A continuaci on construyamos la tabla para p, q , (p q ), p y, nalmente, (p q ) p. p

V V F F
q
V F V F
(p q )
F F V F
p
F F V V
(p q ) p
V V V V
1.15. Si p y q son proposiciones tales que p q es una tautolog DEFINICION a, decimos que p implica l ogicamente a q y lo escribimos p q 1.16. Si p y q son proposiciones tales que p q es una tautolog DEFINICION a, decimos que p es l ogicamente equivalente a q y lo escribimos p q Quiz a convenga que la parte siguiente que ser a leyes de la l ogica, reglas de inferencia y cuanticadores, fueran en un anexo (siento que este cap tulo se est a alargando demasiado, reconsiderar esto despu es). El anexo incluir a desde la secci on C omo razonar. La secci on llamada Algo de l ogica se llamar a proposiciones. Pensar bien esto, rehacerlo al nal. OJOJOJOJ: Ya est a bien, hay que concluir y pasar a la NOTA HISTORICA del cap tulo.
(p agina 51)
CAP ITULO
PUNTOS EN LA RECTA REAL
1. NUMEROS NATURALES
Tradicionalmente se consideran n umeros naturales a los que usamos para contar: uno , dos , tres , cuatro , . . . . Algunos autores incluyen al cero , cosa que no haremos. Denotamos con N al conjunto de los n umeros naturales , Los negativos no son n umeros naturales, ni las fracciones, ni los decimales son n umeros naturales. / N. / N, 2 EJEMPLO 1. 5831 N, 7 / N, / N, 264 1 N, 0 / N, 3 5 Pensemos los n umeros naturales como la de personas: hay quien comienza la la, le llamamos el 1, a quien le sigue le llamamos el 2. No hay personas entre 1 y 2. Despu es del 2 hay quien le sigue, le llamamos el 3, y as sucesivamente. Vemos que cualquier persona en la la tiene un lugar, digamos el lugar n: el lugar que le antecede es el n 1 y el lugar que le sigue es el n + 1, no hay personas colocadas entre dos sucesivas , es decir, no hay n umeros naturales entre el n y el n + 1. Si consideramos varias personas de la la siempre habr a quien est e situado m as adelante . EJEMPLO 2. Si n N, el conjunto A = {2, 4, 6, 8, . . . , 2n, . . .} N = {1, 2, 3, 4, 5, . . . , n 1, n, n + 1, . . .}.
EJEMPLO 3. Si n N, el conjunto
de los n umeros pares es un subconjunto propio de los n umeros naturales, escribimos A N. B = {1, 3, 5, 7, . . . , 2n 1, . . . }
de los n umeros impares es otro subconjunto propio de los n umeros naturales. De los ejemplos anteriores vemos que dado un n umero natural, una de dos, est a en A o est a en B , es decir, si m N, una de dos, m es par o es impar. Los n umeros pares son de la forma 2n, con n N, son m ultiplos de 2. Los impares son de la forma 2n 1, con n N, no son m ultiplos de 2. 51
52
Cap tulo 2 Puntos en la recta real
2.1. Si p2 es par entonces p es par. AFIRMACION . Supongamos que p no es par, entonces es de la forma 2n 1 DEMOSTRACION para alg un n N. Por lo tanto, p2 = (2n 1)2 = 4n2 4n + 1, que es impar. Es decir, si tengo que p2 es par y supongo que p es impar, llego a la conclusi on de que p2 es impar, lo cual constituye una contradicci on. Luego la hip otesis de que p es impar es insostenible, luego p necesariamente es par. 2.1. Dado un n DEFINICION umero natural n, el n umero natural siguiente es n +1, llamado su sucesor . Todo n umero natural tiene sucesor y decimos que cada natural n es menor que su sucesor n + 1 lo cual escribimos n < n + 1. 2.2. La relaci DEFINICION on de orden introducida por el concepto de sucesor es transitiva, es decir si m, n y p N, tenemos que si m < n y n < p, entonces m < p, lo cual se lee: si m, n y p son n umeros naturales y si m es menor que n y n es menor que p, entonces m es menor que p. Hay dos propiedades de N que son equivalentes: 2.3. (PRINCIPIO DEL BUEN ORDEN) Cualquier subconjunto no vac DEFINICION o de N tiene un elemento m nimo. EJEMPLO 4. El conjunto C de los m ultiplos de 7 es un subconjunto no vac o de N, pues 28 C , y 7 es el menor elemento de C . Noten que C no tiene elemento m aximo!, pues si c C , tenemos c < 7c C . Es decir, dado cualquier elemento de C podemos hallar otro elemento de C , a saber 7c, mayor que el dado. EJEMPLO 5. Sea D el conjunto de naturales cuyo cuadrado es mayor que 2. Halla el elemento menor de D . . El 1 no puede ser el menor pues 12 = 1 no es mayor que 2. Pero SOLUCION 2 2 = 4 es mayor que 2. Como entre 1 y 2 no hay otro natural, resulta que el 2 es el m nimo de D . 2.4. (PRINCIPIO DE INDUCCION FINITA) Si una armaci DEFINICION on acerca de un n umero se cumple para el 1 y si sucediendo que se cumple para el natural k se cumple para el sucesor k + 1, entonces la armaci on se cumple para todos los n umeros naturales. El siguiente ejemplo tiene su an ecdota, en una ocasi on estando en la escuela el despu es llamado pr ncipe de las matem aticas , CARL FRIEDRICH GAUSS, a la edad de 9 a nos, el maestro pregunt o a los alumnos la suma de los 100 primeros n umeros con af an de mantenerlos ocupados. La sorpresa fu e que el ni no GAUSS, no bien hubo enunciado el maestro el problema di o la soluci on: 5,050. C omo hizo para sumar casi de inmediato 1 + 2 + 3 + 4 + 5 + 6 + 7 + + 98 + 99 + 100? En lugar de sumar 1 + 2 = 3, 3 + 4 = 7, 7 + 5 = 12 y seguir as ,
2.1 Numeros Naturales
53
GAUSS se percat o que tomados por parejas los sumandos, comenzando por los extremos, es decir 1 y 100, despu es 2 y 99, despu es 3 y 98, y as , hasta 50 y 51, la suma de cada pareja es 101. Cu antas parejas hay? Como hay 100 sumandos, hay 50 parejas. Cada pareja suma 101 luego el total es 50 101 = 5, 050.
Actividad
Digan, y expliquen c omo lo obtuvieron, cu al es el resultado de sumar los primeros 17 n umeros naturales. La an ecdota anterior viene al caso porque hay una f ormula para hallar la suma de los primeros n naturales, cuya validez se demuestra usando el principio de inducci on nita tambi en llamado principio de inducci on matem atica. 2.2. Para todo n AFIRMACION umero natural n se cumple que n(n + 1) . 2 . Tenemos una armaci DEMOSTRACION on acerca de todos los n umeros naturales: si n es un n umero natural, la suma de los primeros n naturales es el n(n + 1) n umero . Para vericar que dicha armaci on cumple con las premisas 2 del principio de inducci on matem atica debemos vericar que: 1 + 2 + 3 + + n = (i) La armaci on se cumple para el n umero natural n = 1. Veamos, la suma del primer sumando es, evidentemente, 1. Por otro lado, apli12 2 1(1 + 1) cando la f ormula para n = 1, la suma es = = = 1. Es decir, la 2 2 2 f ormula da el resultado correcto para n = 1, luego se verica el primer punto: la armaci on se cumple para el n umero natural n = 1. (ii) Suponiendo que la armaci on se cumple para el n umero natural n = k , se cumple la armaci on para el natural k + 1. Suponer que se cumple la f ormula para k signica suponer que k (k + 1) , (1) 2 a partir de lo cual vericaremos la validez de la f ormula para k + 1 que es la suma de los primeros k + 1 naturales: 1 + 2 + 3 + + k = k (k + 1) , as , a De la f ormula (1) sabemos que los primeros k t erminos suman 2 la fracci on anterior a nadimos k + 1 para hallar la suma de los k + 1 t erminos: 1 + 2 + 3 + + k + (k + 1) = 1 + 2 + 3 + + k + (k + 1) 1 + 2 + 3 + + k + (k + 1).
54

k (k + 1) + (k + 1) 2 (k + 1)(k + 2) k (k + 1) + 2(k + 1) = . = 2 2 =
Es decir, (k + 1) (k + 1) + 1 . 2 Luego al suponer que la f ormula se cumple para n = k obtenemos que se cumple para n = k + 1. Hemos vericado que se cumplen las premisas del principio de inducci on matem atica para el caso de la armaci on que nos ocupa, por lo tanto, dicha armaci on se cumple para todos los n umeros naturales. Es decir: para todo n umero natural n sucede que n(n + 1) . 1 + 2 + 3 + + n = 2 El ejemplo anterior ilustra una t ecnica de demostraci on llamada demostraci on por inducci on nita, demostraci on por inducci on matem atica o, simplemente, demostraci on por inducci on. 1 + 2 + 3 + + (k + 1) =
Actividad
Formen una la de chas de domin o, una cha a continuaci on de otra, de manera que al derribar la primera derribe a la segunda y esta, a su vez, derribe a la que le sucede y as hasta derribar toda la la. 2.5. Sea n un n DEFINICION umero natural, al conjunto de los primeros n naturales le llamamos el segmento Sn , es decir, El segmento Sn tiene n elementos. Decimos que un conjunto A es nito y tiene n elementos si es posible establecer una correspondencia biun voca entre A y Sn , lo escribimos |A| = n, que leemos: la cardinalidad de A es n. Sn = {1, 2, 3, . . . , n}.
EJEMPLO 6. El conjunto B de las letras de la palabra murci elago tiene 10 elementos pues hay una correspondencia biun voca, a saber, m u r c i e l a g o
1 2 3 4 5 6 7 8 9 10 entre B = {m, u, r, c, i, e, l, a, g, o} y S10 , luego |B | = 10 . Claramente no hay segmento Sn que pueda ponerse en correspondencia biun voca con todo N, luego N no es un conjunto nito, decimos que tiene un n umero innito de elementos, que es un conjunto innito y que su cardinalidad es 0 , que se lee alef cero (alef es la primera letra del alfabeto hebreo), |N| = 0 .
55
2.6. Si un conjunto innito A se puede poner en correspondencia DEFINICION biun voca con N, decimos que A tiene cardinalidad 0 y lo escribimos |A| = 0 .
Seg un mencionamos en la secci on 0.6, hay varios tipos de conjuntos innitos. El conjunto de los n umeros naturales es un representante de la cardinalidad 0 . A los conjuntos que puedan ponerse en correspondencia biun voca con los naturales, es decir que tengan cardinalidad 0 , se les llama conjuntos numerables o enumerables, en referencia al hecho de que podemos formar en la a sus elementos y comenzar a llamarlos o enumerarlos con los n umeros naturales: uno (se nalando al primero), dos (se nalando al que sigue), tres , . . . , y as sucesivamente. Una peculiaridad de los conjuntos innitos es que pueden ponerse en correspondencia biun voca con subconjuntos propios. 2.3. Hay el mismo n AFIRMACION umero de pares que de naturales. . Lo que arma el enunciado es que existe una correspondencia DEMOSTRACION biun voca entre el conjunto A = {2, 4, 6, 8, . . . , 2n, . . .} de los n umeros pares y el conjunto N de los n umeros naturales. Para demostrarlo hay que exhibir la correspondencia biun voca, es decir, a cada n umero par asociar un n umero natural y a cada n umero natural asociar un n umero par, 2 4 6 8 . . . 2n . . . 1 2 3 4 ... n ... Vemos que, en efecto, es posible establecer dicha correspondencia biun voca, por lo tanto, podemos armar que hay el mismo n umero de pares que de naturales , es decir, que |N| = |A| = 0 . Observamos, adem as, que hemos colocado en correspondencia biun voca al conjunto de los naturales con un subconjunto propio, mostrando una parte del mismo tama no que el todo , lo cual nos lleva a pensar que la famosa frase que dice el todo es mayor que cada una de sus partes es v alida s olo en el caso de conjuntos nitos .
Actividad
Describan varios subconjuntos de los n umeros naturales, digan cu ales son nitos y cu ales innitos. Digan cu antos elementos tienen los conjuntos nitos y exhiban una correspondencia biun voca con alg un subconjunto propio de cada conjunto innito. Ahora que estamos familiarizados con los n umeros naturales, veamos c omo representarlos en una recta. Para ello tracemos una recta horizontal pens andola como dirigida de izquierda a derecha, lo que indicamos con una echa:
56
FIGURA 2.1
Recta dirigida.
A continuaci on ubiquemos un punto al cual llamaremos origen:
O
FIGURA 2.2
Un punto arbitrario O es el origen (sospechamos que despu es ser a el 0).
Despu es de se nalar un origen en la recta dirigida, con un comp as, con centro en O y radio U , que seleccionamos de manera arbitraria pero mantenemos jo de ahora en adelante, trazamos un arco marcando un segmento a la derecha de O sobre la recta, al punto de cruce del arco con la recta le asignamos el n umero natural 1.
O
FIGURA 2.3
Al segmento U lo llamamos unidad , ubicamos el natural 1.
Esta construcci on geom etrica es la base la construcci on de la recta real: consiste de una recta dirigida, un punto llamado origen (el cero), un segmento arbitrario considerado como unidad y el n umero 1 colocado en el extremo derecho de dicho segmento. Con centro en 1 y radio U , localizamos el 2, con centro en 2 y radio U ubicamos el 3 y as sucesivamente. Hemos identicado cada n umero natural con un punto en la recta real.
0
FIGURA 2.4
Los naturales en la recta real.
Hay, sin embargo, multitud de puntos de la recta real que no est an ocupados por n umeros naturales. Los n umeros naturales est an colocados sobre la recta real de manera que los separa un segmento unidad. Los naturales N son un conjunto discreto en la recta real. Con ello queremos expresar que dado un elemento hay un elemento sucesor, que existe el elemento que le sigue . EJEMPLO 7. Los n umeros pares forman un conjunto discreto en la recta real.
57
. Dado un n SOLUCION umero par, al ser m ultiplo de 2 tiene que ser de la forma 2n donde n N, luego el n umero 2n + 2 es el n umero par que sigue al 2n.
EJEMPLO 8. Localiza los m ultiplos de 3 en la recta real. . A partir de O medimos 3 unidades (con nuestro segmento U ). El SOLUCION primer natural que dista del origen en 3 unidades es el n umero 3. Con centro en 3 y radio 3U , localizamos el 6, con centro en 6 y radio 3U localizamos el 9, y as , el 12, 15, 18, continuando sucesivamente. En el conjunto N de los n umeros naturales tenemos denidas dos operaciones: suma y producto . Son operaciones cerradas, lo cual signica que la suma de dos n umeros naturales es un natural, y que el producto de dos n umeros naturales es un n umero natural. Las operaciones cumplen con estas propiedades: Suma Cerradura Conmutatividad Asociatividad Distributividad a, b N = a + b N a+b=b+a a + (b + c) = (a + b) + c Producto a, b N = ab N ab = ba a(bc) = (ab)c
a(b + c) = ab + ac
Adem as, en los n umeros naturales tenemos denido un orden: cada n umero natural es menor que su sucesor . La relaci on de orden cumple con: Orden Tricotom a Transitividad Buen orden Si a y b N, entonces a < b, a = b o b < a. Si a < b y b < c, entonces a < c. Si C N y C = , entonces existe alg un elemento m C tal que m c para todo c C.
En resumen, en esta secci on hemos identicado a los n umeros naturales con ciertos puntos de la recta real. PROBLEMAS 2.1 Para los conjuntos en los problemas del 1 al 4 contesta: i) Cu antos elementos tiene? ii) Est a bien ordenado? iii) Hay alg un subconjunto propio del conjunto dado que sea innito?, puedes exhibir una correspondencia biun voca entre el conjunto dado y un subconjunto propio?
58
1. El conjunto T de los m ultiplos de 3. 2. El conjunto P de los n umeros primos menores que 100 (Los n umeros primos son los naturales divisibles s olo entre s mismos y la unidad.) 3. Los naturales que al dividirlos entre 8 dejan residuo 3. 4. Las potencias de 2. 5. Demuestra, por inducci on, que 1 + 3 + 5 + . . . + (2n 1) = n2 . 6. Ubica en la recta real los siguientes subconjuntos de los n umeros naturales: n a. B = {n N | 120 < 2 < 5000}, b. H = {n N | n = 16m, m N}, c. C = {n N | 500 < n3 }, d. F = {1, 2, 3, 5, 8, 13, 21, 34}.
2. NUMEROS ENTEROS
Una descripci on breve y f acil de los n umeros enteros es pensar a los naturales junto con su reejo en un espejo colocado en el origen O . En lugar del origen O colocamos el n umero 0 (cero) y a la imagen en el espejo del natural n le llamamos n. Denotamos con Z al conjunto de los n umeros enteros, Z = {0, 1, 1, 2, 2, 3, 3, . . . , n, n, . . . }. La representaci on de los n umeros enteros como puntos de la recta real la obtenemos a partir de los naturales colocando el n umero 0 en el origen y, con el mismo radio que hay de 0 a 1, con centro en 0 trazamos un arco del lado izquierdo del 0 y le llamamos 1. De la misma manera hallamos el reejo del natural n: con centro en 0 y radio la abertura de 0 a n trazamos un arco, a la intersecci on del arco con el lado izquierdo de la recta real le llamamos n.
-n
FIGURA 2.5
-3
-2
-1
El conjunto Z en la recta real.
A los n umeros a la derecha del cero les llamamos los enteros positivos y a los de la izquierda les llamamos los enteros negativos. Como ven, el conjunto de los n umeros naturales es un subconjunto propio del conjunto de los n umeros enteros, N Z, es el conjunto de los enteros positivos. Es u til referirnos al , formado por conjunto de los enteros no negativos, que denotaremos con Z los enteros positivos y el cero.
2.2 Numeros enteros
59
Noten que Z, el conjunto de los n umeros enteros es discreto , es decir, est a acomodado de manera sucesiva, dado un entero p existe su sucesor p + 1 y su antecesor p 1, manteniendo la siguiente relaci on de orden, p 1 < p < p + 1, pero no est a bien ordenado pues es posible hallar subconjuntos de Z, no vac os, que carecen de elemento m nimo. EJEMPLO 9. Halla un subconjunto de Z que no tenga elemento m nimo. . Es f SOLUCION acil ver que el conjunto de los enteros negativos no tiene elemento m nimo. Dado q , un entero negativo, debe ser de la forma n donde n es un n umero natural (q es el reejo de n). Sabemos que n < n + 1, es decir que, en la recta real, n + 1 est a a la derecha, de n y, por lo tanto, el reejo de n + 1 est a a la izquierda del reejo de n. Esto signica que (n + 1) < q . Luego dado cualquier entero negativo q tenemos que q 1 est a a la izquierda de q . Los enteros, en la recta real, est an formados en l nea, como los naturales, pero no hay quien comience la la. Sin embargo podemos contarlos. Para vericarlo debemos exhibir una correspondencia biun voca entre Z, el conjunto de los enteros y N, el conjunto de los naturales. A primera vista parece cosa imposible que exista dicha correspondencia siendo que los enteros incluyen a los naturales y a otro conjunto tan grande como los naturales, como son los enteros negativos. Pero ya nos vimos en situaciones parecidas, cuando establecimos una correspondencia biun voca entre los naturales y los pares. La cuesti on es c omo formar a los enteros, independientemente de su posici on en la recta real, para contarlos, hag amoslo as : 0 1 1 2 2 3 3 n n .
Noten que estamos formando a los enteros de manera que podamos contarlos, no signica que est en en orden y que de esta formaci on inramos que hay un elemento m nimo. As , se nalando al 0 decimos uno , se nalando al 1 decimos dos , se nalando al 1 decimos tres , y continuamos, dado un n umero en la la es natural o es un reejo. En caso de ser un natural, digamos n, lo se nalamos y decimos 2n, en caso de ser un reejo, digamos que sea n, el reejo del natural n, lo se nalamos y decimos 2n + 1, y seguimos as contando a los enteros, 0 1 1 2 1 2 2 3 4 5 3 3 6 7 n 2n n
Claramente esta asociaci on de enteros con naturales constituye una correspondencia biun voca entre los conjuntos Z y N pues a cada entero corresponde un natural, seg un acabamos de ver, y a cada natural corresponde un entero: dado un natural n = 1 es par o impar. Al natural 1 lo asociamos con el entero 0. Si n es par es de la forma n = 2m, con m N, entonces al natural n le corresponde el entero m. Si n = 1 es impar es de la forma n = 2m + 1, m N, entonces
2n + 1 .
60
al natural impar n le corresponde el entero m. Por lo tanto, Z y N tienen la misma cardinalidad, es decir, Z es numerable y |Z| = 0 . Hay dos operaciones denidas en los n umeros enteros, la suma y el producto, que cumplen con las siguientes propiedades: Suma Cerradura Conmutatividad Asociatividad Existen Neutros Inverso Aditivo Distributividad a, b Z = a + b Z a+b=b+a a + (b + c) = (a + b) + c a+0=0+a=a Si a Z, a + (a) = 0 Producto a, b Z = ab Z ab = ba a(bc) = (ab)c a1 = 1a = a
a(b + c) = ab + ac
Si a Z, 2a = a + a, 3a = a + a + a, son m ultiplos de a, as como a2 = a a 3 y a = a a a son potencias de a, tenemos, en general, que: 2.7. Si n es un entero positivo y a es un entero, na es un m DEFINICION ultiplo positivo de a, y an es la n- esima potencia de a. As , na = a + a + + a,
n veces
y an = a a a .
n veces
En realidad la denici on anterior es m as bien intuitiva, nos permite argumentar , por ejemplo, que ma + na = (m + n)a, para a Z y m, n N , se hace visualmente:
m veces n veces
ma + na = a + + a + a + + a
m+n veces
= (m + n)a. De manera an aloga se tratan las propiedades de los exponentes:

m veces n veces
am an = a a a a =a . En un buen curso de algebra superior tratar an lo anterior con menos ligereza y denir an, por ejemplo, 2.8. Si a Z y n N, denimos, de manera recursiva DEFINICION a1 = a, an+1 = an a. Con la denici on anterior, usando el principio de inducci on, podemos demostrar la siguiente
m+n veces m+n
2.2 Numeros enteros
61
2.4. Si a y b son enteros y m y n son naturales se cumplen las AFIRMACION siguientes propiedades de los exponentes: 1. am an = am+n ,
2. (am )n = amn , 3. (ab)m = am bm . . Usemos el principio de inducci DEMOSTRACION on. Demostremos la propiedad (1) por inducci on en n. En primer lugar veriquemos que se cumple la f ormula para n = 1. Si n = 1 entonces am an = am a1 = am a, y am+n = am+1 = am a. Es decir cuando n = 1 ambos lados de la f ormula dan el resultado am a, luego la propiedad (1) se cumple para n = 1. Ahora debemos vericar que, suponiendo que se cumple para n = k , se cumple para n = k + 1. Suponer que se cumple para n = k signica suponer que am ak = am+k . Veamos qu e sucede con n = k + 1, m k+1 m k a a = a (a a) pues por denici on ak+1 = ak a, = (am ak )a =a =a
m+k (m+k)+1 def
porque el producto es asociativo, por denici on de potencia,
a por la hip otesis de inducci on para n = k ,
=a porque la suma es asociativa. Hemos vericado que se cumple la propiedad para n = k + 1 a partir de suponer su validez para n = k . Por lo tanto, hemos demostrado que la propiedad (1) se cumple para cualquier n umero natural n. La demostraci on de las otras propiedades las dejamos como ejercicio. Como sucede con los n umeros naturales tambi en hay un orden denido en los n umeros enteros. 2.9. Si a y b son dos n DEFINICION umeros enteros, decimos que a es menor que b, y lo escribimos a < b, si existe alg un n umero natural n tal que a + n = b. Es decir, el entero a es menor que el entero b si a est a a la izquierda de b. . Al sumar el natural 2 al 5 obtenemos 3, SOLUCION 5 + 2 = 3. Luego el entero 5 est a a la izquierda del entero 3. El orden as denido cumple: Orden en Z Tricotom a Transitividad Si a y b Z, entonces a < b, a = b o b < a. Si a < b y b < c, entonces a < c. EJEMPLO 10. Demuestra que 5 < 3.
m+(k+1)
62
Hemos ubicado a los n umeros enteros en la recta real.
Actividad
Considera la ecuaci on ax + b = c. Sup on que a, b y c son n umeros naturales, es decir a, b, c N. Analiza si la ecuaci on tiene soluci on. Ahora para a, b, c Z hay soluci on de la ecuaci on? En cada caso da ejemplos, y exhibe contraejemplos que apoyen tus armaciones. Hasta ahora hemos asignado puntos en la recta real a los n umeros naturales y a los enteros. Los vemos formados, con sus respectivos sucesores y antecesores, como un conjunto discreto . Notemos que dicha asignaci on no agota los puntos de la recta. Quedan todav a puntos por ejemplo, los que est an entre dos enteros sucesivos sin que tengan un n umero asignado. Pero no hemos terminado, continuemos despu es de resolver algunos PROBLEMAS 2.2 1. Exhibe un subconjunto innito de Z, el conjunto de los n umeros enteros, que contenga positivos y negativos, que est e bien ordenado. 2. Dene recursivamente el concepto de m ultiplo de un entero. 3. Basado en la denici on del ejercicio anterior, demuestra, por inducci on en n, que ma + na = (m + n)a. 4. Demuestra, por inducci on en n, la propiedad (2) de la armaci on 2.4. 5. Demuestra, por inducci on en m, la propiedad (3) de la armaci on 2.4.
3. NUMEROS RACIONALES
Llamamos n umeros racionales a las fracciones de n umeros enteros sin factor com un y denominador distinto de cero. p Q= p, q Z, q = 0, (p, q ) = 1 q En donde (p, q ) = 1 signica que p y q no tienen factor com un, es decir, que son primos relativos , que ninguno es m ultiplo del otro. 2 es un n umero racional. Noten que todos los n umeros enteros son As , 3 a racionales, si a Z, a = . Es decir 1 N Z Q. 10 EJEMPLO 11. Es un n umero racional? 6
2.3 Numeros Racionales
63
. As SOLUCION como est a escrito y seg un nuestra denici on, como (10, 6) = 2 10 es decir el 10 y el 6 tienen a 2 como factor com un entonces / Q. 6 10 , dividiendo entre 2 Pero veamos m as de cerca, si reducimos la fracci on 6 el numerador y el denominador, es decir, si reducimos la fracci on a su m nima 5 10 = . Ahora bien (5, 3) = 1, es decir, son primos expresi on, tenemos que 6 3 5 relativos, por lo que Q. C omo es esto? 3 Sucede que vamos a considerar a los racionales como las fracciones en su m nima expresi on. 6 , para considerarla como n umero 3 6 2 racional, debemos tratar con su m nima expresi on = = 2. 3 1 12 un n umero racional? EJEMPLO 12. Es 5 . En vista de que 12 y 5 son n SOLUCION umeros enteros, 5 = 0 y (12, 5) = 1, 12 Q. la respuesta es s , 5 Bien, tenemos el conjunto de los n umeros racionales, denotado por Q. Veamos ahora c omo representar estos n umeros en la recta real. Sabemos as que al referirnos a la fracci on EJEMPLO 13. Localiza el n umero racional 5 en la recta real. 3 . Trazamos la recta real, la cual consiste en una recta horizontal, SOLUCION orientada con una echa hacia el lado derecho, con un punto O como el origen y un segmento arbitrario, pero jo, como unidad. Vamos a dividir el segmento unidad, es decir el segmento de recta que va del 0 al 1, en 3 partes congruentes , o sea, de igual longitud. Dividir un segmento de recta dado en un n umero determinado de partes congruentes, constituye un problema de geometr a, cuya soluci on se basa en sus axiomas y en propiedades de tri angulos semejantes: Dividir el segmento OA en 3 partes congruentes.
A
O
FIGURA 2.6
El segmento OA.
64
Para ello trazamos un recta cualquiera l que pase por O , pero que no contenga al segmento OA.
l
FIGURA 2.7
La recta l pasa por O , pero no contiene a OA.
Con un comp as con abertura cualquiera, pero sin cambiarla, se n alese, a partir de O y sobre la recta l , 3 veces esa longitud, marcando los puntos P , Q y R .
A
O P Q R
FIGURA 2.8
Tres segmentos de igual longitud sobre l .
A continuaci on u nase los puntos R y A por una recta y tr acense paralelas a esta recta por los puntos P y Q obteniendo as los puntos B y C , donde cortan las paralelas al segmento OA.
A B C O P Q R l
FIGURA 2.9
Unimos R y A, y trazamos paralelas por Q y P .
Los puntos B y C dividen al segmento OA en 3 partes congruentes. Volvamos al ejemplo, por medio del procedimiento reci en ilustrado dividimos 1 el segmento unidad en 3 partes congruentes ubicando, as , el n umero racional . 3
65
0
FIGURA 2.10
1/3
R
1 . 3
Dividimos el segmento unidad en 3 partes congruentes y ubicamos
1 1 Ahora, usando un comp as con abertura de 0 a , con centro en ubicamos en 3 3 2 2 3 la recta real el punto , despu es, con centro en ubicamos = 1; de manera 3 3 3 5 4 sucesiva, ubicamos y nalmente . 3 3
0
FIGURA 2.11
1/3 2/3
4/3 5/3
1 3
R
nos permite ubicar
5 . 3
El segmento de longitud
El procedimiento realizado en el ejemplo anterior se puede aplicar para localizar cualquier fracci on cuyo numerador y denominador sean enteros positivos, se denotan con Z+ si el numerador es igual a 0, la fracci on es 0. Vamos entonces a representar en la recta real la parte positiva de los n umeros racionales: las fracciones con denominador distinto de cero, con numerador y denominador positivos y primos relativos, p Q+ = p, q Z+ , q = 0, (p, q ) = 1 . q p Sea, pues, Q+ un n umero racional positivo, para ubicarlo en la recta real q actuamos de la siguiente manera: 1. Dividimos el segmento unidad en q partes congruentes, el racional 1/q estar a situado a la derecha del 0, entre el 0 y el 1. 2. A partir de 0 y en la misma direcci on de 1/q , trazamos p veces, una a continuaci on de otra, la longitud del 0 a 1/q para ubicar ah el racional p/q .
-1
FIGURA 2.12
1/q
p/q
p veces la longitud 1/q .
Hemos entonces ubicado cada n umero racional positivo en la recta real. Los negativos se ubicar an de manera sim etrica al otro lado del 0 en la recta real. As , hemos asociado a cada n umero racional un punto en la recta real.
66
En el conjunto Q de los n umeros racionales est an denidas las operaciones de suma y producto, as como una relaci on de orden. p r 2.10. Si , Q la suma y el producto se denen como DEFINICION q s ps + rq p r + = , q s qs pr p r = . q s qs r r p p Se dice que es menor que , y se escribe < , si ps < qr . q s q s Las operaciones as denidas cumplen las propiedades siguientes: Suma Cerradura Conmutatividad Asociatividad Neutros Inversos Distributividad p r p r , Q = + Q q s q s r p p r + = + q s s q p t p r t r = + + + + q s u q s u p p p +0=0+ = q q q p p + =0 q q Producto pr p r , Q = Q q s qs rp pr = qs sq p rt pr t = q su qs u p p p 1=1 = q q q p p p 1 = 0 = =1 q q q
p r pr p t t = + + q s u qs qu
El orden cumple con estas propiedades: Orden en Q Tricotom a p r p y Z, entonces < q s q p r < . s q p r r t Si < y < , entonces q s s u Si Si r p r , = o s q s
Transitividad Densidad
p t < . q u
r p t < entonces existe Q tal que q s u p t r < < . q u s
67
En un curso de algebra superior se estudian los n umeros racionales a profundidad. Aqu , sin entrar en m as detalle, usaremos las propiedades de las fracciones comunes, 5 5 5 5 = = = (1) . 3 3 3 3 Y, generalizando, si p, q Z y q = 0, p p p p = = (1) = , q q q q p r p r = + , q s q s p q
1
q , con p = 0. p
Donde s conviene analizar un poco m as es lo que sucede con el orden. A diferencia de los naturales y los enteros, el conjunto Q de los n umeros racionales no es un conjunto discreto , en el que cada elemento tenga un sucesor. Precisamente, la propiedad de densidad signica que dado un n umero racional no existe el racional que le sigue , sino que: 2.5. Entre dos n AFIRMACION umeros racionales hay siempre otro racional. . Basta demostrar la armaci DEMOSTRACION on para dos racionales positivos. r p As , si tenemos dos racionales tales que < demostraremos que su media q s aritm etica est a entre los dos, esto es, ps + rq r p < < . q 2qs s r p < , q s como p, q , r y s son enteros positivos, diferentes de 0, podemos aplicar las propiedades elementales para las desigualdades entre enteros positivos, tenemos entonces que, por la denici on de orden, ps < rq. Sumando ps en ambos lados de la desigualdad tenemos 2ps < ps + rq, dividiendo ambos lados entre 2qs, p ps + rq < . q 2qs Ahora, partiendo de nuevo de tenemos, como antes, que ps < rq. Sumando rq en ambos lados tenemos ps + rq < 2rq, r p < , q s Partamos de que
(2)
68
dividiendo ambos lados entre 2qs, r ps + rq < . 2qs s
(3)
Las desigualdades (2) y (3) demuestran que la media aritm etica est a entre los dos racionales dados. Hasta aqu hemos demostrado que entre dos racionales positivos hay otro racional. Dejamos como ejercicio el resto de la demostraci on La armaci on anterior tiene importantes consecuencias: 2.6. Entre dos n AFIRMACION umeros racionales dados hay un n umero innito de n umeros racionales. . La demostraci DEMOSTRACION on completa y formal escapa del ambito de este libro, pero demos una idea. Dados dos n umeros racionales, ya demostramos que hay uno entre ellos, bien, consideremos el racional de la izquierda y el que reci en hallamos; pues entre esos dos, por la armaci on anterior, hay uno. Consideremos de nuevo el de la extrema izquierda; entre ese y el reci en hallado hay otro, y as , y as , podemos repetir el procedimiento ad innitum y, nalmente, entre los dos racionales dados hemos hallado un n umero innito de racionales entre ellos. Es importante comprender el signicado de la densidad de los racionales. 1 2 Imaginen dos racionales cercanos , digamos y , pr acticamen1,000,000 1,000,000 te inindistinguibles si fueran fracciones de mil metro, pues bien, por la armaci on 2.6, entre esos dos hay un n umero innito de racionales. Es decir, los n umeros racionales parecen tan apretujados en la recta real que nos har a pensar que la cubren. Cosa que no sucede, pero eso es el tema del siguiente par agrafo.
Actividad
Compitan entre un grupo de personas dando dos n umeros racionales, retando a encontrar un n umero racional entre ellos, y a esbozar la manera de encontrar un n umero innito, hallar 5, o 10, y explicar c omo se podr an encontrar m as. La densidad de Q, el conjunto de los n umeros racionales, podr a inducirnos a pensar que hay muchos m as racionales que enteros. En los par agrafos anteriores vimos que |N| = |Z| = 0 . Ahora nos preguntamos cu al es cardinalidad de los racionales? qui en es |Q|? La sorpresa es que la cardinalidad de los racionales tambi en es 0 , lo cual signica
69
que podemos establecer una correspondencia biun voca entre Q y N. Dicho en lenguaje coloquial, que hay la misma cantidad de racionales que de naturales. No es f acil de explicar dicha correspondencia, para ilustrar partamos de la idea de que un conjunto de cardinalidad 0 se puede formar para contarlo como lo hicimos con los enteros, formarlos pero no ordenarlos de manera consecutiva. Aun as , para ilustrar la manera en c omo vamos a contar los racionales, lo haremos con los racionales positivos, ya que los negativos tendr an la misma cardinalidad y, como ya percibimos de los enteros positivos y los negativos, la uni on de dos conjuntos de cardinalidad 0 tiene, a su vez, cardinalidad 0 . Vamos, entonces, a contar los racionales positivos. Primero los colocamos, pero no en una la, sino en varias, en una tabla: la tras la. Primero colocamos una la con los racionales con denominador igual a 1, debajo colocamos a los racionales con denominador 2, y as sucesivamente:
1 1
2 1
3 1
4 1
5 1
6 1
7 1
1 2
2 2
3 2
4 2
5 2
6 2
7 2
1 3
2 3
3 3
4 3
5 3
6 3
7 3
1 4
2 4
3 4
4 4
5 4
6 4
7 4
1 5
2 5
3 5
4 5
5 5
6 5
7 5
1 6
2 6
3 6
4 6
5 6
6 6
7 6
1 7
. . .
2 7
3 7
4 7
5 7
6 7
7 7
Contemos los racionales seg un la direcci on de las echas, comenzamos con 1 1 = 2 1, a quien asociamos el natural 1, a continuaci on asociamos el 2 a 1 = 2, despu es 1 1 el 3 se asocia a 2 , continuando asociamos el natural 4 a 3 , y continuamos de esa manera, vericando, antes de asociar un n umero natural, que la fracci on est e formada por primos relativos. Seg un la direcci on de las echas el 5 corresponder a 2 = 1 que ya fue considerada (fue contada con el 1), as , el 5 corresponde, a 2 3 en realidad a 1 = 3. Seguimos de esta manera y asociamos 6, 7, 8, 9 y 10, 1 3 2 1 es, seg un la sucesi on de fracciones respectivamente, a 4 1 = 4, 2 , 3 , 4 y 5 . Despu indicada por las echas, siguen tres fracciones cuyo numerador y denominador
70
2 3 4 no son primos relativos, a saber 4 , 3 y 2 , por lo cual las saltamos y asignamos 5 el 11 a 1 = 5. Al seguir el camino marcado por las echas, cuando hallamos una fracci on cuyo numerador y denominador no son primos relativos, se trata de un racional ya contado. Es decir, en la tabla aparecen, adem as de los racionales, como 3 , otras fracciones: las obtenidas al multiplicar numerador y denominador del 2 9 24 6 racional por un n umero natural, por ejemplo 3 = = = 2 6 16 4 . Es por ello que saltamos esas fracciones. p en mostrada y, seg un Dada cualquier fracci on ocupa un lugar en la tabla reci q el camino se nalado por las echas, llegar a el turno de contarla. Ilustramos, as , una manera de establecer una correspondencia biun voca entre los naturales y la parte positiva de Q. Al considerar todos los racionales se mantiene la cardinalidad. Concluimos que |Q| = 0 . p Q (sabemos Veamos otra apariencia de los n umeros racionales. Dado q que q = 0 y que (p, q ) = 1) efectuemos la divisi on del numerador p entre el denominador q obteniendo, as , su expresi on decimal. Ilustremos. 271 EJEMPLO 14. Halla la expresi on decimal de . 25 . SOLUCION 271 = 10.84 . 25 Al dividir numerador entre denominador, obtuvimos un n umero con 2 cifras decimales, es decir despu es de obtener en el cociente el u ltimo decimal, el 4, obtuvimos el residuo 0. El procedimiento para dividir se detuvo. A este tipo de expresiones le llamamos decimal que termina. 1 EJEMPLO 15. Halla la expresi on decimal de . 3 . SOLUCION 1 = 0.33333 . . . . 3 Los puntos suspensivos indican que el proceso de la divisi on no se detiene, siempre se obtiene residuo 1, se baja el cero y de nuevo tenemos 10 entre 3, que coloca otro 3 en el cociente, obteniendo residuo 1. Para indicar lo anterior se coloca una barra sobre el n umero que se repite en el cociente, as , 1 = 0.3 . 3 A esta expresi on le llamamos decimal peri odico , en este caso el periodo es 3. 482 . EJEMPLO 16. Halla la expresi on decimal de 13 . SOLUCION 482 = 37.076923076923076923 . . . , 13 = 37.076923 .
2.4 Los numeros reales
71
Se trata de un decimal peri odico, cuyo periodo es 076923. Observemos que, dicho de manera estricta, un decimal que termina tiene periodo 0, digamos 9.67857 = 9.678570, o, simplemente, 4 = 4.0. De todos los decimales peri odicos vamos a excluir las colas de 9 debido a que no son m as que otra representaci on de decimales que terminan. 2.7. 1 = 0.9. AFIRMACION . Sea DEMOSTRACION x = 0.9, multiplicando por 10 en cada lado, 10x = 9.9 . Restando ambas ecuaciones tenemos, 10x x = 9,
9x = 9, x = 1.
De manera an aloga podemos demostrar que 2.139 = 2.14 y que 0.189 = 0.19. As , la expresi on decimal de un racional es un decimal peri odico, excluyendo las colas de 9s . PROBLEMAS 2.3 1. Resuelve las ecuaciones siguientes, para x Q:
2. 3. 4. 5. 6. 7.
5 5 5 5 5 5 +x= , + x = 0, x= , x = 1. 3 3 3 3 3 3 Completa la demostraci on de la armaci on 2.5. Al contar los racionales qu e lugar le corresponde a 5 3? Qu e racional est a en el lugar 17? Explica por qu e al dividir dos n umeros naturales el procedimiento se detiene o se vuelve peri odico. 2 2 Halla la expansi on decimal de , y de 5 7 Halla el racional que corresponde a 3.5, y a 0.153846
4. LOS NUMEROS REALES

Entre dos racionales siempre hay otro racional, es m as, entre dos racionales hay un n umero innito de ellos. Sin embargo hay la misma cantidad de racionales que de naturales. La densidad de los racionales nos har a pensar que cubren
72
la recta real, cosa que no sucede. Localicemos en la recta real el n umero 2. Trazamos sobre la recta real el cuadrado con lado igual al segmento unidad. Por el teorema de Pit agoras, la longitud de la hipotenusa es 2. Con centro en 0 y radio igual a la hipotenusa trazamos un arco hasta intersecar la recta real localizando, as , el punto 2 sobre la recta.
FIGURA 2.13
Ubicaci on de
2 en la recta real.
2 no es racional. . Para demostrar que 2 no es un n umero racional tenemos DEMOSTRACION que demostrar que es imposible expresarlo como cociente de dos enteros, con el denominador distinto de 0 y que sean primos relativos. Es decir, debemos demostrar que es imposible que existan p, q Z, con q = 0 y (p, q ) = 1, tales p on, es decir vamos a suponer que = 2. Bien, vamos a proceder por contradicci q que s es posible expresar 2 como el cociente de dos primos relativos y partiendo de dicha suposici on vamos a caer en una contradicci on, lo que nos indicar a que la hip otesis de la cual partimos es insostenible, obteniendo, as , la conclusion deseada. Procedamos: supongamos que s es posible expresar 2 como cociente de dos enteros primos relativos, sean, entonces, p, q Z tales que p = 2, con (p, q ) = 1. q Recordemos que (p, q ) = 1, que p y q sean primos relativos, signica que no tienen factor com un. De la hip otesis, multiplicando ambos lados por q obtenemos que p = 2q, Elevando ambos lados al cuadrado tenemos que p2 = 2q 2 . (4) Vemos que p2 es un n umero par, pues es m ultiplo de 2. Sabemos, por la Armaci on 2.1, que si p2 es par entonces p es par, es decir, podemos expresar Substituyendo en (4) obtenemos p = 2n para alg u n n N. (2n)2 = 2q 2 , 4n2 = 2q 2 , 2n2 = q 2 . (5)
2.8. El n AFIRMACION umero
2.4 Los numeros reales
73
De (5) y (6) vemos que, contrario a la hip otesis, p y q tienen a 2 como factor com un pues p = 2n, q = 2m.
Lo cual nos dice que q 2 es par, pues es m ultiplo de 2, y, de nuevo por la Armaci on 2.1, q es par, q = 2m para alg u n m N. (6)
o a la Suponer la existencia de primos relativos cuyo cociente fuera 2 nos llev contradicci on de que esos primos relativos tienen factor com un. Por lo tanto, esa hip otesis es insostenible y la conclusi on es que no existen enteros primos relativos cuyo cociente sea 2. Es decir, 2 no es racional. A los puntos de la recta real que no corresponden a n umeros racionales les llamamos irracionales . La uni on de los racionales y los irracionales son los n umeros reales, que denotamos con R. Nos preguntamos: qu e apariencia tienen los n umeros reales?, cu antos son? As como los n umeros racionales los representamos como decimales peri odicos, los irracionales estar an representados por decimales que no son peri odicos, que no terminan. El conjunto de las expresiones decimales (exceptuando las colas de 9s) conforman el conjunto de los n umeros reales. EJEMPLO 17. Seg un ya demostramos 2 no es racional, por lo tanto, es un decimal que no termina, veamos sus primeros cincuenta d gitos signicativos, 2 = 1.4142135623730950488016887242096980785696718753769 . . . . Los puntos suspensivos indican que el decimal contin ua.
(p agina 81)
CAP ITULO
FUNCIONES REALES
Funci on es dependencia. A velocidad ja, la distancia recorrida depende del tiempo transcurrido. El tiempo que tarda en caer una piedra depende de la altura que la soltemos. El area de un tri angulo con dos lados iguales depende del angulo formado entre ellos. El valor de la longitud de la circunferencia de un c rculo depende del valor de su radio. En n, hay multitud de situaciones en que un valor depende de cu al es otro valor. Al valor que depende como la distancia recorrida, el tiempo que tarda la piedra en caer, el area del tri angulo, o la longitud de la circunferencia lo llamamos variable dependiente , y al valor del cual depende se le llama variable independiente , como ser a el tiempo transcurrido del viaje, la altura a que se suelta la piedra, el angulo entre los dos lados iguales del tri angulo, o el valor del radio del c rculo. La situaci on de dependencia de la longitud de la circunferencia de un c rculo respecto al valor de su radio se expresa como C = 2r . Es decir, que dado el valor r del radio, al efectuar la operaci on 2r , se obtiene el valor C de la longitud de la circunferencia. Se dice que la circunferencia es funci on del radio, o que C es funci on de r , que se escribe C = C (r) y la manera en que se expresa esa dependencia es mediante la regla de correspondencia C (r) = 2r , lo cual signica que a cada valor de r se le asocia el valor C (r). Asimismo es posible, mediante una gr aca, ver c omo se comporta C seg un var a r . En este cap tulo formalizaremos, mediante conjuntos, el concepto general de funci on expresado de manera intuitiva en los p arrafos anteriores. Trataremos, en particular, con funciones cuyas variables independientes y variables dependientes son n umeros reales. Deniremos operaciones entre ellas y veremos la manera de expresarlas gr acamente.
1. PRODUCTO CARTESIANO
3.1. La pareja ordenada (a, b) es el conjunto DEFINICION Vemos claramente que los conjuntos (a, b) = a, {a, b} y (b, a) = b, {a, b} son diferentes. En una pareja ordenada cuenta, a diferencia de un conjunto con dos elementos, qui en es el primer elemento y qui en es el segundo. 81 (a, b) = a, {a, b} .
82
Cap tulo 3 Funciones reales
3.2. Sean A y B dos conjuntos, el producto cartesiano A B es DEFINICION el conjunto de parejas ordenadas (a, b) tales que a A y b B , es decir:
A B = { (a, b) | a A y b B }. EJEMPLO 1. Si A = {1, 3, 5} y B = {r, s}, entonces A B = {(1, r), (1, s), (3, r), (3, s), (5, r), (5, s)}. Las parejas est an ordenadas, hay un primer elemento y un segundo elemento; son diferentes las parejas (1, r) y (r, 1), lo cual implica que no es lo mismo, en general, A B que B A. En este caso, B A = {(r, 1), (r, 3), (r, 5), (s, 1), (s, 3), (s, 5)}. EJEMPLO 2. Sea R el conjunto de n umeros reales, al producto cartesiano R R se le conoce como R2 , que se lee erre dos, y se le llama el plano cartesiano , R2 = R R = { (x, y ) | x, y R }.
Actividad
Considera dos conjuntos, uno de cuatro fechas y otro de seis sucesos; describe el producto cartesiano de esos dos conjuntos. Despu es considera el subconjunto del producto cartesiano formado por las parejas (fecha, suceso) tales que el suceso haya ocurrido en la fecha. M as adelante, en este cap tulo, representaremos ciertas funciones como subconjuntos del plano.
PROBLEMAS 3.1 1. Di qu e parejas de conjuntos son iguales: i) a, {a, b} y {b, a}, a . ii) iii) a, {a, b} y {a, b}, a . 2. C omo denir as una terna ordenada? 3. Sean A = { n N | n < 5 } y B el conjunto de vocales en la palabra apache, encuentra el conjunto A B . b, {a, b} y {a, b}, a .
4. Es cierto, en general, que A B = B A? Ilustra con varios ejemplos. 5. Sean X = {2, 3, 5, 8} y Y = {a, e, f, p}. i) Halla X Y y Y X .
de funcion 3.2 Denicion
83
ii) Exhibe un subconjunto de X Y tal que no se repitan los primeros elementos de las parejas, y uno de Y X tal que los primeros elementos sean los segundos elementos del anterior. 6. Considera R2 el producto cartesiano R R, describe en una gura los siguientes subconjuntos de R2 , a. { (x, y ) | x = a },
2
g. { (x, y ) | x + y 1 },
e. { (x, y ) | x2 + y 2 = 1 },
2 2
c. { (x, y ) | y = x },
b. { (x, y ) | y > x }, d. { (x, y ) | y = x }, h. { (x, y ) | x + y > 1 }. f. { (x, y ) | y > 0 },
DE FUNCION 2. DEFINICION
3.3. Una funci DEFINICION on consta de tres objetos: un conjunto llamado el dominio de la funci on, que denotamos con Df , otro conjunto llamado el contradominio de la funci on y una regla de correspondencia que asocia a cada elemento del dominio de la funci on, uno y s olo un elemento del contradominio. Lo escribimos f : Df C, y la regla de correspondencia que nos indica que al elemento x Df le corresponde el elemento y C , se escribe y = f (x). As , f : Df C x y = f (x).
Al elemento f (x) del contradominio se le llama la imagen de x bajo f . EJEMPLO 3. Sea A = {1, 3, 5} el dominio de la funci on f , B = {r, s} el contradominio y la regla de correspondencia la podemos expresar como una tabla que indique el elemento del contradominio que corresponde a cada elemento del dominio: x y 1 3 5 s s r
As , vemos que f (1) = s, f (3) = s y f (5) = r , es decir que s es la imagen del 1 y del 3, y que r es la imagen de 5 bajo f . 3.4. Sea f : X Y una funci DEFINICION on con dominio X , contradominio Y y regla de correspondencia y = f (x). Al subconjunto de Y de los puntos imagen de todos los puntos x X bajo f , se le llama la imagen de la funci on y se denota con Imf , as , Imf = { y Y | y = f (x), x X }.
84
A la imagen de la funci on tambi en se le llama el rango , es el subconjunto de puntos del contradominio que barre f .
EJEMPLO 4. Sea A = {1, 3, 5} el dominio de f y B = {r, s, t, u, v } el contradominio. La regla de correspondencia est a dada por la tabla: x 1 3 5 y s s r
El subconjunto de B formado por los puntos imagen de f es Imf = {r, s}. As , s es un punto imagen, o est a en la imagen de la funci on, mientras que u no es punto imagen, no est a en la imagen de la funci on. 3.5. Sea f : X Y una funci DEFINICION on con dominio X , contradominio Y y regla de correspondencia y = f (x), y sea A un subconjunto de X . Al subconjunto de Y formado por los puntos imagen de los elementos de A se le llama la imagen de A bajo f y se le denota por f (A) o por Imf A, es decir, f (A) = Imf A = { y Y | y = f (x), para alg u n x A }. De hecho, la imagen de la funci on es f (X ). A f |A: X Y se le lama la funci on f restringida a A y tambi en se escribe como f : A Y , o de manera m as expl cita, f : A X Y . EJEMPLO 5. Sea X = {1, 2, 3, 4} el dominio de f , Y = {a, b, c, d, e, f } el contradominio y la regla de correspondencia dada por la tabla x 1 2 3 4 f (x) c a e e
Sea A = {1, 2, 4} un subconjunto de X . Los puntos imagen de los elementos de A son f (A) = {c, a, e}. Es decir, la imagen de A bajo f es f (A), que tambi en es, en este caso, f (X ). Hay dos funciones particulares. La funci on id entica y la funci on constante. 3.6. Sea una funci DEFINICION on f : A A, con regla de correspondencia y = f (x). La funci on id entica de A, que se denota por IA , tiene como regla de correspondencia f (x) = x, para toda x A IA : A A, IA (x) = x, x A.
85
EJEMPLO 6. Sea A = {1, 3, 5}, la funci on IA tiene la regla de correspondencia expresada en la tabla siguiente:
x 1 3 5
y 1 3 5
3.7. La f : A B es una funci DEFINICION on constante si existe c B tal que f (x) = c, para toda x A. EJEMPLO 7. Sea A = {1, 3, 5} el dominio de f y B = {r, s, t, u, v } el contradominio. La regla de correspondencia de una funci on constante est a dada por la tabla: x y 1 3 5 t t t
3.8. Sea f : X Y una funci DEFINICION on con dominio X , contradominio Y y regla de correspondencia y = f (x). La funci on f es: i) Inyectiva si a puntos diferentes en el dominio corresponden, bajo la funci on, puntos diferentes en el contradominio, es decir, si x=y entonces f (x) = f (y ),
La funci on constante expresada le podr amos llamar la funci on t, es decir la funci on tal que f (x) = t, para toda x A.
o, de manera equivalente, si f (x) = f (y ) entonces x = y . ii) Suprayectiva si todos los puntos del contradominio son imagen de los elementos del dominio, es decir, que para toda y Y existe x X tal que f (x) = y , o dicho en t erminos de la imagen, que f (X ) = Y . iii) Biyectiva si es inyectiva y suprayectiva. A las funciones biyectivas se les suele llamar correspondencia biun voca. EJEMPLO 8. Sean A = {1, 3, 5} y B = {s, t, u, v }. La funci on que asocia 1 f (1) = t, 3 f (3) = v y 5 f (5) = s es inyectiva pues a puntos distintos les corresponden puntos distintos. EJEMPLO 9. Sean A = {1, 3, 5, 7} y B = {s, t, u}. La funci on que asocia 1 g (1) = t, 3 g (3) = u, 5 g (5) = s y 7 g (7) = t es suprayectiva pues cada punto del contradominio es imagen de al menos uno en el dominio.
86
EJEMPLO 10. Sean A = {1, 3, 5} y B = {s, t, u}. La funci on que asocia 1 h(1) = t, 3 h(3) = u y 5 h(5) = s es biyectiva pues es inyectiva (puntos distintos van a puntos distintos) y suprayectiva (todos los puntos del contradominio son imagen), es decir, se trata de una correspondencia biun voca. 3.9. Sea f : X Y una funci DEFINICION on con dominio X , contradominio Y y regla de correspondencia y = f (x). La gr aca de f , que se denota por Gf es el subconjunto del producto cartesiano X Y tal que el segundo elemento de cada pareja ordenada es la imagen del primer elemento bajo f , es decir, As , la gr aca de una funci on es un conjunto de parejas ordenadas donde el primer elemento de cada pareja es un punto del dominio de la funci on y el segundo elemento es la imagen del primero bajo la funci on, es decir, la gr aca de una funci on es el conjunto de parejas x, f (x) , que es, claramente, un subconjunto del producto cartesiano X Y . EJEMPLO 11. Si A = {1, 3, 5}, la gr aca de la funci on id entica de A es GIA = {(1, 1), (3, 3), (5, 5)}. Gf = { (x, y ) X Y | y = f (x), x X }.
EJEMPLO 12. Sea R el conjunto de los n umeros reales. La funci on id entica (o identidad) de R es IR : R R tal que IR (x) = x, para toda x R. La gr aca de la funci on identidad es el subconjunto de R R, es decir de R2 (el plano cartesiano), tal que, GIR = { (x, x) | x R }. Es decir que la gr aca de la funci on id entica es el subconjunto del plano cartesiano formado por los puntos (x, y ) cuya abscisa y es igual a su ordenada x, se trata de la recta y = x que forma un angulo de 45 con el eje de las x y que pasa por el origen y el primer y tercer cuadrante. EJEMPLO 13. Si A = {1, 2, 3, 4} es el dominio de f , B = {a, b, c, d, e, f } el contradominio y la regla de correspondencia est a dada por la tabla x 1 2 3 4 f (x) c a e e
La gr aca de la funci on es el conjunto de parejas de la forma x, f (x) , subconjunto del producto cartesiano A B , Gf = {(1, c), (2, a), (3, e), (4, e)}. Algunos autores mezclan el concepto de funci on y el de gr aca de una funci on y denen a una funci on con dominio A y contradominio B , como un subconjunto del producto cartesiano A B de manera que las parejas tienen la forma x, f (x) , donde x A y f (x) B es la imagen de x bajo f .
87
Si f : X Y es una funci on inyectiva, es decir, que a puntos diferentes los env a a puntos diferentes, entonces podemos denir una funci on que tenga como dominio a f (X ) y como contradominio a X y su regla de correspondencia sea regresar a y f (X ) a la x X de la que provino bajo f . Le llamaremos la funci on inversa de la funci on f . 3.10. Sea f : X Y una funci DEFINICION on inyectiva. La funci on inversa de la funci on f , que denotamos con f 1 , tiene como dominio la imagen de f , es decir f (X ), como contradominio X y como regla de correspondencia f 1 (y ) = x, donde f (x) = y , para toda y f (X ). As , f 1 : f (X ) X y x = f 1 (y ), tal que y = f (x).
El elemento x X es la imagen de y bajo f 1 y tambi en se le llama la imagen inversa de y bajo f .
La funci on inversa de f regresa a cada elemento del contradominio de f al elemento del dominio del cual provino. EJEMPLO 14. Sean A = {1, 3, 5} y B = {r, s, t, u, v } y f la funci on con regla de correspondencia denida por la tabla siguiente: x 1 3 5 f (x) u s v
La imagen de la funci on es f (A) = {s, u, v }, luego es ah donde est a denida la funci on inversa de f , la tabla de f 1 es y s u v Es decir, x 1 3 5 y = f (x) u s v y s u v x = f 1 (y ) 3 1 5 f 1 (y ) 3 1 5
88
El prop osito de que la funci on f sea inyectiva es que cada punto imagen en el contradominio lo sea de s olo un elemento del dominio y as poder denir a ese punto como la imagen bajo f 1 . Insistimos, se puede denir la funci on inversa s olo en donde la funci on f sea inyectiva. Sin embargo, dada una funci on cualquiera f : X Y , y un punto y Y , podemos denir el conjunto imagen inversa de y Y . 3.11. Sea f : X Y una funci DEFINICION on y y Y un elemento del contradominio. La imagen inversa de y , que denotamos con f 1 (y ), es el conjunto de los elementos del dominio de la funci on f cuya imagen es y , f 1 (y ) = { x X | f (x) = y }. Como se ve claramente, si y es un elemento del contradominio que no es imagen bajo f , entonces su imagen inversa ser a el conjunto vac o. Si la funci on f no es inyectiva entonces la imagen inversa de algunos puntos ser a un conjunto con dos o m as elementos, y si la funci on es inyectiva, entonces la imagen inversa de cada punto en el contradominio ser a vac a o constar a de un solo punto (en cuyo caso podemos denir la funci on inversa en la imagen de la funci on). EJEMPLO 15. Sean A = {1, 3, 5, 8} y B = {r, s, t, u, v } y f la funci on con regla de correspondencia denida por la tabla siguiente: x 1 3 5 8 f (x) u s v s
Digan cu al es la imagen inversa de cada punto de B . . De la tabla vemos que r no es imagen, es decir, no existe x A tal SOLUCION que f (x) = r , luego f 1 (r) = . Lo mismo sucede con t, f 1 (t) = . Veamos ahora s, seg un la tabla s es la imagen de 3 y de 8 bajo f , luego f 1 (s) = {3, 8}. De la tabla obtenemos que f 1 (u) = {1} y que f 1 (v ) = {5}. De lo anterior obtenemos como criterio que, si f : X Y es una funci on, la funci on inversa estar a denida s olo en los puntos del contradominio cuya imagen inversa conste de uno y s olo un punto. Sean dos funciones f y g de manera que la imagen de la primera est e contenida en el dominio de la segunda. Si x est a en el dominio de f , y f (x) est a en el dominio de g , es posible aplicar g al punto f (x) y obtener g f (x) . Esta operaci on es la aplicaci on sucesiva de las funciones f y g , se llama la composici on de las funciones f y g . Noten que primero se aplica f y despu es se aplica g , por eso al resultado se le nombra f seguida de g , y considerando que g se aplica a la
89
imagen de f , se acostumbra escribir g f lo cual se lee f seguida de g , de hecho primero escribimos f (y decimos efe ), despu es, a la izquierda de la f escribimos la bolita (y decimos seguida de ) y, nalmente, a la izquierda de la bolita escribimos g (y decimos ge ). Si x X es un punto del dominio de f , aplicamos f y obtenemos f (x) en el dominio de g el contradominio de f , por hip otesis, est a contenido en el dominio de g , y por ello, a f (x) le podemos aplicar g , obteniendo g f (x) . Tenemos como resultado una funci on cuyo dominio es el dominio de f y cuyo contradominio en el contradominio de g , le llamamos efe seguida de ge y denotamos con g f , tambi en se lee ge compuesta con efe (pero entonces primero se escribe g , despu es la bolita y despu es f ). 3.12. Sean f y g dos funciones tales que la imagen de f est DEFINICION a contenida en el dominio de g , f : X Y y g : Y Z . La composici on de las funciones f y g , que se escribe g f y se lee efe seguida de ge o ge compuesta con efe , es una funci on cuyo dominio es el dominio de f , su contradominio es el contradominio de g y su regla de correspondencia es Se ilustra con el siguiente diagrama: xX (g f )(x) = g f (x) , para toda x X . f gf f (x) Y g s g f (x) Z
FIGURA 3.1
f seguida de g env a x X a g f (x) Z .
EJEMPLO 16. Sean A{1, 3, 5}, B = {s, t, u, v } y C = {i, j, k, l} y las funciones f : A B y g : B C dadas por las tablas: y x 1 3 5 y = f (x) u s v s t u v z = g (y ) i l j k
Entonces la tabla de g f es, x 1 3 5 z = g f (x) j i k
90
Actividad
Junta tres grupos de personas y dene funciones entre ellos, verica que lo sean, analiza cu ales son, o no, inyectivas y/o suprayectivas. Realiza la operaci on de composici on y describe la imagen inversa de varios subconjuntos. La operaci on de composici on de funciones no es, en general, conmutativa, mientras que s es asociativa. 3.1. Sean las funciones f : X Y , g : Y Z y h: Z W , entonces AFIRMACION (h g ) f = h (g f ).
. Partiendo de la denici DEMOSTRACION on de composici on de funciones, tenemos que (h g ) f (x) = h g f (x) = h g f (x) = h (g f )(x)
= h (g f ) (x).
PROBLEMAS 3.2 1. Sean A = {a, b, c} y B = {7, 5, 4} dos conjuntos. Di cu al de los conjuntos es la gr aca de una funci on con dominio A y contradominio B . a. {(a, 4), (b, 7), (a, 5)}, b. {(b, 2), (a, 7), (c, 4)}, e. {(b, 7), (c, 7), (a, 4)}, c. {(c, 4), (a, 4), (b, 4)}, d. {(7, c), (4, a), (5, a)}, f. {(1, 7), (b, 2), (a, 7)},
2. Si A = {2, 5, 7, 8} y B = {p, q, r}, dene una funci on inyectiva de A a B y otra de B a A, y escribe su gr aca como conjunto de parejas ordenadas. Cu al es la gr aca de la funci on id entica de B ? 3. Sea f la funci on que asocia a cada n umero entero entre 10 y 10 su cuadrado. Cu al es la imagen inversa de 64? 4. Si f (n) = 2n, para n N y g (m) = m2 para m N, cu al es la regla de correspondencia de g f , y de f g ? describe la gr aca de cada una de las composiciones. 5. Sea f una funci on biyectiva de A a B , qu e funci on es f 1 f , y f f 1 ? 6. Sea f una funci on cualquiera de A en B , f : A B , en d onde est a denida la funci on f 1 ?, contesta, para esta funci on, las preguntas del ejercicio anterior.
g. {(a, 7), (b, 5), (c, 4)},
h. {(a, a), (b, b), (c, c)}.
3.3 Funciones reales de variable real
91
3. FUNCIONES REALES DE VARIABLE REAL

Por funciones reales entendemos funciones que toman valores en el conjunto de los n umeros reales, es decir que su contradominio es un subconjunto de los n umeros reales. Que la funci on sea de variable real signica que su dominio es un subconjunto de los n umeros reales. 3.13. Una funci DEFINICION on real de variable real es una funci on cuyo dominio es un subconjunto de los n umeros reales y cuyo contradominio tambi en es un subconjunto de los n umeros reales. De manera general nos referiremos a las funciones reales de variable real como funciones de R a R. es decir f : R R, donde a cada x R se le asocia, por medio de la regla de correspondencia, el valor y = f (x) R. EJEMPLO 17. La funci on IR : R R cuya regla de correspondencia es IR (x) = x, para x X , es una funci on real de variable real. Su gr aca es,
(p agina 163)
CAP ITULO
LA DERIVADA DE UNA FUNCION
DE CAMBIO 1. CAMBIO Y RAZON

Cambio es modicaci on en posici on. Temprano en la ma nana estamos en casa, a mediod a estamos en la escuela. Una posici on es estar en casa, otra es estar en la escuela. En el transcurso de la ma nana modiqu e posici on, cambi e de lugar, estaba en casa ahora estoy en la escuela. La raz on de cambio, hablando de movimiento, es la comparaci on del cambio efectuado en la posici on con el tiempo que transcurri o para efectuarlo. Usamos el t ermino raz on para comparar dos cantidades, o dos longitudes, con el af an de ver cu antas veces contiene una a la otra, se expresa como cociente de dos n umeros. Muy famosa es la raz on de la circunferencia al di ametro, las veces que contiene la circunferencia de un c rculo a su di ametro C = 3.1415926535897932384626434 . . . , d com unmente llamada . La vemos aqu con 25 cifras de aproximaci on decimal. En nuestro caso queremos comparar cambio de posici on con tiempo, para ello dividimos la diferencia en posici on entre la diferencia en tiempo. Estamos comparando dos diferencias, posici on nal menos posici on inicial, el espacio recorrido, y tiempo nal menos tiempo inicial, el tiempo transcurrido. Al dividir el espacio recorrido entre el tiempo transcurrido obtenemos la raz on de cambio de la posici on respecto del tiempo.
163
164
Cap tulo 6 La derivada de una funcion
Hablando de funciones reales de variable real nos referiremos a la raz on de cambio de la funci on, que ser a comparar la diferencia de dos valores de la funci on con la diferencia de los puntos en el dominio de donde provienen esos valores. Sea f : R R una funci on real de variable real, es decir una funci on cuyo dominio y contradominio es el conjunto R de los n umeros reales, con regla de correspondencia y = f (x). Consideremos dos puntos a y b en su dominio, y su imagen f (a) y f (b) respectivamente. La raz on de cambio de la funci on en el intervalo (a, b) es f (b) f (a) , ba
donde a y b pertenecen al dominio de la funci on. Ve amoslo en la gr aca de la funci on,
FIGURA 6.1
La raz on que compara el cambio en el contradominio con el cambio en el f (b) f (a) . dominio es ba
EJEMPLO 1. Sea f (x) = x2 +1 la regla de correspondencia de la funci on f denida en el conjunto R de todos los n umeros reales, obtener la raz on de cambio de la funci on f (x) = x2 + 1 en el intervalo (1, 5). . La raz SOLUCION on de cambio de una funci on en el intervalo (a, b) est a dada por f (b) f (a) , ba luego la raz on de cambio de f (x) = x2 + 1 en el intervalo (1, 5) est a dada por el cociente f (5) f (1) 26 2 24 = = = 6. 51 4 4
de cambio 6.1 Cambio y razon
165
En el ejemplo anterior el valor de la funci on sube 24 mientras en el dominio la variable avanza del 1 al 5, lo cual equivale a decir que en promedio, en el intervalo (1, 5), la funci on sube 6 por cada unidad de avance . Al cociente tambi en se le conoce como la raz on de cambio promedio . En la gura 6.2 vemos que la diferencia de los valores de la funci on est a dada por la diferencia de ordenadas de los puntos (1, 2) y (5, 26), mientras que la diferencia en el dominio est a dada por la diferencia de abscisas.
FIGURA 6.2
En la gr aca de f (x) = x2 + 1 La raz on de cambio en el intervalo (1, 5) es 24 = 6. 4
La raz on de cambio de una funci on en el intervalo que va de un punto del dominio x0 a un incremento x0 + h, con h = 0, se llama el cociente de Newton de la funci on en el punto x0 , se expresa como f (x0 + h) f (x0 ) h y se puede describir como la raz on de cambio de la funci on f en el punto x0 respecto del incremento h. El cociente de Newton de una funci on compara el cambio de la funci on de f (x0 ) a f (x0 + h) con el cambio de la variable de x0 a x0 + h.
EJERCICIOS 6.1 En los ejercicios del 1 al 6, halla la raz on de cambio promedio de la funci on en los intervalos indicados. 1. f (x) = x2 + 1 (2, 6) 2. g (x) = 2x x2 (0, 2) 3. c(t) = 5t2 + 45 (1, 3) 4. h(x) = x (9, 16) 5. f (x) = x2 x + 1 (a, a + 2) 6. g (x) = 2x2 (a, a + h)
166
2. RAZONES Y RECTAS
El cociente de Newton es una buena manera de relacionar rectas con curvas que sean gr aca de alguna funci on. Geom etricamente representa la pendiente de la recta que cruza la gr aca de la funci on por los puntos de coordenadas x0 , f (x0 ) y x0 + h, f (x0 + h) . As , para describir algebraicamente una recta secante a la gr aca de una funci on f , que pase por el punto x0 , f (x0 ) , usamos el cociente de Newton de la funci on en el punto x0 para alg un incremento h = 0. Recordemos de nuestro curso de geometr a anal tica la forma punto-pendiente de la ecuaci on de una recta, es decir, hallar la ecuaci on de una recta dada su pendiente y un punto por el cual pasa. Supongamos que la recta en cuesti on no es vertical, tiene pendiente m y pasa por el punto (x1 , y1 ). Sea (x, y ) cualquier otro punto de la recta. La pendiente m de la recta es precisamente la diferencia de ordenadas dividida entre la diferencia de abscisas, claro, es una raz on! muestra cu an empinada est a la recta, compara lo que sube contra lo que avanza. As , se cumple que y y1 m= , x x1
de donde obtenemos la conocida forma punto-pendiente de la ecuaci on de la recta: y y1 = m(x x1 ). EJEMPLO 2. Halla la ecuaci on de la recta en el plano cartesiano con pendiente m = 6 que pasa por el punto de coordenadas (1, 2). . En la forma punto-pendiente de la ecuaci SOLUCION on de una recta con pendiente m que pasa por el punto (x1 , y1 ) substituimos los datos m = 6, x1 = 1 y y1 = 2, obtenemos despejando y tenemos y 2 = 6(x 1), y = 6x 4. Observemos en la gura 6.3 que la recta del ejemplo 2 pasa por el punto (1, 2), tiene pendiente 6 y pasa, tambi en, por el punto (5, 26). Comparemos con el resultado del ejemplo 1, ah estudiamos la raz on promedio de cambio de la funci on f (x) = x2 + 1 en el intervalo (1, 5). El valor de dicha raz on de cambio es 6. Ahora vemos que la recta que une los puntos (1, 2) y (5, 26) sobre la curva tiene pendiente 6, lo cual signica que al estudiar la raz on promedio de cambio de una funci on f en el intervalo (a, b) estudiamos asimismo la pendiente de la recta que une a los puntos a, f (a) y b, f (b) sobre la gr aca de la funci on. Volviendo al problema de trazar una recta secante a la curva formada por la gr aca de una funci on f , que pase por el punto x0 , f (x0 ) donde x0 es un punto del dominio, consideremos el n umero real h = 0 de manera que x0 + h Df .
6.2 Razones y rectas
167
FIGURA 6.3
La recta y = 6x 4 tiene pendiente 6 y pasa por el punto (1, 2). Noten que pasa tambi en por el punto (5, 26).
Una secante a la curva formada por la gr aca de la funci on f es la recta con pendiente f (x0 + h) f (x0 ) que pase por el punto x0 , f (x0 ) . h O, de manera equivalente, la recta que pasa por los puntos x0 , f (x0 ) y x0 + h, f (x0 + h) . La ecuaci on de esta recta tangente es, partiendo de la forma punto-pendiente, y y1 = m(x x1 ) substituyendo los valores de la pendiente y las coordenadas del punto, y f (x0 ) = f (x0 + h) f (x0 ) h (x x0 ).
y =f (x ) f ( x 0+ h ) f ( x 0+ h )- f ( x 0)
f ( x 0) x0
FIGURA 6.4
h x 0+ h
La recta secante a la gr aca de f (x) que pasa por x0 , f (x0 ) y x0 + h, f (x0 + h) f (x0 ) f (x0 + h) tiene pendiente . h
168
. La funci SOLUCION on del ejemplo 1 es f (x) = x2 + 1, el punto (1, 2) es, en efecto, un punto de la gr aca de f (x) pues f (1) = 2, as que tiene sentido la pregunta. Ahora bien, cuando nos piden trazar secantes, dada la traducci on entre geometr a y algebra constru da alrededor de por FERMAT y DESCARTES, de manera independiente, basta con dar la ecuaci on de dicha recta secante. Hemos entonces de trazar rectas del punto (1, 2) a los puntos 4, f (4) = (4, 17), 3, f (3) = (3, 10) y 2, f (2) = (2, 5). Para ello obtenemos la raz on de cambio de la funci on f (x) = x2 + 1 en cada uno de los intervalos (1, 4), (1, 3) y (1, 2) subconjuntos del dominio de la funci on (no confundan a los intervalos que son subconjuntos de R, la recta real, con las parejas ordenadas que representan puntos en el plano cartesiano). La raz on de cambio de la funci on en cada uno de los intervalos llam emoslas q , r y s es la pendiente de la recta buscada. 10 2 52 17 2 = 5, r = =4 y s= =3 q= 41 31 21 As la ecuaci on de la recta que pasa por (1, 2) y (4, 17) es De manera an aloga, la ecuaci on de la recta que pasa por (1, 2) y (3, 10) es Finalmente, la ecuaci on de la recta que pasa por (1, 2) y (2, 5) es y 2 = 3(x 1)
35 30 25 20
f (4)=17 y =5 x -4 y =4 x -2 y =3 x -1
EJEMPLO 3. Trazar las secantes a la gr aca de la funci on en el ejemplo 1 que pasen por el punto (1, 2), y por los puntos de la gr aca correspondientes a los valores 4, 3 y 2 Df .
y 2 = 5(x 1)
o, simplicando, y = 5x 3.
y 2 = 4(x 1)
f ( x )= x +1
2
15 f (3)=10 f (2)=5
f (1)=2
1
FIGURA 6.5
Secantes trazadas de 1, f (1) a 4, f (4) , 3, f (3) y 2, f (2) .
Usamos la raz on de cambio de una funci on en un intervalo para obtener la pendiente de la recta que cruza la gr aca de la funci on en los puntos correspondientes a los valores de los extremos del intervalo.
6.3 Tangente a la curva
169
Observemos c omo, en el ejemplo anterior, esbozamos la manera de lograr uno de los principales objetivos del presente libro, explicar c omo trazar la tangente a una curva en un punto dado . Pueden ver en la gura 6.5 que trazamos varias rectas secantes que pasan por el punto x0 , f (x0 ) en este caso (1, 2), es decir, x0 = 1 y, respectivamente, por otros puntos sobre la curva situados m as y m as cerca del mismo (1, 2), a saber los puntos x0 + h, f (x0 + h) correspondientes a los valores de h = 3, 2 y 1, cuyas pendientes tomaron los valores respectivos de 5, 4 y 3. Qu e suceder a si consideramos valores de h cada vez m as y m as 1 1 peque nos, por ejemplo h = 1 , , , . . . ? Evidentemente tendr amos, aplicando 2 3 4 el mismo procedimiento que en el ejemplo 3, secantes que van de (1, 2) a puntos m as y m as cercanos. Seg un mencionamos en el cap itulo 0, de continuar obtendr amos la tangente a la curva en (1, 2) como estado l mite del procedimiento mencionado. Pero eso es tema de la siguiente secci on, mientras tanto resolvamos estos ejercicios.
EJERCICIOS 6.2 En los ejercicios del 1 al 6, trazar secantes que crucen la gr aca de la funci on mencionada en el punto correspondiente a x0 y a x0 + h para los valores de h indicados 1. f (x) = x2 + 1, 2. g (x) = 3x x2 , x0 = 1, h = 3, 2, 1. x0 = 1, h = 1, 2, 3. 2 3. c(t) = 5t + 45, 4. h(x) = x, 1 1 t0 = 3, h = 3, 2, 1. x0 = 0, h = 1 4 , 9 , 16 . 5. f (x) = x3 x, x0 = 0, h = 1, 0.5, 0.05. 6. g (x) = |x| 2, x0 = 0, h = 2, 2, 1.
3. TANGENTE A LA CURVA
Las curvas presentadas en las explicaciones de las dos secciones anteriores fueron expresadas, en el plano cartesiano, como gr acas de funciones. En lugar de hablar de la curva C nos referimos a la gr aca de una funci on f . Es decir estamos tratando con curvas que son gr acas de funciones, a la manera explicada en el cap tulo 3. Durante la exposici on supusimos tambi en, de manera impl cita, que la curva era continua, es decir que tratamos con gr acas de funciones continuas, al estilo del cap tulo 5, ya veremos si ello es necesario. Para dar el siguiente paso emplearemos la herramienta expuesta en el cap tulo 4, el concepto de l mite. Tenemos el problema planteado: Dada una curva C y un punto P sobre la curva, denir la tangente a C que pase por P .
170
Resolvemos, en esta secci on, la siguiente modalidad del problema expuesto en la p agina anterior:
Sea f : Df R una funci on real de variable real, el dominio Df R, y x0 un punto cualquiera en el dominio de f , denir la recta tangente a la gr aca de la funci on, que llamaremos la curva y = f (x), en el punto x0 , f (x0 ) . Insistimos, se trata de una modalidad pues no toda curva se puede expresar como gr aca de una funci on de R en R. En cursos avanzados de C alculo estudiar an una clase mucho m as amplia de curvas, las parametrizadas, expresadas como funciones de R en R2 , el plano cartesiano, y, en general, de R en Rn , para ellas la recta tangente se denir a de manera similar, como un proceso l mite de vectores que unen dos puntos de la curva. 6.1. Sea x0 un punto del dominio de la funci DEFINICION on f (x), denimos la pendiente de la recta tangente a la gr aca de f (x) en el punto correspondiente a x0 como el l mite, si es que existe, de las pendientes de las secantes que pasan por x0 , f (x0 ) y por puntos m as y m as cercanos a el sobre la gr aca de la funci on, es decir, la pendiente de la recta tangente es
h0
l m
f (x0 + h) f (x0 ) , h
si existe el l mite. La pendiente de la tangente es el l mite del cociente de Newton cuando h 0.

y =f (x )
y - f ( x 0)= f ( x 0)( x - x 0)
f ( x 0) x0
FIGURA 6.6
La recta tangente tiene pendiente f (x0 ) = l m
h0
f (x0 + h) f (x0 ) . h
Por comodidad, como ya dijimos, llamamos a la gr aca de la funci on la curva y = f (x). La pendiente de la recta tangente a la curva y = f (x) en el punto x0 , f (x0 ) se denota con f (x0 ).
6.3 Tangente a la curva
171
As , la ecuaci on de la recta tangente a la curva y = f (x) en el punto x0 , f (x0 ) est a dada por y f (x0 ) = f (x0 )(x x0 ), siempre que el l mite f (x0 ) = l m exista. EJEMPLO 4. Halla la pendiente de la recta tangente a la curva y = x2 + 1 en el punto correspondiente a x = 1, da la ecuaci on de esa recta tangente. 2 . La curva en R , el plano cartesiano, la podemos expresar como SOLUCION gr aca de la funci on de R en R con regla de correspondencia f (x) = x2 + 1. La pendiente de la recta tangente a la curva en el punto 1, f (1) , que corresponde en la gr aca al punto x = 1 en el dominio de la funci on est a dada por el l mite del cociente de Newton en ese punto cuando h 0. La pendiente es f (1 + h) f (1) , f (1) = l m h0 h siempre que el l mite exista.
f ( x )= x 2+1
f (x0 + h) f (x0 ) h0 h
35 30 25
f (4)=17 y =5 x -4 y =4 x -2 y =3 x -1 y =2 x
20 15
f (3)=10 f (2)=5
f (1)=2
1
FIGURA 6.7
La recta tangente a la curva y = x2 + 1 en (1, 2) es y = 2x.
Procedamos, f (1 + h) f (1) (1 + h)2 + 1 (12 + 1) = l m h0 h0 h h 2 2h + h = l m h0 h para h = 0, tenemos que lo anterior es igual a l m
172
h0
l m (2 + h) = 2
Y, por lo tanto, la ecuaci on de la recta tangente en 1, f (1) = (1, 2) es y 2 = 2(x 1) o, simplicando, y = 2x. Lo cual se ilustra en la gura 6.7 en la p agina anterior. Simple, verdad?, as sucede, despu es de hallada una soluci on da la apariencia de algo que siempre fue del dominio p ublico, sin embargo ya para los antiguos griegos, hace m as de 2,300 a nos, era un reto. FERMAT y DESCARTES, alrededor del a no , dieron elementos para esbozar esa denici on, LEIBNIZ y NEWTON la proponen, casi simult aneamente, alrededor de , pero es CAUCHY hasta 140 a nos despu es quien da pleno sentido al concepto de l mite y con ello a la denici on. Ver, al nal del cap tulo, la NOTA HISTORICA . EJEMPLO 5. Halla la pendiente de la recta tangente a y = x en x0 = 1. . La curva mencionada es gr SOLUCION aca de la funci on con regla de corres pondencia f (x) = x, denida en R+ , el conjunto de los n umeros reales no negativos, es decir mayores o iguales que 0. Sabemos, adem as, por convenci on, que la funci on toma s olo valores no negativos.
FIGURA 6.8
La pendiente de la tangente a la curva y =
x en x0 = 1 es
1 . 2
El cociente de Newton de la funci on en el punto es 1+h 1 . h Vemos que es necesario manipular esta fracci on para deshacernos de una expresi on indeterminada que aparecer a al hacer tender h a 0. Racionalizando, 1+h 1 1+h+ 1 1+h 1 = h 1+h+ 1 h haciendo operaciones y simplicando, para h = 0,
6.3 Tangente a la curva 1
173 1 , 1+h+ 1
1+h h
1 lo cual tiende a 2 cuando h 0. As , la pendiente de la recta tangente a y = 1 un se ilustra en la gura 6.8. en x0 = 1 es m = 2 , seg
EJEMPLO 6. Halla la pendiente de la tangente a la curva f (x) = x3 x2 para cualquier punto x0 en el dominio de la funci on.
FIGURA 6.9
, La curva f (x) = x3 x2 y tangentes en x0 = 1 2
1 2
y 1.
. La pendiente de la tangente est SOLUCION a dada por el l mite del cociente de Newton de la funci on f (x) = x3 x2 en el punto x0 cuando h 0, es decir (x0 + h)3 (x0 + h)2 (x0 3 x0 2 ) , h0 h haciendo operaciones, el l mite anterior es igual a Pendiente en x0 = l m l m
x0 3 + 3x0 2 h + 3x0 h2 + h3 (x0 2 + 2x0 h + h2 ) x0 3 + x0 2 , h0 h simplicando, 3x0 2 h + 3x0 h2 + h3 2x0 h h2 = l m , h0 h para h = 0, Pendiente en x0 = l m (3x0 2 + 3x0 h + h2 2x0 h),
h0
= 3x0 2 2x0 .
174
La pendiente de la tangente en cualquier punto x0 est a dada por la expresi on f (x0 ) = 3x0 2 2x0 . Para hallar la pendiente en un punto particular substitu mos ese valor en el lugar de x0 , por ejemplo, para la pendiente de la tangente para los 1 1 , 2 y 1 se substituye cada valor de x0 en la expresi on f (x0 ) = puntos x0 = 2 7 1 1 2 1 3x0 2x0 , obteniendo f ( 2 ) = 4 , f ( 2 ) = 4 y f (1) = 1 respectivamente, seg un se ilustra en la gura 6.9(B). Es interesante ver el comportamiento de la tangente a la curva f (x) = x3 x2 1 . Es tangente en el punto mencionado y cruza la curva en el origen en x0 = 2 seg un se puede apreciar en esta ampliaci on (donde estiramos un poco el eje vertical para apreciar la separaci on entre la curva y la recta).
0.2
0.5
-0.4 -0.2 -0.2 0.2 0.4 0.6 0.8 1
-0.4
FIGURA 6.9(B)
1 . Acercamiento a f (x) = x3 x2 y a la tangente en x0 = 2
En la secci on anterior estudiamos raz on de cambio en intervalos, conocida como raz on promedio de cambio. Ahora, con el concepto de l mite obtenemos la raz on de cambio en un punto . La pendiente de la recta tangente a la curva y = f (x) en el punto x0 se conoce como la raz on instant anea de cambio de la funci on en x0 . Tambi en se le llama la pendiente de la curva en ese punto.
EJERCICIOS 6.3 En los ejercicios del 1 punto indicado y da la 1. f (x) = x2 + 1, 3. c(t) = 5t2 + 45t, 5. f (x) = x3 x, al 6, halla la pendiente de la tangente a ecuaci on de la recta tangente. x0 = 1. 2. g (x) = 3x x2 , t0 = 3. 4. h(x) = x, x0 . 6. g (x) = |x| 2, la curva en el x0 = 1. x0 = 0. x0 = 0.
derivada de una funcion 6.4 La funcion
175
DERIVADA DE UNA FUNCION 4. LA FUNCION

La denici on de recta tangente a la gr aca de una funci on de R en R ser a la base para denir una de las m as importantes herramientas del C alculo, el concepto de derivada. Como vimos en la secci on anterior, es posible trazar la tangente a la gr aca de una funci on f (x) s olo en los puntos x0 del dominio de la funci on en donde existe el l mite del cociente de Newton cuando h 0. La funci on derivada de la funci on f (x) est a denida en esos puntos donde la gr aca de la funci on f (x) tiene tangente, la regla de correspondencia de la funci on derivada asigna a cada punto de su dominio el valor de la pendiente de dicha tangente. 6.2. Sea f : R R una funci DEFINICION on real de variable real con regla de correspondencia y = f (x), la funci on derivada de f , que denotamos con f , es una funci on cuyo dominio Df R consta de los puntos x Df para los cuales existe el l mite del cociente de Newton cuando h 0. La regla de correspondencia de f est a dada por f (x) = l m f (x + h) f (x) . h0 h
Dada y = f (x) analizamos la expresi on

h0
l m
f (x + h) f (x) , h
los puntos x del dominio de la funci on f (x) para los que exista el l mite anterior forman el dominio de la funci on derivada.
La funci on derivada f de la funci on f asocia a cada punto x de su dominio el valor de la pendiente de la curva y = f (x) Para simplicar, a la funci on derivada f de la funci on f le llamamos simplemente la derivada de f . La derivada f (x) de una funci on y = f (x), tambi en se denota con dy que se lee dy en dx, la derivada de y respecto a x, dx o, de otra manera, y = f (x) que se lee y prima igual a f prima de x. Recordemos que a la pendiente de la tangente a la gr aca de la funci on en un punto determinado le llamamos raz on instant anea de cambio o pendiente de la curva en ese punto.
176
Podemos concluir que la derivada de una funci on representa el comportamiento de la pendiente de la gr aca de la funci on. La derivada en un punto nos dice cu an empinada est a la funci on en ese punto. Al analizar la gr aca de la derivada de una funci on obtenemos informaci on sobre c omo va cambiando la gr aca de la funci on. EJEMPLO 7. Halla la derivada de f (x) = x2 + 1 y traza la gr aca de la funci on derivada. Observa la relaci on entre la gr acas. . Analicemos para qu SOLUCION e valores de x existe (x + h)2 + 1 (x2 + 1) . h0 h Desarrollando y simplicando para h = 0, l m (x + h)2 + 1 (x2 + 1) = l m (2x + h) h0 h0 h = 2x. l m La expresi on 2x est a denida para todo x R por lo que Df = R y f (x) = 2x.
f ( x ) = x 2+ 1
20
f '( x ) = 2 x
f ( 4) = 17
15
f (2) = 4 2 6 4 2 10 2 4
y = 8 x 15
5
y=4x3
4 6 10 f ( 4)= 8
y=1
6 4 2 2 4
FIGURA 6.10
Gr aca de f (x) = x2 +1 con tangentes en x0 = 4, 0 y 2, y de f (x) = 2x, mostrando los valores de f (4), f (0) y f (2).
Vemos, en la gura 6.10, que la gr aca de la derivada corta al eje de las x en el origen, el valor de la derivada pasa de tomar valores negativos antes del origen, como en x = 4 donde f (4) = 8, llega a cero en x0 = 0, y toma valores positivos, como en x = 2 donde f (2) = 4. En la gr aca de la funci on apreciamos c omo las tangentes a la curva en los puntos x0 = 4, 0 y 2, que son las rectas y = 8x 15, y = 1 y y = 4x 3 respectivamente, cambian su inclinaci on pasando, en x0 = 0, por la posici on horizontal.
derivada de una funcion 6.4 La funcion
177
Las tangentes pasan de inclinarse a la derecha (antes de 0), a ser horizontal (en x0 = 0), y (despu es de 0) estar inclinadas hacia la izquierda. Conforme x se acerca a 0 desde los n umeros negativos, la gr aca de la derivada va creciendo hasta llegar a 0, despu es toma valores positivos cada vez m as grandes. Es posible obtener informaci on sobre el comportamiento de la funci on a partir del comportamiento de la derivada de la funci on. Aunque hablaremos in extenso sobre dicho tema en el cap tulo 8, veamos el ejemplo a manera de ilustraci on. EJEMPLO 8. Halla la derivada de f (x) = x3 x2 y traza la gr aca de la funci on derivada. Estudia las gr acas. . La funci SOLUCION on f (x) est a denida para todo n umero real x, luego Df = R. En el EJEMPLO 6 vimos que el l mite del cociente de Newton de la funci on est a denido para todo x R, luego Df = R, y el valor del l mite da la regla de correspondencia de la derivada, es decir f (x) = 3x2 x.
1
0.5
0.5
0.5 0.5
0.5
1.5
0.5 0.5
0.5
1
FIGURA 6.11
3 2 2
Gr aca de f (x) = x x y de f (x) = 3x 2x.
En la gr aca de la derivada (lado derecho de la gura 6.11) vemos que en el intervalo (, 0] la pendiente es positiva y va disminuyendo hasta 0 conforme x est a m as y m as cerca de 0, lo cual describe el comportamiento de la gr aca del lado izquierdo en donde vemos que conforme nos acercamos a 0 desde los negativos, la curva est a cada vez menos empinada, hasta tener tangente horizontal ah el valor de la derivada es 0. En la gr aca de la derivada vemos que en el 2 ] la pendiente es negativa, intervalo [0, 3 f (x) = 3x2 2x = 0 en x = 0 y x = 2 , 3
178
mientras x var a de 0 a 2 es de x = 1 3 , la pendiente disminuye hasta que despu 3 vuelve a aumentar manteni endose en los negativos, cruza el eje de las x en 2 2 y es positiva en el intervalo [ 3 , ) tomando valores m as y m as grandes x= 3 2 conforme x est a m as lejos de x = 3 . Podemos apreciar, de los ejemplos anteriores, que cuando la derivada toma valores negativos la tangente a la gr aca de la funci on tiene una inclinaci on como y = x, mientras que si la derivada toma valores positivos la inclinaci on de la tangente a la gr aca de la funci on es como y = x. En el cap tulo 8 usaremos estas propiedades para estudiar la forma de la gr aca de una funci on a partir del comportamiento de su funci on derivada. Resumiendo el contenido de esta secci on, el procedimiento para encontrar la funci on derivada a partir de su denici on es: 1. Dada f (x), halla el cociente de Newton 2. Ubicar los puntos para los cuales existe
f (x+h)f (x) . h f (x+h)f (x) , l m h h0
el
dominio de la funci on derivada es el conjunto de esos puntos para los que existe dicho l mite. 3. La regla de correspondencia de la funci on derivada es f (x) = l m
h0
f (x + h) f (x) . h
El estudio de la funci on derivada nos ayuda a comprender la forma de la funci on original.
EJERCICIOS 6.4 En los ejercicios del 1 al 6, describir el dominio y dar la regla de correspondencia de la funci on derivada de la funci on dada. Describir las conclusiones obtenidas al estudiar la gr aca de la funci on y de su derivada. 1. f (x) = x3 + 1. 2. g (x) = 3x x2 . 2 3. c(t) = 5t + 45t. 4. h(x) = x. 5. f (x) = x3 x. 6. g (x) = |x| 2.
6.5 Nota historica
179
5. NOTA HISTORICA
El problema de hallar la tangente a una curva fue estudiado y resuelto para multitud de casos particulares a trav es de los a nos. Casi todos los casos resueltos, sobre todo antes de los griegos, durante los griegos o por sus sucesores isl amicos, la soluci on requer a de ingeniosas construcciones. Nadie desarroll o un m etodo o algoritmo que permitiera resolver f acilmente el problema en nuevas situaciones. EUCLIDES en los Elementos , la obra matem atica m as importante de la epoca de los griegos escrita hace aproximadamente 2,300 a nos, en la denici on 2 del Libro III, describe lo que hoy entender amos como una tangente a un c rculo. Se dice que una recta toca un c rculo si al trazarla y llegar al c rculo, no lo corta. Para EUCLIDES una tangente a un c rculo es una recta que toca al c rculo, sin cruzarlo. Demostr o, en la proposici on 16 del Libro III que la recta perpendicular a un di ametro de un c rculo trazada por uno de sus extremos queda fuera del c rculo, y entre el espacio que hay entre esa recta y la circunferencia no se puede interponer otra recta. M as adelante, en un corolario, muestra que dicha recta toca al c rculo. La parte de la proposici on 16 respecto a que ninguna recta se puede interponer entre la curva y la recta en cuesti on, pas o a formar parte de la denici on de tangente antes de la introducci on del C alculo. Posteriormente APOLONIO ( A.C.) en su obra C onicas , en el Libro I, analiz o el problema de trazar la tangente a una par abola en un punto dado, pens andola, como EUCLIDES, como recta que toca pero no cruza la curva. Asimismo mostr o c omo trazar tangentes a elipses y a hip erbolas. Cuando a principios del siglo diecisiete surge la geometr a anal tica, los matem aticos pudieron s ubitamente construir multitud de nuevas guras, enfrentando el problema de hallar nuevas maneras de trazar tangentes. En esa epoca todav a no se trabajaba con funciones, sino con curvas denidas mediante alguna relaci on entre dos variables. En KEPLER en su Nueva Geometr a de Botellas de Vino , reri endose a la variaci on de volumen con la altura del m aximo paralelep pedo inscrito en una esfera dec a Cerca del m aximo, los decrementos en ambos lados son inicialmente imperceptibles. KEPLER armaba que si se var a en una peque na cantidad la altura del paralelep pedo m aximo, la variaci on en volumen es inicialmente imperceptible, casi nula o, empleando el lenguaje de esta secci on, la tasa de cambio promedio alrededor
180
del m aximo es casi cero, y, en t erminos de tangentes, la tangente en el m aximo es horizontal .
Alrededor de FERMAT mostr o que su m etodo de las adecuaciones desarrollado para resolver un problema de m aximos se pod a adaptar para determinar la tangente a una curva. Simult aneamente DESCARTES trabajaba en el problema de determinar la pendiente de la normal a una curva, de donde f acilmente se puede obtener la tangente. A nes de los s, ROBERVAL () descubri o un m etodo para determinar tangentes considerando que una curva est a generada por un punto en movimiento, pero su m etodo depende de la descripci on geom etrica de la curva. En una edici on de de la Geometr a de DESCARTES, en el cap tulo Sobre m aximos y m nimos el holand es HUDDE simplica los c alculos necesarios en el m etodo de Descartes para hallar normales. Tambi en durante la segunda mitad del siglo diecisiete SLUSE nacido en Li` ege, desarroll o un m etodo para encontrar la pendiente de tangentes a curvas descritas mediante ecuaciones polinomiales. Aunque no sabemos c omo lleg o a su resultado, quiz a fue la generalizaci on de multitud de ejemplos, su importancia radica, junto con HUDDE, en que proporcionaron algoritmos generales mediante los cuales se pueden trazar tangentes a curvas representadas por medio de ecuaciones polinomiales. El problema de trazar la tangente, junto con los conceptos de velocidad y aceleraci on instant aneas origin o a la larga el potente y c omodo C alculo Innitesimal de LEIBNIZ y el m etodo de las uxiones de NEWTON. Hallar la tangente a una curva en un punto y hallar la velocidad de una part cula que describe esa curva cuando alcanza ese punto son problemas matem aticamente id enticos. Los m etodos del cociente diferencial de Leibniz y de la uxi on de Newton fueron descubiertos de manera independiente y casi simult anea. Parece que NEWTON lo descubri o primero pero fue LEIBNIZ el primero en publicarlo en . En la lecci on 3 de su Resumen de las clases impartidas en la Escuela Real Polit ecnica sobre C alculo Innitesimal , publicado en , CAUCHY dene la derivada de una funci on de la manera que la expusimos en el presente cap tulo, y se considera el primero en usar expl citamente la denici on moderna de derivada para demostrar teoremas.

LopezMateosManuel CalDifeInt Borrador1 Libre

Cargado por

Información del documento

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

LopezMateosManuel CalDifeInt Borrador1 Libre

Cargado por

Copyright:

Formatos disponibles

Esta edicin es un borrador, se difunde por tiempo limitado para efectos de recabar comentarios. Prohibida su modificacin, copia o distribucin.

lopezmateos.com.mx ISBN En trmite

PRESENTACION CAP ITULO 0 INTRODUCCION

CAP ITULO 1 EL LENGUAJE DE LOS CONJUNTOS

CAP ITULO 2 PUNTOS EN LA RECTA REAL

CAP ITULO 3 FUNCIONES REALES

CAP ITULO 4 EL CONCEPTO DE L IMITE

CAP ITULO 5 FUNCIONES CONTINUAS

CAP ITULO 6 LA DERIVADA DE UNA FUNCION

CAP ITULO 7 PROPIEDADES DE LA DERIVADA

CAP ITULO 8 MAXIMOS Y M INIMOS

CAP ITULO 9 LA INTEGRAL DEFINIDA

CAP ITULO 10 PROPIEDADES DE LA INTEGRAL

CAP ITULO 11 TODOS DE INTEGRACION ME

CAP ITULO 12 EL CALCULO EN EL ESTUDIO DE LA CIENCIA

NDICE E APE TABLA DE INTEGRALES

Cap tulo 0 Introduccion

Recta que toca a la curva en solo el punto P . Es la tangente?

La recta no cruza la curva.

Cap tulo 0 Introduccion

La recta cruza la curva en Q pero no es tangente en P ?

Ahora la recta, aunque cruza la curva en R , es tangente en R .

Cap tulo 0 Introduccion

Cap tulo 0 Introduccion

Y MAS CERCA 4. MAS

Cap tulo 0 Introduccion

0.6 Estar o no estar

Cap tulo 0 Introduccion

DEL CALCULO 7. PRESENTACION

0.8 Nota historica

Cap tulo 0 Introduccion

0.8 Nota historica

EL LENGUAJE DE LOS CONJUNTOS

Cap tulo 1 El lenguaje de los conjuntos

Cap tulo 1 El lenguaje de los conjuntos

En el universo vemos conjuntos y puntos.

Cap tulo 1 El lenguaje de los conjuntos

Cap tulo 1 El lenguaje de los conjuntos

Cap tulo 1 El lenguaje de los conjuntos

1.1. Si A, B y C son conjuntos tales que A B y B C , entonces AFIRMACION A C.

A B pueden ver que B c Ac ?

1.3. Dos conjuntos A y B son iguales , lo escribimos A = B , si DEFINICION A B y B A.

Cap tulo 1 El lenguaje de los conjuntos

Las partes sombreadas representan la intersecci on y uni on de dos conjuntos.

Cap tulo 1 El lenguaje de los conjuntos

Cap tulo 1 El lenguaje de los conjuntos

Cap tulo 1 El lenguaje de los conjuntos

Cap tulo 1 El lenguaje de los conjuntos

Cap tulo 1 El lenguaje de los conjuntos

La conjunci on de las proposiciones p y q , a saber, 7 es par y Santiago es la capital de Chile,

De lo anterior obtenemos que p

Cap tulo 1 El lenguaje de los conjuntos

Es decir, la tabla de verdad de la disyunci on excluyente es: p q

Los puntos que est an en A o en B pero no en ambos.

Cap tulo 1 El lenguaje de los conjuntos

la tabla de verdad de la implicaci on es p

Cap tulo 1 El lenguaje de los conjuntos

obtenemos la tabla de verdad de p q p

Cap tulo 1 El lenguaje de los conjuntos

Cap tulo 1 El lenguaje de los conjuntos

A continuaci on construyamos la tabla para p, q , (p q ), p y, nalmente, (p q ) p. p

PUNTOS EN LA RECTA REAL

Cap tulo 2 Puntos en la recta real

2.1 Numeros Naturales