Anexo:Smbolos matemticos

De Wikipedia, la enciclopedia libre Saltar a: navegacin, bsqueda

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 Categora adicin ms aritmtica 4 + 6 = 10 significa que si a cuatro se le agrega 6, la suma, o resultado, es 10. 43 + 65 = 108; 2 + 7 = 9 sustraccin 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. 4 x 6 = 24 4 * 6 = 24 4 6 = 24 divisin entre, dividido por aritmtica Nombre se lee como

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

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 productorio 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

Lgica proposicional
Smbolo Nombre se lee como Categora implicacin material o en un implica; si .. entonces; lgica proposicional solo sentido por lo tanto 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 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 lgica proposicional, y interseccin en una reja teora de rejas la proposicin A B es verdadera 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, o, una reja 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 Categora

para todos; para cualquier; lgica de para cada predicados x : P(x) significa: P(x) es verdadera para cualquier x n N: n n lgica de cuantificador existencial existe por lo menos un/os predicados 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 lgica de existe un/os nico/s de unicidad predicados ! x : P(x) significa: existe un nico x tal que P(x) es verdadera. ! n N: n + 1 = 2 lgica de reluz tal que predicados x : P(x) significa: existe por lo menos un x tal que P(x) es verdadera. n N: n + 5 = 2n cuantificador universal

Teora de conjuntos
Smbolo Nombre se lee como delimitadores de conjunto el conjunto de ... Categora teora de conjuntos

{a,b,c} significa: el conjunto consistente de a, b, y c N = {0,1,2,...} notacin constructora de el conjunto de los elementos ... tales teora de conjuntos que ... 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} teora de conjunto vaco conjunto vaco conjuntos {} significa: el conjunto que no tiene elementos; es la misma cosa. {n N : 1 < n < 4} = {} en; est en; es elemento de; es teora de pertenencia de conjuntos miembro de; pertenece a 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 teora de subconjunto es subconjunto de conjuntos

A B significa: cada elemento de A es tambin elemento de B A B significa: A B pero A B A B A; Q R 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 teora de interseccin de conjuntos la interseccin de ... y ...; 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 de un teora de menos; sin conjunto 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} unin de conjuntos la unin de ... y ...; unin

Funciones
Smbolo Nombre se lee como Categora 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 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

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 la raz cuadrada de; la principal raz raz cuadrada nmeros reales cuadrada de 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 Categora comparacin es menor a, es mayor a rdenes parciales x < y significa: x es menor a y; x > y significa: x es mayor a y 3 <4 5 >4 Nombre se lee como Categora 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

Smbolo

Geometra eucldea
Smbolo pi Nombre pi se lee como Categora Geometra euclideana

 significa: la razn de la circunferencia a su dimetro. A = r es el rea de un crculo con radio r

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

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

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 se lee como Categora

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

lgebra matricial
Smbolo Nombre se lee como Categora perpendicular traspuesta 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 Nombre se lee como fondo el elemento fondo x = significa: x es el elemento ms pequeo. Categora teora de rejas