La abstracción en matemáticas es el proceso de extraer las estructuras , patrones o propiedades subyacentes de un concepto matemático, eliminando cualquier dependencia de los objetos del mundo real con los que podría haber estado conectado originalmente y generalizándolo para que tenga aplicaciones más amplias o coincida con otros conceptos abstractos. descripciones de fenómenos equivalentes . [1] [2] [3] En otras palabras, ser abstracto es eliminar el contexto y la aplicación. [4] Dos de las áreas más abstractas de las matemáticas modernas son la teoría de categorías y la teoría de modelos .
Muchas áreas de las matemáticas comenzaron con el estudio de problemas del mundo real, antes de que las reglas y conceptos subyacentes fueran identificados y definidos como estructuras abstractas . Por ejemplo, la geometría tiene su origen en el cálculo de distancias y áreas en el mundo real, y el álgebra comenzó con métodos de resolución de problemas aritméticos .
La abstracción es un proceso continuo en matemáticas y el desarrollo histórico de muchos temas matemáticos muestra una progresión de lo concreto a lo abstracto. Por ejemplo, los primeros pasos en la abstracción de la geometría fueron dados históricamente por los antiguos griegos, siendo los Elementos de Euclides la documentación más antigua existente de los axiomas de la geometría plana, aunque Proclo habla de una axiomatización anterior realizada por Hipócrates de Quíos . [5] En el siglo XVII, Descartes introdujo las coordenadas cartesianas que permitieron el desarrollo de la geometría analítica . Lobachevsky , Bolyai , Riemann y Gauss dieron nuevos pasos en la abstracción , quienes generalizaron los conceptos de geometría para desarrollar geometrías no euclidianas . Más adelante, en el siglo XIX, los matemáticos generalizaron aún más la geometría, desarrollando áreas como la geometría en n dimensiones , la geometría proyectiva , la geometría afín y la geometría finita . Finalmente, el " programa Erlangen " de Felix Klein identificó el tema subyacente de todas estas geometrías, definiendo cada una de ellas como el estudio de propiedades invariantes bajo un grupo dado de simetrías . Este nivel de abstracción reveló conexiones entre la geometría y el álgebra abstracta . [6]
En matemáticas, la abstracción puede resultar ventajosa de las siguientes maneras:
Por otro lado, la abstracción también puede resultar desventajosa porque conceptos muy abstractos pueden resultar difíciles de aprender. [7] Puede ser necesario cierto grado de madurez matemática y experiencia para la asimilación conceptual de abstracciones.
Bertrand Russell , en The Scientific Outlook (1931), escribe que "el lenguaje ordinario es totalmente inadecuado para expresar lo que la física realmente afirma, ya que las palabras de la vida cotidiana no son suficientemente abstractas. Sólo las matemáticas y la lógica matemática pueden decir tan poco como el físico quiere decir". decir." [8]
