Notación matemática

La matemática se apoya en un lenguaje simbólico formal que sigue una serie de

convenciones propias. Los símbolos representan un concepto, una operación, una
entidad matemática según ciertas reglas. Estos símbolos no deben considerarse
abreviaturas, sino entidades con valor propio y autónomo.

Algunos principios básicos son:

• Los símbolos de una letra se representan en letra cursiva: a,b,i,k,x,y, etc.

• Los símbolos de varias letras se representan en letra redonda: cosα,lnx, etc.; no
debe escribirse lnx en lugar de lnx porque eso representaría el producto
en lugar del logaritmo neperiano.
• Según la norma ISO 31 los operadores diferenciales y las constantes
matemáticas universales (i, e), también se escriben con letra redonda: aex.

Teoría de conjuntos

Sean x un elemento y A,B conjuntos

Operación Notación Se lee

pertenencia x pertenece a A
inclusión A está contenido en B
A está contenido en B o es igual que B
inclusión A contiene a B
A contiene a B o es igual que B

Una barra cruzada sobre el símbolo niega el enunciado; por ejemplo es "x no
pertenece a A";

Expresiones
Operación Notación Se lee
igualdad x=y x es igual a y
menor que x<y x es menor que y
mayor que x>y x es mayor que y
aproximado x es aproximadamente igual a y
Notación Se lee
cuantificador universal para todo x
Existe por lo menos un
cuantificador existencial
x
cuantificador existencial con marca de Existe un único x
unicidad

tal que o bien x, tal que y

por lo tanto x, por lo tanto y

Ejemplo:

Teorema de Weierstrass:

"Sea f una función real continua en un intervalo real cerrado y acotado [a, b], donde a es
estrictamente menor que b.

Se tiene que:

• La función f está acotada.

• La función f alcanza un máximo y un mínimo en dicho intervalo, no
necesariamente únicos."

Este teorema se puede expresar con notación matemática de la siguiente forma:

"

".

Lógica proposicional, Álgebra de Boole

Operadores básicos

Los operadores lógicos más básicos son la conjunción, la disyunción, y la negación.

Sean p y q dos proposiciones

Operación Notación Se lee

Negación no p
Conjunción pyq
Disyunción póq

Los operadores básicos se usan para formar declaraciones atómicas. Las declaraciones
atómicas dicen cual combinación de pp y qq es verdad.

Implicación

Una combinación muy útil de los operadores matemáticos es la implicación. Se escribe

o como abreviatura de . La declaración "p implica q" es falsa
siempre que p sea verdad pero no necesariamente q.
Si y , se escribe , que se lee "p implica y es implicada por q", o
bien "p si y sólo si q".

Uno de los usos más comunes de los operadores lógicos se encuentra en la

Programación de Sistemas de Información, así como en la generación de circuitos
eléctricos, y en general en cualquier sistema de toma de decisiones para la empresa o
para la vida cotidiana, por ejemplo:

Si salgo tarde de mi casa y no tengo vehículo, entonces llegaré tarde al trabajo.

Conjunción|Salgo tarde no tengo vehículo llegaré tarde al trabajo.

Si decimos Aquí no hay nadie y aplicamos literalmente la doble negación expresada en

nuestro hablar cotidiano entonces podríamos asegurar que Aquí hay alguien.

Negación| hay nadie Aquí hay alguien

Viajo en bus o viajo en mi auto, no las dos cosas a la vez.

Disyunción| viajo en bus viajo en mi auto o lo uno o lo otro

Si mi empresa no produce nada quiere decir que mi empresa 'produce algo'.

Negación| produce nada Produce algo

Cuantificadores

Hasta ahora las declaraciones que podemos hacer no dicen cuándo son verdades. Para
decirnos cuándo una declaración es verdad, necesitamos los cuantificadores. Hay tres
cuantificadores básicos: el cuantificador universal, el cuantificador existencial y el
cuantificador existencial con marca de unicidad. Aquí están los símbolos.

Nombre Notación Se lee

cuantificador universal Para todo x...
cuantificador existencial Existe por lo menos un x...
cuantificador existencial con marca de unicidad Existe un único x...

Las declaraciones cuantificadas se escriben en la forma que se

leen "para todo x, es verdad que p" y "existe por lo menos un y tal que q es verdad".

En realidad, estos dos últimos cuantificadores son iguales, ya que dice lo

mismo que dice . En palabras, decir "no es para todo x que p es verdad" es
igual que decir "existe x tal que p es falsa".
Teoría de números

Conjuntos numéricos especiales

Análisis matemático
Análisis real

Límites

Para decir que el límite de la función f es L cuando x tiende á a, se escribe:

o bien .

Igualmente, para decir que la sucesión {an} va á a cuando n tiende a la infinidad, se

escribe:

o bien .

Derivadas
Derivadas ordinarias

Se define la derivada de una función como el límite del cociente del cambio en la
ordenada y la abscisa. Hay varias notaciones para denotar la derivada de una función de
una sola variable:

Las derivadas serian:

Derivadas parciales

Si la función depende de dos o mas variable, por ejemplo:

Las derivadas parciales respecto a cada una de las variables independientes:

la derivada mide la rapidez de cambio de una función con respecto a una o más
variables geometricamente se interpreta como la pendiente de la recta tangente a una
curva en un punto ,...

Misceláneos

funciones

Para decir que una función f va desde el espacio X al espacio Y, se escribe

.

Tabla de Símbolos

En matemática, existe un conjunto de símbolos que son frecuentemente utilizados en la

formación de expresiones matemáticas. Debido a que los matemáticos están
familiarizados con estos símbolos, los mismos no requieren ser explicados cada vez que
se utilizan.

En vista de esto, para beneficio de los matemáticos novatos, la tabla siguiente lista
muchos de estos símbolos comunes, junto con su nombre, pronunciación y el campo de
las matemáticas con el que se relacionan. Adicionalmente, la segunda línea contiene una
definición informal, mientras que la tercera provee un ejemplo breve.