Sie sind auf Seite 1von 43

raz cuadrada de x.

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 una operacin, 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: , etc.
Los smbolos de varias letras se representan en letra

redonda: , etc.; en lugar

de no debe

escribirse , porque eso representara el


producto 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

Teora de conjuntosEditar
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 numricosEditar
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 especialesEditar


ExpresionesEditar
Relacin Notacin Se lee
igualdad x es igual a y

menor que x es menor que y

mayor que x es mayor que y


x es aproximadamente
aproximado
igual a y

Cuantificador Notacin Se lee

cuantificador para
universal todo x
Existe
cuantificador por lo
existencial menos
un x

cuantificador Existe
existencial con un nico
marca de unicidad x
o x, tal
tal que
que y

bien

x, por lo
por lo tanto
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 BooleEditar
Artculos principales: Clculo lgico y Conectiva lgica.
Operadores bsicosEditar
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.
ImplicacinEditar
Una combinacin muy til de los operadores matemticos es la implicacin.
Se

escribe o

como abreviatura

de . La declaracin "
implica

" es falsa siempre


que sea verdad pero no

necesariamente .
Si y

, se

escribe , que se lee "


implica y es implicada

por ", o bien "


si y slo

si ".
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.
Viajo en autobs o viajo en mi coche, no las dos cosas a la vez.
Disyuncin lgica: viajo en

bus viajo en mi

auto o lo uno o lo otro.


Contradicciones del lenguaje
Si decimos: aqu no hay nadie y aplicamos literalmente la doble negacin
expresada en nuestro hablar cotidiano, entonces, podramos entender que aqu
hay alguien.
Negacin lgica: no hay

nadie aqu hay alguien.


Si una empresa no produce nada, podramos entender que la empresa
produce algo.
Negacin lgica: no produce

nada produce algo.


CuantificadoresEditar
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 Existe por lo


existencial menos un x...

cuantificador existencial Existe un


con marca de unicidad nico x...
Las declaraciones cuantificadas se escriben en la

forma que se leen "para

todo , es verdad

que " y "existe por lo menos


un tal

que es verdad".
Estos dos ltimos cuantificadores pueden usarse para lo mismo, ya

que dice lo mismo que


dice . En palabras, decir "no es para

todo que

es verdad" es igual que decir


"existe tal

que es falsa".
Teora de nmerosEditar
Artculo principal: Teora de nmeros

Anlisis matemticoEditar
Artculo principal: Anlisis matemtico
Anlisis realEditar
LmitesEditar
Para decir que el lmite de la

funcin es

cuando
tiende

a , se escribe:
o

bien .
Igualmente, para decir que la

sucesin va
a cuando

tiende a la infinidad, se escribe:


o

bien .
DerivadasEditar
Derivadas ordinariasEditar
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 seran:

Derivadas parcialesEditar
Si la funcin depende de dos o ms variables, por ejemplo:
Las derivadas parciales respecto a cada una de las variables independientes:
Vase tambinEditar
Anexo:Tabla de smbolos matemticos
Anexo:Constantes matemticas
Ayuda:Uso de TeX

NotasEditar

1. Aunque en ocasiones, es complicado adherirse a esta regla. Considrese,


por ej. que el TeX genera todas las letras individuales en cursivas; para que
aparezcan en redondas, hay que efectuar el cambio de la fuente.

Das könnte Ihnen auch gefallen