Definición (matemática)

En matemática, definición, en términos generales, es delimitar, o sea, indicar, expresar el límite que separa un objeto de todos los demás.^[1]​Los pilares estructurales de la matemática son: la definición, el teorema y la demostración matemática. Las definiciones señalan con precisión los conceptos de importancia en la teoría. Los teoremas ( o proposiciones) expresan exactamente lo que hay de verdadero en esos conceptos y las demostraciones revelan, en forma contundente, la verdad de esas afirmaciones.^[2]​

Los objetos matemáticos existen mediante definiciones. Por ejemplo, un número puede ser un natural y se llama número compuesto o número primo, par o impar, siempre que cumpla condiciones precisas y específicas. Estas condiciones específicas son la definición del concepto.

Las definiciones al igual que las conjeturas, axiomas, postulados y teoremas entre otros conceptos matemáticos pueden enunciarse en un lenguaje formalizado o en un lenguaje formal propio de los sistemas formales de la lógica matemática.

Esta disciplina trabaja con los sistemas axiomáticos como el de Peano que involucran: conceptos no definidos (concepto primitivo), conceptos definidos (definiciones), axiomas, teoremas.

En geometría son clásicos los postulados de Euclides y más reciente la axiomatización de Hilbert.

↔ ⇔ ≡

Usando una condición necesaria y suficiente.

En teoría de conjuntos, el axioma de extensionalidad es un axioma que establece que dos conjuntos son iguales si y sólo si tienen los mismos elementos.

El enunciado del axioma establece que si dos conjuntos tienen los mismos elementos entonces son idénticos; utilizando cuantificadores y conectivas lógicas:

Axioma de extensionalidad

${displaystyle forall A,B,:,forall x,(xin Aleftrightarrow xin B)Rightarrow A=B}$

Si la función real ${displaystyle f}$ tiene límite matemático ${displaystyle L}$ en ${displaystyle c}$ podemos decir de manera informal que la función ${displaystyle f}$ tiende hacia el límite ${displaystyle L}$ cerca de ${displaystyle c}$ si se puede hacer que ${displaystyle f(x)}$ esté tan cerca como queramos de ${displaystyle L}$ haciendo que ${displaystyle x}$ esté suficientemente cerca de ${displaystyle c}$ siendo ${displaystyle x}$ distinto de ${displaystyle c}$.

Los conceptos cerca y suficientemente cerca son matemáticamente poco precisos. Por esta razón, se da una definición formal de límite que precisa estos conceptos. Entonces se dice:

El límite de una función f(x), cuando x tiende a c es L si y sólo si para todo ${displaystyle varepsilon >0;}$ existe un ${displaystyle delta >0;}$ tal que para todo número real x en el dominio de la función ${displaystyle 0<|x-c|<delta Rightarrow |f(x)-L|<varepsilon }$.

Esto, escrito en notación formal:

Lo importante es comprender que el formalismo no lo hacen los símbolos matemáticos, sino la precisión con la que queda definido el concepto de límite. Esta notación es tremendamente poderosa, pues nos dice que si el límite existe, entonces se puede estar tan cerca de él como se desee, sin utilizar el concepto de infinitesimal. Si no se logra estar lo suficientemente cerca, entonces la elección del δ no era adecuada. La definición asegura que si el límite existe, entonces es posible encontrar tal δ.

A partir de la definición de límite, la derivada de una función f(x) en el punto x es

En álgebra abstracta pueden definirse estructuras algebraicas, por ejemplo:

Un grupo ${displaystyle (G,circ )}$ es un conjunto G en el que se ha definido una operación binaria interna ${displaystyle circ }$, que satisface las siguientes propiedades o axiomas:^[5]​

Por lo tanto, un grupo está formado por un conjunto de elementos abstractos o símbolos, y por una ley de composición interna (operación binaria) que los relaciona. Dicha ley de composición interna indica cómo deben ser manipulados los elementos del grupo.

En este enunciado el elemento simétrico es una definición de inverso multiplicativo en teoría de grupos.

En un estudio es importante que los términos sean definidos. ¿Todos? Pues la pretensión de definir a todos ellos llevaría a un círculo vicioso. Así, p. ej., un diccionario puede definir existir como ser, y en seguida definir ser como existir, con el resultado de que existir significa existir. Para superar esta complicación en un sistema axiomático se eligen ciertos conceptos como conceptos primitivos o conceptos no definidos, y se definen a partir de ellos todas las demás nociones requeridas (peculiaridades de la materia).^[6]​

---