Anexo:Smbolos matemticos

Genricos
Smbolo Nombre se lee como Categora igualdad igual a todos x = y significa: x e y son nombres diferentes que hacen referencia a un mismo objeto o ente. 1+2=63 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)

Aritmtica
Smbolo Nombre se lee como adicin ms 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 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 multiplicacin por aritmtica 7 x 6 = 42 significa que si se cuenta siete veces seis, el resultado ser 42. Categora aritmtica

4 x 6 = 24 4 * 6 = 24 4 6 = 24

divisin

entre, dividido por

aritmtica

significa que si se hace seis pedazos uniformes de cuarenta y dos, cada pedazo ser de tamao siete.

sumatoria suma sobre ... desde ... hasta ... de n k=1 ak significa: a1 + a2 + ... + an k=14 k = 1 + 2 + 3 + 4 = 1 + 4 + 9 + 16 = 30 productorio producto sobre... desde ... hasta ... de n k=1 ak significa: a1a2an k=14 (k + 2) = (1 + 2)(2 + 2)(3 + 2)(4 + 2) = 3 4 5 6 = 360

aritmtica

aritmtica

Lgica proposicional
Smbolo Nombre se lee como Categora implicacin material o en un solo sentido implica; si .. entonces; por lo tanto lgica proposicional A B significa: si A es verdadero entonces B es verdadero tambin; si B es verdadero entonces nada se dice sobre A. puede significar lo mismo que , o puede ser usado para denotar funciones, como se indica ms abajo. x = 2 x = 4 es verdadera, pero 4 = x x = 2 es, en general, falso (ya que x podra ser 2)

doble implicacin si y slo si; sii, syss1 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

lgica proposicional

conjuncin lgica o interseccin en una reja y lgica proposicional, teora de rejas la proposicin A B es verdadera si A y B son ambas verdaderas; de otra manera es falsa.todo es verdadero de los valores n < 4 n > 2 n = 3 cuando n es un nmero natural disyuncin lgica o unin en una reja o, 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 negacin lgica no lgica proposicional la proposicin A es verdadera si y slo si A es falsa. una barra colocada sobre otro operador es equivalente a un colocado a la izquierda. (A B) (A) (B); x S (x S)

Lgica de predicados
Smbolo Nombre se lee como cuantificador universal para todos; para cualquier; para cada x : P(x) significa: P(x) es verdadera para cualquier x n N: n n cuantificador existencial existe por lo menos un/os x : P(x) significa: existe por lo menos un x tal que P(x) es verdadera. n N: n + 5 = 2n cuantificador existencial con marca de unicidad existe un/os nico/s ! x : P(x) significa: existe un nico x tal que P(x) es verdadera. ! n N: n + 1 = 2 reluz tal que x : P(x) significa: existe por lo menos un x tal que P(x) es verdadera. n N: n + 5 = 2n Categora lgica de predicados

lgica de predicados

lgica de predicados

lgica de predicados

Teora de conjuntos
Smbolo Nombre se lee como Categora 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,...} notacin constructora de conjuntos el conjunto de los elementos ... tales que ... teora de conjuntos {x : P(x)} significa: el conjunto de todos los x para los cuales P(x) es verdadera. {x | P(x)} es lo mismo que {x : P(x)}. {n N : n < 20} = {0,1,2,3,4} conjunto vaco conjunto vaco teora de conjuntos {} significa: el conjunto que no tiene elementos; es la misma cosa. {n N : 1 < n < 4} = {} pertenencia de conjuntos en; est en; es elemento de; es miembro de; pertenece a teora de conjuntos a S significa: a es elemento del conjunto S; a S significa: a no es elemento del conjunto S (1/2)1 N; 21 N subconjunto es subconjunto de A B significa: cada elemento de A es tambin elemento de B A B significa: A B pero A B teora de conjuntos

A B A; Q R unin de conjuntos la unin de ... y ...; unin teora de 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 de conjuntos 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 de un conjunto 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}

Funciones
Smbolo Nombre se lee como aplicacin de funcin; agrupamiento de 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 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 Categora funciones

funciones

Nmeros
Smbolo Nombre se lee como Categora nmeros naturales N nmeros N significa: {1,2,3,...}, pero vase el artculo nmeros naturales para una convencin diferente. {|a| : a Z} = N nmeros enteros Z nmeros Z significa: {...,3,2,1,0,1,2,3,4,...} {a : |a| N} = Z nmeros racionales Q nmeros Q significa: {p/q : p, q Z, q 0} 3.14 Q; Q nmeros reales R nmeros R significa: {limn an : n N: an Q, el lmite existe} R; (1) R nmeros complejos C nmeros C significa: {a + bi : a, b R} i = (1) C 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 infinito nmeros es un elemento de la recta real extendida mayor que todos los nmeros reales; ocurre frecuentemente en lmites limx0 1/|x| = valor absoluto valor absoluto de nmeros |x| significa: la distancia en la recta real (o en el plano complejo) entre x y [[zero], se le llama tambin mdulo] |a + bi | = (a + b)

rdenes parciales

Smbolo

Nombre se lee como comparacin es menor a, es mayor a x < y significa: x es menor a y; x > y significa: x es mayor a y 3 <4 5 >4

Categora rdenes parciales

Smbolo

Nombre se lee como comparacin es menor o igual a, es mayor o igual a x y significa: x es menor o igual a y; x y significa: x es mayor o igual a y x 1 x x

Categora rdenes parciales

Geometra eucldea
Smbolo Nombre se lee como pi pi significa: la razn de la circunferencia a su dimetro. A = r es el rea de un crculo con radio r Categora Geometra euclideana

Combinatoria
Smbolo Nombre factorial n! es el producto 12...n 4! = 24 se lee como factorial combinatoria Categora

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

Clculo
Smbolo Nombre se lee como Categora integracin integral desde ... hasta ... de ... con respecto a ... clculo b a 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 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. Si f(x) = x, entonces f '(x) = 2x y f ' '(x) = 2 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) derivada 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

Ortogonalidad
Smbolo Nombre perpendicular x se lee como es perpendicular a Categora ortogonalidad

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

lgebra matricial
Smbolo perpendicular Nombre se lee como traspuesta Categora matrices y vectores

(a,b) con al lado o a modo de potencia significa que el vector se debe colocar no de izquierda a derecha, sino de arriba a abajo. En numerosos trabajos de investigacin se utiliza esta sintaxis al no poder representar en un documento vectores verticales.

Teora de rejas
Smbolo fondo x= Nombre el elemento fondo significa: x es el elemento ms pequeo. se lee como teora de rejas Categora

Vase tambin