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

35.1 rdenes parciales 37.1 Geometra eucldea 38.1 Combinatoria 39.1 Anlisis funcional 40.1 Clculo

36 <> 37
o

38
o

39 !
o

40 || ||
o

41 42 f ' 43 44
o

44.1 Ortogonalidad 45.1 Teora de rejas 46.1 Enlaces externos

45
o

46
o

[editar]

Genricos
Smbolo Nombre igual a se lee como todos Categora [editar] igualdad

x = y significa: x y y son nombres diferentes para precisamente la misma cosa. 1+2=63 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

[editar] definicin

:= : 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. 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

/
[editar]

significa que si se hace seis pedazos uniformes de cuarenta y dos, cada pedazo ser de tamao siete. 24 / 6 = 4 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 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
n n

[editar] sumatoria

[editar] producto

Lgica proposicional
Smbolo [editar] Nombre implicacin material se lee como implica; si .. entonces Categora lgica proposicional

x = 2 x = 4 es verdadera, pero x = 4
x podra ser 2)

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 es, en general, falso (yq que

[editar] equivalencia material

si y slo si; ssi

lgica proposicional

x+5=y+2 x+3=y /
[editar]

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

conjuncin lgica o interseccin y [editar] en una reja

lgica proposicional, teora 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 o lgica proposicional, teora de rejas

disyuncin lgica o unin en [editar] una reja

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 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] negacin lgica

Lgica de predicados
Smbolo Nombre se lee como Categora lgica de predicados [editar] cuantificacin universal para todos; para cualquier; para cada

[editar]

x: P(x) significa: P(x) es verdadera para cualquier x n N: n n existe lgica de predicados

[editar] cuantificacin existencial n N: n + 5 = 2n

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

tal que

:
[editar]

x: P(x) significa: existe por lo menos un x tal que P(x) es verdadera. n N: n + 5 = 2n

Teora de conjuntos
4

Smbolo

Nombre

se lee como

Categora teora de conjuntos

[editar] delimitadores de conjunto el conjunto de ... 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 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} } [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 a elemento del conjunto S (1/2) N; 2 N
1 1

[editar]

subconjunto

es subconjunto de

teora de conjuntos

B significa: cada elemento de A es tambin elemento de B A A B significa: A B pero A B A B A; Q R [editar] unin conjunto-teortica 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 la interseccin de ... y ...; interseccin teora de conjuntos

interseccin conjunto[editar] teortica

A B significa: el conjunto que contiene todos aquellos elementos que A y B tienen en comn. {x R : x = 1} N = {1}

complemento conjuntoteora de menos; sin teortico conjuntos [editar] 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]

Funciones
Smbolo [editar] Nombre aplicacin de funcin; agrupamiento se lee como de Categora funciones

() [] {}
[editar]

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

f:X Y
[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.

N Z

{|a| : a Z} = N Z nmeros Z significa: {...,3,2,1,0,1,2,3,4....} {a : |a| N} = Z nmeros Q significa: {p/q : p, q Z, q 0} 3.14 Q; Q R nmeros R significa: {limn an : n N: an Q, el lmite existe} R; (1) R nmeros

[editar] nmeros enteros

[editar] nmeros racionales Q

Q R

[editar] nmeros reales

[editar] nmeros complejos C

C significa: lalala{a + bi : a, b R}

C ||
[editar]

i = (1) C la raz cuadrada de; la principal raz cuadrada de nmeros reales

[editar] raz cuadrada

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| = 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] valor absoluto

rdenes parciales
Smbolo Nombre se lee como Categora rdenes parciales [editar] comparacin es menor que, es mayor que

< x<y y>x >

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

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

rdenes parciales

x 1 x x
[editar]

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

Geometra eucldea
Smbolo [editar] pi Nombre pi se lee como 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 [editar] Nombre factorial 4! = 24 se lee como factorial Categora combinatoria

!
[editar]

n! es el producto 12...n

Anlisis funcional
Smbolo Nombre se lee como norma de; longitud de Categora anlisis funcional [editar] norma

|| ||
1 [editar]

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

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

f'

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. Si f(x) = x, entonces f '(x) = 2x y f '&apos;(x) = 2 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] gradiente

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 es perpendicular a Categora ortogonalidad [editar] perpendicular

[editar]

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

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

10

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

11

pertenencia inclusin inclusin

x pertenece a A A est incluido en B / A est parcialmente incluido en B ?? A est incluido o es igual a B / A est incluido en B ?? 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"; [editar]

es

Expresiones
Operacin Notacin igualdad x=y x es igual a y x es menor que y x es mayor que y x es aproximadamente igual a y Notacin cuantificador universal cuantificador existencial tal que por lo tanto [editar] x/y xy para todo x ... Existe x ... / Existe por lo menos (un) x x, tal que y x por lo tanto y Se lee menor que x < y mayor que x > y aproximado Se lee

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

12

Conjuncin Disyuncin

pyq 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| [editar] produce nada Produce todo

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 13

cuantificadores bsicos: el cuantificador existencial, y el cuantificador universal. Aqu estn los smbolos. Nombre cuantificador universal cuantificador existencial Notacin Se lee Para todo x... 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]

Conceptos bsicos
14

[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 . [editar]

15

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.

16