Notacin matemtica

La matemtica se apoya en un lenguaje simblico formal, la notacin matemtica, que sigue una serie de convenciones propias. Los smbolos representan un concepto, una relacin unaoperacin, o una frmula matemtica segn ciertas reglas. Estos smbolos no deben considerarse abreviaturas, sino entidades con valor propio y autnomo. Algunos principios bsicos son:

Los smbolos de una letra se representan en letra cursiva: Los smbolos de varias letras se representan en letra redonda: de no debe escribirse , porque eso representara el producto

, etc. , etc.; en lugar en lugar del logaritmo

neperiano.

Segn la norma ISO 31 los operadores diferenciales y las constantes matemticas universales ( ), tambin se escriben con letra redonda: .1
ndice
[ocultar]

1 Teora de conjuntos

1.1 Conjuntos numricos

1.1.1 Conjuntos numricos especiales

2 Expresiones 3 Lgica proposicional, lgebra de Boole

o o o o

3.1 Operadores bsicos 3.2 Implicacin 3.3 Cuantificadores 3.4 Teora de nmeros

4 Anlisis matemtico

4.1 Anlisis real

4.1.1 Lmites 4.1.2 Derivadas

5 Miscelneos

4.1.2.1 Derivadas ordinarias 4.1.2.2 Derivadas parciales

5.1 Funciones

5.2 Tabla de Smbolos

6 Notas 7 Vase tambin 8 Enlaces externos

Teora de conjuntos[editar editar fuente]

Artculos principales: Teora de conjuntos y lgebra.

Sean

un elemento y

conjuntos

Relacin

Notacin

Se lee

pertenencia

x pertenece a A

inclusin

A est contenido en B

A est contenido en B o es igual que B

inclusin

A contiene a B

A contiene a B o es igual que B

Una barra cruzada sobre el smbolo niega el enunciado; por ejemplo

es "x no pertenece a A";

Conjuntos numricos[editar editar fuente]

La siguiente tabla recoge algunos ejemplos de smbolos que utilizan blackboard bold. Se muestra el smbolo creado con LaTeX, el carcter Unicode equivalente (podra no ser visible dependiendo del navegador y los tipos de letra disponibles), y su significado habitual en matemticas:

TeX Unicode Uso en matemticas

Nmeros complejos

Cuaterniones

Nmeros naturales

Nmeros primos

Nmeros racionales

Nmeros reales

Esfera

Nmeros enteros

Conjuntos numricos especiales[editar editar fuente]

Expresiones[editar editar fuente]

Relacin Notacin Se lee

igualdad

x es igual a y

menor que

x es menor que y

mayor que

x es mayor que y

aproximado

x es aproximadamente igual a y

Notacin

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

tal que bien

x, tal que y

por lo tanto

x, por lo tanto y

Ejemplo: Teorema de Weierstrass: "Sea f una funcin real continua en un intervalo real cerrado y acotado [a, b], donde a es estrictamente menor que b. Se tiene que:

La funcin f est acotada. La funcin f alcanza un mximo y un mnimo en dicho intervalo, no necesariamente nicos."

Este teorema se puede expresar con notacin matemtica de la siguiente forma:

"

".

Lgica proposicional, lgebra de Boole[editar editar

fuente]
Artculos principales: Clculo lgico y Conectiva lgica.

Operadores bsicos[editar editar fuente]

Los operadores lgicos ms bsicos son la conjuncin, la disyuncin, y la negacin. Sean y dos proposiciones

Operacin Notacin Se lee

Negacin

no 'p'

Conjuncin

'p' y 'q'

Disyuncin

'p' o 'q'

Los operadores bsicos se usan para formar declaraciones atmicas. Las declaraciones atmicas dicen cual combinacin de pp y qq es verdad.

Implicacin[editar editar fuente]

Una combinacin muy til de los operadores matemticos es la implicacin. Se escribe declaracin " o implica . , se escribe ", o bien " si y slo si ". , que se lee " implica y es como abreviatura de " es falsa siempre que . La

sea verdad pero no

necesariamente Si y

implicada por

Uno de los usos ms comunes de los operadores lgicos se encuentra en la Programacin de Sistemas de Informacin, as como en la generacin de circuitos elctricos, 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 vehculo, entonces llegar tarde al trabajo. Conjuncin|Salgo tarde no tengo vehculo llegar tarde al trabajo.

Si decimos Aqu no hay nadie y aplicamos literalmente la doble negacin expresada en nuestro hablar cotidiano entonces podramos asegurar que Aqu hay alguien. Negacin lgica| hay nadie Aqu hay alguien

Viajo en autobs o viajo en mi coche, no las dos cosas a la vez. (al autor: por favor considera un ejemplo diferente. Parece ser que has introducido una disyuncin exclusiva referida a la disyuncin lgica que pones en el siguiente enlace) Disyuncin lgica| 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'. Negacin| produce nada Produce algo

Cuantificadores[editar editar fuente]

Hasta ahora las declaraciones que podemos hacer no dicen cundo son verdades. Para decirnos cundo una declaracin es verdad, necesitamos los cuantificadores. Hay tres cuantificadores bsicos: el cuantificador universal, el cuantificador existencial y el cuantificador existencial con marca de unicidad. Aqu estn los smbolos.

Nombre

Notacin

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 y "existe por lo menos un que se leen "para todo tal que es verdad". , es verdad que "

Estos dos ltimos cuantificadores pueden usarse para lo mismo, ya que para todo falsa". que dice lo mismo que dice . En palabras, decir "no es tal que es

es verdad" es igual que decir "existe

Teora de nmeros[editar editar fuente]

Artculo principal: Teora de nmeros.

Anlisis matemtico[editar editar fuente]

Artculo principal: Anlisis matemtico.

Anlisis real[editar editar fuente]

Lmites[editar editar fuente]
Para decir que el lmite de la funcin escribe: o bien . va cuando tiende a es cuando tiende , se

Igualmente, para decir que la sucesin la infinidad, se escribe: o bien .

Derivadas[editar editar fuente]

Derivadas ordinarias[editar editar fuente]
Se define la derivada de una funcin como el lmite del cociente del cambio en la ordenada y la abscisa. Hay varias notaciones para denotar la derivada de una funcin de una sola variable:

Las derivadas serian:

Derivadas parciales[editar editar fuente]

Si la funcin depende de dos o ms variable, por ejemplo:

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

Miscelneos[editar editar
fuente]
Funciones[editar editar fuente]
Para decir que una funcin espacio escribe al espacio . , se va desde el

Tabla de Smbolos[editar editar

fuente]
En matemtica, existe un conjunto de smbolos que son frecuentemente utilizados en la formacin de expresiones matemticas. Debido a que los matemticos estn familiarizados con estos smbolos, los mismos no requieren ser explicados cada vez que se utilizan. En vista de esto, para beneficio de los matemticos novatos, en el Anexo:Tabla de smbolos matemticos y Anexo:Constantes matemticas se lista muchos de estos smbolos comunes, junto con su nombre, pronunciacin y el campo de las matemticas con el que se relacionan. Adicionalmente, la

segunda lnea contiene una definicin informal, mientras que la tercera provee un ejemplo breve.