1

Clase 001. Escalas y semejanza. 28 de agosto del ao 2014

Francisco Javier Garca Reyes
pacoensem@yahoo.com.mx
1.1 ESCALAS NUMRICAS. TEOREMA DE THALES INTRODUCCIN.
Revisar la tarea. Tarea: Cmo construir un reloj de sol?, Cmo medir la circunferencia
del sol? Harn la exposicin por parejas la clase del jueves.
Tablas de verdad: implicacin y doble implicacin.
EXPOSI CI N. LENGUAJ ES FORMALES.
Existen dos formas de aparecer a los objetos de la matemtica, construyendo uno a uno
los objetos como es el caso de los nmeros Naturales, al conjunto vaco se le asocia con el cero, al
conjunto del conjunto vaco con el 1,: { + * * + + { * + * * + +} y luego los
enteros son construidos va el inverso aditivo (a + (-a) = 0), los racionales como parejas de enteros,
los irracionales como otra clase nmeros que no son racionales y la unin de los dos ltimos: los
reales. Este es el camino que se ha querido seguir en la educacin bsica tratando de encontrar
alguna situacin real para cada ampliacin de la idea de nmero
El otro camino es anunciar la existencia de un conjunto no vaco, formado por objetos
donde en ellos se establece una operacin, se dice qu propiedades tiene tal operacin y a travs de
argumentos lgicos se obtienen otras afirmaciones verdaderas llamadas teoremas.
Una idea previa bsica es la de funcin, decimos que una funcin es un conjunto de parejas
ordenadas de tal forma que si hay dos parejas distintas entonces son diferentes los primeros
elementos es decir: {( ) (

) (

}, al conjunto
formado por los primeros elementos lo llamamos dominio, al conjunto formado por los segundos
elementos se llama imagen de la funcin. Es posible que todas las parejas diferentes tambin tengan
diferente la segunda componente, as, diremos que se trata de una funcin uno a uno. Tambin es
posible que el conjunto de las segundas componentes sea subconjunto de otro conjunto ms grande,
si es el caso decimos que la funcin no es sobre.
Un ejemplo de funcin a secas es la asociacin entre los seres humanos y su estatura, a
cada ser humano le corresponde una nica altura, pero hay por lo menos dos humanos diferentes
que tienen la misma altura, entonces la funcin no es uno a uno, adems, las alturas son subconjunto
de otro conjunto numrico mayor (el intervalo: [0.25metros, 4.0 metros]), entonces la funcin {(ser
2

humano, su altura)}, tampoco es una funcin sobre. A cambio la funcin {(nmero real x, tal que
x2x )}, es una funcin uno a uno y sobre, es decir es una biyeccin.
Un sistema axiomtico, tambin lo pensamos como lenguaje formal, tiene las siguientes
caractersticas:
1. Elementos primitivos. Cosas que no se definen pero que tenemos ideas acerca de qu son,
por ejemplo: puntos, rectas y planos en geometra plana y las proposiciones en lgica, las
proposiciones son verdaderas o falsas pero no ambas cosas.
2. Reglas de sintaxis. Nos permiten formar elementos complejos a partir de los primitivos.
3. Los axiomas. Son proposiciones aceptadas como verdaderas.
4. Reglas de inferencia. Son las que regulas la validez de la construccin de afirmaciones
complejas.
5. Definiciones. Son palabras que agrupan ideas complejas, como la definicin de funcin
vista en los prrafos anteriores.
6. Teoremas. Son proposiciones verdaderas que se obtienen de los cinco puntos anteriores.
Algunas exigencias de los sistemas axiomticos son: Las proposiciones no deben ser
contradictorias. Los axiomas tendrn que ser independientes, es decir, un axioma no debe ser
obtenido de otros axiomas, ex decir no debe ser un teorema. Y todos los teoremas tendrn que ser
obtenidos dentro del sistema axiomtico, a esto se le llama un sistema completo.
Cantidad: Sea un conjunto no vaco A, los elementos de A los representamos con letras
minsculas y tienen las siguientes caractersticas:
1. a, b, c A,
a = a
a=b b=a
Si a=b y b=c a=c
Con esto henos introducido una relacin de equivalencia, la igualdad.
2. a, b A, a + b A
Hemos definido la suma de los elementos de A
3. La suma es: conmutativa, asociativa y tiene elemento neutro que es el cero (0), adems,
a, b, c, d A, si a=b, c=d a + c = b + d
3

Definicin: La magnitud se entiende a la cualidad que tienen todos los elementos de A
4. En los elementos de A se define una relacin de orden:
a, b A, entonces es verdadera una y slo una de las siguientes relaciones: a < b , a >
b a=b, tambin usamos la notacin a b para indicar que a es menor igual a b, pero
no ambas. La relacin de orden es: Reflexiva, antisimtrica, transitiva y la suma mantiene
la relacin de orden. Con smbolos:
a A a a
a, b A a b y b a entonces a = b
a, b, c A a b y b c entonces a c
a, b, c A a b entonces a + c b + c
Al conjunto A con todas las propiedades anteriores las llamamos magnitudes escalares
continuas y constituyen un semigrupo conmutativo con elemento neutro totalmente ordenado. En
este sentido la matemtica es un conjunto de objetos, donde en ellos se definen operaciones y
tambin relaciones. Matemtica: {objetos, operaciones y relaciones}, los orgenes de esta forma de
pensar la matemtica se ubican a finales de 1800 y principios de 1900 y se pone al alcance de los
estudiantes de licenciatura alrededor 1940, a las escuelas Normales nos lleg despus de 70 aos
pero a los salones de clase de la ENSEM an no aparece, y esto lo afirmo porque las respuestas de
los estudiantes del 7 y 8 semestres quienes han sido mis alumnos a las preguntas como qu es un
nmero o qu es la matemtica?, continan dando respuestas fundamentas en el sentido comn, un
nmero es un smbolo, es la cuenta, la matemtica es la ciencia de los nmeros, es un ciencia
exacta, as, no nos hemos enterado que en el siglo XX hubo un verdadero terremoto en los
fundamentos de la matemtica y tal vez por ello sigamos pensando que la enseanza de la
matemtica se trata de aprender recetas, que es sinnimo de algoritmo.
Y toda esta retahla tiene alguna aplicacin prctica?, tal vez para los estudiantes de
matemticas les resulte interesante y posiblemente utilizable pero para los ciudadanos comunes
todas esas ideas pueden tener aplicacin prctica?, pues s porque todo el Sistema legal mexicano,
como la Constitucin poltica, La ley general de educacin, El compendio jurdico y normativo del
servicio profesional docente, La ley del ISSEMYM, incluyendo El programa rector de investigacin
e innovacin educativa de las escuelas Normales pblicas del estado de Mxico son lenguajes
formales como tambin lo son: La fsica de newton, La qumica molecular, los trabajos de tesis
1
, las

1
Uso las ideas de Garca Crdova en el sentido que hay una distincin entre las
conclusiones de un documento con propsitos para la obtencin de grado y todo el escrito. A las
conclusiones, que son afirmaciones, las llama tesis y a todo el escrito lo llama trabajo de tesis.
4

normas de urbanidad y el juego del ajedrez y por supuesto que se me han escapado otra variedad de
ejemplos donde los lenguajes formales son aplicados.

ACTI VI DADES PARA EL SALN DE CLASE
1. Mapas y escalas
2. Medir el permetro del contorno de la mano con unidades no convencionales.
Los alumnos (tres grupos de dos) esperaban que el hilo que se les dio fuese
suficientemente largo como para que de una sola pasada, cubriese el contorno total de
la palma de la mano. Por qu esperaban eso?
3. Dividir un segmento en n partes usando una hoja de rayageometra\GEOMETRA.EXE.
4. Caminos con fracciones
Retomar la revisin de los textos:
1. Revisin del texto de Lina M Bedolla Yandl ms demostraciones
2. Revisin del texto de Luengo Gonzlez y Grupo Beta
https://ia902501.us.archive.org/19/items/geometryofrene00desc/geometryofrene00desc.pdf
https://archive.org/details/geometryofrene00desc