Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Tabla de Símbolos Matemáticos
Tabla de Símbolos Matemáticos
1
34
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
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
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
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
{ : } {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
adelconjunto
S significa: a es elemento del conjunto S; a S significa: a no es elemento
S
(1/2) N; 2 N
1 1
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|
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
Ortogonalidad
Smbolo Nombre se lee como Categora
8
[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 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) :
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.
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
Teora de conjuntos
Sean x un elemento y A,B conjuntos
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]
Operadores bsicos
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
[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.
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
[editar]
Teora de nmeros
[editar]
[editar]
Anlisis matemtico
[editar]
13
Conceptos bsicos
[editar]
Anlisis real
[editar]
Lmites
o bien .
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
14
[editar]
Tabla de Smbolos
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