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

1
 35 | |
o 35.1 rdenes parciales
36 <>
37
o 37.1 Geometra eucldea
38
o 38.1 Combinatoria
39 !
o 39.1 Anlisis funcional
40 || ||
o 40.1 Clculo
41
42 f '
43
44
o 44.1 Ortogonalidad
45
o 45.1 Teora de rejas
46

o 46.1 Enlaces externos

[editar]

Genricos
Smbolo Nombre se lee como Categora
[editar] igualdad igual a 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 Nombre se lee como Categora
[editar] adicin mas aritmtica
4 + 6 = 10 significa que si a cuatro se le agrega 6, la suma, o resultado, es 10.

2
 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
n
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
n
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 Nombre se lee como Categora
implica; si ..
implicacin material lgica proposicional
entonces
[editar]
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,
x = 2 x = 4 es verdadera, pero x = 4
como se indica ms abajo.
x = 2 es, en general, falso (yq
que x podra ser 2)
[editar] equivalencia material si y slo si; ssi lgica proposicional

3
 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 lgica proposicional, teora
y
[editar] en una reja de rejas
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 lgica proposicional, teora
o
[editar] una reja 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 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 se lee como Categora
para todos; para cualquier; para lgica de
[editar] cuantificacin universal
cada predicados
x: P(x) significa: P(x) es verdadera para cualquier x
n N: n n
cuantificacin lgica de
[editar] existe
existencial predicados
x: P(x) significa: existe por lo menos un x tal que P(x) es verdadera.
n N: n + 5 = 2n
[editar] lgica de
tal que
predicados
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

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

N = {0,1,2,...}
[editar] notacin constructora de el conjunto de los elementos ... tales teora de
conjuntos que ... conjuntos

{ : } {xverdadera.
: P(x)} significa: el conjunto de todos los x para los cuales P(x) es
{x | P(x)} es lo mismo que {x : P(x)}.
{|
{n N : n < 20} = {0,1,2,3,4}
}
[editar] teora de
conjunto vaco conjunto vaco
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 teora de
miembro de; pertenece a conjuntos

adelconjunto
S significa: a es elemento del conjunto S; a S significa: a no es elemento
S
(1/2) N; 2 N
1 1

[editar] subconjunto teora de

es subconjunto de
conjuntos

AA BB significa: cada elemento de A es tambin elemento de B

significa: A B pero A B
A B A; Q R
teora de
unin conjunto-teortica la unin de ... y ...; unin
[editar] conjuntos
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- la interseccin de ... y ...; teora de
[editar] teortica interseccin 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- teora de
[editar] teortico menos; sin
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 Nombre se lee como Categora
[editar] aplicacin de funcin; agrupamiento de 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
[editar] mapeo funcional de ... a funciones
f: X Y significa: la funcin f mapea el conjunto X al conjunto Y
f:X
Considrese la funcin f: Z N definida por f(x) = x
Y
[editar]

Nmeros
Smbolo Nombre se lee como Categora
[editar] nmeros naturales N nmeros
N significa: {0,1,2,3,...}, pero vase el artculo nmeros naturales para una
convencin diferente.
N {|a| : a Z} = N
[editar] nmeros enteros Z nmeros
Z significa: {...,3,2,1,0,1,2,3,4....}
Z {a : |a| N} = Z
[editar] nmeros racionales Q nmeros
Q significa: {p/q : p, q Z, q 0}
Q 3.14 Q; Q
[editar] nmeros reales R nmeros
R significa: {limn an : n N: an Q, el lmite existe}
R R; (1) R
[editar] nmeros complejos C nmeros
C significa: lalala{a + bi : a, b R}
C i = (1) C
[editar] raz cuadrada la raz cuadrada de; la principal raz nmeros reales
cuadrada de

6
 x significa: el nmero positivo cuyo cuadrado es x

(x) = |x|

[editar] infinito infinito nmeros

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 Categora
[editar] comparacin es menor que, es mayor que 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 Nombre se lee como Categora
pi pi Geometra euclideana
[editar]
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

7
 [editar] factorial factorial combinatoria
n! es el producto 12...n
! 4! = 24
[editar]

Anlisis funcional
Smbolo Nombre se lee como Categora
[editar] norma norma de; longitud de anlisis funcional
||x|| es la norma del elemento x de un espacio vectorial normado
|| || ||x+y|| ||x|| + ||y||

[editar]

Clculo
Smbolo Nombre se lee como Categora
integral desde ... hasta ... de ... con respecto
[editar] integracin a ...
clculo

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
[editar] derivacin derivada de f; f prima clculo
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)
[editar] derivacin parcial derivada parcial de clculo
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

8
 perpendicular es perpendicular a ortogonalidad
[editar]
x y significa: x es perpendicular a y; o, ms generalmente, x es ortogonal a y.

[editar]

Teora de rejas
Smbolo Nombre se lee como Categora
fondo el elemento fondo teora de rejas
[editar] 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

9
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 es
"x no pertenece a A";

[editar]

Expresiones
Operacin Notacin 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
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 xy x por lo tanto y
[editar]

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 , que se lee "p implica y es implicada por q",

o bien "p si y slo si 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