Matemáticas

Las matemáticas o la matemática (del latín

mathematĭca, y este del griego μαθηματικά, derivado de μάθημα, ‘conocimiento’) es una
ciencia formal1 que, partiendo de axiomas2 y siguiendo el razonamiento lógico3, estudia las
propiedades y relaciones entre entidades abstractas4 como números, figuras geométricas o
símbolos.
La matemática en realidad es un conjunto de lenguajes formales que pueden ser
usados como herramienta para plantear problemas de manera no ambigua en contextos
específicos. Las ciencias naturales han cambiado un uso extensivo de las matemáticas para
explicar diversos fenómenos observables. Mediante la abstracción y el uso de la lógica en el
razonamiento, las matemáticas han evolucionado basándose en las cuentas, el cálculo y las
mediciones, junto con el estudio sistemático de la forma y el movimiento de los objetos
físicos. Las matemáticas, desde sus comienzos, han tenido un fin práctico.
Las explicaciones que se apoyaban en la lógica aparecieron por primera vez con la
matemática helénica, especialmente con los Elementos de Euclides. Las matemáticas
siguieron desarrollándose, con continuas interrupciones, hasta que en el Renacimiento las
innovaciones matemáticas interactuaron con los nuevos descubrimientos científicos. Como
consecuencia, hubo una aceleración en la investigación que continúa hasta la actualidad.

1. Ciencia formal
Las ciencias formales son conjuntos sistemáticos de conocimientos racionales y
coherentes. Su objeto de estudio no es el mundo, ni la realidad físico-natural, sino objetos
puramente abstractos, pero cuyos conocimientos pueden ser aplicados a dicha realidad
físico-natural. El método propio de las ciencias formales es el método deductivo ►
Es aquella que trabaja con formas, es decir, con objetos ideales, que son creados por
el hombre, que existen en su mente y son obtenidos por abstracción. Les interesan las formas
y no los contenidos; no les importa lo que se dice, sino cómo se dice. La verdad de las
ciencias formales es necesaria y formal.
Las ciencias formales son las ramas de la ciencia que estudian sistemas formales. Las
ciencias formales validan sus teorías con base en proposiciones, definiciones, axiomas y
reglas de inferencia. Todas ellas son analíticas, a diferencia de las ciencias sociales y las
Commented [jpr1]: Método deductivo es un método
científico que considera que la conclusión se halla implícita
dentro las premisas. Esto quiere decir que las conclusiones
son una consecuencia necesaria de las premisas: cuando las
premisas resultan verdaderas y el razonamiento deductivo
tiene validez, no hay forma de que la conclusión no sea
verdadera.
Las primeras descripciones del razonamiento deductivo
fueron realizadas por filósofos en la Antigua Grecia, entre
ellos Aristóteles. Cabe destacar que la palabra deducción
proviene del verbo deducir (del latín deducĕre), que hace
referencia a la extracción de consecuencias a partir de una
proposición.
El método deductivo logra inferir algo observado a partir de
una ley general. Esto lo diferencia del llamado método
inductivo, que se basa en la formulación de leyes partiendo
de los hechos que se observan.

ciencias naturales, que las comprueban de manera empírica, es decir, observando el mundo Commented [jpr2]: Lista de ciencias formales
Matemática
real. Ciencias de la computación2
Estadística
Lógica
 2. Axiomas
Un axioma es una proposición asumida dentro de un cuerpo teórico sobre la cual
descansan otros razonamientos y proposiciones deducidas de esas premisas.
Introducido originalmente por los matemáticos griegos del período helenístico ►.
En lógica y matemáticas, un axioma es solo una premisa que se asume, con
independencia de que sea o no evidente, y que se usa para demostrar otras proposiciones.
El axioma se consideraba como una proposición «evidente» y que se aceptaba sin
requerir demostración previa. Posteriormente, en un sistema hipotético-deductivo, un axioma
era toda proposición no deducida de otras, sino que constituye una regla general de
pensamiento lógico (por oposición a los postulados ►).
Si tradicionalmente los axiomas se elegían de entre «afirmaciones evidentes», con el
Commented [jpr3]: Se denomina período helenístico o
helenismo o periodo alejandrino a una etapa histórica de la
Antigüedad cuyos límites cronológicos vienen marcados por
dos importantes acontecimientos políticos: la muerte de
Alejandro Magno (323 a. C.) y el suicidio de la última
soberana helenística, Cleopatra VII de Egipto, y su amante
Marco Antonio, tras su derrota en la batalla de Accio (31 a.
C.).
Commented [jpr4]: Un postulado es una proposición no
evidente por sí misma, ni demostrada, pero que se acepta,
ya que no existe otro principio al que pueda ser referida.

objetivo de deducir el resto de proposiciones, en la moderna teoría de modelos un axioma es

solo una asunción, y en modo alguno se considera que la verdad o falsedad de los axiomas
dependa del sentido intuitivo que se le pueda atribuir, o se recurre a que puedan ser
autoevidentes.
Cuando una persona razona, desarrolla un razonamiento. Razonar es la actividad mental
que permite lograr la estructuración y la organización de las ideas para llegar a una
conclusión.

3. Razonamiento lógico
Razonar es la actividad mental que permite lograr la estructuración y la organización
de las ideas para llegar a una conclusión. Cuando una persona razona, desarrolla un
razonamiento.
La lógica es la ciencia dedicada a la exposición de las formas, los métodos y los
principios del conocimiento científico. Algo lógico, en este sentido, es aquello que respeta
estas reglas y cuyas consecuencias resultan justificadas, válidas o naturales.
Así, un razonamiento lógico es un proceso mental que implica la aplicación de la
lógica. A partir de esta clase de razonamiento, se puede partir de una o de varias premisas
para arribar a una conclusión que puede determinarse como verdadera, falsa o posible.
El razonamiento lógico se puede iniciar a partir de una observación (es decir, una Commented [jpr5]: Se denomina silogismo a una forma
de razonamiento deductivo, o sea, de un argumento en el
experiencia) o de una hipótesis. El proceso mental de análisis puede desarrollarse de cual la conclusión se obtiene sin excepción a partir de las
premisas. En este caso, hay tres proposiciones: dos premisas
distintas maneras y convertirse en un razonamiento inductivo, deductivo ►, etc. Según la clase y la conclusión. El primero en formular un silogismo fue el
filósofo y lógico griego Aristóteles en su obra titulada “El
de razonamiento empleada, la conclusión tendrá mayor o menor posibilidad de resultar Órganon“, que se puede traducir como “el instrumento”
válida. La conclusión encuentra su base en las premisas► iniciales: el razonamiento lógico es
el camino que vincula ambas partes. El resultado del razonamiento tendrá un cierto grado de
probabilidad en cuanto a su veracidad, siempre que los razonamientos lógicos sean válidos.
4. Entidad abstracta
La ontología (del griego οντος 'del ente', genitivo del participio del verbo εἰμί 'ser,
estar'; y λóγος 'ciencia, estudio, teoría') es una rama de la metafísica que estudia lo que hay.
Los discípulos de Aristóteles utilizaron el término metafísica por primera vez
(literalmente quiere decir "después de la física") para referirse a lo que su maestro describió
como "filosofía primera", posteriormente conocida como ontología. La ontología es la
investigación del ser en tanto que es, o del ser en general, más allá de cualquier cosa en
particular que es o existe.
Algunos filósofos, sobre todo de la escuela de Platón, sostienen que todos los
sustantivos se refieren a entidades existentes. Otros afirman que los sustantivos no siempre
Commented [jpr6]: El concepto se utiliza para nombrar al
indicio, síntoma o conjetura que permite inferir algo y sacar
una conclusión.
Para la lógica y la filosofía, por lo tanto, las premisas son
aquellas proposiciones que anteceden a la conclusión. Esto
quiere decir que dicha conclusión deriva de las premisas,
aunque éstas pueden ser falsas o verdaderas. También, la
conclusión puede ser falsa aun cuando las premisas sean
verdaderas.
Commented [jpr7]: La ontología intenta responder
preguntas generales como: ¿Qué es la materia? ¿Qué es un
proceso? ¿Qué es el espacio-tiempo? ¿Hay propiedades
emergentes? ¿Se ajustan todos los eventos a alguna(s)
ley(es)? ¿Hay especies naturales? ¿Qué hace real a un
objeto? ¿Hay causas finales? ¿Es real el azar?
Preguntas tradicionales de la filosofía pueden ser
entendidas como preguntas de ontología: ¿Dios existe?
¿Existen entidades mentales, como ideas y pensamientos?
¿Existen entidades abstractas, como los números? ¿Existen
los universales?
Además, la ontología estudia la manera en que se
relacionan las entidades que existen.

nombran entidades, sino que ofrecen una forma de referencia a una colección de objetos o Commented [jpr8]: El nombre o sustantivo es aquel tipo
de palabras cuyo significado determina la realidad.
sucesos. En este sentido, la mente, en lugar de referirse a una entidad, se refiere a una
colección de sucesos mentales experimentados por una persona.
El problema central de la ontología fue presentado Willard van Orman Quine en su Commented [jpr9]: https://math.boisestate.edu/~holme
s/Phil209/Quine%20-%20On%20What%20There%20Is.pdf
artículo “Sobre lo que hay”:
Un rasgo curioso del problema ontológico es su simplicidad. Puede formularse
en dos monosílabos castellanos: “¿Qué hay?”. Sin embargo, esto es sólo decir
que hay lo que hay. Queda lugar para discrepancias en casos particulares; y
así la cuestión ha persistido a través de los siglos.
Cada uno de estos "casos particulares" presenta un problema distinto. Desde la
segunda mitad del siglo XX, el naturalismo imperante ha determinado que los debates
metafísicos sean principalmente acerca de la existencia o no de todo aquello que parece
entrar en conflicto con la descripción del mundo provista por las teorías científicas más
exitosas. Esto se refleja en la elección de algunos de los casos que se mencionan a
continuación:
Las entidades abstractas: Es ampliamente aceptado que las ideas se conciben según
se articulan por la cognición de cada individuo en una de dos categorías: como entidades
abstractas, o como entidades concretas. Los números, los conjuntos y los conceptos son
algunos ejemplos de entidades que intuitivamente clasificamos como abstractas, mientras
que el planeta Venus, este árbol y aquella persona son ejemplos intuitivos de entidades
concretas. Sin embargo, todavía no existe un criterio aceptado para decidir cuándo una
entidad es abstracta y cuándo concreta, aparte de la intuición. Además, tampoco existe
acuerdo sobre si las entidades abstractas siquiera existen, y en caso de que existan, sobre
cuáles existen.
Otras discrepancias en casos particulares son:
Las entidades del sentido común► Commented [jpr10]: Al encontrar una silla, ¿debemos
decir que lo que hay en el mundo es una silla? ¿O sería más
Los universales ► correcto decir que lo que hay, estrictamente hablando, es
un montón de moléculas? ¿O quizás un montón de átomos?
La mente y lo mental► Y está claro que este argumento puede extenderse a
muchas otras entidades del sentido común.
Los agujeros►
Commented [jpr11]: Los universales (también llamados
propiedades, atributos o cualidades) son los supuestos
referentes de los predicados como "verde", "áspero",
"amigo" o "insecto". El problema de los universales es
acerca de si los universales existen, y en caso de que así sea,
cuál es su naturaleza: si existen en las cosas (in re), o
independientemente de ellas (ante rem), o en nuestra
mente, por mencionar algunas posturas.

La existencia de los universales se postula para justificar

nuestra manera de hablar acerca de los individuos. Así, por
ejemplo, estamos justificados en decir de una planta que
"es verde", porque la planta posee el universal verde, o
alternativamente porque el universal verde está presente
en la planta. Además, podemos decir de varias cosas que
"son todas verdes", porque el universal verde, siendo algo
distinto de las cosas, está sin embargo presente en todas
ellas.
Commented [jpr12]: Al abrir una cabeza, lo que vemos
no es una mente, con pensamientos, ideas y recuerdos, sino
materia. ¿Será que lo mental es una ilusión, y que todo lo
que hoy describimos en términos mentales puede reducirse
a los procesos físicos que observa la ciencia? ¿O será que lo
mental es algo efectivamente existente, inmaterial e
inobservable? Para un poco más de discusión, véase El
problema mente-cuerpo.
Commented [jpr13]: A primera vista, los agujeros están
"hechos de nada". ¿Cómo es posible, pues, referirnos a ellos
como si fueran objetos comunes? ¿Cómo es posible
percibirlos? ¿Qué percibimos?
 En una subdivisión amplia de las matemáticas se distinguen cuatro objetos de estudio
básicos: la cantidad ►, la estructura ►, el espacio► y el cambio► que se corresponden a la Commented [jpr14]: Números
naturales Enteros Números racionales Números
aritmética, álgebra, geometría y cálculo. reales Números complejos

Además, hay ramas de las matemáticas conectadas a otros campos como la lógica y Commented [jpr15]: Combinatoria Teoría de
números Teoría de grupos Teoría de grafos Teoría del
teoría de conjuntos, y las matemáticas aplicadas. orden Álgebra
Commented [jpr16]: Geometría Trigonometría Geome
tría diferencial Topología Geometría fractal Teoría de la
Matemáticas aplicadas► medida
Commented [jpr17]: Cálculo Cálculo
Estadística y ciencias de la decisión► vectorial Ecuaciones diferenciales Sistemas
dinámicos Teoría del caos Análisis complejo
Matemática computacional►
Commented [jpr18]: El término matemáticas aplicadas se
refiere a aquellos métodos y herramientas matemáticas que
pueden ser utilizados en el análisis o resolución de
problemas pertenecientes al área de las ciencias básicas o
aplicadas. Muchos métodos matemáticos han resultado
efectivos en el estudio de problemas en física, química,
biología, medicina, ciencias sociales, ingeniería, economía,
finanzas, ecología entre otras.

Sin embargo, una posible diferencia es que en matemáticas

aplicadas se procura el desarrollo de las matemáticas "hacia
afuera", es decir su aplicación o transferencia hacia el resto
de las áreas. Y en menor grado "hacia dentro" o sea, hacia el
desarrollo de las matemáticas mismas. Este último sería el
caso de las matemáticas puras o matemáticas elementales.

Las matemáticas aplicadas se usan con frecuencia en

distintas áreas tecnológicas para modelado, simulación y
optimización de procesos o fenómenos, como el túnel de
viento o el diseño de experimentos.
Commented [jpr19]: La estadística trata de las técnicas
para recolectar, organizar, presentar, analizar un conjunto
de datos numéricos y a partir de ellos y de un marco teórico,
hacer las inferencias de lugar. Es una herramienta
fundamental para la investigación científica y empírica en
los campos de la economía, genética, informática,
ingeniería, sociología, psicología, medicina, contabilidad,
etc.
Se consagra en forma directa al gran problema universal
de como tomar las decisiones inteligentes y acertadas en
condiciones de incertidumbre. Sirve como fuente de
instrucción para los niveles introductorios de estadística
descriptiva y, por tanto, los conceptos manejados y las
técnicas empleadas han sido presentadas de la forma más
simple, claramente posibles.
Commented [jpr20]: Física matemática, Dinámica de
fluidos, Análisis numérico, Optimización, Teoría de la
probabilidad, Estadística, Criptografía, Geometría
computacional, Matemáticas financieras, Teoría de juegos,
Biología matemática, Química matemática, Economía
matemática, Teoría de control.
 Geometría
La geometría (del latín geometrĭa, y este del griego γεωμετρία de γῆ gē, ‘tierra’, y
μετρία metría, ‘medida’) es una rama de la matemática que se ocupa del estudio de las
propiedades de las figuras en el plano o el espacio, incluyendo: puntos, rectas, planos,
politopos (que incluyen paralelas, perpendiculares, curvas, superficies, polígonos, poliedros,
etc.). Es una de las ciencias más antiguas. La civilización babilónica fue una de las primeras
culturas en incorporar el estudio de la geometría.
Es la base teórica► de la geometría descriptiva► o del dibujo técnico ►.►
Sus orígenes se remontan a la solución de problemas concretos relativos a medidas.
Inicialmente estuvo constituida por conocimientos prácticos en relación con las longitudes,
áreas y volúmenes. La invención de la rueda abrió el camino al estudio de la circunferencia y
posteriormente al descubrimiento del número π (pi); También desarrollaron el sistema
sexagesimal, al conocer que cada año cuenta con 360 días.
Euclides, en el siglo III a. C. configuró la geometría en forma axiomática y
constructiva`: la geometría euclidiana descrita en “Los Elementos” ►. En trece volúmenes
Euclides recopila gran parte del saber matemático de su época, representados en el sistema
axiomático conocido como Postulados de Euclides, los cuales de una forma sencilla y lógica
dan lugar a la Geometría euclidiana. En geometría euclidiana, los axiomas y postulados son
proposiciones que relacionan conceptos, definidos en función del punto, la recta y el plano.
El cuestionamiento del paralelismo postulado por Euclides originará nuevas
geometrías: la elíptica (geometría de Riemann) o la hiperbólica de Nikolái Lobachevski. La
geometría esférica es un ejemplo de geometría no euclidiana
René Descartes desarrolló simultáneamente el álgebra de ecuaciones y la geometría
analítica, marcando una nueva etapa, donde las figuras geométricas, tales como las curvas
planas, podrían ser representadas analíticamente, es decir, con funciones y ecuaciones. En
geometría analítica, los axiomas se definen en función de ecuaciones de puntos, basándose en
el análisis matemático y el álgebra. Adquiere otro nuevo sentido hablar de puntos, rectas o
planos. f(x) puede definir cualquier función, llámese recta, circunferencia, plano, etc.
La geometría se enriquece con el estudio de la estructura intrínseca de los entes
geométricos que analizan Euler y Gauss, que condujo a la creación de la topología y la
geometría diferencial.
La topología (del griego τόπος, 'lugar', y λόγος, 'estudio') es la rama de las
matemáticas dedicada al estudio de aquellas propiedades de los cuerpos geométricos que
permanecen inalteradas por transformaciones continuas.
Commented [jpr21]: La geometría descriptiva es un
conjunto de técnicas geométricas que permite representar
el espacio tridimensional sobre una superficie
bidimensional.
Commented [jpr22]: El dibujo técnico es un sistema de
representación gráfica de diversos tipos de objetos, con el
propósito de proporcionar información suficiente para
facilitar su análisis, ayudar a elaborar su diseño y posibilitar
su futura construcción y mantenimiento.
La representación gráfica se basa en la geometría
descriptiva y utiliza las proyecciones ortogonales para
dibujar las distintas vistas de un objeto.
Los objetos, piezas, máquinas, edificios, planos urbanos,
entre otros , se suelen representar en planta (vista superior,
vista de techo, planta de piso, cubierta, entre otros ), alzado
(vista frontal o anterior) y lateral (acotaciones); son
necesarias un mínimo de dos proyecciones (vistas del
objeto) para aportar información útil del objeto,
dependiendo esto de la complejidad del mismo. Las vistas
mencionadas de acuerdo al sistema ortogonal se llaman
fundamentales por pertenecer al triedro fundamental, este
triedro lo conforman el plano anterior, superior y lateral.
Commented [jpr23]: También da fundamento a
instrumentos como el compás, el teodolito, el pantógrafo o
el sistema de posicionamiento global (en especial cuando se
la considera en combinación con el análisis matemático y
sobre todo con las ecuaciones diferenciales).
Commented [jpr24]: También da fundamento a
instrumentos como el compás, el teodolito, el pantógrafo o
el sistema de posicionamiento global (en especial cuando se
la considera en combinación con el análisis matemático y
sobre todo con las ecuaciones diferenciales).
Commented [jpr25]: Los Elementos de Euclides (en
griego: Στοιχεῖα , /stoicheia/) y conocido como geometría
euclidiana; en griego: Ευκλειδης Γεωμετρια) es un tratado
matemático y geométrico que se compone de trece libros,
escrito por el matemático y geómetra griego Euclides cerca
del 300 a. C. en Alejandría.
El contenido de los libros es el siguiente:
Libros 1 al 4 tratan sobre geometría plana.
Libros 5 al 10 tratan sobre razones y proporciones.
Libros 11 al 13 tratan sobre geometría de los cuerpos
sólidos.
http://euclides.org/menu/elements_esp/indiceeuclides.htm
http://www.bbc.com/mundo/noticias/2016/05/160510_ele
mentos_euclides_influyente_finde_dv
 Tipos de geometría
Desde los antiguos griegos, ha existido numerosas contribuciones a la geometría,
particularmente a partir del siglo XVIII. Eso ha hecho que proliferen numerosas subramas de
la geometría con enfoques muy diferentes. Para clasificar los diferentes desarrollos de la
geometría moderna se pueden recurrir a diferentes enfoques:

Geometrías según el tipo de espacio

Los antiguos griegos manejaban un único tipo de geometría, a saber, la geometría
euclídea, hábilmente codificada en los Elementos de Euclides por una escuela alejandrina
encabezada por Euclides. Este tipo de geometría se basó en un estilo formal de deducciones a
partir de cinco postulados básicos. Los cuatro primeros fueron ampliamente aceptados y
Euclides los usó extensivamente, sin embargo, el quinto postulado fue menos usado y con
posterioridad diversos autores trataron de demostrarlo a partir de los demás. La imposibilidad
de dicha deducción llevó a constatar que junto con la geometría euclídea existían otros tipos
de geometrías en que el quinto postulado de Euclídes no participaba. De acuerdo a las
modificaciones introducidas en ese quinto postulado se llega a familias diferentes de
geometrías o espacios geométricos diferentes, entre ellos:
La geometría absoluta, que es el conjunto de hechos geométricos derivables a partir
únicamente de los primeros cuatro postulados de Euclides.
Commented [jpr26]: La geometría plana o geometría del
La geometría euclídea, que es la geometría particular que se obtiene de aceptar como plano euclídeo es una parte de la geometría que trata de
aquellos elementos cuyos puntos están contenidos en un
axioma también el quinto postulado. Los griegos consideraron dos variantes de geometría plano euclídeo. La geometría plana está considerada parte
de la geometría euclídea, pues ésta estudia los elementos
euclídea: geométricos a partir de dos dimensiones.
Geometría euclídea del plano Commented [jpr27]: Saltar a: navegación, búsqueda

Geometría euclídea del espacio

Cuerpos celestiales o figuras geométricas «sólidas» que
delimitan volúmenes.
La geometría del espacio (también llamada geometría
La geometría clásica es una recopilación de resultados para las geometrías euclídeas. espacial o geometría de los cuerpos sólidos) es la rama de la
geometría que se encarga del estudio de las figuras
geométricas voluminosas que ocupan un lugar en el
espacio; estudia las propiedades y medidas de las figuras
A partir del siglo XIX se llegó a la conclusión de que podían definirse geometrías no
geométricas en el espacio tridimensional o espacio euclídeo.
euclídeas entre ellas: Entre estas figuras, también llamadas sólidos, se encuentran
el cono, el cubo, el cilindro, la pirámide, la esfera, el prisma,
La geometría elíptica los poliedros regulares (los sólidos platónicos, convexos, y
los sólidos de Kepler-Poinsot, no convexos) y otros
La geometría esférica poliedros.
La geometría del espacio amplía y refuerza las proposiciones
La geometría finita de la geometría plana, y es la base fundamental de la
trigonometría esférica, la geometría analítica del espacio, la
La geometría hiperbólica geometría descriptiva y otras ramas de las matemáticas.
 La geometría riemanniana

Geometrías asociadas a transformaciones

En el siglo XIX se constató que otra forma de enfocar los conceptos geométricos era
estudiar la invarianza de ciertas propiedades bajo diferentes tipos de transformaciones
matemáticas, así se clasificaron diversas propiedades geométricas en grupos y se plantearon
subdisciplinas consistentes en ver cuales eran las propiedades invariantes bajo tipos
particulares de transformaciones, así aparecieron los siguientes tipos de enfoques
geométricos:
Geometría afín
Geometría conforme
Geometría convexa
Geometría discreta
Geometría de incidencia
Geometría ordenada
Geometría proyectiva

Geometría según el tipo de representación

Si bien Euclides básicamente se restringió a conceptos geométricos representables
mediante figuras (puntos, líneas, círculos, etc.), el desarrollo de otras ramas de las
matemáticas no conectadas inicialmente con la geometría propiamente dicha llevó a poder
aplicar las herramientas de otras ramas a problemas propiamente geométricos; así nacieron:
La geometría algebraica
La geometría analítica
La geometría descriptiva
La Topología geométrica
La geometría diferencial que engloba como ramas a:
Geometría diferencial discreta
La geometría de curvas y superficies
La Geometría diferencial de curvas
La Geometría diferencial de superficies
La Geometría diferencial de hipersuperficies
Geometría diferencial de variedades
La geometría de Riemann
La Geometría fractal
Geometría sintética