Notacin matemtica

1.1 Conjuntos numricos

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 signicado habitual en matemticas:
1.1.1 Conjuntos numricos especiales
N = {1, 2, 3, . . .}
N0 = N = N {0} = {0, 1, 2, 3, . . .}
Z = {. . . 3, 2, 1, 0, 1, 2, 3 . . .}
Z+ = Z \ Z = {0, 1, 2, 3, . . .}
raz cuadrada de x.

a
b
a
p=
b

/ a, b Z b = 0}
La matemtica se apoya en un lenguaje simblico formal,
la notacin matemtica, que sigue una serie de conven- Q = {p :
/ a Z b N}
ciones propias. Los smbolos representan un concepto,
una relacin una operacin, o una frmula matemtica seR = El conjunto de los nmeros reales
gn ciertas reglas. Estos smbolos no deben considerarse
abreviaturas, sino entidades con valor propio y autnomo.
Irracionales = R \ Q
Q = {p :

Algunos principios bsicos son:

p=

R = R {} = La recta real ampliada

Los smbolos de una letra se representan en letra

cursiva: a, b, i, k, x, y , etc.

C = {c :
i2 = 1}

c = a+bi /

a, b R

S1 = {z C : z = 1}

Los smbolos de varias letras se representan en letra

redonda: cos , exp x , etc.; en lugar de ln x no debe escribirse lnx , porque eso representara el producto
lnx en lugar del logaritmo neperiano.

2 Expresiones

Segn la norma ISO 31 los operadores diferencia- Ejemplo:

les y las constantes matemticas universales ( e, i ), Teorema de Weierstrass:
tambin se escriben con letra redonda: aex .[1]
Sea f una funcin real continua en un intervalo real cerrado y acotado [a, b], donde a es estrictamente menor
que b.

Teora de conjuntos

Se tiene que:

Sean x un elemento y A, B conjuntos

La funcin f est acotada.

Una barra cruzada sobre el smbolo niega el enunciado;

por ejemplo x A es x no pertenece a A";

La funcin f alcanza un mximo y un mnimo en

dicho intervalo, no necesariamente nicos.
1

ANLISIS MATEMTICO

Este teorema se puede expresar con notacin matemtica Si una empresa no produce nada, podramos entender
de la siguiente forma:
que la empresa produce algo.
" f : [a, b] R R, a < b = r, s [a, b] | x
[a, b] : f (r) f (x) f (s) ".

3
3.1

Negacin lgica: no produce nada produce algo.

Lgica proposicional, lgebra de 3.3 Cuanticadores

Boole
Hasta ahora las declaraciones que podemos hacer no diOperadores bsicos

Los operadores lgicos ms bsicos son la conjuncin, la

disyuncin, y la negacin.
Sean p y q dos proposiciones

cen cundo son verdades. Para decirnos cundo una declaracin es verdad, necesitamos los cuanticadores.
Hay tres cuanticadores bsicos: el cuanticador universal, el cuanticador existencial y el cuanticador
existencial con marca de unicidad. Aqu estn los smbolos.

Los operadores bsicos se usan para formar declara- Las declaraciones cuanticadas se escriben en la forma
ciones atmicas. Las declaraciones atmicas dicen cual x , p o y | q que se leen para todo x , es verdad
que p " y existe por lo menos un y tal que q es verdad.
combinacin de pp y qq es verdad.
Estos dos ltimos cuanticadores pueden usarse para lo
mismo, ya que x , p dice lo mismo que dice x|p .
3.2 Implicacin
En palabras, decir no es para todo x que p es verdad es
igual que decir existe x tal que p es falsa.
Una combinacin muy til de los operadores matemticos
es la implicacin. Se escribe p q o p q como
abreviatura de p q . La declaracin " p implica q " es 3.4 Teora de nmeros
falsa siempre que p sea verdad pero no necesariamente q
.
4 Anlisis matemtico
Si p q y q p , se escribe p q , que se lee " p
implica y es implicada por q ", o bien " p si y slo si q ".

4.1 Anlisis real

Uno de los usos ms comunes de los operadores lgicos

se encuentra en la Programacin de Sistemas de Informa- 4.1.1 Lmites
cin, as como en la generacin de circuitos elctricos, y
en general en cualquier sistema de toma de decisiones pa- Para decir que el lmite de la funcin f es L cuando x
tiende a a , se escribe:
ra 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.

limxa f (x) = L o bien f (x) L .

Igualmente, para decir que la sucesin {an } va a a cuando
n tiende a la innidad, se escribe:
limn an = a o bien an a .

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

4.1.2 Derivadas
Derivadas ordinarias Se dene 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:

Si decimos: aqu no hay nadie y aplicamos literalmente y = f (x)

la doble negacin expresada en nuestro hablar cotidiano,
Las derivadas seran:
entonces, podramos entender que aqu hay alguien.
Negacin lgica: no hay nadie aqu hay
alguien.

f (x)

d
f (x)
dx

dy
dx

Dx (y)

Dx (f (x))

3
Derivadas parciales Si la funcin depende de dos o
ms variables, por ejemplo:

z = f (4, 57)
Las derivadas parciales respecto a cada una de las variables independientes:

z
x

f (x, y)
x

2z
xy

z
y

2
f (x, y)
xy

f (x, y)
y
2z
x2

2
f (x, y)
x2

2z
y 2

2
f (x, y)
y 2

Vase tambin
Anexo:Tabla de smbolos matemticos
Anexo:Constantes matemticas
Ayuda:Uso de TeX

Notas

[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.

Enlaces externos
Evolucin de los signos aritmticos
Ortotipografa y notaciones matemticas.

8 ORIGEN DEL TEXTO Y LAS IMGENES, COLABORADORES Y LICENCIAS

Origen del texto y las imgenes, colaboradores y licencias

8.1

Texto

Notacin matemtica Fuente: https://es.wikipedia.org/wiki/Notaci%C3%B3n_matem%C3%A1tica?oldid=89250282 Colaboradores: Joseaperez, Sabbut, JorgeGG, Vivero, Bigsus, Dodo, Pybalo, Faustito, Danakil~eswiki, Xatufan, Canopus, FAR, Albemi, Karlisse, Platonides,
Yrbot, Nemo, YurikBot, GermanX, Armin76, Santiperez, Eskimbot, Maldoror, Chlewbot, Juan Marquez, BOTpolicia, CEM-bot, Laura
Fiorucci, JMCC1, L30nc1t0, Baiji, Davius, Julian Mendez, Ingenioso Hidalgo, Thijs!bot, PabloCastellano, Yeza, Egaida, Chien, Gsrdzl,
Humberto, Plux, C'est moi, Matdrodes, SieBot, Cobalttempest, Drinibot, Javier Bezos, Marcelo, Tirithel, Dnu72, DragonBot, Farisori, PixelBot, DarkInVader, Leonpolanco, LordT, Juan Mayordomo, Raulshc, Kadellar, AVBOT, David0811, Diegusjaimes, Linfocito B,
Dangelin5, SuperBraulio13, Jkbw, Math Master, BOTirithel, AnselmiJuan, PatruBOT, Allforrous, Sergio Andres Segovia, MerlIwBot, PoliTopo, Milesios, NonoalcoBoy, SebrevBOT, Acratta, rico, Elvisor, Addbot, Sempiedram, JacobRodrigues, Manuel Balarezo, Jarould y
Annimos: 132

8.2

Imgenes

Archivo:Racine_carre_bleue.svg Fuente: https://upload.wikimedia.org/wikipedia/commons/1/1f/Racine_carr%C3%A9e_bleue.svg

Licencia: LGPL Colaboradores: Image:Nuvola apps edu mathematics-p.svg Artista original: historicair 17:50, 4 June 2007 (UTC)

8.3

Licencia del contenido

Creative Commons Attribution-Share Alike 3.0