Está en la página 1de 67

Facultad de Ciencias Forestales-Ctedra de lgebra y Geometra Analtica- Ao2005

2



Los profesores de hoy tienen la difcil misin de ensear a tener curiosidad,
a pensar por uno mismo y a perderle el miedo a los problemas, mucho ms
que a ensear unos cuantos teoremas o unas cuantas reglas operativas que el
alumno, si ha mantenido su mente gil y una slida preparacin bsica,
podr leer sin dificultad de cualquier libro o manual el dia que lo necesite

La Matematica en la escuela (1966) del Dr. Lus Santalo.




INTRODUCCIN

Al presentar esta primera Serie Didctica en la ctedra de lgebra y
Geometra Analtica se tuvieron en cuenta los siguientes aspectos:
El alumno debe estar ya en condiciones de considerar las matemticas como una
ciencia lgica.
Los contenidos temticos debern ser desarrollados de manera que se adapten a la
experiencia y madurez de un estudiante del primer ao de la universidad.
La incorporacin de los medios para desarrollar las habilidades que permitirn al
estudiante acceder con mayor eficiencia a cursos ms avanzados.
Teniendo en cuenta estos aspectos, con esta presentacin se intenta reflejar el
consenso de que las matemticas deben tener significacin y en consecuencia llevar
a los estudiantes a una lectura y aprovechamiento por s mismos de libros y textos
especficos a la disciplina.
En el desarrollo de los captulos se incluyen las explicaciones tericas con
ejemplos. Los temas desarrollados corresponden a Lgica Proposicional, Conjuntos
Facultad de Ciencias Forestales-Ctedra de lgebra y Geometra Analtica- Ao2005
3
Numricos, Conjuntos Ordenados y Principio de Induccin Completa. Se considera
en la presentacin de estos contenidos temticos la valoracin de la Matematica
como disciplina para resolver problemas, en consecuencia se torna absolutamente
necesario lograr un adecuado manejo del lenguaje matemtico y la resolucin de
problemas durante el periodo de formacin del estudiante del Ciclo Bsico.
Asimismo el propsito de esta presentacin es el de servir de gua en el
proceso de aprendizaje de algunos contenidos del programa vigente de las
asignaturas lgebra y Geometra Analtica y Matematica I correspondientes al
ciclo bsico de las carreras de Ingeniera Forestal, Licenciatura de Ecologa y
Conservacion del Ambiente e Ingeniera en Industrias Forestales de la Facultad de
Ciencias Forestales de la Universidad Nacional de Santiago del Estero.

2005
Lic. Josefa Sanguedolce














Facultad de Ciencias Forestales-Ctedra de lgebra y Geometra Analtica- Ao2005
4
INDICE
I.- CALCULO PROPOSICIONAL 6
I.1.- Introduccin 7
I.2. - Proposiciones y Funciones proposicionales 8
I.3. -Proposiciones simples y proposiciones compuestas 8
I.4. -Conectivos lgicos y operaciones lgicas 9
I.5. -Frmulas proposicionales o frmulas lgicas 10
I.5.1. -La negacin lgica 10
I.5.2. - Conjuncin lgica (o producto o multiplicacin lgica) 11
I.5.3. - Disyuncin lgica (o adicin lgica, o suma, o alternativa
lgica)
12
I.5.4. - Condicional (o implicacin) 13
I.5.4.1. - Condicin necesaria y suficiente 14
I.5.5.- Bicondicional 15
I.6. - Frmulas equivalentes 17
II.- Elementos de la Teora de Conjuntos 22
II.1. - Esquemas proposicionales (Funciones o formas proposicionales) 23
II.2. - Igualdad de Conjuntos, Inclusin y pertenencia 25
II.3. - Operaciones con formas (o funciones) proposicionales. Conjuntos de
verdad
26
II.4. - Funciones proposicionales. Cuantificadores 28
III. - Conjuntos Numricos 30
III.1. Los Nmeros Naturales 31
III.1.1. Caractersticas del conjunto de Nmeros Naturales 31
III.1.2. Orden en el conjunto de los Nmeros Naturales 32
III.1.3. La adicin y multiplicacin en los nmeros Naturales 32
III.1.4. Aplicacin en los Nmeros Naturales: Principio de Induccin
Completa
34
III.1.4.1. Sumatoria 34
III.1.4.2. Teorema de Induccin Completa 35
III.2. Los Nmeros Enteros 39
III.2.1.-Caracterizacin del conjunto de los Nmeros Enteros 39
III.2.2.- Orden en los nmeros Enteros 39
Facultad de Ciencias Forestales-Ctedra de lgebra y Geometra Analtica- Ao2005
5
III.2.3.- Las operaciones adicin y producto en el conjunto de los
nmeros Enteros
40
III.3. Los Nmeros Racionales 41
III.3.1.- Caracterizacin del conjunto de los Nmeros Racionales 41
III.3.2.- Relaciones de orden en los Racionales 41
III.3.3.- Las operaciones adicin y producto en el conjunto de los
nmeros Racionales
42
III.4. Los Nmeros Irracionales 43
III.5. El conjunto de los Nmeros Reales 43
III.5.1.- Caracterizacin del conjunto de los nmeros Reales 43
III.5.2.- Las operaciones adicin y producto en el conjunto de los
nmeros reales. El cuerpo de los nmeros reales
43
III.5.3.- Intervalos 45
III.6.- Conjuntos Ordenados 48
III.6.1.- El conjunto de las n-uplas ordenadas de nmeros reales 49
III.6.2.- Operaciones en IR
n
50
IV.- El conjunto de los Nmeros Complejos 52
IV.1.- Conjugado de un Complejo 55
IV.2.- La Unidad Imaginaria 56
IV.2.1.- Propiedades 56
IV.3.- Formas Binmicas 57
IV.4.- Mdulo de un Complejo 58
IV.4.1.- Propiedades del mdulo 58
IV.5.- Forma polar de un nmero complejo 58
IV.5.1.- Operaciones con nmeros complejos en forma polar 59
Gua Prctica 61
Bibliografa 67
Facultad de Ciencias Forestales-Ctedra de lgebra y Geometra Analtica- Ao2005
6

I.- CALCULO PROPOSICIONAL 7
I.1.- Introduccin 7
I.2. - Proposiciones y Funciones proposicionales 8
I.3. -Proposiciones simples y proposiciones compuestas 8
I.4. -Conectivos lgicos y operaciones lgicas 9
I.5. -Frmulas proposicionales o frmulas lgicas 10
I.5.1. -La negacin lgica 10
I.5.2. - Conjuncin lgica (o producto o multiplicacin lgica) 11
I.5.3. - Disyuncin lgica (o adicin lgica, o suma, o alternativa
lgica)
12
I.5.4. - Condicional (o implicacin) 13
I.5.4.1. - Condicin necesaria y suficiente 14
I.5.5.- Bicondicional 15
I.6. - Frmulas equivalentes 17







La bsqueda de la verdad te da tanto gusto como antes?
Seguramente, no es el conocimiento sino el aprendizaje, no es
la posesin sino la adquisicin, no es el estar all, sino el
llegar hasta ah, lo que aporta la mayor satisfaccin.
Si he aclarado y agotado algo, lo dejo para entrar otra vez en
la oscuridad. As es ese hombre insaciable tan extrao:
cuando ha completado una estructura no es para quedarse
ah confortablemente sino para empezar otra.
Carl Friedrich Gauss
(1777-1855)
Facultad de Ciencias Forestales-Ctedra de lgebra y Geometra Analtica- Ao2005
7
I.- CALCULO PROPOSICIONAL

I.1.- Introduccin

La estructura actual de la matemtica es formalista, es decir deductiva,
desempeando la axiomtica un papel muy importante. Para la demostracin
matemtica se dispone nicamente de los contenidos de los axiomas y de los
recursos de la lgica.
La lgica es la ciencia que estudia los mtodos y principios usados para
distinguir el razonamiento correcto del incorrecto.
En el siglo pasado, nuevos aportes dieron lugar a un desarrollo intensivo de
la lgica, que sufri una transformacin completa y adopt un carcter semejante al
de una disciplina matemtica. Naci as una nueva lgica, llamada tambin lgica
matemtica, formal, deductiva o simblica
La lgica formal, considerada como el estudio de operaciones con smbolos
apropiados, debe ubicarse en el lgebra como un captulo especial; aparece entonces
como una parte de la matemtica.
Los captulos ms importantes de esta ciencia son: el clculo proposicional,
la teora de la identidad, teora de las clases y teora de las relaciones.
A los efectos de este curso, resulta suficiente dedicar nuestro estudio al
Calculo proposicional que nos permitir familiarizarnos con el uso de las
proposiciones y de las distintas operaciones lgicas que con ellos podemos efectuar,
como asimismo a su representacin simblica.

Facultad de Ciencias Forestales-Ctedra de lgebra y Geometra Analtica- Ao2005
8
I.2. - Proposiciones y Funciones proposicionales

El primer concepto que debemos fijar perfectamente es el de:
Proposicin: es cualquier expresin para la cual tiene sentido inequvoco
decir si es verdadera o falsa. Por ejemplo son proposiciones:
- 3 es un nmero entero (verdadero)
- 1,5 es un nmero natural (falso)

En cambio no son proposiciones, pues no podemos determinar si realmente
son verdaderas o falsas, las siguientes expresiones:
- X + 1 = 5
- X es mayor que 2

Denotaremos con letras minsculas a las proposiciones (generalmente las
ltimas del alfabeto); p, q, r, etc. y con V y F los trminos verdadero y falso
respectivamente, que sern llamados valores de verdad de las proposiciones.

I.3. -Proposiciones simples y proposiciones compuestas

Una proposicin es simple cuando ninguna otra de sus partes es a su vez una
proposicin (manteniendo el significado de los trminos). Por ejemplo son
proposiciones simples:
p: Alberto escribe
q: El pizarrn es rectangular

Una proposicin es compuesta cuando alguna de sus partes es a su vez
proposicin, manteniendo el significado de sus trminos. Por ejemplo a partir de las
proposiciones simples p y q podemos construir las nuevas proposiciones
compuestas:
r: Alberto no escribe
Facultad de Ciencias Forestales-Ctedra de lgebra y Geometra Analtica- Ao2005
9
s: Alberto escribe y el pizarrn es rectangular
t: Si Alberto escribe, el pizarrn es rectangular

De esta forma obtenemos las proposiciones compuestas combinando
proposiciones simples por medio de las constantes lgicas, que son palabras o
expresiones como no, y, o, si...entonces, si y slo si.
El significado de las constantes lgicas es independiente de las proposiciones
que combinan.

I.4. -Conectivos lgicos y operaciones lgicas

Los conectivos lgicos son los smbolos con los que representamos las
distintas constantes lgicas. Cada una de ellas nos permite definir una operacin
lgica.
Para representar las distintas operaciones lgicas entre proposiciones
adoptaremos los siguientes smbolos:

Operacin lgica Constante lgica Conectivo
lgico - Negacin lgica no ~
- Conjuncin o producto lgico y .
- Disyuncin o adicin lgica o v
- Implicacin o condicional si...entonces
- Equivalencia o bicondicional si y slo si

Facultad de Ciencias Forestales-Ctedra de lgebra y Geometra Analtica- Ao2005
10
I.5. -Frmulas proposicionales o frmulas lgicas

Combinando proposiciones simples mediante los conectivos lgicos
obtendremos frmulas proposicionales, cuyos valores de verdad se definen
mediante tablas de verdad.
Dada una frmula proposicional definiremos como variable proposicional a
cada una de las proposiciones simples relacionadas a travs de los conectivos
lgicos que intervienen en dicha frmula proposicional.
Frmulas proposicionales o frmulas lgicas son por ejemplo:

~ p; p . q; p v q; p q; p q (I)

Si realizamos ciertas combinaciones, obtenemos otras frmulas ms
complejas, por ejemplo:

(p v q) q; (r . t) q; etc...

En primer lugar determinaremos los valores de verdad de las frmulas
lgicas dadas en (I), construyendo la tabla de verdad.

I.5.1. -La negacin lgica
Dada una proposicin, podemos obtener su negacin o refutacin con ayuda
de la palabra no.
Dos proposiciones, de las cuales la segunda es la negacin de la primera, se
llaman contradictorias o antitticas.
Se puede prescindir de la palabra no, anteponiendo a la proposicin dada la
expresin no es cierto que. Por ejemplo, sea la proposicin:
p: 1 es un nmero positivo
Su negacin es: 1 no es un nmero positivo o tambin: no es cierto que 1 es un
nmero positivo.
Facultad de Ciencias Forestales-Ctedra de lgebra y Geometra Analtica- Ao2005
11
A la negacin de la proposicin p la simbolizamos as: ~ p.

Segn que p sea verdadera o falsa, ~ p ser respectivamente falsa o
verdadera. Podemos resumir esto mediante un cuadro que se llama tabla de valores
de verdad, o simplemente tabla de verdad de la negacin.



Por ejemplo: si p representa: 3 + 8 = 9 (Falsa)
~ p representa: 3 + 8 = 9 (Verdadera)

I.5.2. - Conjuncin lgica (o producto o multiplicacin lgica)

Es la unin de dos o ms proposiciones por la palabra y. Se la representa
mediante el smbolo . colocado entre las proposiciones que afirmamos suceden
simultneamente. Sea por ejemplo:
p: Hace calor
q: Tengo apetito

La conjuncin de ambas proposiciones es la proposicin:
s: Hace calor y tengo apetito que se representa as: s = p . q

Si suponemos que p y q son verdaderas, la conjuncin es verdadera; pero si
al menos una de las proposiciones simples que la componen es falsa, entonces la
conjuncin es falsa.
p ~p
V F
F V
Facultad de Ciencias Forestales-Ctedra de lgebra y Geometra Analtica- Ao2005
12
El siguiente cuadro define la conjuncin:
p q p.q
V V V
V F F
F V F
F F F

Por ejemplo a conjuncin 3 + 5 = 8 y 8: 2 = 3 es falsa pues una de las
componentes es falsa.

I.5.3. - Disyuncin lgica (o adicin lgica, o suma, o alternativa lgica)

Nos indica que por lo menos una de las proposiciones simples relacionadas
por la palabra o debe ser verdadera.
La representamos mediante el smbolo colocado entre las dos proposiciones
componentes, esto es: p v q (que se lee: p o q).
Para construir la tabla de verdad de la disyuncin tenemos presente que slo
ser falsa si las dos componentes son simultneamente falsas. Habiendo al menos
una de las componentes verdadera, la disyuncin ser verdadera, esto es:








Con esta acepcin se considera la disyuncin desde el punto de vista lgico,
y se llama disyuncin incluyente.
p q pv q
V V V
V F V
F V V
F F F
Facultad de Ciencias Forestales-Ctedra de lgebra y Geometra Analtica- Ao2005
13
Una segunda acepcin, la disyuncin excluyente, considera que una
proposicin p v q que se lee o p o q es verdadera si las proposiciones
componentes asumen diferentes valores de verdad.
La disyuncin excluyente de p y q viene definida por la siguiente tabla de
verdad:







I.5.4. - Condicional (o implicacin)

Como en el caso de la disyuncin, hay diferencias entre los usos de la
implicacin en lgica y en el lenguaje cotidiano.
En el lenguaje ordinario usamos la implicacin en sentido formal; tendemos
a unir dos proposiciones mediante las palabras si..entonces slo si hay una
conexin entre sus formas y sus contenidos; si suponiendo verdadero el antecedente
nos vemos obligados a suponer verdadero el consecuente; si podemos deducir el
consecuente a partir del antecedente, sobre la base de ciertas leyes.
Por ejemplo: Si Scrates es un hombre, entonces Scrates es mortal. En
cambio en lgica, se utiliza la implicacin en sentido material o implicacin
material, la que tiene sentido an cuando no exista ninguna especie de conexin
entre sus dos miembros.
El smbolo pq denota la proposicin: si p entonces q, y la llamaremos
condicional, la proposicin p se llama antecedente y la proposicin q es el
consecuente del condicional
De esta forma, tiene sentido lgico enunciar:
Si Scrates es un hombre, entonces Scrates es mortal.
p q pv q
V V F
V F V
F V V
F F F
Facultad de Ciencias Forestales-Ctedra de lgebra y Geometra Analtica- Ao2005
14
Si 2x2=5 entonces Pars es la capital de Francia.

La verdad o falsedad de una implicacin material depende slo de la verdad
o falsedad del antecedente y consecuente.
La siguiente tabla de verdad determina los valores de verdad de pq de
acuerdo a los posibles valores de verdad de p y q.








Veamos ahora el uso y la importancia de la nocin del condicional en
matemtica.
Demostrar o probar un condicional p q significa poner en evidencia la
imposibilidad de que siendo verdadero el antecedente p sea falso el consecuente q.
Es importante observar que para demostrar que un dado condicional p q
es verdadero es suficiente realizar uno de estos procedimientos:
i) suponer V(p) = V, verificar que V(q) = V
ii) suponer V(q) = F, probar que V(p) = F

I.5.4.1. - Condicin necesaria y suficiente

En matemtica aparecen condicionales que se prueban. Tales condicionales
son denominados teoremas.
En un teorema p q, se llama; hiptesis a p y tesis a q. Por ejemplo sea el
teorema:
p q p q
V V V
V F F
F V V
F F V
Facultad de Ciencias Forestales-Ctedra de lgebra y Geometra Analtica- Ao2005
15
Si x es un nmero positivo, entonces 2x es un nmero positivo; tiene la
forma de un condicional, donde
x es un nmero positivo es la hiptesis y
2x es un nmero positivo es la tesis.
Podemos asimismo formular dicho teorema de las siguientes formas:

_ De: x es un nmero positivo, le sigue: 2x es un nmero positivo.
_ La condicin x es un nmero positivo, es suficiente para que 2x sea un nmero
positivo.
_ Para que 2x sea un nmero positivo, es suficiente que x sea un nmero positivo.
_ La condicin 2x es un nmero positivo, es necesaria para que x sea un nmero
positivo.
_ Para que x sea un nmero positivo, es necesario que 2x sea un nmero positivo.

p q: q es condicin necesaria para la hiptesis.
p es condicin suficiente para la tesis.
I.5.5.- Bicondicional
En algunos casos, como en el anterior ejemplo, ocurre que q es tambin
condicin suficiente para p, por lo que tambin es (V) el condicional q p, es decir
que p es adems condicin necesaria para q. En estas situaciones decimos que p es
condicin necesaria y suficiente para q y que q es condicin necesaria y suficiente
para p.
De esta forma introducimos el bicondicional p q.







p q p q
V V V
V F F
F V F
F F V
Facultad de Ciencias Forestales-Ctedra de lgebra y Geometra Analtica- Ao2005
16
Observamos que p q es una forma de expresar dos condicionales simultneos:
p q y q p

Trataremos de fijar algunas pautas que nos permitan construir la tabla de
verdad para cualquier frmula proposicional, que podemos formar. Estas son:
i) Reconocer las variables proposicionales que intervienen en la frmula
proposicional formada; cada una de ellas encabezar una columna de la tabla.
ii) En general, si las variables intervinientes son n las alternativas posibles de
valores de verdad son 2
n
. De esta forma la tabla de verdad a construir tendr
2
n
renglones.
iii) Efectuar la distribucin adecuada de cada uno de los valores que integran la
frmula proposicional. Cada una de esas partes encabezar una columna de
la tabla, la ltima columna estar encabezada por la frmula en su expresin
completa.
iv) El valor de verdad que le corresponde a cada una de las partes de la frmula
proposicional depender de los valores de verdad asignados a las variables.

Sea por ejemplo la frmula proposicional: (p v q) q
Construyamos su tabla de verdad:








Observemos:
i) La tabla de verdad posee cuatro renglones, puesto que nuestra frmula
proposicional posee dos variables proposicionales, luego 2
2
= 4.
p q pv q (pv q) q
V V V V
V F V F
F V V V
F F F V
Facultad de Ciencias Forestales-Ctedra de lgebra y Geometra Analtica- Ao2005
17
ii) Los valores de verdad de la frmula proposicional (p v q) q son cuatro.
Si fijamos nuestra atencin en una de las filas, por ejemplo la segunda, vemos
que: los dos primeros cuadriculados corresponden a una de las alternativas de
valores de verdad de las variables p y q, en donde p es V y q es F; en el tercer
cuadriculado ponemos el valor de verdad de p v q que resulta: V; en el
ltimo cuadriculado del rengln el valor que tiene el condicional (p v q) q
que es: F. De esto deducimos que la frmula es falsa cuando la conjuncin p v q
es: V y la variable proposicional q es: F.

I.6. - Frmulas equivalentes
Sean las frmulas proposicionales:
p q y (p q) . (q p)
Con estas dos frmulas proposicionales dadas construyamos otra frmula
proposicional, esta es:
p q [(p q) . (q p)].
Construyamos su tabla de verdad:









Observaciones:
i) Los respectivos renglones de las columnas 1 y 2 asumen los mismos
valores de verdad para toda asignacin de valores dados a las variables
proposicionales.
P q p q
(1)
p q q p (p q) . (q p)
(2)
(1) (2)
(3)
V V V V V V V
V F F F V F V
F V F V F F V
F F V V V V V
Facultad de Ciencias Forestales-Ctedra de lgebra y Geometra Analtica- Ao2005
18
ii) Los renglones de la columna 3 asumen el valor de verdad V cualesquiera
sean los valores dados de las variables.

Las frmulas proposicionales p q y (p q) . (q p) son equivalentes.

Definicin: Una frmula proposicional es equivalente a otra si ambas asumen los
mismos valores de verdad para toda asignacin de valores dados a las variables.
Para indicar que una frmula es equivalente a otra, pondremos el signo
entre ellas, esto es: p q (p q) . (q p)
Conviene tener presente los siguientes pares de frmulas proposicionales
equivalentes, que se llaman Leyes Lgicas:

Involucin: ~(~p) p


p . p p
Idempotencia:
p v p p

p . q q . p
Leyes conmutativas:
p v p q v p


p . (q . r) (p . q) . r
Leyes asociativas:
p v (q v r) (p v q) v r



Facultad de Ciencias Forestales-Ctedra de lgebra y Geometra Analtica- Ao2005
19
p . (q v r) (p . q) v (p . r)
Leyes distributivas:
p v (q . r) (p v q) . (p v r)


~(p . q) ~p v (~q)
Leyes de Morgan:
~(p v q) ~p . (~q)


La frmula proposicional: (p q) [(p q) . (q p)] la hemos
obtenido asociando el bicondicional a las frmulas (p q) y (p q) . (q p)
respectivamente.
En la observacin ii) que se deduce de la tabla de verdad para dicha frmula
proposicional podemos dar la siguiente definicin.
Definicin: Una frmula proposicional es tautologa si y solo si asume el
valor V cualesquiera sean los valores dados a las variables proposicionales.
Partiendo de esta definicin diremos que dos frmulas proposicionales son
equivalentes si y slo si el bicondicional asociado a ellas es una tautologa.
Sea ahora la frmula proposicional p . (~p). Construyamos su tabla de
verdad.






Vemos que cualesquiera sea la proposicin a quien representa la variable
proposicional con valores de verdad V o F la proposicin p . (~p) es falsa. Por lo
que podemos enunciar otra definicin.
p ~p p . (~p)
V F F
F V F
Facultad de Ciencias Forestales-Ctedra de lgebra y Geometra Analtica- Ao2005
20
Definicin: Una frmula proposicional es contradictoria si y slo si asume el
valor F para cada asignacin de valores dados a las variables proposicionales.
Por ejemplo la frmula p . (~p) es contradictoria.
Definicin: Una frmula proposicional es contingente si y slo si no es
tautolgica ni contradictoria.

Implicaciones asociadas

Sea la frmula proposicional p q que la llamaremos condicional directo. A
partir de este condicional directo podemos formar otras frmulas proposicionales, a
saber:
q p
~p ~q
~q ~p
Estas implicaciones se llaman recproco, contrario y contrarrecproco, que
junto a la condicional p q se denominan conjugadas y cualesquiera de ellas
puede tomarse como condicional directo.

Podemos esquematizar lo expuesto de la siguiente forma:



Facultad de Ciencias Forestales-Ctedra de lgebra y Geometra Analtica- Ao2005
21
Verifique que las implicaciones contrarrecprocas son equivalentes, esto es:
(p q) (~q ~p)
(q p) (~p ~q)

Observaciones:
i) Si la implicacin directa es V, tambin lo es la contrarrecproca, y no
podemos afirmar la verdad de la recproca o de la contraria.
ii) Si son verdaderos un condicional y su recproco o contrario, entonces son
verdaderos los cuatro, y las proposiciones antecedente y consecuente son
equivalentes.
Se presentan dos mtodos para demostrar la verdad del condicional p q, a
saber:

i) Directo
V(p) = F, p q es V
V(p) = V, hay que establecer que el V(q) = V

ii) Indirecto
V(q) = V, p q es V
V(q) = F, hay que establecer que el V(p) = F
Facultad de Ciencias Forestales-Ctedra de lgebra y Geometra Analtica- Ao2005
22

II.- Elementos de la Teora de Conjuntos 23
II.1. - Esquemas proposicionales (Funciones o formas proposicionales) 23
II.2. - Igualdad de Conjuntos, Inclusin y pertenencia 25
II.3. - Operaciones con formas (o funciones) proposicionales. Conjuntos de
verdad
26
II.4. - Funciones proposicionales. Cuantificadores 28


























Las matemticas no se ocupan de objetos, sino de relaciones
entre objetos: de esta manera tienen la libertad de
reemplazar algunos objetos por otros, siempre y cuando las
relaciones no se alteren. El contenido es para ellos
irrelevante; se interesan nicamente en la forma.
Henri Poincar



Facultad de Ciencias Forestales-Ctedra de lgebra y Geometra Analtica- Ao2005
23
II.- Elementos de la Teora de Conjuntos

II.1. - Esquemas proposicionales (Funciones o formas proposicionales)

Sean las expresiones:
x 1 = 3
x es sordo
x compuso sinfonas
Observamos que las mismas no son proposiciones puesto que figura en cada
una de ellas una indeterminada y por tanto, no puede decirse nada respecto a la
verdad o falsedad de cada una de ellas.
Estas expresiones se denominan esquemas proposicionales (o funciones o
formas proposicionales), en la indeterminada x, mientras que la expresin:
x vivi despus que y
es un esquema proposicional en las indeterminadas x, y.
Pongamos:
p(x): x 1 = 3
q(x): x es sordo
r(x): x compuso sinfonas
s(x,y): x vivi despus de y

Un esquema proposicional se transforma en proposicin verdadera o falsa,
sustituyendo las indeterminadas por adecuadas especificaciones concretas. Por
ejemplo:
p(4): 4 1 = 3 p(2): 2 1 = 3
r(Mozart): Mozart compuso sinfonas
s(Newton, Galileo): Newton vivi despus que Galileo
s(Galileo, Newton): Galileo vivi despus que Newton


Se tiene:
Facultad de Ciencias Forestales-Ctedra de lgebra y Geometra Analtica- Ao2005
24
V[p(4)] = V V[r(Mozart)] = V
V[p(2)] = F V[s(Newton, Galileo)] = V
V[s(Galileo, Newton)] = F

Ahora bien, sea por ejemplo el esquema proposicional: p(x): x es rubio
Hemos dicho que al sustituir la indeterminada x por un nombre determinado,
convierte al esquema proposicional p(x) en una proposicin verdadera o falsa, si
sustituimos a x por Luis, resulta:
p(Luis): Luis es rubio
Pero si hacemos p(Bs. As.): Bs. As es rubio, observamos que esta ltima
expresin no resulta una proposicin, pues carece de sentido.
Esto nos lleva necesariamente al concepto de conjunto universal o conjunto
referencial. Para ello previamente demos una idea intuitiva de Conjunto: como
coleccin o agrupacin de entes de naturaleza arbitraria a los que denominamos
elementos del conjunto en cuestin.
Si A es un conjunto y h designa un elemento de A, pondremos h e A, o bien
h e A.

Definir o determinar un conjunto concreto es fijar un criterio por el que
resulte posible establecer exactamente cuales son sus elementos. Habitualmente se
fija previamente un conjunto U al que llamaremos Universal o Referencial.
Dado un referencial U y una funcin proposicional p(x) con la propiedad:
a e U p(a) es una proposicin (V o F) entonces queda determinado un conjunto
que designamos con L de este modo:
u e L ( u e L . V[p(u)] = V) (1)
Esta manera de definir conjuntos es por comprensin.

Facultad de Ciencias Forestales-Ctedra de lgebra y Geometra Analtica- Ao2005
25
Si p(x) es una funcin proposicional en la indeterminada x tal que:
s e U V[p(s)] = V, entonces el conjunto definido por (t e U . V[p(t)] = V)
es el conjunto vaco.

II.2. -Igualdad de Conjuntos. Inclusin y pertenencia

Sean A y B conjuntos. Diremos que A es igual a B y pondremos A = B si y
slo si verifica:
x eA x e B
Esto es:
A = B (x eA x e B)
En lugar de la expresin (1) pondremos:
L = u/ (u e U . V [p (u)] = V` (2)
La (2) se abrevia: L = u/ (u e U . p (u))`
Luego el Referencial est sobreentendido U = u/ p (u)`

Algunos conjuntos pueden definirse por extensin listando los smbolos
que representan a sus elementos.
Por ejemplo:t` representa un conjunto unitario.
r, s` representa un conjunto que tiene dos elementos r y s tal que r, s` = s, r`
Diremos que r, s` es un par, anlogamente pueden considerarse ternas,
cuaternas, quntuplas, etc.

Sean A y B dos conjuntos cualesquiera, diremos que el conjunto A est
incluido en el conjunto B, o que el conjunto A es parte o subconjunto del conjunto
B y pondremos A c B si y slo si:
x e A x e B
Es decir: A c B (x e A x e B)
Algunas consideraciones que debemos tener en cuenta:
i) Sea A un conjunto cualquiera, entonces Ac A
Facultad de Ciencias Forestales-Ctedra de lgebra y Geometra Analtica- Ao2005
26
ii) Sea A un conjunto cualquiera, entonces C c A, esto es: x e C x e A
Observamos que el valor de verdad del antecedente x e C es F, cualquiera
sea el valor de verdad del consecuente x e A, el valor de verdad que asume
el condicional es V.
iii) Sean A y B conjuntos tales que A c B y adems A = B. En tal caso diremos
que el conjunto A es parte propia del conjunto B.
iv) Recordemos que las frmulas proposicionales p q y (p q . q p) son
equivalentes, esto es:
p q (p q . q p)
y adems sabemos que:
A = B (x e A x e B)
Resulta:
A = B [(x e A x e B) . (x e B x e A)]
O sea:
A = B (A c B . B c A)

II.3. -Operaciones con formas (o funciones) proposicionales. Conjuntos de verdad

Sean p(x) y q(x) dos formas proposicionales en la indeterminada x, con P y
Q sus respectivos conjuntos de verdad y U el referencial, podemos expresar nuevas
formas proposicionales en la misma indeterminada y encontrar sus respectivos
conjuntos de verdad, a saber:
1.- La forma proposicional ~p(x) resulta ser la negacin de la funcin proposicional
p(x).
Podemos determinar el conjunto de verdad de la funcin (o forma)
proposicional p(x), esto es:
a / ~p(a) es V` = a / p(a) es F` = a / a e P`= P

2.- La forma proposicional p(x) . q(x) resulta ser la conjuncin de las formas
proposicionales p(x) y q(x).
Facultad de Ciencias Forestales-Ctedra de lgebra y Geometra Analtica- Ao2005
27
El conjunto de verdad de la forma proposicional p(x) . q(x) viene dado por:
a / p(a) . q(a) es V` = a / p(a) es V y q(a) es V` = a / a e P . a e Q` = PQ

3.- La forma proposicional p(x) v q(x) resulta ser la disyuncin de las formas
proposicionales p(x) y q(x).
El conjunto de verdad de la forma proposicional p(x) v q(x) viene dado por:
a / p(a) v q(a) es V` = a / p(a) es V o q(a) es V` = a / a e P v a e Q` = PQ

De idntica manera podemos formar las dos ltimas formas proposicionales:
p(x) q(x)
p(x) q(x)
a las que denominaremos condicional y bicondicional de las formas proposicionales
dadas respectivamente.
Teniendo en cuenta los conjuntos de verdad ya considerados para las formas
proposicionales p(x) y q(x), podemos obtener los conjuntos de verdad de las nuevas
formas proposicionales, a saber:
a / p(a) q(a) es V` = a / p(a) es F o q(a) es V` = a / a e P v a e Q` = PQ
Conjunto de verdad de la forma proposicional p(x) q(x)

a / p(a) q(a) es V` = a / p(a) q(a) es V y / q(a) p(a) es V ` =
= a / a e PQ y a e QP` = (PQ) (QP)
Conjunto de verdad de la forma proposicional p(x) q(x).
Facultad de Ciencias Forestales-Ctedra de lgebra y Geometra Analtica- Ao2005
28
II.4. -Funciones proposicionales. Cuantificadores

Sea la funcin proposicional:
p(x): x + 4 < 10 U = IR
Observamos que el conjunto de verdad es P = 1, 2, 3, 4, 5`
En este ejemplo la funcin proposicional x + 4 < 10 resultar verdadera para
algunos nmeros naturales. En otras palabras, existen algunos nmeros naturales
que hacen de p(x) un enunciado verdadero.
Simblicamente se expresa:
- x e IN / p(x)
El smbolo - (x) se llama cuantificador existencial afirmativo y se lee existe
al menos un x.
Veamos otro ejemplo:
p(x): x < x + 1 U = IN
Si nos proponemos encontrar el conjunto de verdad reemplazar a x por los
nmeros naturales comenzando por el 1 y ver que:
Para x = 1; 1 < 2 y p (1) es V
Para x = 2; 2 < 3 y p (2) es V
Resulta que para todo x e IN, la proposicin es V.
Simblicamente se expresa:
x e IN: p(x)
El smbolo x lo llamo cuantificador universal afirmativo.
Si se pretende cuantificar la funcin proposicional: z + 4 < 10 de modo que
esta resulte falsa, deber establecer:
z e IN: z + 4 < 10
Si esto es falso, su negacin es verdadera:
No es cierto que, para todo nmero natural, z + 4 < 10
En smbolos se expresa:
~[ z e IN: z + 4 < 10]

Facultad de Ciencias Forestales-Ctedra de lgebra y Geometra Analtica- Ao2005
29
Pero esto es equivalente a decir: Existen algunos nmeros naturales que no
verifican a z + 4 < 10. Cosa que es cierta:
6, 7, 8,... son naturales que hacen de p(z) un enunciado
falso.

~[ z e IN: z + 4 < 10] - z / ~(z + 4 < 10)

Nos dice:
La negacin de un cuantificador universal es un cuantificador existencial
respecto de la funcin proposicional negada.

Por lo dicho, las funciones proposicionales cuantificadas pueden ser
verdaderas o falsas, lo que significa que adquieren el carcter de proposicin.

x: p(x) es V son verdaderas todas las proposiciones que se obtienen al
reemplazar la variable x por cada uno de los elementos pertenecientes al conjunto
donde est definida p(x) y x: p(x) es falso, si al menos una de las proposiciones
resulta falsa.
- x / p(x) es V es verdadera por lo menos una de las proposiciones que se
consiguen al sustituir a x por los elementos del universo donde esta definida p(x),
y falsa sino se obtiene ninguna proposicin verdadera.

Equivalencias:
x: p(x) ~ [- x / ~p(x)]
~[ x: p(x)] - x / ~p(x)
- x / p(x) ~[ x: ~p(x) ]
~[- x / p(x)] x: ~p(x)
Facultad de Ciencias Forestales-Ctedra de lgebra y Geometra Analtica- Ao2005
30

III. - Conjuntos Numricos 31
III.1. Los Nmeros Naturales 31
III.1.1. Caractersticas del conjunto de Nmeros Naturales 31
III.1.2. Orden en el conjunto de los Nmeros Naturales 32
III.1.3. La adicin y multiplicacin en los nmeros Naturales 32
III.1.4. Aplicacin en los Nmeros Naturales: Principio de Induccin
Completa
34
III.1.4.1. Sumatoria 34
III.1.4.2. Teorema de Induccin Completa 35




















El gran matemtico alemn Carl Friedrich Gauss (1777-
1855), con su monumental Disquisitions Arithmeticae,
aparecido en 1801, cuando tena 24 aos, fij las bases
fundamentales de la moderna teora de Nmeros. En algn
sentido uno observa que la aritmtica antes de Gauss, ms
que una ciencia, parece una suerte de hechos aislados y en
anecdticos y que Gauss la eleva a su verdadera dimensin
cientfica.
Aritmtica Elemental en la formacin Matemtica.
Dr. Enzo R. Gentile, (1928-1991)



Facultad de Ciencias Forestales-Ctedra de lgebra y Geometra Analtica- Ao2005
31
III. - Conjuntos Numricos

III.1. Los Nmeros Naturales

Designamos con IN al conjunto de los nmeros naturales. Sin considerar su origen,
el conjunto de los nmeros naturales es presentado por:

IN = {1, 2, 3, 4,....}

El conjunto as ordenado de todos los nmeros naturales recibe el nombre de
sucesin fundamental; esta sucesin forma un conjunto infinito debido a que cada
nmero de ella tiene siempre un siguiente inmediato o sucesivo. Por esta razn al
representar la sucesin fundamental hemos puesto puntos suspensivos a la derecha
del ltimo nmero representado para indicar que le siguen muchos nmeros. Si a la
representacin anterior se le agrega el cero, se tiene:

IN
0
= {0, 1, 2, 3, 4,....}

III.1.1. Caractersticas del conjunto de Nmeros Naturales

- Es ordenado
- Tiene primer elemento y no tiene ltimo elemento
- Cada elemento tiene un sucesor
- Es discreto, esto quiere decir que entre dos nmeros naturales existe un
nmero finito de nmeros naturales.

Facultad de Ciencias Forestales-Ctedra de lgebra y Geometra Analtica- Ao2005
32
III.1.2. Orden en el conjunto de los nmeros Naturales

El orden en los naturales se encuentra definido por:

a < b
def
b > a
a
def
b > (a > b v a = b)


Nota: El signo ( se lee: menor que
El signo > se lee : mayor o igual que


Ley de Tricotoma

Dados dos nmeros naturales a y b se verifica una y solo una de las tres
posibilidades siguientes:
a) b a = en cuyo caso a b (
/
y b a)
/

b) b a( en cuyo caso b a = y b a)
/

c) b a) en cuyo caso a b (
/
y b a =

Cada una de estas tres posibilidades excluye a las otras dos.

III.1.3. La adicin y multiplicacin en los Nmeros Naturales

En los naturales estn definidos dos operaciones denotadas por (+) y () y
denominadas suma y producto de naturales.

+ : IN x IN IN : IN x IN IN
(a, b) a + b (a, b) a b
Facultad de Ciencias Forestales-Ctedra de lgebra y Geometra Analtica- Ao2005
33
Propiedades de las operaciones (+) y () definidas en los Naturales

+
-
Ley de Cierre
0 0
, IN b a IN b a e + e
0 0
, IN b a IN b a e e
Ley Asociativa
( ) ( ) c b a c b a IN c b a + + = + + e
0
, , ( ) ( ) c b a c b a IN c b a = e
0
, ,
Ley conmutativa
a b b a IN b a + = + e
0
, a b b a IN b a = e
0
,
Elemento Neutro
( ) a a a IN a IN = + = + e e - 0 0 / 0 !
0
( ) a a a IN a IN = = e e - 1 1 / 1 !
Distributividad de () con respecto a (+)
( ) | | c a b a c b a IN c b a + = + e , ,

Dados a y b en los naturales, nos preguntamos si existe algn x e IN, tal que se
verifique: x + b = a

Si a y b se dan o fijan en forma arbitraria, la ecuacin no siempre admite solucin
en los naturales.
Sea por ejemplo la ecuacin:
x + 2 = 1 que no tiene solucin en los naturales.
En efecto si fuera x
0
e IN que satisface, sera: 1 2
0
= + x
2
0
+ x > 2 1 > 2 que es contradictorio
Con lo que hemos verificado que la ecuacin x + 2 = 1 no admite solucin en los
naturales.

Conclusin: las ecuaciones de las forma x + b = a, siendo a y b naturales
prefijados, tienen solucin (que adems es nica) en los naturales en todos los casos
excepto cuando b a > .
Facultad de Ciencias Forestales-Ctedra de lgebra y Geometra Analtica- Ao2005
34
O sea, ecuaciones del tipo x + b = a en que a y b son naturales, admiten solucin
nica natural si se elige b < a.

Llamaremos diferencia de a y b, que se escribe a b, a la solucin natural de la
ecuacin x + b = a, supuesto que b < a.

III.1.4. Aplicacin en los Nmeros Naturales: Principio de Induccin Completa
III.1.4.1. Sumatoria
Concepto: La sumatoria permite representar la suma de una sucesin de trminos
en una forma muy breve. Por ejemplo, la suma de n trminos tales como
u
1
+ u
2
+... + u
n
puede representarse con la notacin:

=
n
i
i u
1
, en donde el smbolo es el signo de suma y
la letra i, llamada ndice de suma, toma sucesivamente todos los valores enteros
positivos de 1 a n inclusive.

=
4
1 i
i
2
= 1
2 +
2
2
+ 3
2
+ 4
2


Propiedades de la sumatoria:
i)

=
+
n
i
i i b a
1
) (
=

=
n
i
i a
1
+

=
n
i
i b
1


ii)

=
n
i
i ab
1
) (
=

=
n
i
i b a
1
donde a es una constante.

iii)

=
= + + + =
n
i
na a a a a
1
...

Facultad de Ciencias Forestales-Ctedra de lgebra y Geometra Analtica- Ao2005
35
III.1.4.2. Teorema de Induccin Completa

Concepto: el principio de induccin completa proporciona un mtodo de
demostracin por recurrencia.
No es constructivo en el sentido de generar propiedades, pero hace posible la
demostracin de stas cuando son relativas al conjunto de los nmeros naturales.
Sea P propiedad relativa al conjunto de los nmeros naturales, la verdad de P queda
asegurada para todo n e IN, si se verifican:
i) P(1) es V
ii) Si p(h) es V, entonces P(h+1) es V

Si S es un subconjunto de IN que satisface:
i) 1 e S
ii) h e S h + 1 e S
Entonces S = IN

Todo subconjunto de IN que incluya al 1 y al siguiente de h siempre que incluya a
h, es igual a IN.
(S c IN, 1 e S . h e S h + 1 e S) S = IN

Para demostrar este teorema es suficiente probar que IN c S y para esto basta
probar que el subconjunto S = x e IN / x e S` = C.
Para ello supongamos que S C.
Como S c IN / S C de acuerdo con el principio de buena ordenacin (PBO:
todo subconjunto no vaco de IN tiene primer elemento)existe el elemento
mnimo m e S (1).
Por hiptesis, 1 e S y como los elementos de S no pertenecen a S, es m 1.
Por otra parte, siendo m e IN . m 1, se tiene m > 1 m-1 > 0.
Como m-1 < m, por ser m el mnimo de S, resulta que m-1 e S.
Ahora bien, de acuerdo con la hiptesis ii)
m-1 e S (m-1) + 1 e S m e S
Facultad de Ciencias Forestales-Ctedra de lgebra y Geometra Analtica- Ao2005
36
Este resultado: m e S es contradictorio con (1). Luego IN c S, y como por hiptesis
S c IN, resulta que S = IN.

Principio de Induccin Completa
Hiptesis)
P(1) es V
h: P (h) P(h+1)
Tesis)
n : P(n) es V
Observacin:
La demostracin de una propiedad relativa a IN por induccin completa, se
realiza probando la verdad de las dos proposiciones de la hiptesis del Teorema de
Induccin Completa.

Ej.: Probar por induccin completa que la suma de los n primeros nmeros naturales
es
2
) 1 ( + n n


Es decir n e IN se verifica:
S
n
= 1 + 2 ++ n =
2
) 1 ( + n n


I) Debemos probar que la propiedad se verifica para n =1.
Entonces queda:
S
1
= 1 =
2
) 1 1 ( 1 +


II) Demostramos la verdad de la implicacin de la hiptesis

Hiptesis)
S
h
= 1 +2 + ....+ h = h . (h + 1)
2

Facultad de Ciencias Forestales-Ctedra de lgebra y Geometra Analtica- Ao2005
37
Tesis)
S
( h+1)
= 1 + 2 +....+ h + ( h+1) = (h + 1). ( h + 2)
2
Demostracin)
S
( h+1)
= 1 + 2 + ....+ h + ( h+1) = h .( h+1) + ( h+1)
2
Operando queda;
S
(h+1)
= h.(h+1) + 2 . (h+1) = ( h+1) . ( h+2)
2 2

S
(h+1)
= h
2
+3h + 2
=
h
2
+3h + 2
2 2

Resulta entonces la frmula vlida para todo n que pertenece al conjunto de los
nmeros naturales IN.

Facultad de Ciencias Forestales-Ctedra de lgebra y Geometra Analtica- Ao2005
38

III. - Conjuntos Numricos
III.2. Los Nmeros Enteros 39
III.2.1.-Caracterizacin del conjunto de los Nmeros Enteros 39
III.2.2.- Orden en los nmeros Enteros 39
III.2.3.- Las operaciones adicin y producto en el conjunto de los
nmeros Enteros
40
III.3. Los Nmeros Racionales 41
III.3.1.- Caracterizacin del conjunto de los Nmeros Racionales 41
III.3.2.- Relaciones de orden en los Racionales 41
III.3.3.- Las operaciones adicin y producto en el conjunto de los
nmeros Racionales
42
III.4. Los Nmeros Irracionales 43
III.5. El conjunto de los Nmeros Reales 43
III.5.1.- Caracterizacin del conjunto de los nmeros Reales 43
III.5.2.- Las operaciones adicin y producto en el conjunto de los
nmeros reales. El cuerpo de los nmeros reales
43
III.5.3.- Intervalos 45












Dios cre los nmeros naturales el resto lo hizo el hombre.
Leopold Kronecker, (1823-1891)

Facultad de Ciencias Forestales-Ctedra de lgebra y Geometra Analtica- Ao2005
39
III.2. Los Nmeros Enteros

Para resolver la ecuacin anteriormente planteada (x + b = a), es necesario
considerar o definir otro conjunto: los nmeros enteros y lo designamos con Z.
Los nmeros enteros se encuentran formados por la unin de los nmeros naturales,
los enteros negativos y el cero, esto es:

Z = {....,-3,-2,-1, 0, 1, 2, 3, }

Z = IN {0} Z
-


En este caso se hace una analoga de los naturales con los enteros positivos
designados como Z
+
. Los enteros negativos designados como Z
-
, son los nmeros
opuestos a los enteros positivos.

III.2.1.-Caracterizacin del conjunto de los Nmeros Enteros

Es un conjunto infinito
Cada entero tiene un nico antecesor y un nico sucesor
Es discreto

III.2.2.- Orden en los nmeros Enteros

Sean a y b pertenecientes a los enteros, se tiene:

a < b k a IN k b = + e - /
Sea por ejemplo:
A = 10 b=16 - k = 6 / 10 + 6 = 16 Luego a < b (10 < 1 6)

Facultad de Ciencias Forestales-Ctedra de lgebra y Geometra Analtica- Ao2005
40
III.2.3.- Las operaciones adicin y producto en el conjunto de los nmeros Enteros

En los enteros estn definidas dos operaciones denotadas por (+) y () y
denominadas suma y producto de enteros.

+ : Z x Z Z : Z x Z Z
(a, b) a + b (a, b) a b

Propiedades de las operaciones.
+
-
Ley de Cierre
Z b a Z b a e + e , Z b a Z b a e e ,
Ley Asociativa
( ) ( ) c b a c b a Z c b a + + = + + e , , ( ) ( ) c b a c b a Z c b a = e , ,
Ley conmutativa
a b b a Z b a + = + e , a b b a Z b a = e ,
Elemento Neutro
( ) a a a Z a Z = + = + e e - 0 0 / 0 ! ( ) a a a Z a Z = = e e - 1 1 / 1 !
Elemento Opuesto
( )
, , ,
0 / ! a a a a Z a Z a = = + e - e
Distributividad de () con respecto a (+)
( ) | | c a b a c b a Z c b a + = + e , ,

En los nmeros enteros se plantean ecuaciones como la siguiente:
a b x b x a : = =

La divisin b:a solo es posible si b es mltiplo de a y a 0; slo en esas
condiciones la ecuacin tiene solucin en Z. Por ejemplo: 3 : 17 17 3 = = x x , no
tiene solucin en Z.
Facultad de Ciencias Forestales-Ctedra de lgebra y Geometra Analtica- Ao2005
41

III.3. Los Nmeros Racionales

La ecuacin antes planteada ( a b x b x a : = = ), no tiene solucin en los nmeros
enteros, surge entonces la necesidad de considerar nuevos nmeros que den
solucin a planteos del tipo mencionado. Se crean as los nmeros racionales de la
forma
b
a
donde b0 y a y b son nmeros enteros, designndose al conjunto como
Q.
Q = ( ) { } IN b Z a b a e . e / ,


III.3.1.- Caracterizacin del conjunto de los Nmeros Racionales

- No tiene primer ni ltimo elemento
- Es un conjunto totalmente ordenado
- Entre dos nmeros racionales existen infinitos nmeros racionales, esto
quiere decir que Q es un conjunto denso.
Si
d
c
d b
c a
b
a
d
c
b
a
(
+
+
( (
III.3.2.- Relacin de orden en los Racionales

Sean
b
a
y
d
c
dos nmeros racionales:

1.
b
a
<
d
c
a.d < b.c Orden Estricto en Q
2.
b
a
=
d
c
a.d = b.c Igualdad en Q
3.
b
a
s
d
c
a.d s b.c Orden Amplio en Q

Facultad de Ciencias Forestales-Ctedra de lgebra y Geometra Analtica- Ao2005
42
III.3.3.- Las operaciones de adicin y producto en el conjunto de los Nmeros
Racionales
En los racionales estn definidas dos operaciones denotadas por (+) y () y
denominadas suma y producto de naturales.

+: Q x Q Q : Q x Q Q
bd
bc ad
d
c
b
a
d
c
b
a
def
+
+ |
.
|

\
|
=
,
d b
c a
d
c
b
a
d
c
b
a
def
.
.
,
=
|
.
|

\
|


Donde por cuestiones prcticas se emplear como: r
1
=
b
a
; r
2
=
d
c


Propiedades de las operaciones
+
-
Ley de Cierre
Q r r Q r r e + e
2 1 2 1
, Q r r Q r r e e
2 1 2 1
,
Ley Asociativa
( )
3 2 1 3 2 1 3 2 1
) ( , , r r r r r r Q r r r + + = + + e ( )
3 2 1 3 2 1 3 2 1
) ( , , r r r r r r Q r r r = e
Ley Conmutativa
1 2 2 1 2 1
, r r r r Q r r + = + e
1 2 2 1 2 1
, r r r r Q r r = e
Elemento Neutro
( ) r r r Q r Q = + = + e e - 0 0 / 0 ! ( ) r r r Q r Q = = e e - 1 1 / 1 !
Elemento Inverso
o r r Q r Q r = + e - e ) ( /
1 / 0
1 1
= . = = e - e =

a
b
b
a
a
b
r
b
a
r Q r Q r
Distributividad de () con respecto a (+)
( ) | |
3 1 2 1 3 2 1 3 2 1
, , r r r r r r r Q r r r + = + e


Facultad de Ciencias Forestales-Ctedra de lgebra y Geometra Analtica- Ao2005
43
III.4. Los Nmeros Irracionales

En los racionales se pueden realizar las operaciones de suma y producto, tambin la
potenciacin, pero la radicacin ser siempre posible?. Nos preguntamos entonces
si: existe algn xeQ/ x
2
= 2?
Si xeQ
b
a
x = ; donde aeZ y beIN
Es posible demostrar que este nmero x no es racional y pertenece a un nuevo
conjunto numrico distinto de Q, al cual pertenece , 3 2 , t , e, etc. Se dice
entonces que Q no es un cuerpo completo y que el nuevo conjunto al que pertenece
x es el de los nmeros irracionales y se designa como II.

III.5. El conjunto de los Nmeros Reales
III.5.1.- Caracterizacin del conjunto de los Nmeros Reales
Efectuando la unin de los conjuntos de nmeros racionales y de irracionales se
obtiene un nuevo conjunto que se designa con IR y se denomina conjunto de los
nmeros reales, el cual desempean un papel importantsimo en toda la Matemtica.
IR = Q II

III.5.2.- Las operaciones de adicin y producto en el conjunto de los Nmeros
Reales. El cuerpo de los Nmeros Reales

Hay dos operaciones bsicas con los nmeros reales, llamados suma y producto que
se simbolizan con (+) y ().

+: IR x IR IR : IR x IR IR
(a, b) a + b (a, b) a b
Facultad de Ciencias Forestales-Ctedra de lgebra y Geometra Analtica- Ao2005
44
Propiedades del cuerpo de los reales, (IR, +, ).
+
-
Ley de Cierre
a , b e IR a + b e IR a , b e IR a b e IR
Ley Asociativa
a , b, c e IR (a + b) + c = a + (b + c) a , b, ce IR (ab) c = a (bc)
Ley Conmutativa
a , b e IR a + b = b + a a , b e IR a b = b a
Elemento Neutro
( ) a a IR a IR = + e e - 0 / 0 ! ( ) a a IR a IR = e e - 1 . / 1 !
Elemento Inverso
( ) 0 / !
` `
= + e - e a a IR a IR a
`
a a =
{ } ( ) 1 / ! 0
" "
= e - e a a IR a IR a
"
1
a
a
=
Distributividad de () con respecto a (+)
a , b, ce IR a(b+ c) = ab +a c

De estas propiedades fundamentales del cuerpo IR se deducen las siguientes:
a) 0 0 . = e z IR z
b) a b z IR x IR b a = e - e . / ! , . De esta propiedad surge la definicin de
diferencia entre IR, esto es: a b x x b a = + =
c) a a z IR z b IR b a = e - = . e . / ! 0 , . De esta propiedad surge la definicin de
cociente con la restriccin b 0, esto es: a b z z
b
a
= = .
Con la relacin de orden se tiene una estructura de cuerpo ordenado de los
nmeros reales IR, (IR, +, ), comenzamos aceptando que existe un subconjunto no
vacio IR
+
de IR, cuyos elementos se llaman nmeros positivos, tal que:
1) ( )
+ + +
e . e + e IR b a IR b a IR b a . ,
2)
+
eIR 0
3) { } ( )
+

+
e v e e IR x IR x IR x 0
Facultad de Ciencias Forestales-Ctedra de lgebra y Geometra Analtica- Ao2005
45
Diremos que la terna (IR, +, ) es un cuerpo ordenado y a IR
+
le llamaremos
clase positiva del conjunto de nmeros reales IR.

Si (IR, +, ) es un cuerpo ordenado, definiremos en IR dos relaciones, la relacin
de mayor y la denotamos con y la relacin de mayor o igual que se denota como .
Si IR b a e , pondremos:
- a >
+
e IR b a b
def

- a b a
def
> > b a b = v

III.5.3.- Intervalos

Sean a y b dos nmeros tales que a, b e IR . a <b. entonces:

Intervalo abierto (a,b): Es el conjunto de nmeros reales comprendidos entre
a y b pero que no los incluye.
(a,b)={x/x eIR . a < x < b}

Intervalo cerrado [a,b]: Es el conjunto de puntos de la recta real formado por
a, b y todos los comprendidos entre ambos.
[a,b]={x/xeIR . a s x s b }

Intervalo semiabierto o semicerrado
* Semiabierto a izquierda o semicerrado a derecha:
(a,b]={x/xeIR . a < x s b }
* Semiabierto a derecha o semicerrado a izquierda:
[a,b)= {x/xeIR . a s x < b }

Facultad de Ciencias Forestales-Ctedra de lgebra y Geometra Analtica- Ao2005
46
Tambin se pueden definir los intervalos infinitos:

[a,+)={x/x e IR . x > a}
(a, ,+)={x/x e IR . x > a}
(-,a]={x/x e IR . x s a}
(-,a)={x/x e IR . x < a}
(-,+)={x/x eIR} = IR

Facultad de Ciencias Forestales-Ctedra de lgebra y Geometra Analtica- Ao2005
47
III. - Conjuntos Numricos
III.6.- Conjuntos Ordenados 48
III.6.1.- El conjunto de las n-uplas ordenadas de nmeros reales 49
III.6.2.- Operaciones en IR
n
50





























Mientras el lgebra y la geometra tomaron caminos distintos,
su avance fue lento y sus aplicaciones limitadas. Pero cuando
las dos ciencias se complementaron, se contagiaron una a la
otra de vitalidad y de ah en adelante marcharon con ritmo
rpido hacia la perfeccin.
Joseph Louis Lagrange
(1736-1813)

Facultad de Ciencias Forestales-Ctedra de lgebra y Geometra Analtica- Ao2005
48
III.6.- Conjuntos Ordenados

Se observa que {p, q} representan un conjunto cuyos elementos se denominan p y
q. Adems {p, q}= {q, p} lo cual nos dice que el orden en que se consideren los
elementos carece de importancia. En muchos casos interesa el orden de los
elementos del conjunto.

Definicin: Un conjunto ordenado se indica poniendo entre parntesis los smbolos
de sus elementos, los cuales se anotan en su orden.
Segn el nmero de componentes de un conjunto ordenado podemos tener: pares,
ternas, cuaternas ordenadas, etc.

( ) { } A a n a a a a A
i i n i
n
e = = ; ,..., 2 , 1 / ,..., ,..., ,
2 1


IN n e fijo, el smbolo A
n
representa el conjunto de todos las n-uplas ordenadas de
elementos.


Sean A y B conjuntos cualesquiera y en particular se tiene que:
A s e y B t e , definimos par ordenado de primera componente s y segunda
componente t al smbolo (s, t)
( ) ( ) ( )

, , t t s s t s t s
def
= . = =
( ) ( ) { } B t A s t s B A
def
e . e = / ,
B A = resulta
2
A A A
def
= , conjunto de todos los pares ordenados de elementos de A,
anlogamente ( ) ( ) { } A z A y A x z y x A e . e . e = / , ,
3
ternas, A
4
cuaternas,
A
5
quintuplas ordenadas y as sucesivamente.

Facultad de Ciencias Forestales-Ctedra de lgebra y Geometra Analtica- Ao2005
49
III.6.1.- El conjunto de las n-uplas ordenadas de numeros reales
Si consideramos A =IR se obtiene:

a) IR
1
= {(a
1
) / a
1
e IR} que se identifica con la recta real
Geomtricamente: a
1
e IR - p = (a
1
) que se identifica con el vector

op

o p=(a
1
)
a
1


b) IR
2
= {(a
1,
a
2
) / a
1
e IR
,
a
2
e IR} que se identifica con el plano.
Geomtricamente: (a
1,
a
2
)

e IR
2
, - p = (a
1,
a
2
) que se identifica con el vector

op
en el plano

c) IR
3
= {(a
1,
a
2
, a
3
) / a
1
e IR
,
a
2
e IR, a
3
e IR} que se identifica con el espacio.
Geomtricamente: (a
1,
a
2
, a
3
)

e IR
3
- p = (a
1,
a
2
, a
3
) que se identifica con el
vector

op en el espacio

p=(a
1
, a
2
)
o a
1
a
2

x
y
a
1
a
2

a
3

p=(a
1
, a
2
, a
3
)
y
x
z
Facultad de Ciencias Forestales-Ctedra de lgebra y Geometra Analtica- Ao2005
50
Anlogamente se presenta el conjunto de las n-uplas ordenadas de nmeros reales
IR
n
= {(a
1,
a
2,
a
3
,..., a
n
) / a
1
e IR
,
a
2
e IR, a
3
e IR,..., a
n
e IR}

III.6.2.- Operaciones en IR
n

Suma de n-uplas

n n n
IR xIR IR + :
( ) B A B A + ,
Esto es ( )
n
n i
IR a a a a A e = ,..., ,..., ,
2 1

( )
n
n i
IR b b b b B e = ,..., ,..., ,
2 1

( ) ( ) ( )
n n i i
def
n i n i
def
b a b a b a b a b b b b a a a a B A + + + + = + = + ,..., ,..., , ,..., ,..., , ..., ,..., ,
2 2 1 1 2 1 2 1


2) Producto de un escalar por una n-uplas
:
n n
IR IRxIR
( ) rA A r ,
Esto es: IR r e y ( )
n
n i
IR a a a a A e = ,..., ,..., ,
2 1

( ) ( )
n i
def
n i
ra ra ra a a a a r A r ,..., ,..., ,..., ,..., , .
1 2 1
= =
La suma y el producto definidos verifican las siguientes condiciones:
+ es una ley de cierre , o ley interna

a) ( ) ( )
n
IR C B A C B A C B A e + + = + + , , ;

b) A A A IR A IR
n n
n n
n
= + = + e e - 0 0 : / 0 / 0
n
=(0,0,...,0)

c) ( ) ( )
n
n n
A A A A IR A IR A 0 : = + = + e - e / -A=(-a
1
,-a
2
,...,-a
n
)

d)
n
IR B A A B B A e + = + , ;

Facultad de Ciencias Forestales-Ctedra de lgebra y Geometra Analtica- Ao2005
51
e)
n n
IR A IR r IR A r e e e , ; .

f) ( )
n
IR A IR s r A s A r A s r e e + = + , , , . . .

g) ( ) ( )
n
IR A IR s r A s r A s r e e = , , , . . . .

h) ( )
n
IR B A IR r B r A r B A r e e + = + , , , . . .

i)
n
IR A A A e = , . 1

De lo anterior se deduce que la cuaterna ( IR
n
,+,IR, ) tiene estructura de
espacio vectorial ; los elementos de IR
n
son vectores y los elementos de IR son
nmeros reales.
.

Facultad de Ciencias Forestales-Ctedra de lgebra y Geometra Analtica- Ao2005
52

IV.- El conjunto de los Nmeros Complejos 53
IV.1.- Conjugado de un Complejo 55
IV.2.- La Unidad Imaginaria 56
IV.2.1.- Propiedades 56
IV.3.- Formas Binmicas 57
IV.4.- Mdulo de un Complejo 58
IV.4.1.- Propiedades del mdulo 58
IV.5.- Forma polar de un nmero complejo 58
IV.5.1.- Operaciones con nmeros complejos en forma polar 59



















El paso final se dio hacia el siglo XVIII cuando se
agregaron los imaginarios al sistema completado de los
nmeros reales y se cre el dominio de los nmeros
complejos. (El sistema de nmeros- De los naturales a los
complejos. Elsa Rodriguez Areul de Torino. Memorias de
la I Jornada Regional de la Historia de la Matemtica. Ao
2003).
Sin embargo, la existencia de nmeros complejos no fue
completamente aceptada hasta la interpretacin geomtrica
descrita por Wessel en 1799, redescubierta algunos aos
despus y popularizada por Gauss.

Facultad de Ciencias Forestales-Ctedra de lgebra y Geometra Analtica- Ao2005
53
IV.- El conjunto de los Nmeros Complejos

El conjunto IN se amplia con nuevos nmeros hasta llegar a IR.
La ecuacin: x
2
+ 1 = 0 no tiene solucin en IR.
La ampliacin de IR son los nuevos nmeros que vamos a considerar, para ello
tomemos como conjunto de partida el conjunto IR
2
.
Recordemos: (IR
2
, +, IR, .) espacio vectorial con las operaciones:
2 2 2
: IR xIR IR + :
2 2
IR xIR IR
( ) B A B A + , ( ) A A o o ,

Trataremos ahora de dar a IR
2
estructura de cuerpo, para ello ya tenemos definido la
suma de puntos y ahora nos queda por definir el producto de puntos, esto es:

:
2 2 2
IR xIR IR
( ) AB B A , = ) , ( ) , )( , (
1 2 2 1 2 2 1 1 2 1 2 1
b a b a b a b a b b a a
def
+ =

Teorema: IR
2
con las operaciones suma de pares ordenados y producto de pares
ordenados es un cuerpo.
Demostracin: Sean A = ) , (
2 1
a a , B = ) , (
2 1
b b , C = ) , (
2 1
c c elementos arbitrarios de
IR
2
. Designemos como es habitual: 0 = ) 0 , 0 ( y U
1
= ) 0 , 1 ( .

Pongamos: A = ) , (
2 1
a a

y adems si A 0: A
-1
=
|
|
.
|

\
|
+

+
+
2
2
2
1
2
2
2
2
1
1
a a
a
a a
a

Facultad de Ciencias Forestales-Ctedra de lgebra y Geometra Analtica- Ao2005
54
Con estos convenios se tiene:

+
-
Ley de Cierre
A, B e IR
2
A + B e IR
2
A, B e IR
2
A. B e IR
2

Ley Asociativa
A, B, C e IR
2
(A + B) + C = A + (B + C) A, B,Ce IR
2
(AB) C = A (BC)
Ley Conmutativa
A, B e IR
2
A + B = B + A A, B e IR
2
A B = B A
Elemento Neutro
( ) A A IR A IR = + e e - 0 / 0 !
2 2
( ) A U A IR A IR U = e e -
1
2 2
1
. / !
Elemento Opuesto Elemento Inverso multiplicativo
( ) 0 / !
`
' 2 ' 2
= + e - e A A IR A IR A
`
'
A A =
{ } ( )
1
" 2 " 2
U A A / IR A ! 0 IR A = e - e
"
A
A
1
=

Distributividad de () con respecto a (+)
A, B, Ce IR
2
A(B+C) = AB +AC

Luego (IR
2
, +, .) es cuerpo.
Ahora podemos definir:
) ( B A B A
def
+ =
Y, si B 0:
|
|
.
|

\
|
+

+
+
=
|
|
.
|

\
|
+

+
= =

2
2
2
1
2 1 1 2
2
2
2
1
2 2 1 1
2
2
2
1
2
2
2
2
1
1
2 1
1
, , ). , ( .
b b
b a b a
b b
b a b a
b b
b
b b
b
a a B A
B
A
def


Cuando se considera IR
2
como cuerpo, sus elementos: A = ) , (
2 1
a a , B = ) , (
2 1
b b
etc. se denominan nmeros complejos.
2
IR C
def
=
Es posible poner en correspondencia los puntos del eje de abscisas C C
c
= con los
puntos de la recta IR de tal modo que:
_Suma de puntos de C correspondan con sumas de puntos de IR y
Facultad de Ciencias Forestales-Ctedra de lgebra y Geometra Analtica- Ao2005
55
_Productos de puntos deC correspondan con productos de puntos de IR.

( ) { } 0 / ,
2 2 1
= e = x C x x C
def
, es evidente que C C
c
=

) 0 , ( ) 0 , ( ) 0 , ( b a b a + = +
Observamos que: a, b e IR ) 0 , . ( ) 0 , ).( 0 , ( b a b a =

Podemos establecer la correspondencia siguiente:
A cada par C x e ) 0 , ( le asignamos un nmero IR x e , entonces, para cada x
pondremos:


puntodeIR
puntodeIR
x x =
2
) 0 , (

(La igualdad anterior no es rigurosa, pues se identifica un par con su primera
componente).
Siendo C C
c
= y habiendo identificado C con IR, podemos considerar al cuerpo de
los complejos C como una ampliacin del conjunto de los nmeros reales IR.

IV.1.- Definiciones. Igualdad. Nmeros complejos conjugados
Sea B = C b b e ) , (
2 1
, el nmero B
*
) , (
2 1
b b
def
= recibe el nombre de Conjugado de B.


Se verifican las siguientes propiedades:
B + B
*
= (2b
1
,0)
o
B
*
=(b
1
,-b
2
)
b
2
-b
2

b
1
B=(b
1
,b
2
)
Facultad de Ciencias Forestales-Ctedra de lgebra y Geometra Analtica- Ao2005
56
B . B
*
= ) 0 , (
2
2
2
1
b b +
Y como identificamos C con IR:
B + B
*
= 2b
1
e IR
B . B
*
= IR B b b e = +
2
2
2
2
1
, donde ||B|| se denomina mdulo de B

IV.2.- La Unidad Imaginaria
El nmero complejo U
2
= (0,1) se denota tradicionalmente con i y se lo denomina
unidad imaginaria. Esto es:
i ) 1 , 0 (
2
= = U
def


IV.2.1.- Propiedades
i
2
= -1, esto es: i
2
= (0,1).(0,1) = (-1,0) = -1
Por lo tanto: i
2
+ 1 = 0
De modo que la ecuacin x
2
+ 1 = 0 admite soluciones en C una de las cuales
es i (puesto que para x = i resulta i
2
+ 1 = 0 (-1) + 1 = 0 0 = 0
Un nmero complejo es real si y slo si es igual a su conjugado.
Esto es:
Z e C Z = Z
*

Prueba:
i) Z e C Z = Z
*

Z e C Z =
* * *
) 0 , ( ) 0 , ( Z Z a Z a Z a Z a = = . = = .
ii) Z = Z
*
Z e Z
*

0 U
1
=(1,0)
U
2
=(0,1)
Facultad de Ciencias Forestales-Ctedra de lgebra y Geometra Analtica- Ao2005
57
Z = Z
*

IR Z C Z a Z 0 b 0 ib 2 ib ib ib a ib a ) b , a ( ) b , a ( e e = = = = = + =


IV.3.- Formas Binmicas
Sea A = IR a a e ) , (
2 1
, podemos verificar que A = ) , 0 ( ) 0 , (
2 1
a a + , pero:
) 0 , (
1
a =
1
a
Y es sencillo probar que:
i a a a i a a
2 2 2 2 2
) , 0 ( ) 1 , 0 ).( 0 , ( ). 0 , ( ) , 0 ( = = = =
En consecuencia: A = i a a
2 1
+ , que es la forma binmica de A.
) , ( ) , ( ) , (
2 2 1 1 2 1 2 1
b a b a b b a a + + = +
Adems
i b a b a i b b i a a ) ( ) ( ) ( ) (
2 2 1 1 2 1 2 1
+ + + = + + +


) , ( ) , ).( , (
1 2 2 1 2 2 1 1 2 1 2 1
b a b a b a b a b b a a + =

i b a b a b a b a i b b i a a ) ( ) ( ) ).( (
1 2 2 1 2 2 1 1 2 1 2 1
+ + = + +

(La diferencia entre operar en forma cartesiana con la binmica est en sustituir
i
2
= -1).
Finalmente si B 0 y recordando que
B
-1
=
|
|
.
|

\
|
+

+
+
2
2
2
1
2
2
2
2
1
1
b b
b
b b
b
o sea
B
-1
=
*
2
2 1
2
2
2
1
.
1
) , .(
1
B
B
b b
b b
=
+

Se tiene ) . (
1
.
*
2
1
B A
B
B A
B
A
= =


O sea ) ).( (
1
2 1 2 1
2
2
2
1
i b b i a a
b b B
A
+
+
=

Facultad de Ciencias Forestales-Ctedra de lgebra y Geometra Analtica- Ao2005
58
IV.4.- Mdulo de un nmero complejo
Podemos a partir de aqu identificar A con mdulo del nmero complejo A. esto
es
2 2
b a A A + = = con ) , ( b a A = elemento de C.
IV.4.1.- Propiedades
Sea A A a A C b a A s . > e = ) Im( ) , (
1)
2
*
. A A A =
2) B A B A . . = con A y B e C
3) B A B A + s +
4)
n
n n
n
A A A A A A A = = =

... ... .

IV.5.- Forma polar de un nmero complejo
Sea C p p p p P e + = =
2 1 2 1
) , (
Sabemos que permite una infinidad de formas polares ) / ( para las cuales se
verifican:



sen p
p
=
=
2
1
cos


Por lo tanto:
) (cos cos ) , (
2 1 2 1
isen sen i ip p p p P + = + = + = =
Podemos escribir:

ca igonomtri unaformatr ica formabinm lar unaformapo siana formacarte
isen ip p p p P ) (cos ) / ( ) , (
2 1 2 1
+ = + = = =
p
p
1
p
2

i


Facultad de Ciencias Forestales-Ctedra de lgebra y Geometra Analtica- Ao2005
59

IV.5.1.- Operaciones con nmeros complejos en forma polar
Sean ) / ( o r y ) / ( | s formas polares de dos nmeros complejos P y Q no nulos.
) (cos ) / ( ) , (
2 1
o o o isen r r p p P + = = =
) (cos ) / ( ) , (
2 1
| | | isen s s q q Q + = = =
(Siendo P y Q no nulos, se tiene 0 = = = r P P y adems 0 = = = s Q Q )
- Producto
P.Q = ) / ( o r . ) / ( | s )] (cos [ o o isen r + = . )] (cos [ | | isen s + =
] ) cos cos ( ) cos cos [(
) ( ) cos(

| o | o
o | | o | o | o
+ +
+ + =
sen
sen sen i sen sen rs
O sea:
P.Q = ) / ( o r . ) / . ( ) / ( | o | + = s r s
- Potenciacin
En particular:
) 2 / ( ) / ).( / ( .
2 2
o o o r r r P P P = = =
) 3 / ( ) / ).( 2 / ( .
3 2 2 3
o o o r r r P P P = = =
Puede demostrarse que si n e IN:
) / ( ) / ( o o n r r P
n n n
= = Frmula de De Moivre
Como Q 0, 0 = = s Q , podemos expresar Q
-1
:
)] ( ) [cos(
1 ) (cos
.
1
2 2
*
*
2
1
| |
| |
+ =

= = =

isen
s s
isen s
Q
Q
Q
Q
Q
Es decir:
|
.
|

\
|
= =

| | /
1
) / (
1 1
s
s Q
- Divisin
( )
|
.
|

\
|
= |
.
|

\
|
= = =

| o | o | o / /
1
/ ) / )( / ( .
1 1
s
r
s
r s r Q P
Q
P

O sea:

|
.
|

\
|
= = | o
|
o
/
) / (
) / (
s
r
s
r
Q
P


Facultad de Ciencias Forestales-Ctedra de lgebra y Geometra Analtica- Ao2005
60
- Raz ensima
Si ne IN y A e C
A W W A
n
def
n
= =
Si ) / ( r A = y ) / ( u = W , resulta:
) / ( ) / ( ) / ( ) / ( u u r n r
n n
= = y de la condicin de igualdad de complejos en
forma polar se deduce:


Z k k n
r
n
e + =
=
, 2 t u




Z k
n
k
r
n
e
+
=
=
,
2 t
u



Luego 1 ,..., 1 , 0 ,
2
/ = |
.
|

\
| +
= n k
n
k
r A
n n
t

Esto es, hay slo n valores W
k
distintos, y
n
r es la nica raz ensima positiva de
r > 0.

Dados n e IN y un nmero complejo ) / ( o r podemos considerar la ecuacin:
0 ) / ( ) / ( = = o o r x r x
n n

Un importante teorema asegura que toda ecuacin algebraica de grado n con
coeficientes complejos (eventualmente reales) admite precisamente n races
complejas (algunas de las cuales pueden ser reales y no necesariamente las n races
son distintas).
Aplicando este teorema a la ecuacin ) / ( o r x
n
= , podemos asegurar que existen n
nmeros complejos que la satisfacen. Diremos que stos n nmeros complejos,
soluciones o races de la ecuacin ) / ( o r x
n
= , son las races ensimas de ) / ( o r .

Facultad de Ciencias Forestales-Ctedra de lgebra y Geometra Analtica- Ao2005
61
GUA PRCTICA

I.- Elementos de Logica simbolica
I.1) Dadas las siguientes proposiciones:
1.1 Todo tringulo equiltero es un tringulo.
1.2 Todos los alumnos cumplen con sus obligaciones.
1.3 No llueve y hace fro.
1.4 Se prohbe a los pasajeros asomarse o sacar los brazos por la
ventanilla.
1.5 Mi secretaria o yo personalmente iremos a retirar el mensaje.
1.6 Si algn estadista es amante de la justicia, algn amante de la justicia es
estadista.
1.7 Si la madera fuera un metal, entonces sera maleable.
1.8 Solo si es empleado de la casa puede utilizar el ascensor principal.
1.9 El hecho de que 2 sea un nmero positivo, implica que -2 es un n
negativo.
1.10 Si un nmero es divisible por 2 y por 6, entonces es divisible por 12.

a- Identifique las proposiciones simples y compuestas.
b- Traduzca cada una de ellas al lenguaje lgico.
c- Determine el valor de verdad de las proposiciones simples
d- Determine el valor de las proposiciones compuestas.
e- A partir de las proposiciones simples, formule proposiciones compuestas
haciendo uso de conectores lgicos.

I.2) Encuentre en el siguiente texto las proposiciones y las constantes lgicas:

Las invasiones biolgicas estn alterando las comunidades naturales del
mundo. Si no se implementan estrategias eficaces para disminuir los impactos ms
perjudiciales de los invasores, nos arriesgamos a empobrecer y homogeneizar los
Facultad de Ciencias Forestales-Ctedra de lgebra y Geometra Analtica- Ao2005
62
ecosistemas de los cuales dependemos. De continuar la falta de polticas efectivas
para prevenirlas o controlarlas, las invasiones biolgicas sern comparables a los
cambios atmosfricos y al cambio en el uso de la tierra como los grandes factores
antrpicos de cambio global.

I.3) Teniendo en cuenta las siguientes proposiciones simples:

p: saldr a pasear. r: escribir mi libro.
s: trabajar en el jardn. q: me quedar a pintar.

Exprese en lenguaje comn las siguientes proposiciones compuestas:
a: ~ p b: ~( p q )
c: p v q d: ~ s
e: ~ p.q f: ~ r . ~ q

I.4) Dadas las siguientes proposiciones:
p: - 5 < - 6 q: 0 > -5
r: ( - 5 ) es un nmero positivo.

3.1 Determine el valor de verdad de las proposiciones p, q, y r .

a: p v q b: ~ ( p v ~ r ) c: ~ ( p . r )
d: q v r e: ( p v q ) . ~ r f: ~ p r

I.5) Confeccione la tabla de verdad de cada una de las siguientes
proposiciones:
a: ( p . q ) r b: ~ ( p v q ) ~ p . ~ q

I.6) Determine los valores de verdad de q, para que las siguientes proposiciones
sean verdaderas, sabiendo que p y r son verdaderas y s es falsa.
Facultad de Ciencias Forestales-Ctedra de lgebra y Geometra Analtica- Ao2005
63
a: ( p . r ) ( q v s ) b: ( p v s ) q
c: ( p . q ) v ( r . s ) d: ( p q ) . ~ s
e: ( q s ) v ( r s )

I.7) Sean p y q proposiciones verdaderas y r y s falsas, indique el valor de
verdad de los bicondicionales siguientes:
a: (p v q ) r b: p (~ p v r)
c: (q ~ r ) ( p r ) d: ( q p ) ( r s )
e: ( p v~ q ) ~ r

I.8) Indique si cada una de las siguientes frmulas corresponden a una
tautologa (T), a una contradiccin ( C ) o a una contingencia ( G ).
a: ( p v q ) ( p . q ) b: (~ q ~ p ) . ( p . ~ q )
c: ( p . q ) r d: ( p . q ) ( q . p )
e: ( p q ) v (~ q ~ p )

I.9) Las funciones proposicionales que aparecen en la aritmtica y que solo
contienen una variable (aunque sta puede intervenir en varios lugares de la
funcin dada), se pueden dividir en tres categoras:

i: Funciones que se satisfacen para todo nmero.
ii: Funciones que no se satisfacen para ningn nmero.
iii: Funciones que se satisfacen para algunos nmeros y no se satisfacen para
otros.

A cules de estas categoras pertenecen las funciones proposicionales siguientes?
p(x): x + 2 = 5 + x s(x): y + 24 > 36
q(x): x = 49 t(x): x + 2 > 5
r(x): ( y + 2 ) . ( y - 2 ) < y
2
l(x): x = 0 x < 0 x > 0

Facultad de Ciencias Forestales-Ctedra de lgebra y Geometra Analtica- Ao2005
64
I.10) Determinar los intervalos correspondientes a los siguientes expresiones
(tener en cuenta que la multiplicacin y divisin por un nmero negativo
invierte la desigualdad)
a) 2x-3>0 b) ,x, s c c) 5<3x+10 s16 d),x-3, <1
e) -2x + 3<7 f) 2 s x s 6 g) 3x-4 s 8 i) x > 2 . x s -3
j) ,x+1, > 4

I.11) Encuentre el conjunto de verdad para cada una de las siguientes
funciones proposicionales (U = IR):

a) Si x =2 entonces x =2 b) ( 3x = 6 ) x = 2
c) -3 < x < 3 . (x + 1 < 5) d) -3s x s2 v 0 s x s 4
e) (2x +1< 7 x
2
=16) . (x + 4 = 0) f) -7x =14 x = -2
g) - 3 s x s 3 x
2
s 9 h) 2x + 1< -1 . 2x 4 s 3x +1
i) x 4 > v x
3
s 27 j) -2x + 4 >20 -2x
2
+ 6x -4
=0
k) (2x + 4)(x - 5) = 0 x > -1 l) (x + 3 < 5) x + 2 > 3
m) si x
2
= 1 x = 1 n) si x = 4 x

= 4

II.- Conjuntos ordenados. Relaciones y funciones

II.A) Sumatoria

II.A.1) Desarrollar las siguientes sumatorias
a)

6
1
2 4
) 1 (
i
i
i
i
b)

=

7
1
) 1 3 ( 2
k
k k


c)

5
2
1
1 2
) 1 (
n
n
n
d)

7
1
2 3
) 1 (
k
k
k k


II.A.2) Aplicando propiedades, desarrollar:
a)

=
+
n
i
i
x
1
2
) 1 ( b) n e IN,

=
+
n
k
k k
1
) 2 .( 2 c) n e IN,

=
+
n
k
k k
1
) 1 .(

II.B) El principio de Induccin Completa
Facultad de Ciencias Forestales-Ctedra de lgebra y Geometra Analtica- Ao2005
65

II.B.1) Aplicando el P.I.C. demuestre las siguientes propiedades:
a) 1
3
+2
3
+... + n
3
=
n (n+1)
4
2 2
b) 2
1
+2
2
+... + 2
n
= 2
n+1
-2
c) 1 +x +x
2
+... +x
n-1
=
1
1

x
x
n
d) 1+2+3+... + n =
n n ( ) +1
2


e) 1
2
+2
2
+3
2
+... +n
2
=
n n n ( )( ) + + 1 2 1
6


f) 1.2+2.3+3.4+... + n (n+1) =
n n n ( )( ) + + 1 2
3


g) 1 + 7 + 13 +... + (6n - 5) = n (3n - 2)

h) 1 + 4 + 7+... + (3n - 2) =
2
) 1 3 ( n n




II.C) Coordenadas Cartesianas y polares. Operaciones

II.C.1) Sean A = (2; 2); B =( 3; 1); C = (0; 4) ; D = (-1/2; 1/2) ; E = (-2 3 ; -2) ;
puntos de IR
2
.
a) Obtenga la forma polar principal de cada uno de ellos.
b) Sean los puntos:
Z
1
= (2 / 3t/4); Z
2
= ( 3 /3t/3); Z
3
= (2 2 /4t/3); Z
4
= ( 3 /5t/6)
Obtenga la forma cartesiana de los puntos dados.
c). Obtenga X e C en las siguientes ecuaciones:
I) X-A = B
II) 2X + B = C.D
III) X - 2D = E
IV) B.X - E = C

II.C.2) Resolver las siguientes operaciones
II.C.2.1) Sean los complejos: Z
1
= (2;2) ; Z
2
= (2/ t)

a) Z
1
. Z
2
. b) Z
2
: Z
1
. c) 2 . Z
1
3
d) Z
2
-2
e) Z2
3


II.C.2.2) Dados los complejos Z
1
= -2i Z
2
= (4/
2
3t ) Z
3
= (1/
2
t ). Encuentre Z
operando en forma polar
1
4
z
z
.z
3
= z
2
y
2
1
z
z
.z = z
3


Facultad de Ciencias Forestales-Ctedra de lgebra y Geometra Analtica- Ao2005
66
II.C.2.3) Sean Z
1
= (-1,1), Z
2
= (2/
3
2t ) y Z
3
= (-2,0) nmeros complejos. Obtenga
Z perteneciente a los complejos tal que
3
2 1
z
z
z
z
= y z
i
=
2
1
z
z


II.C.3) Exprese el valor principal de Z en cada una de las siguientes ecuaciones.

a) e
Z
= 2 - 2y d) Z/i = (- 1 - i )
2 i

b) (1 - i )
Z
= i e) e
2Z
= - 8
c) Z
3i
=3 - 3 3i f) e
Z+1
= (- 2 )
3i



II.C.4) Determine los conjuntos de puntos del plano que satisfacen las
siguientes relaciones:
a) IR(Z) = - 2. d) -0,5 < IR (Z) < 0,5 . |Z|= 2.
b) - 2< Im (Z) < 3. e) t< arg Z < t .|Z|< 2.
c) |Z + 1|> 2. f) |Z - 1+ i |= 2.
g)
3
2t s arg Z s t .|Z|< 4 h)
6
t s arg Z s
3
5
t .|Z-2|< 3
i)
3
t < arg Z s
4
5
t .|Z|<


Facultad de Ciencias Forestales-Ctedra de lgebra y Geometra Analtica- Ao2005
67
BIBLIOGRAFIA

INTRODUCCION MODERNA A LA MATEMATICA SUPERIOR
Allendoerfer y Oakly
Editorial :Mac Graww-Hill. Segunda Edicion
ARITMETICA ELEMETAL EN LA FORMACION MATEMATICA
Enzo Gentile
Edipulbi S.A. 1991
ALGEBRA
Charles H.Lehmann
Limusa. 1976
INTRODUCCION AL ALGEBRA
Mischa Cotlar-Ratto de Sadosky
Eudeba.1977
ALGEBRA Y GEOMETRIA ANALITICA
Samuel Selzer
Nigar S.R.L. 1981
ALGEBRA I
Armando Rojo
El Ateneo .Segunda Edicion
ALGEBRA Y GEOMETRIA
Eugenio Hernandez
Universidad A. de Madrid.1987