Pamplona

Universidad de

Centro de Educación Virtual y a Distancia

Programas de Educación a Distancia

Matemática Básica I
(Fundamentación
Matemática I)
Juan Carlos López Carreño
Yolanda Gallardo de Parada

43 Años Formando Colombianos de Bien

Álvaro González Joves
Rector

María Eugenia Velasco Espitia

Decana Facultad de Estudios Avanzados, Virtuales, a Distancia y Semiescolarizados

Luis Armando Portilla Granados

Director Centro de Educación Virtual y a Distancia
Tabla de Contenido
Presentación

UNIDAD 1: Calculo Proposicional

Núcleos Temáticos y Problemáticos
Proceso de Información
1.1 PROPOSICIONES
1.2 CONECTIVOS LÓGICOS
1.2.1 La Conjunción
1.2.2 La Negación
1.2.3 La Disyunción
1.2.4 El Condicional
1.2.5 La Recíproca
1.2.6 El Bicondicional
Proceso de Comprensión y Análisis

UNIDAD 2 Métodos de Demostración

Descripción Temática
Núcleos Temáticos y Problemáticos
Proceso de Información
2.1 MÉTODO DIRECTO
2.2 MÉTODO INDIRECTO
2.3 MÉTODO DE INDUCCIÓN
2.3.1 Principio de Inducción Matemática
Proceso de Comprensión y Análisis

UNIDAD 3: Teoría de Conjuntos

Descripción Temática
Núcleos Temáticos y Problemáticos
Proceso de Información
3.1 CONJUNTOS
3.2 SUBCONJUNTOS
3.3 OPERACIONES USUALES ENTRE CONJUNTOS
3.3.1 Complemento
3.3.2 Intersección
3.3.3 Unión
 3.4 POTENCIA DE UN CONJUNTO
3.5 CUANTIFICADORES
Proceso de Comprensión y Análisis

UNIDAD 4: Producto Cartesiano

Núcleos Temáticos y Problemáticos
Proceso de Información
4.1 PAREJA ORDENADA
4.2 PRODUCTO CARTESIANO

UNIDAD 5: Relaciones
Núcleos Temáticos y Problemáticos
Proceso de Información
5.1 RELACIONES
5.2 DETERMINACIÓN DE UNA RELACIÓN
5.2.1 Por Extensión
5.2.2 Por Comprensión
5.3 REPRESENTACIÓN GRÁFICA
5.4 OBTENCIÓN DE RELACIONES A PARTIR DE RELACIONES DADAS
Proceso de Comprensión y Análisis

UNIDAD 6: Relaciones sobre un Conjunto

Núcleos Temáticos y Problemáticos
Proceso de Información
6.1 RELACIONES EN UN CONJUNTO
6.2 RELACIONES EVENTUALES SOBRE UN CONJUNTO
6.2.1 Relación Reflexiva
6.2.2 Relación Simétrica
6.2.3 Relación Antisimétrica
6.2.4 Relación Transitiva
Proceso de Comprensión y Análisis

UNIDAD 7: Relaciones de Equivalencia

Núcleos Temáticos y Problemáticos
Proceso de Información
7.1 RELACIÓN DE EQUIVALENCIA
7.2 CLASES DE EQUIVALENCIAS Y CONJUNTO COCIENTE
Proceso de Comprensión y Análisis
UNIDAD 8: Relaciones de Orden
Núcleos Temáticos y Problemáticos
Proceso de Información
8.1 RELACIONES DE ORDEN
8.2 ORDEN TOTAL
8.3 ELEMENTOS NOTABLES DE UN CONJUNTO ORDENADO
8.3.1 Cota Superior y Cota Inferior
8.3.2 Elemento Máximo y Elemento Mínimo
8.3.3 Límite Superior, Límite Inferior
8.3.4 Buen Orden
Proceso de Comprensión y Análisis

BIBLIOGRAFÍA GENERAL
Fundamentación Matemática I 1

Presentación
La educación superior se ha convertido hoy día en prioridad para el gobierno
Nacional y para las universidades públicas, brindando oportunidades de superación
y desarrollo personal y social, sin que la población tenga que abandonar su región
para merecer de este servicio educativo; prueba de ello es el espíritu de las
actuales políticas educativas que se refleja en el proyecto de decreto Estándares
de Calidad en Programas Académicos de Educación Superior a Distancia de la
Presidencia de la República, el cual define: “Que la Educación Superior a Distancia
es aquella que se caracteriza por diseñar ambientes de aprendizaje en los cuales
se hace uso de mediaciones pedagógicas que permiten crear una ruptura espacio
temporal en las relaciones inmediatas entre la institución de Educación Superior y
el estudiante, el profesor y el estudiante, y los estudiantes entre sí”.

La Educación Superior a Distancia ofrece esta cobertura y oportunidad educativa

ya que su modelo está pensado para satisfacer las necesidades de toda nuestra
población, en especial de los sectores menos favorecidos y para quienes las
oportunidades se ven disminuidas por su situación económica y social, con
actividades flexibles acordes a las posibilidades de los estudiantes.

La Universidad de Pamplona gestora de la educación y promotora de llevar

servicios con calidad a las diferentes regiones, y el Centro de Educación Virtual y a
Distancia de la Universidad de Pamplona, presentan los siguientes materiales de
apoyo con los contenidos esperados para cada programa y les saluda como parte
integral de nuestra comunidad universitaria e invita a su participación activa para
trabajar en equipo en pro del aseguramiento de la calidad de la educación superior
y el fortalecimiento permanente de nuestra Universidad, para contribuir
colectivamente a la construcción del país que queremos; apuntando siempre hacia
el cumplimiento de nuestra visión y misión como reza en el nuevo Estatuto
Orgánico:

Misión: Formar profesionales integrales que sean agentes generadores de

cambios, promotores de la paz, la dignidad humana y el desarrollo nacional.

Visión: La Universidad de Pamplona al finalizar la primera década del siglo XXI,

deberá ser el primer centro de Educación Superior del Oriente Colombiano.

Luis Armando Portilla Granados. Director CEVDUP

UNIVERSIDAD DE PAMPLONA – Centro de Educación Virtual y a Distancia

Fundamentación Matemática I 2

UNIDAD 1: Cálculo Proposicional

Núcleos Temáticos y Problemáticos

• Proposiciones
• Conectivos Lógicos

Proceso de Información
1.1 PROPOSICIONES

Leer atentamente cada una de las siguientes expresiones.

1 José E. Rivera es el autor de La vorágine.

2 Las golondrinas son aves de cuatro patas.
3 Jorge Pérez descubrió América.
4 Siembra un árbol.
5 Un triángulo es un polígono que tiene tres lados.
6 ¿Quién es Usted?
7 x+3=6

Algunas de estas expresiones son verdaderas, otras son falsas y otras de las que
no tiene sentido decir si son verdaderas o falsas, si este es el caso diremos de ellas
que son ambiguas. Pensar y señalar con una V, F, o A según corresponda.

Se habrá podido observar que existen expresiones con sentido completo, como por
ejemplo la que aparece en el número 4, de las cuales no podemos afirmar si son
verdaderas o son falsas. Desde el punto de vista de la Gramática estas
expresiones son proposiciones, sin embargo, en matemáticas se exige además que
a esta expresión se le pueda asignar un valor de verdad ( V ó F ) de una manera
unívoca.

UNIVERSIDAD DE PAMPLONA – Centro de Educación Virtual y a Distancia

Fundamentación Matemática I 3

Recordar: Una proposición en Matemáticas es una afirmación con sentido

completo, de la cual se puede decir si es verdadera ó falsa, aunque no se tenga
manera de saber cual es el caso.
Notación. Para designar proposiciones se utilizará los símbolos p, q, r, s,.... V y F
significan verdadero y falso respectivamente.

Leer con atención las siguientes expresiones:

8 Patricia estudia medicina y María estudia Matemáticas.

9 Juan promete a su novia llevarla a cine, si le pagan en el trabajo.
10 Claudia no irá a la reunión a menos que su padre se lo permita.
11 Un número real es positivo si, y sólo si, es mayor que cero.
12 Si los empleados de un banco laboran y el gerente los observa, no les hace
revisión de sus trabajos. Pero el gerente no los observará, a menos que haga
una revisión. Por lo tanto, si los empleados trabajan el jefe no lo notará
13 Si no se elimina el contrabando, aumenta el desempleo
14 Ana tiene 15 ó 20 años. Si Ana tiene 20 años entonces nació antes que Irma.
Ana no nació antes que Irma. Luego Ana tiene 15 años.

¿Puede decir cuáles de estas proposiciones son verdaderas?, ¿cuáles son falsas?,
¿Qué diferencias encuentra, entre el primer conjunto de proposiciones y las que
acaba de leer?.

Obsérvese que el argumento dado en la proposición 14, es correcto. Si notamos

con las letras p, q, r las proposiciones:

p : Ana tiene 15 años.

q : Ana tiene 20 años.
r : Ana nació antes que Irma.

Nótese que la proposición 14 se puede “simbolizar” de la siguiente manera:

p ó q. Si q entonces r. No r. Luego p.

De esta forma la proposición que se está considerando esta formada por algunas
proposiciones simples p ,q, r las cuales están unidas por medio de algunas
conjunciones “o”,”no”,”si.. entonces”,”luego”. A este tipo de expresiones las
llamaremos proposiciones compuestas.

UNIVERSIDAD DE PAMPLONA – Centro de Educación Virtual y a Distancia

Fundamentación Matemática I 4

Analizar cada uno de los siguientes argumentos y determinar si son válidos ó si por
el contrario no lo son.

1 Si Pedro estudia una carrera, tendrá éxito en la vida. Pedro no estudia una
carrera. Por lo tanto, Pedro no tendrá éxito en la vida.

2 Si todo jugador del equipo A es buena persona y Roberto es jugador del equipo
A, entonces Roberto es buena persona.

3 Invertir en finca raíz en un buen negocio y las inversiones que garantizan un

30% de ganancia anual es buen negocio, por lo tanto invertir en finca raíz
garantiza una ganancia del 30% anual.

Debió observar del análisis precedente, que algunos de estos argumentos son
válidos y otros no lo son. Para poder distinguir un razonamiento correcto de uno
que no lo sea se dispone de un modelo básico de razonamiento, esto es de los
principios de la lógica.

Desde el punto de vista de la historia de la matemática estos principios se vienen

desarrollando desde Aristóteles (lógica formal) pasando por los trabajos de
Leibnitz (lógica simbólica) hasta llegar al año de 1879 que con los trabajos de
Frege la lógica adquiere su mayoría de edad y es elevada a la categoría de ciencia
(lógica matemática) y desde este momento, existe una marcada tendencia de un
grupo de matemáticos encabezados por personalidades de la talla de R. Dedekind,
G. Cantor, B. Russell a reducir todos los conceptos matemáticos a conceptos
puramente lógicos.

Afortunadamente son muy pocas las personas, actualmente llamados Logicistas, a

los que les interesa la lógica por sí misma. El resto de las personas se interesan
en la lógica por sus aplicaciones tanto en la ciencia como en situaciones de la vida
diaria.

Saber aplicar la lógica consiste en determinar si una proposición es consecuencia

lógica de una serie de proposiciones dadas, llamadas premisas; es decir, es saber
hacer deducciones correctas.

Nota. Al desarrollar los elementos de la lógica no es de tanto interés el significado

que puedan tener la s proposiciones p, q, r, como sí las relaciones que existan
entre ellas. No obstante, cuando se aplica la lógica a las diversas áreas del
conocimiento y a situaciones cotidianas hay que tener en cuenta tanto el
significado de las proposiciones como las relaciones entre ellas

UNIVERSIDAD DE PAMPLONA – Centro de Educación Virtual y a Distancia

Fundamentación Matemática I 5

1.2 CONECTIVOS LÓGICOS

Existen ciertas expresiones que en gramática se suelen llamar conjunciones: “y”,

“o”, “pero”, “Si...entonces”, “algunos”, “ninguno”, “igualmente”, ...etc. que
obviamente no son proposiciones en el sentido que se le ha dado en matemáticas.
Pero sin embargo, son de suma importancia en la construcción de proposiciones
complejas a partir de otras proposiciones más simples. Estas partículas que se
llaman conectivos lógicos sirven también para determinar el valor de verdad (V ó
F) de una proposición compuesta en función de I os valores de verdad de las
proposiciones componentes.

1.2.1 La Conjunción

Considerar la proposición compuesta: Patricia estudia medicina y María estudia

matemáticas.

Si p, q representan las proposiciones simples

P : Patricia estudia medicina.
q : María estudia matemáticas

La proposición dada es de la forma p y q. Es costumbre en lógica simbolizar la

partícula y con el símbolo ∧.

¿Cuándo será verdadera la proposición p Y q?. Obsérvese que existen 4

posibilidades:

• Patricia estudia medicina. María estudia matemáticas.

• Patricia estudia medicina. María no estudia matemáticas.
• Patricia no estudia medicina. María estudia matemáticas.
• Patricia no estudia medicina. María no estudia matemáticas.

Estas cuatro alternativas se pueden resumir en el siguiente cuadro:

UNIVERSIDAD DE PAMPLONA – Centro de Educación Virtual y a Distancia

Fundamentación Matemática I 6

Se observa que la proposición original es verdadera sólo en el caso en que tanto p

como q sean verdaderas, en cualquier otro caso la proposición p ∧ q es falsa.

De esta manera el valor de verdad de la conjunción p A q se define en función

de los valores de verdad de las componentes p , q mediante la siguiente tabla:

P <7 P ∧ q
V V V
V F F
F V F
F F F

1.2.2 La Negación

La negación de una proposición p, es otra proposición que se nota p, tal que si p

verdadera, p es falsa, y si p es falsa p es verdadera.

Esta definición está resumida en el siguiente cuadro. p se lee: “no p”

¿Cuál será la negación de las siguientes proposiciones?:

• El carro de Marina es rojo.

• Juan canta y Nidia baila.
• No está lloviendo pero está haciendo frío.

1.2.3 La Disyunción

Otra manera de formar proposiciones compuestas a partir de proposiciones

simples es por medio de la disyunción y corresponde a las conectivas “o” ó “o lo
uno o lo otro”. En el lenguaje común este conectivo tiene significados diversos.

Uno de sus sentidos es el inclusivo según el cual la proposición compuesta es

verdadera mientras lo sea una de las proposiciones componentes, es en este
sentido que se toma en proposiciones como la siguiente:

UNIVERSIDAD DE PAMPLONA – Centro de Educación Virtual y a Distancia

Fundamentación Matemática I 7

Te llevaré a cine o a comer helado

Analicemos esta proposición: Si la llevo a cine pero no a comer helado, le estoy

cumpliendo. De la misma manera que si le compro helado pero no la llevo a cine.

De otra parte quedaré muy bien si la llevo a cine y también a comer helado. Pero
quedaré muy mal si no la llevo a cine y tampoco la llevo a comer helado.

Motivados por ejemplos como el anterior, los matemáticos han adoptado como
definición de la disyunción inclusiva de las proposiciones p y q, la proposición
cuyos valores de verdad quedan sintetizados en la siguiente tabla

P q p∨q
V V V
V F V
F V V
F F F

El otro sentido en el cual se usa a veces la conectiva “o” se llama exclusivo y en

este sentido la proposición compuesta es verdadera sólo cuando lo es una y sólo
una de las proposiciones componentes. En este sentido la proposición compuesta
es falsa no solo cuando las componentes lo son, sino que también es falsa si las
dos proposiciones componentes son verdaderas. Este es el sentido de la”o” en
proposiciones como:

• Ser o no Ser.
• Pedro está vivo o está muerto.
• Jorge se encuentra enfermo o Jaime está viajando, pero no ambas cosas a la
vez.

La tabla de verdad de la disyunción exclusiva, es:

p q p∨q

V V F
V F V
F V V
F F F

UNIVERSIDAD DE PAMPLONA – Centro de Educación Virtual y a Distancia

Fundamentación Matemática I 8

En el siguiente ejemplo se muestra que el uso del conectivo “o” es superfluo, en

el sentido que éste se puede escribir en función de la negación y de la
conjunción∧.

Ejemplo 1: El valor de verdad de la proposición p v q es el mismo valor de verdad

de la proposición (p∧q)

• Supongamos que p v q es una proposición verdadera. Debemos ver que la

proposición (p ∧ q) es también verdadera. Si (p ∧ q) fuera falsa, entonces
(p∧q) debería ser verdadera, y como la conjunción es verdadera sólo en el
caso en que las componentes lo son, se debe tener p es verdadera y q es
verdadera, así las proposiciones simples p, q son ambas falsas, pero por la
definición de la disyunción p v q debe ser falsa. Lo cual contradice nuestra
suposición de que p v q fuera verdadera, por lo tanto la proposición (p∧q) es
también verdadera, como se quería mostrar.

• Un razonamiento similar nos muestra que si p v q es falsa, entonces el valor de

verdad de (p ∧ q) también es falso.

Ejercicio: Expresar la proposición p v q en términos de la conjunción y de la

negación.

1.2.4 El Condicional

Además de la conjunción y de la disyunción, existe otra conectiva de proposiciones

que es de mucha importancia en el estudio de las matemáticas: el condicional que
corresponde a la conectiva “si...entonces”, la importancia de este conectivo se
pone de manifiesto si recordamos las palabras de B. Russell”. La matemática no
es más que una cadena de implicaciones” o las siguientes palabras”. La
matemática es la reina de las ciencias y la condicional la reina de las matemáticas”.

Recordar: Una proposición compuesta de la forma “si p entonces q” que

simbolizamos con pÆq se llama condicional ó implicación.

En la proposición pÆq : p: se llama antecedente o hipótesis.

q : se llama consecuente o tesis.

Analicemos la siguiente situación:

Juan le dice a su esposa: Si me gano la lotería te llevo a Europa.

Nótese que se trata de una proposición de la forma p Æq, donde:

UNIVERSIDAD DE PAMPLONA – Centro de Educación Virtual y a Distancia

Fundamentación Matemática I 9

p: Me gano la lotería.
q : Te llevo a Europa.

Se presentan únicamente 4 posibilidades:

• Juan se gana la lotería y lleva a su esposa a Europa. Cumple su promesa; su

proposición es verdadera.
• Juan se gana la lotería pero no lleva a su esposa a Europa. No cumplió su
promesa. Su proposición es falsa.
• Juan no gana la lotería pero aún así lleva a su esposa a Europa. No rompió su
promesa. Su proposición es verdadera.
• Juan no gana la lotería y no lleva a su esposa a Europa. Cumplió lo prometido.
Su proposición es verdadera.

Motivados por ejemplos como el anterior, el valor de verdad de la proposición pÆq

se define por medio de la siguiente tabla de verdad:

P q pÆq
V V V
V F F
F V V
F F V

Nótese que las dos últimas filas de la tabla anterior nos dicen que si en una
condicional, el antecedente es falso entonces pÆq siempre resulta verdadera. De
lo cual podría llegar a pensarse, erróneamente, que a partir de una hipótesis falsa
se puede deducir cualquier cosa. En relación con este punto existe una anécdota
famosa debida al matemático inglés G. Hardy. En cierta ocasión Hardy afirmó en
una fiesta que de una hipótesis falsa puede deducirse lo que se quiera. Un
miembro del parlamento que oyó por casualidad esta observación lanzó a Hardy el
siguiente reto:” 4=7. Demuestre que soy el Papa.” Hardy, luego de un momento
de reflexión, contesto:” 4=7. Reste 1 de ambos miembros. Queda 3 = 6.

Dividiendo esta ecuación entre 3, resulta 1=2, o, lo que es lo mismo, 2=1. Por otro
lado, es bien conocido que el Papa y usted son dos. Pero 2=1. En consecuencia,
el Papa y usted son uno.”

UNIVERSIDAD DE PAMPLONA – Centro de Educación Virtual y a Distancia

Fundamentación Matemática I 10

Nota. Algunas maneras usuales de leer la proposición condicional pÆq son:

Si p, entonces q.
p implica q.
p es condición suficiente para q.
q es condición necesaria para p.
p sólo si q.
q si p.

Ejemplo 2: Sea la proposición:

Si la clase trabaja y el profesor lo nota, no les hará el examen. Pero el profesor no
lo notará, a menos que haga un examen; por lo tanto, si la clase trabaja el
profesor no lo notará.

• Simbolice la proposición anterior.

• Muestre que la conclusión se deduce formalmente de las premisas.

Solución.
Consideremos las siguientes proposiciones simples.

p : La clase trabaja.
q : El profesor nota que la clase trabaja.
r : El profesor no hace el examen.

Con estas proposiciones y con ayuda de algunos conectivos lógicos la proposición

dada queda simbolizada de la siguiente manera:

• [[(p ∧ q)Ær] ∧ [rÆq]] Æ [pÆq]

Supongamos que la proposición dada es falsa. Luego por la definición dei

condicional la única posibilidad es que el consecuente sea falso y el antecedente
sea verdadero, esto es

pÆq es f (1)
[[(p ∧ q)Ær] ∧ [rÆq]] es V (2)

De la relación dada en (1), y nuevamente por la definicióndel condicional se tiene

que

p es V (3)
q es F, esto es q es V (4)

UNIVERSIDAD DE PAMPLONA – Centro de Educación Virtual y a Distancia

Fundamentación Matemática I 11

Por otro lado como la conjunción (∧) es verdadera sólo en el caso en que las
proposiciones componentes lo sean, de (2) se concluye que:

(p ∧ q)Ær es V (5)
rÆq es V (6)

Teniendo en cuenta (4) y (6)

r es F (7)

De (5) y (7) se concluye que p ∧ q es Falso lo cual está en contraposición de lo

que se deduce de las relaciones dadas en (3) y (4).

Así, la proposición dada en la parte (a) debe ser Verdadera.

1.2.5 La Recíproca

La recíproca de una proposición condicional pÆq se forma intercambiando la

hipótesis y la conclusión.

condicional: pÆq recíproca : qÆp

En general, una condicional y su recíproca son proposiciones diferentes. En

efecto, algunas condicionales verdaderas tienen recíprocas falsas:

• Sí Juan nació en Bucaramanga entonces es Santandereano. (Verdadera)

• Si Juan es Santandereano entonces nació en Bucaramanga , lo cual no es
necesariamente verdadera ya que Juan pudo haber nacido, por ejemplo, en
Piedecuesta.

De otro lado algunas condicionales verdaderas tienen recíprocas también

verdaderas:

• Si dos lados de un triángulo son iguales, los ángulos opuestos a esos lados son
iguales.

Si dos ángulos de un triángulo son iguales, los lados opuestos a esos ángulos
son iguales.

• Si x+10 =0 entonces x = -10

p q
Si x = -10 entonces x+10 = 0
q p

UNIVERSIDAD DE PAMPLONA – Centro de Educación Virtual y a Distancia

Fundamentación Matemática I 12

1.2.6 El Bicondicional

Si la condicional pÆq y su recíproca : qÆp son ambas verdaderas, ellas se pueden

combinar en una sola proposición usando la conectiva “si y sólo si “. La
proposición que se forma de esta manera se llama la bicondicional de p y q y se
suele notar: p↔q.

Recordar: p ↔ q significa (pÆq) ∧ (q Æp)

Ejercicio: Con esta definición que se ha dado de la bicondicional, ¿Cuál sería su

tabla de verdad?

Algunas maneras de leer la bicondicional p↔q son:

Si p entonces q y si q entonces p. p es necesaria y suficiente para q.

p si y solo si q. p es equivalente a q.

Otra manera de formar una condicional a partir de la condicional pÆq es negando

el antecedente y el consecuente y luego tomar la recíproca de la condicional así
formada:

p Æq .................pÆq ........................... .qÆp.

La proposición qÆp se llama la contrarecíproca de pÆq.

Ejemplo 3: Considerar la proposición. Si Juan estudia entonces aprueba el curso.

Recíproca: Si Juan aprueba el curso entonces Juan estudió, Contrarecíproca: si

Juan no aprueba el curso entonces Juan no estudió.
En la sección anterior se estableció que una condicional y su recíproca no tienen
porqué tener los mismos valores de verdad, ¿ocurre lo mismo entre una
proposición y su contrarecíproca?

Ejemplo 4: Mostrar que pÆq y qÆp tienen los mismos valores de verdad,
independiente de los valores de las proposiciones p y q.

Solución: Se puede proceder como en ejemplo 1, ó elaborando una tabla de

verdad, que en lógica es usada desde el año de 1920 y en la cual se considera
todas las posibles combinaciones de los valores de verdad de las proposiciones p y
q.

UNIVERSIDAD DE PAMPLONA – Centro de Educación Virtual y a Distancia

Fundamentación Matemática I 13

A partir de la observación de la tabla de verdad anterior se concluye entonces que.

Destacamos la equivalencia entre la condicional y su contrarecíproca, ya que como

se verá en la próxima unidad, esta es la base del método de demostración por
contradicción.

Los resultados obtenidos en los ejemplos 1 y 4 nos sugieren que existen

proposiciones que siempre resultan ser verdaderas, estas proposiciones que se
consideran como los teoremas de la lógica son llamadas tautologías.

Recordar: Una tautología es una proposición compuesta que es verdadera para

toda asignación de valores de verdad de sus proposiciones componentes.

Ejemplo 5. Comprobar que la proposición pÆ(p v q) es una tautología.

Si la proposición pÆ(p v q) fuera falsa, entonces de acuerdo a la definición de la

condicional se tendría que p debería ser verdadera mientras que p v q ser falsa. De
otro lado si p v q es falsa, entonces se debe tener que tanto p como q deben ser
ambas falsas, lo cual no puede ser ya que se había establecido que p tenía que ser
verdadera. Por lo tanto la suposición de que pÆ(p v q) es falsa no es correcta y
de esta manera se debe tener que pÆ(p v q) debe ser verdadera, independiente
de los valores de verdad de las proposiciones componentes, y por lo tanto debe
ser una tautología.

Una manera alternativa de proceder en este caso, es mediante la elaboración de la

tabla de verdad de la proposición dada:

UNIVERSIDAD DE PAMPLONA – Centro de Educación Virtual y a Distancia

Fundamentación Matemática I 14

P q pvq pÆ(p v q)

V V V V
V F V V
F V V V
F F F V

Proceso de Comprensión y Análisis

• Mostrar que cada una de las siguientes proposiciones son tautologías.

- (p↔p)
- pvq↔qvp
- (p ∧ q) ∧ r↔p ∧ (q ∧ r)
- (p ∧ (pÆq))Æq
- p ∧ (qÆr) ↔ (p ∧ q) v (p ∧ q)
- (pÆq) ↔ p v q

• Si se sabe que la proposición (pÆq) ∧ (qÆr) es verdadera y p es falsa ¿Cuáles

de las siguientes proposiciones son verdaderas?

q, r, p ∧ q q v r, (pÆ(q v r))

• Simbolizar los siguientes argumentos y probar que la conclusión se deduce

formalmente de las premisas.

- Si Pedro viene al paseo, José no vendrá a menos que Rosa venga, pero: Rosa
viene sólo si Pedro no viene. Por lo tanto, José no vendrá al paseo si Pedro
viene.
- Si la cooperativa no le aprueba el préstamo a Juan, éste tendrá que obtener
crédito en otra parte. Pero si la cooperativa no le presta, no obtendrá crédito
en ninguna parte, y si vende su negocio tendrá que irse a la ciudad a manejar
taxi. Por lo tanto, si la cooperativa no le presta, Juan tendrá que irse a manejar
taxi.

• Si se sabe que la proposición pÆq es falsa. ¿Cuál es el valor de verdad de su

recíproca?

UNIVERSIDAD DE PAMPLONA – Centro de Educación Virtual y a Distancia

Fundamentación Matemática I 15

• Escribir la contrarecíproca y la recíproca de cada una de las siguientes

expresiones:

- Si el carro de Juan es azul, entonces María baila.

- Si Andrea no juega ajedrez, entonces no puede participar en el torneo.
- Si x - 3, entonces 4x = 20

UNIVERSIDAD DE PAMPLONA – Centro de Educación Virtual y a Distancia

Fundamentación Matemática I 16

UNIDAD 2: Métodos de Demostración

Descripción Temática

En matemáticas se definen algunos objetos, para posteriormente determinar las

propiedades que gozan estos entes que se han definido y de una manera lógica se
quiere establecer que lo afirmado de ellos es verdadero; esto es, se necesita de la
demostración de los teoremas.

Como se ha podido observar en la unidad anterior, que los teoremas de la lógica

(tautologías) se han probado básicamente de dos maneras:

• A través de su correspondiente tabla de valores.

• Utilizando el método de demostración indirecto.

En forma general, se puede decir que existen tres métodos de demostración:

• Método directo.
• Método indirecto.
• Método de Inducción.

El objetivo de esta unidad es familiarizar al estudiante con cada uno de estos

métodos, con la esperanza de proporcionar algunos fundamentos teóricos que en
el futuro le permitan adelantar la demostración de los teoremas que se le
presenten en el estudio de la matemática.

Núcleos Temáticos y Problemáticos

• Método Directo
• Método Indirecto
• Método de Inducción

UNIVERSIDAD DE PAMPLONA – Centro de Educación Virtual y a Distancia

Fundamentación Matemática I 17

Proceso de Información
2.1 MÉTODO DIRECTO

Cuando se quiere demostrar que una implicación p Æq es verdadera, se parte de

la hipótesis p y siguiendo los caminos que proporciona la lógica se trata de
establecer q. Para ello se sigue una cadena de implicaciones de la forma:

pÆp1Æp2Æp3Æ……pkÆpk+1Æ……q

Cadena que tiene la particularidad de que cada uno de sus eslabones pkÆpk+1
debe estar debidamente justificado, argumentaciones que deben estar apoyadas
en los axiomas, las definiciones, o teoremas previamente demostrados.

En matemáticas, principalmente en la geometría la forma de demostración a dos

columnas se usa extensivamente. En esta forma se muestra de manera clara cada
afirmación, así como la razón que la sustenta. En la columna de la izquierda se
hace la lista ordenada de las proposiciones y en la derecha las razones que las
apoyan.

Se recomienda al estudiante que estudie la organización de las demostraciones de

los ejemplos siguientes.

Ejemplo 1. Demostrar: Si a >0 y b>3 entonces ab-3a>O

Proposición Razón
• a>0 y b>3 • Dado.
• b - 3>0 • Propiedad de sustracción de la •
desigualdad.
• a•(b-3)>a•0 • Propiedad multiplicativa de la •
desigualdad.
• a•0=0 • Propiedad multiplicativa el cero.
• a•(b-3)>0 • Principio de sustitución.
• ab - 3a > 0 • Propiedad distributiva.

Ejemplo 2: Demostremos: la suma de dos números naturales pares es un número

natural par.

UNIVERSIDAD DE PAMPLONA – Centro de Educación Virtual y a Distancia

Fundamentación Matemática I 18

Proposición Razón
n, m son naturales pares Hipótesis.
n = 2p, m = 2q, p, q ∈ N Definición de número par.
n +m = m + n Propiedad reflexiva de =.
n + m = 2p + 2q Principio de sustitución.
n + m = 2(p + q) Propiedad distributiva.
(p + q) ∈ N Propiedad clausurativa de la suma.
n + m es par Definición de numero par.

2.2 MÉTODO INDIRECTO

En algunas situaciones puede ser bastante complicado, demostrar que una

proposición p es verdadera, el método indirecto de demostración consiste entonces
en demostrar que p es falsa, ya que si p es falsa, su negación (p)↔p es
verdadera.

De este modo al iniciar una demostración usando el método indirecto, se acepta

tentativamente la negación de la tesis (lo que se va a demostrar). Luego se
razona lógicamente hasta llegar a una conclusión, que sea resultante de la
proposición supuesta, que contradice un hecho conocido. Si el razonamiento que
se ha hecho es correcto, el “error” debe radicar en la proposición supuesta.

Entonces la proposición supuesta debe ser falsa y la proposición deseada es

necesariamente verdadera.

Ejemplo 3: Demostrar: El conjunto vacío es subconjunto de cualquier conjunto.

Si suponemos que la proposición: para todo conjunto A, ∅⊆ A es falsa, entonces

es porque existe x∈∅ tal que x∉A, pero x ∉∅ contradice el hecho conocido de que
el conjunto vacío no posee elementos, esta contradicción nos indica que la
proposición: para todo conjunto A, ∅⊆A debe ser verdadera, como se quería
establecer.

Notas

• En el ejemplo 5 de la unidad anterior, se proporciona otra ilustración de este

método de demostración indirecta.

UNIVERSIDAD DE PAMPLONA – Centro de Educación Virtual y a Distancia

Fundamentación Matemática I 19

• En este módulo se han presentado y se presentarán demostraciones en forma

de párrafos. Esto se ha hecho básicamente atendiendo a dos razones:
primera, porque el estudiante se debe familiarizar con esta forma usada en
matemáticas tanto para las demostraciones directas como para las indirectas.
Segunda, porque muchas veces esta representación parece menos artificiosa
que la demostración a dos columnas y refleja de una modo natura! nuestro
manera de razonar.

Se presenta con cierta frecuencia que en lugar de demostrar algo lo que se

pretende es refutarlo. El problema del tratamiento de proposiciones que se
creyeron falsas, está estrechamente relacionado con el tema de la eliminación de
errores de razonamiento. Supongamos que se pide demostrar que una
proposición es verdadera, pero que se duda de la verdad de esta proposición. La
resolución de este problema puede tomar la forma de citar un contraejemplo, es
decir, mostrar un caso particular para el cual la proposición es falsa.

Ejemplo 4: Demostrar: la suma de dos números primos es un número primo.

Refutación por contraejemplo: 3 y 5 son dos números primos, y sin embargo
3+5=8 que no es primo.

2.3 MÉTODO DE INDUCCIÓN

El razonamiento utilizado en las demostraciones de los ejemplos de las secciones

anteriores se denomina deductivo, método éste que es característico de la
matemática, que como se ha dicho, consiste en partir de propiedades muy
generales que toman la forma de definiciones, axiomas y según las reglas de la
lógica deducir otras propiedades.

El otro método utilizado en la investigación científica es la inducción que consiste

en pasar de lo particular a lo general. Toda persona ha practicado el pensamiento
inductivo durante su vida. Un niño al inferir que se quemará si toca la llama de
una vela, está pensando de manera inductiva. La inducción es el proceso de
encontrar un principio general, basándose en la experiencia de casos específicos.

Nótese que la inducción implica una suposición. La ley de la inercia nos dice que si
sobre un cuerpo no actúa ninguna fuerza, este debe permanecer en reposo o en
movimiento rectilíneo uniforme. Si se hace actuar una fuerza sobre el cuerpo, el
cuerpo se acelerará. Después de analizar varios casos particulares, posiblemente
demasiados, los físicos basados en estas experiencias concluyen que la aceleración
que se produce es directamente proporcional a la fuerza aplicada. En matemáticas
debemos ser más rigurosos ya que las conclusiones que podemos sacar de la

UNIVERSIDAD DE PAMPLONA – Centro de Educación Virtual y a Distancia

Fundamentación Matemática I 20

observación de casos particulares en algunas ocasiones pueden ser erróneas como

lo muestra el siguiente par de situaciones:

• El matemático francés Fierre de Fermat (1601-1665) afirmaba que el número

Fn = 22n +1 es primo para todo valor de n, así lo hizo conocer en una carta
dirigida al matemático Mersenne, agregando que “no podía demostrarlo pero
estaba convencido de su validez”. Esta conclusión que saca Fermat, obedece a
que esto es cierto para los primeros valores de

n = 0, F0 = 220 + 1 = 21 + 1 = 3
n = 1, F1 = 221 + 1 = 22 + 1 = 5
n = 2, F2 = 222 + 1 = 24 + 1 = 17
n = 3, F3 = 223 + 1 = 28 + 1 = 257
n = 4, F4 = 224 + 1 = 216 + 1 = 65537

Sin embargo, Leonard Euler (1707-1783) matemático suizo, considerado el

matemático más prolífico de todos los tiempos probó que si n=5, F5 = 4294967297
= (641)(6700417) que no es un número primo

• A lo largo de la historia de la matemática se han hecho varios intentos para

encontrar una fórmula matemática que genere todos los números primos. Otro
ejemplo notable, que prueba el peligro de la inducción incompleta lo
proporciona la expresión f(n) – n2 - n + 41, sustituyendo se encuentra que f (1)
= 41, f (2) = 43, f(3) = 47…los cuales son todos números primos y se cumple
para todos los naturales hasta el número 40 Pero para n = 41 evidentemente
se tiene un número compuesto: f (41) = 412.

2.3.1 Principio de Inducción Matemática

Sea p(n) una proposición en la variable n, si

p(1) es verdadera.
(∀n ∈ N)(p(n)Æp(n + 1))

Entonces la condición p(n) es verdadera para todo número natural.

Ejemplo 5: Empleando el principio de inducción, establecer la validez de la

siguiente proposición.
(∀n ∈ N) (1/3(4n + 1) ∈ N)

Solución: Aquí p(n) = 1/3(4n - 1)

UNIVERSIDAD DE PAMPLONA – Centro de Educación Virtual y a Distancia

Fundamentación Matemática I 21

• Verifiquemos para n = 1, 1/3(41 - 1) = 1 ∈ N. Así p(l) es verdadera.

• En esta etapa del proceso se quiere demostrar que

(1/3(4n + 1) ∈ N) ⇒ (1/3(4n+1 + 1) ∈ N)

Se puede proceder de la siguiente manera:

1/3(4n-1)
1/3(4n + 1) = 1/3[4(4n+1 - 1) + 3] = 4
∈N
Ejemplo 6. Utilizando el método de inducción matemática, demostrar:

1/3(4n-1)
n+1 n
1/3(4 - 1) = 1/3[4(4 - 1) + 3] =
∈N
Solución

• Es evidente que p(1) es verdadera, 1 = 1(1+1)/2

• Debemos establecer que si la proposición p(n), también lo es la proposición
p(n+1) y esto lo podemos realizar, por ejemplo de la siguiente manera:

1 + 2 + 3+...+n+(n+1) = n(n+1)/2 + (n+1)

= (n+1) n/2 + 1
= (n+1)(n+2)/2
= (n+1)[(n+1)+1]/2 = p(n+1)

Como se observa, en las pruebas de inducción la segunda parte es la más

complicada de establecer, no obstante no se puede descuidar la primera condición
ya que es posible establecer la segunda parte sin que en realidad se verifique la
proposición para el caso n = 1, y posiblemente para ningún número natural como
se aprecia en el siguiente ejemplo.

Ejemplo 7: La proposición (∀n ∈ N) 1 + 3 + 5+…+(2n - 1) = n2 +1 es falsa, y

sin embargo la segunda condición del principio de inducción se puede establecer
sin mayor dificultad:
Supongamos que la proposición es válida para el entero n esto es 1+3+5+…+
(2n-1) = n2+1 y bajo esta hipótesis de inducción demostremos que también se
cumple para el entero n + 1,

UNIVERSIDAD DE PAMPLONA – Centro de Educación Virtual y a Distancia

Fundamentación Matemática I 22

1 + 3 + 5+…+(2n - 1) + [2 (2n - 1) – 1] = n2 + 1+ [2 (2n - 1) – 1]

= n2 + 1+ 2n + 1 = (n + 1)2 + 1

En las pruebas de proposiciones de la forma p(n), n ∈ N es importante verificar

que se cumplen las dos condiciones que exige el principio de inducción, ya que si
alguna de las dos no se cumple p(n) puede no ser verdadera para todos los
valores posibles de la variable n.

Proceso de Comprensión y Análisis

• Utilizando el principio de inducción matemática, demostrar

- 12 + 22 +32 +…+n2 = n(n+1)(2n+1)/6

- 13 + 23 +33 +…+n3 = n2(n+1)2/4
- 1 + 5 +52 +…+5n-1 = 1/4(5n-1)

UNIVERSIDAD DE PAMPLONA – Centro de Educación Virtual y a Distancia

Fundamentación Matemática I 23

UNIDAD 3: Teoría de Conjuntos

Descripción Temática

La idea de conjunto es básica en la Matemática y se podría decir, sin temor a

equivocarse, que todos los objetos que se definen en matemáticas y las
construcciones que en ella se realizan se apoyan en última instancia en la teoría de
conjuntos.

Pese a la importancia de la teoría, no fue sino hasta finales del siglo XIX cuando se
vino a establecer esta teoría de un modo preciso, considerándose al matemático
alemán George Cantor como su iniciador.

Esta unidad está dedicada al estudio de los conjuntos y en ella se procura

establecer el lenguaje conjuntista, que es el lenguaje del presente módulo. Se ha
procurado alcanzar un nivel medio, no dedicando a la teoría de conjuntos un
tratamiento demasiado formal ni tampoco excesivamente reducido.

Núcleos Temáticos y Problemáticos

• Conjuntos
• Subconjuntos
• Operaciones Usuales entre Conjuntos
• Potencia de Conjuntos
• Cuantificadores

Proceso de Información
3.1 CONJUNTOS

Intuitivamente, se piensa en un conjunto como cierta colección de objetos que

satisfacen alguna condición dada. Los conjuntos se representan por letras
mayúsculas A, B, C… Los objetos que forman el conjunto son los elementos del
conjunto y se representan por letras minúsculas a, b, c,… Para indicar que “p es

UNIVERSIDAD DE PAMPLONA – Centro de Educación Virtual y a Distancia

Fundamentación Matemática I 24

un elemento de A” se escribe p ∈ A, notación esta que se lee de cualquiera de las

siguientes formas equivalentes:

“p pertenece a A”, “A contiene a p” ,”p es elemento de A”.

Para indicar que “p no es un elemento de A “, se escribe (p ∈ A) o también
p∉A.

Como se observado conjunto, pertenece, elemento, son términos no definidos en

matemáticas lo importante es que cuando se hable de un determinado conjunto,
se pueda decidir si un elemento dado pertenece o no al conjunto. Debido a su
importancia y a ¡a frecuencia con que se presentan los símbolos siguientes se usan
para notar ciertos conjuntos:

N = Conjunto de los números naturales

Z = Conjunto de los números enteros
Q = Conjunto de los números racionales
R= Conjunto de los números reales

Si el conjunto A está formado por los elemento 1, 2, 3, 4 se escribe, A = {1, 2, 3,

4}. Notación en ¡a que se ha hecho una lista completa de los elementos que
pertenecen al conjunto. En este caso se dice que e! conjunto I está determinado
por extensión.

Se observa también que el conjunto A está formado por aquellos números

naturales que son estrictamente menores que 5 en esta proposición se está
haciendo referencia a elementos del conjunto y el cual se llama referencial, pero se
observa además que no se está interesado en todos los números naturales sino en
aquellos que tienen la propiedad: “ser menores que 5”. En este caso se suele
escribir A = {x ∈ Nx<5} y se dice que el conjunto A está determinado por
comprensión.

Ejemplo 1: Determinar por extensión el conjunto A = { x ∈ Nx2 +4x +3- 0}

A = {1, 3}

Supóngase que A es un conjunto referencial p(x) una condición sobre los

elementos de A al símbolo x que se puede sustituir por un elemento cualquiera del
conjunto A se le llama variable, mientras que por el contrario un elemento bien
definido de A se le llama constante.

Por ejemplo, si A = Z, p(x) - 3x2 + 5x + 2 = O, x: variable

0,2,3,5: constantes

UNIVERSIDAD DE PAMPLONA – Centro de Educación Virtual y a Distancia

Fundamentación Matemática I 25

3.2 SUBCONJUNTOS

Cuando cada elemento de un conjunto A es también elemento de un conjunto B,

se dice que A es un subconjunto de B (ó que A está contenido en B) y se escribe
A ⊆ B. Es decir, A ⊆ B ↔ (x ∈ A Æ x ∈ B)

Por ejemplo:

{1, 3} ⊆ {1, 2, 3}
{a, b, c} ⊆ {a, b, c}
N⊆Z⊆Q⊆R

Las siguientes relaciones son evidentes:

1 A ⊆ A, para cada conjunto A

2 A ⊆ B y B ⊆ C entonces A ⊆ C, esto es ⊆ es transitiva.

A manera de ilustración, se demuestra la relación 2. Nótese que se debe demostrar

que todo elemento de A es también elemento de C. Sea x ∈ A, como A ⊆ B, x∈B.

Pero por hipótesis B ⊆ C; por tanto todo elemento de B, en particular x, es un

elemento de C, así x ∈ C. De esta manera se ha establecido que si x e A entonces
x ∈ C, y de acuerdo a la definición de subconjunto se tiene que A ⊆ C.

Existe una manera muy ilustrativa de representar los conjuntos y sus relaciones,
que es por medio de los diagramas de Venn, en honor al matemático y lógico
inglés Jhon Venn (1834-1883) vale la pena anotar que estos esquemas sirven
solamente para guiar a la intuición, no pueden en ningún momento utilizarse para
demostrar teoremas sobre conjuntos.

Así el diagrama (1) representa la inclusión A⊆B la figura (2) representa la

transitividad de la inclusión (⊆).

UNIVERSIDAD DE PAMPLONA – Centro de Educación Virtual y a Distancia

Fundamentación Matemática I 26

Definición: Dos conjuntos A y B se dicen iguales si y solo si tienen los mismos

elementos, esto es, usando el concepto de contenencia.

A=B⇔A⊆B∧B⊆A

Esta última relación es muy importante, ya que dice que para establecer la
igualdad de dos conjuntos se debe demostrar que cada una de las contenencias es
válida.

Es conveniente introducir un conjunto que carezca de elementos, tal conjunto se

llama vacío, este conjunto se acostumbra notar ∅.

Ejemplo 2. Si A = {x∈N - 2<X <-1} A es un conjunto vacío.

B = {xx es un ser humano que mide 3 metros de estatura} B es también un
conjunto vacío.

Para cada conjunto A, se puede formar el conjunto ∅A, = {x∈Ax≠x} nótese que
∅A es un conjunto vacío, pues para cada x ∈ A se tiene que x = x.

Proposición: Todos los conjuntos vacíos son ¡guales. Así, existe uno y solo un
conjunto vacío ∅.

Demostración: Sean A y B dos conjuntos dados. Si ∅A ⊆ ∅B fuera falsa, entonces,

existiría al menos un elemento x ∈ ∅A tal que x ∈ ∅B en particular x ∈ A y es tal
que x ≠ x y esto es imposible, por lo tanto ∅A ⊆ ∅B.. De la misma manera se
establece que ∅B ⊆ ∅A, de donde ∅A ⊆ ∅B.

Si A tiene solamente un número finito de elementos a1,a2,....an se dice que A es

un conjunto finito y se escribe A = {a,,a2,....an}, en este caso además se dice que
el cardinal de A es n. En caso contrario se dice que el conjunto es infinito.

Nota: Cuando existe al menos un elemento de A que no pertenece a B, se dice

que A no está contenido en B y se nota A ⊄ B.
Así por ejemplo, si A = {1, 2, 3} y B = {1, 3, 5, 7} , 2 A pero 2 ∈ B, luego A⊄B.

UNIVERSIDAD DE PAMPLONA – Centro de Educación Virtual y a Distancia

Fundamentación Matemática I 27

3.3 OPERACIONES USUALES ENTRE CONJUNTOS

En esta sección se examinarán las maneras más frecuentes de formar nuevos

conjuntos a partir de conjuntos dados.

3.3.1 Complemento

Sea A un subconjunto cualquiera de un conjunto referencial dado S. El

complemento de A con respecto a S es el conjunto formado por aquellos
elementos que estando en S no están en A. En símbolos,

CsA = {x ∈ S x ∉ A}

Cuando no hay peligro de confusión, respecto de que conjunto se está tomando el

complemento, también es válida las notaciones CA, Ac. El diagrama de Venn que
representa esta operación es:
S

Si A = {1, 2, 8}, S = {1, 2, 4, 6, 8} entonces CsA = {4, 6}

3.3.2 Intersección

Sean A, B subconjuntos de un conjunto referencial S. La intersección de A y B

notada A∩B es el conjunto formado por aquellos elementos de S que pertenecen
simultáneamente a A y a B. Esto es,
A∩B = {x ∈ Sx ∈ A ∧ x ∈ B}

Si se sobreentiende el conjunto referencial S, la intersección se escribe

simplemente
A∩B = {xx ∈ A ∧ x ∈ B}

A∩B
UNIVERSIDAD DE PAMPLONA – Centro de Educación Virtual y a Distancia
Fundamentación Matemática I 28

Nota. Si ocurre que A∩B = ∅, los conjuntos A y B se llaman disyuntos.

Ejemplos. Demostrar que (A∩B) ∩ (B∩C). Utilizando reiteradamente la definición
de intersección y la tautología (p∧q)∧r↔p∧(q∧r), se tiene

x ∈ (A∩B) ∩C↔ x ∈ (A∩B) ∧ x∈C

↔ (x∈A ∧ x∈B) ∧ x∈C
↔ x∈A ∧ (x∈B ∧ x∈C)
↔ x∈A ∧ x∈(B∩C)

Ejemplo 4: Demostrar que: Si A⊆X y B⊆X entonces A∩B ⊆X. Esta afirmación se
puede apreciar en el siguiente diagrama

La demostración podría ser así:

x ∈ (A∩B) ↔ x∈A ∧ x∈B (Definición de intersección)

↔ x∈X ∧ x∈ X (Hipótesis)
↔ x∈X (p∧pÆp)

3.3.3 Unión

La unión de los dos conjuntos A y B es el conjunto formado por los elementos que
pertenecen a A o a B. En símbolos, A∪B = {xx∈A ∨ x∈B}. El diagrama
correspondiente es
A

Donde la parte rayada corresponde a A∪B.

Ejemplo 5. Demostrar que: A ⊆ A∪B.

UNIVERSIDAD DE PAMPLONA – Centro de Educación Virtual y a Distancia

Fundamentación Matemática I 29

Si x∈A Æ (x∈A ∨ x∈B) (p—>p∨q)

Æ x∈ (A∪B) (Definición de unión)
Así A ⊆ A∪B (Definición de contenencia)

Ejercicio: La unión y la intersección de conjuntos están relacionadas a través de

dos propiedades fundamentales, llamadas leyes distributivas, que se expresan
mediante las fórmulas:

• (A∪B)∩C = (A∩C) ∪ (B∩C)

• (A∩B)∪C = (A∪C) ∩ (B∪C)

- Hacer los diagramas de Venn , que ilustren cada una de estas propiedades.
- Intentar hacer la demostración de estas dos propiedades

Proposición: Si A y B son subconjuntos de un conjunto referencial S, entonces:

• (A∪B) c ↔ Ac ∩ Bc
• (A∩B)c = Ac ∪ Bc

Estas propiedades son conocidas como las leyes de Morgan. A manera de

ilustración, se demostrará la primera de ellas, sugiriéndole realizar por su cuenta la
otra.

• x∈(A∪B)c ↔ x∈S ∧ x∉ (A∪B) def. de complemento.

• ↔ x∈S ∧ (x∉ A∪B) def. de ∉
• ↔ x∈S ∧ x∉ (A∪B) def. de la unión
• ↔ (x∈S ∧ x∈S) ∧ (x∉A ∧ x∉B) (p∨q)↔ p∧q
• ↔ (x∈S ∧ x∉A) ∧ (x∈S ∧ x∉B) Conmutativa y asociativa
de la conjunción
• ↔ x∈Ac ∧ x∈B def. de complemento

Diferencia: Sean A y B dos conjuntos. Se llama la diferencia de A y B al conjunto

de los elementos de A que no pertenecen a B. En símbolos, A-B = {xx∈A ∧ X∉B}.

Ejemplo 6:

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

• {a} - {b} = {a}

UNIVERSIDAD DE PAMPLONA – Centro de Educación Virtual y a Distancia

Fundamentación Matemática I 30

Ejercicio. Dados los conjuntos A y B demostrar:

• A–B = A ∩ BC
• A∩ (B–C) = (A∩B)-(A∩C)

3.4 POTENCIA DE UN CONJUNTO

Dado un conjunto A, se llama “conjunto de partes de A” al conjunto cuyos

elementos son todos los subconjuntos de A. Se nota con ℘(A) al conjunto de
partes de A. En símbolos se tiene ℘ (A) = {XX⊆A}.

Como se sabe, para todo conjunto A se tiene que ∅⊆A de ello se desprende que el
conjunto de partes ℘(A) es diferente de vacío.

Ejemplo 7

• Si A = {a}, entonces ℘ (A) = {∅, {a}}

• Si A = {a, b}, entonces ℘ (A) = {∅, {a},{b},{a, b}}
• Si A tiene n elementos, ¿Cuántos elementos tiene ℘ (A)?

3.5 CUANTIFICADORES

Ejemplo 8: Sean A = R y las proposiciones condicionales p(x): x2-1=(x-1)(x+1),

q(y): y2-2y + 1=0, r(z): z2+1=0, los conjuntos soluciones de cada una de estas
proposiciones vienen dados por:

P = {x∈ Rp(x) es verdadera} = R, Q = {y∈Rq(y) es verdadera) = {1}

P = {z∈ Rr(z) es verdadera} =∅, respectivamente.

En el ejemplo anterior se puede apreciar que el conjunto solución de una

proposición condicional puede ser todo el conjunto referencial, uno de sus
subconjuntos ó en algunos casos el conjunto vacío. Estas observaciones se
pueden precisar de la siguiente manera:

Definición: se escribe (∀x∈A)(p(x)) si y solo si el conjunto solución P de la

proposición condicional p(x) es el referencial A:
(∀x∈A)(p(x))↔P = A.

UNIVERSIDAD DE PAMPLONA – Centro de Educación Virtual y a Distancia

Fundamentación Matemática I 31

(∀x∈A)(p(x)) se escribe usualmente (∀x)(p(x)), cuando está claro cual es el

conjunto referencial. (∀x)(p(x)) se lee: “para todo x, p(x)”
Para hacer énfasis que el conjunto solución de una proposición condicional p(x)
no es el conjunto vacío, se tiene:

Definición. Se escribe (∃x∈A)(p(x)) si y solo si el conjunto solución P de la

proposición condicional p(x) no es el conjunto vacío.

(∃x∈A)(p(x))↔P≠∅
(∃x∈A)(p(x)) se lee: “existe x, tal que p(x)”.

Nota: Los símbolos ∀ y ∃ se llaman cuantificador universal y cuantificador

existencial.

Debe también quedar claro que las expresiones (∀x∈A)(p(x)) y (∃x∈A)(p(x))

son proposiciones; es decir, cuando se le agrega un cuantificador a una
proposición condicional, la expresión que resulta debe ser verdadera o falsa.

• ¿Cual será la negación de la proposición (∀x∈A)(p(x))?

Se ha visto que (∀x∈A)(p(x)) es equivalente a que el conjunto solución P de la

proposición p(x) es igual al conjunto referencia! A , esto es el complemento de P
con respecto a A es el conjunto vacío, CAP = ∅, QS claro que la negación de esta
última proposición es CAP ≠ ∅, pero esto significa que debe existir por lo menos un
elemento x en el conjunto A que no está en P, es decir, (∃x∈A) (x∉P) pero decir
que x no está en P significa que x no satisface la proposición p(x) y así x debe
satisfacer la negación de p(x). De esta manera se ha establecido el siguiente
resultado:

(∀x∈A)(p(x)) ↔ (∃x∈A)(p(x))

Ejercicio. Siguiendo los lineamientos generales dados en la argumentación del

párrafo anterior demuestre que:

(∀x∈A)(p(x)) ↔ (∃x∈A)(p(x))

Ejemplo 9. Consideremos la proposición. Todo el que estudia tiene éxito en la

vida. ¿Cual es la negación de esta proposición?

Es claro que el conjunto referencial en este ejemplo debe ser el conjunto de seres
humanos, designémoslo por H y consideremos las proposiciones condicionales:

UNIVERSIDAD DE PAMPLONA – Centro de Educación Virtual y a Distancia

Fundamentación Matemática I 32

p(x) : x estudia
q(x) : x tiene éxito en la vida.

Así, la proposición dada se puede simbolizar por (∀x∈H)(p(x)Æq(x)). Recordando

la tautología (pÆq)↔(p v q), la proposición anterior admite también la siguiente
simbolización (∀x∈H)(p(x)∨q(x)) y la negación de ésta es (∃x∈H)(p(x)∧q(x))
traduciendo esta última al lenguaje común, tendríamos: “existen personas que
estudian y no tienen éxito en la vida”, que correspondería a ia negación de la
proposición dada.

Proceso de Comprensión y Análisis

• Considerar el siguiente conjunto referencial S = {1, 2, 3, 4, 5, 6, 7} y sean A =
{1, 2, 3, 4, 5}; B = {1, 3, 5, 7}, C = {2, 5, 6, 7}. Hallar:

- (Bc∪C)∩(Ac-B)
- (Cc∩A)∩(A-C)

• Se define la diferencia simétrica de los conjuntos A y B como el conjunto

formado por aquellos elementos que están en la unión de ellos pero no en su
intersección; es decir,

A∆B = (A∪B) - (A∩B)

- Hacer un diagrama de Venn, que represente esta nueva operación.

- ¿Es conmutativa esta operación?
- Demostrar que A∆(B∆C) = (A∆B)∆C.
- Probar que A∆B = (A-B)∪(B-A)

• ℑ = {A1, A2, A3} es una colección de tres conjuntos, y a partir de ella definimos
otra colección ℜ = {B1 B2, B3} en la forma siguiente:

B1 = A1; B2 = A2-A1; B3 = A3-(A1∪A2)

Probar que los conjuntos son disyuntos dos a dos y que:

B1∪B2∪B3 = A1∪A2∪A3

• Una encuesta muestra que al 63% de los colombianos les gusta el queso y al
76% las manzanas. ¿Qué puede decir acerca del porcentaje de colombianos a
los que les gusta el queso y las manzanas?.

UNIVERSIDAD DE PAMPLONA – Centro de Educación Virtual y a Distancia

Fundamentación Matemática I 33

• Probar que si A ⊆ B entonces ℘(A) ⊆ ℘(B)

• Para cada una de las siguientes proposiciones, expresarlas en forma simbólica,

negar las expresiones obtenidas y traducirlas al lenguaje común.

- El cuadrado de todo número real es menor que 3.

- Algún libro es de fundamentos matemáticos.
- Todos los libros que hay en la biblioteca son de historia y de geografía.
- Todas las personas tienen problemas y algunos se dejan vencer por ellos.
- Por todo punto exterior a una recta, pasa una paralela a la recta.

UNIVERSIDAD DE PAMPLONA – Centro de Educación Virtual y a Distancia

Fundamentación Matemática I 34

UNIDAD 4: Producto Cartesiano

Núcleos Temáticos y Problemáticos

• Pareja Ordenada
• Producto Cartesiano

Proceso de Información
4.1 PAREJA ORDENADA

• Sobre el conjunto N de los números naturales, considerar la siguiente

proposición condicional, p(x): x+5 = 7. Es claro , que el único valor que puede
tomar la variable x para el que la proposición dada es verdadera es x=2, esto
es el conjunto solución es S = {2}.

• Ahora considerar la proposición p(x, y): y = -4x+6, tomada también sobre el

conjunto N. ¿Tiene sentido decir que S = {1, 2}, es el conjunto solución de la
proposición dada?. Observar que a diferencia del ejemplo dado en a) aquí es
necesario especificar que x=1, y=2. Se ve pues la necesidad de “ordenar” los
elementos del conjunto S para que pueda decirse, sin ambigüedad, que en
efecto S - {1,2} es el conjunto solución de la proposición p(x, y).

Lo anterior es posible lograrlo de diferentes maneras, una de ellas consiste en

“convenir” en que los valores de las variables se organicen así:

(Valor de x, Valor de y)

De esta forma, el conjunto solución de la proposición del ejemplo anterior vendría

dado por 5 = {(1, 2)}.

Motivados por ejemplos como los anteriores, se tiene la siguiente definición:

UNIVERSIDAD DE PAMPLONA – Centro de Educación Virtual y a Distancia

Fundamentación Matemática I 35

Recordar: Una expresión de la forma (x, y) se llama pareja ordenada:

x se llama primera componente,
y se llama segunda componente.

Observar además que la pareja (2, 1) estaría representando x=2, y=1 que al
reemplazar en la proposición original, se tendría 1 = -4(2)+6=-2 la cual es
evidentemente falsa, luego (2,1)∉S, por lo tanto (1, 2) ≠ (2, 1).

La siguiente propiedad, que establece que dos parejas ordenadas son iguales si y
sólo si, son iguales sus respectivas componentes, es quizá la más fundamental de
las parejas ordenadas:

Recordar: (x,.y) = (a, b) ↔ x=a, ∧ y=b.

Nota 1: La definición de pareja ordenada usando el lenguaje de la Teoría de

Conjuntos, se debe al matemático Polaco C. Kuratowski, según la cual:

(x, y) = {{x}}, {x, y}}

Con esta definición la propiedad fundamental de las parejas ordenadas toma la

forma de un teorema, el cual se puede demostrar de una manera sencilla.

4.2 PRODUCTO CARTESIANO

Consideremos ahora dos conjuntos cualesquiera A, B. Para cada elemento a ∈ A,

formamos el conjunto Aa constituido por todas las parejas ordenadas que se
pueden formar tomando el elemento a como primera componente y cada uno de
los elementos del conjunto B como segunda; es decir,

Aa = {(a, y)y∈B}

A partir de estos conjuntos Aa se forma el conjunto:

U A = {a, y)y∈B}
a∈A

El conjunto así formado se llama el producto cartesiano de A y B y se suele notar

por AxB.

Recordar: AxB = {(x, y)\ x∈A ∧ y∈B}

UNIVERSIDAD DE PAMPLONA – Centro de Educación Virtual y a Distancia

Fundamentación Matemática I 36

Ejemplo 1. Si A = {1, 2}, B = {a, b, c} entonces se tendría:

A1 = {(1, a),(1, b),(1, c)}

A2 = {(2, a),(2, 6),(2, c)}

De esta manera AxB = A1∪A2 = {(1, a),(1, b),(1, c),(2, a),(2, b),(2, c)}.

Gráficamente se puede representar el producto cartesiano AxB de la siguiente

manera
B

Nota 2: Cuando se define un conjunto por comprensión se requiere básicamente

dos cosas: Un conjunto U y una condición ϕ(x) sobre los elementos de U y a partir
de ellos se obtiene el conjunto S formado por aquellos elementos de U que hacen
que ϕ(x) sea verdadera; esto es,
S = {x∈U|ϕ(x)}

Nótese que S se obtiene “separando” del conjunto U aquellos elementos que

satisfacen la condición ϕ(x). Algunas paradojas (contradicciones) que han surgido
en la teoría intuitiva de conjuntos provienen de no definir de manera correcta un
conjunto por comprensión. A manera de ilustración recordemos la paradoja de B.
Russell: “Un conjunto puede ser elemento de sí mismo ó puede no serlo”.
Examinémosla con más detalle. Sea
S = {XX∉X}
¿S∈S ? o ¿S∉S ?.

• Si S∈S entonces S debe satisfacer la condición ϕ(x): X∉X la cual determina

qué elementos pertenecen al conjunto S , así S∉S. En este caso:
(S∈S) ∧ (S∈S)Æ( S∉S)Æ(S∉S) (Modus ponens)
p pÆq q

UNIVERSIDAD DE PAMPLONA – Centro de Educación Virtual y a Distancia

Fundamentación Matemática I 37

Luego se tendría que S∈S y S∉S , lo cual es absurdo.

• Si S∉S se puede razonar de manera análoga al caso anterior para llegar a la

misma contradicción.

Nótese que la contradicción que se ha presentado aquí obedece a que el conjunto

S = {XX∉X} no está bien definido, pues la condición ϕ(X). X∉X se debe utilizar
para separar de algún conjunto U aquellos elementos que la cumplen.

Pregunta 1: ¿De qué manera se puede definir el conjunto S, para poder eliminar
la paradoja de Russell?

Pregunta 2: En la definición que se ha dado del producto cartesiano AxB, la

condición ϕ (x, y) : x∈A ∧ y∈B debe haber sido utilizada para separar de un
conjunto U aquellas parejas ordenadas (x, y) que satisfacen la anterior condición.
¿De qué conjunto U se está hablando?

Pregunta 3: ¿El producto cartesiano de los conjuntos A, B es conmutativo?, ¿es

asociativo?

El siguiente resultado nos indica que el producto cartesiano distribuye a la unión, a

la intersección, a la diferencia.

Teorema. Si A, B, C, son conjuntos dados, entonces:

• Ax(B∪C) = (AxB)∪(AxC)
• Ax(B∩C) = (AxB)∩(AxC)
• Ax(B-C) = (AxB)-(AxC)

Demostración: A manera de ilustración demostremos la parte (b) ya que las

otras dos partes son de verificación similar.

(x, y)∈(AxB)∩(AxC)↔
↔ (x, y)∈(AxB) ∧ (x, y)∈(AxC)
↔ (x∈A∧y∈B) ∧ (x∈A ∧y∈C)
↔ (x∈A) ∧ (y∈B ∧ y∈C)
↔ (x∈A) ∧ (y∈B∩C) ↔ (x, y)∈Ax(B∩C)

Pregunta 4: Si el conjunto A tiene n elementos y el conjunto B tiene m elementos,

¿cuántos elementos tiene el producto cartesiano AxB?. ¿Se puede demostrar esa
afirmación?.

UNIVERSIDAD DE PAMPLONA – Centro de Educación Virtual y a Distancia

Fundamentación Matemática I 38

UNIDAD 5: Relaciones

Núcleos Temáticos y Problemáticos

• Relaciones
• Determinación de una Relación
• Representación Gráfica
• Obtención de Relaciones a partir de Relaciones Dadas

Proceso de Información
5.1 RELACIONES

La palabra relación sugiere de alguna manera un vínculo, un nexo entre dos o más
objetos. Cuando pensamos en una relación se viene a nuestra mente expresiones
de la forma:

_______Es el hijo de_______ _________Es la capital de________

_______Es menor que_______ _________Es el autor de__________

En general el formato sería:

.........es--------de........
objeto relación objeto

Consideremos los conjuntos:

A = {Neruda, Kafka, Dante}

B = {La Divina Comedia, El Proceso, Otelo}

El producto cartesiano de estos conjuntos vendría dado por:

UNIVERSIDAD DE PAMPLONA – Centro de Educación Virtual y a Distancia

Fundamentación Matemática I 39

(Neruda, la divina comedia),(Neruda, el proceso),(Neruda, Otelo)

AxB (Dante, La divina comedia),(Dante, el proceso),(Dante, Otelo),
(Kafka, La divina comedia),(Kafka, el proceso),(Kafka, Otelo).

La relación “X escribió la obra Y” entre los elementos de los conjuntos dados A y

B, permite la formación de parejas ordenadas en las cuales la primera componente
sea un autor y en la segunda componente la obra escrita por él. Es decir se forma
el conjunto
R = {(X, Y) ∈ AxB X escribió la obra Y}

De esta manera , se obtiene el conjunto:

R = {(Dante, La divina comedia), (Kafka, el proceso)}

El anterior ejemplo motiva la siguiente definición:

Definición: Una relación R de un conjunto A, en un conjunto B es un subconjunto

del producto cartesiano AxB.

Recordar: R es relación de A en B ↔ R ⊆ AxB.

Nota. Si (x, y)∈R se dice que x está relacionado con y mediante R, y también se
suele notar xRy.

Si R es relación de A en B, entonces:

• A se denomina la fuente o conjunto de partida.

• B se denomina la meta o conjunto de llegada.
• El dominio de R , es el conjunto formado por las primeras componentes de
las parejas de R , esto es D(R)={x(x, y)∈R}⊆A
• El recorrido de R , es el conjunto formado por las segundas componentes de
las parejas de R, esto es ℜ(R) = {y(x,y)∈R}⊆B

5.2 DETERMINACIÓN DE UNA RELACIÓN

Dados los conjuntos A y B, ¿cómo determinar o cómo definir una relación de A en

B?. Si se tiene en cuenta que, según la definición dada, una relación es un
conjunto de parejas ordenadas, entonces una relación se puede determinar por
comprensión o por extensión.

UNIVERSIDAD DE PAMPLONA – Centro de Educación Virtual y a Distancia

Fundamentación Matemática I 40

5.2.1 Por Extensión

Una relación quedará determinada por extensión cuando se hace una lista de
todas las parejas ordenadas que pertenecen a la relación. Por ejemplo, Si A = {0,
1, 2, 3} y 5 = {-1, 0, 1, 2, 3, 4} algunas relaciones definidas de A en B, serían:

R1 = {(0, 0), (1, 1), (2, 4)}

R2 ={(0, -1), (1, 3)}
R3= {(0, -1), (1, 0), (2, 1), (3, 2)}

5.2.2 Por Comprensión

Una relación R del conjunto A en el conjunto B, queda determinada por

comprensión cuando se da una proposición condicional p(x, y) referida a los
elementos de los conjuntos dados, así R = {(x, y)∈AxBp(x, y)}. De esta manera:
(a, b)∈R, si y sólo si, p(a, b) es verdadera. En el ejemplo anterior, las relaciones
R1, R3 se pueden escribir:

R1={(x, y)∈AxBy = x2}

R2={(x, y)∈AxBy = x-1}

5.3 REPRESENTACIÓN GRÁFICA

Es de uso frecuente en matemáticas dibujar una relación, que permita observar de

una manera sencilla el efecto que tiene la definición de la relación cuando esta
viene expresada a través de una regla o de una fórmula.

Una de las maneras para lograr esto es mediante lo que se conoce como un
diagrama sagital tal como se indica el la figura de abajo, la cual representa la
gráfica de la relación:

{(-3, 0), (-2, -l),(-l, -2),(0, -l),(l, 0), (2, l)}

UNIVERSIDAD DE PAMPLONA – Centro de Educación Virtual y a Distancia

Fundamentación Matemática I 41

Una manera más conveniente para graficar una relación es por medio de un plano
rectangular, o también conocido como un sistema coordenado cartesiano, en el
cual cada punto corresponde de manera exacta a una pareja ordenada de la
relación. En tal sistema coordenado un punto se identifica con un par ordenado.

La posición horizontal y vertical del punto es determinado por la primera y segunda

componente del par ordenado respectivamente. La primera componente del par
ordenado se acostumbra llamar abscisa, o x – coordenada, y la segunda
componente se llama la ordenada, o y –coordenada. Usando esta representación,
la relación anterior se graficaría de la siguiente manera:

5.4 OBTENCIÓN DE RELACIONES A PARTIR DE RELACIONES DADAS

• Si R es una relación de A en B, se ha dicho que R es un subconjunto del

producto cartesiano AxB de donde R es un elemento de ℘(AxB), y por lo tanto
sobre este conjunto de partes podemos definir las operaciones usuales que
están definidas entre conjuntos, tales como: la unión, la intersección, la
diferencia, el complemento, la diferencia simétrica.

Para ilustrar lo dicho en el anterior párrafo, observemos lo siguiente:

Ejemplo: Consideremos los conjuntos A = {1, 2, 3}, B = {a, b} y tomemos las

siguientes dos relaciones definidas entre A y B:

UNIVERSIDAD DE PAMPLONA – Centro de Educación Virtual y a Distancia

Fundamentación Matemática I 42

R1 = {(1, a), (2, b), (3,a)} R2 = {(2, a), (2, b), (3, b)}

Entonces:

R1∪R2 = {(1, a), (2, b), (3, a), (2, a), (3,b)}
R1∩R2 ={(2, b)}
R1 - R2 = {(1, a), (3, a)}
R20 = {(1, a), (1, b), (3, a)}
R1∆R2 = {(1, a), (3, a), (2, a), (3, b)}

• Aquí se ha tomado el complemento respecto al producto AxB.

• Una segunda manera de obtener una relación, partiendo de una relación dada
es intercambiando entre sí las componentes de cada una de las parejas
ordenadas que pertenecen a la relación original, esto es si R es una relación de
A en B, entonces se forma la relación R-1 , donde R-1 = {(y, x)(x, y)∈R}. R-1
se llama la relación inversa de R. Nótese que R-1 resulta ser una relación de B
en A.

Así, teniendo en cuenta el ejemplo anterior tenemos: R1-1 = {(a, 1), (b, 2), (a, 3)}
R1-1 = {(a, 2), (b, 2), (b, 3)}.

• Otra forma de obtener relaciones, es mediante la composición de dos

relaciones dadas: Si R es una relación de A en B y S es una relación de B en C,
la compuesta de R con S, es la relación notada por S°R y definida por:

(x, y)∈S°R↔(∃z∈B)(((x, z)∈S ∧ (z, y)∈R))

Obsérvese que SºR resulta ser una relación de A en C , como se puede apreciar en
el siguiente diagrama

Ejemplo. Sean A = {1, 2, 3, 4}, B = {a, b, c, d} y C = {5, 6, 7, 8} y sean:

UNIVERSIDAD DE PAMPLONA – Centro de Educación Virtual y a Distancia

Fundamentación Matemática I 43

R = {(1, a), (1, b), (2,a), (3, d), (4, d)} y S = {(b, 5), (b, 6), (c, 8), (d, 7)}. Esto
es R es una relación de A en B y S una relación de B en C. Usando diagramas
sagitales R y S pueden representarse gráficamente así:

A R B S C

De esta manera:

• (1, 5)∈S°R porque b∈B y (1, b)∈R. (b,5)∈S

• (1, 6)∈S°R porque b∈B y (1, b)∈R. (b,6)∈S
• (3, 7)∈S°R porque d∈B y (3, d)∈R. (d,7)∈S
• (4, 7)∈S°R porque d∈B y (4, d)∈R. (d,7)∈S

No existen más parejas ordenadas en S°R, es decir,

S°R = {(1, 5),(1, 6),(3, 7),(4, 7)}

Proceso de Comprensión y Análisis

• Sea S la relación definida en el conjunto de los números naturales N, esto es
S⊆NxN, definida por:

S = {(x, y x, y∈N, x + 2y = 12}

- Expresar S como un conjunto de parejas ordenadas.

- Hallar el dominio y el codomio de S.
- Determinar S-1 y encontrar la relación compuesta S-l°S.

• Sean A = [x∈N 1≤x≤5} y B = {3, 4, 5}. Se define R como una relación de A en

B dada por xRy ↔x + y≤5.

- Determinar R por extensión.

- Representar en un mismo plano cartesiano AxB y R.
- Determinar R-1.

UNIVERSIDAD DE PAMPLONA – Centro de Educación Virtual y a Distancia

Fundamentación Matemática I 44

• Sí el conjunto A tiene n elementos y el conjunto B tiene m elementos, ¿cuántas

relaciones diferentes existen de A en B?.

• Si R es una relación de A en B, S una relación de B en C y T una relación de C

en D. Demostrar:

- (S°R)-1 = R-1 ° S-1

- T°(S°R) = (T°S)°R

UNIVERSIDAD DE PAMPLONA – Centro de Educación Virtual y a Distancia

Fundamentación Matemática I 45

UNIDAD 6: Relaciones sobre un

Conjunto

Núcleos Temáticos y Problemáticos

• Relaciones en un Conjunto
• Relaciones Eventuales sobre un Conjunto

Proceso de Información
6.1 RELACIONES EN UN CONJUNTO

Se considera en esta sección relaciones, en el caso particular en el que el conjunto

de partida es igual al conjunto de llegada. Se podrá notar que pese a esta
aparente restricción el campo de aplicaciones y los conceptos que se van a derivar
son bastantes amplios.

Definición: Si A es un conjunto no vacío, se entiende por una relación en A, a una

relación del conjunto A en el conjunto A. Es decir,

R es relación en A ↔ R⊆AxA

Ejemplo. Tomemos A = {a, b, c, d} y la relación R={(a, a), (a, b), (b, c), (b, d),
(c, d)} sobre A.

La representación sagital o de flechas de esta relación toma la forma:

UNIVERSIDAD DE PAMPLONA – Centro de Educación Virtual y a Distancia

Fundamentación Matemática I 46

No obstante, cuando se trabaja con relaciones definidas en un conjunto, la

representación anterior puede tener la siguiente variación: a cada punto del
conjunto A. se le asigna un punto y se envían las flechas entre ellos. En relación
con el ejemplo anterior tendríamos:

Consideremos los siguientes ejemplos:

• Sea A el conjunto formado por todos los seres humanos. Definimos en A la

relación:
AR1b ↔ a y b nacieron en el mismo país.

• Sobre el conjunto A = {a, b, c, d}, consideramos las relaciones

R2 = {(a, a), (b, b), (c, c), (a, d), (d, a)}
R3 = {(a, a), (b, b), (c, c)

• Sea A=N, el conjunto de los números naturales, sobre A definimos las

siguientes relaciones:
aR4b ↔ “a divide a b”
aR5b 4 ↔ b = a + 2

• Entre los elementos del conjunto Z de los números enteros definimos la

relación
AR6b si y sólo si “a - b es un múltiplo de 5”
Por ejemplo 20R65 ya que 20-5=15 y 15 es un múltiplo de 5.

Nota. “a-b es un múltiplo de 5”se suele escribir, usando una notación debida a
Gauss, a≡b(mod5) la cual se lee: “a es congruente con b módulo 5”

• Sean X = {1, 2, 3} A = ℘(X): la colección de subconjuntos de X, sobre el

conjunto A definimos las relaciones:

UNIVERSIDAD DE PAMPLONA – Centro de Educación Virtual y a Distancia

Fundamentación Matemática I 47

aR7b ↔a⊆b
aR8b ↔ a y b tienen el mismo número de elementos.

6.2 RELACIONES EVENTUALES SOBRE UN CONJUNTO

El interés de considerar relaciones definidas en un conjunto A radica en el hecho

de que si a∈ A la pareja (a,a) puede estar en la relación o que si la pareja (a,b)
forma parte de la relación puede estar también su simétrica (b,a) puesto que
cada elemento de A puede ser primera componente o segunda componente. Lo
anterior permite distinguir, entre otros, los siguientes tipos de relaciones:

6.2.1 Relación Reflexiva

Una relación R definida sobre un conjunto A se llama reflexiva, si todo elemento de

A está relacionado consigo mismo. En símbolos,

R es reflexiva en A ↔ (∀a∈A} (aRa)

Nótese que si se tiene la representación sagital de la relación en A, se puede a

partir de ella reconocer que R es reflexiva si todo vértice tiene un bucle.

6.2.2 Relación Simétrica

Una relación R definida sobre un conjunto A se llama simétrica si cada vez que un
elemento está relacionado con otro entonces el segundo está relacionado con el
primero. En símbolos:

R es simétrica en A sii (∀a, b∈A)(aRbÆbRa)

A partir de un diagrama de flechas, se reconoce si una relación R es simétrica si

toda flecha de “ida” tiene una de “regreso”.

6.2.3 Relación Antisimétrica

Una relación R definida sobre un conjunto A se llama antisimétrica si siempre que

una pareja esté en la relación no está su simétrica, salvo cuando sus componentes
son iguales. En símbolos,

R es antisimétrica A sii (∀a, b∈A) (aRb ∧ a≠b Æ(b, a)∈R)

UNIVERSIDAD DE PAMPLONA – Centro de Educación Virtual y a Distancia

Fundamentación Matemática I 48

Nota: Observe que en forma equivalente , la definición anterior puede formularse

en los siguientes términos, que en algunos casos resulta más conveniente

R es antisimétrica en A sii (∀a, b∈A) (aRb ∧ bRa Æa=b)

En el diagrama de flechas toda flecha de “ida” no tiene flecha de regreso.

6.2.4 Relación Transitiva

Una relación R definida sobre un conjunto A se llama transitiva en A si cada vez

que un elemento esté relacionado con un segundo elemento y este a su vez se
halla relacionado con un tercer elemento se tiene entonces que el primer elemento
y el tercero deben estar relacionados. En símbolos:

R es transitiva en A si (∀a, b∈A) (aRb ∧ bRc ÆaRc)

Proceso de Comprensión y Análisis

• En cada uno de los siguientes incisos, indicar las propiedades de la relación R
sobre el conjunto A dado.

- R = {(1, 1), (2, 1), (l, 2), (2, 2)}, A = {1,2}

- R = {(1, 1), (1, 2),(2, 1)}, A = {1, 2, 3}
2 2
- R = {(x, y)x =y }, A = {-1, 0, 1}
- R = {(x, y)x=y+1} A = {-2.-1, 0, 1, 2}

• Si A es cualquier conjunto; la igualdad entre elementos de A es una relación en

A. La expresión de ella en términos de parejas ordenadas sería:

∆A = {(x, y)∈AxAx=y}. Esta relación se suele llamar “la diagonal de A”.

Para los conjuntos dados, encontrar su respectiva relación diagonal y

representarlas gráficamente por medio de planos cartesianos:

A = {-2, -1, 0, 1, 2}
A = {a, b, c, d}

• Si R es una relación en A demostrar las siguientes equivalencias

- R es reflexiva ⇔ ∆A ⊂ R
- R es simétrica ⇔ R = R1

UNIVERSIDAD DE PAMPLONA – Centro de Educación Virtual y a Distancia

Fundamentación Matemática I 49

- R es antisimétrica ⇔ R∩R1⊆∆A
- R es transitiva ⇔ R°R⊆R

• Teniendo en cuenta las ocho relaciones presentadas en la sección 6.1,

completar el siguiente cuadro:

H R2 R3 R4 R5 R6 R7 R8
Reflexiva Si
Simétrica Si
Antisimétrica No
Transitiva No

UNIVERSIDAD DE PAMPLONA – Centro de Educación Virtual y a Distancia

Fundamentación Matemática I 50

UNIDAD 7: Relaciones de Equivalencia

Núcleos Temáticos y Problemáticos

• Relación de Equivalencia
• Clases de Equivalencia y Conjunto Cociente

Proceso de Información
7.1 RELACIÓN DE EQUIVALENCIA

Las relaciones de equivalencia son usadas con bastante frecuencia en todas las
ramas de la matemática. Ellas se originan cuando uno desea considerar todos
aquellos miembros de un conjunto que poseen alguna característica preasignada
como una sola entidad. Esto es, una relación de equivalencia busca identificar qué
elementos de un cierto conjunto poseen una cierta característica común.

Definición: Una relación R definida sobre un conjunto A es una relación de

equivalencia si R es reflexiva, simétrica y transitiva.

Ejemplo 1: En el conjunto A = {a, b, c} la relación R = {(a, a), (b, b),(c, c)} es

una relación de equivalencia:

• R es reflexiva
a∈A ⇒ aRa
b∈A ⇒ bRb
c∈A ⇒ cRc

• R es simétrica
ARa ⇒ aRa
bRb ⇒ bRb
cRc ⇒ cRc

UNIVERSIDAD DE PAMPLONA – Centro de Educación Virtual y a Distancia

Fundamentación Matemática I 51

• R es transitiva
aRa ∧ aRa ⇒ aRa
bRb ∧ bRb ⇒ bRb
cRc ∧ cRc ⇒ cRc

Ejemplo 2. Si B = {1, 2, 3} y S la relación definida por S = {(1,1), (2,2), (3,3),

(l,2)} evidentemente S es reflexiva y transitiva, pero no es simétrica pues (1, 2)∈S
y (2,1)∉S luego S no es una relación de equivalencia.

Ejemplo 3: Sobre el conjunto Z de los números enteros definimos la relación:

aRb↔a≡(mod m), m∈N

• Como a - a = 0 y m divide a 0 entonces a≡a (mod m) luego aRa, así R es

reflexiva.

• Sí aRb entonces a≡b (mod m), esto es m(a - b), y por lo tanto existe t e Z
tal que a -b = tm, multiplicando por (-1) ambos miembros de la igualdad
anterior tenemos b - a = (-1)m, pero como t∈Z, -t∈Z así m(b - a), luego
b≡a(mod m) de donde bRa con lo cual “A” es simétrica.

• Si aRb ∧ bRc existen entonces enteros s, t tales que

a-b = sm
b-c = tm

Sumando miembro a miembro las dos igualdades anteriores tenemos a-c =

(s+t) m luego 5(a-c) y así a≡c(mod m) por lo que aRc, de donde R es
transitiva.

Se concluye que R es una relación de equivalencia sobre el conjunto Z.

7.2 CLASES DE EQUIVALENCIAS Y CONJUNTO COCIENTE

Si R es una relación de equivalencia sobre un conjunto A y x∈A, puede entonces

formarse el conjunto de todos los elementos de A que se encuentran relacionados
con x bajo la relación R, este conjunto se acostumbra llamar la clase de
equivalencia de x, más precisamente se tiene la siguiente definición.

Definición: Sea R una relación de equivalencia sobre un conjunto A, x & A la clase

de equivalencia de x, denotada por [x]R se define como sigue:

UNIVERSIDAD DE PAMPLONA – Centro de Educación Virtual y a Distancia

Fundamentación Matemática I 52

[x]R = {y∈AxRy}

Ejemplo 4. En la relación de equivalencia R-l(x,y)\x = y(mod3)} definida sobre el

conjunto A = {0, 1, 2, 3, 4, 5} las clases de equivalencia de A con respecto a R
son:
[0]=[3]={0, 3}, [1]=[4]={1, 4}, [2]=[5]={2,5}

Obsérvese que cada una de estas clases es diferente de vacío y que además su
reunión es el conjunto A: [0]∪(1]∪[2] = {0, 3} {1, 4}∪{2, 5} = A.

Nótese además que dos clases distintas no tienen elementos en común, o sea que
si A/R representa el conjunto cuyos elementos son las clases de equivalencia de A
con respecto a R, tendríamos:

• U A/R = A
• Si H, T∈ A/R, entonces H = T o H∩T.= ∅

Definición: Si R es una relación de equivalencia sobre el conjunto A el conjunto

cociente de A respecto a R, representado por A/R es el conjunto formado por
todas las clases de equivalencia

A/R = {[x]Rx∈A}

En relación con el ejemplo anterior A/R ={{0, 3}, {1, 4}, {2, 5}}

Ejemplo 5. Sean X = {a, b, c} y A = ℘(X): la colección de subconjuntos de X

Sobre A definimos la relación:

xRz↔“ x y z tienen el mismo cardinal”

Evidentemente R resulta ser una relación de equivalencia. Las clases de

equivalencia son:

[∅]={∅}
[{a}]={{a}, {b}, {c}}
[{a, b}]={{a, b}, {a, c}, {b, c}}
[{a, b, c}]={x}

El conjunto cociente será A/R- {M>[{∅}], [{a}], [{a, b}], [{a, b, c}]

Proposición: Si R es una relación de equivalencia en un conjunto A, entonces:

UNIVERSIDAD DE PAMPLONA – Centro de Educación Virtual y a Distancia

Fundamentación Matemática I 53

1. [a]≠∅, ∀a∈A
2. Si a∈[A], entonces b∈[a].

Demostración

1. Si a∈A ⇒ aRa Propiedad reflexiva.

⇒ a∈[a]. Def clase de equivalencia.
⇒ [a]≠∅

2. Si a∈[b] ⇒ aRb
⇒ bRa Propiedad de simetría.
⇒ b∈[a]

Definición. Sean A un conjunto y ℘={Ai}ioj ¡ una colección no vacía de

subconjuntos de A. Decimos, entonces, que ℘ es una partición de A, si ℘
satisface las siguientes condiciones:

• ∀i∈l, A1≠∅
• UA1=A
• Si i≠j, A0∩A1 = ∅

Ejemplo 6: Sobre el conjunto A = {1, 2, 3, 4} las siguientes, entre otras , son

particiones

P1 = {{1, 2},{3, 4}}

P2 = {{1}, {2},{3},{4}}
P3 = {{1, 3}, {2}, {4}}
P4 = {{1, 2, 3}}, {4}}

Nótese que según las anteriores particiones, el conjunto A queda “partido” en los
siguientes pedazos:

UNIVERSIDAD DE PAMPLONA – Centro de Educación Virtual y a Distancia

Fundamentación Matemática I 54

Teorema 1: Si R es una relación de equivalencia sobre un conjunto A y A/R es su

correspondiente conjunto cociente, entonces A/R es una partición de A.

Demostración

1. Por la parte de la proposición anterior las clases de equivalencia son conjuntos

no vacíos.
2. Si a∈A⇒[a]⊆A, luego U[a]⊆A así UA/R⊆A
a∈A
Por otra parte, Si a∈A, entonces por definición de clase de equivalencia a∈[a],
como [a]⊆UA/R entonces se tiene que a∈UA/R de donde A⊆UA/R, por lo tanto se
tiene que UA/R = A
3. Para establecer que las clases de equivalencia son disyuntas dos a dos,
supongamos que [a]∩[b]≠∅, en este caso existirá por lo menos un elemento
en dicha intersección, sea éste x, es decir, x∈[a] y x∈[b] de esta manera por la
parte 2 de la proposición anterior se tiene que a∈[x] de donde por la
transitividad de la relación R se deduce que aRb. A partir de esto se puede
deducir de una manera sencilla que [a]=[b], pues:

Si y∈[a] ⇒ yRa y como aRb entonces, nuevamente por transitividad, yRb por lo
que y∈[b], así [a]⊆[b].

De manera análoga se demuestra que [b] e [a]. Con lo cual se da por terminada
la prueba el resultado de la afirmación anterior nos indica que si sobre un conjunto
se tiene definida una relación de equivalencia, ésta determina una partición sobre
dicho conjunto, ¿será cierta la recíproca?. Esto es, si se tiene una partición de un
conjunto, ¿existe una relación de equivalencia que se pueda definir sobre este
conjunto de modo que las clases de equivalencia de esta sean precisamente los
elementos de la partición dada?. La respuesta a esta pregunta es afirmativa, y
queda establecido en el siguiente resultado.

Teorema 2: Toda partición de un conjunto no vacío, determina una relación de

equivalencia sobre dicho conjunto.

Demostración
Sean A un conjunto, A≠∅ y ℘ = {A1}i∈1 una partición de A. definimos en A la
relación;
XRy ⇔ (∃A1∈℘)(x∈A1 ∧ y∈A1)

UNIVERSIDAD DE PAMPLONA – Centro de Educación Virtual y a Distancia

Fundamentación Matemática I 55

Verifiquemos que efectivamente R resulta ser una relación de equivalencia

1. Reflexiva. Como UA1= Ai, todo elemento x de A pertenece a algún conjunto

A1℘ así que x∈A1 ∧ x∈A, o sea xRx.

2. Simetría. Si xRy, existe un A1∈℘ tal que x∈A1 ∧ At, pero como la conjunción
es conmutativa, se tiene que y∈At ∧ x∈A1, luego yRx.

3. Transitiva. Para comprobar esta propiedad, supongamos que xRy ∧ yRz de

esta manera existen Ai, Aj∈℘ tales que (x∈Ai ∧ y∈Ai) ∧ (y∈Aj ∧ z∈Aj) como
y∈Ai∩Aj se debe tener que Ai = Aj, pues los conjuntos que forman la partición
son disyuntos dos a dos, así que x∈Ai ∧z∈Aj, luego xRz..

Con lo cual R resulta ser una relación de equivalencia sobre A.

Proceso de Comprensión y Análisis

• En el conjunto A = {1, 2, 3, 4} se considera la relación:
R = {(x, y)∈AxAx = y ∨ x+y =3}

- Determinar la relación por extensión.

- Probar que R es una relación de equivalencia.
- Hallar la partición correspondiente a R.

• Probar que en el conjunto R de los números reales, la relación S definida por

xSy ⇔ x2-3x = y2-3y, es de equivalencia. Hallar las clases de [0]s, [2]s, [a]s.

• Encontrar el número de particiones sobre el conjunto A si:

- A tiene 3 elementos.
- A tiene 4 elementos.

• Sea R una relación de equivalencia definida sobre un conjunto A y S una

relación de equivalencia definida sobre un conjunto B, se designa por RxS la
relación sobre AxB definida por:
(x1, x2 ) RxS (y1, y2) ⇔ (x1Ry1)∧(x2Sy2)
− Determinar el error en el razonamiento siguiente: “Si R una relación definida
sobre A, simétrica y transitiva, entonces por simetría xRy⇒yRx, y por
transitividad xRy⇒xRx, luego R es reflexiva y por consiguiente, R es una
relación de equivalencia.

UNIVERSIDAD DE PAMPLONA – Centro de Educación Virtual y a Distancia

Fundamentación Matemática I 56

UNIDAD 8: Relaciones de Orden

Núcleos Temáticos y Problemáticos

• Relaciones de Orden
• Orden Total
• Elementos Notables de un Conjunto Ordenado

Proceso de Información
8.1 RELACIONES DE ORDEN

Las relaciones de orden definidas en un conjunto surgen cuando se desea

generalizar el orden que existe en los sistemas numéricos, recordemos por ejemplo
que en el conjunto de los números naturales se dice que n es menor que m, (n≤m)
si existe un número natural p tal que n+p = m. Es tan sencillo como útil verificar
que esta relación es reflexiva, Antisimétrica y transitiva.

• Si n∈N, n+0 = n así, n≤n (Reflexiva)

• Si n,m∈N, n≤m ∧ m≤n existen números naturales p, q tales que n+p = m ∧
m+q = n, luego m+(q+p) = m de donde p+q = 0 como p, q son naturales, la
única posibilidad es que ellos sean idénticamente nulos p=q=0, así n=m.
(Antisimétrica)
• Si n, m∈N, n≤m ∧ m≤k existen entero positivos p, q tales que se tiene n+p =
m ∧ m+q = k, como n+p = m. Sumando q a ambos miembros de esta igualdad
tenemos que n+p+q = m+q por lo tanto n+(p+q) = k ya que (p+q)∈N se
tiene que n≤k. (Transitiva)

Las relaciones que se comportan como las del ejemplo anterior, son de mucha
importancia en matemáticas y se conocen como relaciones de orden, más
precisamente tenemos la siguiente definición.

Definición: Una relación R definida sobre un conjunto A, se llama una relación de

orden (parcial) si ella es reflexiva, antisimétrica y transitiva.

UNIVERSIDAD DE PAMPLONA – Centro de Educación Virtual y a Distancia

Fundamentación Matemática I 57

Nota: En lugar de escribir que xRy se acostumbra designar una relación de orden
bien sea por un signo específico (ver ejemplos 2, 3) o bien por x≤y que se lee de
cualquiera de las siguientes formas equivalentes:

• “x es anterior a y”, o “y es posterior a x”

• “x es inferior a y”, o “y es superior a x”

Un conjunto A provisto de una relación de orden ≤ se llama conjunto parcialmente

ordenado por esta relación de orden, se dice también que A posee una estructura
de orden y se suele notar (A, ≤).

Ejemplo 1: Sea A = {1, 2, 3, 4, 5} y ≤ la relación establecida por el siguiente

diagrama:

Donde las flechas indican el sentido de la relación, o sea que: 5≤1, 3≤2, 2≤1…,
con este tipo de diagramas (conocidos como diagramas de Hasse) siempre se
aceptará la propiedad reflexiva.

Ejemplo 2: Sea A = {1, 3, 5, 7, 15, 21, 35, 105} sobre este conjunto definimos la
relación x≤y ⇔ xy (x divide a y)

Es sencillo verificar que se tiene definido un orden parcial sobre A como se puede
ilustrar en el siguiente diagrama:

UNIVERSIDAD DE PAMPLONA – Centro de Educación Virtual y a Distancia

Fundamentación Matemática I 58

Ejemplo 3: Cada una de las siguientes relaciones determinan un orden sobre el

conjunto A = {1, 2, 3, 4}

• R1 = {{1, 1}, {1, 2}, {1, 3}, {1, 4}, {2, 2}, {2, 4}, {3, 3}, {4, 3}, {4, 4}}
• R2 = {{1, 1}, {2, 2}, {3, 3}, {4, 4}}
• R3 = {(x, y)x≤y}

8.2 ORDEN TOTAL

Nótese que en el ejemplo 3 la relación R1 cumple la siguiente condición:

cualesquiera sean a,b∈A una de las dos proposiciones (a,b)∈R1 o (b,a)∈ R1, es
siempre verdadera.

Igual situación se presenta con la relación R3. Sin embargo, no ocurre lo mismo
para los ejemplos 1 y 2 de la sección anterior y con la relación R2 del ejemplo 3.

La observación anterior hace necesario establecer los siguientes conceptos:

Definición: se dice que una relación de orden ≤ definida sobre A es un orden total
si cualesquiera que sean a y b, se verifica a≤b ∨ b≤a.

También se acostumbra a decir que dos elementos cualesquiera son comparables

por la relación ≤. En este caso el par (A,≤) se llama un conjunto totalmente
ordenado o una ≤ cadena.

Cuando exista al menos una pareja de elementos de A no comparables por el

orden ≤, se dice que ≤ define un orden parcial.

Ejercicio. Si R-1 denota la relación inversa de R. Demostrar que R es un orden

total en A , entonces R-1 es un orden total en A.

8.3 ELEMENTOS NOTABLES DE UN CONJUNTO ORDENADO

8.3.1 Cota Superior y Cota Inferior

Definición: Dado B un subconjunto de un conjunto ordenado A , un elemento a∈A

se llama una cota superior de B si (∀x∈B) (x≤a)

En este caso B se llama un subconjunto de A acotado superiormente,

análogamente b ∈ A se llama una cota inferior de B si (∀x∈B) (b≤x).

UNIVERSIDAD DE PAMPLONA – Centro de Educación Virtual y a Distancia

Fundamentación Matemática I 59

En cuyo caso se dice que B está acotado inferiormente. Un subconjunto B de A

que sea a la vez superior e inferiormente acotado se llama acotado.

Ejemplo 4. En relación con el ejemplo 2 de la sección 8.1. Si B = {3, 5, 21} 1 es

una cota superior de B ¿existe alguna otra?. 105 es una cota superior de B.
Nótese que 35 no es cota superior de B ya que 35 no es mayor que 21.
Generalmente se adopta la siguiente notación:

• B*: conjunto de las cotas inferiores de B.

• B*: conjunto de las cotas superiores de B.

Así en el ejemplo anterior B* = {1}, ={105}.

8.3.2 Elemento Máximo y Elemento Mínimo

Definición: Sean A un conjunto ordenado por ≤, B un subconjunto no vacío de A,

M∈A, M se llama el máximo, el mayor o el último elemento de B si:

• M∈B
• (∀x∈B) (x≤M)

Igualmente m ∈ A se llama el primer elemento, el mínimo o el menor elemento de

B si:
• m∈B
• (∀x∈B)(m≤x)

Ejercicio: Demostrar que si un conjunto tiene elemento máximo (o un elemento

mínimo) éste es único.

Ejemplo 5: En el conjunto A = {a, b, c, d, e, f} ordenado según el siguiente

diagrama:

UNIVERSIDAD DE PAMPLONA – Centro de Educación Virtual y a Distancia

Fundamentación Matemática I 60

Para B = {b, c, e}

b es el primer elemento
e es el último elemento

Ejemplo 6: En el conjunto N de los números naturales, 0 es el primer elemento,

pero N carece de último elemento.

Ejemplo 7: Si A = R, el conjunto de los números reales, B = {x∈R1<x<2} es

claro que B no tiene primer ni último elemento.

Ejemplo 8: En el conjunto de partes ℘(X) del conjunto X, ordenado por la

contenencia, el primer elemento es el conjunto ∅ y el último elemento es X.

8.3.3 Límite Superior, Límite Inferior

Sea A un conjunto ordenado:

Definición: Se llama limite superior en A de un subconjunto B de A, al menor del

conjunto de sus cotas superiores, (si existe). El límite superior de B, en caso de
existir, se le nota SupB (Supremo de B) así: SupB = menor de B*

Análogamente el límite inferior en A de un subconjunto B de A, es el mayor del

conjunto de sus cotas inferiores, se le denota InfB (ínfimo de B) así: InfS =
Mayor de B*.

Ejemplo 9. En relación con el ejemplo 2 de la sección 8.1. Si B = {21, 35}

B* = {105}, SupB= 105

B* = {1,3,7}, InfB =7

Ejemplo 10. Si A = R , el conjunto de los números reales con su orden usual, B =

{x∈R1≤x≤2}, C = {x∈R1≤x≤2}, D = {x∈R1≤x≤2}

InfB = 1 SupB = 2
InfC = 1 SupC = 2
InJD = 1 SupD = 2

Nótese que en algunos casos el supremo o el ínfimo de un conjunto puede o no

pertenecer a dicho conjunto.

UNIVERSIDAD DE PAMPLONA – Centro de Educación Virtual y a Distancia

Fundamentación Matemática I 61

8.3.4 Buen Orden

Definición: Sea ≤ una relación de orden en un conjunto A. Se dice que A es bien

ordenado por ≤ ó que ≤ es un buen orden para A , si todo subconjunto no vacío de
A tiene primer elemento con respecto a A.

El ejemplo clásico de un conjunto bien ordenado es el conjunto de los números

naturales con su orden usual.

Pregunta: El conjunto A = {1, 2, 3, 4} ordenado según el diagrama, ¿está bien

ordenado?.

Proposición: Si A es un conjunto bien ordenado, entonces A es totalmente

ordenado.

Demostración: Sea ≤ un buen orden para A. Se necesita demostrar que si a,b∈A

entonces son elementos comparables. Como {a, b} es un subconjunto no vacío de
A, debe tener un primer elemento, si éste es a, entonces a < b y si por el contrario
es b entonces b < a, luego A es totalmente ordenado.

Proceso de Comprensión y Análisis

• El conjunto A = (1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12} se encuentra ordenado
según el diagrama:

UNIVERSIDAD DE PAMPLONA – Centro de Educación Virtual y a Distancia

Fundamentación Matemática I 62

Sea B = {2, 5, 6, 10}

- ¿Es la relación un orden parcial o total?

- Encontrar B*, B*
- Hallar SupB, InfB
- ¿Tiene A elemento máximo? ¿elemento mínimo?
- Encontrar tres subconjuntos de A para los cuales la relación de orden sea un
orden total.

• Sea A = {l, 2, 3} ordenado según el diagrama:

2 3

Sea ℑ la colección de los subconjuntos no vacíos totalmente ordenados de A. Y

sea ℑ parcialmente ordenado por la inclusión de conjuntos. Construir un
diagrama de Hasse que represente el orden de 3.

• Se dice que una relación definida sobre un conjunto A es una relación de

preorden si es reflexiva y transitiva. Sea 7 una tal relación, se considera la
relación R definida sobre A por: xRy ⇔ (xTy ∧ yTx).

- Demostrar que R es una relación de equivalencia.

- Sobre el conjunto cociente A/R se define la relación P mediante [r]P[y] ⇔ xTy,
probar que P es una relación de orden sobre A/R.

• Probar que la relación “divide a” es un orden parcial en el conjunto de los

números naturales. Pero no en el conjunto de los enteros, ¿es un orden total?.

UNIVERSIDAD DE PAMPLONA – Centro de Educación Virtual y a Distancia

Fundamentación Matemática I 63

BIBLIOGRAFÍA GENERAL
BIRKHOFF, G and Maclane, S. Álgebra Moderna. Vicens-Vives, Barcelona. 1963.
HALMOS, Paul R. Teoría Intuitiva de los Conjuntos. Cecsa, México D.F. 1965.
MUÑOZ, José M. Introducción a la Teoría de Conjuntos. Universidad Nacional.
Santafé de Bogotá, 1994.
OUBIÑA, Lia. Introducción a la Teoría de Conjuntos. Ediciones Universitarias de
Buenos Aires. Buenos Aires. 1971.
QUEYSANNE, Michel. Álgebra Básica. Vicens-Vives, Barcelona, 1963.
SMITH, Karl J. Introducción a la Lógica. Grupo Editorial Iberoamericano. México,
1991.

UNIVERSIDAD DE PAMPLONA – Centro de Educación Virtual y a Distancia