26/6/2020 AATA Una Breve Nota sobre Demostraciones
Algebra Abstracta: Teoría y Aplicaciones
Thomas W. Judson
1.1 Una Breve Nota sobre Demostraciones ¶
La matemática abstracta es diferente de otras ciencias. En las ciencias de
laboratorio como química y física, los cientí cos hacen experimentos para
descubrir nuevos principios y veri car teorías. Si bien las matemáticas están
frecuentemente motivadas por experimentos físicos o simulaciones
computacionales, se hacen rigurosas mediante el uso de argumentos lógicos. Al
estudiar matemáticas abstractas, usamos lo que se llama el método axiomático;
es decir, tomamos una colección de objetos S y suponemos ciertas reglas sobre
su estructura. Estas reglas se llaman axiomas. Usando los axiomas para S ,
queremos deducir otra información sobre S usando argumentos lógicos.
Requerimos que nuestros axiomas sean consistentes; es decir, no debiesen
contradecirse entre ellos. También exigimos que no haya demasiados axiomas.
Si un sistema de axiomas es demasiado restrictivo, habrá muy pocos ejemplos
de la estructura matemática.
Un enunciado en lógica o matemáticas es una a rmación o frase, en lenguaje
natural o usando simbología matemática, que es verdadera o falsa. Considere
los siguientes ejemplos:
3 + 56 − 13 + 8/2 .
Todos los gatos son negros.
2 + 3 = 5 .
2x = 6 si y solo si x = 4.
Si ax 2
+ bx + c = 0 y a ≠ 0, entonces
2
−b ± √b − 4ac
x = .
2a
x
3
− 4x
2
+ 5x − 6 .
Todos salvo el primero y el último son enunciados, y deben ser verdaderos o
falsos.
Una demostración matemática no es más ni menos que un argumento
convincente de la veracidad de un enunciado. Un tal argumento debiese
contener su ciente detalle para convencer a la audiencia; por ejemplo podemos
[Link]/aata-es/[Link] 1/4
26/6/2020 AATA Una Breve Nota sobre Demostraciones
ver que el enunciado “2x = 6 si y solo si x = 4” es falso evaluando 2 ⋅ 4 y
notando que 6 ≠ 8, un argumento que satisfacerá a cualquiera. Por supuesto,
las audiencias son muy diversas: demostraciones pueden estar dirigidas a otro
estudiante, a un profesor, o al lector de un escrito. Si se presenta más detalle
del necesario en una demostración, ésta puede ser muy larga o incluso confusa.
Si se omiten demasiados detalles, el argumento puede no ser convincente. Es
importante tener en cuenta la audiencia al escribir la demostración. Estudiantes
de secundaria requerirán mucho más detalles que estudiantes de post-grado.
Una buena regla de oro en un curso introductorio de álgebra abstracta es que la
demostración debiese ser escrita pensando en los compañeros de uno, sean
estos otros estudiantes o sean lectores del texto.
Examinemos distintos tipos de enunciados. Un enunciado puede ser tan simple
como “10/5 = 2;” pero, los matemáticos usualmente están interesados en
enunciados más complejas tales como “Si p, entonces q,” donde p y q son a su
vez enunciados. Si cierto enunciado es conocido o suponemos que es cierto,
queremos saber lo que podemos decir sobre otros enunciados. Acá p se llama
hipótesis y q se conoce como conclusión. Considere el siguiente enunciado: Si
ax + bx + c = 0 y a ≠ 0, entonces
2
2
−b ± √b − 4ac
x = .
2a
La hipótesis es que ax 2
+ bx + c = 0 y a ≠ 0; la conclusión es
2
−b ± √b − 4ac
x = .
2a
Note que el enunciado no dice nada sobre si la hipótesis es verdadera o no.
Pero, si el enunciado completo es verdadero y podemos mostrar que
ax + bx + c = 0 con a ≠ 0 es verdadero, entonces la conclusión debe ser
2
verdadera. Una demostración de este enunciado puede ser simplemente una
serie de ecuaciones:
2
ax + bx + c = 0
2
b c
x + x = −
a a
2 2
2
b b b c
x + x + ( ) = ( ) −
a 2a 2a a
2
2
b b − 4ac
(x + ) =
2
2a 4a
2
b ±√ b − 4ac
x + =
2a 2a
2
−b ± √b − 4ac
x = .
2a
[Link]/aata-es/[Link] 2/4
26/6/2020 AATA Una Breve Nota sobre Demostraciones
Si podemos demostrar la veracidad del enunciado, entonces el enunciado se
llama proposición. Una proposición de mayor importancia se llama Teorema. A
veces, en lugar de demostrar un teorema o proposición de una sola vez,
descomponemos la demostración en módulos; es decir, demostramos varias
proposiciones auxiliares, que se llaman Lemas, y usamos los resultados de estas
proposiciones para demostrar el resultado principal. Si podemos demostrar una
proposición o teorema, frecuentemente podremos obtener resultados
relacionados con muy poco esfuerzo adicional, estos se llaman Corolarios.
Algunas Advertencias y Sugerencias ¶
Existen diversas estrategias para demostrar proposiciones. Además de usar
diferentes métodos de demostración, los estudiantes suelen cometer errores
comunes cuando recién comienzan a demostrar teoremas. Para ayudar a los
estudiantes primerizos de matemáticas abstractas, listamos acá algunas de las
di cultades que pueden encontrar y algunas de las estrategias a su disposición.
Es una buena idea volver a mirar esta lista como recordatorio. (Otras técnicas de
demostración aparecerán a lo largo de este capítulo y en el resto del texto.)
Un teorema no puede ser demostrado con un ejemplo; pero, el método
estándar para demostrar que una proposición no es verdadera, es dar un
contraejemplo.
Los cuanti cadores son importantes. Palabras y frases como único, para
todos, para cada, y para algún tienen signi cados diferentes.
Nunca suponga una hipótesis que no se da explícitamente en un teorema.
No puede dar cosas por sabidas.
Supongamos que quiere mostrar que un objeto existe y es único. Primero
muestre que el objeto realmente existe. Para demostrar que es único,
supongamos que hay dos tales objetos, digamos r y s, y después
demuestre que r = s.
A veces es más fácil demostrar el contrapositivo de una proposición.
Demostrar la proposición “Si p, entonces q” es exactamente lo mismo que
demostrar la proposición “Si no q, entonces no p.”
Si bien usualmente es mejor encontrar una demostración directa de un
teorema, esto puede ser difícil. Podría ser más fácil suponer que el
teorema que está tratando de demostrar es falso, y esperar que a lo largo
de su argumento se vea obligado a deducir un enunciado que no pueda
ser verdadero.
Recuerde que uno de los objetivos principales de las matemáticas superiores es
demostrar teoremas. Los teoremas son herramientas que permiten nuevas y
productivas aplicaciones de las matemáticas. Usamos ejemplos para ilustrar
teoremas existentes y para incentivar el desarrollo de la intuición sobre la razón
[Link]/aata-es/[Link] 3/4
26/6/2020 AATA Una Breve Nota sobre Demostraciones
de la posible veracidad de nuevos teoremas. Aplicaciones, ejemplos y
demostraciones están fuertemente interconectados—mucho más de lo que
puede parecer en primera instancia.
[Link]/aata-es/[Link] 4/4
