Modulo 1 AlgyTrigo

MATERIAL DE APOYO PARA EL MODULO 1
DE ALGEBRA Y TRIGONOMETRA
PARA LA CARRERA DE INGENIERA
EJECUCIN Y CIVIL INFORMTICA
Marcelo Huenchucona Cifuentes

Carlos Picarte Figueroa
Concepcin, Marzo 04 del 2013.

2
ndice general
1. Elementos de Lgica 7
1.1. Introduccin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.2. Tablas de Verdad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.3. Conectores Lgicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.4. Polinomios Booleanos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
1.5. Tautologa, Contingencia y Contradiccin . . . . . . . . . . . . . . . . . . . . . . 13
1.5.1. Tautologas de uso frecuente . . . . . . . . . . . . . . . . . . . . . . . . . . 14
1.6. Equivalencia e Implicacin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
1.7. Cuantificadores universal y existencial . . . . . . . . . . . . . . . . . . . . . . . . 17
1.7.1. Negacin de Cuantificadores . . . . . . . . . . . . . . . . . . . . . . . . . . 17
1.8. Mtodos de Demostracin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
1.8.1. Mtodo Directo (H T ) . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
1.8.2. Contrarecproco (T H) . . . . . . . . . . . . . . . . . . . . . . . . . . 19
1.8.3. Mtodo Indirecto (H T ) . . . . . . . . . . . . . . . . . . . . . . . . . . 19
1.8.4. Contraejemplo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
2. Conjuntos 21
2.1. Introduccin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
2.2. Definicin de Conjunto . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
2.3. Propiedades de inclusin e igualdad de conjuntos . . . . . . . . . . . . . . . . . . 24
2.4. Definiciones de las Operaciones Bsicas con Conjuntos . . . . . . . . . . . . . . 25
2.4.1. Leyes del Algebra de Conjuntos . . . . . . . . . . . . . . . . . . . . . . . . 28
2.5. Diagramas de Venn . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
2.6. Conjuntos Potencia y Cardinalidad . . . . . . . . . . . . . . . . . . . . . . . . . . 30
2.6.1. Conjunto Potencia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
2.6.2. Cardinalidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
2.7. Producto Cartesiano . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
3. Relaciones 33
3.1. Relaciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
3.1.1. Propiedades de las relaciones . . . . . . . . . . . . . . . . . . . . . . . . . 38
3
4 NDICE GENERAL
4. Funciones 39
4.1. Funciones Reales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40
4.2. Funciones Reales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40
4.3. Algebra de funciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48
4.4. Composicin de funciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50
4.5. Funcin Inversa . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51
4.6. Algunas Funciones Importantes . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52
4.6.1. La Funcin Lineal . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52
4.6.2. La Funcin Valor Absoluto . . . . . . . . . . . . . . . . . . . . . . . . . . 54
4.6.3. La Funcin Cuadrtica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57
4.6.4. La Funcin Por Tramos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61
4.7. Funcin Exponencial . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63
4.8. Problema Introductorio . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63
4.9. Funcin Exponencial . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 65
4.9.1. Ecuaciones Exponenciales . . . . . . . . . . . . . . . . . . . . . . . . . . . 66
4.9.2. Propiedades . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 67
4.10. Funcin Logartmica (Logaritmos) . . . . . . . . . . . . . . . . . . . . . . . . . . 67
4.10.1. Propiedades de los Logaritmos . . . . . . . . . . . . . . . . . . . . . . . . 68
4.10.2. Cambio de Base . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 70
4.10.3. Ecuaciones Exponenciales y Logartmicas . . . . . . . . . . . . . . . . . . 70
5. Teorema del Binomio 71

5.1. Introduccin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 71
5.1.1. Teorema del Binomio . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 73
Introduccin
Hacia el cuarto milenio A.C. naci una gran civilizacin a orillas del ro Nilo: los Egipcios.
Gracias a ellos y despus de un largo proceso, los primitivos textos pictogrficos evolucionaron
para dar lugar a una ordenacin lineal de smbolos ms sencillos: sistema de notacin jerogl-
fica.
El Renacimiento se plasm en el rpido progreso en el lgebra y, sobre todo, el desarrollo
de un simbolismo adecuado, que permiti obtener mtodos de clculo cada vez ms eficaces:
A lo largo del siglo XVI, la escuela de algebristas italianos (Tartaglia, Cardano, Bombelli,
etc.) haba conseguido obtener las frmulas para resolver las ecuaciones algebraicas de grados
3 y 4 por radicales. En esta tarea, se fue desarrollando tambin un simbolismo algebraico
adecuado, que result esencial para el desarrollo del lgebra y, a fin de cuentas, de toda la
Matemtica.
Actualment tanto Gerentes como Cientficos, profesionales en general, requieren de un
conocimiento cada vez ms profundo sobre el quehacer anterior en sus disciplinas.
Las Ciencias Sociales, la Economa, la Arquitectura, la Informtica, las Ciencias en gen-
eral, encuentran fundamento y soporte bajo diferentes aspectos en las Matemticas.
5
6 NDICE GENERAL
Captulo 1
Elementos de Lgica
La Lgica desde siempre
Un filsofo se asombr cuando Rusell le dijo que una proposicin falsa implica
cualquier proposicin.
Le dijo: Quieres decir que del enunciado de que dos ms dos es igual a 5 sigue que
tu eres el Papa?.
Russell respondi: Si.
El filsofo pregunt: Puedes demostrar esto?
Russell respondi: Ciertamente, e invent en el acto la demostracin siguiente:
1. Supn que 2 + 2 = 5
2. Sustrayendo dos de ambos lados de la ecuacin obtenemos 2 = 3
3. Transponiendo, obtenemos 3 = 2
4. Sustrayendo uno de ambos lados, obtenemos 2 = 1.
Ahora bien, el Papa y yo somos dos. Puesto que dos es igual a uno, entonces el
Papa y yo somos uno. Por consiguiente yo soy el Papa.
1.1. Introduccin
Parte de la lgica que estudia las relaciones con proposiciones.
7
8 CAPTULO 1. ELEMENTOS DE LGICA
Definicin 1.1 (Proposicin).
Ordenacin de ideas susceptibles de atribuirle en un cierto contexto uno slo de los

valores, verdadero(1) o falso(0).
Ejemplo 1.1.
Hoy es un da caluroso (1).
Los peces vuelan (0).
10 = 5 + 6 (0).
Notacin : Las proposiciones las designaremos con letras minsculas p, q, r, s,etc., y al

conjunto de todas las proposiciones lo designaremos por P.
1.2. Tablas de Verdad

Razonar es ordenar y clasificar ideas, es por ello que es muy usual usar tablas para
representar en forma ordenada y resumida. En lgica, stas reciben el nombre de Tablas de
Verdad, ejemplo:
proposiciones P
valores de verdad 1
0
1.3. Conectores Lgicos

Son smbolos con los cuales se pueden operar las proposiciones.
Definicin 1.2 (Negacin Lgica: , , , ).
Si p es una proposicin, se llama negacin lgica de p a la proposicin

p, p , p, p.
p p
1 0
0 1
1.3. CONECTORES LGICOS 9
Ejemplo 1.2.
p: Santiago es capital de Chile.
p: Santiago no es capital de Chile.
Definicin 1.3 (Conjuncin lgica: ).
Sean p y q dos proposiciones. Se llama conjuncin lgica de p y q a la proposicin

p q, y se lee p y q.
p q pq
1 1 1
1 0 0
0 1 0
0 0 0
Ejemplo 1.3.
Dadas las proposiciones
p: 2 + 3 = 5.(1)
q: 2 es un nmero primo.(1)
r: 2 es un nmero impar.(0)
El valor de verdad de:
1. p q : (1)
2. q r : (0)
Definicin 1.4 (Disyuncin lgica: ).
Sean p y q dos proposiciones. Se llama disyuncin lgica de p y q a la proposicin

p q, y se lee p o q.
p q pq
1 1 1
1 0 1
0 1 1
0 0 0
Ejemplo 1.4.
p: 2 + 3 = 5.(1)
q: 2 es un nmero primo.(1)
1. p q : (1)
2. q r : (1)
1.3. CONECTORES LGICOS 11
Definicin 1.5 (Condicional lgico: ).
Sean p y q dos proposiciones. Se llama condicional lgico de p y q a la proposicin

p q, y se lee si p entonces q.
p q pq
1 1 1
1 0 0
0 1 1
0 0 1
Ejemplo 1.5.
p: El sistema solar est formado solo por astros.(0)
q: El sol es un astro.(1)
r: La tierra es un astro.(0)
1. p q : (1)
2. p r : (1)
Observacin 1.1.
En la proposicin p q, p se llama antecedente y q consecuente.

Observacin 1.2.
El condicional es falso solamente si el antecedente es (1) y el consecuente (0).
Definicin 1.6 (Bicondicional lgica: ).
Sean p y q dos proposiciones. Se llama bicondicional lgica de p y q a la proposicin

p q, y se lee p si y slo si q.
p q pq
1 1 1
1 0 0
0 1 0
0 0 1
Ejemplo 1.6.
q: 6 es un nmero par.(1)
q r : (0)
Observacin 1.3.
Si p q es verdadera, entonces las proposiciones p y q son equivalentes.

1.4. POLINOMIOS BOOLEANOS 13
1.4. Polinomios Booleanos

Definicin 1.7.
Se llaman as a toda combinacin finita de proposiciones con los conectivos lgicos.

Un polinomio booleano, lo podemos denotar por P(p, q, r, ...), donde p, q, r, ... son
proposiciones lgicas,
Ejemplo 1.7.
1. P(p, q) pq
2. P(p, q) p q
3. P(p, q, r) [(p q) (q r)] (p r)
Observacin 1.4.
Si n es el nmero de proposiciones en el polinomio, el nmero de probabilidades

(resultados posibles) est dado por 2n veces.
1.5. Tautologa, Contingencia y Contradiccin

Definicin 1.8.
Sea P(p, q, r, ...) un polinomio booleano. Se dice que dicho polinomio es una tau-
tologa, si al reemplazar las variables p, q, r, .. por proposiciones cualesquieras de
P, se obtiene una proposicin verdadera.
Si al sustituir las variables p, q, r, ... por algunas proposiciones de P, se obtiene una
proposicin verdadera y algunas falsas, entonces el polinomio es una contingencia.
El polinomio es una contradiccin, si al sustituir los valores de P, por cualquier
proposicin se obtiene una proposicin falsa.
Ejemplo 1.8 (p p).
p p pp
1 1 1 Contingencia
0 0 0
Ejemplo 1.9 (p p).
p p p p
1 0 1 Tautologa
0 1 1
Ejercicio : Averiguar si los siguientes polinomios booleanos corresponden a tautologa,

contingencia o contradiccin.
1. p p 2.- (p q) (q p) 3.- [(p q) (q r)] (p r)
1.5.1. Tautologas de uso frecuente

Resumen 1.
1. (p p) p
(p p) p 7. (p q) (q p)
2. (p) p 8. [(p q) (q r)] (p r)
p p 9. [p (q r)] [(p q) (p r)]
3. pp [p (q r)] [(p q) (p r)]
pp [p (q r)] [(p q) (p r)]
4. (p q) (q p) [p (q r)] [(p q) (p r)]
(p q) (q p) 10. [(p q) (q p)] (p q)
(p q) (q p) (p q) [(p q) (q p)]
5. [(p q) r] [p (q r)] 11. (p q) (p q)
[(p q) r] [p (q r)] 12. (p q) (p q)
6. (p q) (p q) 13. (p q) [(p q) (p q)]
(p q) (p q)
Ejemplo 1.10.
Muestre que (p q) (p q) es una tautologa.

Sol:
p q q (p q) (p q) (p q) (p q) (p q)
1 1 0 1 0 1 0
1 0 1 0 1 1 1
0 1 0 1 0 1 0
0 0 1 1 0 1 0
1.6. EQUIVALENCIA E IMPLICACIN 15
Ejemplo 1.11.
Muestre que [(p q) r] [p (q r)] es una tautologa.

Sol:
p q r (p q) (q r) (p q) r [(p q) r] [p (q r)] p (q r)
1 1 1 1 1 1 1 1
1 1 0 1 0 0 1 0
1 0 1 0 0 0 1 0
1 0 0 0 0 0 1 0
0 1 1 0 1 0 1 0
0 1 0 0 0 0 1 0
0 0 1 0 0 0 1 0
0 0 0 0 0 0 1 0
1.6. Equivalencia e Implicacin

Definicin 1.9.
Sean p y q proposiciones de P. Se dice que las proposiciones p y q son equivalentes,

si la proposicin p q es verdadera.
Notacin : Anotamos p q, y se lee: p es equivalente a q.
Definicin 1.10.
Sean p y q proposiciones de P. Diremos que la proposicin p implica lgicamente

a la proposicin q, si p q es una proposicin verdadera.

p implica q

Si p, entonces q
Notacin : p q, y se lee: q se sigue de p

p es condicin suficiente para q

q es condicin necesaria para p
Observacin 1.5.
Si la proposicin p q es verdadera, escribimos p q.

Si la proposicin q p es verdadera, escribimos q p.
La implicacin q p se llama implicacin recproca de p q, la cual pasa a
llamarse implicacin directa.
Observacin 1.6.
Si la proposicin p q es verdadera, escribimos p q.

La implicacin p q se llama implicacin contraria de p q.
Observacin 1.7.
La proposicin q p es verdadera si p q es verdadera, luego podemos escribir

q p.
La implicacin q p se llama implicacin contrarecproca de p q.
Las implicaciones de la forma H T se llaman Teoremas, donde H es la Hiptesis y

T es la Tesis.
Demostrar un teorema es verificar la verdad de la tesis a partir de la verdad de la hiptesis
y de razonamientos lgicos, nico caso que interesa, pus si H es falsa, puede ocurrir que T
pueda ser verdadera o falsa, es decir, H verdadera es el nico caso que asegura la verdad de
T.
Observacin 1.8.
Dado que (p q) (q p) es una tautologia (ejercicio), un teorema H T

y su contrarecproco T H son siempre equivalentes (tienen el mismo valor de
verdad), esto nos permite demostrar un teorema de una forma indirecta.
Observacin 1.9.
La importancia de los teoremas H T , radica en que se puede obtener nuevos

conocimientos a partir de conocimientos previos y de las leyes de la lgica.
1.7. CUANTIFICADORES UNIVERSAL Y EXISTENCIAL 17
1.7. Cuantificadores universal y existencial

Existen proposiciones en matemtica cuyo valor de verdad depende de un conjunto, por
ejemplo: Sea N = {1, 2, 3, ...} el conjunto de los nmeros naturales, P (x) x 1 y Q(x) x < 5
dos proposiciones.
La proposicin P (x) es verdadera para cualquier nmero natural x, en cambio la proposi-
cin Q(x) es verdadera para algunos valores de x en N.
Diremos que el dominio de validez de la proposicin P (x) es N, y el dominio de validez
de la proposicin Q(x) es {1, 2, 3, 4}.
Decir que el dominio de validez de P (x) es N, se traduce por:
(x)(x N)(P (x)) (x)(x N)(x 1)
Decir que el dominio de validez de Q(x) es {1, 2, 3, 4}, se traduce por:
(x)(x N)(Q(x)) (x)(x N)(x < 5)
Definicin 1.11.
: Se llama Cuantificador Universal
: Se llama Cuantificador Existencial
Observacin 1.10.
Es vlido escribir: (x)(x N x 1)
1.7.1. Negacin de Cuantificadores

Definicin 1.12 (Negacin cuantificador universal ).
Sea P (x) (x)(x A)(p(x))

P (x) (x)(x A)(p(x))
Ejemplo 1.12.
Sea P (x):Todos los animales caminan en cuatro patas.

P (x):Existe un animal que no camina en cuatro patas.
Definicin 1.13 (Negacin cuantificador existencial ).
Sea Q(x) (x)(x A)(q(x))

Q(x) (x)(x A)(q(x))
Ejemplo 1.13.
Sea Q(x):Existe un animal que vuela.

Q(x):Todos los animales no vuelan.
Ejemplo 1.14.
1. p (x)(x R)(x2 0)
p (x)(x R)(x2 / 0) (x)(x R)(x2 < 0)
Usando otra notacin
p (x)(x R x2 0)
p (x)(x R x2 < 0)
2. p Cualquieran sean x e y reales, se tiene que (x + y)2 = x2 + 2xy + y 2

p (x)(y)(x R)(y R)((x + y)2 = x2 + 2xy + y 2 )
p (x)(y)(x, y R)((x + y)2 =/ x2 + 2xy + y 2 )
3. q Existe un nico nmero natural que es menor o igual que 1

q (x)(x N)(x 1)
q (x)(x N)(x > 1)
Observacin 1.11.
La negacin de una implicancia se transforma en una disyuncin, es decir,

(p q) = (p q) = (p q)
Observacin 1.12.
La ltima proposicin puede quedar escrita de la siguiente manera:

q (!x)(x N)(x 1),
pero una proposicin escrita de esta forma no puede negarse.
1.8. MTODOS DE DEMOSTRACIN 19
1.8. Mtodos de Demostracin

1.8.1. Mtodo Directo (H T )
Consiste en probar que la tesis es verdadera, usando de propiedades y definiciones cono-
cidas y en algn momento haciendo necesariamente uso de la hiptesis.
Ejemplo 1.15.
Sea p(x): Si x > 0, entonces x + 1 > 0.

H x>0
T x + 1 > 0.
Solucin: Al demostrar por el mtodo directo, se tiene:

H x > 0 /(+1) x+1>0+1
x + 1 > 0 + 1 > 0 , pues 1 > 0
x+1>0
1.8.2. Contrarecproco (T H)
Consiste en suponer que la tesis es falsa (e. d. T es verdadera), y se debe concluir que
la hiptesis es falsa (e. d. H es verdadera).
Ejemplo 1.16.
Sea p(x): Si x 0, entoces x + 1 0.

H x 0, as H x < 0
T x + 1 0, as T x + 1 < 0
Solucin: Al demostrar por el mtodo contrarecproco, se tiene:

T x + 1 < 0 x < 1
x < 1 < 0
x<0
H
Luege, T H e. d.
H T es verdadero.
1.8.3. Mtodo Indirecto (H T )

Se asume la hiptesis verdadera y se supone que la tesis es falsa (T verdadera), luego se
debe llegar a una contradiccin con la hiptesis.
Ejemplo 1.17.
Sea p(x) Si a, b R+ , entonces a b R+

H a, b R+
T a b R+
Solucin: Al demostrar por el mtodo indirecto

Suponemos que H es verdadera, es decir, a, b R+ y que T es falsa, e. d. a b / R+ , luego
(T ): a b / R+ a b = 0 (a b) R+
i) Si a b = 0 a=0b=0
a / R+ b / R+
Contradiccin, pues a, b R+
ii) Si a b R a b < 0, como a R+ , a1 R+
a1 a b < 1 b < 0
Contradiccin, pues a, b R+
Lo que contradice la hiptesis
luego (H T ) es verdadera
1.8.4. Contraejemplo
Este mtodo es usado slo para demostrar la falsedad de una proposicin y no su certeza.
Consiste en buscar un ejemplo en el cual se verifica la hiptesis, pero no la tesis (e. d. la
tesis es falsa).
Ejemplo 1.18.
Sea p(x) x R, x2 > x.

H xR
T x2 > x
Solucin: Es falso, pues si x = 12 , se tiene que

x = 12 H es verdadera pues 12 R y
x2 = 14 < 21 = x T es falsa.
Captulo 2
Conjuntos
Porqu estudiar Conjuntos?
El fsico Freeman Dyson cuenta siempre la famosa conversacin que mantuvieron

el astrnomo James Jeans y el toplogo Oswald Veblen el la primera dcada del
siglo XX acerca del plan de estudios de Princeton.
Podramos suprimir la teora de conjuntos - dijo Jeans; es una materia que jams
ser til para la fsica.
Resulta que la teora de conjuntos ha sido esencial para el estudio de la mecnica
cuntica.
2.1. Introduccin
La nocin de nmero y contar ha acompaado a la humanidad desde la prehistoria. Como
todo conocimiento desarrollado por el hombre primitivo, la causa para que el ser humano
emprendiera sus pasos en el contar y plasmar cantidades surgi fundamentalmente de la
necesidad de adaptarse al medio ambiente, proteger sus bienes y distinguir los ciclos de la
naturaleza pues ya perciban y observaban con cuidado los ritmos que sta posee y su fina
relacin con las oportunidades de alimentacin y, en general, con la conservacin de la vida,
entre otros.
Cabe resaltar que el ser humano es incapaz de percibir, en forma directa e inmediata,
los grupos mayores a 4 objetos sin un aprendizaje previo; motivo que hace indiscutible que
para el hombre este conocimiento era completamente necesario e imprescindible a favor de
su supervivencia.
La razn para que actualmente se utilice un sistema decimal, se deriva principalmente de
que ser humano necesit hacer una representacin simblica del conteo con su propio cuerpo,
y para ello se vali bsicamente de los 10 dedos de las manos y aunque ste no fue el nico
sistema utilizado por la humanidad, s fue el ms difundido.
21
22 CAPTULO 2. CONJUNTOS
2.2. Definicin de Conjunto

Sea P (x) una funcin proposicional
Definicin 2.1.
Se dice que un Conjunto es la reunin de todos los elementos que verifican una
cierta propiedad P (x).
Notacin : A = {x P (x)} y se dice A un conjunto, donde los x que verifican P (x) se

les llama elementos del conjunto A, se dir x pertenece a A (x A).
Observacin 2.1.
Los conjuntos se denotarn con letras maysculas (ejem.: A, B, ...) y sus elementos
por letras minsculas (ejem.: a, b, x, y, ...).
Ejemplo 2.1.
A = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} B = {x es dgito }
Observacin 2.2.
Notemos que el conjunto A contiene los mismos elementos que el conjunto B.
Definicin 2.2.
Para escribir un conjunto, tenemos dos formas
1. Extensin: Consiste en enumerar los elementos del conjunto.

Ejemplo: Conjunto A dado antes.
2. Comprensin: Consiste en establecer una propiedad comn a los elementos

del conjunto.
Ejemplo: Conjunto B dado antes.
Definicin 2.3.
Sean A y B conjuntos. Diremos que un conjunto A es igual a B ssi poseen los

mismos elementos.
2.2. DEFINICIN DE CONJUNTO 23
Ejemplo 2.2.
1. A = {x/x N y x es par }, B = {x/x = 2 a, a N}
2. A = {, , , }, B = {, , , }
Definicin 2.4.
1. Diremos que un conjunto A es finito, si posee un nmero finito de elementos.
2. Si el nmero de elementos de A es infinito, se dice que A es un conjunto

infinito.
Definicin 2.5.
Sean A y B dos conjuntos.

Si cada elemento x de B es tambin un elemento de A, se dice que B es un sub-
conjunto de A
Notacin : B A
Ejemplo 2.3.
B = {1, 2}, A = {1, 2, 3}, entonces B A.
Observacin 2.3.
1. Si B A y B =/ A, se dice que B es subconjunto propio de A, y lo denotamos

por B A.
2. Dos conjuntos A y B son iguales ssi A B y B A, es decir, (A = B) (A

B B A)
2.3. Propiedades de las relaciones de inclusin e igual-

dad de conjuntos
Teorema 2.1 (Propiedades de inclusin).
Sean A, B y C conjuntos cualesquieras, entonces se tiene:
1. A B (x A x B)
2. A A (reflexividad)
3. Si A B B A A = B (antisimtrica)
4. Si A B B C A C(transitiva)
Teorema 2.2 (Propiedades de la igualdad).
Sean A, B y C conjuntos, entonces
1. (A = B) (x A x B)
2. A = A (reflexiva)
3. Si A = B, entonces B = A (simtrica)
4. Si A = B y B = C, entonces A = C (transitiva)
Ahora, definiremos dos importantes conjuntos

Definicin 2.6.
1. El conjunto Universo, que corresponde al conjunto que contiene a la to-

talidad de los objetos bsicos de inters para el estudio y lo denotamos por
U.
2. El conjunto Vaco, que corresponde al conjunto que no posee elementos y lo

denotamos por .
= {x U/x =/ x}
Observacin 2.4.
Sea A un conjunto cualquiera, entonces AU

2.4. DEFINICIONES DE LAS OPERACIONES BSICAS CON CONJUNTOS 25
Ejercicio : Probar lo anterior
2.4. Definiciones de las Operaciones Bsicas con Con-

juntos
Definicin 2.7 (Complemento).
Si A es un conjunto cualquiera, se llama Complemento del conjunto A, denotado

por Ac , al conjunto definido por:
Ac = {x/x U x / A}
es decir, el conjunto de los elementos de U que no estn en A.
Ejemplo 2.4.
U = {0, 1, 2, 3, 4, 5} y A = {1, 2, 3, 4}, entonces: Ac = {0, 5}
Observacin 2.5.
Uc = ; c = U
Definicin 2.8 (Diferencia).
Si A y B son conjuntos, se llama Diferencia entre A y By se denota por A/B

o A B, al conjunto definidos por:
A B{x/x A x / B}
Ejemplo 2.5.
A = {1, 2, 3}, B = {1, 2, 5}, entonces: A B = {3}
Observacin 2.6.
A = A, A U = .
Definicin 2.9 (Unin).
Si A, B son conjuntos, se llama unin de A y B , denotado por AB, al conjunto

definido por:
A B = {x/(x A) (x B)}
Ejemplo 2.6.
Sea A = {1, 2, 3} , B = {1, 2, 5}

A B = {1, 2, 3, 5}
Observacin 2.7.
A=A
AA=A
AU =U
Definicin 2.10 (Interseccin).
Si A y B son conjuntos, se llama Interseccin de A y B, denotado por A B,

al conjunto definido por:
A B = {x/(x A) (x B)}
Ejemplo 2.7.
Sean A = {1, 2, 3} , B = {1, 2, 5}

A B = {1, 2}
Observacin 2.8.
1. A U = A
AA=A
A=
2.4. DEFINICIONES DE LAS OPERACIONES BSICAS CON CONJUNTOS 27
Definicin 2.11.
Si A B = , entonces los conjuntos A y B se dicen Disjuntos.
Definicin 2.12 (Diferencia Simtrica).
Si A y B son conjuntos, se llama Diferencia simtrica de A yB, denotado por

A B, al conjunto definido por:
A B = {x/(x A x / B) (x B x / A)}
Observacin 2.9.
Usando la notacin de diferencia de conjuntos, quedara:
A B = (A B) (B A)
Ejemplo 2.8.
Sean A = {1, 2, 3} , B = {1, 2, 5}, entonces : A B = {3} {5} = {3, 5}
Observacin 2.10.
AA = A = A A U = Ac
2.4.1. Leyes del Algebra de Conjuntos
Resumen 2.
1. A A = A
AA=A (Leyes de Idempotencia)
2. (A B) C = A (B C)
(A B) C = A (B C) (Leyes Asociativas)
3. A B = B A
AB =BA (Leyes Conmutativas)
4. A (B C) = (A B) (A C)
A (B C) = (A B) (A C) (Leyes Distributivas)
5. A = A
AU =U
A= (Leyes de Identidad)
AU =A
6. A Ac = U
A Ac =
(Ac )c = A (Leyes del Complemento)
c = U
Uc =
7. (A B)c = Ac B c
(A B)c = Ac B c (Leyes de De Morgan)
2.5. Diagramas de Venn
Una forma simple e instructiva de representar los conjuntos y sus operaciones es mediante
los llamados Diagramas de Venn. Ejemplos: Hacer A B, A B, A B, Ac y A B.
2.5. DIAGRAMAS DE VENN 29
Resumen 3.
2.6. Conjuntos Potencia y Cardinalidad

2.6.1. Conjunto Potencia
Definicin 2.13.
Sea A un conjunto, se denomina Conjunto Potencia de A, al conjunto que

contiene a la familia de todos los subconjuntos del conjunto A y lo denotamos por
P(A) o 2A .
P(A) = {B/B A}
Ejemplo 2.9.
A = {1, 2, 3}, entonces: P(A) = {, {1}, {2}, {3}, {1, 2}, {1, 3}, {2, 3}, A}
Observacin 2.11.
1. , A P(A)
2. P(A) posee 2nmeros de elementos deA elementos.
2.6.2. Cardinalidad
Definicin 2.14.
Sea A un conjunto, se llama Cardinalidad de A al nmero de elementos del

conjunto A y lo denotamos por Card(A) o A o #A.
Ejemplo 2.10.
Sea A = {1, 2, 3}, entonces Card(A) = 3.

2.7. PRODUCTO CARTESIANO 31
Observacin 2.12.
1. Card(P(A)) = 2Card(A) .
2. A B Card(A) Card(B).
A B P(A) P(B)
3. P(A) P(B) = P(A B)

P(A) P(B) P(A B)
4. A B = A + B A B
A B C = A + B + C A B A C B C + A B C
2.7. Producto Cartesiano

Observacin 2.13 (Previo).
Los conjuntos {a, b} y {b, a} son iguales, ya que no interesa el orden de sus elemen-
tos.
Definicin 2.15 (Par Ordenado).
Se denomina par ordenado de primer elemento a y segundo elemento b, denotado

por (a, b)
Diremos que dos pares ordenados son iguales s y slo si sus respectivas componentes
son iguales, es decir:
(a, b) = (c, d) a=c y b=d
Observacin 2.14.
Es claro de la definicin que: (a, b) = (b, a) a = b.

Definicin 2.16 (Producto Cartesiano).
Dados A y B dos conjuntos no vacos, llamaremos Producto Cartesiano de A

y B, al conjunto formado por todos los pares ordenados de la forma (x, y), con
x A e y B.
El producto cartesiano lo denotaremos por A B, y se lee A cruz B, e. d.
A B = {(x, y) (x A) (y B)}
Ejemplo 2.11.
Sean A = {1, 2}, B = {a, 1}

A B = {(1, a); (1, 1); (2, a); (2, 1)}
B B = {(a, 1); (a, 2); (1, 1); (1, 2)}
Teorema 2.3 (Propiedades del Producto Cartesiano).
Sean A, B, C conjuntos, entonces se tiene:
1. A B = (A = B = )
2. B C (A B A C) (A =/ )
3. (A C B D) (A B C D)
4. A (B C) = (A B) (A C)
5. A (B C) = (A B) (A C)
6. A (B C) = (A B) (A C)
7. (A B) (C D) = (A C) (B D)
Captulo 3
Relaciones
Bases de Datos
Cuando el hombre necesit guardar sus conocimientos para las nuevas generaciones
y que estas pudiesen seguir el rastro de ellas y as recuperar dicha informacin, es-
cribi (dibuj) en las paredes, rboles, pero no pudo transportar estas informacin.
Fue pues cuando registr en cuero, y luego en papel.
Cuando logra mucha informacin, la catalog con nombres, tipos, reas del
conocimiento, fechas, etc. y para facilitar su busqueda, la relacion a un catlo-
go usando ndices de papel.
Este tipo de relacin, actualmente se llama Bases de Datos y se usan para seguir
el rastro del conocimiento cientfico e histrico.
Las bases de datos sirven para solucionar problemas como:
1. Compensar el olvido, si se olvida algo simplemente se busca.
2. Compensar el hecho de que los humanos solo podemos analizar pequeas

piezas de informacin, las Bases de Datos agrupan los datos por nosotros y
nos permite un mejor manejo de ellos.
3. Permiten compartir conocimiento e informacin.
3.1. Relaciones
Definicin 3.1.
Sean A y B dos conjuntos, entonces una relacin R de un subconjunto A a un

conjunto B es un subconjunto de A B, es decir, R A B
33
34 CAPTULO 3. RELACIONES
Grficamente podemos ilustrar, de la siguiente forma: A y B pueden representar los lados

de un rectngulo y as A B sera el interior de ste, y R un subconjunto de A B
Notacin : Diremos que los elementos a y b estn en la relacin R si (a, b) R y escribi-

mos
(a, b) R aRb b = R(a)
Observacin 3.1.
1. (a, b) / R a R
/ b b =/ R(a)
2. Normalmente nuestras relaciones R sern subconjuntos de AB que verifican

una propiedad P .
3.1. RELACIONES 35
Ejemplo 3.1.
La relacin igual (=) define una relacin binaria sobreR R.
R = {(x, y) R R /x = y}
Idea grfica:
Ejemplo 3.2.
La relacin mayor o igual que () definida en R R
R = {(x, y) R R /x y}
Idea grfica:
Ejemplo 3.3.
Definamos la relacin binaria R sobre R:
xRy x2 = y
luego R = {(x, y) R R / x2 = y}
Idea grfica:
Definicin 3.2 (Relacin Inversa).
Sea R una relacin en A B. Se llama Relacin Inversa de R, y se denota por

R1 a:
R1 = {(y, x)/(x, y) R}
Ejemplo 3.4.
Si R = {(x, y) N N /x = 2 + y} = {(2 + y, y) y N}.

Encontrar la relacin inversa.
Solucin:
R1 = {(y, x) N N /(x, y) R}
R1 = {(y, x) N N /x = 2 + y}
R1 = {(y, 2 + y)/y N}
Ejemplo 3.5.
Si R = {(x, y) N0 N0 /x + y = 4} = {(0, 4); (1, 3); (2, 2); (3, 1); (4, 0)}. Encontrar la
relacin inversa.
3.1. RELACIONES 37
Solucin:
R1 = {(y, x) N0 N0 /(x, y) R}
R1 = {(y, x) N0 N0 /x + y = 4}
R1 = {(x, 4 x)/x N0 }
Definicin 3.3.
Sean A , B conjuntos y R una relacin en A B, entonces llamaremos:
1. Dominio de R: Al conjunto de todos los x A, tales que exista un y B, de

modo que xRy, e. d.:
Dom(R) = {x A/y B xRy}
2. Recorrido de R: Al conjunto de todos los y B, tales que existe un x A,

de modo que xRy, e. d.:
Rec(R) = {y B/x A xRy}
3. Codominio de R: Corresponde al conjunto B, e. d.:
Cod(R) = B
Ejemplo 3.6.
Sean A = {2, 3, 5}, B = {6, 7, 10} y sea R la relacin siguiente:
R = {(2, 6); (2, 10); (3, 6); (5, 10)}
Encontrar dominio, recorrido y codominio de R.
Solucin:
Dom(R) = {2, 3, 5}
Rec(R) = {6, 10}
Cod(R) = {6, 7, 10}
3.1.1. Propiedades de las relaciones

Propiedades 1.
Sea R una relacin sobre A A, entonces diremos que R es:
1. Reflexiva en A, si a A, se tiene que aRa.
2. Simtrica en A, si se tiene que:

aRb bRa, (a, b) R
3. Antisimtrica en A, si se tiene que:

aRb bRa a = b
4. Transitiva en A, si se tiene que:

aRb bRc aRc, a, b, c A
Ejemplo 3.7.
Para (1) y (2): Relacin de igualdad (=).

Para (3) y (4): Relacin menor o igual ().
Observacin 3.2.
Para toda relacin R , se tiene que (R1 )1 = R

Captulo 4
Funciones
funciones
A finales del siglo XVII aparece por primera vez el trmino funcin. En palabras
de Johann Bernoulli, una funcin es una cantidad formada de alguna manera a
partir de cantidades indeterminadas y constantes. Pero no fue hasta 1748 cuan-
do el concepto de funcin salt a la fama en matemticas. Leonhard Euler, uno
de los grandes genios de las matemticas de todos los tiempos, public un libro,
Introduccin al anlisis infinito, en el defini funcin como:
Una funcin de una cantidad variable es una expresin

analtica compuesta de cualquier manera a partir de la
cantidad variable y de nmeros o cantidades constantes.
Pero Euler no define expresin analtica. As que poco despus, en 1755, tuvo que
precisar su definicin:
Si algunas cantidades dependen de otras del tal modo que si estas ltimas cambian
tambin lo hacen las primeras, entonces las primeras cantidades se llaman funciones
de las segundas.
Pero la cosa segua sin estar clara del todo: cmo es esa dependencia?, cmo
expresarla, calcularla o representarla?, cmo deben cambiar los valores de las varia-
bles?, cuntas variables pueden intervenir?, . . .
Muchos matemticos abordaron el problema de dar una definicin precisa y ade-
cuada de funcin. Y as se pasaron casi dos siglos, puliendo poco a poco el concepto,
hasta que, ya en el siglo XX, Edouard Goursat dio en 1923 la definicin que aparece
en la mayora de los libros de textos hoy en da:
Se dice que y es una funcin de x si a cada valor de x le

corresponde un nico valor de y. Esta correspondencia
se indica mediante la ecuacin y = f (x).
39
40 CAPTULO 4. FUNCIONES
4.1. Funciones Reales

Definicin 4.1 (Funcin).
Diremos que una relacin R de un conjunto A en un conjunto B es una Funcin

(o relacin funcional), cuando para cada x Dom(R), se le hace corresponder uno
y slo un elemento y en el Cod(R), e.d.:
[(x, y), (x, z) R (y = z)] R es funcin
Ejemplo 4.1.
(xRy) (y = x2 ), es una funcin, pero
(xRy) (y 2 = x) no lo es, pues:
para y1 = 1, existe un x = 1 que est relacionado ya que se cumple la condicin

de relacin ((1)2 = (1)), y para y2 = 1 tambin se cumple la condicin de relacin
((1)2 = (1))
Luego existen dos valores y1 , y2 tales que {y1 =/ y2 y (x, y1 ), (x, y2 ) R}.
Lo que contradice la definicin de funcin. Una idea Grfica sera
4.2. Funciones Reales

Definicin 4.2.
Sean A y B dos subconjuntos no vacos en R. Se llama Funcin de A en B a toda

ley o regla que asigna a cada elemento de A, un nico elemento de B.
4.2. FUNCIONES REALES 41
Observacin 4.1.
1. Para designar una funcin usaremos las letras f, g, h, F, H, etc.,y para indicar
un elemento usaremos las letras x, y, z, , etc.
2. Para indicar que f es funcin de A en B se escribe:
f A B
3. Para indicar que a un elemento x de A, la funcin f le asocia un slo elemento

y de B se escribe:
x f (x) = y
Es decir:
f A B
x f (x) = y
define una funcin f que a cada x en A le asigna un nico elemento y = f (x)

en B.
Observacin 4.2.
1. El elemento y se llama imagen de x por f o que y es la variable de-

pendiente, y el elemento x se llama pre-imagen de y por f o variable
independiente
2. Notemos que la funcin f es una relacin, a la que se le exige que a cada

elemento de A se le asocie un nico elemento de B, por lo tanto, al igual que
en ellas al conjunto A se le llama Dominio de f , al conjunto B se le llama
Codominio de f y al conjunto de valores que toma f en los elementos de A
se le llama conjunto imagen o Recorrido de f , es decir:
Rec(f ) = {f (x) B/x A}
o
Rec(f ) = {y B/x A f (x) = y}
Ejemplo 4.2.
En el siguiente grfico se muestran dos relaciones f y g. En la primera f representa

una funcin y en la segunda g no es funcin. porqu?
Observacin 4.3.
Notemos que A y B son subconjuntos de R, sin embargo, existen varias formas de

definir una funcin, como son:
1. f R R, esto es, dice que su Dom y Cod estn definidos, y solo falta
encontrar su Rec.
Ejemplo: f R R, x f (x) = 3x2 5
2. f A R R, esto es, dice que su Dom se desconoce y su Cod es R, es

decir, se debe encontrar su Dom y Rec.
Ejemplo: f A R, x f (x) = x2 5x+3
x1
3. f R B R, esto es, dice que su Dom es R y que su Cod se desconoce y

debe ser igual al Rec, es decir, se debe encontrar el Rec, y hacer el Cod igual
a l.
Ejemplo:f R B, x f (x) = x2 5
4. f A B, donde A y B son conjuntos dados en forma explcita, entonces

se conoce el Dom y Cod de la funcin, es decir, solo falta determinar el Rec.
Ejemplo: f [2, 10] [5, 69], x f (x) = x2 4x + 9
A continuacin nos preocuparemos del problema de encontrar Dom y Rec de una funcin.
Ejemplo 4.3.
Sea f A R R, f (x) = x2 + 3. Encuentre Dom y Rec de f .

Solucin: Aplicando la definicin, tenemos
Dom(f ) = {x R /f (x) R}
= {x R /x2 + 3 R}
= R
Rec(f ) = {y R /x A y = f (x)}
= {y R /x R y = x
+ 3}
2
= R x = y 3}
{y R /x
= {y R / y 3 R}
= {y R /y 3 0}
= {y R /y 3}
= [3, [
Ejemplo 4.4.
Sea g A R, g(x) = 1
x1 . Encuentre Dom y Rec de f .
Solucin:
Dom(g) = {x R /g(x) R}
= {x R / x1
1
R}
= {x R /(x 1) =/ 0}
= {x R /x =/ 1}
= R {1}
Rec(g) = {y R /x A y = g(x)}
= {y R /x =/ 1 y = x1
1
}
= {y R /x =/ 1 (x 1) = y1 y 0}
= {y R /x =/ 1 x = y1 + 1 y 0}
= {y R /x = y1 + 1 =/ 1 y 0}
= R {0}
Ejemplo 4.5.

Sea h A R R, h(x) = x2 1. Encuentre Dom y Rec de f .
Solucin:
Dom(h) = {x R /h(x)
R}
= {x R / x2 1 R}
= {x R /x2 1 0}
= {x R /x
1}
2

= {x R / x2 1} pero x2 = x
= {x R /x 1}
= {x R /x 1 x 1}
= ] , 1] [1, [
Rec(h) = {y R /x A y = h(x)}
= {y R /x 1 y = x2 1}
= {y R /x 1 (y 2 = x2 1 y 0)}
= {y R /x 1 x2 = y2 + 1 y 0}
= {y R /x 1 x = y 2 + 1 y 0}
= {y R /x = y 2 + 1 1 y 0}
= {y R /y 2 + 1 1 y 0}
= {y R /y R y 0}
= [0, [= R+0
Ejercicio : Sea f A R R, f (x) = 1 .

5x2
Encuentre Dom y Rec de f .
Definicin 4.3.
Una funcin de A en B, f A B, es :
1. Sobreyectiva, si Rec(f ) = B.
2. Inyectiva, si elementos diferentes de A tienen imgenes diferentes en B, es

decir:
x1 , x2 A, (x1 =/ x2 f (x1 ) =/ f (x2 )) ,
o lo que es equivalente (y en general la forma ms usada para probar inyec-
tividad de una funcin)
x1 , x2 A, (f (x1 ) = f (x2 ) x1 = x2 )
3. Biyectiva, si es sobreyectiva e inyectiva a la vez.

Observacin 4.4 (Importante).
Para probar la no inyectividad de la funcin f , basta mostrar que existen dos

elementos x1 y x2 de A tales que:
f (x1 ) = f (x2 ) x1 =/ x2
Ejemplo 4.6.
Las siguientes ideas grficas muestran distintas funciones, donde algunas son inyec-
tivas (f y g) y otras no (h y l).
Ejemplo 4.7.
Estudiemos la Sobreyectividad e Inyectividad para las funciones dadas en los ejem-

plos (4.3), (4.4) y (4.5) respectivamente.
Solucin:
1. f (x) = x2 + 3
x1 , x2 Dom(f ),
f (x1 ) = f (x2 ) x21 + 3 = x22 + 3
x21 = x22
x21 x22 = 0
(x1 x2 )(x1 + x2 ) = 0
x1 x2 = 0 x 1 + x2 = 0
x1 = x2 x1 = x2
Luego si f (x1 ) = f (x2 ), no necesariamente x1 = x2 , es decir, f no es inyectiva.

Observacin 4.5.
Notemos que en los casos en que intuimos o reconocemos que la funcin no es

inyectiva, podemos usar la observacin-4.4, esto es, basta mostrar que existen dos
elementos distintos del dominio de f que tienen la misma imagen. As en el ejemplo
anterior podramos mostrar que f no es inyectiva diciendo:
Dado que x1 = 1 y x2 = 1 pertenecen al dominio de f y f (1) = 4 = f (1), la

funcin f no es inyectiva
1
2. g(x) =
x1
x1 , x2 Dom(g),
g(x1 ) = g(x2 ) x111 = x211
x2 1 = x1 1
x2 = x1
Luego si g(x1 ) = g(x2 ), entonces necesariamente x1 = x2 , es decir g es Inyectiva.

3. h(x) = x2 1
x1 , x2 Dom(h),
h(x1 ) = h(x2 ) x21 1 = x22 1
x21 1 = x22 1
x21 = x22
x21 x22 = 0
(x1 x2 )(x1 + x2 ) = 0
x1 x2 = 0 x1 + x 2 = 0
x1 = x2 x1 = x2
Luego si h(x1 ) = h(x2 ), no necesariamente x1 = x2 , es decir h no es Inyectiva.
Definicin 4.4 (Igualdad de Funciones).
Dos funciones f y g son iguales si y slo si:
Dom(f ) = Dom(g)
Cod(f ) = Cod(g)y f (x) = g(x), x Dom(f )
Definicin 4.5.
Sea f A B y C A. La funcin g C B, g(x) = f (x) se llama restriccin

de f a C.Se suele denotar g = f C .
Definicin 4.6.
Sea f una funcin real. Se llama grfico de f alconjunto
Graf (f ) = {(x, y) R2 /y = f (x)}
Definicin 4.7.
Una funcin f A R R, se dice:
1. Estrictamente Creciente en A si:
x1 < x2 f (x1 ) < f (x2 )
cualesquiera sean los puntos x1 , x2 en A.
2. Estrictamente Decreciente en A si:
x1 < x2 f (x1 ) > f (x2 )
cualesquiera sean los puntos x1 , x2 en A.
Observacin 4.6.
Toda funcin estrctamente creciente (estrctamente decreciente) es inyectiva.

(Tarea: probar lo anterior)
Definicin 4.8.
Una funcin f A R R se dice:
1. Par ssi: x A x A f (x) = f (x).
2. Impar ssi: x A x A f (x) = f (x).

Observacin 4.7.
Existe alguna funcin par, que sea inyectiva?, porqu?
4.3. Algebra de funciones

Definicin 4.9.
Sean f A R R y g B R R funciones reales, y R escalar. Se definen

las siguientes operaciones:
1.- f g AB R
x (f g)(x) = f (x) g(x)
2.- f g AB R
x (f g)(x) = f (x)g(x)

f
3.- (A B) {x/g(x) = 0} R
g
f f (x)
x ( ) (x) = , g(x) =/ 0
g g(x)
4.- f X R
x (f )(x) = f (x)
Ejemplo 4.8.
Dadas las funciones :

f A R R , f (x) = 1x 1

g B R R , g(x) = x + 1
defina f g, f g, f /g y g f .
Solucin: Encontremos primero Dom y Rec necesarios.

Dom(f ) = {x R /f (x) R}
1
= {x R / R}
1x
= {x R /1 x =/ 0}
= R {1}
4.3. ALGEBRA DE FUNCIONES 49
Dom(g) = {x R /g(x)
R}
= {x R / x + 1 R}
= {x R /x + 1 0}
= [1, +[
Dom(f ) Dom(g) = [1, +[{1}
a) Encontremos f + g
(f + g)(x) = f (x) +g(x)
Luego:
= 1x
1
+ x+1
f + g [1, +[{1} R
x (f + g)(x) = 1
1x + x+1
b) Encontremos f g
(f g)(x) = f (x) g(x)
= 1x
1
x+1
Luego:
f g [1, +[{1} R
x (f g)(x) = 1
1x x+1
c) Encontremos f g
(f g)(x) = f (x) g(x)
= 1x

1
x+1
= 1x
x+1
Luego:
f g [1, +[{1} R
x (f g)(x) = x+1
1x
d) Encontremos f /g
(f /g)(x) = f (x)
g(x)
1
= 1x
x+1
= 1
(1x) x+1
Por otra parte debemos considerar g(x) =/ 0, es decir, x + 1 =/ 0, o bin x =/ 1.

Luego: Dom(f /g) = [1, +[{1, 1}
f /g ] 1, +[{1} R
x (f /g)(x) = 1
(1x) x+1
4.4. Composicin de funciones

Definicin 4.10.
Sean f A R R y g B R R funciones reales. Se definen la operacion

Compuesta de g en f como:
g f X R
x (g f )(x) = g(f (x))
Donde X = {x R /x Dom(f ) f (x) Dom(g)}
Idea geomtrica:
Ejemplo 4.9.
Usando las mismas funciones definidas en el ejemplo anterior, tenemos que:
Dom(g f ) = {x R /x Dom(f ) f (x) Dom(g)}
1
= {x R /x =/ 1 1}
1x
2x
= {x R /x =/ 1 0}
x1
= {x R /x =/ 1 1 < x 2}
= ]1, 2]
4.5. FUNCIN INVERSA 51
4.5. Funcin Inversa

Definicin 4.11.
Sea f una funcin tal que:
f A B
x y = f (x)
Si, adems f es una funcin sobreyectiva e inyectiva, entonces es Biyectiva y existe

la funcin inversa f 1 B A, tal que:
f 1 (x) = y x = f (y)
Ejemplo 4.10.
Sea g(x) A R R, x g(x) = 1

x1 . Defina g 1 (x), haciendo restricciones
necesarias.
Solucin: De ejercicios anteriores encontramos:
Dom(g) = R {1}
Rec(g) = R {0}
g inyectiva
Luego, definiendo g R {1} R {0}, g(x) = 1

x1 se tiene una funcin biyectiva, es
decir, existe la inversa y se tiene:
g 1 (x) = y x = g(y)
x = y1
1
x(y 1) = 1
xy = 1 + x
y = 1+x
x y como y = g 1 (x)
g (x) = x
1 1+x
Luego
g 1 R {0} R {1}
x g 1 (x) = 1+x
x
Observacin 4.8.
Dada una funcin f A R B R, de modo que f se biyectiva en su dominio de

definicin. Notemos que
f f 1 = f 1 f = Id, donde Id representa a la funcin identidad

esto es:
(f f 1 ) (x) = x
Ejemplo 4.11.
Considerando la funcin g del ejemplo-4.10. tenemos que:
1
g(x) =
x1
1+x
g (x) =
1
x
Luego, si calculamos la compuesta (g g 1 ) (x) se obtiene.
1+x 1 1
(g g 1 ) (x) = g (g 1 (x)) = g ( )= = 1 =x
x 1+x
x 1 x
4.6. Algunas Funciones Importantes
4.6.1. La Funcin Lineal
Definicin 4.12.
L AR BR
x L(x) = ax + b, a, b ctes. reales
4.6. ALGUNAS FUNCIONES IMPORTANTES 53
Observacin 4.9.
Notemos que:
1. Dominio:
Dom(L) = {x R /L(x) R}
= {x R /ax + b R}
=R
2. Recorrido:
Rec(L) = {y R /x Dom(L) y = L(x)}
= {y R /x R y = ax + b}
= {y R / [x = yb
a R, cuando a 0] [y = b, cuando a = 0]}

R , si a 0
Luego Rec(L) =

b (cte). , si a = 0

3. Sobreyectividad:
Entonces Cod(L) = Rec(L) y es sobreyectiva slo cuando a 0.
4. Inyectividad:
x1 , x2 R, L(x1 ) = L(x2 ) a x1 + b = a x2 + b, a 0 /b
a x1 = a x2 , a 0 /a
x1 = x2
Luego, L(x) es inyectiva cuando a 0
Caso a > 0 Caso a = 0

Esto es, la funcin lineal est definida para todo R y es biyectiva en general en todo R,
cuando a 0. Ahora, si restringimos el dominio a un intervalo cualquiera [x1 , x2 ], x1 < x2
(no pierde generalidad en los casos de intervalos abierto o semi-abiertos), se tiene (en el caso
a 0):
Dom(L) = [x1 , x2 ] por definicin.
Rec(L) = {y R /x Dom(L) y = L(x)}
= {y R /x1 x x2 y = ax + b}
= {y R /x1 x x2 x = yb
a R, a 0}
= {y R /x1 yb
a x2 , a 0}
= {y R /[a x1 + b y a x2 + b, a > 0] [a x2 + b y a x1 + b, a < 0]}
= [a x1 + b, a x2 + b] [a x2 + b, a x2 + b]
= [L(x1 ), L(x2 )] [L(x2 ), L(x1 )]
Idea grfica caso a > 0
4.6.2. La Funcin Valor Absoluto
Definicin 4.13.
AR B R

x ,x 0
x x =

x , x < 0

Observacin 4.10.
Notemos que:
1. Dominio:
Dom( ) = {x R /x R}
=R
2. Recorrido:
Rec( ) = {y R /x Dom( ) y = x}
= {y R /x R [y = x, x 0] [y = x, x < 0]}
= {y R /y 0}
= R+0
3. Sobreyectividad:
Cod( ) = R R+0 = Rec( ), entonces no es sobreyectiva.
4. Inyectividad:
x1 , x2 Dom( ), x1 = x2 /( )2 (x1 )2 = (x2 )2
(x1 )2 (x2 )2 = 0
(x1 x2 )(x1 + x2 ) = 0
x1 = x2 x1 = x2
Luego, no es inyectiva
Idea Grfica
Observacin 4.11.
Recordemos que se tienen dos igualdades que no se deben confundir:

x2 = x, definido para todo x R
2
( x) = x, definido slo para x 0
Observacin 4.12.
Estudiemos en particular el caso

f A R R, f (x) = x k, k > 0
Dom(f ) = {x R /x k R}
=R
Rec(f ) = {y R /x Dom(f ) y = x k}

x k, x k 0
= y R /x R y =

(x k), x k < 0

= {y R /y 0}
= R+0
Idea Grfica
Observacin 4.13.
Ahora, estudiemos el caso

f A R R, f (x) = x k, k > 0
Dom(f ) = {x R /x k R}
=R
Rec(f ) = {y R /x Dom(f ) y = x k}
= {y R /x R x = y + k} , pero no olvidemos que x 0
= {y R /y + k 0}
= {y R /y k}
= [k, +[
Idea Grfica
4.6.3. La Funcin Cuadrtica
Definicin 4.14.
C AR BR
x C(x) = ax2 + bx + c, a, b, c ctes. reales, a 0
Observacin 4.14.
Notemos que:
1. Dominio:
Dom(C) = {x R /C(x) R}
= {x R /ax2 + bx + c R}
=R
2. Recorrido:
Rec(C) = {y R /x Dom(C) y = C(x)}
= {y R /x R y = ax2 + bx + c}

b b2 4a(cy)
= {y R /x R x = 2a ,a 0}

b b2 4a(cy)
= {y R/ 2a R, a 0}
= {y R /b2 4a(c y) 0, a 0}
= {y R /y 4acb2
4a , a >0 y 4acb2
4a , a < 0}
= {y R /y c 4a ,a > 0 y c 4a , a < 0}
b 2 b 2
Por otro lado, si recordamos que en x = 2a b

la funcin cuadrtica (parbola) tiene su
vrtice, esto es, su punto ms alto (o ms bajo, segun el signo del coeficiente a), el valor que
toma la funcin en ese punto es:
2
f ( 2a
b
) = a ( 2a
b
) + b ( 2a
b
)+c
= a 4a 2 2a + c
b 2
b 2
= b2
4a 2a
b
+c
= 4a +c
b 2
= esto es: la imagen o valor que toma la funcin en el

vrtice coincide con la restriccin en el recorrido
de la funcin.
As, se tiene finalmente que:

[c 4a
b
, +[ , si a > 0

Rec(C) =

], c 4a ] , si a < 0
b
O que es equivalente a:

[f ( 2a
b
) , +[ , si a > 0

Rec(C) =

], f ( 2a )] , si a < 0
b
Idea Grfica
1. Sobreyectividad:
Cod(C) = Rec(C), por definicin, entonces es sobreyectiva.
2. Inyectividad:
x1 , x2 Dom(C),
C(x1 ) = C(x2 ) ax21 + bx1 + c = ax22 + bx2 + c /c
ax21 + bx1 = ax22 + bx2
ax21 ax22 + bx1 bx2 = 0
a(x21 x22 ) + b(x1 x2 ) = 0
a(x1 x2 )(x1 + x2 ) + b(x1 x2 ) = 0
(x1 x2 ) [a(x1 + x2 ) + b] = 0
x1 = x 2 x1 = x2 ab
Luego, C(x) No es inyectiva
Esto es, si se quiere definir (redefinir) una funcin cuadrtica inyectiva, esta debe ser
restringida en su dominio de modo que resulte inyectiva.
Esto es, pediremos que se cumpla:
b
x1 = x2 x1 x2
a
por ejemplo:
b
x1 = x2 x1 > x2
a
de donde se obtiene
x1 > x1 ab
2x1 > ab
x1 > 2a
b
y como el vrtice tiene una pre-imagen (es un slo punto)
se puede considerar
x1 2a
b
es decir, la restriccin se debe hacer desde el vrtice a la derecha o si consideramos la

opcin x1 < x2 ab su restriccin adecuada es del vrtice a la izquierda.
Idea grfica
4.6.4. La Funcin Por Tramos

Definicin 4.15.
T AR BR

f1 (x) , a x b

x T (x) = f2 (x) , b < x c ; a < b < c < d cte.

f3 (x) , c < x d
Observacin 4.15.
Notemos que:
1. Dominio:
Dom(C) = {x R /T (x) R}
= [a, b]]b, c]]c, d]
= [a, d]
Esto es, en general es la unin de los intervalos donde la funcin est definida.
2. Recorrido:
Rec(T ) = {y R /x Dom(T ) y = T (x)}
= {y R /x Dom(f1 ) y = f1 (x)}
{y R /x Dom(f3 ) y = f2 (x)}
{y R /x Dom(f3 ) y = f3 (x)}
= Rec(f1 ) Rec(f2 ) Rec(f3 )

cada uno en su respectivo dominio restringido
Ejemplo 4.12.
Encuentre dominio y recorrido de la funcin definida por tramos:

1x , x < 1

2
f (x) = x , 1 x < 2

(x 3) + 3 , x > 2
2
Sol
1. Dominio:
Dom(C) = {x R /f (x) R}
=] , 1[[1, 2[]2, +]
= R {2}
2. Recorrido:
Rec(T ) = {y R /x Dom(T ) y = T (x)}
= Rec(f1 ) Rec(f2 ) Rec(f3 )
=]2, , [[0, 4[[3, +[
= [0, +[
= R+0
Idea grfica
4.7. FUNCIN EXPONENCIAL 63
4.7. Funcin Exponencial
4.8. Problema Introductorio
La esperanza de vida, an en los pases poco desarrollados, creci despus de la Segunda

Guerra Mundial aunque a distinto ritmo. Este crecimiento, si bien al principio trajo mayor
actividad y progreso, a la larga ha producido graves problemas: falta de viviendas, escuelas,
puestos de trabajo, etc.
El aumento de la poblacin por la prolongacin de la vida se ha visto compensado en
parte por el descenso de la natalidad en los pases industrializados. De todos modos, ha
aparecido el problema del envejecimiento de la poblacin (es decir, el aumento de la edad
promedio).
Analizaremos ahora algn modelo matemtico que trata de describir la evolucin de una
poblacin.
En Europa occidental, durante los siglos XVII y XVIII, comenz a descender el ndice
de mortalidad, y el incremento poblacional en muchos pases se situ entre 0.5 y 1 % anual.
Para evitar complicaciones con los clculos consideraremos que el crecimiento poblacional
fue del 1 % anual durante los primeros 20 aos de este siglo.
Informacin
Supongamos que la cantidad de poblacin europea al comienzo del siglo XVII (ao
1.600 ) sea 10 (en cientos de millones).
La funcin P (t) medir la cantidad de poblacin en el tiempo t.
El tiempo t estar medido en aos.
Como comenzaremos nuestro estudio a partir del ao 1.600 este ser el tiempo inicial,
es decir, t = 0.
Resumen y secuencia
Resumen 4.
Ao Tiempo t (aos) Poblacin( cientos de millones)
1600 t=0 P (0) = 10
1601 t=1 P (1) = 10 + 1 % de 10 = 10 + 0,01 10 = 1011
1602 t=2 P (2) = 10,1 + 1 % de 10,1 = 10,1 + 0,01 10,1

= 10,202
1603 t=3 P (3) = 10,201 + 1 % de 10,201

= 10,201 + 0,01 10,201 =
Podemos hallar una frmula que nos permita calcular la poblacin para cualquier valor
de t?
Formulacin
Escribamos en una forma ms adecuada la informacin anterior:
t = 0 P (0) = 10
t = 1 P (1) = 10 + 0,01 10 = P (0) + 0,01 P (0) = P (0)(1,01)
t = 2 P (2) = P (0)(1,01) + 0,01 P (0)(1,01) = P (0)(1,01)(1,01)
= P (0)(1, 01)2
t = 3 P (3) = P (0)(1,01)2 + 0,01 P (0)(1,01)2 = P (0)(1,01)2 (1,01)
= P (0)(1,01)3
Con esto se ve que para cualquier t se tiene:
P (t) = P (0)(1,01)t
donde P (0) = 10 es la cantidad inicial, t es el periodo en aos que se quiere calcular.
Frmula de Inters
La frmula dada anteriormente nos resuelve el siguiente problema
4.9. FUNCIN EXPONENCIAL 65
El monto total a pagar por un prestamo de C0 pesos a un inters simple del i % en n

cuotas es:
i n
C(n) = C0 (1 + )
100
4.9. Funcin Exponencial

Definicin 4.16.
Dado b > 0, b 1 , llamamos funcin exponencial de base b a la funcin
expb R R+
x expb (x) = bx
Observacin 4.16.
El comportamiento de la funcin exponencial es muy distinto segn sea 0 < b < 1,

b > 1, b = 1.
Analicemos la grfica de la funcin exponencial de acuerdo al valor de b.
Ejemplo 4.13.
y = 2x
Si b > 1 , por ejemplo b = 2 , la funcin y = 2x es creciente.

x 2x
3 8
2 4
1 2
0 1
-1 1/2
-2 1/4
-3 1/8
Ejemplo 4.14.
x
y = ( 12 )
x
Si b < 1 , por ejemplo b = 1
2 , la funcin y = ( 21 ) es decreciente.
x 2x
3 1/8
2 1/4
1 1/2
0 1
-1 2
-2 4
-3 8
4.9.1. Ecuaciones Exponenciales

Definicin 4.17.
A una ecuacin en la que la incgnita aparece en un exponente se la llama ecuacin

exponencial.
Ejemplo 4.15.
1. 53x = 125
1
2. 31x =
2
27
4x+1
3. = 128
2x+2
4. 23x = 0,53x+2
Solucin:
1. 53x = 53 3 x = 3 x = 0
2. 31x = 33 1 x2 = 3 x2 = 4 x = 2
2
4.10. FUNCIN LOGARTMICA (LOGARITMOS) 67
22(x+1)
3. = 27 22x+2x2 = 27 2x = 27 x = 7
2x+2
1 3x+2 1
4. 23x = 23x = 23x2 3x = 3x 2 6x = 2 x =
2 3
4.9.2. Propiedades
Resumen 5.
1. b R+ expb (0) = b0 = 1
2. b R+ expb (1) = b1 = b
3. b R+ expb (x + y) = bx+y = bx by = expb (x) expb (y)

bx expb (x)
4. b R+ expb (x y) = bxy = bxy = =
by expb (y)
4.10. Funcin Logartmica (Logaritmos)

Problema: Resolver 101x = 100 Resp: Si x = 1 101(1) = 102 = 100
Pregunta 2: Resolver 101x = 30
La pregunta es: Para qu valor o valores de la incognita x se cumple la igualdad?
Claramente la respuesta no es fcil, y podramos estar muchos minutos u horas tratando
(probando) distintos valores para encontrar la solucin.
La respuesta es usar otra funcin (la funcin inversa) para resolver este problema.
Recordando la definicin de la funcin exponencial:
expb R R+ , x expb (x) = bx , b 1
Podemos definir la funcin logaritmo( funcin inversa de de la funcin exponencial)
Definicin 4.18.
Se define la funcin logaritmo como la funcin inversa de la exponencial como:
logb R+ R, x y = logb (x), b > 0, b 1

donde se cumple que:
logb (x) = y by = x
Ejemplo 4.16.
Para cada una de las siguientes igualdades exponenciales escribir la correspondiente

igualdad logartmica.
a) 27 = 128
27 = 128 log2 128 = 7
b) 81/3 = 2
81/3 = 2 log8 2 = 1
3
Ejemplo 4.17 (Calcular).
a) log2 16 =?
log2 16 = y 2y = 16 = 24 y = 4
b) log2 32 =?
log2 32 = y 2y = 32 = 25 y = 5
Resolvamos problema anterior Pregunta 2: Resolver 101x = 30
101x = 30 1 x = log10 (30) x = 1 log10 30

Sabiendo que log10 30 1, 47712
se tiene que x 0, 47712
4.10.1. Propiedades de los Logaritmos

Resumen 6.
1. logb (x y) = logb x + logb y
2. logb (xy ) = y logb x

A partir de estas dos propiedades se pueden deducir las siguientes:
3. logb ( xy ) = logb x logb y

4. logb y
x= 1
y logb x
4.10. FUNCIN LOGARTMICA (LOGARITMOS) 69
Observacin 4.17 (Lectura Propiedades).
1. El logaritmo de un producto es igual a la suma de los logaritmos de los factores
2. El logaritmo de una potencia es igual al exponente por el logaritmo de la base
3. El logaritmo de un cociente es igual al logaritmo del numerador menos el

logaritmo del denominador.
4. El logaritmo de una raz es igual al logaritmo del radicando dividido por el

ndice de la raz.
Observacin 4.18 (Observaciones Importantes).
1.- El logaritmo de la base es siempre 1
logb b = 1 por qu?
2.- El logaritmo de 1 es 0 en cualquier base
logb 1 = 0 por qu?
3.- Cuando la base es 10 se llama logaritmo decimal o vulgar y se escribe:
log10 x = log x
4.- Cuando la base es e se llama logaritmo neperiano o natural y se escribe:
loge x = ln x
5.- El logaritmo vulgar y el natural estn tabulados (se pueden obtener usando
la calculadora cientfica.
Ejercicio (Calcular): 1. log2 (8,4) =

1
2. log4 64 =
3. log2 481 =

4. log3 15 27 =
5. Mostrar con un ejemplo que en general,
a) logb (x + y) logb x + logb y
b) logb (x y) logb x logb y
4.10.2. Cambio de Base

Como las calculadoras cientficas permiten solamente obtener logaritmos decimales y
neperianos.
Si queremos o necesitamos calcular logaritmos en otra base, es conveniente realizar un
cambio de base.
Teorema 4.1.
logb x = loga x
loga b
Ejemplo 4.18.
Calcular log2 3
Solucin: log2 3 = log 3

log 2 = o bien log2 3 = ln 3
ln 2 = 1,5849
4.10.3. Ecuaciones Exponenciales y Logartmicas

Ahora resolveremos ecuaciones ms complejas utilizando las propiedades del logaritmo y
cambio de base.
Ejercicio : Hallar el valor de x en las siguientes ecuaciones exponenciales y logaritmicas:
a) 3x 52x = 4
b) 3x+1 + 3x1 = 2431
c) log5 4x = 2
d) log9 (x + 1) + log9 (x + 1) = 2
Captulo 5
Teorema del Binomio
Simplificando nuestros clculos
El teorema del binomio nos permite resolver problemas con una simplicidad sor-
prendente: Recuerdo que un profesor nos recordaba constantemente que debamos
aprendernos el cuadrado de muchos nmeros tales como 132 , 152 , 252 , etc. pues nos
ayudara a reducir el tiempo en nuestros clculos.
Sin embargo, cuando nos enseo el teorema del binomio, descubrimos que todos
los nmeros de dos dgitos trminados en 5 se podan calcular de una forma mucho
ms rpida y eficiente, y a continuacin les entrego el mtodo.
Si queremos calcular 252 , hacemos (20 + 5)2 que equivale a 2 3 unido a 25, esto es
(el primer nmero se multiplica por el siguiente nmero entero, por lo que 2 por 3
nos da 6, y ste lo juntamos con el 25 (52 )), dando como resultado el 625.
Si queremos calcular 652 , hacemos (60 + 5)2 que equivale a 6 7 unido a 25, esto es
(el primer nmero se multiplica por el siguiente nmero entero, por lo que 6 por 7
nos da 42, que juntamos con el 25), y nos da 4225.
Prueba con otros y demuestra usando el teorema del binomio que el mtodo fun-
ciona.
5.1. Introduccin
En muchos casos nos encontramos con expresiones como:
S = 2 + 4 + 6 + + 20
y en matemtica nos interesa simplificar la notacin, y escribimos:
10
S = 2n
n=1
donde indica que se est sumando y recibe el nombre de Sumatoria. En general:
71
72 CAPTULO 5. TEOREMA DEL BINOMIO
n1
S = bi = bn0 + bn0 +1 + + bn1 1 + bn1
i=n0
De igual forma definimos el signo de Productoria . Ejem.:
50
P = 1 2 3 50 = i
i=1
Definicin 5.1.
Definimos el Factorial de un nmero n, con n N como:

n

i = 1 2 3 (n 1) n , n1

i=1
n! =

n=0
1 ,
Observacin 5.1.
De la definicin tenemos que (n + 1)! = n! (n + 1)
Definicin 5.2.
Definamos el nmero:
n n!
( )= , n r, n, r N0
r (n r)! r!
5.1. INTRODUCCIN 73
Observacin 5.2.
De la definicin se tiene que:

n!
(n0 ) = = 1
(n 0)!0!
n!
(nn) = = 1
(n n)!n!
(n0 ) = (nn)
(n1
n
) = n!
(nn+1)!(n1)! = n
(n1 ) = n!
(n1)!1! = n
(n1 ) = (n1
n
)
Observacin 5.3.
Sea n, k N0 , tal que n k, se tiene:
n n
1. ( )=( )
nk k
n n n+1
2. ( ) + ( )=( )
k k+1 k+1
Ejercicio : Hacer las demostraciones de la observacin anterior
Ejercicio : Calcular: (53); (54) + (55); (100

1
) + (20
20
)
5.1.1. Teorema del Binomio
Previo: Recordemos que; si a, b R, entonces:

(a + b)0 = 1
(a + b)1 = a + b
(a + b)2 = a2 + 2ab + b2
(a + b)3 = a3 + 3a2 b + 3ab2 + b3
(a + b)4 = a4 + 4a3 b + 6a2 b2 + 4ab3 + b4
Notemos que si usamos la notacin (nk) tenemos que:
(a + b)1 = (10)a1 b0 + (11)a0 b1
(a + b)2 = (20)a2 b0 + (21)a1 b1 + (22)a0 b2
(a + b)3 = (30)a3 b0 + (31)a2 b1 + (32)a1 b2 + (33)a0 b3
(a + b)4 = (40)a4 b0 + (41)a3 b1 + (42)a2 b2 + (43)a1 b3 + (44)a0 b4
Luego podemos encontrar una expresin general para (a + b)n , con n N,dada por:
Teorema 5.1 (Teorema del Binomio).
Sean a, b R, n N, entonces:
n
n
(a + b)n = ( )ank bk
k=0 k
5.1. INTRODUCCIN 75
Observacin 5.4.
1. Notemos que (a + b)n tiene (n + 1) trminos.
2. El primer trmino del binomio es an .

El ltimo trmino del binomio es bn .
3. La potencia de b crece a medida que la de a decrece.
4. El coeficiente de 1er y ltimo trmino son iguales.

El coeficiente de 2do y penltimo trmino son iguales.
El coeficiente de 3er y antepenltimo trmino son iguales.
etc.
5. El r-simo trmino del binomio es:

n
tr = ( )an(r1) br1
r1
6. Si n es par, entonces el binomio tiene (n + 1) trminos, es decir, tiene un

nmero impar de trminos, luego podemos hablar de el trmino central del
n
binomio y corresponde al trmino + 1.
2
n n n
tc = ( n )a 2 b 2
2
7. Si n es impar, podemos hablar de los trminos centrales del binomio

n+1 n+3
(a + b)n , que corresponden a los trminos y
2 2
n n+1 n1
tc1 = ( n1 )a 2 b 2
2
n n1 n+1
tc2 = ( n+1 )a 2 b 2
2
Ejemplo 5.1.
Para (3x + 5y)10 encuentre:
1. Nmero de trminos
2. El o los trminos centrales
3. El trmino que contiene x7 si existe
Solucin:
1. Como n = 10, entonces tiene n + 1 = 11 trminos.
2. n es par, luego tiene un trmino central y es el sexto, es decir

10 10
tc = t6 = ( )(3x)5 (5y)5 = ( )(15)5 x5 y 5
5 5
3. Debemos encontrar un k tal que:

10 10
( )(3x)10k (5y)k = ( )Cx7
k k
esto es:
(3x)10k (5y)k = Cx7

310k x10k (5y)k = Cx7
x10k = x7
10 k = 7 k = 3
Luego el trmino es el cuarto (k + 1)

Modulo 1 AlgyTrigo

Caricato da

Informazioni sul documento

Copyright

Formati disponibili

Condividi questo documento

Condividi o incorpora il documento

Opzioni di condivisione

Hai trovato utile questo documento?

Questo contenuto è inappropriato?

Copyright:

Formati disponibili

Modulo 1 AlgyTrigo

Caricato da

Copyright:

Formati disponibili

MATERIAL DE APOYO PARA EL MODULO 1

Marcelo Huenchucona Cifuentes

Concepcin, Marzo 04 del 2013.

5. Teorema del Binomio 71

La Lgica desde siempre

2. Sustrayendo dos de ambos lados de la ecuacin obtenemos 2 = 3

4. Sustrayendo uno de ambos lados, obtenemos 2 = 1.

Parte de la lgica que estudia las relaciones con proposiciones.

Definicin 1.1 (Proposicin).

Ordenacin de ideas susceptibles de atribuirle en un cierto contexto uno slo de los

Hoy es un da caluroso (1).

Los peces vuelan (0).

Notacin : Las proposiciones las designaremos con letras minsculas p, q, r, s,etc., y al

1.2. Tablas de Verdad

1.3. Conectores Lgicos

Definicin 1.2 (Negacin Lgica: , , , ).

Si p es una proposicin, se llama negacin lgica de p a la proposicin

p: Santiago es capital de Chile.

p: Santiago no es capital de Chile.

Definicin 1.3 (Conjuncin lgica: ).

Sean p y q dos proposiciones. Se llama conjuncin lgica de p y q a la proposicin

Dadas las proposiciones

Definicin 1.4 (Disyuncin lgica: ).

Sean p y q dos proposiciones. Se llama disyuncin lgica de p y q a la proposicin

Dadas las proposiciones

Definicin 1.5 (Condicional lgico: ).

Sean p y q dos proposiciones. Se llama condicional lgico de p y q a la proposicin

Dadas las proposiciones

p: El sistema solar est formado solo por astros.(0)

En la proposicin p q, p se llama antecedente y q consecuente.

El condicional es falso solamente si el antecedente es (1) y el consecuente (0).

Definicin 1.6 (Bicondicional lgica: ).

Sean p y q dos proposiciones. Se llama bicondicional lgica de p y q a la proposicin

Dadas las proposiciones

Si p q es verdadera, entonces las proposiciones p y q son equivalentes.

1.4. Polinomios Booleanos

Se llaman as a toda combinacin finita de proposiciones con los conectivos lgicos.

3. P(p, q, r) [(p q) (q r)] (p r)

Si n es el nmero de proposiciones en el polinomio, el nmero de probabilidades

1.5. Tautologa, Contingencia y Contradiccin

Ejemplo 1.8 (p p).

Ejemplo 1.9 (p p).

Ejercicio : Averiguar si los siguientes polinomios booleanos corresponden a tautologa,

1. p p 2.- (p q) (q p) 3.- [(p q) (q r)] (p r)

1.5.1. Tautologas de uso frecuente

Muestre que (p q) (p q) es una tautologa.

Muestre que [(p q) r] [p (q r)] es una tautologa.

1.6. Equivalencia e Implicacin

Sean p y q proposiciones de P. Se dice que las proposiciones p y q son equivalentes,

Notacin : Anotamos p q, y se lee: p es equivalente a q.

Sean p y q proposiciones de P. Diremos que la proposicin p implica lgicamente

Si la proposicin p q es verdadera, escribimos p q.

Si la proposicin p q es verdadera, escribimos p q.

La proposicin q p es verdadera si p q es verdadera, luego podemos escribir

Las implicaciones de la forma H T se llaman Teoremas, donde H es la Hiptesis y

Dado que (p q) (q p) es una tautologia (ejercicio), un teorema H T

La importancia de los teoremas H T , radica en que se puede obtener nuevos

1.7. Cuantificadores universal y existencial

(x)(x N)(P (x)) (x)(x N)(x 1)

Decir que el dominio de validez de Q(x) es {1, 2, 3, 4}, se traduce por:

(x)(x N)(Q(x)) (x)(x N)(x < 5)

: Se llama Cuantificador Universal

: Se llama Cuantificador Existencial

Es vlido escribir: (x)(x N x 1)