Sie sind auf Seite 1von 112

UNIVERSI

DO
CUA R
LE

CENTRAL DE
AD

FU

NDA

65
DA EN 1

QUITO

UNIVERSIDAD CENTRAL DEL ECUADOR


FACULTAD DE FILOSOFA, LETRAS Y CIENCIAS DE LA EDUCACIN

PROGRAMA DE EDUCACIN A DISTANCIA

(PED)

MDULO:
EDUCACIN MATEMTICA I

Autor: Dr. Carlos Montenegro Balseca, MSc.

Quito, Diciembre 2010

MDULO: EDUCACIN MATEMTICA I


Autor: Dr. Carlos Montenegro Balseca, MSc.

Publicacin:

Universidad Central del Ecuador


Facultad de Filosofa, Letras y Ciencias de la Educacin
Programa de Educacin a Distancia (PED)

Decano:

Dr. Edgar Herrera Montalvo, MSc.

Vicedecano:

Lic. Galo Arellano Moscoso, MSc.

Director Educacin
Semipresencial:

Dr. Marco Quichimbo Galarza, MSc.

Coordinadores:

Lic. Gustavo Ullrich, MSc.


Lic. Ismael Escobar, MSc.
Lic. Vladimir Cruz
Lic. Myriam Tupiza
Lic. Alexandra Flores

Impreso:

SYSTEM GRAPHIC
Jorge Washington Oe4-30 y Av. Amazonas
Telf.: (593) 290 3120 / 254 1470 / 092553760
E-mail: systemgrafic@yahoo.com
www.systemgraphic.com.ec

Quito - Ecuador

NDICE
PRLOGO .........................................................................................................................

INTRODUCCIN ................................................................................................................

UNIDAD 1
LGICA MATEMTICA
OBJETIVO .........................................................................................................................

SUMARIO..........................................................................................................................

INTRODUCCIN ................................................................................................................

LGICA MATEMTICA........................................................................................................

10

PROPOSICIONES SIMPLES .................................................................................................

10

VALOR DE VERDAD DE UNA PROPOSICIN .........................................................................

10

PRINCIPIOS GENERALES DE LAS PROPOSICIONES ...............................................................

11

ESTRUCTURA LGICA DE LA MATEMTICA .........................................................................

11

OPERACIONES CON PROPOSICIONES .................................................................................

12

PROPOSICIONES COMPUESTAS ..........................................................................................

13

CONJUNCIN () ..............................................................................................................

13

DISYUNCIN () ...............................................................................................................

14

BIDISYUNClN ( ) ..........................................................................................................

15

NEGACIN ()...................................................................................................................

16

CONDICIONAL ()............................................................................................................

16

BICONDICIONAL ().........................................................................................................

18

CONJUNCIN NEGATIVA () ..............................................................................................

18

TIPOS DE PROPOSICIONES COMPUESTAS ...........................................................................

19

1. TAUTOLOGAS ..............................................................................................................

19

2. CONTRADICCIONES .......................................................................................................

20

3. INDETERMINACIONES....................................................................................................

20

IMPLICACIN LGICA .......................................................................................................

21

EQUIVALENCIA LGICA .....................................................................................................

21

PRINCIPALES TAUTOLOGAS DE LA LGICA ........................................................................

22

JERARQUA DE LAS OPERACIONES ORDENADAS DE MAYOR A MENOR IMPORTANCIA ............

24

FUNCIONES PROPOSICIONALES Y CUANTIFICADORES .........................................................

26

LEYES DE DE MORGAN PARA CUANTIFICADORES ...............................................................

27

CIRCUITOS LGICOS.........................................................................................................

32

MTODOS DE DEMOSTRACIN...........................................................................................

34

MTODO DE DEMOSTRACIN DIRECTO ..............................................................................

34

MTODO DE DEMOSTRACIN INDIRECTO DE CONTRAPOSICIN . ......................................

37

MTODO DE DEMOSTRACIN INDIRECTO DE REDUCCIN AL ABSURDO..............................

38

MTODO DE INDUCCIN MATEMTICA: .............................................................................

39

EJERCICIOS PROPUESTOS ................................................................................................

43

EVALUACIN SUMATIVA ...................................................................................................

45

UNIDAD 2
CONJUNTOS
OBJETIVO .........................................................................................................................

46

SUMARIO..........................................................................................................................

46

INTRODUCCIN ................................................................................................................

46

CONJUNTOS......................................................................................................................

47

FORMAS DE REPRESENTAR UN CONJUNTO .........................................................................

47

1. Por Comprensin ...........................................................................................................

47

2. Por de Extensin, Tabulacin o Enumeracin ...................................................................

47

REPRESENTACIN GRFICA DE CONJUNTOS.......................................................................

48

Diagrama de Venn ............................................................................................................

48

Diagrama de Carrol............................................................................................................

49

RELACIONES ENTRE CONJUNTOS .......................................................................................

50

1)

Relacin de Intersecancia ............................................................................................

50

2)

Relacin de Disyuncin ................................................................................................

50

3)

Relacin de Inclusin ..................................................................................................

50

4)

Relacin de Igualdad ...................................................................................................

51

OPERACIONES ENTRE CONJUNTOS.....................................................................................

52

1)

UNIN .......................................................................................................................

52

2)

INTERSECCIN...........................................................................................................

52

3)

DIFERENCIA ...............................................................................................................

53

4)

DIFERENCIA SIMTRICA..............................................................................................

53

5)

COMPLEMENTACIN ...................................................................................................

53

PRODUCTO CARTESIANO ..................................................................................................

53

REPRESENTACIONES DEL PRODUCTO CARTESIANO.............................................................

54

1.

Por frmula ................................................................................................................

54

2.

Por tabla ....................................................................................................................

54

3.

Por diagrama cartesiano ..............................................................................................

54

4.

Por diagrama sagital....................................................................................................

54

RELACIN ENTRE OPERACIONES DE DIFERENTES ALGEBRAS...............................................

54

PRINCIPALES LEYES DE LAS OPERACIONES CON CONJUNTOS ..............................................

55

PROBLEMAS DE APLICACIN..............................................................................................

58

EJERCICIOS GENERALES DE LGICA Y DE CONJUNTOS .......................................................

59

ALGUNAS NOTACIONES DE CONJUNTOS .............................................................................

63

EJERCICIOS PROPUESTOS .................................................................................................

63

EVALUACIN SUMATIVA ....................................................................................................

65

UNIDAD 3
DESIGUALDADES
OBJETIVO .........................................................................................................................

66

SUMARIO..........................................................................................................................

66

INTRODUCCIN ................................................................................................................

66

CONJUNTO DE LOS NMEROS REALES................................................................................

66

AXIOMAS DEL CUERPO DE LOS REALES ..............................................................................

67

AXIOMAS DE IGUALDAD ....................................................................................................

68

AXIOMAS DE ORDEN .........................................................................................................

68

CONJUNTO DE LOS REALES POSITIVOS (R ) .......................................................................

68

DEFINICIN DEL SMBOLO "MAYOR QUE" (>).....................................................................

69

DEFINICIN DEL SMBOLO "MENOR QUE" (<).....................................................................

69

ALGUNOS SUBCONJUNTOS DE LOS REALES.........................................................................

69

DESIGUALDAD ..................................................................................................................

69

TEOREMAS DE DESIGUALDADES ........................................................................................

70

INTERVALOS .....................................................................................................................

70

Intervalo Abierto................................................................................................................

70

Intervalo Cerrado .............................................................................................................

70

Intervalo Semi Abierto........................................................................................................

71

OPERACIONES CON INTERVALOS .......................................................................................

72

RESOLUCIN DE INECUACIONES........................................................................................

75

Observaciones para resolver inecuaciones............................................................................

76

APLICACIN DEL MTODO ABREVIADO ..............................................................................

77

INECUACIONES CON VALOR ABSOLUTO .............................................................................

80

Mtodo de Resolucin ........................................................................................................

80

VALORES EXTREMOS DE LOS INTERVALOS: ........................................................................

83

VALORES EXTREMOS DE INTERVALOS ................................................................................

84

PROBLEMAS DE APLICACIN DE INECUACIONES .................................................................

85

EJERCICIOS DE APLICACIN ..............................................................................................

87

EVALUACIN SUMATIVA ....................................................................................................

88

UNIDAD 4
FUNCIONES
OBJETIVO .........................................................................................................................

89

SUMARIO..........................................................................................................................

89

INTRODUCCIN ................................................................................................................

89

FUNCIONES .....................................................................................................................

90

Relaciones de un conjunto A en un conjunto B .....................................................................

92

DOMINIO DE UNA RELACIN .............................................................................................

92

RECORRIDO DE UNA RELACIN .........................................................................................

93

RELACIONES DE R EN R.....................................................................................................

93

EJEMPLOS DE RELACIONES DE R EN R................................................................................

93

FUNCIONES DE A EN B ......................................................................................................

96

MANERAS DE RECONOCER UNA FUNCIN ...........................................................................

99

DETERMINACIN DEL DOMINIO DE UNA FUNCIN..............................................................

100

EL LGEBRA DE FUNCIONES ..............................................................................................

102

FUNCIONES INYECTIVAS, SOBREYECTIVAS Y BIYECTIVAS ...................................................

104

PROBLEMAS DE APLICACIN DE FUNCIONES ......................................................................

107

Ejercicios Propuestos .........................................................................................................

108

EVALUACIN SUMATIVA ....................................................................................................

108

BIBLIOGRAFA BSICA

110

PRLOGO

a matemtica nace con la Humanidad y desde siempre ha sido base del


desarrollo de la Ciencia en la bsqueda de la resolucin de los principales
problemas de las civilizaciones.
Su estructura lgica ha determinado que se convierta en una poderosa
herramienta para la formacin del juicio crtico, el orden, la prctica del
mtodo deductivo, el razonamiento y en general la formacin del

pensamiento cientfico. Pero tambin su aplicacin en la resolucin de


problemas cientficos y tecnolgicos a lo largo de la Historia, ha motivado una
presencia prioritaria en el tiempo y en el espacio.
Esta doble faceta de la Matemtica como teora y prctica es una importante
orientacin metodolgica para su enseanza: junto con un anlisis lgico de sus
contenidos deben existir las necesarias aplicaciones de los mismos.
Por investigaciones realizadas se conoce que esta asignatura presenta uno de
los ms altos ndices de repeticiones en todos los niveles del sistema Educativo
y Ecuatoriano y que muchos estudiantes miran a la matemtica con desinters
e incluso, antipata; por lo que es necesario agotar todos los esfuerzos que
contribuyan al mejoramiento de su enseanza aprendizaje y de su difusin.
La presente obra se orienta a la primera parte de un curso de matemtica
indispensable para los futuros profesores de Informtica.

Dr. Carlos Montenegro Balseca

INTRODUCCIN
Si bien toda las ciencias persiguen una meta comn, que es lograr el
conocimiento, difieren en los mtodos empleados y en las reas de la realidad
sobre los que se aplica.
El razonamiento matemtico se aplica a objetos arbitrarios y sus mtodos de
estudios actuales son dos: el mtodo constructivo y el mtodo axiomtico.
En el mtodo constructivo, el matemtico primero acta y luego acompaa su
accin con argumentaciones y proposiciones. Por ejemplo para los enteros
positivos 1,2,3,4,,luego del anlisis de varios de ellos concluimos que Todo
nmero entero positivo es primo o compuesto.
En el mtodo opuesto o axiomtico se afirma que la matemtica consiste en
una serie de axiomas y es consecuencia de los mismos. En este mtodo la
matemtica tiene estructuralmente cuatro tipos de enunciados: trminos no
definidos, definiciones, axiomas y teoremas. Desde luego que los rasgos
caractersticos de la matemtica son primero su tipo de razonamiento que
responde a esquemas; a diferencia del razonamiento filosfico que se apoya en
las palabras. En segundo lugar a la matemtica la caracterizan la abstraccin
de lo esencial frente a lo accidental. La abstraccin matemtica tiene como
caractersticas principales: tratar las relaciones cuantitativas y formas
espaciales, desarrollarse en grados crecientes y

demostrar las afirmaciones

matemticas slo con razonamiento y clculo sin la experimentacin.


Finalmente, otro rasgo de la matemtica es la demostracin que requiere todo
teorema para que sea definitivamente aceptado.
Sobre el objetivo al ensear matemtica, Dieudonn, sostiene lo siguiente:

Porque en resumidas cuentas, Qu finalidad se persigue en las sociedades


modernas con la enseanza de la Matemtica a nuestros alumnos?.
Ciertamente, no es la de hacerles conocer una coleccin de teoremas sobre las
bisectrices de un tringulo o la sucesin de los nmeros primos de los que no
harn despus ningn uso (a menos que se conviertan en matemticos
profesionales), sino la de ensearles a ordenar y encadenar sus pensamientos
con arreglo al mtodo que emplea la matemtica y porque se reconoce que
este ejercicio desarrolla la claridad del espritu y el rigor del juicio
Existen dos consideraciones bsicas que a nuestro juicio orientan el campo
educativo:
1) La Matemtica no constituye un fin s misma. No se trata de que todos sean
matemticos de carrrera.
2) Deben tener igual importancia, tanto el aspecto formal como las
aplicaciones.
Adicionalmente es necesario recordar que los principales objetivos de la
enseanza de la Matemtica que se han distinguido como generalmente
aceptados son aplicacin de:
1) Simbolismo matemtico.
2) Vocabulario matemtico.
3) Automatismos operacionales.
4) Conceptos.
Por otro lado, el desarrollo de la:
1) Capacidad de abstraccin.
2) Capacidad de expresin y matematizacin de situaciones.
7

3) Capacidad de resolucin de problemas.


4) Capacidad de utilizar el mtodo matemtico.
5) Capacidad de demostracin.
6) Capacidad de transferencia o aplicacin de otras reas del saber.
El espacio para estas lneas por la naturaleza del mdulo, no permite realizar
un anlisis ms detallado; sin embargo debemos precisar que en cuanto a
mtodos activos, el profesor debera usar: mtodos de trabajo en grupo sobre
un problema planteado; discusin grupal del profesor frente a sus alumnos;
preparacin de temas por grupos de alumnos que los expongan en clases sin
descuidar tambin el trabajo individual que es muy necesario para el desarrollo
personal, ni el mtodo expositivo por el profesor que ocasionalmente tambin
es necesario
Para concluir es necesario sealar la importancia de la tarea en clase, porque
no se puede alcanzar un individuo crtico si su forma habitual de trabajo esta
limitada solo a escuchar.

UNIDAD 1

LGICA MATEMTICA
OBJETIVO:
Aplicar los principios bsicos de la Lgica a la Matemtica.

SUMARIO:
Proposiciones simples. Principios. Estructura lgica de la matemtica.
Operaciones con preposiciones. Preposiciones compuestas y tipos. Tautologas,
contradicciones e indeterminaciones. Implicacin y equivalencia lgicas.
Principales

Tautologas.

Jerarqua

de

las

operaciones.

Funciones

proposicionales y cuantificadores. Leyes de De Morgan para cuantificadores.


Circuitos lgicos. Ejercicios propuestos. Prueba de evolucin sumativa.

INTRODUCCIN:
La Lgica es una herramienta fundamental de la Matemtica que determina la
forma en que esta se construye en todas sus ramas, bsicamente con cuatro
elementos conceptuales: trminos no definidos, definiciones, axiomas y
teoremas.
La Lgica es el lenguaje de la Matemtica y por eso no constituye un fin en si
misma. El objetivo central de su estudio no son las tablas de verdad y la
demostracin de tautologas complicadas sino la forma en que contribuye a
determinar la estructura del pensamiento matemtico

LGICA MATEMTICA
La Lgica nos permite determinar cuando un razonamiento es correcto o
incorrecto y si se aplica a la Matemtica se denomina Lgica Matemtica.
PROPOSICIONES SIMPLES
Son enunciados que pueden ser calificados de verdaderos o de falsos.

Las

representamos con letras minsculas.


Ejemplos de proposiciones simples:
p: 2 es un nmero natural
q: La suma de los ngulos interiores de un tringulo es 180.
VALOR DE VERDAD DE UNA PROPOSICIN
Se determina mediante la concordancia de lo afirmado con lo que se considera
verdadero o falso.
p: Si el precio de la gasolina sube, entonces sube el costo de la vida.
(p) = V
q: Si el actual ritmo de deforestacin contina, entonces prximamente
nuestro pas ser un desierto.
(q) = V
s: Para poder estudiar en la Universidad se requiere haberse graduado de
Bachiller y tener el respaldo econmico necesario.
(s) = V
r: En la Politcnica se puede estudiar Tecnologa o Ingeniera.
(r) = V
l: Todo rectngulo es cuadrado.
(l) = F
10

t: Todo cuadrado es un rectngulo


(t) = V
u: Buenos das (No Proposicin)
u: x + 1 = 0 (No Proposicin)
PRINCIPIOS GENERALES DE LAS PROPOSICIONES
1. Principio de No Contradiccin.- Una proposicin es solo verdadera o
falsa, no puede tener los dos valores de verdad al mismo tiempo.
2. Principio del Tercero Excluido.- Una proposicin puede ser verdadera o
falsa, no existe un tercer valor de verdad, porque la lgica que maneja la
matemtica es binaria.
ESTRUCTURA LGICA DE LA MATEMTICA
La lgica como herramienta esencial para construir el edificio matemtico, lo
hace a travs de cuatro elementos conceptuales:
1. Trminos no definidos:
Son conceptos no expresados a travs de otros trminos ms sencillos, pero
de los cuales todos tenemos una idea similar. Ejemplos: conjunto, nmero,
punto, recta, plano, relacin de pertenencia y otros.
2. Definiciones:
Son proposiciones que dan un significado a un smbolo, expresin,
operacin, palabra o trminos. Ejemplos: definicin de resta, definicin de
segmento de recta, definicin de nmero par, entre otros.

11

3. Axiomas:
Son proposiciones que se suponen verdaderas y por lo tanto no necesitan
ser demostradas. Por ejemplo: los axiomas de la suma, de la multiplicacin,
de la igualdad, de orden y otros.
4. Teoremas:
Son proposiciones que deben ser demostradas.
La demostracin de las mismas se realiza utilizando las leyes de la lgica
conocidas como mtodos de demostracin as como definiciones, trminos
no definidos y axiomas.
Ejemplos: a, b R: (-a) (-b) = ab
a, b, c R: a + c = b + c a = b
a, b R:

a
a
a
=
=
b
b
b

a, b R, m, n Z:

an . am = an+m

OPERACIONES CON PROPOSICIONES


Se pueden realizar operaciones lgicas con las proposiciones simples.
Analizaremos las ms usadas.
1. Conjuncin
2. Disyuncin
3. Bidisyuncin
4. Negacin
5. Condicional
6. Bicondicional
7. Conjuncin Negativa
12

PROPOSICIONES COMPUESTAS
Las proposiciones simples pueden relacionarse con otras mediante las
operaciones lgicas anteriores para formar proposiciones compuestas por
ejemplo:
P: 2 + 5 = 8 y todo tringulo equiltero es issceles
P:

Ejemplo de proposiciones compuestas:


P: Si el precio de la gasolina sube, entonces sube el costo de la vida.
Q: Si el actual ritmo de deforestacin contina, entonces prximamente
nuestro pas ser un desierto.
S: Para poder estudiar en la Universidad se requiere haberse graduado de
Bachiller y tener el respaldo econmico necesario.
R: En la Politcnica se puede estudiar Tecnologa o Ingeniera.
CONJUNCIN ()
Definicin.- La conjuncin de dos proposiciones p y q se representa con , y
es verdadera solo cuando las dos proposiciones son verdaderas.
TABLA DE VALORES DE VERDAD
P

pq

13

Ejemplo:
Si r: Coln descubri Amrica

(r) = V

Si s: El hombre es mortal

(s) = V

rs

(r s) = V

DISYUNCIN ()
Definicin.- La disyuncin es falsa solo cuando las dos proposiciones son
falsas. Se simboliza con la .
TABLA DE VALORES DE VERDAD
P

pq

Ejemplo:
p: Quito es la capital del Ecuador (p) = V
q: 22 4

(q) = F

pq

(p q) = V

Notas:
1. Si no se dice lo contrario una O en matemtica se interpreta como o
incluyente o disyuncin.
2. La o incluyente significa "o lo uno o lo otro o ambos".

14

Ejemplo:
a, b e R: si a . b = 0 entonces a = 0

o b=0

BIDISYUNClN ( )
Definicin.- La bidisyuncin de dos proposiciones se representa con y es
falsa cuando las dos proposiciones tienen el mismo valor de verdad.
TABLA DE VALORES DE VERDAD
p

pq

Ejemplos:
1)

a: L1 L2

v (a) = V

b: Ll L2

v (b) = V

v(a b) = F
2) a R: se cumple una y solo una de las siguientes
afirmaciones:
i. a > 0

ii. a = 0

iii. a < 0

15

NEGACIN ()
Definicin.- Dada una proposicin p la negacin de p es la proposicin que
se obtiene al cambiar el valor de verdad de p.
La negacin se lee: no o tambin es falso que.
TABLA DE VALORES DE VERDAD
p

Ejemplo:

si p : - 2 = 4
p: -2 4

v (p) = F
v ( p) = V

CONDICIONAL ()
Definicin.- Dadas las proposiciones p y q en ese orden, se define el
condicional (p q) mediante la proposicin compuesta ( p q).
TABLA DE VALORES DE VERDAD
P

pq

16

Observaciones:
1. La proposicin p q es falsa solamente cuando se tiene una p verdadera y

q es falsa.
2. p q no siempre tiene el mismo valor de verdad que q p.
3. Dado un condicional p q se pueden obtener los siguientes condicionales:

i.

pq

ii. q p
iii.

Condicional Directo
Condicional Recproco

p q Condicional Contrario

iv. q p Condicional Contrarecproco


p

4.

antecedente

q
consecuente

5. p q esta expresin se lee:

a. Si p entonces q
b. p implica q
c. p es condicin suficiente para q
d. q es condicin necesaria para p.
Ejemplos:
1. p: 2 es un nmero par

(p) = V

q: Todo nmero primo es par

(q) = F

pq

(p q) = F

2. Hallar las condicionales derivadas del siguiente y sus valores de verdad


P:

Si x es un tringulo equiltero entonces x es un tringulo issceles.

p q (P) = V
Q: Si x es un tringulo issceles entonces x es un tringulo equiltero.
q p (Q) = F
17

R:

Si x no es tringulo equiltero entonces x no es un tringulo issceles.

p q (R) = F

S: Si x no es tringulo issceles entonces x no es tringulo equiltero


q p

(S) = V

BICONDICIONAL ()
Definicin.- El bicondicional de dos proposiciones p y q se representa p q
y es verdadero o cuando tienen el mismo valor de verdad.
TABLA DE VALORES DE VERDAD
P

pq

Notas:
1. p q se lee: p si solo q
2. p q es equivalente p q q p
Ejemplo: p: 23 = 8

(p) = V

q: log3 81 = 4
pq

(q) = V

(p q) = V

CONJUNCIN NEGATIVA ()
Definicin.- La conjuncin negativa de dos proposiciones p y q es verdadera
solo cuando las dos proposiciones son falsas.

18

TABLA DE VALORES DE VERDAD


p

pq

Ejemplo:
p:

25 = 5

(p) = V

q: 0 = 1

(q) = F

pq

(p q) = F

TIPOS DE PROPOSICIONES COMPUESTAS


Recordemos que una proposicin compuesta resulta de la combinacin de
proposiciones simples y operaciones lgicas. Existen tres tipos bsicos de
proposiciones compuestas.
1. Tautologas
2. Contradicciones
3. Indeterminaciones
1.- TAUTOLOGAS.- Se llaman tambin leyes lgicas y se consideran como
tales si son siempre verdaderas independientemente del valor de verdad de las
proposiciones simples que las componen.

19

Ejemplo: P: (p q) (pq)
(p

q)

q)

P es una tautologa.
2. CONTRADICCIONES.- Son proposiciones cuyo valor de verdad es siempre
falso.
Ejemplo: Q: ( p p).

p)

Q es una contradiccin.
3. INDETERMINACIONES.- Son proposiciones compuestas que no son
tautologas ni contradicciones.

20

IMPLICACIN LGICA
Se dice que una proposicin P implica lgicamente a una proposicin Q y se
representa as: P Q si el condicional P Q es una tautologa.

EQUIVALENCIA LGICA
Una proposicin P es lgicamente equivalente a una proposicin Q y se
representa as: P Q, si el bicondicional P Q es una tautologa.
Ejemplo:
P: p q
P Q es una tautologa, por consiguiente P Q
Q: pq

Ejemplo: Demostrar que p q p q


P

21

PRINCIPALES TAUTOLOGAS DE LA LGICA


1)

EQUIVALENCIA:
pp

2)

IDEMPOTENCIA:
ppp
ppp

3)

ASOCIATIVAS:
p (q r) (p q) r
p (q r) (p q) r

4)

CONMUTATIVAS:
pqqp
pqqp

5)

DISTRIBUTIVAS:
p (q r) (p q) (p r)
p (q r) (p q) (p r)

6)

IDENTIDAD:
pFF
pFp
pVp
pVV
22

7)

COMPLEMENTO:
ppV
p p V
(p) p
V F
F = V

8)

DE MORGAN:
(p q) p q
(p q) p q

9)

ABSORCIN:
p (p q) p
p (p q) p

10) CONDICIONAL:
p q p q
p q q p
11) BICONDICIONAL:
p q (p q) (q p)
12) CONJUNCIN NEGATIVA:
p q p q
p q (p q)
23

13) DISYUNCIN EXCLUSIVA:


p q (p q) (p q)
JERARQUA DE LAS OPERACIONES ORDENADAS DE MAYOR A MENOR
IMPORTANCIA
1.

Negacin:

2.

Conjuncin:

3.

Disyuncin:

4.

Bidisyuncin:

5.

Conjuncin Negativa:

6.

Condicional:

7.

Bicondicional:

NOTAS:
1) Si hay dos operadores iguales se procede de izquierda a derecha.
2) No existe una sola forma de simplificar una expresin lgica.
3) Los parntesis destruyen la jerarqua porque sealan una operacin que
debe realizarse primero.
EJERCICIOS:
1. Dada la siguiente proposicin:
Si x es mltiplo de 8 y r es un nmero primo, o es falso que x2 no es mltiplo
de 8; entonces x es mltiplo de 8.
a)

Expresarla simblicamente.

b)

Simplificarla justificando debidamente.


24

c) Dar una proposicin equivalente.


a)

p q p p

b)

[(p q) p] p [(p q) p] p Complemento y jerarqua de las


operaciones.
pp

Absorcin

c) Si x2 es mltiplo de 8 entonces x2 es mltiplo de 8.


II. Demostrar analticamente que: [(pq) (r q)] [(p r) q]
es una contradiccin.
[(pq) (r q)] [(p r) q]
[(pq) (r q)] [(p r) q]

De Morgan

[(pq) (r q)] [(p r) q]

De Morgan

[(pr) q] [(p r) q]

Recolectiva

Q Q
F

III. Sean P: [(p q) p]


Q: (p q) q
Demostrar que P Q es una tautologa.
P Q [(p q) p] [(p q) q]
[(p q) p] [(p q) q]

Condicional

[(p q) p] [(p q) q]

Condicional, Conjuncin ()

[(p q) p] [(p q) q]

De Morgan

[(p p) (q p)] [p (q q)] Distributiva


[V (q p)] [p V]

Complemento

(q p) V

Identidad

Identidad

25

IV.

Determinar en que casos es verdadera la proposicin siguiente:


(p q) r (p q) si se conoce que r: 2 + 5 > 7.
(p q) F (p q)

Reemplazo

(p q) (p q)

Condicional, Identidad, Disyunc. Exclus.

(p q) (p q)

Complemento

Respuesta: para cualquier valor de verdad de p y q.


FUNCIONES PROPOSICIONALES Y CUANTIFICADORES
Funciones Proposicionales en un conjunto A.- Son expresiones que
contienen una o ms variables, las cuales toman sus valores del conjunto A. A
las funciones proposicionales suelen llamrselas tambin oraciones abiertas o
condiciones.
Ejemplo:
Px: x-3 = 0
Nota 1:

A = Z = {enteros}

Una funcin proposicional no es ni verdadera ni falsa.


P3: 3-3 = 0

P1: 1-3 = 0

Otros ejemplos:

qx, y : x y = 2
rx , y : y = 2 x + 1
sx, y , z : x 2 y + z = 5
t x :| x 3 | + | 2 x 1 | 0
26

Nota 2: Si el conjunto A de referencia llamado tambin universo de la variable


no aparece escrito expresamente, se sobreentiende que es el conjunto de los
nmeros reales.
Cuantificadores.- Son expresiones que limitan el alcance de la o las variables
de una funcin proposicional y por lo tanto la transforman en una proposicin.
Analizaremos dos tipos de cuantificadores:
1. Cuantificador Universal
2. Cuantificador Existencial
1.

Cuantificador Universal.- Se lee para todo

2.

Cuantificador Existencial.- Se lee "existe al menos un valor de

P x:

2x + 8

xZ: 2x+8=6 F

x Z: 2x+8=6 V

xZ: Px

x Z: Px

Tambin existe:
"una y solo una" "!"
"ningn x" "x"
tx: xZ: x+5x+6 = 0

sx: ! x Z: x + 5x + 6 = 0 F
LEYES DE DE MORGAN PARA CUANTIFICADORES
1. (xA, Px) xA, (Px)
2. (xA, Px) xA, (Px)

27

EJERCICIOS
I. Expresar mediante el uso de cuantificadores y funciones proposicionales.
a) Todo hombre honesto lucha por romper las cadenas de la enajenacin.
b) Toda educacin tiene una ideologa de clase.
c) Algunos hombres impiden la superacin histrica.
a)

A = {hombres honestos}
PX: x lucha por romper las cadenas de la enajenacin.

xA, Px
b)

A={educaciones}
Px: x tiene una ideologa de clase

xA, Px
c)

A={hombres}
Px: x impiden la superacin histrica

xA, Px
II.

Demostrar que:

x{7,8,4}, x3 + 7x -1 < 5
F

xR, (x+3)2 = x+9

V
III. a) Sea Px una funcin proposicional sobre A. Hallar todas las
proposiciones que se puede obtener cuantificando, bien sea a Px o Px
1. xA, Px
2. xA, Px
3. xA, Px
4. xA, Px

28

Sea Px: x-7<4 y A = {x/x2-18x+72=0}

b)

Hallar el valor de verdad de cada una de las proposiciones encontradas


anteriormente en (a), e indicar cuales son equivalentes.
x - 18x + 72 = 0
(x-12) (x-6)
x=12

x=6

A={12,6}
1. x{12,6}, x-7<4 F
2. x{12,6}, x-7<4 V

13

3. x{12,6}, x-74 F

24

4. x{12,6}, x-74 V
IV.

Halle el valor de verdad de:

(x{1, 7, 6, 1}, x3 +6x 7 = 0) (x{1, 4, 5}, x+4x-3<0) (xR,


x>0) y dar una proposicin lgicamente equivalente.

(x{1,7,6,1}, x3+6x-7=0) [x{l,4,5}, x2+4x-3<0) (xR, x>0)]


F
V

(F F)

(x{ 1,7,6,1}, x3 + 6x - 7y = 0) [(x{l,4,5}, x+4x-3<0) (xR,x>0)]


Negar y simplificar las siguientes proposiciones.
a) xR, x2+5x+8 0

[xN, x+3<4 xC, xR]

xR, x2+5x+8 = 0 [xN, x+3<4 xC, xR]

29

Negacin:

xR, x+5x+8 0 [xN, x+3 4 x C, xR ]


b)

(xN, x-4<8x+1) [xC, |x+1| R (xN)(x>1xR)]


(xN, x-4<8x+1) [xC, |x+1| R (xN)(x1 xR)]

Negacin:

xN, x-4 8x+1 [xC, |x+1| R (xN)(x>1 xR)]


II. Demostrar si es verdad o no que:
a)

xR, |x.2x|>1

Contraejemplos:
|l/2.21/2|>l

i) Si x=l/2 :

ii) Si x = 0

|1/2. 1,4142| >1

|0.1| > 1

0,7071 > 1

0>1

F
b)

xR, y>l, xy>x

Contraejemplos:
x = -2

|0.2| > 1

y=5

-2y > -2
-2.5 > -2
-10 > -2
F

30

III. Negar la siguiente proposicin.

l > 0, mN, nm, xR, (m > n |fn(x)-fm(x)| < l) Primero


simplificamos.

l > 0, mN, nm, xR, (m n |fn(x)-fm(x)| < l)


Negacin:

l > 0, mN, nm, xR, (m > n |fn(x)-fm(x)| l)

31

CIRCUITOS LGICOS
Resultan de la aplicacin de la lgica a los circuitos elctricos. Una proposicin
se representa por un interruptor.

Si el interruptor esta cerrado, p es verdadera y pasa corriente como en el


grfico anterior.
Si el interruptor est abierto, p es falsa y no pasa corriente.

La operacin de conjuncin p q se representa como un circuito en serie


p

y la operacin de disyuncin p q tiene la

representacin de un circuito en paralelo

p
q

Las dems operaciones tienen representaciones que utilizan las dos anteriores
por ejemplo: p q se representa
~p
q
a los circuitos lgicos se los denomina compuertas lgicas.
Ejemplo: representar el siguiente circuito lgico.

~p

~q

p
p

~p

~q

Primer paso:
Representar el circuito mediante operaciones lgicas.

{[( p q ) (~ p ~ q )] [( p q ) (~ p ~ q )]} p
32

Segundo paso:
Simplificar la expresin resultante mediante el uso de tautologas.

{[( p q ) (~ p ~ q )] [( p q ) (~ p ~ q )]} p

Llamamos

m p q
y la anterior expresin se reduce a
n pq

{[m ~ n] [n ~ m ]} p
{[m (n ~ m )] [~ n (n ~ m )]} p
{[n V ] [V ~ m ]} p
{V V } p
p

Tercer paso:
Representamos la expresin simplificada como circuito lgico.

p
El circuito obtenido tiene una funcin equivalente al circuito original.

33

MTODOS DE DEMOSTRACIN
Se utilizan para demostrar las proposiciones llamadas teoremas las cuales
pueden tener la estructura H T o P Q . En el primer caso H es la
hiptesis y T es la tesis. El segundo caso tiene dos partes que corresponden a
dos condicionales.
Para demostrar una tesis, enunciado, proposicin o teorema existen algunos
mtodos que son aplicables en determinada instancia, los mtodos que
abordaremos en esta unidad son: mtodo de demostracin directo, indirecto o
de contraposicin, reduccin al

absurdo o de contradiccin y el mtodo de

induccin matemtica.
MTODO DE DEMOSTRACIN DIRECTO: Este mtodo se fundamenta en
una secuencia lgica, donde los datos iniciales que constituyen la hiptesis
(axiomas, definiciones o teoremas ya demostrados) implican que es la tesis.
P1
P2

Definiciones

P3

Axiomas o datos iniciales

Teoremas ya demostrados

.
.
Pn
T
En el mtodo directo partimos, en efecto, de los datos iniciales formando una
serie de implicaciones, cada una de ellas verdaderas; esta secuencia lgica
debe ser una conjuncin de esos condicionales para que la tesis final sea
verdadera

34

P1 P2
P2 P3
P3 P4
.

Pn-1 Pn
Teorema : [(P1 P 2 ) (P 2 P3) ... (Pn 1 Pn ) (Pn T )] T

Tomando la forma del silogismo lgico: PONENDO PONENS


p q
p
q
EJEMPLOS: Verificar los siguientes enunciados:
1) Si los alumnos estudian matemticas
H
Entonces
Aprobarn esa asignatura
T
H=P1:: Los alumnos estudian matemtica
P2:: Los alumnos saben matemtica
P3:: Los alumnos dan un buen examen
P4:: Los alumnos obtienen una buena calificacin
P5=T :: Los alumnos aprobarn esa asignatura
Desarrollo de las implicaciones lgicas (Supuestas verdaderas)

35

: P1 P2 : : Si los alumnos estudian matemticas entonces saben la materia


P2 P3 : : Si los alumnos saben matemticas entonces rinden un buen examen
P3 P4 : : Si los alumnos rinden un buen examen entonces obtienen una buena
calificacin
P4 P5 : : Si los alumnos obtienen una buena nota entonces aprobarn
esa asignatura
:.

: : Los alumnos aprobarn esa asignatura.

2)
Si el pueblo es mayora
H
Entonces
Obtiene un mejor nivel de vida
T
Uno de los desarrollos de las implicaciones lgicas es:
H=P1 P2 : : Si el pueblo es mayora entonces puede organizarse
P2 P3 : : Si el pueblo es organizado entonces ganar las elecciones
P3 P4 : : Si el pueblo gana las elecciones entonces llegar al poder
P4 P5 : : Si el pueblo llega al poder entonces pondr en vigencia sus
proyectos
P5 P6 : : Si el pueblo pone en vigencia sus proyectos entonces obtiene un
mejor nivel de vida
: .T=P6

: : El pueblo obtiene un mejor nivel de vida

3) Demostrar el siguiente teorema:


Si n es impar entonces n2 es impar
H

P.D.

36

DEMOSTRACIN
PROPOSICIONES:

RAZONES:

1) Si n es impar n=2p+1 ; n Z

Definicin De numero impar

2) Si n =2 p+1 n =(2p+1)

Propiedad de la igualdad

3) Si n2 =(2p+1)2 n2=4p2+4p+1

Binomio elevado al cuadrado

4) Si n2 4p2+4p+1

Propiedad recolectiva distributiva

n2=2(2p+2)+1
5) Si n2 =2m+1 ;m Z es impar
6) n2 es impar

Sustitucin, m=(2p+2); Prop


Clausurativa
Por pasos del 1 al 5

MTODO DE DEMOSTRACIN INDIRECTO DE CONTRAPOSICIN: Este


mtodo se fundamenta en una tautologa o equivalencia lgica llamada
contraposicin o silogismo denominado MODUS TOLLENDO TOLLENS.
MODUS TOLLENDO TOLLENS:
p q

CONTRAPOSICIN
(p q) ( ~q ~p)

La tabla de valores de verdad de la equivalencia es:


P

~q

~p

El mtodo de la contraposicin en base a esta tautologa procede de la


siguiente manera:

37

Dado el enunciado (p q) niega el consecuente para concluir con la negacin


del antecedente en forma similar al mtodo directo en una secuencia lgica de
implicaciones.
OBSERVACIONES:
1) Para la demostracin formal se acostumbra adjuntar a lado de cada una de
las afirmaciones las razones o justificaciones de cada paso.
2) En el mtodo de contraposicin es necesario determinar correctamente el
antecedente (p) y el consecuente(q) y como primer paso procedemos a
negar el consecuente (~q).
MTODO INDIRECTO DE REDUCCIN AL ABSURDO: Este mtodo
consiste en suponer que el teorema es falso y caer en una contradiccin; por
tanto es verdadera la negacin del supuesto as: T F; ~T V.
Partimos entonces de la suposicin que la negacin del enunciado es verdadera
y mediante una secuencia lgica obtenemos lo que se denomina un absurdo o
contradiccin, que son proposiciones de la forma r ~r que es siempre falsa.
La base lgica de este mtodo es la siguiente tautologa
P

[~

(p

q)

(r

~r)]

38

MTODO DE INDUCCIN MATEMTICA:


La Induccin Matemtica o Induccin Completa es una forma de razonamiento
que puede usarse para demostrar relaciones o proposiciones que dependan de
una variable "n" que solo admite valores enteros. Este mtodo consta de los
tres siguientes pasos:
1. Comprobar que la relacin es verdadera para el primer valor admisible de n.
2. Partiendo de la hiptesis que la relacin es verdadera para cierto valor de n,
digamos k, demostrar que tambin es verdadera para n= k+1.
3. Comprobar que la relacin es cierta para n= 1 en el paso uno; de los pasos
1 y 2 se sigue que tambin es cierta para n = 2. Anlogamente si la relacin
es cierta n = 2, entonces es cierta para n = 3 y as sucesivamente para
todos los valores enteros y positivos de n.
El paso uno y dos son esenciales para la validez de la demostracin.
El paso tres es solamente una consecuencia lgica de los pasos uno y dos.
Ejemplo: Comprobar que la suma de los n primeros cuadrados es igual a:
n(n + 1)(2n + 1)
6

, n Z+

n(n + 1)(2n + 1)
6
1 + 2 + + n =

Donde n es cualquier nmero entero positivo.


1) Sustituyendo n = 1 obtenemos:
1(1 + 1)(2 1 + 1)
6
1 =
1=1 V

a) Suponemos que el teorema es verdadero


para n = k: 1+2+3++k = 1/6 k (k+1) (2k+1)

39

b) Sumamos (k+1) a ambos miembros.

k (k + 1)(2k + 1)
+ (k + 1)
6
1 + 2 + + k + (k + 1) =
c) Factoramos el segundo miembro.

(k + 1)[(k + 1) + 1][2(k + 1) + 1]
6
1 + 2 + + (k + 1) =
d) Pk+1 es verdadera
3) Conclusin: el teorema es verdadero.

Ejemplo:
Demostrar por Induccin que:

1
1
1
1
n
+
+
+ ... +
=
n(n + 1) n + 1
Pn: 1.2 2.3 3.4

1)

P1 :

1
1
=
1.2 1 + 1

1 1
=
2 2

2)

Pk es V

Pk Pk+1

40

1
1
1
k
+
+ ... +
=
k (k + 1) k + 1
a) 1.2 2.3

1
1
1
1
k
+
+ ... +
=
+
(k + 1)[(k + 1) + 1] k + 1 (k + 1)(k + 2)
b) 1.2 2.3

1
1
k + 2k + 1
1
1
+
+ ... +
+
=
k (k + 1) (k + 1)(k + 2) (k + 1)(k + 2)
c) 1.2 2.3
d)

k +1
( k + 1) + 1

e)

Pk

+1

es V

3. Pn es V n Z+
Ejemplo:
Si a y b son nmeros positivos tales que a>b, entonces an > bn.

a, bR+: nZ+: si a>b an>bn


(H T)
Pn
1) P1: a>b a1 > b1
a>b a>b
V
2) a)

ak > bk

Pk es verdadera
(Hiptesis de induccin)

b)

aak > bbk

Multiplicamos por a > b

41

c( ak+1 > bk+1

Exponente entero y positivo

d( Pk+1 es V
3) Conclusin:

Pn es V

n Z+

Ejemplo:
32n 1 es divisible para 4

nZ+: 32n-1 es divisible para 4, 32n 1 = 4p, pZ


2
1) P1 : 3 1 = 8

8 es divisible para 4

V
OPERACIONES

Pk +1 : 32 ( k +1) 1 es divisible para 4

2) Pk Pk +1
2k
+
a) 3 1 = 4m, m Z

Pk +1 : 32 k + 2 1 = 4 p, p Z

2 ( k +1)
1
b) 3

ARTIFICIO

= 32( k +1) 1

2 2k
c) = 3 .3 9 + 8

3 2 k + 2 1 = 3.3 2 k ( 9 8 )

2
2k
d) = 3 (3 1) + 8
2
2 ( k +1 )
1 = 3 ( 4m) + 8
e) 3
2
2 ( k +1 )
1 = 4(3 n + 2)
f) 3

2 ( k +1)
1 = 4h, h Z
g) 3
2 ( k +1 )
1 es divisible para 4
h) 3

i)Pk + 1 es verdadera
3) nZ+, Pn es V

42

EJERCICIOS PROPUESTOS
1) En las siguientes afirmaciones determine cuales son proposiciones y su valor
de verdad.
a) Si 4 3 = 1,

8
=2
b) 4

entonces

2+2=4

y 3+5=8

c) 9-5

30
=2
d) No es cierto que 4+6=10 o que 5
6 2
=
e) Ni 9 3

ni

4 8
=
5 10

2) Determine, con tablas de verdad el tipo al que pertenecen las siguientes


proposiciones compuestas.
a) (p q) ( ~p ~q)
b) (p q) ( q p)
c) ~(p ~q) p ~q)
3) Simplifique:

a)

{~ [~ p (~ p q )]} ~ p (p r )

b) [~ (p q ) ~ q ] [q (q ~ p )] ~ [q (q ~ p )]

43

4) Niegue las siguientes proposiciones:


a)
b)
c)
d)

(x R )(y R ) : ( x 2 y > 0)
(a R )(b R ) : (a b = 0)
(x R )(! b R ) : ( x + b = x )
(x R )(y R ) : ( x + y = 0 x = y )

5) Construya el circuito simplificado de cada uno de los siguientes:


a)
p

~p

~q

~q

b)

~p
~q

~p

q
p

q
~q

~q

6) Explique los diferentes mtodos de demostracin.


7) Cuando una proposicin es una tautologa?

44

EVALUACIN SUMATIVA
1) Niegue la siguiente proposicin:
Para todo a, b R: Si a b=0 entonces a=0 o b=0
2) Determine el tipo de proposicin compuesta al que pertenece Q.
Q:

p q pq ~ p ~ q

Utilice tablas de verdad.


3) Simplifique la proposicin compuesta P.
P : [~ ( p q ) ~ (~ q p )] [~ (q p ) ~ p]

4) Construya el circuito simplificado del siguiente:

p
p
q

~p

~p

~q

5) Cuando una proposicin es una contradiccin?

45

UNIDAD 2
CONJUNTOS
OBJETIVO:
Resolver varios tipos de problemas mediante la utilizacin de la teora de
conjuntos.

SUMARIO:
Nocin de conjunto. Representacin. Presentacin grfica de Venn y de Carroll.
Relaciones entre conjuntos. Operaciones. Leyes de las operaciones. Problemas
de aplicacin.

INTRODUCCIN:
La teora de conjuntos permite relacionar campos de la matemtica que
antiguamente se consideraron independientes como el Anlisis, la Geometra o
el lgebra.
En un principio esta teora no fue aceptada por los matemticos de la poca en
la que su inventor, George Cantor, la propuso. Posteriormente se vio que
relaciona conceptualmente todas las ramas matemticas, siendo su estudio en
la actualidad un requisito indispensable para abordar aspecto de la matemtica.

46

CONJUNTOS
Nocin de Conjunto.- Es una coleccin, reunin o asociacin de elementos.
Notacin.- Utilizaremos letras maysculas para representar a los conjuntos.
Adems los elementos o la propiedad que cumplen irn encerrados entre llaves.
Se lee "el conjunto de todos los, o de todas las"
Ejemplo:
1. A = {dgitos decimales}
2. A = {1,2,3,4,5,6,7,8,9,0}
3. A = {x/x es dgito decimal}
FORMAS DE REPRESENTAR UN CONJUNTO
1. Por Comprensin.- Consiste en sealar la propiedad comn que cumplen
los elementos del conjunto mediante una frase.
Los ejemplos 1 y 3 son ejemplos del mtodo de comprensin.
2. Por Extensin, Tabulacin o Enumeracin.- Consiste en enumerar cada
uno de los elementos que pertenecen al conjunto. El ejemplo 2 corresponde a
este mtodo.
NOTAS:

La forma por comprensin se utiliza para describir conjuntos grandes y se


describe por extensin a conjuntos no muy numerosos.

47

El ejemplo 3 anterior es una variante del mtodo de comprensin y suele


llamarse descripcin normal, descripcin estndar o frmula.

N = {0,1,2,3,...,} no es vlido porque no pertenece a ningn mtodo, pero


se usa con abuso de lenguaje.

REPRESENTACIN GRFICA DE CONJUNTOS:


Para representar las relaciones entre conjuntos y posteriormente las
operaciones, frecuentemente se utilizan representaciones grficas que pueden
ser:
1. Diagrama de Venn
2. Diagrama de Carrol
4. Diagramas de Venn.- Llamados tambin de Venn - Euler. Son regiones
cerradas que sirven para representar conjuntos. Ej.: Representar en
diagrama de Venn los siguientes conjuntos.
Sea

U = {letras del abecedario}


A = {a,b,c,d}
B = {g,h,f,i}
A
U

a
b

Observacin: U es el conjunto universo formado por la totalidad de elementos


que participan en una discusin o problema. En el ejemplo anterior U es igual al
conjunto de las letras del abecedario. El conjunto universo generalmente se
representa con las letras U o E.

48

Representar los siguientes conjuntos en diagrama de Venn.


C

= {cuadrilteros}

= {trapecios}

= {Trapezoides}

= {Paralelogramos}

Ro

= {Rombos}

Cu

= {Cuadrados}

Re

= {Rectngulos}

C
T

P
Ro

T
Re

Cu

4. Diagramas de

Carrol.-

Constituyen

otra

manera

de

grficamente los conjuntos. Utilizan nicamente rectngulos.


Ejemplo:

Representar los siguientes conjuntos:


H = {Hombres}
M = {Mujeres}
G = {Personas que les gusta el ftbol}
NG = {Personas que no les gusta el ftbol}
S = {Personas de la Sierra}
Ns = {Personas que no son de la Sierra}

49

representar

S
H
M

Ns

G
NG
G
NG
RELACIONES ENTRE CONJUNTOS

1) Relacin de Intersecancia.- Dos conjuntos son intersecantes cuando


tienen por lo menos un elemento comn.
U

2) Relacin de Disyuncin.- Dos conjuntos A y B son disjuntos cuando


no tienen elementos comunes.
U A

3) Relacin de Inclusin.- Un conjunto A est incluido o es un


subconjunto de un conjunto B (A B) si todos los elementos del
conjunto A son tambin elementos del conjunto B.

50

Distinguiremos dos casos:

Si A es subconjunto de B (A B) y A B entonces A es subconjunto propio


de B.

Si A es subconjunto de B (A B) y A=B la relacin se llama de igualdad, y A


se llama subconjunto impropio de B.
B
A es subconjunto propio de B
ABBA

4) Relacin de Igualdad.- Dos conjuntos A y B son iguales cuando tienen


los mismos elementos
A es subconjunto impropio de B
A
Si A B B A entonces

A=B

NOTA: Si n es el nmero de elementos que tiene un conjunto, entonces tiene:


nmero de elementos

nmero de subconjuntos

2n

51

- Todo conjunto es subconjunto de si mismo (A A).


- El conjunto vaco es subconjunto de cualquier otro conjunto, inclusive de s
mismo.
- El vaco es subconjunto propio si es subconjunto de otros conjuntos.
- El vaco es subconjunto impropio de s mismo.
OPERACIONES ENTRE CONJUNTOS
1) UNIN: A B = {xU/xA X B}
A

A
B
2) INTERSECCIN: A B = {xU/xA xB}
U

A
B

A
B

52

3) DIFERENCIA: A-B = {x U/xA xB}


U

A
B

4) DIFERENCIA SIMTRICA: AB = {xU/xA xB}


U

A
A
B

5) COMPLEMENTACIN: A = {xU/xA}
U

6) PRODUCTO CARTESIANO
Definicin.- El producto cartesiano de dos conjuntos A y B, se representa
"AxB", y se define de la siguiente forma:
AxB= {(x,y)/xA yB);
en donde,

53

(x,y) es el par ordenado.


x es la primera componente del par ordenado.
y es la segunda componente del par ordenado.
REPRESENTACIONES DEL PRODUCTO CARTESIANO
1) Por frmula:
Si C = {-1, 0, 5} y
D = {-1, 0}
C x D = {(x, y) / xC yD}
2) Por tabla:
x
y

-1
-1

0
0

5
-1

-1
0

3) Por diagrama cartesiano:

0
-1

5
0

4) Por diagrama sagital:

CxD

C
-1
0
5

D
-1
0

RELACIN ENTRE OPERACIONES DE DIFERENTES LGEBRAS


LGICAS

CONJUNTOS

54

PRINCIPALES LEYES DE LAS OPERACIONES CON CONJUNTOS

1) IDEMPOTENCIA:
AA = A
AA = A
AA =
2) CONMUTATIVAS:
AB = B A
AB = BA
AB = BA
3) ASOCIATIVAS:
(AB)C = A(BC)
(AB)C = A(BC)
(AB)C = A(BC)
4) DISTRIBUTIVAS:
A(BC) = (AB) (AC)
A (BC) = (AB) (AC)
A(BC) = (AB) (AC)

55

5) DE MORGAN:
(AB) = A B
(AB) = A B
6) COMPLEMENTO:
(A')' = A
= U
U =
AA' =
AA' = U
A-B = AB'
7) IDENTIDAD:
A =
AU = A
A = A
AU = U
A = A
AU = A'
AB = (A-B) (B-A)
AB = (AB) - (AB)
8) ABSORCIN:
A(AB) = A
A(AB) = A

56

9) DIFERENCIA:
U-A = A'
A-U =
-A =
A- = A
A-A =
10) OTRAS PROPIEDADES IMPORTANTES:
AB SI B' A'
AB = A si A B
AB = B si AB
A-B = si AB
A'B'= AB

57

PROBLEMAS DE APLICACIN
Podemos usar la teora de conjuntos para resolver varios tipos de problemas,
entre ellos los de numerosidad. Por ejemplo el siguiente:
En una encuesta de 100 estudiantes, la cantidad de ellos que cursaban diversas
materias fue la siguiente: Ingls 60, Matemtica 40, Qumica 50, Ingls y
Matemtica 30, Ingls y Qumica 35, Matemtica y Qumica 35, las tres
materias 25.
a) Cuantos estudiantes toman Matemtica, pero ninguna de las otras?
b) Cuantos estudiantes cursan Matemtica y Qumica, pero no Ingls?
c) Cuntos estudiantes toman Ingls y Qumica, pero no Matemtica?
d) Cuntos estudiantes reciben a lo sumo una materia?
Solucin:
Representemos los datos:

U
I
20

1) Primero los que cursan las tres

materias.

10 25 10

2) Luego los que cursan dos.

3) Finalmente los que cursan una

asignatura.

25

4) Por

ltimo

los

que

no

cursan

ninguna, como diferencia entre los


100 (total) y la suma de los tres
conjuntos.
5) Luego resolvemos las preguntas
planteadas.

58

a) 0
b) 10
c) 10
d) 50
EJERCICIOS GENERALES DE LGICA Y DE CONJUNTOS:
1. Dados los conjuntos:
A = {xR/-<x-5 6x<}
B = {xR/x]-5;-2] [3;6[ }
C = {xR/x]-5;2] [3;6[ }
D = [3;6[
F = {xR/x]-; [ }
CALCULAR: [(A'-B) C] (F-D')
A= ]-; -5] [6; [
C=

(A'-B) U C
F
D
B
A

-5

-2

59

(F-D)
D
F
-

[(A-B)C] (F D)

F D

(A B) U C
-

SOL:

-2

]2; 6[

60

2. Represente mediante un diagrama de Venn las relaciones


existentes entre conjuntos A, B y C (conjuntos no vacos), conociendo:
a) BC; AB ; AC
b) BA; BC = ; C A

A
B

3. Simplificar utilizando leyes.


(pq) [(pr) (qr)]

(pq) [(pr) (qr)]

Condicional

(pq) [(pr) (qr)]

De Morgan

(pq) [(pr) (qr)]

Conjuncin Negativa

(pq) [(pr) (qr)]

De Morgan

(pq) [(pr) (qr)]

De Morgan

[p(pr] q (qr)]

Asociativa

(pq) (qr)

Absorcin

p [q(qr)]

Asociativa

pq

Absorcin

4. Determinar y graficar AxB si:


A = {x/x=2n-l;nN<5}
B = {y/y = x2}

61

A = {-1,1,3,5,7}
B = {1,9, 25, 49}
AxB = {(-1,1) (-1,9) (-1,25) (-1,49) (1,1) (1,9) (1,25) (1,49) (3,1) (3,9) (3,25)
(3,49) (5,1) (5,9) (5,25) (5,49) (7,1) (7,9) (7,25) (7,49)}
AxB
B

5. Niegue y simplifique la siguiente proposicin.


(x: px qx) (x: qx px)
Primero simplificamos

(x: px qx) (x: qx px)


(x: px qx) (x: qx px)
(x: px qx) (x: qx px)
NEGACIN:
(x: px qx) (x: qx px)

x: [(px qx) (qx ~ px)]


[(px ~ px) (qx qx)
FF
F
A continuacin un ejemplo de aplicacin de las leyes de las operaciones:
Simplificar: {[QP)P] (P-Q)}' {P[(Q'P) (QP')]}
{[QP)P] (P-Q)}' {P[(Q'P) (QP')]}

62

= {P(PQ')}' {[P(Q'P)][P(QP')]} Absorcin, Diferencia, Distributiva


= {PQ'}'{[PQ'] [UQ]}

Asociativa, Idemp., Compl.

= {P'Q} {[PQ'] U}

De Morgan, Compl. Ident.

= {P' Q} [P Q']

Identidad

= (PP) (QQ')

Conmutativa, Asociativa

=U U

Complemento

=U

Idempotencia
ALGUNAS NOTACIONES DE CONJUNTOS

Conjuntos no ordenados { }
Conjuntos ordenados ( )
Intervalos [ ]
Estructuras algebraicas <R, +, >
EJERCICIOS PROPUESTOS
1) Seale por extensin y comprensin el conjunto de los nmeros naturales
mltiplos de 6 y menores que 50
2) Dados los conjuntos A= {4,6,8,10,12} ,

B= {3,5,7,8,9},

U= {x N : 2 < x < 13}. Halle:

a) C- (A U B)
b) (A - C) B.

Grficamente y analticamente

63

C= {4,7,5,10,11}

3) Represente en diagrama de Veen

a) (B - C) (B I A)

b) (C B) (A U C)
4) Determine los conjuntos A, B y D que cumplan todas las condiciones
siguientes que corresponden todos a un mismo problema.
a) D A U B y A I B D
b) A D = {3,4}
c) (A U B) D = {3,5,6}
d) (A I D) (B I D) = {1, 2,4}
e) A I B I D = {0}
5) De 120 personas de una Universidad se obtuvo la siguiente informacin:
72 alumnos estudian Matemtica
64 alumnos estudian Biologa
36 alumnos estudian Computacin
12 alumnos estudian las 3 materias
Cuntos estudiantes asisten exclusivamente a 2 materias?.

64

EVALUACIN SUMATIVA
1) Utilice el mtodo de comprensin para describir los siguientes conjuntos:
a) A= {49,42, 35, 28, 21,14}

1 1 1 1 1
, , , ,
b) D= 2 5 10 17 26

2) Dados los conjuntos A= {4,6,8,10,12} , B= {3,5,7,8,9}, C= {4,7,5,10,11} y


U= {x N / 2 < x < 13} Hallar

a) (A - B) I (B - C)
b) (A B) (A B)
3) Represente en un diagrama de Venn:

[(A U B) C] U (A I B)
4) En una encuesta realizada a 63 personas sobre el uso de dentfricos se
obtuvo la siguiente informacin: 10 usan solo la marca A, 15 solo utilizan la
marca B, 12 solo usan la marca C, 8 usan las marcas A y B, 5 usan las
marcas B y C, 15 usan las marcas A y C.
Cuntos usan las 3 marcas?.
5) Verifique las leyes de De Morgan para los siguientes conjuntos:
U= { dgitos decimales

A= {1, 3,5}

65

B= {2,4,6}

UNIDAD 3
DESIGUALDADES
OBJETIVO:
Resolver problemas que determinen la resolucin de una o ms desigualdades.

SUMARIO:
Conjunto de los nmeros reales. Axiomas de cuerpo. Axiomas de la igualdad.
Axiomas de orden. Intervalos. Operaciones con intervalos. Resolucin de
inecuaciones. Mtodo abreviado. Problemas de aplicacin.

INTRODUCCIN:
La interpretacin matemtica de algn aspecto del mundo fsico se denomina
modelo. Los modelos ms empleados son lineales, los que se expresan
mediante una ecuacin o inecuacin lineal o un sistema de ellas. En esta unidad
analizaremos el fundamento y aplicacin de las desigualdades

CONJUNTO DE LOS NMEROS REALES


Definicin.- El conjunto de los Nmeros Reales se representa con la letra R;
es un conjunto en el que se han definido dos operaciones: suma y
multiplicacin y en el que se supone se cumplen los siguientes axiomas;
1. Axiomas de Cuerpo
2. Axioma de Completez
3. Axiomas de Orden
Analizaremos los axiomas mencionados en los grupos 1 y 3.

66

AXIOMAS DEL CUERPO DE LOS REALES


1)

CLAUSURATIVOS:
=x,y R: (x+y)R (x.y)R

2)

ASOCIATIVOS:
= x,y,z R: (x+y)+z = x+(y+z)
= x,y,z R; (x.y).z = x.(y.z)

3)

MODULATIVOS:
= xR, ! 0R: x+0 = x
= xR, ! lR: x.l = x

4)

INVERTIVOS:
= xR, ! (-x)R: x+(-x) = 0
= xR, x 0: ! 1/xR: x.l/x = 1

5)

CONMUTATIVOS:
= x,y R, x+y = y+x
= x,y R, x.y = y.x

6)

DISTRIBUTIVOS - RECOLECTIVOS:
x,y,ZR:

6.1 x(y+z) = xy+xz


6.2 (y+z)x = yx+zx
6.3 xy + xz = x(y+z)
6.4 yx+zx = (y+z)x
6.1 y 6.2 son Distributivos
6.3 y 6.4 son Recolectivos

67

AXIOMAS DE IGUALDAD
x,y,z R(C)

1) x = x

Reflexivo

2) x = y y = x

Simtrico

3) x = y y = z x = z

Transitivo

4) x = y x + z = y + z

Aditivo

5) x = y x . z = y . z

Multiplicativo

Notas:
1. x + 0 = x

Axioma Modulativo de la Suma

2. x . l = x

Axioma Modulativo de la Multiplicacin

3. x . 0 = 0

No es axioma, es teorema

xz = yz x = y
pero z 0

Teorema

AXIOMAS DE ORDEN
CONJUNTO DE LOS REALES POSITIVOS (R+)
Definicin.- Existe un subconjunto de los Nmeros Reales llamado conjunto
de los Reales Positivos (R+), en el cual se cumplen los dos axiomas siguientes
llamados axiomas de orden.
1. x, y R+: (x+y)R+ (x.y)R+

Clausurativo

2. x R+: Se cumple una y solo una de las siguientes afirmaciones:


2.1 x R+
2.2 (-x) R+

Axioma de Tricotoma

2.3 x = 0

68

DEFINICIN DEL SMBOLO "MAYOR QUE" (>)


a>b (a-b) R+
DEFINICIN DEL SMBOLO "MENOR QUE" (<)
a<b b>a
Nota: Se lee "mayor o igual" a b a > b a = b
Se lee "menor o igual" a b a < b a = b; en donde:

a es el primer miembro
es el signo de la desigualdad

b es el segundo miembro
ALGUNOS SUBCONJUNTOS DE LOS REALES
Z+

{0}

Z-

Q
R
C

F
Q

I.P.
Z+ = {Enteros Positivos)

Q = {Racionales)

Z- = {Enteros Negativos)

Q' = {Irracionales}

Z = {Enteros)

R = {Reales} IP= {imaginarios puros}

F = {Fraccionarios)

C = {Complejos}

DESIGUALDAD. Es una expresin algebraica de la forma a>b, a<b, ab o


ab. las dos primeras se denominan desigualdades estrictas y las dos ltimas,
no estrictas.

69

TEOREMA DE DESIGUALDADES
1. a + b > 0 a > -b
2. ab > l a > 0 b >l/a
3. a > -b a<b
4. ab > l a < 0 b < l/a
INTERVALOS
Son subconjuntos de los nmeros reales.

Intervalo Abierto.- El intervalo abierto indica que sus extremos o lmites


no se considera como parte de la solucin; se simboliza por medio de ]a; b[.
]a;b[ = {x/a<x<b)
]2;5[ = {x/2<x<5}

Intervalo Cerrado.- Sus extremos o lmites se consideran como parte de la


solucin, se simboliza por medio de [ ].
[a;b] = (x/axb)
[2;5] = {x/2x5}

70

Intervalo Semi Abierto.- Est identificado por incluirse solo uno de los 2
extremos.
[a; b[ = {x/ax<b}
[2;5[ = {x/2x<5}

Se simboliza por medio de ]a; b]


]a; b] = {x/a<xb}
]2; 5] = {x/2<x5}

Otros intervalos existen cuando al menos uno de sus extremos tiende al infinito.
Ejemplo:
A= {xR/x<a} =]-;a[

A= {xR/x>a} =]a; +[

71

Ejemplos:
A={xR/x<3} = ]-; 3 [

A = {xR/x>-1} = ] -1; + [

-1

-2

-3

-5

-4

-3

A = {xR/x-3} = [-3; +[

OPERACIONES CON INTERVALOS


Ejemplo:
Sean los Intervalos:
I = [-2;5[

J = ]4;+[

K = ]-;5[

Hallar: (IK)' y [(I J)-K]

72

(IK)

K
I
-

-2

(IK) = [-2;+[

(IJ)
J

K
I
-

-2

4
(I J)-K =

Ejemplo:
L = {x/3x<6} = [3;6[
M = {xN/ -1x<5}

73

Determinar: (LM)'
(LM)
LM
M
L
-

(LM) = ]-; 0 [ ] 0;1 [] 1;2 [] 2;3] {4} [6; + [


Ejemplo:
Sea A = {xN/l<x5}
B = {yZ/-2<y<4}

= {2,3,4,5}
= {-1,0,1,2,3}

Hallar y graficar B x A
BxA = {(x,y)/xB y A}
BxA = {(-l,2) (-1,3) (-1,4) (-1,5) (0,2) (0,3) (0,4) (0,5) (1,2) (1,3) (1,4) (1,5)
(2,2) (2,3)
(2,4) (2,5) (3,2) (3,3) (3,4) (3,5)}
y

BxA

A
5
4
3
2
1

-2

-1

x
1

74

Ejemplo:
A = {xN/1<x5}

A = {2,3,4,5}

B = {y/-2 < y < 4}

B = ]-2;4[

Hallar B x A. Hacer el diagrama cartesiano.


B x A = {(x, y)\xB, yA}

BxA

5
4
3
2
1

x
-4

-3

-2

-1

RESOLUCIN DE INECUACIONES
Una inecuacin es una desigualdad que se cumple slo para determinados
valores de la o las variables.
En la resolucin de inecuaciones se deben utilizar los teoremas de las
desigualdades.
Ejemplo: resolver la siguiente inecuacin.
3( x + 1) 2( x 3)
31x

+ 2x 1 >
+4
2
5
10
15 x + 15 4 x + 12 + 20 x 10 31x + 40
>
10
10
31x + 17 > 31x + 40
17 > 40

75

Conjunto Solucin = , ya que ningn valor de x cumple la ltima condicin.


Observaciones para resolver inecuaciones:
1. Si la desigualdad contiene 0 o 0 se incluyen los extremos de los
intervalos, excepto los que hagan divisin para cero.
Si la desigualdad contiene >0 o <0 no se incluyen los extremos de los
intervalos en el conjunto solucin.
2. Aunque el mtodo general se usa solo para factores de primer grado puede
aplicarse a factores que estn elevados a potencias mayores que uno con
las siguientes consideraciones:
2.1) Si el factor est elevado a una potencia impar entonces su signo
coincide con el signo del factor elevado a la primera potencia y puede ser
tratado como los dems factores de primer grado.
2.2) Si un factor est elevado a una potencia par entonces siempre es
positivo y puede omitirse en el anlisis porque un factor positivo no influye
en el signo del resultado. Se excepta el caso en el que el factor de potencia
par se encuentre en el denominador, pues en ese caso hay que excluir los
valores que hacen divisin para cero.
3. El mtodo abreviado se aplica solo si todos los coeficientes de x en los
factores son positivos. Si hay coeficientes negativos se debe cambiar
previamente de signo al factor (cambiando de sentido a la desigualdad
porque se esta multiplicando por -1 a los dos miembros).
4. Se debe insistir en que una desigualdad con varios factores se resuelve solo
si est comparada con cero y factorada.
5. No es correcto pasar factores o divisores que contengan variables de un
miembro a otro de la desigualdad porque no conocemos el signo de ellos
para mantener o cambiar el sentido de la desigualdad.
6. Siempre que en los factores hay trinomios cuadrticos (ax+bx+c) entonces
debe aplicarse para cada uno de ellos el siguiente procedimiento:
Factorar el trinomio cuadrtico por mtodos elementales.
76

6.1) Si el paso anterior no es posible, analizar el discriminante (b-4ac).


6.2) Si b-4ac es negativo (menor que cero) el trinomio es siempre positivo
y puede omitirse en el anlisis porque no influye en la respuesta.
6.3) Si b-4ac es mayor que cero (positivo) se factora el trinomio utilizando
la siguiente frmula: ax+bx+c = a (x-x1) (x-x2), donde x1 y x2 son las
soluciones de la ecuacin de segundo grado ax+bx+c = 0
6.4) Con el trinomio cuadrtico factorado, se aplica el mtodo abreviado.
APLICACIN DEL MTODO ABREVIADO
Todos los factores de primer grado deben tener sus coeficientes de x positivos
si no es ese caso hay que cambiar previamente de signo.
1. Primero comparar con cero.
2. Factorar el primer miembro.
3. En la recta numrica ubicar los valores que hacen cero a cada factor de
primer grado o de potencia impar
4. La recta numrica queda as dividida en intervalos.
5. Poner signos en los intervalos en forma alternada de derecha a izquierda
comenzando con el signo ms.
Ejemplo: Resolver la siguiente inecuacin.

(3 2 x) 3 ( x 5)
0
(7 x 1)(3 x + 4)
(2 x 3) 3 ( x 5)
0
(7 x 1)(3 x + 4)

(2 x 3)( x 5)
0
(7 x 1)(3 x + 4)

Ntese que para el anlisis la potencia 3 se toma como la potencia 1 del


factor 2x-3 porque coinciden en signo

77

-4/3

1/7

3/2

5
-

Escribir la solucin sealando los intervalos apropiados (incluir los extremos si la


desigualdad es de la forma 0 o 0 siempre que no den divisin para cero).
S = ]-4/3;1/7[[3/2;5]
VERIFICACIN DE LA RESPUESTA:
Para intervalos que cumplen y para los que no cumplen.
x=0

x=4

(+)()
0
()(+)

()()
0
(+ )(+)

x=1

x=6

(+)()
0
(+)(+)

()(+)
0
(+ )(+)

Ejemplo: resolver la siguiente inecuacin.


1
x
x

x + 3 x 1 ( x + 3)( x 1)
x
x
1

0
x + 3 x 1 ( x + 3)( x 1)
x( x 1) x( x + 3) 1
0
( x + 3)( x 1)
x x x 3x 1
0
( x + 3)( x 1)
4x +1
0
( x + 3)( x 1)

-3
-

-1/4
+

1
-

S = ]-3;-1/4]]1;+[
78

Ejemplo: resolver la inecuacin:


OPERACIONES:
2x + x + 2

( x 4 x + 3) ( x + 5 x 1) < 0
[( x 4x + 3) ( x + 5x 1)][( x 4x + 3) + ( x + 5x 1)] < 0
(9x + 4)(2x + x + 2) < 0

(9x 4)(2x + x + 2) > 0


9x 4 > 0
4
x>
9

a = 2; b = 1; c = 1
b 4ac = 1 4
= 3 < 0
2x + x + 2 > 0
por lo tanto se ignora
el trinomio en el
anlisis.

4/9
-

S = ]4/9; +[
Ejemplo: resolver la inecuacin.
2x-x-7 < 0

Factoramos

OPERACIONES:
2 x x 7

1 + 57 ) 1 57
x
<0
2 x

4
4

( x 2,1)( x + 1,6) < 0

57
4

1+

b 4ac = (1) 4(2)(7)


= 1 + 56
= 57

57
4
ax + bx + c = a ( x x1 )( x x2 )

S = ]1

57
57
[
;1 +
4
4

x1 =

1 + 57
1 57
; x2 =
4
4

Verificacin para x = 0
2(0)-0-7<0
-7<0

V
79

Verificacin para x = -2
2(2) (2) 7 < 0
8+ 27 < 0
3< 0

INECUACIONES CON VALOR ABSOLUTO


Para resolver este tipo de inecuaciones, es necesario aplicar tambin los
teoremas de inecuaciones con valor absoluto.
Mtodo de Resolucin
Caso 1. Cuando hay un solo valor absoluto en la inecuacin.- Se aplica
uno de los siguientes teoremas (luego de despejar el valor absoluto).
1. |x|a = -axa = xa x-a
2. |x| a = xa x -a
Caso 2. Cuando hay una suma o resta de valores absolutos en la
inecuacin.
Por ejemplo resolver la desigualdad |x - 2| - |x + 3| 5
1. Representar en la recta numrica los valores que hacen cero a cada uno de
los valores absolutos y dividir en intervalos a la misma.
Intervalos

2
-3

3
2

80

2. Elaborar una tabla y escribir verticalmente a la izquierda de la misma las


expresiones afectadas por los valores absolutos, determinando los intervalos
y los signos de cada expresin en cada intervalo.

Intervalos

2
-3

3
2

x-2

x+3

3. Resolver un sistema de inecuaciones para cada uno de los intervalos. Dicho


sistema siempre tiene dos condiciones:
3.1 La primera condicin es la que define al intervalo que se analiza ese
momento.
3.2 La segunda condicin siempre es la inecuacin planteada sin los valores
absolutos, los cuales deben ser evaluados segn el signo que tenga cada
expresin en el intervalo analizado.
4. La solucin total es la unin de las soluciones de cada uno de los intervalos.
5. Los valores extremos de los intervalos se deben analizar uno por uno
mediante reemplazo en la desigualdad planteada.
|x-2| - |x+3| 5

81

1) Intervalo 1

1. x ] ;3[

2. ( x 2) [ ( x + 3)] 5
1. x ] ;3[

2. x + 2 + x + 3 5

1. x ] ;3[

2. x ] ;+[

1.
2.
-3
S1 = ] ;3[

2) Intervalo 2

1. x ] 3;2[

2. ( x 2) [+ ( x + 3)] 5
1. x ] 3;2[

2. x + 2 x 3 5

1. x ] 3;2[

2. x 3

1. x ] 3;2[

2. x ] 3;+[

2
1

-3

S2 = ]-3; 2[

82

Intervalo 3:

1. x ]2;+[

2. x 2 x 3 5

1. x ]2;+[

2. 5 5

1. x ]2;+[

2. ] ;+[
1
2

S3 = ]2; +[
VALORES EXTREMOS DE LOS INTERVALOS:

a ) x = 3
| 3 2 | | 3 + 3 | 5
505

b) x = 2
| 2 2 | | 2 + 3 | 5
05 5

ST = S1 S 2 S3 {VE}
ST = ]-; -3[]-3;2[]2;+[{-3,2}
ST = ]-; +[
ST = R
Ejemplo: resolver la inecuacin

| x 1| 1
>
| 2x 3 | 3

83

S 1 = ] ;0 [ ]3 / 2;+ [

x 1 1
>
2x 3 3
x 1 1 x 1 1

>
<
2x 3 3 2x 3 3
x 1 1
x 1 1

> 0
+ <0
2x 3 3
2x 3 3
3( x 1) 2 x + 3
3x 3 + 2 x 3

> 0
<0
(2 x 3)(3)
(2 x 3)(3)
5x 6
x

> 0
<0
2x 3
2x 3

3/2

6/5

S 2 = ]6 / 5;3 / 2[

3/2

ST =];0[ ]6/ 5;3/ 2[ ]3/ 2;+[ {V.E.}

VALORES EXTREMOS DE INTERVALOS


a) x = 0

1 1
> F
3 3

84

6/5 -

3/2 + +

3
b) x = 2 no puede ir en la solucin porque da divisin para cero.

6
c) x = 5

6
1
1
5
>
12
3 3
5
1
5 >1
3 3
5

F
ST =

] ;0[U] 6 ; 3 [U] 3 ;+[


5 2

PROBLEMAS DE APLICACIN DE INECUACIONES


La resolucin de inecuaciones puede utilizarse en varios campos como a
continuacin sealamos con dos ejemplos:
Ejemplo:
Para fabricar un producto es necesario que la temperatura T de un ambiente
cerrado se encuentre entre -15 y 9 grados Celsius: Si T = x + 6x 7, en
donde x es la temperatura del acondicionador de aire determine el rango de
valores de x que garanticen el correcto funcionamiento.
2. Planteamiento y resolucin:

1. Dados e incgnita:

-15 x + 6x 7 9

-15C T 9C

x + 6x + 8 0

T = x + 6x 7

x + 6x 16 0

x = temperatura del acondicionador

Respuesta:

85

= [-8; -4] [-2; 2]

Incgnita = rango de valores.


4. Solucin:

3. Verificacin:
Si x = -6

El rango de valores es:

-15 - 7 9 V

ST = [-8; -4] [-2; 2]

Si x = 0
-15 - 7 9 V
Y si x = -3
-15 -16 9

Ejemplo:
Sea C la temperatura en grados Celsius y F la temperatura en grados

5
Fahrenheit en donde se establece que C = 9 (F 32). Cul es el rango de
valores de C, si F est entre 15 y 75 grados?.
2. Planteamiento y resolucin:

1. Dados e incgnita:
C=

C=

5
( F 32)
9

5
( F 32)
9

9
F = C + 32
5

15 F 75
Incgnita = rango de valores de C.

Resolviendo para C:

9C
+ 32 75
15 5
85
215
C
9
9
Si C = 0 entonces F = 32 que est entre 15 y 75

3. Verificacin:

4. Solucin:

85
215
C
9
9
85 215
C ;
9 9

86

EJERCICIOS DE APLICACIN
Resolver las siguientes inecuaciones:
1) (x-2) (x+6) > 6x-9

2 x 7 19 x 5 x + 2 1 4
+

+
5
15
3
3 5
2)
3)
4)

7
2
y 4y 5 y
3
3

3a 5
7
8

5) x x < 6

2x 3
<0
6) x + 3
7)

5x + 6 + 6 x 6

8) 2m 14m + 12 < 0

x +1
x

>0
x +1
9) x
( x 9)(3 x 2)
>5
x+5
10)
Resolver las siguientes inecuaciones con valor absoluto:

1
3
+ 0
1) (2 3 x 4
2)
3)
4)
5)

3x+2 3 > 2
x 1+ 2x 3 < 0

x+ x >2
x + 3 < x +1

87

Resolver los siguientes problemas:

800
1. La ley de Boyle establece que para cierto gas el volumen V = P donde P
es la presin. Cul es el intervalo de valores de P si el volumen se halla
entre 60 y 180 pulgadas cbicas y P est medido en libras por pulgada
cuadrada?
2. Una fbrica de muebles vende sus productos a 100 dlares por unidad. Si
produce x unidades por da y el costo total diario es x+20x+700, cuntas
unidades debe producir diariamente para obtener ganancias?
3. Se desea construir una piscina circular de un rea menor o
igual a

Cul es el rango de valores del radio?


EVALUACIN SUMATIVA

Resolver las siguientes desigualdades:


1) x - x < 6

( x 4)( x + 3)
0
(
1
)(
2
)
x

x
+
2)
3)
4)
5)

x 1 x +1 4
x x <2
x + 2 x + 4 <1

6) El rea de un terreno rectangular es menor que 40m y su ancho mide 5m.


Cmo vara el largo?.

88

UNIDAD 4
FUNCIONES
OBJETIVO:
Aplicar funciones en la resolucin de problemas analticos y grficos.
SUMARIO:
Relaciones de un conjunto A en un conjunto B. Dominio y recorrido. Relaciones
de R en R. Funciones de A en B. El lgebra de funciones. Funciones inyectivas,
sobreyectivas y biyectivas. Funciones Reales.
INTRODUCCIN:
Las funciones son elementos esenciales en la matemtica y particularmente en
el anlisis. La comprensin del clculo diferencial e integral, requiere de una
base slida previa de funciones, por lo que stas se estudian actualmente casi
en todos los aos de la Educacin Bsica y del Bachillerato y en los primeros
aos de la Universidad.

89

FUNCIONES
Relaciones de un conjunto A en un conjunto B
Una relacin de A en B es cualquier subconjunto del producto cartesiano A x B.
Ejemplo: Si A = {-3, 0, 3, 5} y
B = {-1, 2, 3, 6}, el producto cartesiano A x B es:
A x B = {(-3,-1),(-3,2),(-3,3),(-3,6),(0,-1),(0,2),(0,3),(0,6),(3,-1),(3,2),(3,3),
(3,6), (5,-1),(5,2),(5,3),(5,6)}
Ejemplos de relaciones de A en B.
a) Expresadas por los pares que las definen.
H = {(-3,-1) (0,2)}
L = {(0,3) (3,6)}
M = {(0,-1) (3,-1) (5,-1) (3,2) (5,2) (5,3)}
P = {(3,6)}
Q = {(0,3)}
Nota: Las anteriores son algunas de las relaciones de A en B porque de este
producto cartesiano pueden obtenerse 216 relaciones que es el nmero de
subconjuntos de A x B.
b) Las mismas relaciones anteriores, expresadas por frmula.
H = {(x,y) AxB/y = x+2}
L = {(x,y) AxB/ y = x+3}
M = {(x,y) AxB/y<x}

90

P = {(x,y) AxB/y = 2x}


Q = {(x,y) AxB/ y = x+3}
Conjunto de Partida de una Relacin.- Para toda relacin de A en B el
conjunto de partida es A. Ejemplo:
Las relaciones H, L, M, P, Q todas tiene como conjunto de partida el conjunto
A= {-3, 0, 3, 5}.
Conjunto de Llegada.- Toda relacin de A en B tiene como conjunto de
llegada el conjunto B. Todas las anteriores tienen como llegada el conjunto B=

{-1,2, 3, 6}.
NOTA: Para las relaciones de R en R, todas tienen como conjunto de partida R
y como conjunto de llegada R.

91

DOMINIO DE UNA RELACIN


Es el conjunto de las primeras componentes (x) de los pares que forman la
relacin. Es decir el dominio est formado por los valores que toma la variable
x.
Ejemplo: para las relaciones anteriores, los respectivos dominios son:
DH = {-3,0}
DL ={0,3}
DM = {0,3,5}
DP = {3}
DQ = {0}
Notas:

El dominio es un subconjunto del conjunto de partida.

Todas las relaciones obtenidas de un mismo producto cartesiano tienen el


mismo conjunto de partida pero su dominio depende de cada relacin.
RECORRIDO DE UNA RELACIN

Es el conjunto de las segundas componentes de los pares ordenados que


forman la relacin. Es decir el recorrido est formado por los valores que toma
la variable y.
Nota: El recorrido tambin se conoce con los siguientes nombres.

Rango.

Conjunto Imagen.

Conjunto de imgenes.

92

Contradominio.

Para las anteriores relaciones los recorridos son los siguientes:


RecH = {-1,2}
RecL = {3,6}
RecM = {-1,2,3}
RecP = {6}
RecQ = {3}
RELACIONES DE R EN R
Si el conjunto de partida y el conjunto de llegada son los nmeros reales, la
relacin es de R en R, una relacin es real si su dominio y su recorrido son
subconjuntos de los reales.
EJEMPLOS DE RELACIONES DE R EN R

y
3

x
-4

93

y
x

D = ] ;+[
R = {5}

D = {4}
R = ] ;+[

D = [ 5;3]
R = [1,5]

D = [ 4;4]
R = [ 4,4]

D = ] ;+[
R = ] ;+[
94

14

15

x
(-1,-2)

D = [ 1;+[
R = [ 2;+[

95

FUNCIONES DE A EN B
Una funcin f de un conjunto A en un conjunto B es una relacin de A en B tal
que a cada elemento xA le corresponde un nico elemento yB.
Notas:
1. El nico elemento y que corresponde a x se llama imagen de x.
2. Las principales notaciones de funciones son las siguientes:
f: A B

o tambin

x y = f(x)

AB
x y = f(x)

3. A es el dominio de f y B es el conjunto de llegada. Los valores que toma la y


forman el conjunto imagen, recorrido o rango de f. RecfB.
Ejemplos de funciones:
FUNCIONES DE A EN B
Definicin.- Una funcin de A en B es una relacin de A en B que cumple con
la siguiente condicin:

A cada elemento del conjunto A le corresponde un elemento del conjunto B


y solo uno. Ejemplos:

96

En conjuntos finitos:
1.

f
X

11
13
12

f es una funcin de X en Y.
f es relacin de X en Y.
2.
A

11

h es funcin de A en Y.
h es relacin de A en y.

13
12

3.
X

11
13
12

97

g es relacin de X en Y.
g no es funcin de X en Y.
En los 20 ejemplos grficos de relaciones de R en R, son funciones las
relaciones nmeros 1,2,3,4,6,7,10,11,12,13,14. En este caso tratamos con
juntos infinitos.
Para graficar una funcin real se obtienen algunos pares con la frmula se
grafican esos pares en un sistema de coordenadas y se unen los puntos
correspondientes con una lnea continua.
Por ejemplo graficar: f: f(x) = 2x + 1
TABLA DE VALORES
x

f(-3) = 2(-3)+1

-3

-5

f(-3) = -5

f(0) = 2(0)+1

f(0) = 1

f(3) = 2(3)+1
f(3) = 7

Grfico:

Y
f

98

MANERAS DE RECONOCER UNA FUNCIN


1. En

conjuntos

finitos

(representados

mediante

un

diagrama

sagital). Una relacin es funcin si de cada elemento del dominio sale una
sola flecha.
2. En conjunto infinitos.
En un diagrama cartesiano.- Una relacin es funcin si al trazar
cualquier vertical sobre su diagrama cartesiano la recta vertical corta
la grfica mximo en un punto.

Es funcin

No es funcin

Nota: Toda funcin es relacin pero no toda relacin es funcin.


Ejemplo: Graficar la relacin H y determinar si es funcin.
GRFICO
H = {( x, y ) / x + y = 16}
x + y = 16
y = 16 x
y = 16 x

DOMINIO:

99

16 x 0
16 x
x 16
x 16
x 4
4 x 4

No es funcin

D = [-4;4]
DETERMINACIN DEL DOMINIO DE UNA FUNCIN
El dominio de cualquier funcin real f est dado por la siguiente frmula:
Df = R - {Valores Excluidos}
Solo se excluyen los valores que corresponden a los casos siguientes:
1. Divisin para cero.
2. Raz cuadrada de nmeros negativos.
3. Determinados valores no definidos en algunas funciones trigonomtricas.
Determinar el Dominio de las siguientes funciones, su recorrido y su grfico.
f: f(x) = 2x+1
VALORES EXCLUIDOS =
1. DOMINIO
Df = R
x

-1

-1

2. GRFICO

3. RECORRIDO
Rf = R

100

16 x

h: h(x) =

1. DOMINIO
16-x0
-4x4
Dh = [-4;4]

-4

GRFICO

3 RECORRIDO
Rh = [0;4]

Y
4

X
-4

101

EL LGEBRA DE FUNCIONES
Se pueden realizar operaciones con funciones y obtener de este modo otras
funciones. Analizaremos cinco operaciones: suma, resta, multiplicacin, divisin
y composicin de funciones.
Sean las funciones reales f y g:
a) f + g: (f+g) (x) = f(x) + g(x)
b) f g:

(f-g) (x) = f(x) g(x)

c) fg:

(fg)(x) = f(x) g(x)

f
d) g :

f
f ( x)
( x) =
, g ( x) 0
g ( x)
g

El dominio para todas estas operaciones es la interseccin del dominio de f y el


dominio de g.
e) g compuesta con f: (g o f) (x) = g[f (x)], el dominio de g o f est formado
por las x tales que f(x) est en el dominio de g.
f) f compuesta con g: (f o g (x) = f (g(x)), el dominio de f o g es el conjunto de
las x tales que g(x) est en el dominio de f.
Ejemplo:
En los siguientes ejercicios se definen las funciones f y g. En cada ejercicio
defina las siguientes funciones y determine el dominio de la funcin resultante.

a) f + g

b) f g

c) f . g

f
d) g

102

g
e) f

f ( x) =

1
x +1

g ( x) =

x
x2

a) f+g: (f+g)(x) = f(x)+g(x)

x
1
+
x +1 x 2
x 2 + x( x + 1)
=
( x + 1)( x 2)
x 2 + x + x
=
( x + 1)( x 2)
x + 2 x 2
=
( x + 1)( x 2)
=

D f = ] ;1[ ] 1;+[
Dg = ] ;2[ ]2;+[
D f + g = D f Dg

D f + g = ] ;1[ ] 1;+2[ ]2;+[

b) f-g: (f-g)(x) = f(x)+g(x)

x
1

x +1 x 2
x 2 x( x + 1)
=
( x + 1)( x 2)
x 2 x x
=
( x + 1)( x 2)
x 2
=
( x + 1)( x 2)
=

D f g = ] ;1[ ] 1;2[ ]2;+[

c) f.g: (f.g)(x) = f(x).g(x)

1
x

x +1 x 2
x
=
( x + 1)( x 2)
=

f
d) g

D f . g = Df Dg

D f . g = ] ;1[ ] 1;2[ ]2;+[

f
f ( x)
: ( x) =
g ( x)
g

103

1
x

x +1 x 2

D = R { 1,2,0}
D f = ] ;1[ ] 1;0[ ]0;2[ ]2;+[

x2
=
x( x + 1)

g
e) f

g
g ( x)
: ( x) =
f ( x)
f

x
1

x 2 x +1

D g = R { 1,2}
f

D g = ] ;1[ ] 1;2[ ]2;+[

= x( x + 1) / x 2

1
f) Si f(x) = x 1 y g(x) =

x + 5 , hallar el dominio de g o f.

Dominio = {x / x D f ( x) Dg }

6
1

+ 5 0 = ;1 ;+
x

5
(]-; 1[]1; +[) 1 x

FUNCIONES INYECTIVAS, SOBREYECTIVAS Y BIYECTIVAS


Si a diferentes elementos del dominio, corresponden diferentes elementos del
recorrido, la funcin se llama inyectiva.

104

Ejemplo: Sea f: X Y con X = {1,2,3}, Y = {1,2,3,4,5,6,7,8,9} y f(x) = 2x + 1

1
2
3
4
5
6
7
8
9

1
2
3

f = {(1,3), (2,5), (3,7)}

f es inyectiva

Domf = {1,2,3}
Recf = {3,5,7} y

Si el recorrido de f = conjunto de llegada, la funcin se llama sobreyectiva.


Cuando una funcin es inyectiva y sobreyectiva a la vez, se llama biyectiva. En
el ejemplo anterior f no es biyectiva porque es inyectiva pero no sobreyectiva.
Funcin Inversa
Sea f una funcin biyectiva de A en B, la funcin inversa de f se representa f-1
de B en A y est definida de la siguiente forma. Si (x,y) f entonces (y, x) f-1.
Ejemplo:

Sea f la relacin definida por f(x) =

2x 5 :

a)

Hallar dominio y recorrido de f.

b)

Definir f en su mayor dominio para que sea biyectiva.

c)

Hallar f-1 con su dominio y recorrido.


105

5
2 ;+
a) 2x 5 0, x 2 : Df =
x

5
,2 x 5 0, 2 x 5 0, f ( x) 0, R f = [0;+[
2

b) Inyectividad: f(x1) = f(x2),

2 x1 5 = 2 x2 5, x1 = x2

f es inyectiva.

2 ;+ [0;+[

Sobreyectividad: Definimos f:
De esta forma f es sobreyectiva, porque el recorrido es igual al conjunto de
llegada con esta redefinicin de f.
Al ser inyectiva y sobreyectiva f es biyectiva.

c)

y = 2x 5, x =

y + 5 1
x + 5
, f ( x) =
2
2

: [0;+[ ;+
2

x + 5
X f-1 (x) = 2
Dominio de f-1 = [0; +[

2 ;+
Recorrido de f =
-1

106

PROBLEMAS DE APLICACIN DE FUNCIONES


Ejemplos:
1. Se va a construir una caja rectangular abierta con una base cuadrada de
longitud x y un volumen de 20.000 cm. Exprese el rea de la superficie s
de la caja como una funcin de x.
1) Datos e Incgnita

2) Planteamiento y resolucin

V = Abase altura

(1) A = x + 4xy

V = 20.000 cm

(2) 20.000 cm = xy

Lado de la base = x

Remplazamos (2) en (1)

Altura = y

4 ( 20000 )
x
A(x) = x +

3) Solucin

80000
A(x)=x + x

2. Se debe construir una pista de atletismo con dos segmentos rectos y dos
semicrculos. El radio de cada semicrculo es R. La longitud de la pista debe
tener 1 Km. Exprese el rea total AT de la pista en funcin de R.
1) Datos e incgnita

2) Planteamiento y resolucin

+ x.2 R

A(x) = rea de la pista

(1) A(x) =

A(x) = AS + AR

(2) 2R + 2x = 1

AS = R

1 2R
2
De (2) x =

LC = 2R

Reemplazamos (2) en (1)

AR = base x altura

A( x) =

R
2

1 2R
+ 2
R
2
2

A(x) = R+R-2 R
A(x) = R - R

107

Solucin:
A(x) = R - R

EJERCICIOS PROPUESTOS

15 5 x . Hallar dominio, recorrido y grfico.

1. Sea f: f(x) =
2. Sea g: g(x) =

3. Sea h: h(x) =

x + 4 . Hallar dominio, recorrido y grfico.


2

3
x . Hallar dominio, recorrido y grfico.

x 1
4. Sea f: [-5; 5] R tal que f(x) = 2x+1 y g: [-1; 7] R tal que g(x) = x + 3 .
f g
Hallar f + g, f g, f + g , fg y los dominios correspondientes.

1
5. Si f(x) = x- x y g(x) =

x . Hallar a) f o g; b) g o f y sus dominios

correspondientes.
6. Sea f: f(x) =

2 x + 4 . Hallar dominio y recorrido, redefinir f para que sea

biyectiva y hallar su inversa con el dominio y recorrido respectivos.

1
7. Sea g: g(x) = x 2 , contestar las mismas preguntas anteriores.

EVALUACIN SUMATIVA

1. Sea g: g(x) =

1
x . Hallar dominio y recorrido.

x 1
2. Sea f: f(x) = x + 1 y g: g(x) =

x . Hallar las siguientes operaciones y sus

dominios:
a) f g

b) fg

3. Sea f: f(x) =

f
c) g

d) g o f

2 x 3 . Hallar dominio y recorrido. Redefinirla para que sea

biyectiva y hallar su inversa con su dominio y recorrido.

108

4. Hallar dominio, recorrido tanto de f como de f-1 y graficar ambas en un


mismo sistema de coordenadas con f: f(x) = 2x -1.
5. Una empresa puede construir libreros a un costo unitario de $40. Si el costo
unitario es x, se estima que se vendern 300-2x libros al mes: a) Expresar el
monto de las utilidades mensuales para la empresa como funcin de x; b)
Utilice el resultado de la parte a) para determinar las utilidades mensuales,
si el precio de venta unitaria es de 110 dlares.

109

BIBLIOGRAFA BSICA
Lara Jorge Arroba Jorge, ANLISIS MATEMTICO, Centro De Matemtica
Universidad Central Del Ecuador, 2007.
Senz, Lara y otros, Matemticas Bsicas, Centro de Matemtica
Lara Benalczar, Fundamentos de Matemtica, Centro de Matewmtica
Galindo Edwin, MATEMTICAS SUPERIORES, editorial Prociencia, 2007.
Montenegro Parra, Matemtica Bsica, Facultad de Filosofa, 2001.
Zill Dennis. LGEBRA Y TRIGONOMETRA. Editorial Mc. Graw-Hill, 2001,
Colombia.
Hirsch. MATEMTICAS 5. Editorial Mc. Graw Hill, 2004, Colombia.
Barnett Uribe. MATEMTICAS 4. Editorial Mc. Graw Hill, 2002, Colombia.
Britton Jack. LGEBRA Y TRIGONOMETRA CONTEMPORNEAS. Editorial Harla,
Mxico, 2002.
Phillips Elizabeth. LGEBRA CON APLICACIONES. Editorial Harla, Mxico, 2003.
Valdivia Mario. MATEMTICA. Ediciones Universidad de Concepcin, Chile,
2003.
Garca Ardura Manuel. LGEBRA. Librera y Casa. Editorial Hernando S.A.,
Madrid, 1985.
Lovaglia Florence. LGEBRA. Editorial HARLA.
Jack R. Britton Ignacio Pallo: Matemticas Contemporneas. Edit. Karla,
Mxico, 2002.
Raymond A. Barnett, Algebra, Mc. Graw Hill / Interamericana de Mxico S.A.
de CV 2004.
Potatov:

Algebra Superior

Goi:

Algebra

Gobran:

Algebra

Fuenlabrado, Aritmtica y lgebra, Editorial Mc. Graw Hill, 1990, Mxico.


Herrera Gustavo, Folleto de Ejercicios, E.P.N.
Rojas Mauricio, Matemtica Bsica, E.P.N.
Exmenes Escuela Politcnica Nacional.

110

Das könnte Ihnen auch gefallen