Tabla de smbolos matemticos

De Wikipedia, la enciclopedia libre

Saltar a navegacin, bsqueda

Tabla de contenidos
[ocultar] 1 Genricos 2= 3 :=: o 3 1 !rit"etica #$ %& ' ()* + , ./ 01 o 0 1 2gica 3ro3osicional 14 5 11 6 12 13 1# 7o 1# 1 2gica de 3redicados 1% 1' 1+ : o 1+ 1 8eor9a de con:untos 1. ; , < 10 ; : <; = < 24 ;< 21 22 23 2# > 2% ? o 2% 1 @unciones 2' A B[ ]; < 2+ C:D5E o 2+ 1 F"eros 2. F 20 G 34 H 31 I 1

32 J 33 K 3# L 3% = =
o

3% 1 Mrdenes 3arciales 3+ 1 Geo"etr9a eucl9dea 3. 1 Jo"binatoria 30 1 !nTlisis Cuncional #4 1 JTlculo

3' NO 3+ PQ
o

3. R
o

30 S
o

#4 == ==
o

#1 U #2 C V #3 ## W
o

## 1 Xrtogonalidad #% 1 8eor9a de re:as

#%
o

#'
o

#' 1 Ynlaces eZternos

[editar]

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

x = y signiCica: x [ y son no"bres diCerentes 3ara 3recisa"ente la "is"a cosa 1$2='&3 se deCine co"o todos x := y o x y signiCica: x se deCine co"o otro no"bre 3ara y Anotar, sin e"bargo, que 3uede ta"bin signiCicar otras cosas, co"o congruenciaB P : Q signiCica: P se deCine co"o lgica"ente equivalente a Q

[editar] deCinicin

:= : cos\ x := A1-2BAeZ3 x $ eZ3 A&xBB] A DXI B : AA BB 7AA BB

[editar]

ritmetica
2

Smbolo [editar] adicin

Nombre "as

se lee como

Categora arit"tica

! " # $ %

# $ ' = 14 signiCica que si a cuatro se le agrega ', la su"a, o resultado, es 14 #3 $ '% = 14.] 2 $ + = 0 substraccin "enos arit"tica

[editar] 0 & # = % signiCica que si # es restado de 0, el resultado serT % Yl s9"bolo V"enosV ta"bin se utili^a 3ara denotar que un n"ero es negativo _or e:e"3lo, % $ A&3B = 2 signiCica que si VcincoV [ V"enos tresV son su"ados, el resultado es VdosV .+ & 3' = %1 [editar] "ulti3licacin 3or arit"tica signiCica que si se cuenta siete veces seis, el resultado serT #2

[editar] divisin

entre

arit"tica

& ' ( )
[editar]

signiCica que si se \ace seis 3eda^os uniCor"es de cuarenta [ dos, cada 3eda^o serT de ta"a`o siete 2# - ' = # su"a sobre $ an \asta de arit"tica desde \asta de arit"tica /k=1n ak signiCica: a1 $ a2 $

[editar] su"atoria

/k=1# ka = 1a $ 2a $ 3a $ #a = 1 $ # $ 0 $ 1' = 34 3roducto sobre desde 1k=1n ak signiCica: a1a2)))an 1k=1# Ak $ 2B = A1 $ 2BA2 $ 2BA3 $ 2BA# $ 2B = 3 ( # ( % ( ' = 3'4

[editar] 3roducto

*+gica proposicional
Smbolo Nombre se lee como i"3lica] si entonces Categora lgica 3ro3osicional [editar] i"3licacin "aterial

A B signiCica: si A es verdadero entonces B es verdadero ta"bin] si A es Calso entonces nada se dice sobre B 5 3uede signiCicar lo "is"o que , o 3uede ser usado 3ara denotar Cunciones, co"o se indica "Ts aba:o

x = 2 xa = # es verdadera, 3ero xa = # x = 2 es, en general, Calso A[q que x 3odr9a ser &2B [editar] equivalencia "aterial si [ slo si] ssi lgica 3ro3osicional A B signiCica: A es verdadera si B es verdadera [ A es Calsa si B es Calsa

x$%=y$2 x$3=y con:uncin lgica o intersecci+n [ [editar] en una re:a lgica 3ro3osicional, teor9a de re:as

la 3ro3osicin A B es veradera si A [ B son a"bas verdaderas] de otra "anera es Calsa n N # n O 2 n = 3 cuando n es un n"ero natural o lgica 3ro3osicional, teor9a de re:as

dis[uncin lgica o .ni+n en [editar] una re:a

/ '
[editar]

la 3ro3osicin A B es verdadera si A o B Ao a"basB son verdaderas] si a"bas son Calsas, la 3ro3osicin es Calsa n Q # n P 2 n b 3 cuando n es un n"ero natural no lgica 3ro3osicional la 3ro3osicin 7A es verdadera si [ slo si A es Calsa un cslas\c colocado sobre otro o3erador es equivalente a c7c colocado enCrente 7AA BB A7AB A7BB] x S 7Ax SB

[editar] negacin lgica

*+gica de predicados
Smbolo Nombre se lee como Categora lgica de 3redicados [editar] cuantiCicacin universal 3ara todos] 3ara cualquier] 3ara cada

[editar]

x: PAxB signiCica: PAxB es verdadera 3ara cualquier x n N: na Q n eZiste lgica de 3redicados

[editar] cuantiCicacin eZistencial

x: PAxB signiCica: eZiste 3or lo "enos un x tal que PAxB es verdadera n N : n $ % = 2n tal que lgica de 3redicados

x: PAxB signiCica: eZiste 3or lo "enos un x tal 0.e PAxB es verdadera

 n N : n $ % = 2n [editar]

Teora de con1.ntos
Smbolo Nombre se lee como Categora teor9a de con:untos [editar] deli"itadores de con:unto el con:unto de a,b,c< signiCica: el con:unto consistente de a, b, [ c 2,3; N = ;4,1,2, < [editar] notacin constructora de el con:unto de los ele"entos con:untos que tales teor9a de con:untos

x : PAxB< signiCica: el con:unto de todos los x 3ara los cuales PAxB es 2 : 3; verdadera ;x = PAxB< es lo "is"o que ;x : PAxB< 24 3 ;n N : na N 24< = ;4,1,2,3,#< [editar] con:unto vac9o con:unto vac9o teor9a de con:untos

;< signiCica: el con:unto que no tiene ele"entos] es la "is"a cosa 23 ;n N : 1 N na N #< = ;<
[editar] "e"bres9a de con:untos en] estT en] es ele"ento de] es "ie"bro de] 3ertenece a teor9a de con:untos S signiCica: a es ele"ento del con:unto S] a S signiCica: a no es ele"ento a del con:unto S A1-2B N] 2 N
&1 &1

[editar]

subcon:unto

es subcon:unto de

teor9a de con:untos

B signiCica: cada ele"ento de A es ta"bin ele"ento de B A A B signiCica: A B 3ero A b B A > B A] 5 6 [editar] unin con:untodteortica la unin de [ ] unin teor9a de con:untos

A B signiCica: el con:unto que contiene todos los ele"entos de A [ ta"bin todos aquellos de B, 3ero ningn otro

AB AB=B interseccin con:untod [editar] teortica la interseccin de interseccin [ ] teor9a de con:untos

7 8
[editar]

A > B signiCica: el con:unto que contiene todos aquellos ele"entos que A [ B tienen en co"n ;x 6 : xa = 1< > N = ;1< "enos] sin teor9a de con:untos

co"3le"ento con:untod [editar] teortico

A ? B signiCica: el con:unto que contiene todos aquellos ele"entos de A que no se encuentran en B ;1,2,3,#< ? ;3,#,%,'< = ;1,2<

9.nciones
Smbolo [editar] Nombre a3licacin de Cuncin] agru3a"iento se lee como de Categora Cunciones

:; <= 23
[editar]

3ara a3licacin de Cuncin: fAxB signiCica: el valor de la Cuncin f sobre el ele"ento x 3ara agru3a"iento: reali^ar 3ri"ero las o3eraciones dentro del 3arntesis Si fAxB := xa, entonces fA3B = 3a = 0] A.-#B-2 = 2-2 = 1, 3ero .-A#-2B = .-2 = # "a3eo Cuncional de a Cunciones f: X 5 Y signiCica: la Cuncin f "a3ea el con:unto X al con:unto Y Jonsidrese la Cuncin f: > 5 N deCinida 3or fAxB = xa

f:X , Y
[editar]

N?meros
Smbolo [editar] Nombre n"eros naturales F se lee como Categora n"eros

N >

N signiCica: ;4,1,2,3, <, 3ero vase el art9culo n"eros naturales 3ara una convencin diCerente ;=a= : a >< = N G < n"eros > signiCica: ; ,&3,&2,&1,4,1,2,3,# ;a : =a= N< = > '

[editar] n"eros enteros

[editar] n"eros racionales H

n"eros

5 6 C @ A 44
[editar]

5 signiCica: ;p-q : p, q >, q b 4< 3 1# 5] R 5 I n"eros 6 signiCica: ;li"n5L an : n N: an 5, el l9"ite eZiste< R 6] KA&1B 6 n"eros C signiCica: lalala;a $ bi : a, b 6< i = KA&1B C la ra9^ cuadrada de] la 3rinci3al ra9^ cuadrada de n"eros reales

[editar] n"eros reales

[editar] n"eros co"3le:os J

[editar] ra9^ cuadrada

Kx signiCica: el n"ero 3ositivo cu[o cuadrado es x KAxaB = =x=

inCinito n"eros [editar] inCinito L es un ele"ento de la l9nea eZtendida de n"eros reales "a[or que todos los n"eros reales] ocurre Crecuente"ente en l9"ites li"Z54 1-=x= = L valor absoluto de n"eros =x= signiCica: la distancia en la l9nea real Ao en el 3lano co"3le:oB entre x [ ^ero =a $ bi= = KAaa $ baB [editar] valor absoluto

Brdenes parciales
Smbolo Nombre se lee como Categora rdenes 3arciales [editar] co"3aracin es "enor que, es "a[or que

C D xNy yOx

x N y signiCica: x es "enor que y] x O y signiCica: x es "a[or que y

[editar] co"3aracin es "enor o igual a, es "a[or o igual a

rdenes 3arciales

E x Q 1 xa Q x F
[editar]

x P y signiCica: x es "enor o igual a y] x Q y signiCica: x es "a[or o igual a y

Geometra e.cldea
+

Smbolo [editar] 3i

Nombre 3i

se lee como

Categora Geo"etr9a euclideana

R signiCica: la ra^n de la circunCerencia de un c9rculo a su diT"etro A = Rra es el Trea de un c9rculo con radio r

G
[editar]

Combinatoria
Smbolo [editar] Nombre Cactorial #S = 2# se lee como Cactorial Categora co"binatoria

H
[editar]

nS es el 3roducto 1(2( (n

nlisis I.ncional
Smbolo Nombre se lee como nor"a de] longitud de Categora anTlisis Cuncional [editar] nor"a

44 44
1 [editar]

==x== es la nor"a del ele"ento x de un es3acio vectorial nor"ado ==x$y== P ==x== $ ==y==

Clc.lo
Smbolo Nombre integral desde a se lee como \asta de con res3ecto Categora cTlculo [editar] integracin

J fK

Uab fAxB dx signiCica: el Trea, con signo, entre el e:edx [ la grTCica de la Cuncin f entre x = a [ x = b U4b Za dx = be-3] Uxa dx = xe-3

derivada de C] C 3ri"a cTlculo [editar] derivacin f VAxB es la derivada de la Cuncin f en el 3unto x, esto es, la 3endiente de la tangente en ese lugar Si fAxB = xa, entonces f VAxB = 2x [ f Vfa3os]AxB = 2 del, nabla, gradiente de cTlculo [editar] gradiente

f AZ1, g, ZnB es el vector de derivadas 3arciales Adf - dx1, g, df - dxnB

Si f Ax, y, zB = 3xy $ za entonces f = A3y, 3x, 2zB

cTlculo [editar] derivacin 3arcial derivada 3arcial de Jon f AZ1, g, ZnB, WC-WZi es la derivada de f con res3ecto a Zi, con todas las otras variables "antenidas constantes Si fAZ, [B = Za[, entonces Wf-WZ = 2Z[ [editar]

Mrtogonalidad
Smbolo Nombre se lee como es 3er3endicular a Categora ortogonalidad [editar] 3er3endicular

x y signiCica: x es 3er3endicular a y] o, "Ts general"ente, x es ortogonal a y

[editar]

Teora de re1as
Smbolo [editar] Nombre Condo se lee como el ele"ento Condo Categora teor9a de re:as

x = signiCica: x es el ele"ento "Ts 3eque`o

Si algunos de estos s9"bolos son utili^ados en un art9culo 3ensado 3ara a3rendices, A3ara as9 alcan^ar una "a[or audiencia con esta 3TginaB, qui^T 3odr9a ser buena idea el inclu9r una nota co"o la siguiente, Aba:o la deCinicin del te"aB, AIedactarla tal cual estT escritaB : VVYste art9culo utili^a [[8abla de s9"bolos "ate"Tticos=s9"bolos "ate"Tticos]]VV Yl art9culo hiii3edia: J"o se edita una 3Tgina contiene inCor"acin acerca de c"o 3roducir s9"bolos "ate"Tticos en otros art9culos [editar]

Nnlaces eOternos

jeCC killer: Earliest Uses de Various at!e"atical Sy"bols# !ttp$%%"e"bers&aol&co"%'eff()*%"at!sy"&!t"l 8J!Y_ d lnstitute oC _\[sics, \tt3:--hhh tcae3 co ui-science-s["bols-"at\s \t"

Xbtenido de c\tt3:--es hiii3edia org-hiii-8ablamdemsnJ3n!o"bolosm"ate" nJ3n!1ticosc \tt3:--es hiii3edia org-hiii-8ablamdemsnJ3n!o"bolosm"ate" nJ3n!1ticosp: 3o Y2 .0 !1: Y2 .+ 0# \tt3:--"e"bers aol co"-:eCC%+4-"at\s[" \t"l \tt3:--hhh scenta co ui-tcae3-"at\s-s["bol-indeZ \t" bueno

14

Yl 3ro3sito de esta 3Tgina es eZ3licar la notacin "ate"Ttica 3ara los que no estn Ca"iliari^ados con ella

Pno o ms Qikipedistas estn traba1ando act.almente en eOtender este artc.lo Ys 3osible que, a causa de ello, \a[a lagunas de contenido o deCiciencias de Cor"ato _or Cavor, antes de reali^ar correcciones "a[ores o reescrituras, contacta con ellos en su 3Tgina de usuario o la 3Tgina de discusin del art9culo 3ara 3oder coordinar la redaccin

Tabla de contenidos
[ocultar] 1 8eor9a de con:untos 2 YZ3resiones 3 qlgebra # 2gica 3ro3osicional, qlgebra de roole o # 1 X3eradores bTsicos o # 2 l"3licacin o # 3 JuantiCicadores o # # Y:e"3los o # % 8eor9a de n"eros # % 1 Jon:untos nu"ricos es3eciales % !nTlisis "ate"Ttico o % 1 Jonce3tos bTsicos o % 2 !nTlisis real % 2 1 29"ites % 2 2 oerivadas % 2 2 1 oerivadas ordinarias % 2 2 2 oerivadas 3arciales ' kiscelTneos o ' 1 @unciones
o

' 2 8abla de S9"bolos

[editar]

Teora de con1.ntos
Sean x un ele"ento [ A,B con:untos Mperaci+n Notaci+n Se lee

11

3ertenencia inclusin inclusin

Z 3ertenece a ! ! estT incluido en r - ! estT 3arcial"ente incluido en r ss ! estT incluido o es igual a r - ! estT incluido en r ss ! inclu[e a r ss ! inclu[e o es igual a rss

Fota: tna barra cru^ada sobre el s9"bolo invierte el enunciado, 3or e:e"3lo cZ no 3ertenece a !c] [editar]

es

NOpresiones
Mperaci+n Notaci+n igualdad x=y Z es igual a [ Z es "enor que [ Z es "a[or que [ Z es a3roZi"ada"ente igual a [ Notaci+n cuantiCicador universal cuantiCicador eZistencial tal que 3or lo tanto [editar] x-y Z[ 3ara todo Z YZiste Z Z, tal que [ Z 3or lo tanto [ - YZiste 3or lo "enos AunB Z Se lee "enor que x N y "a[or que x O y a3roZi"ado Se lee

Rlgebra
[editar]

*+gica proposicional, Rlgebra de Soole

[editar]

Mperadores bsicos
2os o3eradores lgicos "Ts bTsicos son la con1.nci+n, la disT.nci+n, [ la negaci+n Sean p [ q dos 3ro3osiciones Mperaci+n Notaci+n Se lee Fegacin no 3

12

Jon:uncin ois[uncin

3[q 3oq

2os o3eradores bTsicos se usan 3ara Cor"ar declaraciones at+micas 2as declaraciones at"icas dicen cual co"binacin de 33 [ qq es verdad [editar]

Umplicaci+n
tna co"binacin "u[ til de los o3eradores "ate"Tticos es la implicaci+n Se escribe o co"o abreviatura de 2a declaracin que p i"3lica q es Calsa si [ slo si p es verdad 3ero no q Si [ , se escribe o bien cp si [ slo si qc , que se lee cp i"3lica [ es i"3licada 3or qc,

tno de los usos "Ts co"unes de los o3eradores lgicos se encuentra en la _rogra"acin de Siste"as de lnCor"acin, as9 co"o en la generacin de circuitos elctricos, [ en general en cualquier siste"a de to"a de decisiones 3ara la e"3resa o 3ara la vida cotidiana, 3or e:e"3lo: Si salgo tarde de "i casa [ no tengo carro, entonces llegar tarde al traba:o Jon:uncin=Salgo tarde no tengo carro llegar tarde al traba:o

Si deci"os 0. no VaT nadie [ a3lica"os literal"ente la doble negacin eZ3resada en nuestro \ablar coidiano entonces 3odr9a"os asegurar que 0. estan todos Fegacin= \a[ nadie !qu9 estan todos

uia:o en bus o via:o en "i auto, no las dos cosas a la ve^ ois[uncin=via:o en bus via:o en "i auto o lo uno o lo otro

Si "i e"3resa no prod.ce nada quiere decir que "i e"3resa Vproduce todo' Fegacin= [editar] 3roduce nada _roduce todo

C.antiIicadores
vasta a\ora las declaraciones que 3ode"os \acer no dicen cu+ndo son verdades _ara decirnos cuTndo una declaracin es verdad, necesita"os los c.antiIicadores va[ dos 13

cuantiCicadores bTsicos: el c.antiIicador eOistencial, [ el c.antiIicador .niWersal !qu9 estTn los s9"bolos Nombre cuantiCicador universal cuantiCicador eZistencial Notaci+n Se lee _ara todo Z YZiste 3or lo "enos un Z

2as declaraciones cuantiCicadas se escriben en la Cor"a que se leen c3ara todo x, es verdad que pc [ ceZiste 3or lo "enos un y tal que q es verdadc Yn realidad, estas dos cuantiCicadores son iguales, [a que dice lo "is"o que

dice Yn 3alabras, decir cno es 3ara todo x que p es verdadc es igual que decir ceZiste x tal que p es Calsac [editar]

N1emplos
2a deCinicin del l9"ite: [editar]

Teora de n?meros
[editar]

Con1.ntos n.mricos especiales

todos n"eros con la Cor"a p - q cuando el con:unto de los n"eros reales < el con:unto de los n"eros co"3le:os < [editar]

nlisis matemtico
[editar]

Conceptos bsicos
1#

[editar]

nlisis real
[editar]

*mites
_ara decir que el l9"ite de la Cuncin f es , cuando x tiende T a, se escribe: o bien lgual"ente, 3ara decir que la sucesin ;an< va T a cuando n tiende a la inCinidad, se escribe: o bien [editar]

DeriWadas
[editar]
DeriWadas ordinarias

Se deCine la derivada de una Cuncin co"o el l9"ite del cociente del ca"bio en la ordenada [ la abcisa va[ varias notaciones 3ara denotar la derivada de una Cuncin !qu9 estTn unos e:e"3los:

[editar]
DeriWadas parciales

2a notacin 3ara las derivadas 3arciales es igual que 3ara derivadas ordinarias] la diCerencia es que en ve^ de d o -, se escribe [editar]

Xiscelneos
[editar]

9.nciones
_ara decir que una Cuncin f va desde el es3acio X al es3acio Y, se escribe

[editar]

1%

Tabla de Smbolos
Yn "ate"Ttica, eZiste un con:unto de s9"bolos que son Crecuente"ente utili^ados en la Cor"acin de eZ3resiones "ate"Tticas oebido a que los "ate"Tticos estTn Ca"iliari^ados con estos s9"bolos, los "is"os no requieren ser eZ3licados cada ve^ que se utili^an Yn vista de esto, 3ara beneCicio de los "ate"Tticos novatos, la tabla siguiente lista "uc\os de estos s9"bolos co"unes, :unto con su no"bre, 3ronunciacin [ el ca"3o de las "ate"Tticas con el que se relacionan !dicional"ente, la segunda l9nea contiene una deCinicin inCor"al, "ientras que la tercera 3rovee un e:e"3lo breve

1'