Introducción al Programa de Matemáticas

Apuntes de clase
Documento en construcción

Carlos Abel Álvarez Pérez

Escuela Colombiana de Ingenierı́a

Julio Garavito

2016-1
ii
 Presentación

Estos apuntes se han escrito para la asignatura de Introducción al Programa de Matemáticas

de la Escuela Colombiana de Ingenierı́a Julio Garavito. El objetivo del curso es tener un pa-
norama general sobre la carrera, haciendo un acercamiento al quehacer del futuro profesional
de matemáticas.

El material se ha organizado alrededor de varios temas centrales en la formación de un

matemático, tales como lógica, conjuntos, conjuntos numéricos, técnicas de demostración y
estructuras algebraicas, todos con un tratamiento introductorio dado que los mismos serán
estudiados ampliamente en cursos posteriores. Los apuntes también pueden ser de interés
para estudiantes de otros programas, principalmente de ingenierı́a y ciencias.

Carlos Abel

iii
iv
 Índice general

1. Generalidades 1
1.1. Introducción . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.2. El objeto de estudio de la matemática . . . . . . . . . . . . . . . . . . . . . . 3
1.3. Hitos más importantes en la evolución del conocimiento matemático . . . . . 5
1.3.1. El primer perı́odo: De la Aritmética y la Geometrı́a . . . . . . . . . . 6
1.3.2. El segundo perı́odo: De las Matemáticas Elementales . . . . . . . . . . 6
1.3.3. El tercer perı́odo: De las Magnitudes Variables y el Análisis . . . . . . 8
1.3.4. Cuarto perı́odo: De las Matemáticas Contemporáneas . . . . . . . . . 12
1.4. El campo del conocimiento de la matemática . . . . . . . . . . . . . . . . . . 13

2. Lógica informal 21
2.1. Las proposiciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
2.1.1. Proposiciones básicas . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
2.1.2. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
2.1.3. Conectivos lógicos y proposiciones compuestas . . . . . . . . . . . . . 23
2.1.4. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26
2.1.5. Equivalencias lógicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
2.1.6. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
2.2. Demostraciones formales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
2.2.1. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
2.3. Cuantificadores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
2.3.1. Ejercicios. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36
2.4. Ejercicios misceláneos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36

v
vi ÍNDICE GENERAL

3. Teorı́a intuitiva de conjuntos 41

3.1. Conjuntos y conjuntos numéricos . . . . . . . . . . . . . . . . . . . . . . . . . 41
3.1.1. Conjuntos especiales . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
3.1.2. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
3.2. Operaciones entre conjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
3.2.1. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
3.3. Contenencia, igualdad y álgebra de conjuntos . . . . . . . . . . . . . . . . . . 46
3.3.1. Otras operaciones entre conjuntos . . . . . . . . . . . . . . . . . . . . 48
3.3.2. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50
3.4. Producto cartesiano, relaciones y funciones . . . . . . . . . . . . . . . . . . . 51
3.4.1. Producto cartesiano . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51
3.4.2. Relaciones y funciones . . . . . . . . . . . . . . . . . . . . . . . . . . . 52
3.4.3. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55
3.5. Ejercicios misceláneos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56

4. Técnicas de demostración 59
4.1. Algunos esquemas de demostración . . . . . . . . . . . . . . . . . . . . . . . . 60
4.1.1. Ejemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 62
4.1.2. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 64
4.2. Inducción matemática . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 65
4.2.1. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 69
4.3. Ejercicios misceláneos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 70

5. Estructuras 73
5.1. Leyes de composición interna . . . . . . . . . . . . . . . . . . . . . . . . . . . 73
5.2. Congruencia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 75
5.2.1. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 78
5.3. Grupos, anillos y cuerpos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 79
5.3.1. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 81
5.4. Ejercicios misceláneos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 81
 CAPÍTULO 1

Generalidades

1.1. Introducción

Cuando un estudiante ha decidido estudiar una carrera de matemáticas, seguramente ha

pensado sobre la pregunta ¿Qué es la matemática?, principalmente para contestar al inte-
rrogatorio de sus padres al enterarse que su hijo ha decidido estudiar matemáticas. Esta
pregunta también la ha intentado contestar Keith Devlin en un hermoso libro titulado El
lenguaje de las matemáticas, varios de los comentarios que se presentan aquı́ son tomados o
inspirados en este libro.

Para intentar contestar a la pregunta ¿Qué es la matemática? lo más conveniente es dar una
mirada hacia el desarrollo histórico de la misma, entonces aparece una primera respuesta
afirmando que la matemática es el estudio de los números, sin embargo esta respuesta fue
correcta en las épocas de los matemáticos egipcios y babilonios hace más de 2500 años. Para
los matemáticos griegos, el estudio de los números estuvo relacionado directamente con el
estudio de la geometrı́a y por tanto para ellos la matemática consistı́a en el estudio de los
números y la forma, este planteamiento también es de hace más de 2500 años. En esa época
la matemática tuvo principalmente un sentido utilitario y fue empleada al estilo de recetas
de cocina por los mercaderes y negociantes.

Los primeros en estudiar la matemática en sı́ misma fueron los griegos. Tales de Mileto
introdujo la idea de la demostración en matemáticas, que se ha mantenido hasta nuestros dı́as.
Todo este trabajo griego se compendia con la publicación de Los Elementos de Euclides, libro
que tiene la reputación de ser, entre los libros técnicos y cientı́ficos, el de mayor circulación

1
2 CAPÍTULO 1. GENERALIDADES

de todos los tiempos.

Durante la edad media, es decir desde la época griega, hasta el renacimiento sobre el siglo
XVII prácticamente no hubo progreso matemático y el lenguaje por excelencia para hablar de
la matemática fue la geometrı́a, claro está que no en la forma simbólica que la conocemos hoy,
el simbolismo nace luego. Para argumentar en matemáticas se utilizó la retórica en lenguaje
común. Ası́ que, durante toda esta época la matemática fue básicamente el estudio de los
números y la forma.

Con los trabajos realizados por François Viète y René Descartes aparece el simbolismo en
matemáticas, nace el plano cartesiano, la idea de variables o coordenadas y la geometrı́a
analı́tica. A mediados del siglo XVII, con el nuevo lenguaje creado por Descartes, se crea una
teorı́a que cambiarı́a el mundo, independientemente Newton y Leibniz inventan el cálculo,
teorı́a que permite estudiar el cambio y el movimiento. En este resurgir del mundo cientı́fico,
entonces la matemática fue el estudio de los números, la forma y el movimiento. Con el
estudio del movimiento aparecen una cantidad casi incontable de aplicaciones matemáticas
en fı́sica, ingenierı́a y demás sectores de la sociedad que tiene su cúspide con la llamada
revolución industrial.

Luego de la gran cantidad de aplicaciones de las matemáticas en todos los sectores de la

sociedad, surge hacia mediados del siglo XVIII y todo el siglo XIX la necesidad de hacer
matemáticas al estilo griego, es decir estudiar la matemática en si misma sin pensar en que
se pueda aplicar o no, por lo menos de manera inmediata. Entonces se tiene un afán por
crear teorı́as que expliquen y justifiquen todo lo que se hace en matemáticas, entonces la
matemática es, en todo este perı́odo, el estudio de los números, la forma, el movimiento y
las herramientas utilizadas en su estudio. Durante los siglos XIX y XX existe una verdadera
explosión de conocimiento matemático, aparecen ramas como la lógica, el análisis, el álgebra
abstracta, la topologı́a, las nuevas geometrı́as no euclidianas, la variable compleja, la teorı́a
de probabilidades, entre otras.

Desde finales del siglo XX y hasta nuestros dı́as es tal la cantidad de producción matemática
y matemática aplicada que se tiene y que se crea dı́a a dı́a, que es casi imposible decir
brevemente qué es la matemática. Sin embargo, una respuesta con la que muchos matemáticos
están de acuerdo es que la matemática es la ciencia de las estructuras, a pesar de que las
matemáticas realmente no son una ciencia.

Para terminar esta introducción, una reflexión: A medida que el papel de la matemática crece
más y más formando un universo paralelo que soporta gran parte de nuestras vidas, parece
hacerse cada vez más invisible para los ciudadanos del común que la critican sin saber de ella
y la quieren exclusivamente utilitaria, como queriendo ignorar su historia.
 1.2. EL OBJETO DE ESTUDIO DE LA MATEMÁTICA 3

En las siguientes secciones se presenta un planteamiento mucho más general y riguroso sobre la
conceptualización de lo que es la matemática como objeto de estudio y su evolución histórica1 .

1.2. El objeto de estudio de la matemática

En muchas ocasiones se pretende enmarcar a las Matemáticas en el ámbito de las ciencias

y, aunque algunas caracterı́sticas de esta disciplina se parecen a las de las ciencias, muchas
otras no tienen nada que ver. Por ejemplo, no hay un consenso acerca de cuáles podrı́an ser
sus objetos de estudio y el método de las Matemáticas no tiene nada que ver con el método
cientı́fico. Aunque este método exige un rigor que podrı́a equipararse con el de la actividad
matemática, no tiene cabida en el quehacer de un matemático.

Posiblemente, el mejor acercamiento al planteamiento de las Matemáticas como una ciencia

lo hace Pierce al caracterizarla como la ciencia de las posibilidades puras. Leyendo a Pierce en
Matemáticas: el ámbito de las posibilidades, F. Zalamea plantea lo que posiblemente describe
mejor su naturaleza: “las matemáticas estudian los ámbitos de posibilidad abstractos..., sin
ninguna restricción factual; lo único que se le exige es una adecuada coherencia interna. Su
extraordinaria riqueza surge de su peculiar localización dentro del panorama del conocimiento:
procediendo y construyendo su entramado de relaciones con posibilidades puras, accede sin
embargo posteriormente a lo actual por medio de aplicaciones insospechadas, y asegura en
cada caso su necesidad contextual. El trámite de las matemáticas, entre lo posible, lo actual
y lo necesario, es propio y especı́fico de la disciplina”.

La presentación de estas caracterı́sticas distintivas de las matemáticas está lejos de explicar

su esencia, para lo cual Aleksandrov dedica un capı́tulo completo del libro primero de Mat-
hematics: it’s content, methods and meaning, examinando los fundamentos de la aritmética
y la geometrı́a elemental. Él busca con esto dar respuesta preliminar a las preguntas que
surgen cuando se trata de explicar la naturaleza esencial de las matemáticas. La imposibi-
lidad de presentar su esencia en pocas lı́neas nos obliga a detallar un poco más sus rasgos
caracterı́sticos: la abstracción, la precisión, el rigor lógico, la solidez de sus conclusiones y el
amplio espectro de aplicaciones.

La abstracción se ha logrado, por ejemplo, al considerar los números como objetos indepen-
dientes de los entes reales que les dieron origen. El número entero cinco es la caracterı́stica
común de todas las colecciones de objetos que se pueden poner en correspondencia biunı́voca
con los dedos de la mano. Los objetos geométricos son abstracciones de objetos espaciales
de los cuales olvidamos todas sus caracterı́sticas excepto su forma y dimensión. Una lı́nea
1
Esta parte es el fruto del trabajo del grupo base de revisión curricular del Programa de Matemáticas de la
Escuela, conformado por los profesores: Ernesto Acosta, Bernarda Adana, Edgar Obonaga, Sandra Gutiérrez
y Carlos Álvarez
4 CAPÍTULO 1. GENERALIDADES

recta es el objeto que se obtiene de abstraer de todas las propiedades la de extensión en una
sola dirección. Los números y las figuras geométricas, que son los conceptos abstractos más
antiguos y elementales de las matemáticas, fueron seguidas por un universo de objetos abs-
tractos en el que podrı́amos mencionar las funciones, los vectores, los espacios vectoriales (de
dimensión finita e infinita), las transformaciones lineales, las matrices, los grupos (conmuta-
tivos y no conmutativos), las ecuaciones diferenciales, las ecuaciones integrales, etc. Aunque
se crea que estos conceptos super abstractos han perdido contacto con toda realidad, no es
ası́, todos están conectados con la vida diaria tanto en sus orı́genes, como en sus aplicacio-
nes. A diferencia de otras ciencias, que recurren constantemente a la experimentación para
demostrar sus afirmaciones, las matemáticas se mueven casi completamente en el universo de
los conceptos abstractos y sus interrelaciones, empleando solamente argumentos y cálculos.

La demostración es otro de los rasgos caracterı́sticos de las matemáticas. Proposiciones que

no se hayan demostrado rigurosamente no son aceptadas como parte de ninguna teorı́a ma-
temática, independientemente del grado de certeza de su validez. Podemos medir con mucha
precisión los ángulos internos de miles de triángulos planos, pero esto no serı́a una demostra-
ción del hecho de que la suma de los ángulos internos de un triángulo plano es 180 grados.
Las matemáticas exigen que este resultado sea deducido de sus axiomas (principios funda-
mentales) y sus teoremas (hechos previamente deducidos de éstos). De igual forma ocurre
con la aceptación de cualquier otra proposición como parte de una teorı́a: debe deducirse
mediante un argumento lógico a partir de las propiedades fundamentales que aparecen en su
formulación y que pertenecen a una teorı́a matemática particular. Esto hace del método de
las matemáticas, un método teórico y abstracto como sus objetos.

No se puede dudar de la importancia que tienen las matemáticas para el desarrollo de las
ciencias naturales, especialmente la fı́sica y la quı́mica, y por consiguiente para resolver pro-
blemas de la ingenierı́a. A su vez, los requerimientos de las ciencias y la ingenierı́a han tenido
una influencia decisiva en el desarrollo de las matemáticas. Pero tenemos que recordar que
las aplicaciones de las matemáticas no son posibles si el fenómeno concreto en estudio no
ha sido considerado en una teorı́a matemática profunda. La contundencia de la matemáti-
ca como instrumento para la solución de problemas se puede apreciar, por ejemplo, en el
descubrimiento del planeta Neptuno en 1846 cuando Leverrier calculó su posición haciendo
uso de los datos que conocı́a de la irregularidad en el movimiento del planeta Urano; o en la
propuesta de la existencia de las ondas electromagnéticas por parte de Maxwell al expresar
las leyes del electromagnetismo mediante métodos puramente matemáticos y que condujeron
al descubrimiento de las ondas de radio que dieron lugar a la tecnologı́a del radio. Por otro
lado, ejemplos, entre otros muchos, como la propuesta de la unidad imaginaria sin significado
aparente para resolver ecuaciones polinómicas, termina siendo el concepto central de la teorı́a
de funciones de variable compleja con la que se resuelven problemas de aerodinámica y de
 1.3. HITOS MÁS IMPORTANTES EN LA EVOLUCIÓN DEL CONOCIMIENTO MATEMÁTICO 5

filtraciones en el fondo de las represas, muestran que a pesar de su desarrollo autónomo, sus
construcciones abstractas aparentemente alejadas del mundo real, tienen, tarde o temprano,
injerencia con este último.

1.3. Hitos más importantes en la evolución del conocimiento matemático

A lo largo del desarrollo histórico de las Matemáticas se pueden establecer cambios concep-
tuales esenciales marcados por los niveles de abstracción y de generalización alcanzados por
las mismas. Estos cambios se evidencian en los momentos en que surgen nuevos objetos, nue-
vas formas de trabajar con objetos nuevos y existentes y nuevas formas de uso de esos nuevos
objetos para ver, representar y transformar el mundo. La generación de nuevos objetos en
las Matemáticas no niega ni desestima la existencia ni la riqueza de los ya existentes, simple-
mente abstrae sus propiedades esenciales creando una gran cantidad de nuevas posibilidades,
de las cuales los objetos anteriores son sólo casos particulares. La esencia de estos nuevos
objetos de estudio radica en caracterı́sticas comunes de objetos aparentemente disı́miles y la
abstracción de relaciones y operaciones que corresponden a manipulaciones de éstos. Esto lo
vemos por ejemplo con el concepto de un número natural, que es la abstracción de la carac-
terı́stica común a todos los conjuntos que se pueden poner en correspondencia biunı́voca con
un conjunto determinado y a la consideración de la suma que tiene su origen en la generación
de un conjunto a partir de la reunión de los elementos de otros dos. Los cambios significativos
a los que nos referimos no se dan en un instante de tiempo determinado sino en periodos
de tiempo largos, ya que la generalización y la abstracción son el resultado de una profunda
interacción entre el análisis de interrelaciones separadas y la sı́ntesis de sus caracterı́sticas
comunes.

En el libro “Las Matemáticas; su contenido, métodos y significado” [AKL] se plantea la exis-

tencia de 4 periodos fundamentales en el desarrollo de las matemáticas que están relacionados
directamente con los niveles de formación en esta disciplina en los sistemas escolares actuales.
Lo desarrollado en el primer periodo corresponden a los contenidos de estudio de la escuela
primaria, lo desarrollado en el segundo periodo corresponde a los contenidos estudiados en
la secundaria, lo correspondiente al tercer periodo son los contenidos estudiados en la forma-
ción profesional, especialmente la de los ingenieros, y lo desarrollado en el cuarto periodo a
lo que se estudia en los programas de pregrado y postgrado en matemáticas. Es un plantea-
miento que consideramos adecuado para señalar los hitos más representativos en el desarrollo
histórico de las Matemáticas.
6 CAPÍTULO 1. GENERALIDADES

1.3.1. El primer perı́odo: De la Aritmética y la Geometrı́a

El primer periodo es el de la formación de la aritmética y la geometrı́a elementales. Inicia en

la época en que el ser humano se reconoce como tal hasta el siglo V A.C. En este periodo,
la actividad matemática se reducı́a a una colección de reglas y procedimientos para resolver
cierto tipo de problemas prácticos de la vida diaria. Estas reglas aún no se formalizaban en
un sistema lógico unificado, aunque, según se afirma en el libro “Elementos de historia de
las matemáticas” [B], los métodos de solución del álgebra babilónica evidencian una gene-
ralidad que solo puede haberse logrado mediante un encadenamiento lógico. En esta etapa
la aritmética y la geometrı́a no se consideraban asuntos independientes ya que la noción de
número estaba arraigada a la medida de magnitudes de figuras geométricas. En el siglo V
A.C. Hipócrates de Chios escribió una exposición sistemática de la geometrı́a en sus Elemen-
tos, obra que es considerada por varios autores como el origen de la matemática pura. En
esta obra, según Bourbaki., debieron presentarse unas reglas de razonamiento elaboradas en
contacto con la experiencia y una base sólida de axiomas, postulados e hipótesis que para los
matemáticos de la época debieron ser evidentes después de múltiples discusiones y crı́ticas.
Esta nueva forma organizada de ver las Matemáticas dio origen a un nuevo periodo en el cual
primaba la forma de razonamiento establecida.

1.3.2. El segundo perı́odo: De las Matemáticas Elementales

El segundo periodo, caracterizado como el de las matemáticas elementales o de las magnitudes

constantes, va desde un poco antes del siglo V AC. Hasta el siglo XVII D.C. y en él se
desarrolla toda la matemática que se estudia en la secundaria. Históricamente este periodo se
divide en el periodo Griego, el de Oriente y el del Renacimiento Europeo. El periodo Griego
coincide con el apogeo de la Cultura Griega época de los grandes geómetras, según Bourbaki,
en esta época los matemáticos, se dedican a la consecución de nuevos resultados a partir
de las bases sentadas en los Elementos de Hipócrates. No solo se sistematizó la geometrı́a
elemental en los Elementos de Euclides, sino que se obtuvieron importantes resultados como
el estudio de las cónicas, algunos teoremas sobre geometrı́a proyectiva y geometrı́a esférica,
algunos elementos de trigonometrı́a y el cálculo de las áreas y volúmenes de algunas figuras
complicadas. También se inició la teorı́a de números, se estudiaron los números primos y
la solución de ecuaciones en los números naturales, se consideraron magnitudes irracionales
desde el punto de vista geométrico. Se establecieron métodos geométricos para determinar
soluciones de ecuaciones cuadráticas y para el cálculo de raı́ces cuadradas y cúbicas. Aunque
en los siglos II y I A.C. los matemáticos Chinos ya habı́an descrito procedimientos para
determinar soluciones aritméticas de algunos sistemas de ecuaciones y para extraer raı́ces
cuadradas y cúbicas, se puede considerar que con los trabajos de Diofanto y Ptolomeo se
inicia el apogeo del álgebra. Sin embargo en este periodo no se llegó al conocimiento de
 1.3. HITOS MÁS IMPORTANTES EN LA EVOLUCIÓN DEL CONOCIMIENTO MATEMÁTICO 7

conceptos importantes del algebra elemental como el cero, los números negativos, los números
irracionales abstractos y un sistema bien desarrollado de sı́mbolos literales.

Con el final del periodo Griego clásico, la matemática en Europa se estancó y el centro del
desarrollo matemático se desplazó hacia India, Asia Central y Arabia. Desde el siglo V al
siglo XV, se produjo un gran desarrollo de la aritmética impulsado por las necesidades de
cálculo en la astronomı́a, que era una de las principales ocupaciones de los matemáticos de
Medio Oriente. Los Indios inventaron el actual sistema de numeración, trabajaron con can-
tidades positivas y negativas relacionadas con el haber y las deudas o con los sentidos de
desplazamiento sobre una recta. Trabajaron también con cantidades racionales e irracionales,
establecieron muchos de los sı́mbolos que usamos para las operaciones algebraicas. En los
trabajos de algunos matemáticos Árabes hacia el siglo XII y XIII se encuentra ya una defini-
ción general de número tanto racional como irracional, definiciones a las que los matemáticos
Europeos llegaron mucho más despacio, solamente hasta después de iniciar el renacimiento
de la matemática en Europa.

La palabra Álgebra aparece ya en un tratado sobre solución de ecuaciones en el siglo IX

con el significado de transposición de términos. El álgebra también se definió en Arabia co-
mo la ciencia de resolver ecuaciones, acepción que se mantuvo hasta el siglo XIX en el que
cambió esencialmente su carácter, pero no su espı́ritu, como la ciencia de las operaciones for-
males. Los matemáticos de Asia Central encontraron métodos para calcular en forma exacta
y aproximada raı́ces de sistemas de ecuaciones, descubrieron la formula general del binomio
(actualmente fórmula del binomio de Newton) y realizaron grandes avances y sistematización
de la trigonometrı́a, calcularon tablas de valores del seno de diferentes ángulos (1427), tam-
bién inventaron las fracciones decimales 150 años antes de que fueran reinventadas en Europa.
En la edad media, en China y en Asia Central, el sistema de numeración decimal incluyendo
fracciones fue completamente construido, como lo fue el álgebra y la trigonometrı́a, también
llegaron a aproximar soluciones para ecuaciones de tercer grado. Esencialmente los únicos
contenidos de los curso actuales de álgebra elemental de secundaria que no se conocı́a antes
del siglo XVI fueron los logaritmos y los números imaginarios.

En la época del renacimiento Europeo, gracias a la traducción de los libros de Euclides, Pto-
lomeo y Al-Kharizmi del Árabe al Latı́n, los matemáticos europeos se volvieron a familiarizar
con la matemática griega y los sistemas de cálculo heredados de los Griegos y Romanos fue-
ron desplazados poco a poco por los nuevos métodos Indios. Sin embargo solamente hasta
el siglo XVI los matemáticos europeos empezaron a hacer nuevos desarrollos, los Italianos
Tartaglia y Ferrari resolvieron la ecuación cúbica general y la ecuación de cuarto grado (los
métodos empleados pertenecen al álgebra superior, teorı́a general de ecuaciones) por la mis-
ma época, los números imaginarios se empezaron a usar de una manera puramente formal,
8 CAPÍTULO 1. GENERALIDADES

sin fundamentación lógica, lo cual solamente se logró hasta el siglo XIX. Finalmente el 1614
Napier escribió acerca de los logaritmos y en 1624 se publicó la primera tabla de logaritmos.
Por la misma época apareció en Europa la Teorı́a combinatoria, las fracciones decimales y la
fórmula general del binomio de Newton, también se empezaron a conocer las progresiones.

Todo este desarrollo estaba preparando el terreno para un cambio fundamental. Solo faltaba
terminar de desarrollar un sistema de sı́mbolos que permitieran representar la abstracción
de números concretos o de magnitudes constantes y la formulación de reglas generales, una
forma de denotar números arbitrarios y operaciones sobre ellos de la misma manera en que,
en la antigüedad, para operar con números naturales se tuvieron que inventar unos sı́mbolos
para ellos. Esta tarea, que inició en el tiempo de los Griegos, solo llegó a su término en el
siglo XVII cuando el sistema de sı́mbolos fue finalmente organizado en los trabajos de Vieta,
Descartes y otros grandes matemáticos.

Es necesario aclarar que con la organización del sistema de sı́mbolos no termina lo que se
denomina la matemática elemental sino que abre el camino a una nueva etapa de generaliza-
ción y abstracción, y los nuevos conceptos y formas de trabajo generados permitirán seguir
desarrollando las matemáticas elementales y aclarando su verdadera esencia.

Ahora el papel principal en las matemáticas es tomado por los conceptos de magnitudes
variables, funciones y lı́mites que dan origen al tercer periodo que inicia en el siglo XVII.

1.3.3. El tercer perı́odo: De las Magnitudes Variables y el Análisis

Tercer periodo es el de las matemáticas de las magnitudes variables o del nacimiento y

desarrollo del análisis. El tema de discusión que obligó a cambiar de estado a las matemáticas
fue el movimiento, tema que ocupó la atención de los fı́sicos durante el silo XVI. Al reflexionar
sobre las propiedades generales del comportamiento variable de magnitudes concretas (como
el tiempo, la velocidad, la distancia recorrida) en un movimiento, los matemáticos empiezan
a gestar el concepto de variable y al reflexionar sobre la interrelación o la dependencia entre
esas magnitudes en el mismo evento se gesta el concepto de función. Ası́ como un número real
es la imagen abstracta del valor particular de una magnitud arbitraria, la variable y la función
son generalizaciones abstractas de magnitudes cambiantes y de las interrelaciones entre ellas.
Nuevamente estamos ante un proceso de abstracción y generalización en matemáticas que
trataremos de describir a continuación.

Una variable matemática es un objeto que puede asumir varios valores numéricos (es muy
diferente a un número general, que a pesar de ser arbitrario es fijo) y las magnitudes variables
fı́sicas sólo son casos particulares de estos objetos. De igual manera, la dependencia particular
entre algunas magnitudes particulares puede ser de la misma clase y expresarse de la misma
 1.3. HITOS MÁS IMPORTANTES EN LA EVOLUCIÓN DEL CONOCIMIENTO MATEMÁTICO 9

manera que la dependencia particular entre otras magnitudes particulares. Si se abstrae la

relación (dependencia) de las magnitudes particulares y se entiende como una dependencia
particular entre variables arbitrarias se llega al concepto de una función matemática parti-
cular. Aquı́ se ha hecho un primer proceso de abstracción y generalización, en cuanto a la
dependencia o interrelación entre magnitudes. Ahora, si de todas esas funciones se abstrae
la idea solamente de dependencia o de interrelación se llega al concepto general de función
como una interrelación arbitraria entre variables arbitrarias. Por lo tanto una función es una
generalización abstracta de la interrelación entre variables arbitrarias que son abstracciones
de variables concretas. Estos son los objetos de estudio del análisis.

Los conceptos de variable y de función no surgieron en forma completa en la mente de Galileo,

Descartes, Newton ni ningún otro. Surgieron de la necesidad de resolver problemas reales de la
ciencia y la técnica, y gracias al trabajo de muchos matemáticos, gradualmente adquirieron
formas más o menos claras pero aun no definitivas. Hasta que en el siglo XIX se dan las
definiciones que conocemos actualmente.

En el siglo XVII, la necesidad de resolver problemas prácticos en astronomı́a, mecánica y

tecnologı́a trae nuevamente a escena las cónicas, estas curvas ya habı́an sido estudiadas pro-
fundamente en la antigua Grecia, por Apolonio, sin embargo los desarrollos alcanzados por él
no eran suficientes para resolver los nuevos problemas. Descartes logra unir la geometrı́a, el
álgebra y las nuevas ideas de variable y función en un método que le permite, no solo resolver
los problemas prácticos planteados en ese momento, sino crear un área muy importante de
las matemáticas, la Geometrı́a Analı́tica (1639). Se considera que es aquı́ donde se ponen los
fundamentos del análisis.

Descartes introduce un sistema de coordenadas para el plano, con este sistema puede asignar
parejas de número reales a los puntos del plano, esto le permite describir los lugares geométri-
cos como conjuntos de puntos cuyas coordenadas satisfacen una ecuación determinada. En
esta ecuación las coordenadas de los puntos (que son números reales arbitrarios) se expresan
mediante números generales tales que por parejas satisfacen la ecuación. Conociendo ya los
primeros conceptos de variable y función y notando que no hay valores únicos de satisfagan la
ecuación planteada sino que para cada valor de una coordenada existe un valor de la otra que
satisface la ecuación Descartes considera las coordenadas como variables y la ecuación como
la función que representa la dependencia de estas. De esta manera una curva del plano se
representa mediante una función dada por una ecuación en dos variables para de esta manera
poder deducir propiedades geométricas de la curva a partir de propiedades algebraicas de la
ecuación. Con éste método, gran cantidad de problemas geométricos se reducen a problemas
algebraicos y de esta manera se resuelven mediante cálculos.

Otro paso fundamental en el desarrollo del análisis que también se inicia en el siglo XVII es
10 CAPÍTULO 1. GENERALIDADES

generado por la necesidad de resolver dos problema prácticos de la mecánica: determinar la

dependencia de la velocidad y el tiempo en un movimiento si se conoce la dependencia entre
la distancia recorrida y el tiempo y determinar la dependencia entre la distancia recorrida y el
tiempo si se conoce la dependencia entre la velocidad y el tiempo. Aunque estos problemas son
muy diferente al que querı́a resolver Descartes, el método de las coordenadas, o la Geometrı́a
Analı́tica, les permitió a Newton y Leibnits representar gráficamente la dependencia entre
las magnitudes y de esta forma relacionar estos problemas con sus análogos en la geometrı́a
clásica, el trazado de tangentes a curvas y el cálculo de áreas, que habı́an sido trabajados
no solo por los antiguos Griegos como Arquı́medes sino por matemáticos contemporáneos
como Kepler y Cavalieri. Combinando los métodos geométricos de los griegos, los de Kepler y
Cavalieri y el método de las coordenadas de Descartes, Newton y Leibnitz crean dos métodos
generales para resolver los problemas de la mecánica planteados. El método de diferenciación
para resolver el primer problema y el de integración para resolver el segundo problema, dando
origen con estos métodos a lo que hoy conocemos como Cálculo Diferencial y Cálculo Integral.
Nuevamente queremos enfatizar que estos desarrollos no son producto de las mentes de estos
dos grandes matemáticos sino de muchos otros matemáticos que con sus aportes prepararon
el terreno para pasar a otro estado en la generalización y la abstracción, como dice el mismo
Newton “Si he podido mirar más lejos es porque estoy sentado en hombros de gigantes”.

La generalización de estos métodos a funciones arbitrarias hizo necesario el desarrollo del

concepto de lı́mite, que reemplazo al de infinitesimal (que fue el usado originalmente), y per-
mitió la aplicación de los métodos a la solución de problemas aparentemente muy diferentes
a los que los motivaron como problemas de optimización. Los métodos actuales de diferen-
ciación e integración se basan en el concepto y una gran influencia del álgebra facilitada por
la definición de lı́mite dada por Weierstrass, la definición épsilon delta.

Se dice que Newton fue obligado a inventar la diferenciación y la integración para desarrollar la
ciencia de la mecánica no solo porque los métodos se fueron haciendo cada vez más poderosos
para resolver los problemas de esta ciencia sino porque el análisis se convirtió en el lenguaje
natural para expresar las leyes y hacerlas operativas en el desarrollo de la teorı́a.

Cada vez se hacı́a más evidente la influencia de las ciencias exactas y de tecnologı́a en el
camino que se abrı́a en la matemática y especialmente en el análisis, la necesidad de crear
métodos para resolver problemas cada vez más complicados generó otras ramas del análisis,
además del cálculo, la teorı́a de series, la teorı́a de ecuaciones diferenciales y la geometrı́a
diferencial que está relacionada con la teorı́a general de curvas y superficies. La teorı́a de
ecuaciones diferenciales considerada como la más importante rama del análisis muestra un
nuevo proceso de abstracción ya que su objeto de estudio son ecuaciones en las que las
incógnitas son funciones. Los problemas que generan esta rama de la matemática son aquellos
 1.3. HITOS MÁS IMPORTANTES EN LA EVOLUCIÓN DEL CONOCIMIENTO MATEMÁTICO 11

en los que se buscan leyes generales, por ejemplo, del movimiento de un cuerpo bajo ciertas
condiciones, de la distribución de velocidades con respecto a la masa total del fluido en
movimiento, etc. Y los métodos generados por matemáticos como Bernoulli, Euler, Lagrange,
Poincaré y muchos otros son aplicables en la mecánica incluyendo la hidrodinámica y la teorı́a
de la elasticidad, en la acústica, en la teorı́a de la electricidad y el electromagnetismo y en
la teorı́a del calor. Y en general en las ciencias exactas y en los desarrollos tecnológicos. En
relación directa con la mecánica Euler y Lagrange fundamentaron el cálculo de variaciones, y
a finales del siglo XIX Poincaré y Lyapunov iniciaron nuevamente desde la mecánica la teorı́a
cualitativa de las ecuaciones diferenciales.

En el siglo XIX Euler y Cauchy desarrollan la teorı́a de funciones de una variable compleja,
teorı́a que se desarrolla rápidamente y permite resolver problemas prácticos de la fı́sica y
la tecnologı́a, y en problemas de la propia matemática que permiten profundizar en sus
fundamentos.

El análisis se convirtió en el centro de las matemáticas e influyo notablemente en las otras

áreas. En álgebra se empezaron a estudiar funciones expresadas en la forma de polinomios de
una o varias variables, la geometrı́a analı́tica y la diferencial empezaron a dominar el campo
de la geometrı́a, y Euler introduce los métodos analı́ticos en la en la teorı́a de números
dando lugar a la teorı́a analı́tica de los números que contiene algunos de sus más profundos
resultados.

Ante el gran desarrollo, la multiplicidad de métodos y conceptos generados, su ramificación y

la potencia que adquirió para resolver problemas cada vez más difı́ciles y profundos hacen que
las bases sentadas por los creadores de los métodos, Newton, Leibnitz, Euler, Lagrange, no
sean suficientes, se necesita una sistematización un análisis crı́tico de sus fundamentos y un
cuidadoso establecimiento de bases razonables. Este periodo de formalización del análisis se
realizó durante el siglo XIX por Bolzano, Cauchy, Weierstrass, Dedekind y Cantor. Se dieron
definiciones precisas de número real, variable función, lı́mite y continuidad.

Con la formalización de una teorı́a matemática, se logra una sı́ntesis de la misma, pero clara-
mente la teorı́a no termina ahı́ sino que en su formalización se aclaran conceptos y se organizan
su desarrollo permitiendo ası́ profundizar y generar nuevos resultados más generales y abs-
tractos. Esto es claro en la formalización del análisis ya que debido a la gran profundización
en sus fundamentos surge la teorı́a matemática que abre las puertas al cuarto periodo del
desarrollo de las matemáticas. Esta nueva teorı́a es la Teorı́a de Conjuntos desarrollada por
Cantor en la segunda mitad del siglo XIX. Esta teorı́a muestra gran proceso de abstracción
y generalización que empieza por sus objetos de estudio: los conjuntos infinitos de objetos
arbitrarios abstractos.
12 CAPÍTULO 1. GENERALIDADES

1.3.4. Cuarto perı́odo: De las Matemáticas Contemporáneas

En este periodo que inicia a finales del siglo XIX, los contenidos son los estudiados en los
pregrados y posgrados de matemáticas y fı́sica, y los estudiados por los cientı́ficos y grandes
investigadores en ciencia y tecnologı́a. Las caracterı́sticas fundamentales que diferencian las
matemáticas contemporáneas de las anteriores son la gran diversidad de objetos de estudio y
aplicaciones debida a la profundidad y el poder de las nuevas teorı́as y métodos. Sus objetos
de estudio son todas las posibles relaciones y formas similares a las espaciales, sistemas
abstractos de objetos con toda las posibles leyes de operaciones entre ellos, interdependencia
de funciones. La formación de conceptos generales con un alto nivel de abstracción, que es lo
que permite la gran generalidad y alcance en las aplicaciones. La dominancia del punto de
vista conjuntista en su desarrollo. El profundo análisis de su fundamentación, de la mutua
influencia de los conceptos, de la estructura de las diferentes teorı́as y de los métodos de
demostración. Las nuevas ramas de las matemáticas son: La geometrı́a, el álgebra, el análisis,
el análisis funcional, la matemática computacional y la lógica matemática.

La geometrı́a. Esta es el área en la que se evidencia más claramente el gran cambio producido
por la abstracción de la geometrı́a del mundo en el que se originó, esto es despojarla de los
objetos particulares o de las formas particulares y ahondar en su verdadero significado. Esta
abstracción convierte a la geometrı́a Euclidiana en un mero caso particular de todo aquello
que se puede denominar geometrı́as por su esencia, a todas las otras posibilidades se les
denomina en general Geometrı́as no Euclidianas. Este trabajo fue iniciado por Lovacesvski
(geometrı́a proyectiva) y Bolyai en 1926. En 1854 Riemman hace otro gran avance, Formula la
idea general de espacio en el que se puede hacer geometrı́a y planteó su posible importancia
en el mundo real. Actualmente en los objetos de estudio de la geometrı́a se empiezan a
incluir muchas otras formas y relaciones del mundo actual con la única condición de que sean
similares a las formas espaciales y además que admitan el uso de los métodos geométricos.
Los nuevos métodos geométricos que se generan son aplicables a la geometrı́a Euclidiana,
por ser un caso particular, y permiten hacer nuevos desarrollos en ésta. Al mismo tiempo las
nuevas geometrı́as permiten entender mejor el mundo que nos rodea y se ajustan mejor a los
desarrollos actuales de las otras ciencias, como la teorı́a de la relatividad.

El álgebra. Antes del siglo XIX el álgebra estaba relacionada con las operaciones con números
concretos arbitrarios (que magnitudes concretas arbitrarias) representados con letras y las
operaciones con ellos se realizaban mediante reglas formales claramente establecidas. La ge-
neralización que cambia el camino del álgebra moderna es considerar la posibilidad de hacer
operaciones formales abstraı́das de las operaciones aritméticas con objetos que no necesaria-
mente son magnitudes constantes arbitrarias, esto implica, con objetos que no necesariamente
son números, sino objetos que se puedan operar con estas operaciones formales. Por ejemplo,
 1.4. EL CAMPO DEL CONOCIMIENTO DE LA MATEMÁTICA 13

para los vectores, las funciones, los movimientos, etc. se definen formalmente operaciones que
se denominan como las conocidas, por el tipo de cálculo que se hace o por la abstracción
del carácter de las correspondientes en aritmética. El gran matemático Galois (1811-1832)
abstrae el concepto general de operación dando origen al estudio de las estructuras abstrac-
tas, esto es conjuntos arbitrarios con operaciones abstractas generales que satisfacen ciertas
propiedades y que de acuerdo con estas propiedades reciben nombres particulares. Grupos,
Anillos, Cuerpos, etc.

1.4. El campo del conocimiento de la matemática

Debido al monumental desarrollo de las Matemáticas a lo largo de su historia y a la per-

manente producción de nuevo conocimiento matemático, el campo de conocimiento de las
matemáticas es, actualmente, tremendamente ámplio. Para echarle un vistazo es conveniente
dividirlo en diferentes áreas. Estas divisiones, que no son completamente nı́tidas ya que cada
vez se encuentran más interrelaciones entre ellas, se hacen con diferentes propósitos. Para
ilustrar una de las divisiones que se usan hoy en dı́a podemos mencionar el Mathematics
Subject Classification de la Sociedad Americana de Matemáticas, aceptado universalmente
por las publicaciones especializadas para ubicar el tema o temas principales de un artı́culo o
texto matemático. La presentación del primer nivel de este sistema de clasificación tiene el
propósito de ilustrar rápidamente la ámplitud del campo de conocimiento de las Matemáti-
cas. Este nivel está definido por las siguientes áreas principales (éstas se dividen en subáreas,
que se dividen en otras subáreas, que a su vez se dividen en otras y ası́ sucesivamente):

Fundamentación.

• General: incluye tópicos como matemáticas recreativas, filosofı́a de las matemáticas, y

modelamiento matemático.

• Historia y biografı́a.

• Lógica matemática y fundamentación, teorı́a de modelos, teorı́a de la computación, teorı́a

de conjuntos, teorı́a de la demostración, y lógica algebraica.

Matemáticas discretas y álgebra.

• Combinatoria.

• Teorı́a del orden.

• Sistemas algebraicos generales

• Teorı́a de números.
14 CAPÍTULO 1. GENERALIDADES

• Teorı́a de campos y polinomios.

• Anillos conmutativos y álgebras.

• Geometrı́a algebraica.

• Algebra lineal y multilineal, y teorı́a de matrices.

• Anillos asociativos y álgebras asociativas.

• Anillos no asociativos y álgebras no asociativas

• Teorı́a de Categorı́as y álgebra homológica.

• K-teorı́a

• Teorı́a de grupos y generalizaciones.

• Grupos topológicos, grupos de Lie and análisis sobre ellos.

Análisis.

• Funciones reales, incluyendo derivadas e integrales

• Medida e integración.

• Funciones complejas, incluyendo teorı́a de la aproximación en el dominio complejo.

• Teorı́a de potencial

• Varias variables complejas y espacios analı́ticos.

• Funciones especiales.

• Ecuaciones diferenciales ordinarias

• Ecuaciones diferenciales parciales.

• Sistemas dinámicos y teorı́a ergódica.

• Ecuaciones en diferencias y ecuaciones funcionales.

• Sucesiones, series y sumabilidad.

• Aproximaciones y expansiones

• Análisis armónico, incluyendo análisis de Fourier, transformada de Fourier, aproximaciones

trigonométricas interpolación trigonométrica, y funciones ortogonales.
 1.4. EL CAMPO DEL CONOCIMIENTO DE LA MATEMÁTICA 15

• Análisis armónico abstracto.

• Transformadas integrales, cálculo operacional.

• Ecuaciones integrales.

• Análisis funcional incluyendo holomorfı́a infinito-dimensional, transformadas integrales en

espacios de distribución.

• Teorı́a de operadores.

• Cálculo de variaciones y control óptimo, optimización incluyendo teorı́a de integración

geométrica.

Geometrı́a y topologı́a.

• Geometrı́a

• Geometrı́a convexa y geometrı́a discreta.

• Geometrı́a diferencial

• Topologı́a general.

• Topologı́a algebraica.

• Variedades.

• Análisis global, análisis en variedades, incluyendo holomorfı́a en dimensión infinita.

Matemáticas aplicadas.

• Teorı́a de probabilidades y procesos estocásticos.

• Estadı́stica

• Análisis numérico.

• Ciencias de la computación

• Mecánica, incluyendo mecánica de partı́culas.

• Mecánica de sólidos deformables.

• Mecánica de fluidos.

• Optica, y teorı́a electromagnética.

16 CAPÍTULO 1. GENERALIDADES

• Termodinámica clasica y transferencia de calor.

• Teorı́a cuántica.

• Mecánica estadı́stica, estructura de la materia.

• Relatividad y teorı́a gravitacional, incluyendo mecánica relativista

• Astronomı́a y astrofı́sica

• Geofı́sica.

• Investigación de operaciones, programación matemática

• Teorı́a de juegos, ciencias económicas, sociales y de comportamiento.

• Biologı́a y otras ciencias naturales.

• Teorı́a de sistemas, control, incluyendo control óptimo

• Información, comunicación y circuitos.

• Educación matemática.

Todas estas áreas son el resultado de la evolución de los conceptos y teorı́as que tuvieron lugar
debido a las transformaciones que se lograron a lo largo de la historia que dieron lugar a pro-
fundos cambios en todos los campos básicos de las matemáticas: álgebra, geometrı́a y análisis.
El ejercicio de descripción de las áreas de la disciplina ha conducido a una división un poco
diferente. Ésta consta de las áreas Geometrı́a (conemporáneas), Algebra (contemporánea),
Análisis Clásico (contemporáneo), Análisis Funcional, Matemáticas Computacionales y Lógi-
ca Matemática.

La Geometrı́a, que tuvo sus orı́genes en el primer perı́odo de evolución de las matemáticas, en
la actualidad está muy lejos de su primera fundamentación en los Elementos de Euclides. La
consideración de geometrı́as no euclidianas iniciada por Lobacevski y la posibilidad propues-
ta por Riemann de investigar geométricamente una infinidad de espacios, dieron lugar a un
desarrollo inusitado de esta área en el siglo XX y que continúa en el siglo XXI. El significado
de espacio cambió y los métodos geométricos permitieron investigar en otros contextos y a
comprender mejor el mundo fı́sico. Además, otras propiedades de los objetos geométricos y
otra clase de objetos empezaron a ser objeto de estudio de la geometrı́a lo que dio lugar a
nuevas ramas de esta área. Surgieron nuevas nociones de espacios como los espacios proyecti-
vos, los espacios euclidianos, los espacios de Riemann, los espacios topológicos, etc. Surgieron
ası́ nuevas áreas de conocimiento como la geometrı́a diferencial, la geometrı́a discreta, la
 1.4. EL CAMPO DEL CONOCIMIENTO DE LA MATEMÁTICA 17

topologı́a general, la topologı́a algebraica y el análisis global (análisis en variedades), entre

otras.

El Álgebra, en su forma original, trataba con operaciones matemáticas con números abs-
traı́dos de números concretos. Dicha abstracción se reflejaba en el hecho de representar los
números por letras sobre las cuales se realizaban operaciones siguiendo una serie de reglas
establecidas. El álgebra contemporánea ha mantenido este espı́ritu pero le da cabida a opera-
ciones con magnitudes mucho más generales cuyas propiedades son análogas a las operaciones
aritméticas elementales como la adición, la substracción, la multiplicación y la división. Se
consideran espacios junto con algunas operaciones que reflejan las propiedades de operacio-
nes con magnitudes vectoriales que tuvieron su origen en la suma de vectores usando la ley
del paralelogramo. Éste es solamente un ejemplo del tipo de operaciones que pueden consi-
derarse objeto de estudio del álgebra y todas estas consideraciones conducen al estudio de
estructuras conformadas por ciertos elementos que se operan de acuerdo con ciertas reglas
preestablecidas. Estos nuevos objetos matemáticos aparecieron en la segunda mitad del siglo
XIX con los trabajos del matemático francés Galois. A partir de ese momento, y hasta nuestra
era, las estructuras algebraicas han tenido aplicaciones en análisis, geometrı́a y fı́sica, sólo
para mencionar algunas. Teorı́as como combinatoria, teorı́a de números, teorı́a de grupos,
teorı́a de campos, teorı́a de anillos y de álgebras, geometrı́a algebraica y álgebra geométrica,
teorı́a de categorı́as, álgebra homológica y K-teorı́a, podrı́an considerarse ramas del Álgebra
contemporánea.

El Análisis tuvo sus orı́genes cuando se comenzó a modelar el movimiento, lo que dio lugar
a los conceptos de función, lı́mite, integral, derivada y magnitud variable. Los esfuerzos de
formalización de estos conceptos, incluido el de número real como lo conocemos hoy en dı́a,
comenzaron con los matemáticos Bolzano y Cauchy a comienzos del siglo XIX y terminados
casi en su forma actual a finales del mismo siglo por matemáticos como Weierstrass, Dedekin
y Cantor. Gracias a Cantor, quien estudió por primera vez el concepto de infinito, se dio
lugar a la teorı́a de conjuntos, los números cardinales y los números ordinales, ideas que
tuvieron una influencia decisiva para precisar los conceptos de diferenciabilidad e integración
y sus generalizaciones. Ası́, a comienzos del siglo XX surgió la nueva teorı́a de funciones
de variable real impulsada por matemáticos como Lebesgue, Borel y Luzin. Aparecieron
nuevas teorı́as como la teorı́a de aproximaciones, preocupada por la aproximación de funciones
mediante funciones más elementales como los polinomios, o los polinomios trigonométricos, y
que dió lugar a la teorı́a constructiva de funciones liderada por Berenstein. Otras teorı́as que
comenzaron a desarrollarse fueron, por ejemplo, la teorı́a de funciones de variable compleja,
la teorı́a cualitativa de las ecuaciones diferenciales iniciada por Liapunov y Poincaré, y la
teorı́a de ecuaciones integrales. Ası́, se dieron soluciones a problemas relacionados con la
estabilidad del movimiento, de la acción de mecanismos y la vibración de sistemas eléctricos.
18 CAPÍTULO 1. GENERALIDADES

En la actualidad podrı́an considerarse ramas del análisis a las teorı́as de la medida y la

integración abstracta, el análisis real, el análisis complejo, la teorı́a de las funciones especiales,
las ecuaciones diferenciales (ordinarias y parciales), la teorı́a de sistemas dinámicos, la teorı́a
ergódica, la teorı́a de aproximaciones, el análisis armónico y el cálculo de variaciones, entre
otas.

El Análisis Funcional es el resultado del desarrollo del análisis clásico, la fı́sica matemática, el
álgebra y la geometrı́a. Ésta es una área muy extensa de las Matemáticas cuyos inicios fueron
dados por grandes matemáticos como Hilbert, Riez y Banach. En Análisis Clásico el objeto
central es el concepto de variable abstraida del concepto de número. En Análisis Funcional
el objeto central es el concepto de función como punto de un nuevo espacio, abstraido de las
propiedades comunes de ciertas clases de funciones. Los espacios vectoriales en este contexto
son espacios funcionales en los que sus elementos son funciones definidas en un dominio
común y que comparten una o varias propiedades. Por ejemplo, el espacio de funciones reales
continuas definidas en un intervalo real. La transición del estudio de funciones particulares
a funciones como variables en cierto espacio es similar a la transición de números generales
a variables. De la misma forma cómo surgió la geometrı́a analı́tica al explotar las relaciones
geometro-algebraicas mediante la introducción de sistemas de coordenadas en el espacio, el
Análisis Funcional surge de la consideración de funciones variables junto con ideas del álgebra
y la geometrı́a contemporáneas. Ası́ como el Análisis Clásico permitió el estudio de la mecánica
clásica, el Análisis Funcional permitió el estudio de la mecánica cuántica es decir de la fı́sica
del átomo. Algunas áreas de estudio del Análisis Funcional son los espacios de Hilbert, los
Espacios de Banach, la teorı́a de operadores, las álgebras C ∗ , la teorı́a de las transformadas
integrales y el cálculo operacional, la teorı́a de distribuciones, teorı́a de holomorfı́a y la teorı́a
de operadores.

Matemática Computacional surge a partir de la introducción de modernas máquinas de cálcu-

lo (ordenadores o computadoras) que permitieron la realización de complicadas cadenas de
cálculo con una excepcional rapidez. Esta posibilidad dio un renovado impulso a los métodos
de aproximación junto con una revisión de los métodos de cálculo matemático para estudiar
su adaptación a los procesos de cálculo de las máquinas mediante programas escritos con tal
propósito.

Lógica Matemática es el área que surge por la preocupación de la fundamentación de las

Matemáticas, necesidad sentida por la introducción de las axiomáticas, particularmente con
el surgimiento de las geometrı́as no euclidianas y las axiomatizaciones de la aritmética y el
análisis. Grandes matemáticos como Rusell, Whitehead y Hilbert fueron pioneros del uso
de la lógica y la teorı́a de conjuntos para entender la fundamentación de las Matemáticas.
Hilbert propuso a comienzos del siglo XX demostrar la consistencia de las teorı́as que comen-
 1.4. EL CAMPO DEL CONOCIMIENTO DE LA MATEMÁTICA 19

zaban a organizarse mediante la definición de sistemas axiomáticos, particularmente la teorı́a

aritmética de Peano. Al tratar de dar respuesta a la pregunta de Hilbert, Goedel mostró que
si sólo se aceptan procedimientos de demostración que se formulen dentro de la aritmética
entonces la pregunta de Hilbert no podı́a ser contestada. Sin embargo, Gentzen demostró la
consistencia de la aritmética de Peano dentro de un sistema mucho más débil que la teorı́a
de conjuntos. Se pudo demostrar que casi toda la matemática ordinaria se puede formalizar
consistentemente en términos de conjuntos pero que hay algunos teoremas que no pueden
ser demostrados en sistemas axiomáticos comunes para la teorı́a de conjuntos. Actualmente
el trabajo sobre la fundamentación de las matemáticas se enfoca principalmente en esta-
blecer las partes de las Matemáticas que se pueden formalizar dentro de un sistema formal
particular, en lugar de tratar de encontrar teorı́as en las que puedan desarrollarse todas las
Matemáticas. Las áreas principales de la Lógica Matemática en nuestros dı́as son la teorı́a
de conjuntos, la teorı́a de modelos, la teorı́a de recursión y la teorı́a de la demostración y las
matemáticas constructivas.
20 CAPÍTULO 1. GENERALIDADES
 CAPÍTULO 2

Lógica informal

El lenguaje de las matemáticas ha cambiado a través del tiempo, desde la época griega
hasta los inicios del renacimiento, el lenguaje por excelencia de la matemática fue el de la
geometrı́a, pero con el surgimiento de los sistemas de referencia cartesianos y la geometrı́a
analı́tica nace el simbolismo moderno de la matemática. Pero más allá del simbolismo propio
de la matemática, puede decirse inicialmente que, el lenguaje de la matemática es el que surge
del estudio de los conceptos de: elemento, conjunto, espacio, número y verdad.

Por otro lado, también de manera muy general, puede decirse que de lo que trata la ma-
temática es de hacer afirmaciones y a la luz de ciertas teorı́as confirmar o negar su validez.

2.1. Las proposiciones

Para construir éste lenguaje de la matemática surge un primer concepto que es el de proposi-
ción, entendida como una afirmación sobre la que se puede decir si es verdadera o falsa, pero
no ambas. Decir que es verdadera o falsa es el llamado valor de verdad de la proposición,
en estos apuntes utilizaremos 1 para el valor de verdad verdadero y 0 para el valor de verdad
falso.

2.1.1. Proposiciones básicas

Las proposiciones que llamaremos básicas o elementales las denotaremos con letras minúscu-
las, digamos p, q, r, ... etc. y son las proposiciones primigenias, es decir que no están dadas
en términos de otras proposiciones.

21
22 CAPÍTULO 2. LÓGICA INFORMAL

Ejemplo 1
De las siguientes afirmaciones decir cuáles son proposiciones y cuáles no. Argumentar la
respuesta. (No se trata de hallar el valor de verdad.)

1. Todos los números primos son impares.

2. La suma de dos números pares es par.

3. ¡Está tarde!

4. π = 3,1416

5. Existe por lo menos un número primo par.

6. Está haciendo mucho frı́o.

7. Todo número par mayor que 2 puede ser escrito como la suma de dos números primos1 .

8. Algunos números pares pueden ser escritos como la suma de dos números primos.

9. x + y > 15

10. x3 > x2

Salvo las afirmaciones 3 y 6, todas las demás son proposiciones. Ahora bien, dar el valor de
verdad es otra cosa. Por ejemplo, es absolutamente claro que la proposición 4 es falsa y la 2
es verdadera, sin embargo comprobar este hecho es tema que trataremos más adelante. Por
otro lado, no hay duda en que las afirmaciones 9 y 10 son proposiciones, sin embargo dar su
valor de verdad no es inmediato puesto que dependen de unas variables, llamadas variables
libres, y las proposiciones de este tipo son llamadas predicados, en las cuales se debe dar
información adicional sobre la naturaleza y valor de las variables para poder decidir sobre
el valor de verdad de la proposición o predicado. Si en la proposición 10 tomamos x = 2,
entonces es verdadera; pero si es x = 21 , entonces es falsa.

Las afirmaciones 3 y 6, a pesar de que son frases con sentido, presentan una ambigüedad y
pueden ser verdaderas y falsas simultáneamente dado que dependen de una percepción. En
cuanto a la afirmación siete no hay duda en que es una proposición, sin embargo es lo que
se conoce en matemáticas como una conjetura, que son proposiciones de las cuales no se ha
logrado demostrar que son verdaderas o que son falsas.
1
Este enunciado es famoso y se conoce como La conjetura de Goldbach.
 2.1. LAS PROPOSICIONES 23

2.1.2. Ejercicios
Clasifique las siguientes afirmaciones como proposiciones o no, justificando la clasificación.
Para las que resulten ser proposiciones, de su valor de verdad o explique por qué no es posible
hallarlo.

1. 1 + 2 = 3

2. Dos rectas en el plano son paralelas o se cortan en un único punto.

3. La suma de los ángulos internos de cualquier triángulo es 180◦ .

4. Existe por lo menos un número real x tal que x2 + 1 = 0.

5. Un número natural es par o es impar.

6. Si n es un número natural, entonces todo número de la forma n2 + n es par.

7. x2 − x − 6 = 0.

8. Hace frı́o.

9. Espérame, por favor.

10. n es un número natural.

11. x + y = y + x para cualesquiera números reales x e y.

2.1.3. Conectivos lógicos y proposiciones compuestas

Las proposiciones básicas o elementales se combinan utilizando conectivos lógicos para
formar proposiciones compuestas o fórmulas bien formadas que se caracterizan porque
su valor de verdad puede ser determinado a partir de los valores de verdad de las proposiciones
básicas que la conforman, estos valores de verdad se organizan en una tabla llamada tabla de
verdad para la proposición. Para denotar las proposiciones compuestas utilizaremos letras
mayúsculas como por ejemplo P , Q, R y si es necesario resaltar las variables básicas que la
conforman entonces colocaremos P (p, q, r, ...).

A continuación se definen los conectivos lógicos más usuales.

24 CAPÍTULO 2. LÓGICA INFORMAL

Conjunción. Denotada con el sı́mbolo ∧ (que se lee y).

Dadas las proposiciones p q se puede cons-

truir una nueva proposición p ∧ q cuyo valor p q p∧q
de verdad es verdadero sólo en el caso en que 1 1 1
tanto p como q son verdaderos. A continua- 1 0 0
ción aparece su tabla de verdad. 0 1 0
0 0 0

Disjunción. Denotada con el sı́mbolo ∨ (que se lee o).

Dadas las proposiciones p q se puede cons-

truir una nueva proposición p ∨ q cuyo valor p q p∨q
de verdad es verdadero cuando por lo menos 1 1 1
uno de los dos p o q es verdadero. A conti- 1 0 1
nuación su tabla de verdad. 0 1 1
0 0 0

Disjunción exclusiva. Denotada con el sı́mbolo ⊗ (que se lee ó).

Dadas las proposiciones p q se puede cons-

truir una nueva proposición p ⊗ q cuyo valor p q p⊗q
de verdad es verdadero cuando exactamente 1 1 0
uno de los dos p o q es verdadero. A conti- 1 0 1
nuación su tabla de verdad. 0 1 1
0 0 0

Condicional o Implicación. Denotada con el sı́mbolo → (que se lee Si – entonces).

Dadas las proposiciones p q se puede construir

una nueva proposición p → q que está carac- p q p→q
terizada porque el valor de verdad de p debe 1 1 1
implicar lógicamente el valor de verdad de q, 1 0 0
esto sólo puede fallar si p es verdadero y q 0 1 1
falso. A continuación su tabla de verdad. 0 0 1

El condicional es el conectivo lógico que permite empezar a realizar deducciones, p es llamado

el antecedente y q el consecuente. Obsérvese que si p → q es verdadero y p es verdadero
entonces necesariamente q tiene que ser verdadero. Otras formas de leer el condicional p → q,
además de “Si p entonces q” son: p implica q, q si p, p sólo si q, p es condición suficiente para
q y q es condición necesaria para p.
 2.1. LAS PROPOSICIONES 25

Bicondicional o doble implicación. Denotada con el sı́mbolo ↔ (que se lee si y solo si).

Dadas las proposiciones p q se puede construir

una nueva proposición p ↔ q cuyo valor de p q p↔q
verdad es verdadero si p y q tienen el mismo 1 1 1
valor de verdad. A continuación su tabla de 1 0 0
verdad. 0 1 0
0 0 1

Negación. Denotada con el sı́mbolo ¬ (que se lee no).

Dada la proposición p existe otra ¬p cuyo

valor de verdad es verdadero si p es falso y p ¬p
viceversa. A continuación su tabla de verdad. 1 0
0 1

Obsérvese que los primeros cinco conectivos son binarios, es decir que actúan sobre dos
proposiciones para formar una tercera, mientras que la negación es unaria, es decir que actúa
sobre una única proposición.

Ejemplo 2
Construir tablas de verdad para cada una de las siguientes proposiciones compuestas.

1. (p → q) → [(p ∨ r) → (q ∧ r)]

2. [(p ∧ q) → r] → ¬ [p → (q → r)]

Solución.
La cantidad de filas en una tabla es de 2n , donde n es el número de proposiciones elementales.
El estudiante debe justificar esta afirmación. De acuerdo con esta situación, en estos
apuntes, haremos el siguiente acuerdo: para la primera proposición se colocan la mitad de
unos y luego la otra mitad de ceros, en la siguiente proposición la mitad de la mitad de unos
y luego igual cantidad de ceros y ası́ sucesivante. En los siguientes ejemplos se observa esta
organización. Este orden no es importante, sin embargo nos permitirá comparar los resultados
rápidamente.

Por otro lado, para construir la tabla básicamente se tienen dos posibilidades: La primera
es ir construyendo las proposiciones compuestas que están involucradas, desde la más simple
hacia la más compleja terminado con la proposición completa, la segunda es escribir toda la
proposición y bajo cada conectivo lógico colocar los valores de verdad correspondientes, en
este caso se debe resaltar la solución.
26 CAPÍTULO 2. LÓGICA INFORMAL

1. Para esta primera tabla procederemos de la primera forma.

p q r p → q p ∨ r q ∧ r (p ∨ r) → (q ∧ r) (p → q) → [(p ∨ r) → (q ∧ r)]
1 1 1 1 1 1 1 1
1 1 0 1 1 0 0 0
1 0 1 0 1 0 0 1
1 0 0 0 1 0 0 1
0 1 1 1 1 1 1 1
0 1 0 1 0 0 1 1
0 0 1 1 1 0 0 0
0 0 0 1 0 0 1 1
2. Esta tabla la construiremos utilizando la segunda opción, la alineación de los valores de
verdad es muy importante.
p q r [(p ∧ q) → r] → ¬ [p → (q → r)]
1 1 1 1 1 0 0 1 1
1 1 0 1 0 1 1 0 0
1 0 1 0 1 0 0 1 1
1 0 0 0 1 0 0 1 1
0 1 1 0 1 0 0 1 1
0 1 0 0 1 0 0 1 0
0 0 1 0 1 0 0 1 1
0 0 0 0 1 0 0 1 1

2.1.4. Ejercicios
1. Si p es verdadero, q es falso y r es falso, hallar el valor de verdad de cada una de las
siguientes proposiciones compuestas.

a) (p ∨ q) ∧ (r → p)
b) p ⊗ (r ↔ q)
c) (p ↔ q) ∧ (¬q ∨ r)
d ) ¬ [(p ∨ q) → ¬(p ∧ r)]

2. Construir tablas de verdad para las siguientes proposiciones compuestas.

a) p ∧ (p → q)
b) (p → q) → [(p ∨ ¬q) → (p ∧ q)]
c) [(p ∨ q) ∧ r] → (p ∧ ¬q)
d ) [(p → q) ∧ (q → r)] → (p → r)
 2.1. LAS PROPOSICIONES 27

2.1.5. Equivalencias lógicas

En el lenguaje de las proposiciones también existe la “igualdad” entre proposiciones, es
llamada equivalencia lógica en el sentido de que si dos proposiciones toman los mismos
valores de verdad para las mismas combinaciones de valores de verdad de las proposicio-
nes elementales que las componen, entonces son lógicamente equivalentes. Es decir que si
P (p, q, r, ...) y Q(p, q, r, ...) son equivalentes lógicamente, entonces la tabla de verdad para
P (p, q, r, ...) ↔ Q(p, q, r, ...) debe ser siempre verdadera, una tabla de verdad con estas carac-
terı́sticas es llamada una tautologı́a, por otro lado, si en una tabla de verdad su valor de
verdad es siempre falso es llamada una contradicción.

Si dos proposiciones P (p, q, r, ...) y Q(p, q, r, ...) son lógicamente equivalentes lo denotaremos
como P (p, q, r, ...) ≡ Q(p, q, r, ...). En la siguiente tabla se resumen las más importantes
equivalencias lógicas, en ésta 1 denotará tautologı́a y 0 contradicción.

1 ¬¬p ≡ p Doble negación

2 p∨q ≡ q∨p Leyes conmutativas
3 p∧q ≡ q∧p
4 p↔q ≡ q↔p
5 (p ∨ q) ∨ r ≡ p ∨ (q ∨ r) Leyes asociativas
6 (p ∧ q) ∧ r ≡ p ∧ (q ∧ r)
7 (p ↔ q) ↔ r ≡ p ↔ (q ↔ r)
8 (p ⊗ q) ⊗ r ≡ p ⊗ (q ⊗ r)
9 p ∨ (q ∧ r) ≡ (p ∨ q) ∧ (p ∨ r) Leyes distributivas
10 p ∧ (q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r)
11 p∨p ≡ p Leyes de idempotencia
12 p∧p ≡ p
13 p∨0 ≡ p Leyes de identidad
14 p∨1 ≡ 1
15 p∧0 ≡ 0
16 p∧1 ≡ p
17 p ∨ ¬p ≡ 1
18 p ∧ ¬p ≡ 0
19 ¬(p ∨ q) ≡ ¬p ∧ ¬q Leyes de DeMorgan
20 ¬(p ∧ q) ≡ ¬p ∨ ¬q
21 (p ∧ q) ≡ ¬(¬p ∨ ¬q)
22 (p ∨ q) ≡ ¬(¬p ∧ ¬q)
23 (p → q) ≡ ¬q → ¬p Contra recı́proca
24 (p → q) ≡ ¬p ∨ q Implicación
25 (p → q) ≡ ¬(p ∧ ¬q)
28 CAPÍTULO 2. LÓGICA INFORMAL

26 (p ∨ q) ≡ ¬p → q
27 (p ∧ q) ≡ ¬(p → ¬q)
28 (p → r) ∧ (q → r) ≡ (p ∨ q) → r
29 (p → q) ∧ (p → r) ≡ p → (q ∧ r)
30 (p → q) ∧ (q → p) ≡ p↔q Equivalencia
31 (p ∧ q) → r ≡ p → (q → r) Ley de exportación
32 (p → q) ≡ (p ∧ ¬q) → 0 Reducción al absurdo
33 p⊗q ≡ ¬(p ↔ q) Disjunción exclusiva
Tabla 1: Equivalencias Lógicas

Es importante tener en cuenta que las variables lógicas que aparecen en la tabla representan
cualquier proposición, incluso podrı́a ser compuesta. Esta tabla junto con otra que estudia-
remos en la próxima sección serán centrales para argumentar en procesos de “demostración
formales” que estudiaremos luego.

Ejemplo 3
Utilizar la tabla de equivalencias lógicas para comprobar que

p ∨ (p ∧ q) ≡ p

Solución.
p ∨ (p ∧ q) ≡ (p ∧ 1) ∨ (p ∧ q) por 16
≡ p ∧ (1 ∨ q) por 10
≡ p∧1 por 14
≡ p por 16

2.1.6. Ejercicios
1. Construir tablas de verdad para verificar que en la tabla 1 los numerales 7, 8, 9, 28, 29
y 31 son correctos.

2. Para cada una de las siguientes afirmaciones decir si es verdadera o falsa, si es verdadera
comprobarla utilizando las equivalencias dadas en la anterior tabla, como en el ejemplo
3, y si es falsa buscar una combinación de valores de verdad que ası́ lo garantice.

a) p ⊗ p ≡ p
b) (p → q) → r ≡ p → (q → r)
c) p ⊗ q ≡ (p ∨ q) ∧ ¬(p ∧ q)
d ) p → (q → r) ≡ (p → q) → (p → r)
e) p ⊗ (q → r) ≡ (p ⊗ q) → (p ⊗ r)
 2.2. DEMOSTRACIONES FORMALES 29

f ) p ⊗ (q ↔ r) ≡ (p ↔ q) ⊗ r

3. Construir proposiciones que sean lógicamente equivalentes a ¬p, p ∨ q, p ∧ q, p → q,

p ↔ q y p ⊗ q pero que solamente utilicen los conectivos ¬ y ∨.

4. Construir proposiciones que sean lógicamente equivalentes a ¬p, p ∨ q, p ∧ q, p → q,

p ↔ q y p ⊗ q pero que solamente utilicen los conectivos ¬ y ∧.

2.2. Demostraciones formales

Sin duda un concepto central en toda la matemática es el de teorema y por supuesto la

demostración de teoremas. En principio un teorema es una proposición compuesta y
obviamente puede ser verdadera o falsa, pero la proposición que se llame teorema se espera
que sea verdadera, de lo contrario se le quitará esta connotación.

Formalmente un teorema es una proposición compuesta que tiene dos partes, una primera
es una serie de afirmaciones (proposiciones) que son llamadas las hipótesis del teorema,
asumidas ciertas y consistentes2 , y una segunda parte llamada conclusión de la cual se
quiere probar su veracidad a partir de las hipótesis. Técnicamente lo que se quiere es probar
que las hipótesis implican lógicamente a la conclusión, donde la implicación lógica tiene
la misma connotación que la equivalencia lógica, es decir P (p, q, r, ..) implica lógicamente a
Q(p, q, r, ...) si la proposición P (p, q, r, ..) → Q(p, q, r, ...) es una tautologı́a y se denotará por
P (p, q, r, ..) ⇒ Q(p, q, r, ...).

Si las hipótesis son H1 , H2 ,..., Hn y la conclusión C, de lo que se trata es de probar que

H1 ∧ H2 ∧ · · · ∧ Hn ⇒ C, también se utiliza un esquema vertical de la forma

H1
H2
..
. (1)
Hn
∴C

donde el sı́mbolo ∴ se lee por lo tanto. Con la notación dada en (1) se genera un concepto
llamado regla de inferencia, en el que, a partir de la veracidad de las hipótesis se puede
deducir la veracidad de la conclusión.

La demostración formal de un teorema consiste en que, a partir de las hipótesis consi-

deradas verdaderas, se pueda deducir la conclusión; a través de razonamientos válidos. Un
razonamiento es válido si:
2
Un conjunto de hipótesis es inconsistente, si de sus proposiciones se puede deducir una contradicción. Si
las hipótesis no son inconsistentes, son llamadas consistentes.
30 CAPÍTULO 2. LÓGICA INFORMAL

• Es una hipótesis.

• Puede ser deducido de las hipótesis utilizando alguna regla de inferencia.

• Puede ser deducido a partir de pasos válidos utilizando alguna regla de inferencia.

• Es una tautologı́a conocida.

Esquemáticamente se debe tener un procedimiento como el siguiente

Pasos Proposiciones Justificaciones

1. H1 Hipótesis
2. H2 Hipótesis
..
.
n. Hn Hipótesis
n + 1. P1 Justificación
..
.
n + k. pk Justificación
C Justificación

Obsérvese que la cantidad de pasos en el proceso debe ser finito y que además cada uno de
los pasos debe ser plenamente justificado.

En la siguiente tabla se presentan las implicaciones lógicas más usuales, en ésta 1 deno-
tará tautologı́a y 0 contradicción.

34 p ⇒ p∨q Adición
35 p∧q ⇒ p Simplificación
36 p→0 ⇒ ¬p Absurdo
37 p ∧ (p → q) ⇒ q Modus ponendo ponens
38 (p → q) ∧ ¬q ⇒ ¬p Modus tollendo tollens
39 (p ∨ q) ∧ ¬p ⇒ q Modus tollendo ponens
40 (p ↔ q) ∧ (q ↔ r) ⇒ (p ↔ r) Transitiva de ↔
41 (p → q) ∧ (q → r) ⇒ (p → r) Silogismo hipotético
42 (p → q) ∧ (r → s) ⇒ (p ∨ r) → (q ∨ s) Dilemas constructivos
43 (p → q) ∧ (r → s) ⇒ (p ∧ r) → (q ∧ s)
44 (p → q) ∧ (r → s) ⇒ (¬q ∨ ¬s) → (¬p ∨ ¬r) Dilemas destructivos
45 (p → q) ∧ (r → s) ⇒ (¬q ∧ ¬s) → (¬p ∧ ¬r)

Tabla 2: Implicaciones Lógicas

Para simplificar las justificaciones se da un listado básico de reglas de inferencia que se utilizan
con mucha frecuencia en los procesos de argumentación en las demostraciones formales.
 2.2. DEMOSTRACIONES FORMALES 31

Obsérvese que a partir de cada implicación lógica se puede escribir una regla de inferencia y
por tanto, a partir de cada equivalencia lógica se pueden escribir dos reglas de inferencia. A
continuación se presentan algunas.
P
P →Q Modus ponendo ponens (MPP)
∴Q

P →Q
¬Q Modus tollendo tollens (MTT)
∴ ¬P

P ∨Q
¬Q Modus tollendo ponens (MTP)
∴P

P ∨Q
P ∨R Distributiva
∴ P ∨ (Q ∧ R)

P →Q
R→S Dilema constructivo (DC)
∴ (P ∨ R) → (Q ∨ S)

P →Q
Q→R Silogismo hipotético (SH)
∴P →R

P
Q Adjunción (A)
∴P ∧Q

P ∧Q
Simplificación (S)
∴P

A continuación se presentan un par de ejemplos de demostraciones formales.

Ejemplo 4
Demostrar el teorema que tiene como hipótesis:
32 CAPÍTULO 2. LÓGICA INFORMAL

H1 : (s ∨ g) → p
H2 : p → a
y como conclusión
C: ¬a → ¬g
Demostración

Deducciones Justificaciones
1. (s ∨ g) → p Hipótesis
2. p→a Hipótesis
3. g → (g ∨ s) Tautologı́a, Adición
4. g → (s ∨ g) Conmutativa en 3
5. g→p SH entre 4 y 1
6. g→a SH entre 5 y 2
7. ¬a → ¬g Contra recı́proca en 6
Ejemplo 5
Demostrar el teorema que tiene como hipótesis:
H1 : ¬p → ¬q
H2 : r → ¬s
H3 : (¬q ∨ ¬s) → t
y como conclusión
C: ¬t → (p ∧ ¬r)
Demostración

Deducciones Justificaciones
1. ¬p → ¬q Hipótesis
2. r → ¬s Hipótesis
3. (¬q ∨ ¬s) → t Hipótesis
4. (¬p ∨ r) → (¬q ∨ ¬s) DC entre 1 y 2
5. (¬p ∨ r) → t SH entre 4 y 3
6. ¬t → ¬(¬p ∨ r) Contra recı́proca en 5
7. ¬t → (¬¬p ∧ ¬r) DeMorgan en 6
8. ¬t → (p ∧ ¬r) Doble negación en 7
En estos dos ejemplos de demostraciones formales se ha deducido la conclusión a partir
de las hipótesis, este procedimiento es conocido como demostración directa, pero también
existen otras técnicas, y una muy utilizada es la llamada demostración por contradicción
o por reducción al absurdo en la que se razona de la siguiente manera Como todas las
hipótesis son verdaderas, si suponemos que la conclusión es falsa y esto nos lleva a deducir una
contradicción entonces es por que la conclusión no puede ser falsa. En términos de notación
 2.2. DEMOSTRACIONES FORMALES 33

lógica se tiene el siguiente esquema.

Pasos Proposiciones Justificaciones

1. H1 Hipótesis
2. H2 Hipótesis
..
.
n. Hn Hipótesis
n + 1. ¬C Negación de la conclusión
n + 2. P1 Justificación
..
.
n + k. pk Justificación
Contradicción Justificación

lo que garantiza la veracidad de la conclusión C.

Ejemplo 6
Dar una demostración por contradicción del teorema del ejemplo 4.
Demostración

Deducciones Justificaciones
1. (s ∨ g) → p Hipótesis
2. p→a Hipótesis
3. ¬(¬a → ¬g) Negación de la conclusión
4. ¬(a ∨ ¬g) Definición de → en 3
5. ¬a ∧ g DeMorgan en 4
6. ¬a Simplificación en 5
7. g Simplificación en 5
8. ¬p MTT entre 6 y 2
9. ¬(s ∨ g) MTT entre 8 y 1
10. ¬s ∧ ¬g DeMorgan en 9
11. ¬g Simplificación en 10
12. g ∧ ¬g Adjunción entre 7 y 11
13. Contradicción en 12

2.2.1. Ejercicios
1. Verificar que en la tabla 2 los numerales 38, 39, 41, 43 y 45 son correctos.

2. Construir una tabla de reglas de inferencia que incluya por lo menos 20 reglas de
inferencia.
34 CAPÍTULO 2. LÓGICA INFORMAL

3. Dar una demostración directa para cada uno de los siguientes teoremas. en cada caso
C indica la conclusión.

a) H1 : p → (q ∨ r) H3 : ¬(p → s)
H2 : q → s C : q ∧ ¬r
H3 : r → t e) H1 : (p ∨ q) → ¬r
C : p → (s ∨ t) H2 : s → p
b) H1 : p → (q ∧ r) H3 : t → q
H2 : (q ∨ s) → t H4 : s ∨ t
H3 : p ∨ s C : ¬r ∨ u
C:t
c) H1 : p → (q → r) f ) H1 : ¬p → q
H2 : p ∨ ¬s H2 : r → q
H3 : q H3 : r ∨ ¬p
C:s→r H4 : ¬q ∨ s
d ) H1 : p → q C:s
H2 : r → s

4. Dar una demostración por contradicción para cada uno de los teoremas del numearal
anterior.

5. Para cada uno de los siguientes argumentos asignar variables para las proposiciones ele-
mentales que aparecen y luego escribir el argumento en términos lógicos con estructura
de teorema3 . Dar una demostración directa para cada uno de ellos.

a) Si estudio o si soy un genio, entonces aprobaré el curso de geometrı́a. Si apruebo el

curso, entonces me permitirán tomar el curso de álgebra lineal. Por consiguiente,
si no me permiten tomar álgebra lineal, entonces no soy un genio.
b) Si no especifico las condiciones iniciales, entonces mi programa no empezará. Si
programa un ciclo infinito, entonces mi programa no terminará. Si mi programa
no empieza o no termina, entonces mi programa falla. Por consiguiente, si mi
programa no falla, entonces especifiqué las condiciones iniciales y no programé un
ciclo infinito.

6. Dar una demostración por contradicción para cada uno de los argumentos del numearal
anterior.
3
Tomados de: Matemáticas discretas. Kenneth A. Ross & Charles R.B. Wright. Prentice-Hall. Segunda
edición
 2.3. CUANTIFICADORES 35

2.3. Cuantificadores

En el capı́tulo anterior se estudiaron las proposiciones elementales y las proposiciones com-

puestas o fórmulas bien formadas, pero en algunos ejemplos aparecieron proposiciones que
dependen de una variable libre, como por ejemplo p(x) : x2 − 1 = 0 cuyo valor de verdad
depende del valor que tome la variable x. Las proposiciones que dependen de una variable
libre también se conocen como predicados y por tanto su estudio es llamado el cálculo de
predicados.

Obsérvese que si tenemos un predicado p(x), con x ∈ R, entonces es posible que p(x) sea
verdadera para algunos valores de x, para ningún valor de x o para todos los valores de x.
Para poder manejar mejor la situación se define el conjunto4 de validez de la proposición p(x)
como el conjunto VP dado por

VP = {x ∈ R | p(x) es verdadera }

donde R es el conjunto referencial para el enunciado de la proposición. También se introducen

dos sı́mbolos nuevos llamados cuantificadores: ∀ conocido como cuantificador universal y se lee
para todo y ∃ conocido como cuantificador existencial y se lee existe. Entonces, los predicados
acompañados de los cuantificadores se convierten en proposiciones mucho más precisas y se
comportan como se muestra en la siguiente tabla:

Proposición Se lee Es verdadera si Es falsa si

(∀x ∈ R) (p(x)) Para todo x ∈ R se VP = R VP 6= R
cumple p(x)
(∃x ∈ R) (p(x)) Existe por lo menos VP 6= φ VP = φ
un x ∈ R tal que
p(x) se cumple

Cuando el conjunto referencial se ha dado de manera general para trabajar, entonces simple-
mente se escribe (∀x) (p(x)) y (∃x) (p(x)) o simplemente ∀x p(x) y ∃x p(x).

Obsérvese que si por ejemplo R = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} y p(x) es un predicado con x ∈ R

entonces decir que (∀x ∈ R)(p(x)) es verdadera es lógicamente equivalente a decir que la
proposición p(0) ∧ p(1) ∧ · · · ∧ p(9) es verdadera, es decir que el cuantificador universal se
comporta como una conjunción generalizada. Similarmente, decir que (∃x ∈ R)(p(x)) es
verdadera es lógicamente equivalente a decir que la proposición p(0) ∨ p(1) ∨ · · · ∨ p(9) es
verdadera, luego el cuantificador existencial se comporta como una disjunción generalizada.

Teniendo en cuenta el anterior comentario parece claro extender las leyes de DeMorgan, que
4
El concepto de conjunto será estudiado en el siguiente capı́tulo.
36 CAPÍTULO 2. LÓGICA INFORMAL

nos proporcionan una manera de negar una proposición que involucre los cuantificadores, ası́:

¬((∀x)(p(x))) ≡ (∃x)(¬p(x)) y también ¬((∃x)(p(x))) ≡ (∀x)(¬p(x))

Si lo enunciamos en palabras seguramente resulta más convincente. Decir que no es cierto

que para todo x de R se cumpla p(x), es equivalente a decir que existe por lo menos un x en
R tal que p(x) no se cumple. Similarmente se tiene el otro enunciado.

Para redondear esta rápida presentación de los cuantificadores simplemente tener en cuenta
que si en un predicado aparece más de una variable libre, entonces es necesario utilizar un
cuantificador por cada una de ellas.

2.3.1. Ejercicios.
1. Dar el valor de verdad de las siguientes proposiciones, en todos los casos el referencial
es R.

a) (∀x)(x2 − 1 = 0)
b) (∀x∀y)(x2 + y 2 = 9)
c) (∀x∀y)(|x| + |y| = 1)
d ) (∀x∃y)(x2 + y 2 = 9)
e) (∀x∃y)(|x| + |y| = 1)
f ) (∃x∀y)(x2 + y 2 = 9)
g) (∃x∀y)(|x| + |y| = 1)

2. Hallar las negaciones de las proposiciones del ejercicio anterior y hallar su valor de
verdad.

2.4. Ejercicios misceláneos

1. Suponer que las operaciones indicadas en los ejercicios se efectúan en los números reales
y son las usuales. Dar el valor de verdad de las siguientes proposiciones.

a) Si 2 + 3 = 4 entonces 52 = 25
b) Si 2 + 3 = 5 entonces 52 = 25
c) Si 2 + 3 = 5 entonces 52 = 20
d ) Si 2 + 3 = 4 entonces 52 = 20
√
e) 23 = 8 si y sólo si 3 8 = 2
√
f ) 23 = 6 si y sólo si 2 8 = 2
 2.4. EJERCICIOS MISCELÁNEOS 37

g) 2 + 2 = 4 o (2)(2) = 6
h) 2 + 2 = 4 y (2)(2) = 6

2. Utilizar tablas de verdad para justificar si las proposiciones P y Q dadas son o no

lógicamente equivalentes.

a) P : (p → q) ∧ (r → s)
Q : (p ∨ r) → (q ∨ s)
b) P : p → q
Q : ¬(p ∧ ¬q) → r
c) P : [(p ↔ q) ∨ (p → r)] → (q ∧ p)
Q : [¬(p ⊗ q) ∨ (p ∨ ¬r)] ∨ ¬(q ∧ p)

3. Construir una proposición compuesta que sea verdadera cuando:

a) Exactamente una de las proposiciones p, q o r sea verdadera. En los demás casos

debe ser falsa.
b) Exactamente dos de las proposiciones p, q o r sean verdaderas. En los demás casos
debe ser falsa.

4. Se define un nuevo conectivo llamado “no y” o nand cuyo sı́mbolo es | y está definido
por
¬(p ∧ q) ≡ p|q

Construir proposiciones que sean lógicamente equivalentes a ¬p, p ∨ q, p ∧ q, p → q y

p ↔ q pero que solamente utilicen el conectivo |.

5. Se define un nuevo conectivo llamado “no o” o nor cuyo sı́mbolo es ↓ y está definido
por
¬(p ∨ q) ≡ p ↓ q

Construir proposiciones que sean lógicamente equivalentes a ¬p, p ∨ q, p ∧ q, p → q y

p ↔ q pero que solamente utilicen el conectivo ↓.

6. Obsérvese que en los dos ejercicios anteriores se han definido dos nuevos conectivos
lógicos binarios, entonces es válida la siguiente pregunta ¿Cuántos conectivos binarios
diferentes es posible definir?. Contestar esta pregunta Justificando la respuesta.

7. Verificar que los siguientes conjuntos de proposiciones son inconsistentes. Deducir una
contradicción en cada caso.
38 CAPÍTULO 2. LÓGICA INFORMAL

a) P1 : ¬q → r c) P1 : p → q
P2 : ¬r ∨ s P2 : q → r
P3 : ¬ (p ∨ q) P3 : ¬ (r ∨ ¬p)
P4 : ¬p → ¬s
b) P1 : t ∨ ¬r d ) P1 : p → q
P2 : ¬ (r → s) P2 : ¬q ∨ r
P3 : t → s P3 : ¬ (r ∨ ¬p)

8. Para cada uno de los siguientes teoremas dar una demostración formal directa, en cada
caso C indica la conclusión.

a) H1 : (t → p) ∧ ¬q C : ¬r
H2 : r
H3 : ¬r ∨ t d ) H1 : p → q
C : ¬q ∧ p H2 : ¬r → s
H3 : ¬q ∨ ¬s
b) H1 : ¬t ∨ s C:p→r
H2 : r → q e) H1 : p → q
H3 : t ∧ r H2 : r → s
H4 : (t ∧ s) → ¬p H3 : (q ∧ s) → (p ∧ t)
C : ¬p H4 : ¬t
C : p → ¬r
c) H1 : p → ¬q f ) H1 : p ∨ (q → r)
H2 : ¬q → ¬s H2 : q ∨ r
H3 : (p → ¬s) → ¬t H3 : r → p
H4 :r→t C:p

9. Para cada uno de los teoremas del ejercicio anterior dar una demostración formal por
contradicción.

10. Pasar cada uno de los siguientes argumentos a notación lógica y luego dar una prue-
ba formal para verificar que es un argumento válido. Si en algún caso se cree que el
argumento es no válido, entonces dar un contraejemplo.

a) Si James juega con el Real Madrid, entonces el Real Madrid Gana. Si James no
juega con el Real Madrid, entonces el real madrid pierde. De ahı́ que el Realmadrid
gana o pierde.
b) No es posible que Juan sea a la vez ajedresista y ciclista. Juan es ciclista o no es
futbolista. De ahı́ que si Juan es futbolista, entonces no es ajedresista.
 2.4. EJERCICIOS MISCELÁNEOS 39

c) Si mis cálculos son correctos y pago la cuenta de electricidad, me quedaré sin

dinero. Si no pago la cuenta de electricidad, me cortarán la corriente. Por lo tanto,
si no me he quedado sin dinero y no me han cortado la corriente, entonces mis
cálculos son incorrectos.
d ) Si obtengo el puesto y trabajo duro entonces me ascenderán. Si me ascienden
seré feliz. No seré feliz. Por lo tanto, o no obtendré el puesto o no trabajaré duro.
40 CAPÍTULO 2. LÓGICA INFORMAL
 CAPÍTULO 3

Teorı́a intuitiva de conjuntos

Otro de los conceptos básicos para poder formalizar la matemática es el de conjunto que
se maneja de manera intuitiva, pero se puede precisar principalmente a través de sus pro-
piedades. En este capı́tulo haremos un rápido estudio de las principales propiedades de los
conjuntos y recordaremos los conjuntos numéricos.

3.1. Conjuntos y conjuntos numéricos

Intuitivamente un conjunto es una agrupación de elementos como por ejemplo el conjunto

de pupitres de un salón de clase, el conjunto de estudiantes de un programa dentro de una
universidad, el conjunto de Departamentos de Colombia, el conjunto de los números naturales,
el conjunto de los números pares, etc. Obsérvese que se intenta definir lo que es un conjunto
nombrando los elementos que lo conforman, pero entonces ¿qué es un elemento?, serı́a cómodo
decir que son los que conforman los conjuntos, pero entonces quedarı́a una definición circular
que realmente no define nada.

Por otro lado, existe una relación entre los elementos de un conjunto y el conjunto, se dice que
un elemento pertenece o no pertenece a un conjunto dependiendo si el elemento hace parte
o no del conjunto. Ası́ las cosas, tenemos tres conceptos: Elemento, conjunto y pertenencia
que no son fáciles de definir de una manera precisa, pero que intuitivamente todos sabemos
de qué se trata; por tal razón tomaremos estos tres conceptos como básicos sobre los que
se construye la teorı́a intuitiva de conjuntos, pero sı́ aclararemos la relación entre ellos y
estudiaremos las propiedades más importantes que los caracterizan.

41
42 CAPÍTULO 3. TEORÍA INTUITIVA DE CONJUNTOS

De acuerdo con lo anterior, diremos que un conjunto está conformado por elementos y que los
elementos pertenecen a los conjuntos, lo cual se denota con el sı́mbolo ∈ que se lee “pertenece
a”. Los conjuntos los denotaremos con letras mayúsculas como A, B, C,... o A1 , A2 , A3 ,... y
los elementos con letras minúsculas como a, b, c,... o a1 , a2 , a3 ,... La notación con subı́ndices
es muy importante cuando la cantidad de elementos o de conjuntos es muy grande.

Para definir un conjunto lo podemos hacer de dos formas básicas: listando todos sus elementos
o dando una propiedad que los caracteriza. En el primer caso se dice que el conjunto está dado
por extensión y en el segundo por comprensión.

Para denotar que el elemento x hace parte del conjunto A, lo escribimos x ∈ A. Para indicar
que un elemento no está o no pertenece a un conjunto se utiliza el sı́mbolo ∈.
/

3.1.1. Conjuntos especiales

Es posible hacer una cantidad muy grande de ejemplos de conjuntos que sean cercanos o
conocidos para los estudiantes, sin embargo para estudiar matemáticas existen unos conjuntos
muy especiales llamados conjuntos numéricos, con los que los estudiantes están familiarizados
y han trabajado a lo largo de su formación básica. Para poder definir estos conjuntos se
utilizarán algunos conceptos y operaciones que los estudiantes ya manejan, sobre los cuales
estudiaremos más adelante. A continuación se presentan sus definiciones.

Los naturales. Estos números surgen de la necesidad de contar y enumerar, se denotan con
la letra N . Simbólicamente
N = {1, 2, 3, ...}.

Los enteros. Los números enteros, denotados con la letra Z, surgen agregando una marca a
cada uno de los números naturales y un número especial. Los enteros marcados son llamados
enteros negativos y los que no tienen marca enteros positivos, además el número especial que
no es ni negativo ni positivo es el 0 (cero). Simbólicamente
Z = {..., −4, −3, −2, −1, 0, 1, 2, 3, 4, ...}.

Los racionales. Los números racionales, denotados con la letra Q, surgen al realizar cocientes
entre números enteros y simplificar el resultado. Simbólicamente
Q = { pq | p, q ∈ Z, q es diferente de cero, y además pq está simplificado}.

Recordemos que cuando se efectúa la división entre dos números enteros aparece una expresión
llamada representación decimal del número racional. En el caso de los números racionales, esta
expresión decimal sólo tiene dos posibilidades o tiene parte decimal finita o infinita repetitiva.
Por ejemplo 14 = 0,25 pero 31 = 0,33333. Teniendo en cuenta la representación decimal, se
puede dar otra definición para los números racionales, pero que resulta ser equivalente con la
 3.2. OPERACIONES ENTRE CONJUNTOS 43

anterior, ası́:
Q = {x| x tiene parte decimal finita o infinita repetitiva }

Los irracionales. Los números irracionales, denotados con la letra I, son números decimales
con parte decimal infinita no repetitiva. Algunos de los números irracionales más conocidos
√
son: 2 la longitud de la diagonal en un cuadrado de lado 1,√ π que representa el cociente
entre la longitud de una circunferencia y su diámetro, φ = 1+2 5 el número de oro, e la base
de los logaritmos naturales o neperianos, entre otros.

Los reales. Los números reales, denotados con la letra R, son la reunión de los números
racionales con los irracionales.

3.1.2. Ejercicios
1. Encontrar por extensión cada uno de los siguientes conjuntos.

a) El conjunto A de todos los números reales tales que x3 + x2 − 17x + 15 = 0

b) A = {n ∈ N| n es un número primo menor que 100}
c) A = n1 | n ∈ B sabiendo que B = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10}


d ) El conjunto conformado por los números de carné de los estudiantes de INTM del
presente semestre.
e) El conjunto conformado por los nombres de los signos zodiacales.

2. Encontrar una definición por compresión para los siguientes conjuntos.

a) A = {1, 4, 9, 16, 25, 36, 49, 64, 81, 100}

b) A = {1, 31 , 15 , 17 , 19 , 11
1 1 1
, 13 , 15 }
c) A = { 21 , 23 , 34 , 45 , 56 , 67 , 87 }
d ) A = {tetraedro, cubo, octaedro, dodecaedro, icosaedro}

3. Hallar la representación decimal de los siguientes números racionales: 45 , 23 , 78 , 34 , 56 , 37 ,

8 5 20 150
9, 7, 3 y 4 .

4. Hallar p, q ∈ Z tales que pq represente cada uno de los siguientes números racionales:
0, 75; 1, 27; 7, 3535 y 33, 33.

3.2. Operaciones entre conjuntos

Lo primero que se ocurre hacer con los conjuntos es definir unas operaciones entre ellos y revi-
sar qué propiedades cumplen. Lo que encontraremos es que los conjuntos con las operaciones
44 CAPÍTULO 3. TEORÍA INTUITIVA DE CONJUNTOS

de unión, intersección y complemento no se diferencian algebraicamente de las proposiciones

con la conjunción, disyunción y la negación. A continuación se dan las definiciones de las
mencionadas operaciones entre conjuntos.

Unión.
Dados dos conjuntos A y B se define la unión entre A y B, denotada por A ∪ B, como un
nuevo conjunto conformado por los elementos que pertenecen a A o a B. Simbólicamente se
tiene
A ∪ B = {x|x ∈ A ∨ x ∈ B}

Nota.
Obsérvese que x ∈ A es una proposición.

Intersección.
Dados dos conjuntos A y B se define la intersección entre A y B, denotada por A ∩ B,
como un nuevo conjunto conformado por los elementos que pertenecen tanto a A como a B.
Simbólicamente se tiene
A ∩ B = {x|x ∈ A ∧ x ∈ B}

Antes de definir la otra operación pensemos un poco sobre un par de ejemplos:

1. Consideremos el conjunto solución de la ecuación x2 − 2 = 0.

a) Obsérvese que para poder contestar es necesario precisar más, porque dependiendo
dónde se encuentre la x el conjunto solución puede ser uno u otro.
b) Si cambiamos el enunciado por ejemplo: Consideremos el conjunto de todos los
números reales x tales que x2 − 2 = 0, tenemos que el conjunto está conformado
√ √
por los números − 2 y 2.
c) Si cambiamos el enunciado por ejemplo a: Consideremos el conjunto de todos los
números naturales x tales que x2 −2 = 0, tenemos inmediatamente que el conjunto
no tiene elementos.

2. Consideremos el conjunto de todos los hombres que miden más de 1,8 metros.

a) Nuevamente parece ser que el conjunto es ambiguo, que no está bien definido, que
depende de.
b) Si cambiamos el enunciado a: Consideremos el conjunto de todos los hombres de
la ECI que miden más de 1,8 metros.
 3.2. OPERACIONES ENTRE CONJUNTOS 45

c) Si cambiamos el enunciado a: Consideremos el conjunto de todos los hombres de

Colombia que miden más de 1,8 metros.
d ) Obsérvese que tanto en el caso b) como en el c) el conjunto es más preciso y a
pesar de que no se pueda contestar rápidamente cuál es el conjunto, como en el
ejemplo 1, si es claro que los dos definen conjuntos diferentes.

En los dos ejemplos que acabamos de ver surgen dos conjuntos muy especiales: uno es un
conjunto de referencia llamado Conjunto referencial que es el conjunto de donde vamos a
tomar los elementos para saber si cumplen o no con la condición que define el conjunto que
se quiere describir; el otro conjunto es el que aparece en el caso c) del ejemplo 1 y que podrı́a
también aparecer en el ejemplo 2 si pidiéramos por ejemplo considerar el conjunto de todos los
hombres de Colombia que miden más de 2,8 metros, este conjunto es el que no tiene elementos
y es llamado el conjunto vacı́o, denotado por ∅. Obsérvese que ∅ = {}, pero ∅ = 6 {{}}, ¿por
qué?

Ahora si podemos definir la operación de complemento.

Complemento.
Dado un conjunto A se define su complemento A′ como el conjunto conformado por los
elementos que están en el conjunto de referencia pero que no están en A, simbólicamente
tenemos que, si R es el conjunto de referencia, entonces

A′ = {x|x ∈ R, pero x ∈
/ A}

Estas tres operaciones básicas pueden ser representadas gráficamente, mediante los llamados
diagramas de Venn, de la siguiente forma:
R
A B

A∪B

R
A B

A∩B
46 CAPÍTULO 3. TEORÍA INTUITIVA DE CONJUNTOS

A′

3.2.1. Ejercicios
1. Considerar el conjunto referencial R = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} y los conjuntos A =
{0, 2, 4, 6, 8} B = {1, 3, 5, 7, 9} C = {3, 4, 5, 6, 7, 8}, para encontrar los siguientes con-
juntos. En cada caso hacer una representación gráfica en diagrama de Venn.

a) A ∪ B j ) A′ ∪ B ′ r ) (A ∩ B)′
b) A ∪ C k ) A′ ∪ C ′
s) (A ∩ C)′
c) B ∪ C l) B′ ∪ C′
t) (B ∩ C)′
d) A ∩ B m) A′ ∩ B ′
e) A ∩ C n) A′ ∩ C ′ u) A ∩ B ′
f) B∩C ñ) B ′ ∩ C ′
v ) A ∪ B′
′
g) A′ o) (A ∪ B)
w ) B ∩ C′
h) B′ p) (A ∪ C)′
i ) C′ q) (B ∪ C)′ x ) C ∪ B′

2. En el ejercicio anterior encontrar los conjuntos que dan el mismo resultado y escribir
las igualdades correspondientes.

3.3. Contenencia, igualdad y álgebra de conjuntos

Tenemos ya establecida la relación que existe entre un elemento y un conjunto, la pertenencia.

Ahora estudiaremos un par de relaciones entre conjuntos; la contenencia y la igualdad.

Dados dos conjuntos A y B se dice que A está contenido en B, denotado A ⊆ B, si

todo elemento de A es también elemento de B, en este caso también se dice que A es un
subconjunto de B. Si se tiene que A ⊆ B y B ⊆ A entonces es porque A y B tienen los
mismos elementos, es decir son iguales, esto se denota escribiendo A = B. Si se sabe que
A está contenido en B, pero que no son iguales, entonces se dice que A es un subconjunto
propio de B y se denota por A ⊂ B.

Veamos un par de ejemplos

 3.3. CONTENENCIA, IGUALDAD Y ÁLGEBRA DE CONJUNTOS 47

Sabemos que: N ⊂ Z ⊂ Q ⊂ R

Si A es el conjunto conformado por todos los estudiantes de la Escuela, B el conjunto

conformado por todos los estudiantes de la Escuela que estudian Ingenierı́a Industrial y
C el conjunto conformado por todas las estudiantes de la Escuela que estudian Ingenierı́a
Industrial, entonces es claro que C ⊂ B ⊂ A.

Si A = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9}, B = {0, 2, 4, 6, 8}, C = {1, 3, 5, 7, 9} y D = {2, 3, 4, 5, 6},

se tiene que B ⊂ A, C ⊂ A, D ⊂ A, pero B * C B * D, C * B. Es muy importante
tener en cuenta que existen conjuntos que no son comparables.

Cualquier conjunto contiene al ∅. ¡Probarlo!

Q∪I=R

Si A = {n|n es par } y B = {m|m es impar }, entonces Z = A ∪ B.

Para comprobar que A es subconjunto de B debe justificarse que todo elemento de A es

también elemento de B, es decir que

x∈A→x∈B⇔A⊆B

Por otro lado, para probar que dos conjuntos son iguales debe probarse que A ⊆ B y que
B ⊆ A.

Ejemplo 1
Comprobar que para conjuntos arbitrarios A, B, C se tiene que A ∪ (B ∩ C) = (A ∪ B) ∩
(A ∪ C).
Prueba

Sea x ∈ A ∪ (B ∩ C) ⇒ x ∈ A ∨ x ∈ (B ∩ C)
⇒ x ∈ A ∨ (x ∈ B ∧ x ∈ C)
⇒ (x ∈ A ∨ x ∈ B) ∧ (x ∈ A ∨ x ∈ C)
⇒ x ∈ (A ∪ B) ∧ x ∈ (A ∪ C)
⇒ x ∈ ((A ∪ B) ∩ (A ∪ C))
Luego se ha probado que A ∪ (B ∩ C) ⊆ (A ∪ B) ∩ (A ∪ C) y similarmente se puede probar
que (A ∪ B) ∩ (A ∪ C) ⊆ A ∪ (B ∩ C) de donde se concluye la igualdad deseada.
48 CAPÍTULO 3. TEORÍA INTUITIVA DE CONJUNTOS

Nota.
Para probar que A no está contenido en B es suficiente con exhibir un
elemento que está en A pero no está en B.

Recordando el conjunto referencial se tiene que si x ∈

/ A entonces nece-
′
sariamente x ∈ A .

Si x ∈
/ (A ∪ B) es por que x ∈
/Ayx∈
/ B.

Si x ∈
/ (A ∩ B) es por que x ∈
/Aox∈
/ B.

Si R es el conjunto referencial y ∅ es el conjunto vacı́o, se tiene la siguiente tabla del álgebra

de conjuntos.
1 A∪B =B∪A leyes conmutativas
2 A∩B =B∩A
3 (A ∪ B) ∪ C = A ∪ (B ∪ C) leyes asociativas
4 (A ∩ B) ∩ C = A ∩ (B ∩ C)
5 A ∪ (B ∩ C) = (A ∪ B) ∩ (A ∪ C) leyes distributivas
6 A ∩ (B ∪ C) = (A ∩ B) ∪ (A ∩ C)
7 A∪A=A leyes de idempotencia
8 A∩A=A
9 A∪∅=A leyes de identidad
10 A∪R=R
11 A∩∅=∅
12 A∩R=A
13 (A′ )′ = A doble complemento
14 A ∪ A′ = R
15 A ∩ A′ = ∅
16 R′ = ∅
17 ∅′ = R
18 (A ∪ B)′ = A′ ∩ B ′ leyes de DeMorgan
19 (A ∩ B)′ = A′ ∪ B ′
Tabla 3: Álgebra de conjuntos

3.3.1. Otras operaciones entre conjuntos

A partir de la unión, la intersección y el complemento se pueden definir otras dos operaciones
que son usuales entre conjuntos.
 3.3. CONTENENCIA, IGUALDAD Y ÁLGEBRA DE CONJUNTOS 49

Diferencia
Dados dos conjuntos A y B se puede formar un nuevo conjunto con los elementos que están
en A y no están en B, este conjunto es llamado la diferencia de A con B y se denota por
A − B.

Diferencia simétrica
Dados dos conjuntos A y B se puede formar un nuevo conjunto con los elementos que están
en A o están en B, pero no están en ambos, este conjunto es llamado la diferencia simétrica
de A con B y se denota por A△B.

Nota.
Es obvio que A − B = A ∩ B ′ y que A△B = (A ∪ B) − (A ∩ B)

Utilizando el álgebra de conjuntos se tiene que

A△B = (A ∪ B) − (A ∩ B)
= (A ∪ B) ∩ (A ∩ B)′
= (A ∪ B) ∩ (A′ ∪ B ′ )
= ((A ∪ B) ∩ A′ ) ∪ ((A ∪ B) ∩ B ′ )
= (A ∩ A′ ) ∪ (B ∩ A′ ) ∪ (A ∩ B ′ ) ∪ (B ∩ B ′ )
= ∅ ∪ (B − A) ∪ (A − B) ∪ ∅
= (A − B) ∪ (B − A)

Ejemplo 2
Si R = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9}, A = {0, 2, 4, 6, 8}, B = {1, 3, 5, 7, 9} y C = {2, 3, 4, 5, 6},
calcular A − C, C − A, A△C, B − C, C − B, B△C
Solución.
A − C = {0, 8}
C − A = {3, 5}, obsérvese que A − C 6= C − A.
A△C = {0, 3, 5, 8}
B − C = {1, 7, 9}
C − B = {2, 4, 6}, obsérvese que B − C 6= C − B.
B△C = {1, 2, 4, 6, 7, 9}

Dado un conjunto, digamos A, existe un conjunto muy especial relacionado con A, es el

llamado conjunto potencia de A o conjunto de partes de A, denotado por ℘(A).

Ejemplo 3
Dado A = {a, b, c} hallar ℘(A).
Solución.
50 CAPÍTULO 3. TEORÍA INTUITIVA DE CONJUNTOS

℘(A) = {φ, {a}, {b}, {c}, {a, b}, {a, c}, {b, c}, {a, b, c}}.
Obsérvese que φ ⊂ {a} ⊂ {a, b} ⊂ {a, b, c}, pero no todos los elementos de ℘(A) son
comparables a través de la contenencia.

3.3.2. Ejercicios
1. Comprobar que en la tabla del álgebra de conjuntos no hay errores.

2. Sean R, A, B, C como en el ejemplo 2. encontrar:

a) (A ∪ B) − C ′ e) A△(B△C)
b) (A ∩ C) − (A′ ∪ C) f ) A ∪ (B△C)
c) A ∩ B ′ ∩ C ′ g) (A ∪ B)△(A ∪ C)
d ) (A△B)△C h) A′ ∪ B ′ ∪ C ′

3. Si A ⊆ B probar que A ∩ B = A y A ∪ B = B.

4. Sean A, B y C conjuntos, todos subconjuntos de un Referencial R. Demostrar que: (Es

bueno que antes de realizar cada prueba se realice un diagrama de Venn para visualizar
la situación.)

a) A − (B − C) = (A − B) ∪ (A ∩ C)
b) A ∩ (B − C) = (A ∩ B) − (A ∩ C)
c) A ∪ (B − C) = (A ∪ B) − (C − A)
d ) A△B = B△A
e) A ∩ (B△C) = (A ∩ B)△(A ∩ C)
f ) (A ∪ B ∪ C)′ = A′ ∩ B ′ ∩ C ′
g) (A ∩ B ∩ C)′ = A′ ∪ B ′ ∪ C ′
h) A ∩ B ⊆ A
i) A ∩ B ⊆ B
j ) A ⊆ (A ∪ B)
k ) Si A ⊆ C y B ⊆ C, entonces (A ∪ B) ⊆ C
l ) Si A ⊆ B y A ⊆ C, entonces A ⊆ (B ∩ C)

5. Piense a qué pueden ser iguales los siguientes conjuntos y luego intente demostrarlo.
A△A, A△∅, A△R, recuerde que R es el referencial.
 3.4. PRODUCTO CARTESIANO, RELACIONES Y FUNCIONES 51

6. Para cada una de las siguiente afirmaciones decidir si es verdadera o es falsa. En caso
de ser verdadera, dar una demostración y en caso de ser falsa dar un contraejemplo.
Recuerde que R es el Referencial.

a) Si (A ∪ B) ⊆ (A ∩ B) entonces A = B.
b) (A ∩ ∅) ∪ B = B
c) A − (B − C) = (A − B) − C
d ) Si A ∩ B = A ∩ C entonces B = C
e) Si A ∪ B = A ∪ C entonces B = C
f ) Si A ∩ B = A ∩ C y A ∪ B = A ∪ C entonces B = C
g) Si A△B = A△C entonces B = C

7. Si A = {a, b, c, d}, hallar ℘(A).

3.4. Producto cartesiano, relaciones y funciones

3.4.1. Producto cartesiano

Para poder hablar del producto cartesiano primero debemos estudiar el concepto de par
o pareja ordenada, denotada por (a, b) en la que los elemento a y b pertenecen a ciertos
conjuntos que pueden ser iguales o diferentes. Lo más importante en una pareja ordenada
es que el orden es importante, es decir (1, 2) es diferente de (2, 1). Formalmente, la pareja
ordenada (a, b) es igual a la pareja ordenada (x, y) si y solamente si a = x y b = y. Recuérdese
que en un conjunto no importa el orden en que aparezcan los elementos, sin embargo en una
pareja ordenada si, por tal razón {a, b} no es lo mismo que (a, b).

Ahora sı́ podemos hablar del producto cartesiano de dos conjuntos. Dados dos conjuntos A
y B se define el producto cartesiano de A con B, denotado A × B, de la siguiente forma:

A × B = {(a, b)| a ∈ A y b ∈ B}

Obsérvese que, en general A × B 6= B × A.

Ejemplo 4
Si A = {1, 2, 3, 4} y B = {a, b, c} entonces tenemos:

A × B = {(1, a), (2, a); (3, a); (4, a); (1, b), (2, b); (3, b); (4, b); (1, c), (2, c); (3, c); (4, c)}
52 CAPÍTULO 3. TEORÍA INTUITIVA DE CONJUNTOS

Nota.
Si A = φ o B = φ entonces A × B = φ.

Si (x, y) ∈ A × B ⇔ x ∈ A ∧ y ∈ B.

Si (x, y) ∈ A × B entonces x es llamada la primera componente o coor-

denada de la pareja (x, y) y y la segunda componente o coordenada de
la pareja (x, y).

Ejemplo 5
Si A, B, C 6= φ, comprobar que A × (B ∪ C) = (A × B) ∪ (A × C)
Solución.
Para comprobar la igualdad debemos tomar una pareja ordenada que pertenezca al primer
conjunto y comprobar que también está en el segundo y viceversa, como se muestra a conti-
nuación.
(x, y) ∈ A × (B ∪ C) ⇔ x ∈ A ∧ y ∈ (B ∪ C)
⇔ x ∈ A ∧ (y ∈ B ∨ y ∈ C)
⇔ (x ∈ A ∧ y ∈ B) ∨ (x ∈ A ∧ y ∈ C)
⇔ ((x, y) ∈ A × B) ∨ ((x, y) ∈ A × C)
⇔ (x, y) ∈ ((A × B) ∪ (A × C))

3.4.2. Relaciones y funciones

Una relación es un subconjunto de un producto cartesiano, formalmente no necesita más,
pero regularmente son subconjuntos especiales, es decir que cumplen con algún atributo que
“relaciona las dos componentes de las parejas de la relación”. Para denotar las relaciones se
utilizan diferentes sı́mbolos como por ejemplo ≺, ∗ o ⊘, entre muchos otros.

Ejemplo 6
Sean A = B = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9}, si se define ≺= {(a, b) ∈ A × B | b = 2a}, entonces
≺= {(0, 0); (1, 2); (2, 4); (3, 6); (4, 8)}. Obsérvese que (4, 2) no está en esta relación.
 3.4. PRODUCTO CARTESIANO, RELACIONES Y FUNCIONES 53

Nota.
Como φ ⊂ A, para cualquier conjunto A, entonces φ es una relación.

Para denotar que la pareja (x, y) ∈≺ se acostumbra a escribir x ≺ y y

significa que x se relaciona con y a través de ≺.

Si ≺⊆ A × B se dice que ≺ es una relación de A en B.

El conjunto conformado por las primeras coordenadas de las parejas

de una relación ≺ es llamado el dominio de la relación, D≺ y el
conformado por las segundas coordenadas el rango de la relación,
R≺ . En el anterior ejemplo D≺ = {0, 1, 2, 3, 4} y R≺ = {0, 2, 4, 6, 8}.

Una función es un tipo especial de relación, en la que no pueden existir dos parejas distintas
que tengan la misma primera coordenada. Es decir que, (x, a) y (x, b) son parejas de una
función, si y sólo si a = b. Además, si la función f es de A en B, entonces todo elemento
de A debe estar relacionado con exactamente uno de B. Obsérvese que toda función es una
relación, pero no al contrario, como se muestra en el siguiente ejemplo.

Ejemplo 7
Sean A = B = R. De las siguientes relaciones decir cuáles son funciones y cuáles no. Para
cada una de ellas encontrar dominio y rango.

1. r = {(x, y) | x + y = 1}

2. f = {(x, y) | x2 + y = 1}

3. s = {(x, y) | x2 + y 2 = 1}

Solución:
r es una función y además Dr = Rr = R.
f también es función y además Df = R y Rf = {x ∈ R | x ≤ 1}.
√ √
s no es una función, dado que los puntos (0, ±1), ( 2, ± 2) y muchos otros con estas ca-
racterı́sticas están en la relación, lo cual indica que la misma no es una función. Además
Ds = Rs = {x ∈ R | 1 ≤ x ≤ 1}.
54 CAPÍTULO 3. TEORÍA INTUITIVA DE CONJUNTOS

Nota.
1. Cuando una relación r es de A en A, se dice que la relación es en A o
definida en A.

2. Se acostumbra a escribir A × A = A2 .

Existen unas relaciones que cumplen ciertas propiedades que luego resultan ser muy impor-
tantes, las más usuales son las siguientes:

1. Una relación ∼ en A se dice reflexiva si todo elemento del conjunto A se relaciona

consigo mismo a través de ∼. Simbólicamente, ∼ es reflexiva si y sólo si, (∀x)(x ∼ x) o
lo que es lo mismo (∀x)((x, x) ∈∼).

2. Una relación ∼ en A se dice simétrica si cada vez que un elemento se relaciona con otro,
también al contrario. Simbólicamente, ∼ es simétrica si y sólo si, (∀x∀y)(x ∼ y → y ∼ x)
o lo que es lo mismo (∀x∀y)(si (x, y) ∈∼→ (y, x) ∈∼).

3. Una relación ∼ en A se dice antisimétrica si para x 6= y es imposible tener que x se

relacione con y y también y se relacione con x. Simbólicamente, ∼ es antisimétrica si
y sólo si, (∀x 6= y)(¬(x ∼ y ∧ y ∼ x)) o lo que es lo mismo (∀x 6= y)(¬((x, y) ∈∼
∧(y, x) ∈∼)). También se puede escribir: Si (x ∼ y ∧ y ∼ x) ⇒ x = y.

4. Una relación ∼ en A se dice transitiva si cada vez que un elemento se relaciona con otro
y éste con un tercero, entonces el primero se relaciona con el tercero. Simbólicamente,
∼ es transitiva si y sólo si, (∀x∀y∀z)(x ∼ y ∧ y ∼ z → x ∼ z) o lo que es lo mismo
(∀x∀y∀z)(si (x, y) ∈∼ ∧(y, z) ∈∼→ (x, z) ∈∼).

Una relación que cumple 1, 2 y 4 es llamada una relación de equivalencia y una que
cumple 1, 3 y4 es llamada una relación de orden.

Ejemplo 8
Sean A = B = R. Entonces:

1. La relación ∼ definida en R × R por x ∼ y si y sólo si x = y es claramente una relación

de equivalencia.

2. La relación ≤ definida en R × R por x ≤ y si y sólo si y − x ≥ 0 es claramente una

relación de orden.

3. La relación ≡, definida en Z por a ≡ b si y sólo si existe m ∈ Z tal que a − b = 3m, es

una relación de equivalencia.
 3.4. PRODUCTO CARTESIANO, RELACIONES Y FUNCIONES 55

Solución.
Es claro que (∀a)(a ≡ a) puesto que a − a = 3(0). Es decir que la relación es reflexiva.

Si a ≡ b, entonces existe m ∈ Z tal que a − b = 3m, por lo tanto b − a = 3(−m) es decir

que b ≡ a. Ası́ que la relación es simétrica.

Finalmente si a ≡ b y b ≡ c, entonces existen m, n ∈ Z tales que a−b = 3m y b−c = 3n,

de donde a−c = a−b+b−c = (a−b)+(b−c) = 3m+3n = 3(m+n), es decir que a ≡ c.
Luego la relación también es transitiva y por tanto es una relación de equivalencia.

Nota.
1. Obsérvese por ejemplo que 1 ≡ 4 y también 1 ≡ 13, pero no es cierto que
1 ≡ 5. Con esta observación es claro que no todos los números enteros
se relacionan con todos a través de esta relación.

2. A pesar de la anotación dada en 1, se tiene que cada número entero se

relaciona con otra infinidad de números enteros a través de esta relación.
Por ejemplo 1 ≡ 1 + k3 para cualquier k ∈ Z.

3. En la parte 1 de la nota, vimos que 5 no se relaciona con 1, sin embargo

5 ≡ 2.

4. Cabe entonces la pregunta ¿existe algún número entero que no se rela-

cione con otros números a través de esta relación? ¿qué cree usted?

Con este ejemplo entendido, podemos decir lo que es una clase de equivalencia. Si en un
conjunto A se ha definido una relación de equivalencia, digamos ∼, entonces al subconjunto de
A conformado por todos los elementos que se relacionan con un elemento dado x es llamada
su clase de equivalencia según ∼ y se denota por [x]. Si dos elementos están en una misma
clase de equivalencia son llamados equivalentes.

3.4.3. Ejercicios
1. Si A = {1, 2, 3, 4, 5}, B = {a, b, c, d, e} y C = {2, 4, 6, 8} encontrar los siguiente conjun-
tos:

a) A × B d ) A × (B ∪ C)
b) A × C e) B × (A ∩ C)
c) B × C f ) (B × A) ∩ (B × C)
56 CAPÍTULO 3. TEORÍA INTUITIVA DE CONJUNTOS

2. Si A, B, C, D 6= φ, comprobar las siguientes igualdades:

a) A × (B ∩ C) = (A × B) ∩ (A × C) b) A × (B − C) = (A × B) − (A × C)

3. Si A = {1, 2} ¿cuántas relaciones diferentes se pueden construir de A en A? Hacer un

listado de todas las que se puedan construir. ¿Cuántas de ellas son funciones? Repetir
el ejercicio en el caso en el que A = {1, 2, 3}.

4. Dar el valor de verdad de las siguientes proposiciones, en todos los casos el referencial
es R.

a) (∀x)(x2 − 1 = 0)
b) (∀x∀y)(x2 + y 2 = 9)
c) (∀x∀y)(|x| + |y| = 1)
d ) (∀x∃y)(x2 + y 2 = 9)
e) (∀x∃y)(|x| + |y| = 1)
f ) (∃x∀y)(x2 + y 2 = 9)
g) (∃x∀y)(|x| + |y| = 1)

5. Hallar las negaciones de las proposiciones del ejercicio anterior y hallar su valor de
verdad.

6. Supóngase que A = Z y que la relación ∼ de A en A está definida de la siguiente

manera: a ∼ b si y sólo si, b = 3a. Hallar algunas parejas de la relación. ¿Es ∼ una
función? Explique. ¿Es ∼ Reflexiva, Simétrica, Antisimétrica o Transitiva? Justifique.

7. Supóngase que A = Z y que la relación ∼ de A en A está definida de la siguiente

manera: a ∼ b si y sólo si, b − a = 5k, para algún k ∈ Z. Hallar algunas parejas de
la relación. ¿Es ∼ una función? Explique. ¿Es ∼ Reflexiva, Simétrica, Antisimétrica o
Transitiva? Justifique. ¿Es ∼ una relación de orden o de equivalencia?

8. Supóngase que A = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9}. Considerar la relación ∼ definida de ℘(A)

en ℘(A) como X ∼ Y , si y solamente si, X ⊆ Y . ¿Es ∼ Reflexiva, Simétrica, Anti-
simétrica o Transitiva? Justifique. ¿Es ∼ una relación de orden o de equivalencia?

3.5. Ejercicios misceláneos

1. Sean A, B, C conjuntos y R el conjunto referencial. Decidir si cada una de las siguientes

afirmaciones es verdadera o falsa. En caso de ser verdadera, dar una demostración; en
caso de ser falsa dar un contraejemplo.
 3.5. EJERCICIOS MISCELÁNEOS 57

a) A = (A ∩ B) ∪ (A ∩ B ′ ) e) (A△B)△C = A△(B△C)
b) A ∪ B = (A − B) ∪ (B − A) ∪ (A ∩ B) f ) (A△B)′ = (A ∩ B) ∪ (A ∪ B)′
c) (A ∪ B) − A = B g) A′ − B ′ = B − A
d ) (A ∪ B) − A = B − A h) (A − B) ∩ C = (A ∩ C) − B

2. Demostrar que si A ∩ B = φ, entonces A ⊂ B ′ .

3. Demostrar que si A ∩ B = φ, entonces A′ ∩ B = B.

4. Sean A, B y C conjuntos. Supóngase que C ⊂ A∪B y que además C ∩A = φ. Demostrar

que C ⊂ B.

5. Sean A, B, C y D conjuntos. Probar que si A ⊂ B y C ⊂ D, entonces A × C ⊂ B × D.

6. Para cada una de las siguientes relaciones decir si es de equivalencia, de orden o ninguna
de las dos, justificar la respuesta. Para las relaciones que resulten ser de equivalencia,
hallar por lo menos una de sus clases de equivalencia.

a) Sea ∼ una relación en R tal que x ∼ y si y sólo si x = |y|, para todo x, y ∈ R.

b) Sea A el conjunto de todos los triángulos del plano y ∼ la relación tal que x ∼ y
si y sólo si x y y tienen la misma área, para todo x, y ∈ A.
c) Sea ∼ una relación en Z tal que x ∼ y si y sólo si y es múltiplo de x, para todo
x, y ∈ Z.
58 CAPÍTULO 3. TEORÍA INTUITIVA DE CONJUNTOS
 CAPÍTULO 4

Técnicas de demostración

El principal trabajo que diferencia a un matemático de cualquier otro profesional es el énfasis

constante en la argumentación, la lógica y principalmente los procesos de demostración, pero
generalmente esta demostración dista del esquema de demostración formal ya estudiado
en el capı́tulo 2, es decir comparten su estructura lógica pero las argumentaciones dependen
principalmente de la teorı́a en que se esté trabajando.

Recuérdese que un teorema es siempre verdadero, es decir, que una proposición compuesta sólo
recibe el nombre de teorema si es verdadera. Pero entonces, nos preguntamos ¿por qué tanta
insistencia en demostrar los teoremas?, lo que ocurre es que quien planteó por primera vez un
teorema hizo una demostración del mismo, para poder incorporarlo dentro de tal o cual teorı́a
y lo que se hace cuando estudiamos estas teorı́as es repasar las argumentaciones dadas para
comprender cómo se ha desarrollado esta teorı́a y luego, posiblemente poder construir más
teorı́a sobre lo ya desarrollado. También es posible dar nuevas demostraciones de teoremas
ya estudiados.

Pero en si ¿qué es una demostración?, podemos decir que una demostración es un proceso
de argumentación mediante el cual se prueba la validez de un enunciado, este proceso debe
estar soportado por teorı́as válidas y ser tal que no existan errores en la argumentación. Esta
argumentación va siendo validada por la comunidad académica conocedora de las teorı́as.

Las matemáticas, a través del tiempo, se han movido en la dirección del rigor; la razón no
es tan clara, pero los historiadores de las matemáticas han venido explicando esta situación
y su evolución desde Thales de Mileto que parece ser el primero en interesarse en la demos-
tración como tal. En las matemáticas tenemos diferentes tipos de objetos como geométricos,

59
60 CAPÍTULO 4. TÉCNICAS DE DEMOSTRACIÓN

analı́ticos, algebraicos, entre otros y para ellos se desarrollan teorı́as. Para poder crear las
teorı́as se utiliza tanto la intuición como el rigor, la primera nos da las orientaciones generales
sobre lo más importante y trascendente, pero las pruebas y el rigor es lo que le da la fortaleza
a la teorı́a. Sin embargo, las teorı́as generales pueden tener tal grado de abstracción que la
intuición ya no puede ser confiable y entonces las pruebas rigurosas son el único camino para
garantizar la validez o no de los enunciados.

4.1. Algunos esquemas de demostración

Cuando se construye una demostración o prueba, lo primero que debe hacer es tener claro
qué se está asumiendo como verdadero (las hipótesis) y qué es lo que se quiere probar. Esto
parece ser muy obvio, pero es donde regularmente los principiantes fallan. La siguiente etapa
es decidir qué tipo de prueba se pretende realizar y pensar en una estrategia para seguirla.
Si no se logra una prueba usando esa estrategia, es posible que se necesite otra. No hay una
manera predeterminada para encontrar una estrategia, sin embargo existen algunas técnicas
generales que se pueden intentar. A continuación estudiaremos algunas de ellas y veremos
varios ejemplos.

El primer esquema o estrategia, no el único, es el de la demostración directa en la que si las

hipótesis del teorema son H1 , H2 ,...,Hn y la conclusión C, se prueba que H1 ∧ H2 ∧ · · · ∧ Hn ⇒
C. Es decir que, en la demostración directa se demuestra la veracidad de la conclusión a partir
de la veracidad de las hipótesis.

También existen varios esquemas de demostración indirecta como por ejemplo:

• Demostración por contra recı́proca: en la que en lugar de probar que H1 ∧ H2 ∧ · · · ∧

Hn ⇒ C se prueba que ¬C ⇒ ¬ (H1 ∧ H2 ∧ · · · ∧ Hn ). Este procedimiento es válido dada
la equivalencia lógica entre las dos proposiciones, ya estudianda en el capı́tulo 1.

• Demostración por contradicción: en la que se supone que la conclusión es falsa y las

hipótesis verdaderas y se trata de deducir una contradicción, es decir que en lugar de probar
que H1 ∧ H2 ∧ · · · ∧ Hn ⇒ C se prueba que ¬C ∧ H1 ∧ H2 ∧ · · · ∧ Hn ⇒ Contradicción.

• Demostración por casos: en algunos ocaciones el teorema puede estar planteado en la

forma H1 ∨ H2 ∨ · · · ∨ Hn ⇒ C que es equivalente a (H1 ⇒ C) ∧ (H2 ⇒ C) ∧ · · · ∧ (Hn ⇒ C).

• Demostración de equivalencias: en algunos casos el teorema puede estar planteado en

la forma general H ≡ C. En este caso debe probarse que H =⇒ C y también que C =⇒ H.

También existe el concepto de demostraciones constructivas en las que, en el proceso de

demostración, se explicita cómo se puede llegar o construir la conclusión, normalmente con
un proceso explı́cito o un algoritmo, y demostraciones no constructivas en las que, en el
 4.1. ALGUNOS ESQUEMAS DE DEMOSTRACIÓN 61

proceso de demostración, se prueba la veracidad de la conclusión sin decir cómo se construye,

como por ejemplo cuando se usan demostraciones por contradicción.

Es posible que en la construcción de la prueba de algún enunciado se mezclen algunas de

estas técnicas, para probar apartados precisos del enunciado.

A continuación se presentan algunas definiciones y teoremas, para aclarar o recordar algunos

conceptos que los estudiantes ya han estudiado en el bachillerato y que nos permitirán tener
una gama un poco más amplia de ejemplos y ejercicios.

Nota.
1. Un número entero n es par si existe algún número entero k tal que
n = 2k.

2. Un número entero n es impar si existe algún número entero k tal que

n = 2k + 1.

3. Si a, b y c son los lados y la hipotenusa, respectivamente, de un triángulo

rectángulo, entonces a2 + b2 = c2 . Este resultado es conocido como el
teorema de Pitágoras y a, b y c como terna pitagórica.

4. Si m y n son dos números enteros, entonces se dice que n divide a m, si

existe algún número entero k tal que nk = m. En lugar de decir que n
divide a m se puede decir que m es multiplo de n.

5. Si p es un número entero positivo mayor que 1 y sus únicos divisores

son el 1 y p, entonces se dice que p es primo. Si p es un número entero
positivo mayor que 1 y no es primo, entonces es llamado compuesto y
puede ser escrito como producto de números primos.

6. Si x es
 un número real, entonces su valor absoluto está difinido por
x, si x ≥ 0
|x| =
−x, si x < 0

7. Cuando se está realizando una prueba es costumbre señalar de alguna

forma que la prueba ya terminó, nosotros utilizaremos el simbolo X que
es de los más usuales.
62 CAPÍTULO 4. TÉCNICAS DE DEMOSTRACIÓN

4.1.1. Ejemplos
Es conveniente que los estudiantes piensen sobre cada enunciado y lo comprendan (hipótesis,
conclusión, posible técnica a utilizar, etc) incluso es deseable que intenten una prueba, antes
de leer las que aparecen en estos apuntes. Además, entender en detalle cada uno de los
ejemplos antes de ir a los ejercicios.

1. Comprobar que el producto de dos números enteros impares es impar.

Se puede hacer la siguiente demostración directa. Sean m y n los dos números enteros
impares, entonces m = 2k + 1 para algún k ∈ Z y n = 2r + 1 para algún r ∈ Z, de donde
se tiene que mn = (2k + 1)(2r + 1) = 4rk + 2r + 2k + 1 = 2(2rk + r + k) + 1 = 2t + 1
con t = 2rk + r + k y por tanto t ∈ Z, es decir que mn es impar. X

2. Sea n ∈ Z. Probar que si n2 es impar, entonces n es impar.

Se puede hacer la siguiente demostración indirecta usando una contrapositiva. Entonces

supongamos que n no es impar, es decir que n es par y debemos demostrar que n2 no
es impar, es decir que n2 es par.

Sea n = 2k, para algún k ∈ Z, entonces n2 = (2k)2 = 2(2k 2 ) y como 2k 2 es un número

entero, entonces n2 es par y ası́ la prueba es completa. X
√
3. Demostrar que 2 es irracional.

Para este ejemplo procederemos por contradicción, es decir supondremos que la conclu-
sión es falsa y buscaremos hallar una contradicción, lo cual justificarı́a que la conclusión
debe ser verdadera. Debe también observarse que el enunciado mismo es la conclusión,
pero entonces la pregunta es ¿Cuál es la hipótesis? la respuesta es que la hipótesis es
que estamos ante una proposición en los números reales y por tanto todo lo que es
válido en los reales puede ser utilizado en la prueba.
√ √
Ahora si veamos la prueba, supongamos que 2 no es irracional, es decir que 2 es
racional, por tanto deben existir p, q ∈ Z, q 6= 0, con p y q sin divisores comunes
√
diferentes de 1, tales que 2 = pq , pero entonces podemos elevar al cuadrado en ambos
lados de la igualdad para obtener 2q 2 = p2 lo cual quiere decir que p2 es múltiplo de 2,
pero esto implica que p mismo debe ser múltiplo de 2 (ver los ejercicios), es decir que
p = 2k para algún k ∈ Z. Por tanto se tiene que 2q 2 = p2 = 4k 2 , es decir que q 2 = 2k 2 ,
luego q 2 es par y ası́ q mismo es par, lo cual es contradictorio. X

4. Si m, n ∈ N son tales que m + n ≥ 100 entonces probar que n ≥ 50 o m ≥ 50.

 4.1. ALGUNOS ESQUEMAS DE DEMOSTRACIÓN 63

Igual, procedemos por contradicción. Supongamos que m + n ≥ 100 pero que n < 50 y
m < 50, de donde tenemos que m + n < 50 + 50 = 100, lo cual es contradictorio. X

5. Demostrar que si n ∈ Z entonces n(n + 1) es par.

Se puede hacer una demostración por casos. Primero supongamos que n es par, entonces
claramente n(n + 1) es par. Si n es impar, entonces n + 1 es par y ası́ n(n + 1) es par.
Luego en ambos casos n(n + 1) es par. X

6. Si x, y ∈ R entonces |xy| = |x| |y|

También se puede hacer una demostración por casos, pero en esta ocasión se tienen 4
casos:

a) Si x ≥ 0 y y ≥ 0 entonces xy ≥ 0, por lo tanto |x| = x, |y| = y y |xy| = xy, luego

|xy| = xy = |x| |y|.
b) Si x ≥ 0 y y < 0 entonces xy < 0, por lo tanto |x| = x, |y| = −y y |xy| = −xy,
luego |xy| = −xy = x(−y) = |x| |y|.
c) Si x < 0 y y ≥ 0 entonces xy < 0, por lo tanto |x| = −x, |y| = y y |xy| = −xy,
luego |xy| = −xy = |x| |y|.
d ) Si x < 0 y y < 0 entonces xy > 0, por lo tanto |x| = −x, |y| = −y y |xy| = xy,
luego |xy| = xy = (−x)(−y) = |x| |y|.

Con los cuatro casos anteriores se concluye que: Si x, y ∈ R entonces |xy| = |x| |y|. X

7. Demostrar que si x, y ∈ R y además x < y, entonces 4xy < (x + y)2 .

Como x < y, entonces 0 < y − x y por tanto 0 < (y − x)2 = x2 − 2xy + y 2 , es decir que
2xy < x2 + y 2 , por ultimo podemos sumar en ambos lados de la desigualdad el término
2xy y ası́ 4xy < x2 + 2xy + y 2 = (x + y)2 , lo cual completa la prueba. X

8. Demostrar que la única terna pitagórica de números enteros positivos consecutivos es

3, 4 y 5.

Como 32 + 42 = 52 , entonces efectivamente 3, 4 y 5 es una terna pitagórica de números

enteros consecutivos. Ahora bien, demostrar que es la única ya no es tan facil puesto
que se tienen que descartar todas las otras posibles ternas pitagóricas. Parece que una
demostración por contradicción puede ser el camino más sencillo a seguir, es decir
suponer que ésta no es la única terna pitagórica de números enteros consecutivos y
buscar una contradicción.
64 CAPÍTULO 4. TÉCNICAS DE DEMOSTRACIÓN

Entonces supongamos que n es un número entero estrictamente mayor que 3, entonces

los dos números consecutivos a n son n + 1 y n + 2, de donde, si ellos son una terna
pitagórica se debe tener

n2 + (n + 1)2 = (n + 2)2
n2 + n2 + 2n + 1 = n2 + 4n + 4
n2 − 2n − 3 = 0
(n − 3)(n + 1) = 0

De donde se tiene que n = 3 o n = −1, lo cual es absurdo, dado que se ha supuesto que
n es mayor estricto que 3. Esta contradicción demuestra que el enunciado es verdadero.
X

4.1.2. Ejercicios
Es conveniente que los estudiantes aclaren los términos utilizados en los enunciados antes de
intentar realizar las demostraciones.

1. Demostrar que el producto de dos números enteros pares es par.

2. Demostrar que el producto de un número entero par por uno impar es par.

3. Demostrar que para todo n ∈ Z se tiene que:

a) Si n2 es par, entonces n es par.

b) n4 − n2 es divisible por tres.
c) n2 − 2 nunca es divisible por tres.

4. Si el enunciado es verdadero demostrarlo y si es falso refutarlo con un contraejemplo.

a) La suma de dos enteros pares es siempre par.

b) La suma de dos enteros impares es un entero impar.
c) La suma de dos números primos nunca es un número primo.
d ) La suma de tres números enteros consecutivos es divisible por tres.
e) Si n ∈ Z y n2 es múltiplo entre de tres, entonces n es múltiplo de tres.

5. Si x, y ∈ R probar que:

a) |x + y| ≤ |x| + |y|
 
b) |x|
x
|y| =  y , para y 6= 0
c) |x − y| ≤ |x| + |y|
 4.2. INDUCCIÓN MATEMÁTICA 65

d ) |x| − |y| ≤ |x − y|
e) ||x| − |y|| ≤ |x − y|
f ) Si |x| < |y|, entonces x2 < y 2
√
6. Demostrar que 3 es irracional.

7. Si x, y ∈ R y además xy = 0, entonces (x + y)n = xn + y n para todo número natural n.

8. Demostrar que el producto de un número racional diferente de cero con un número

irracional es irracional.

4.2. Inducción matemática

Uno de los esquemas de demostración directa más importante y utilizado en matemáticas

es la inducción matemática. Este es un tema en el que se pueden explorar dos aspectos
fundamentales en matemáticas, el descubrimiento y la demostración. Es claro que la demos-
tración, como ya se ha mencionado antes es la piedra angular en toda la formación de un
matemático, sin embargo si se quiere producir matemática lo primero que debe haber es un
proceso de descubrimiento para poder plantear posibles proposiciones válidas, es decir antes
de demostrar deben haber propuestas para demostrar o preguntas para contestar.

Para ilustrar lo mencionado en el párrafo anterior, pensemos que se nos ha encomendado

revisar la suma de los primeros números naturales, es decir pensar en cómo podemos calcular:

1; 1+2; 1+2+3; 1+2+3+4; 1+2+3+4+5; 1+2+3+4+5+6;

y ası́ sucesivamente. La primera respuesta es, pues sumarlos, pero si la suma es de los primeros
mil o el primer millón de números naturales entonces la tarea ya no es tan fácil como pareciera.
Sin embargo, empecemos por sumarlos, por lo menos en los primeros casos:

1 = 1
1+2 = 3
1+2+3 = 6
1+2+3+4 = 10
1+2+3+4+5 = 15
1+2+3+4+5+6 = 21

Ahora debemos pensar en ¿qué relación existe entre las sumas de la izquierda y los resultados
de la derecha?, es aquı́ donde debemos explorar, especular, proponer y luego, por su puesto,
justificar por qué lo que proponemos podrı́a funcionar. Es importante que los estudiantes
intenten hacer una propuesta antes de revisar lo que se comenta a continuación.
66 CAPÍTULO 4. TÉCNICAS DE DEMOSTRACIÓN

Existe un anécdota de este problema con Gauss, uno de los más grandes matemáticos de todos
los tiempos. Lo que él propuso, en la escuela primaria ante el problema fue lo siguiente: Si
colocamos otra suma igual, pero en orden inverso, entonces cada par de números sumará (n +
1) y se tendrán n sumas, siendo n el último número natural que aparezca en la suma y
como se ha agregado otra suma igual entonces el resultado debe ser 12 n(n + 1). Veamos un
esquema gráfico de este planteamiento, por lo menos para la última suma de las anteriormente
realizadas.
1 + 2 + 3 + 4 + 5 + 6
6 + 5 + 4 + 3 + 2 + 1
7 + 7 + 7 + 7 + 7 + 7
Es decir que sumamos 6 veces 7 o igual hacer el producto de 6 por 7, pero el resultado debe
ser la mitad, que en este caso es (6)(7)
2 = 21.

Otra posibilidad podrı́a ser un razonamiento algebraico, como el siguiente: sabemos que

(k + 1)2 − k 2 = k 2 + 2k + 1 − k 2 = 2k + 1

y aplicamos reiteradamente esta fórmula, para 1 ≤ k ≤ n.

22 − 12 = 2·1+1
32 − 22 = 2·2+1
42 − 32 = 2·3+1
52 − 42 = 2·4+1
..
.
(n + 1)2 − n2 = 2 · n + 1

ahora, se suman las dos columnas de igualdades. En el lado izquierdo se cancelan casi todos
los términos, excepto uno en la primera igualdad y uno en la última igualdad. En el lado
derecho se puede factorizar el dos y efectuar las sumas restantes, de esta forma se obtiene la
igualdad:
Xn Xn
(n + 1)2 − 1 = 2 k+ 1
k=1 k=1
de donde
n
n2 + 2n + 1 − 1 = 2
P
k+n
k=1
1 2  n
P
n +n = k
2 k=1
Podemos observar que se obtiene el mismo resultado, es decir que
n
1 2  1 X
n + n = n(n + 1) = k
2 2
k=1
 4.2. INDUCCIÓN MATEMÁTICA 67

sin embargo la pregunta es ¿estos razonamientos hacen que la fórmula obtenida sea válida
para cualquier número natural n?. Este tipo de preguntas son las que se contestan con la
inducción matemática.

Principio del buen orden

El principio del buen orden en los números naturales dice que “Todo subconjunto no vacı́o de
números naturales tiene un elemenmto mı́nimo”.

Principio de inducción matemática

Si consideramos una lista de proposiciones p(1), p(2), p(3),..., p(n),... que dependen de los
números naturales, todas ellas son verdadera si se cumplen las dos condiciones siguientes:

1. p(1) es verdadera.

2. Si p(k) es verdadera entonces p(k + 1) es verdadera.

Obsérvese que el principio de inducción matemática garantiza la veracidad de toda p(n),

porque si se logra probar que para 1 la proposición es verdadera y además que cada vez que
p(k) es verdadera entonces también lo es p(k + 1), pues resulta que p(2) es verdadera, pero
entonces p(3) también, y ası́ sucesivamente.

Prueba por inducción matemática

Para aplicar el principio de inducción matemática en la demostración de proposiciones que
dependen de los números naturales (como ı́ndices) el proceso se divide en tres pasos:

1. Comprobar que la proposición es verdadera para los primeros valores de n. Este paso
es conocido como base de la inducción.

2. Suponer que para algún k, p(k) es válida. Este paso es conocido como hipótesis de
inducción.

3. Demostrar que p(k) ⇒ p(k + 1). Este paso es conocido como paso inductivo o de-
mostrativo.

En la base de la inducción es conveniente revisar varias de las proposiciones para los primeros
valores de n, no por que lo exija el principio de inducción, sino por que nos ilustra el compor-
tamiento y las posibles relaciones entre una proposición y la siguiente. En el paso inductivo
es importante tener claro quién es p(k + 1), puesto que es a lo que se quiere llegar.

Ejemplo 1.
Revisemos nuevamente nuestro ejemplo, es decir demostremos que:
1
1 + 2 + 3 + · · · + n = n(n + 1), para todo n ∈ N
2
68 CAPÍTULO 4. TÉCNICAS DE DEMOSTRACIÓN

Demostración
Base de la inducción. Debemos probar que para los primeros valores de n, p(n) es verda-
dera, en efecto:
1
Para n = 1; se tiene 1 = 1; 2 (1)(1 + 1) = 1
1
Para n = 2; se tiene 1 + 2 = 3; 2 (2)(2 + 1) = 3
1
Para n = 3; se tiene 1 + 2 + 3 = 6; 2 (3)(3 + 1) = 6
Luego para los tres primeros valores de n, las tres proposiciones son verdaderas.

Hipótesis de inducción. Supongamos que para algún k ∈ N, se tiene que p(k) es verdadero,
esto es suponer que 1 + 2 + 3 + · · · + k = 12 k(k + 1).

Paso inductivo. Debemos demostrar que p(k+1) es verdadera a partir del hecho de que p(k)
es verdadera, es decir debe probarse que p(k) implica lógicamente a p(k + 1). Pero p(k + 1)
es: 1 + 2 + 3 + · · · + k + (k + 1) = 21 (k + 1)(k + 2). Obsérvese que la diferencia entre las dos
proposiciones es que, en el lado izquierdo de la igualdad, p(k + 1) tiene un sumando más.
Ahı́ está la clave para la prueba, es decir debemos sumar un término a p(k) y ver qué ocurre.

Sabemos que
1
1 + 2 + 3 + · · · + k = k(k + 1)
2
es verdadera, por hipótesis de inducción, por lo tanto

1
1 + 2 + 3 + ··· + k = 2 k(k + 1)

1
1 + 2 + 3 + · · · + k + (k + 1) = 2 k(k + 1) + (k + 1)

1 
= (k + 1) 2k +1

1 
= (k + 1) 2 (k + 2)

1
= 2 (k + 1)(k + 2)

que es precisamente lo que se querı́a demostrar. X

Ejemplo 2.
Demostrar por inducción matemática que 7n − 2n es divisible entre 5, para todo n ∈ N.
Demostración
Base de la inducción. Debemos probar que para los primeros valores de n, p(n) es verda-
dera, en efecto:
Para n = 1; se tiene 71 − 21 = 7 − 2 = 5 = 5(1)
Para n = 2; se tiene 72 − 22 = 49 − 4 = 45 = 5(9)
 4.2. INDUCCIÓN MATEMÁTICA 69

Para n = 3; se tiene 73 − 23 = 343 − 8 = 335 = 5(67)

Luego para los tres primeros valores de n, las tres proposiciones son verdaderas.

Hipótesis de inducción. Supongamos que para algún k ∈ N, se tiene que p(k) es verdadero,
esto es suponer que 7k − 2k = 5t, para algún t ∈ N.

Paso inductivo. Debemos demostrar que p(k+1) es verdadera a partir del hecho de que p(k)
es verdadera, es decir debe probarse que p(k) implica lógicamente a p(k + 1). Pero p(k + 1)
es: 7k+1 − 2k+1 = 5r, para algún r ∈ N.

Obsérvese que
7k+1 − 2k+1 = 7(7k − 2k ) + (7)2k − 2k+1

= 7(5t) + 2k (7 − 2)

= 7(5t) + 2k (5)

= 5 7t + 2k
 

= 5r
donde r = 7t + 2k ∈ N, que es precisamente lo que se querı́a demostrar. X

4.2.1. Ejercicios
1. Utilizando un método similar al expuesto en la página 66, deducir fórmulas para:
n n
k2 k3
P P
a) b)
k=1 k=1

2. Demostrar por inducción matemática que las fórmulas deducidas en el ejercicio anterior
son correctas.

3. Demuestre por inducción sobre n que cada una de las siguientes fórmulas son válidas
para todos los números naturales. Si cree que alguna de ellas es falsa, intente construir
un contraejemplo.

a) 1 + 3 + 5 + · · · + (2n − 1) = n2
1
b) 12 + 32 + 52 + · · · + (2n − 1)2 = n (2n − 1) (2n + 1)
3
1
c) 1 · 3 + 2 · 4 + 3 · 5 + · · · + n (n + 2) = n (n + 1) (2n + 7)
6
3
d ) 1 + 3 + 5 + · · · + (2n − 1) = n 2n2 − 1
3 3 3 2


70 CAPÍTULO 4. TÉCNICAS DE DEMOSTRACIÓN

4. Demuestre que n2 + n es divisible por 2, para todos los números naturales n.

5. Demuestre que 5n − 1 es divisible por 4, para todos los números naturales n.

6. Demuestre que n3 − n + 3 es divisible por 3, para todos los números naturales n.

7. Algunas personas se hacen la falsa idea de que para la inducción matemática es suficiente
probar los primeros casos y deducir una fórmula que pueda servir en determinada
situación, pero esto no es válido sin hacer el proceso de inducción completo.

A continuación se presentan un par de ejemplos que sirven para ilustrar lo descrito antes.
En cada caso pruebe que para los primeros valores naturales la afirmación se cumple,
pero que realmente es falsa encontrando un valor para n en el que la afirmación sea
falsa.

a) El trinomio de la forma n2 + n + 41 es un número primo para todo valor de n ∈ N.

b) Los números de la forma 22 + 1 son primos para todo valor de n ∈ N.
n

c) Los números de la forma nk − n son divisibles por k para todo valor de n ∈ N y

k ∈ N, k impar.

4.3. Ejercicios misceláneos

1. Si el enunciado es verdadero demostrarlo y si es falso refutarlo con un contraejemplo.

a) La suma de cuatro números enteros consecutivos es divisible por cuatro.

b) La suma de cinco números enteros consecutivos es divisible por cinco.
c) Si n ∈ Z y n3 es múltiplo de dos, entonces n es múltiplo de 2.

2. Demostrar que:
√
a) 5 es irracional.
√
b) 3 2 es irracional.

3. Demuestre por inducción sobre n que cada una de las siguientes fórmulas son válidas
para todos los números naturales. Si cree que alguna de ellas es falsa, intente construir
un contraejemplo.
1 − rn+1
a) 1 + r + r2 + · · · + rn = , ; r ∈ R, r 6= 1
1−r
n (3n − 1)
b) 1 + 4 + 7 + · · · + (3n − 2) =
2
1 1 1 1 n
c) + + + ··· + =
1·2 2·3 3·4 n · (n + 1) n+1
 4.3. EJERCICIOS MISCELÁNEOS 71

d ) 1 + 2 + 22 + · · · + 2n−1 = 2n − 1

4. Demuestre que 8n − 3n es divisible por 5, para todos los números naturales n.

5. Demuestre que si x > −1, entonces (1 + x)n ≥ 1 + nx para todos los números naturales
n.

6. Demostrar que n < 2n para todo n ∈ N.

!
1 1
7. Dada la matriz 2 × 2, A = , hallar una expresión para An y demostrarla por
0 1
inducción matemática. An denota el producto de A con ella misma n veces.
!
cos θ − sen θ
8. Dada la matriz 2 × 2, A = , hallar una expresión para An y de-
sen θ cos θ
mostrarla por inducción matemática. An denota el producto de A con ella misma n
veces.

Nota.
Si A y B son dos matrices dos por dos, digamos
! !
a b e f
A= B=
c d g h

entonces su producto se define como

!
ae + bg af + bh
AB =
ce + dg cf + dh
72 CAPÍTULO 4. TÉCNICAS DE DEMOSTRACIÓN
 CAPÍTULO 5

Estructuras

En los capı́tulos anteriores hemos estudiado algunas propiedades de ciertos conjuntos como
por ejemplo el de las proposiciones, resumidas en la tabla de equivalencias lógicas, el de
los conjuntos resumidas en el álgebra de conjuntos y también se han revisado algún par
de conjuntos numéricos, pero seguramente no los hemos estudiado como los recuerdan los
estudiantes que involucran unas ciertas operaciones como suma y producto, entre otras. Al
finalizar el capı́tulo de conjuntos estudiamos las relaciones binarias y se enunciaron dos muy
importantes las de orden y las de equivalencia.

La intención en éste capı́tulo es estudiar algunas de las estructuras más importantes, desde
un punto de vista general. Todas ellas serán estudiadas profundamente en cursos posteriores.

5.1. Leyes de composición interna

Una ley de composición interna ∗ en un conjunto no vacı́o A es una regla que asigna a cada
pareja de elementos (a, b) ∈ A × A un nuevo elemento c ∈ A. También se puede decir que
es una relación de A × A en A. Por ejemplo la suma de números naturales es otro número
natural, es decir dados dos números naturales a, b podemos efectuar su suma a + b y el
resultado será otro número natural.

Las leyes de composición interna pueden cumplir algunas propiedades, las más importantes
son:
1. Si (∀a, b, c)((a ∗ b) ∗ c = a ∗ (b ∗ c)) se dice que la ley es asociativa.

2. Si (∀a, b)(a ∗ b = b ∗ a) se dice que la ley es conmutativa.

73
74 CAPÍTULO 5. ESTRUCTURAS

3. Si (∃e)(∀a)(a ∗ e = e ∗ a = a) se dice que e es un elemento neutro o módulo para la ley.

4. Si para cada a existe b tal que a ∗ b = b ∗ a = e, se dice que b es el inverso o simétrico

de a según la ley.

Ejemplo 1.

1. La suma de números enteros es una ley de composición interna que es asociativa, con-
mutativa, tiene elemento neutro que es el 0 y además cada elemento a posee un inverso
−a tal que a + (−a) = (−a) + a = 0.

2. La suma de números naturales es una ley de composición interna que es asociativa,

conmutativa y tiene elemento neutro que es el 0, pero a diferencia del ejemplo anterior,
en este caso no existe el elemento inverso.

3. El producto de números naturales es una ley de composición interna y además es aso-

ciativa, conmutativa y tiene elemento neutro que es el 1, pero no existe el elemento
inverso.

4. El producto de números reales es una ley de composición interna que es asociativa,

conmutativa, tiene elemento neutro que es el 1 y para todo a 6= 0 existe elemento
inverso que es a1 tal que a( a1 ) = ( a1 )a = 1.

5. La suma de números reales es una ley de composición interna que es asociativa, con-
mutativa, tiene elemento neutro que es el 0 y para todo a existe elemento inverso que
es −a tal que a + (−a) = (−a) + a = 0.

6. Si R es el conjunto referencial, entonces tanto la unión ∪ como la intersección ∩, de-

finidas en ℘(A) son leyes de composición interna asociativas, conmutativas, tienen
elemento neutro (Para la unión es φ y para la intersección es R). ¿Poseen elementos
inversos? , si existen ¿cuáles pueden ser?

Nota.
Si existe un elemento neutro e para una ley de composición interna ∗, entonces
este elemento es único. En efecto, supongamos que existen dos neutros, diga-
mos e1 y e2 , entonces para todo a se tiene que a ∗ e1 = e1 ∗ a = a y también
a ∗ e2 = e2 ∗ a = a. Entonces

e1 = e1 ∗ e2 = e2 ∗ e1 = e2
 5.2. CONGRUENCIA 75

Es posible que sobre un mismo conjunto se definan varias leyes de composición interna,
entonces es natural que nos preguntemos sobre las posibles relaciones entre un par de ellas.

Supongamos que en un conjunto A se tienen dos leyes de composición interna, digamos ∗ y

◦ Si:
(∀a, b, c)(a ∗ (b ◦ c) = (a ∗ b) ◦ (a ∗ c))
se dice que ∗ se distribuye por la izquierda respecto a ◦, si además

(∀a, b, c)((b ◦ c) ∗ a = (b ∗ a) ◦ (c ∗ a))

se dice que ∗ se distribuye por la derecha respecto a ◦. Si una ley distribuye por izquierda y
por derecha respecto a otra se dice simplemente que es distributiva.

Ejemplo 2.

1. En el conjunto de los números enteros se tienen dos leyes de composición interna: la

suma y el producto. El producto es distributivo respecto de la suma, pero no al contrario.

2. Si R es el conjunto referencial entonces en ℘(A) la unión y la intersección son distri-

butivas una respecto de la otra.

5.2. Congruencia

Recordemos que si ∼ es una relación en A, se dice que ∼ es una relación de equivalencia

si es reflexiva, simétrica y transitiva. No olvidar que ∼ es

1. Reflexiva si todo elemento del conjunto A se relaciona consigo mismo a través de ∼.

Simbólicamente, ∼ es reflexiva si y sólo si, (∀x)(x ∼ x).

2. Simétrica si cada vez que un elemento se relaciona con otro, también al contrario.
Simbólicamente, ∼ es simétrica si y sólo si, (∀x∀y)(x ∼ y → y ∼ x).

3. Transitiva si cada vez que un elemento se relaciona con otro y éste con un tercero,
entonces el primero se relaciona con el tercero. Simbólicamente, ∼ es transitiva si y sólo
si, (∀x∀y∀z)(x ∼ y ∧ y ∼ z → x ∼ z).

Ejemplo 3
Comprobar que la relación ≡, definida en Z por a ≡ b si y sólo si existe m ∈ Z tal que
a − b = 3m, es una relación de equivalencia.
Solución.
Es claro que (∀a)(a ≡ a) puesto que a − a = 3(0). Es decir que la relación es reflexiva.
76 CAPÍTULO 5. ESTRUCTURAS

Si a ≡ b, entonces existe m ∈ Z tal que a − b = 3m, por lo tanto b − a = 3(−m) es decir que
b ≡ a. Ası́ que la relación es simétrica.

Finalmente si a ≡ b y b ≡ c, entonces existen m, n ∈ Z tales que a − b = 3m y b − c = 3n, de

donde a − c = a − b + b − c = (a − b) + (b − c) = 3m + 3n = 3(m + n), es decir que a ≡ c.
Luego la relación también es transitiva y por tanto es una relación de equivalencia.

Nota.
1. Obsérvese por ejemplo que 1 ≡ 4 y también 1 ≡ 13, pero no es cierto que
1 ≡ 5. Con esta observación es claro que no todos los números enteros
se relacionan con todos a través de esta relación.

2. A pesar de la anotación dada en 1, se tiene que cada número entero se

relaciona con otra infinidad de números enteros a través de esta relación.
Por ejemplo 1 ≡ 1 + k3 para cualquier k ∈ Z.

3. En la parte 1 de la nota, vimos que 5 no se relaciona con 1, sin embargo

5 ≡ 2.

4. Cabe entonces la pregunta ¿existe algún número entero que no se rela-

cione con otros números a través de esta relación? ¿qué cree usted?

Un concepto que generaliza el ejemplo anterior es lo que se conoce como congruencia. Sean
n ∈ N y a, b ∈ Z, entonces se dice que a es congruente con b módulo n si existe algún número
k ∈ Z tal que a − b = nk. Para denotar que a es congruente con b módulo n escribiremos
a ≡n b.

Similar a lo visto en el ejemplo 3, es claro que ≡n es una relación de equivalencia en Z. En

efecto, es claro que (∀a)(a ≡n a) puesto que a − a = n(0). Es decir que la relación es reflexiva.

Si a ≡n b, entonces existe m ∈ Z tal que a − b = nm, por lo tanto b − a = n(−m) es decir

que b ≡n a. Ası́ que la relación es simétrica.

Finalmente si a ≡n b y b ≡n c, entonces existen m, r ∈ Z tales que a − b = nm y b − c = nr,

de donde a − c = a − b + b − c = (a − b) + (b − c) = nm + nr = n(m + r), es decir que a ≡n c.
Luego la relación también es transitiva y por tanto es una relación de equivalencia.

Ahora, podemos decir lo que es una clase de equivalencia. Si en un conjunto A se ha

definido una relación de equivalencia, digamos ∼, entonces al subconjunto de A conformado
por todos los elementos que se relacionan con un elemento dado x es llamado su clase de
 5.2. CONGRUENCIA 77

equivalencia según ∼ y se denota por [x]. Si dos elementos están en una misma clase de
equivalencia son llamados equivalentes.

Ejemplo 4.
Con la relación de equivalencia dada en el ejemplo 3 es claro que se generan tres clases de
equivalencia [1], [2] y [0].

Ejemplo 5.
Comprobar que:

1. Si n ∈ N y a ∈ Z, entonces existe un único x ∈ {0, 1, 2, . . . , n − 1} tal que a ≡n x.

2. Si a ≡n b, entonces [a] = [b]

3. Si a 6≡n b, entonces [a] ∩ [b] = φ

Solución.

1. Primero veamos que para algún x ∈ {0, 1, 2, . . . , n − 1} se tiene que a ≡n x. Al efectuar

la división entre a y n, por el algoritmo de la división (ver Bloch, [1]) a = nq + x para
algún x ∈ {0, 1, 2, . . . , n − 1}, es decir que a − x = nq, luego a ≡n x.

Lo segundo es probar que este x es único, para esto supongamos que tambien existe
y ∈ {0, 1, 2, . . . , n − 1} tal que a ≡n y y probaremos que x = y. En efecto, como
a ≡n x y a ≡n y, entonces x ≡n y, luego existe r ∈ Z tal que x − y = nr, pero como
x, y ∈ {0, 1, 2, . . . , n − 1} se tiene que |x − y| ≤ n − 1, de donde

−(n − 1) ≤ x − y ≤ n − 1
−(n − 1) ≤ nr ≤ n−1
1
−1 + n ) ≤ r ≤ 1 − n1

y por ser r ∈ Z, entonces r = 0 y ası́ x = y.

2. Queremos probar que [a] = [b], entonces sea x ∈ [a], entonces x ≡n a, pero tambien
a ≡n b, entonces por transitiva x ≡n b y ası́ x ∈ [b] es decir que [a] ⊆ [b]. Similarmente
se prueba que [b] ⊆ [a].

3. Queremos probar que [a]∩[b] = φ. Procedamos por contradicción, entonces supongamos

que [a] ∩ [b] 6= φ, entonces existe por lo menos un x tal que x ∈ [a] y también x ∈ [b] es
decir que x ≡n a y x ≡n b de donde, por transitividad a ≡n b, lo cual es contradictorio.
X
78 CAPÍTULO 5. ESTRUCTURAS

Nota.
1. Si en Z se define ≡n , entonces se generan n clases de equivalencia
{[0] , [1] , . . . , [n − 1]}. Este conjunto es denotado como Zn .

2. En Zn se pueden definir de manera natural la suma y el producto, ası́:

para [x] , [y] ∈ Zn , [x] + [y] = [x + y] y [x] · [y] = [xy]

5.2.1. Ejercicios

1. Para cada uno de los siguientes enunciados decir si es verdadero o falso. Justifique la
respuesta.

a) 1 ≡3 7 c) 11 ≡3 21 e) 15 ≡7 4
b) 3 ≡5 9 d ) 10 ≡2 0 f ) 102 ≡9 54

2. Consederar el conjunto A = Z3 = {[0] , [1] , [2]} de las clases de equivalencia dadas en el

ejemplo 4. Por comodidad denotaremos A = {0, 1, 2}. Se definen en A las operaciones
de suma y producto, como se explicó en la nota. En este caso se tienen las siguinetes
tablas:
+ 0 1 2 · 0 1 2
0 0 1 2 0 0 0 0
1 1 2 0 1 0 1 2
2 2 0 1 2 0 2 1

a) Verificar si + es asociativa, conmutativa, si tiene elemento neutro o si tiene ele-

mento inverso.

b) Verificar si · es asociativa, conmutativa, si tiene elemento neutro o si tiene elemento

inverso.

c) Verificar si es + distributiva respecto de · o viceversa.

3. Considerar Z7 = {[0] , [1] , [2] , [3] , [4] , [5] , [6]} con la suma y producto como se definieron
en la nota. Hallar x ∈ Z7 tal que:

a) x + [3] = [12] c) x + [5] = [15]

b) x − [11] = [4] d ) x − [2] = [9]
 5.3. GRUPOS, ANILLOS Y CUERPOS 79

( ! )
a b
4. Considerar A = M2×2 = |a, b, c, d ∈ R , el conjunto de las matrices 2 × 2,
c d
se define la siguiente operación. Dados X, Y ∈ A
! ! !
a b e f a+e b+f
X ⊕Y = ⊕ =
c d g h c+g d+h

Verificar si ⊕ es asociativa, conmutativa, si tiene elemento neutro o si tiene elemento

inverso. Si cumple con alguna de ellas, dar una demostración. Si no cumple alguna de
ellas, dar un contraejemplo.

5.3. Grupos, anillos y cuerpos

Dado un conjunto y definiendo el él una o varias leyes de composición interna se teienen
algunas de las estructuras más importantes en la matemática, entre otras, grupos, anillos y
cuerpos.

Grupo
Un conjunto G en el que se ha definido una ley de composición interna ∗ tal que las siguientes
tres propiedades se cumplen:

1. (∀x, y, z ∈ G) ((x ∗ y) ∗ z = x ∗ (y ∗ z)), es asociativa.

2. (∃e ∈ G) (∀x) (e ∗ x = x ∗ e = x), tiene elemento neutro.

3. (∀x ∈ G) exite un x′ tal que x ∗ x′ = x′ ∗ x = e, existe elemento inverso o simétrico.

es llamado un grupo, normalmente se decie (G, ∗) es un grupo, para resltar la ley de com-
posición interna.

Si además la ley es conmutativa, es decir, (∀x, y ∈ G) (x ∗ y = y ∗ x), entonces el grupo es

llamado abeliano o conmutativo.

Ejemplo 7.

1. (Z, +), los números enteros con la suma estándar es un grupo abeliano, en el que e = 0
y el inverso de n es n′ = −n.

2. (R − {0}, ·), los números reales sin el 0 con el producto usual es un grupo abeliano, en
el que e = 1 y para cada x su inverso es x′ = x1 .

Anillo
Un conjunto A provisto de dos leyes de composición internas, ⊕ y ∗, tales que (A, ⊕) es un
grupo abeliano y además ∗ es asociativa y distributiva respecto a ⊕. Es decir que cumplen
las siguientes propiedades:
80 CAPÍTULO 5. ESTRUCTURAS

1. (∀x, y, z ∈ A) ((x ⊕ y) ⊕ z = x ⊕ (y ⊕ z)), es asociativa.

2. (∃e ∈ A) (∀x) (e ⊕ x = x ⊕ e = x), tiene elemento neutro.

3. (∀x ∈ A) exite un x′ tal que x ⊕ x′ = x′ ⊕ x = e, existe elemento inverso o simétrico.

4. (∀x, y ∈ A) (x ⊕ y = y ⊕ x), es conmutativa.

5. (∀x, y, z ∈ G) ((x ∗ y) ∗ z = x ∗ (y ∗ z)), es asociativa.

6. (∀x, y, z ∈ G) ((x ⊕ y) ∗ z = (x ∗ z) ⊕ (y ∗ z)), y también (z ∗ (x ⊕ y) = (z ∗ x) ⊕ (z ∗ y))

es decir que ∗ es distributiva respecto a ⊕.

es llamado un anillo. Normalmente se escribe (A, ⊕, ∗) para referirse al anillo, resaltando las
dos operaciones.

Si ∗ es conmutativa, entonces (A, ⊕, ∗) es llamado un anillo conmutativo.

Si ∗ posee elemento neutro u, entonces (A, ⊕, ∗) es llamado un anillo con unidad o unitario.

Ejemplo 8.

1. (Z, +, ·) los números enteros junto con la suma y el producto usuales es un anillo,
conmutativo con unidad.

2. (R, +, ·) los números reales junto con la suma y el producto usuales es un anillo, con-
mutativo con unidad.

Cuerpo
Sea (K, ⊕, ∗) un anillo, e el elemento neutro de ⊕ y sea K ∗ el conjunto de los elemento de K
diferentes de e. Si (K ∗ , ∗) es un grupo, entonces se dice que (K, ⊕, ∗) es un cuerpo. Es decir
que se deben cumplir las siguientes propiedades:

1. (∀x, y, z ∈ K) ((x ⊕ y) ⊕ z = x ⊕ (y ⊕ z)), es asociativa.

2. (∃e ∈ K) (∀x) (e ⊕ x = x ⊕ e = x), tiene elemento neutro.

3. (∀x ∈ K) exite un x′ tal que x ⊕ x′ = x′ ⊕ x = e, existe elemento inverso o simétrico.

4. (∀x, y ∈ K) (x ⊕ ⊕y = y ⊕ x), es conmutativa.

5. (∀x, y, z ∈ K) ((x ∗ y) ∗ z = x ∗ (y ∗ z)), es asociativa.

6. (∀x, y, z ∈ K) ((x ⊕ y) ∗ z = (x ∗ z) ⊕ (y ∗ z)), y también (z ∗ (x ⊕ y) = (z ∗ x) ⊕ (z ∗ y))

es decir que ∗ es distributiva respecto a ⊕.

7. (∃u ∈ K) (∀x ∈ K ∗ ) (e ∗ x = x ∗ e = x), existe elemento neutro.

 5.4. EJERCICIOS MISCELÁNEOS 81

8. (∀x ∈ K ∗ ) ∃x−1 ∈ K ∗ x ∗ x−1 = x−1 ∗ x = u , existe elemento inverso.

Si ∗ es conmutativa, se dice que (K, ⊕, ∗) es un cuerpo conmutativo.

Ejemplo 9.

1. (Z, +, ·) con la suma y producto usuales en Z es un anillo, pero no es un cuerpo. ¿Por

qué?

2. (R, +, ·) con la suma y producto usuales en R es un cuerpo conmutativo.

5.3.1. Ejercicios
1. Considérese el conjunto de los números reales positivos R+ = (0, ∞) junto con la
operación ∗ definida ası́: x ∗ y = xy , para x, y ∈ R+ . ¿Es (R+ , ∗) un grupo?

2. Considérese el conjunto R2 = {(x, y) | x, y ∈ R} junto con las operaciones ⊕ y ∗ defi-

nidas ası́:

(x, y) ⊕ (z, w) = (x + z, y + w) (x, y) ∗ (z, w) = (xz, yw) para (x, y), (z, w) ∈ R2

¿Es R2 , ⊕, ∗ un anillo o un cuerpo?

3. Sea A un conjunto con n elementos. Considérese el conjunto de partes de A, ℘(A) junto

con las operaciones ⊕ y ∗ definidas como:

A⊕B =A∪B A ∗ B = A ∩ B, para A, B ∈ ℘(A)

¿Es (℘(A), ⊕, ∗) un anillo o un cuerpo?

5.4. Ejercicios misceláneos

1. Dados 3 elementos, digamos abc, de ellos existe 6 permutaciones1 posibles: abc, acb,
bac, bca, cab y cba. Si tenemos un triángulo equilátero y sus vértices los denotamos
como a, b y c, respectivamente; entonces estas seis permutaciones corresponden con los
movimientos rigidos del triángulo en el plano. Asignemos nombres a las permutaciones,
que se pueden interpretar geométricamente como se describe en cada caso, ver la figura.
abc = Id, es la identidad, es decir la posición inicial del triángulo.
acb = h1 , reflexión con respecto a la altura h1
bac = h2 , reflexión con respecto a la altura h2
bca = ρ2 , rotación positiva (antihoraria) alrededor de O de 2π 3
1
Una permutación es un arreglo de los elementos, dos de ellas son diferentes si por lo menos un elemento
ha cambiado de posición.
82 CAPÍTULO 5. ESTRUCTURAS

π
cab = ρ1 , rotación positiva (antihoraria) alrededor de O de 3
cba = h3 , reflexión con respecto a la altura h3

h2
c
h3 h1
O
•

a b

Considerar la operación ∗ definida en el conjunto A = {Id, h1 , h2 , h3 , ρ1 , ρ2 } de la si-

guiente forma: Si x, y ∈ A, entonces x ∗ y es el resultado de aplicar el movimiento y al
triángulo, desde la posición x.

a) Completar la siguinete tabla de “multiplicar”. Al efectuar x ∗ y la x es tomada de

la primera columna y la y de la primera fila.
∗ Id ρ1 ρ2 h1 h2 h3
Id h1
ρ1 h3
ρ2 ρ2 ρ1
h1 h2
h2
h3 h3

b) ¿Es (A, ∗) un grupo?, si la respuesta es afirmativa ¿Es abeliano?

c) Si denotamos x2 = x ∗ x, aqué corresponden ρ21 , ρ31 , h21 .
d ) ¿Existe algún elemento en A tal que todos los demás sean potencias de éste? ¿Por
qué?

2. Considerar A = {(a, b, c)|a, b, c ∈ R}, se definen las siguientes operaciones.

Dados X, Y ∈ A
X ⊕ Y = (a, b, c) ⊕ (d, e, f ) = (a + d, b + e, c + f )
X ⊗ Y = (a, b, c) ⊗ (d, e, f ) = (bf − ce, cd − af, ae − bd)

a) Verificar si ⊕ es asociativa, conmutativa, si tiene elemento neutro o si tiene ele-

mento inverso. Si cumple con alguna de ellas, dar una demostración. Si no cumple
alguna de ellas, dar un contraejemplo.
b) Verificar si ⊗ es asociativa, conmutativa, si tiene elemento neutro o si tiene ele-
mento inverso. Si cumple con alguna de ellas, dar una demostración. Si no cumple
alguna de ellas, dar un contraejemplo.
 5.4. EJERCICIOS MISCELÁNEOS 83

c) Verificar si es ⊕ distributiva respecto de ⊗ o viceversa.

d ) ¿(A, ⊗) tiene alguna estructura especial? ¿Cuál?
e) ¿(A, ⊕) tiene alguna estructura especial? ¿Cuál?
f ) ¿(A, ⊕, ⊗) tiene alguna estructura especial? ¿Cuál?

3. Considerar (Z6 , +, ·) con la suma y producto como se definió en el numeral 5.2.

a) ¿Es (Z6 , +, ·) un anillo?

b) ¿Es (Z6 , +, ·) un cuerpo?
84 CAPÍTULO 5. ESTRUCTURAS
 Bibliografı́a

[1] Bloch Ethan D., Proofs and fundamentals, a first course in abstract mathematics, second
edition ed., Springer New York Dordrecht Heidelberg London, New York, USA, 2010.

[2] Sominski I.S., Método de inducción matemática, segunda edición ed., Editorial MIR
Moscú, Impreso en la URSS, 1985.

[3] Hrbacek Karel and Jech Thomas, Introduction to set theory, third edition revised and
expanded ed., Marcel Dekker Inc, New York, USA, 1999.

[4] Devlin Keith, El lenguaje de las matemáticas, Ediciones Robinbook, Bototá, Colombia,
2003.

[5] Ross Kenneth A. and Wrigth Charles R.B., Matemáticas discretas, segunda edición ed.,
Prentice-Hall, México, 1990.

[6] Zamansky Marc, Introducción al álgebra y análisis moderno, MONTANER Y SIMON

S.A., Barcelona, España, 1967.

[7] Suppes Patrick and Hill Shirley, Introducción a la lógica matemática, Editorial Reverté Co-
lombia S.A., Bototá, Colombia, 1988.

[8] Lipschutz Seymour, Teorı́a de conjuntos y temas afines, McGraw-Hill, Santiago, Chile,
1964.

85
 Índice alfabético

Anillo, 80 por comprensión, 42

con unidad, 80 por extensión, 42
conmutativo, 80 potencia, 49
Conjuntos
Bicondicional, 25
contenencia, 46
Clase de equivalencia, 55, 76 igualdad, 47
Complemento, 45 Contenencia, 46
Condicional, 24 Contradicción, 27, 30
Conectivos lógicos, 23 Cuantificadores, 35
bicondicional, 25 existencial, 35
condicional, 24 universal, 35
conjunción, 24 Cuerpo, 80
disjunción, 24 conmutativo, 81
disjunción exclusiva, 24
negación, 25 Demostración, 59
Congruencia, 75 constructiva, 60
módulo n, 76 de equivalencias, 60
Conjunción, 24 directa, 32, 60
Conjunto, 41 no constructiva, 60
de los números enteros, 42 por casos, 60
de los números irracionales, 43 por contradicción, 32, 60
de los números naturales, 42 por contrarrecı́proca, 60
de los números racionales, 42 por inducción matemática, 67
de los números reales, 43 Demostraciones formales, 29
de partes, 49 Diagramas de Veen, 45
de validez, 35 Diferencia, 49
elemento, 41 Diferencia simétrica, 49

86
 ÍNDICE ALFABÉTICO 87

Disjunción, 24 Predicados, 35
Principio de inducción matemática, 67
Elemento inverso, 74 Principio del buen orden, 67
Elemento neutro, 74 Producto cartesiano, 51
Equivalencias lógicas, 27 Proposición, 21
tabla, 27 básica o elemental, 21
compuesta, 23
Fórmula bien formada, 23
contradicción, 27
Función, 52, 53
predicados, 22, 35
Grupo, 79 tabla de verdad, 23
abeliano, 79 tautologı́a, 27
valor de verdad, 21
Implicación lógica, 29
tabla, 30 Razonamiento válido, 29
Inducción matemática, 65 Regla de inferencia, 29
Intersección, 44 Relación, 52
de equivalencia, 54, 75
Ley de orden, 54
asociativa, 73 reflexiva, 75
conmutativa, 73 simétrica, 75
de composición interna, 73 transitiva, 75
distributiva, 75
invertiva, 74 Técnicas de demostración, 59
modulativa, 74 Tabla de verdad, 23
Tautologı́a, 27, 30
Número Teorema, 29
impar, 61 conclusión, 29
par, 61 de Pitágoras, 61
primo, 61 hipótesis, 29
Negación, 25 Terna pitagórica, 61

Operaciones entre conjuntos, 43 Unión, 44

complemento, 45
diferencia, 49 Variables libres, 22
diferencia simétrica, 49
intersección, 44
unión, 44

Pareja ordenada, 51
Pertenencia, 41