Tabla de smbolos matemticos

De Wikipedia, la enciclopedia libre

Saltar a navegacin, bsqueda

Tabla de contenidos
[ocultar]
1 Genricos
2=
3 :=:
o 3.1 Aritmetica
4+
5
6 *
7 /
8
9
o 9.1 Lgica proposicional
10
11
12
13
14 /
o 14.1 Lgica de predicados
15
16
17 :
o 17.1 Teora de conjuntos
18 { , }
19 { : }{ | }
20 {}
21
22
23
24
25 \
o 25.1 Funciones
26 ( )[ ]{ }
27 f:XY
o 27.1 Nmeros
28 N
29 Z
30 Q
31 R
32 C
33

34
35 | |
o

36 <>
37

38

o
o

38.1 Combinatoria
39.1 Anlisis funcional

40 || ||
o

41
42 f '
43
44

45

o
o

37.1 Geometra eucldea

39 !
o

35.1 rdenes parciales

40.1 Clculo

44.1 Ortogonalidad
45.1 Teora de rejas

46
o

46.1 Enlaces externos

[editar]

Genricos
Smbolo

Nombre

[editar] igualdad

se lee como
igual a

Categora
todos

x = y significa: x y y son nombres diferentes para precisamente la misma cosa.

1+2=63

[editar] definicin

se define como

todos

x := y o x y significa: x se define como otro nombre para y (notar, sin

embargo, que puede tambin significar otras cosas, como congruencia)
P : Q significa: P se define como lgicamente equivalente a Q

:=

: cosh x := (1/2)(exp x + exp (x)); A XOR B : (A B) (A B)

[editar]

Aritmetica
Smbolo
[editar] adicin

Nombre

se lee como
mas

Categora
aritmtica
2

4 + 6 = 10 significa que si a cuatro se le agrega 6, la suma, o resultado, es 10.

43 + 65 = 108; 2 + 7 = 9
substraccin

menos

aritmtica

[editar] 9 4 = 5 significa que si 4 es restado de 9, el resultado ser 5. El smbolo

'menos' tambin se utiliza para denotar que un nmero es negativo. Por
ejemplo, 5 + (3) = 2 significa que si 'cinco' y 'menos tres' son sumados, el
resultado es 'dos'.

87 36 = 51
[editar] multiplicacin

por

aritmtica

significa que si se cuenta siete veces seis, el resultado ser 42.

*
[editar] divisin

entre

aritmtica

significa que si se hace seis pedazos uniformes de cuarenta y dos,

cada pedazo ser de tamao siete.
24 / 6 = 4

[editar] sumatoria

suma sobre ... desde ... hasta ... de

aritmtica

k=1 ak significa: a1 + a2 + ... + an

k=14 k = 1 + 2 + 3 + 4 = 1 + 4 + 9 + 16 = 30

[editar] producto

producto sobre... desde ... hasta ... de aritmtica

k=1 ak significa: a1a2an

k=14 (k + 2) = (1 + 2)(2 + 2)(3 + 2)(4 + 2) = 3 4 5 6 = 360

[editar]

Lgica proposicional
Smbolo
[editar]

Nombre
implicacin material

se lee como
implica; si ..
entonces

Categora
lgica proposicional

A B significa: si A es verdadero entonces B es verdadero tambin; si A es

falso entonces nada se dice sobre B.
puede significar lo mismo que , o puede ser usado para denotar funciones,
como se indica ms abajo.

x = 2 x = 4 es verdadera, pero x = 4

x = 2 es, en general, falso (yq

que x podra ser 2)

[editar] equivalencia material

si y slo si; ssi

lgica proposicional

A B significa: A es verdadera si B es verdadera y A es falsa si B es falsa.

x+5=y+2 x+3=y

conjuncin lgica o interseccin

y
[editar] en una reja

la proposicin A B es veradera si A y B son ambas verdaderas; de otra

manera es falsa.
n < 4 n > 2 n = 3 cuando n es un nmero natural

disyuncin lgica o unin en

[editar] una reja

lgica proposicional, teora

de rejas

la proposicin A B es verdadera si A o B (o ambas) son verdaderas; si ambas

son falsas, la proposicin es falsa.
n 4 n 2 n 3 cuando n es un nmero natural

[editar] negacin lgica

lgica proposicional, teora

de rejas

no

lgica proposicional

la proposicin A es verdadera si y slo si A es falsa.

un "slash" colocado sobre otro operador es equivalente a "" colocado
enfrente.
(A B) (A) (B); x S (x S)

[editar]

Lgica de predicados
Smbolo

Nombre

[editar] cuantificacin universal

[editar]

para todos; para cualquier; para

cada

Categora
lgica de
predicados

x: P(x) significa: P(x) es verdadera para cualquier x

n N: n n
cuantificacin
existencial

lgica de
predicados

existe

x: P(x) significa: existe por lo menos un x tal que P(x) es verdadera.

n N: n + 5 = 2n

[editar]

se lee como

lgica de
predicados

tal que

x: P(x) significa: existe por lo menos un x tal que P(x) es verdadera.

n N: n + 5 = 2n

[editar]

Teora de conjuntos
Smbolo

Nombre

se lee como

Categora
4

[editar] delimitadores de conjunto el conjunto de ...

teora de
conjuntos

significa: el conjunto consistente de a, b, y c

{ , } {a,b,c}
N = {0,1,2,...}
[editar] notacin constructora de el conjunto de los elementos ... tales teora de
conjuntos
que ...
conjuntos
: P(x)} significa: el conjunto de todos los x para los cuales P(x) es
{ : } {xverdadera.
{x | P(x)} es lo mismo que {x : P(x)}.
{|
{n N : n < 20} = {0,1,2,3,4}
}
[editar]

conjunto vaco

conjunto vaco

teora de
conjuntos

{} significa: el conjunto que no tiene elementos; es la misma cosa.

{} {n N : 1 < n < 4} = {}
[editar] membresa de conjuntos en; est en; es elemento de; es
miembro de; pertenece a

teora de
conjuntos

S significa: a es elemento del conjunto S; a S significa: a no es elemento

adelconjunto
S
(1/2) N; 2 N
1

[editar] subconjunto

es subconjunto de

teora de
conjuntos

cada elemento de A es tambin elemento de B

AA BB significa:
significa: A B pero A B
A B A; Q R
[editar]

unin conjunto-teortica la unin de ... y ...; unin

A B significa: el conjunto que contiene todos los elementos de A y tambin

todos aquellos de B, pero ningn otro.
AB AB=B

interseccin conjunto[editar] teortica

la interseccin de ... y ...;

interseccin

teora de
conjuntos

A B significa: el conjunto que contiene todos aquellos elementos que A y B

tienen en comn.
{x R : x = 1} N = {1}

complemento conjunto[editar] teortico

teora de
conjuntos

menos; sin

teora de
conjuntos

A \ B significa: el conjunto que contiene todos aquellos elementos de A que no

se encuentran en B
{1,2,3,4} \ {3,4,5,6} = {1,2}

[editar]
5

Funciones
Smbolo
[editar]

()
[]
{}
[editar]

f:X
Y

Nombre

se lee como

aplicacin de funcin; agrupamiento

de

Categora
funciones

para aplicacin de funcin: f(x) significa: el valor de la funcin f sobre el

elemento x
para agrupamiento: realizar primero las operaciones dentro del
parntesis.
Si f(x) := x, entonces f(3) = 3 = 9; (8/4)/2 = 2/2 = 1, pero 8/(4/2) = 8/2 =
4
mapeo funcional

de ... a

funciones

f: X Y significa: la funcin f mapea el conjunto X al conjunto Y

Considrese la funcin f: Z N definida por f(x) = x

[editar]

Nmeros
Smbolo

Nombre

se lee como

Categora

nmeros
[editar] nmeros naturales N
N significa: {0,1,2,3,...}, pero vase el artculo nmeros naturales para una
convencin diferente.

{|a| : a Z} = N

[editar] nmeros enteros

Z significa: {...,3,2,1,0,1,2,3,4....}
{a : |a| N} = Z

[editar] nmeros racionales Q

3.14 Q; Q
R

nmeros

R significa: {limn an : n N: an Q, el lmite existe}

R; (1) R

[editar] nmeros complejos C

nmeros

Q significa: {p/q : p, q Z, q 0}

[editar] nmeros reales

nmeros

nmeros

C significa: lalala{a + bi : a, b R}
i = (1) C

[editar] raz cuadrada

la raz cuadrada de; la principal raz

cuadrada de

nmeros reales

x significa: el nmero positivo cuyo cuadrado es x

(x) = |x|

infinito
nmeros
[editar] infinito
es un elemento de la lnea extendida de nmeros reales mayor que todos los
nmeros reales; ocurre frecuentemente en lmites

limx0 1/|x| =

[editar] valor absoluto

||

valor absoluto de

nmeros

|x| significa: la distancia en la lnea real (o en el plano complejo) entre x y zero

|a + bi| = (a + b)

[editar]

rdenes parciales
Smbolo

Nombre

se lee como

[editar] comparacin es menor que, es mayor que

Categora
rdenes parciales

x < y significa: x es menor que y; x > y significa: x es mayor que y

<
x<y y>x
>

[editar] comparacin es menor o igual a, es mayor o igual a

rdenes parciales

x y significa: x es menor o igual a y; x y significa: x es mayor o igual a y

x 1 x x

[editar]

Geometra eucldea
Smbolo
[editar]

Nombre
pi

se lee como
pi

Categora
Geometra euclideana

significa: la razn de la circunferencia de un crculo a su dimetro.

A = r es el rea de un crculo con radio r

[editar]

Combinatoria
Smbolo

Nombre

se lee como

Categora

[editar]

factorial

factorial

combinatoria

n! es el producto 12...n

4! = 24

[editar]

Anlisis funcional
Smbolo

Nombre

[editar] norma

|| ||

se lee como
norma de; longitud de

Categora
anlisis funcional

||x|| es la norma del elemento x de un espacio vectorial normado

||x+y|| ||x|| + ||y||

1
[editar]

Clculo
Smbolo

Nombre

[editar] integracin

se lee como

Categora

integral desde ... hasta ... de ... con respecto

clculo
a ...

ab f(x) dx significa: el rea, con signo, entre el eje-x y la grfica de la funcin f

entre x = a y x = b
0b x dx = b/3; x dx = x/3

derivada de f; f prima
clculo
[editar] derivacin
f '(x) es la derivada de la funcin f en el punto x, esto es, la pendiente de la
tangente en ese lugar.

f'

Si f(x) = x, entonces f '(x) = 2x y f '&apos;(x) = 2

[editar] gradiente

del, nabla, gradiente de

clculo

f (x1, , xn) es el vector de derivadas parciales (df / dx1, , df / dxn)

Si f (x, y, z) = 3xy + z entonces f = (3y, 3x, 2z)

clculo
[editar] derivacin parcial derivada parcial de
Con f (x1, , xn), f/xi es la derivada de f con respecto a xi, con todas las otras
variables mantenidas constantes.

Si f(x, y) = xy, entonces f/x = 2xy

[editar]

Ortogonalidad
Smbolo

Nombre

se lee como

Categora

[editar] perpendicular

es perpendicular a

ortogonalidad

x y significa: x es perpendicular a y; o, ms generalmente, x es ortogonal a y.

[editar]

Teora de rejas
Smbolo
[editar]

Nombre
fondo

se lee como
el elemento fondo

Categora
teora de rejas

x = significa: x es el elemento ms pequeo.

Si algunos de estos smbolos son utilizados en un artculo pensado para aprendices,

(para as alcanzar una mayor audiencia con esta pgina), quiz podra ser buena idea el
inclur una nota como la siguiente, (bajo la definicin del tema), (Redactarla tal cual
est escrita) :
''Este artculo utiliza [[Tabla de smbolos matemticos|smbolos matemticos]]''
El artculo wikipedia: Cmo se edita una pgina contiene informacin acerca de cmo
producir smbolos matemticos en otros artculos.
[editar]

Enlaces externos

Jeff Miller: Earliest Uses de Various Mathematical Symbols,

http://members.aol.com/jeff570/mathsym.html
TCAEP - Institute of Physics,
http://www.tcaep.co.uk/science/symbols/maths.htm

/
Obtenido de "http://es.wikipedia.org/wiki/Tabla_de_s%C3%ADmbolos_matem
%C3%A1ticos"
http://es.wikipedia.org/wiki/Tabla_de_s%C3%ADmbolos_matem
%C3%A1ticos#:.3D.E2.89.A1:.E2.87.94
http://members.aol.com/jeff570/mathsym.html
http://www.scenta.co.uk/tcaep/maths/symbol/index.htm bueno

El propsito de esta pgina es explicar la notacin matemtica para los que no estn
familiarizados con ella.

Uno o ms wikipedistas estn trabajando actualmente en extender este artculo.

Es posible que, a causa de ello, haya lagunas de contenido o deficiencias de formato.
Por favor, antes de realizar correcciones mayores o reescrituras, contacta con ellos en su
pgina de usuario o la pgina de discusin del artculo para poder coordinar la
redaccin.

Tabla de contenidos
[ocultar]
1 Teora de conjuntos
2 Expresiones
3 lgebra
4 Lgica proposicional, lgebra de Boole
o 4.1 Operadores bsicos
o 4.2 Implicacin
o 4.3 Cuantificadores
o 4.4 Ejemplos
o 4.5 Teora de nmeros
4.5.1 Conjuntos numricos especiales
5 Anlisis matemtico
o 5.1 Conceptos bsicos
o 5.2 Anlisis real
5.2.1 Lmites
5.2.2 Derivadas
5.2.2.1 Derivadas ordinarias
5.2.2.2 Derivadas parciales
6 Miscelneos
o 6.1 Funciones
o

6.2 Tabla de Smbolos

[editar]

Teora de conjuntos
Sean x un elemento y A,B conjuntos
Operacin Notacin

Se lee

10

pertenencia

x pertenece a A

inclusin

A est incluido en B / A est parcialmente incluido en B ??

A est incluido o es igual a B / A est incluido en B ??

inclusin

A incluye a B ??
A incluye o es igual a B??

Nota: Una barra cruzada sobre el smbolo invierte el enunciado, por ejemplo
"x no pertenece a A";

es

[editar]

Expresiones
Operacin Notacin
igualdad

x=y

Se lee
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
Notacin

Se lee

cuantificador universal

para todo x ...

cuantificador existencial

Existe x ... / Existe por lo menos (un) x

tal que

x/y

x, tal que y

por lo tanto
[editar]

xy

x por lo tanto y

lgebra
[editar]

Lgica proposicional, lgebra de Boole

[editar]

Operadores bsicos
Los operadores lgicos ms bsicos son la conjuncin, la disyuncin, y la negacin.
Sean p y q dos proposiciones
Operacin Notacin Se lee
Negacin

no p

11

Conjuncin

pyq

Disyuncin

poq

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

Implicacin
Una combinacin muy til de los operadores matemticos es la implicacin. Se escribe
o
como abreviatura de
. La declaracin que p implica q es
falsa si y slo si p es verdad pero no q.
Si
y
, se escribe
o bien "p si y slo si q".

, que se lee "p implica y es implicada por q",

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 carro, entonces llegar tarde al trabajo.
Conjuncin|Salgo tarde

no tengo carro

llegar tarde al trabajo

Si decimos Aqu no hay nadie y aplicamos literalmente la doble negacin expresada en

nuestro hablar coidiano entonces podramos asegurar que Aqu estan todos.
Negacin|

hay nadie

Aqu estan todos

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

Disyuncin|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 todo'.

Negacin|

produce nada

Produce todo

[editar]

Cuantificadores
Hasta ahora las declaraciones que podemos hacer no dicen cundo son verdades. Para
decirnos cundo una declaracin es verdad, necesitamos los cuantificadores. Hay dos
12

cuantificadores bsicos: el cuantificador existencial, y el cuantificador universal.

Aqu estn los smbolos.
Nombre

Notacin

Se lee

cuantificador universal

Para todo x...

cuantificador existencial

Existe por lo menos un 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, estas dos 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".
[editar]

Ejemplos
La definicin del lmite:
[editar]

Teora de nmeros
[editar]

Conjuntos numricos especiales

todos nmeros con la forma p / q cuando

el conjunto de los nmeros reales }
el conjunto de los nmeros complejos }
[editar]

Anlisis matemtico
[editar]

13

Conceptos bsicos
[editar]

Anlisis real
[editar]

Lmites
Para decir que el lmite de la funcin f es L cuando x tiende a, se escribe:
o bien

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

escribe:
o bien

[editar]

Derivadas
[editar]
Derivadas ordinarias

Se define la derivada de una funcin como el lmite del cociente del cambio en la
ordenada y la abcisa. Hay varias notaciones para denotar la derivada de una funcin.
Aqu estn unos ejemplos:

[editar]
Derivadas parciales

La notacin para las derivadas parciales es igual que para derivadas ordinarias; la
diferencia es que en vez de d o D, se escribe .
[editar]

Miscelneos
[editar]

Funciones
Para decir que una funcin f va desde el espacio X al espacio Y, se escribe
.

14

[editar]

Tabla de Smbolos
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, la tabla siguiente 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.

15