Tabla de smbolos matemticos

De Wikipedia, la enciclopedia libre

Saltar a navegacin, bsqueda
Tabla de contenidos
[ocultar]
1 Genricos
2 =
3 :=:
o 31 !rit"etica
# $
% &
' ()*
+ ,-
. /
0 1
o 01 2gica 3ro3osicional
14 5
11 6
12
13
1# 7-
o 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
32 J
33 K
1
3# L
3% = =
o 3%1 Mrdenes 3arciales
3' NO
3+ PQ
o 3+1 Geo"etr9a eucl9dea
3. R
o 3.1 Jo"binatoria
30 S
o 301 !nTlisis Cuncional
#4 == ==
o #41 JTlculo
#1 U
#2 C V
#3
## W
o ##1 Xrtogonalidad
#%
o #%1 8eor9a de re:as
#'
o #'1 Ynlaces eZternos
[editar]
Genricos
Smbolo Nombre se lee como Categora
[editar]
=
igualdad igual a todos
x = y signiCica: x [ y son no"bres diCerentes 3ara 3recisa"ente la "is"a cosa
1 $ 2 = ' & 3
[editar]
:=

deCinicin 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
cos\ x := A1-2BAeZ3 x $ eZ3 A&xBB] A DXI B : AA BB 7AA BB
[editar]
2
ritmetica
Smbolo Nombre se lee como Categora
[editar]
!
adicin "as arit"tica
# $ ' = 14 signiCica que si a cuatro se le agrega ', la su"a, o resultado, es 14
#3 $ '% = 14.] 2 $ + = 0
[editar]
"
substraccin "enos arit"tica
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
signiCica que si se \ace seis 3eda^os uniCor"es de cuarenta [ dos,
cada 3eda^o serT de ta"a`o siete
2# - ' = #
[editar]
(
su"atoria su"a sobre desde \asta de arit"tica
/
k=1
n
a
k
signiCica: a
1
$ a
2
$ $ a
n
/
k=1
#
ka = 1a $ 2a $ 3a $ #a = 1 $ # $ 0 $ 1' = 34
[editar]
)
3roducto 3roducto sobre desde \asta de arit"tica
1
k=1
n
a
k
signiCica: a
1
a
2
)))a
n
1
k=1
#
Ak $ 2B = A1 $ 2BA2 $ 2BA3 $ 2BA# $ 2B = 3 ( # ( % ( ' = 3'4
[editar]
3
*+gica proposicional
Smbolo Nombre se lee como Categora
[editar]

,
i"3licacin "aterial
i"3lica] si
entonces
lgica 3ro3osicional
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
[editar]

con:uncin lgica o intersecci+n

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

dis[uncin lgica o .ni+n en

una re:a
o
lgica 3ro3osicional, teor9a
de re:as
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
[editar]
/
'
negacin lgica 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]
#
*+gica de predicados
Smbolo Nombre se lee como Categora
[editar]

cuantiCicacin universal
3ara todos] 3ara cualquier] 3ara
cada
lgica de
3redicados
x: PAxB signiCica: PAxB es verdadera 3ara cualquier x
n N: na Q n
[editar]

cuantiCicacin
eZistencial
eZiste
lgica de
3redicados
x: PAxB signiCica: eZiste 3or lo "enos un x tal que PAxB es verdadera
n N: n $ % = 2n
[editar]
:
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
[editar]
2 , 3
deli"itadores de con:unto el con:unto de
teor9a de
con:untos
;a,b,c< signiCica: el con:unto consistente de a, b, [ c
N = ;4,1,2,<
[editar]
2 : 3
2 4
3
notacin constructora de
con:untos
el con:unto de los ele"entos tales
que
teor9a de
con:untos
;x : PAxB< signiCica: el con:unto de todos los x 3ara los cuales PAxB es
verdadera ;x = PAxB< es lo "is"o que ;x : PAxB<
;n N : na N 24< = ;4,1,2,3,#<
[editar]

23
con:unto vac9o con:unto vac9o
teor9a de
con:untos
;< signiCica: el con:unto que no tiene ele"entos] es la "is"a cosa
;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
a S signiCica: a es ele"ento del con:unto S] a S signiCica: a no es ele"ento
del con:unto S
A1-2B
&1
N] 2
&1
N
[editar]

subcon:unto es subcon:unto de
teor9a de
con:untos
A B signiCica: cada ele"ento de A es ta"bin ele"ento de B
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
A B A B = B
[editar]
7
interseccin con:untod
teortica
la interseccin de [ ]
interseccin
teor9a de
con:untos
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<
[editar] co"3le"ento con:untod
teortico
"enos] sin teor9a de
con:untos
'
8
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<
[editar]
9.nciones
Smbolo Nombre se lee como Categora
[editar]
: ;
< =
2 3
a3licacin de Cuncin] agru3a"iento de Cunciones
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 =
#
[editar]
f:X,
Y
"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
[editar]
+
N?meros
Smbolo Nombre se lee como Categora
[editar]
N
n"eros naturales F n"eros
N signiCica: ;4,1,2,3,<, 3ero vase el art9culo n"eros naturales 3ara una
convencin diCerente
;=a= : a >< = N
[editar]
>
n"eros enteros G n"eros
> signiCica: ;,&3,&2,&1,4,1,2,3,#<
;a : =a= N< = >
[editar]
5
n"eros racionales H n"eros
5 signiCica: ;p-q : p, q >, q b 4<
31# 5] R 5
[editar]
6
n"eros reales I n"eros
6 signiCica: ;li"
n5L
a
n
: n N: a
n
5, el l9"ite eZiste<
R 6] KA&1B 6
[editar]
C
n"eros co"3le:os J n"eros
C signiCica: lalala;a $ bi : a, b 6<
i = KA&1B C
[editar]
@
ra9^ cuadrada
la ra9^ cuadrada de] la 3rinci3al ra9^
cuadrada de
n"eros reales
Kx signiCica: el n"ero 3ositivo cu[o cuadrado es x
KAxaB = =x=
[editar]
A
inCinito inCinito n"eros
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
[editar]
4 4
valor absoluto 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]
.
Brdenes parciales
Smbolo Nombre se lee como Categora
[editar]
C
D
co"3aracin es "enor que, es "a[or que rdenes 3arciales
x N y signiCica: x es "enor que y] x O y signiCica: x es "a[or que y
x N y y O x
[editar]
E
F
co"3aracin es "enor o igual a, es "a[or o igual a rdenes 3arciales
x P y signiCica: x es "enor o igual a y] x Q y signiCica: x es "a[or o igual a y
x Q 1 xa Q x
[editar]
Geometra e.cldea
Smbolo Nombre se lee como Categora
[editar]
G
3i 3i 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
[editar]
Combinatoria
Smbolo Nombre se lee como Categora
[editar]
H
Cactorial Cactorial co"binatoria
nS es el 3roducto 1(2((n
#S = 2#
[editar]
nlisis I.ncional
0
Smbolo Nombre se lee como Categora
[editar]
44 44
nor"a nor"a de] longitud de anTlisis Cuncional
==x== es la nor"a del ele"ento x de un es3acio vectorial nor"ado
==x$y== P ==x== $ ==y==
1
[editar]
Clc.lo
Smbolo Nombre se lee como Categora
[editar]
J
integracin
integral desde \asta de con res3ecto
a
cTlculo
U
a
b
fAxB dx signiCica: el Trea, con signo, entre el e:edx [ la grTCica de la Cuncin f
entre x = a [ x = b
U
4
b
Za dx = be-3] Uxa dx = xe-3
[editar]
f K
derivacin derivada de C] C 3ri"a cTlculo
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
[editar]

gradiente del, nabla, gradiente de cTlculo

f AZ
1
, g, Z
n
B es el vector de derivadas 3arciales Adf - dx
1
, g, df - dx
n
B
Si f Ax, y, zB = 3xy $ za entonces f = A3y, 3x, 2zB
[editar]
L
derivacin 3arcial derivada 3arcial de cTlculo
Jon f AZ
1
, g, Z
n
B, WC-WZ
i
es la derivada de f con res3ecto a Z
i
, con todas las otras
variables "antenidas constantes
Si fAZ, [B = Za[, entonces Wf-WZ = 2Z[
[editar]
Mrtogonalidad
Smbolo Nombre se lee como Categora
[editar]

3er3endicular es 3er3endicular a ortogonalidad

x y signiCica: x es 3er3endicular a y] o, "Ts general"ente, x es ortogonal a y
[editar]
14
Teora de re1as
Smbolo Nombre se lee como Categora
[editar]

Condo el ele"ento Condo 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:--hhhtcae3coui-science-s["bols-"at\s\t"
-
Xbtenido de c\tt3:--eshiii3ediaorg-hiii-8ablamdemsnJ3n!o"bolosm"ate"
nJ3n!1ticosc
\tt3:--eshiii3ediaorg-hiii-8ablamdemsnJ3n!o"bolosm"ate"
nJ3n!1ticosp:3oY2.0!1:Y2.+0#
\tt3:--"e"bersaolco"-:eCC%+4-"at\s["\t"l
\tt3:--hhhscentacoui-tcae3-"at\s-s["bol-indeZ\t" bueno
11
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
%21 29"ites
%22 oerivadas
%221 oerivadas ordinarias
%222 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
12
3ertenencia Z 3ertenece a !
inclusin ! estT incluido en r - ! estT 3arcial"ente incluido en r ss
! estT incluido o es igual a r - ! estT incluido en r ss
inclusin ! 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 es
cZ no 3ertenece a !c]
[editar]
NOpresiones
Mperaci+n Notaci+n Se lee
igualdad x = y Z es igual a [
"enor que x N y Z es "enor que [
"a[or que x O y Z es "a[or que [
a3roZi"ado Z es a3roZi"ada"ente igual a [
Notaci+n Se lee
cuantiCicador universal 3ara todo Z
cuantiCicador eZistencial YZiste Z - YZiste 3or lo "enos AunB Z
tal que x - y Z, tal que [
3or lo tanto Z [ Z 3or lo tanto [
[editar]
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
13
Jon:uncin 3 [ q
ois[uncin 3 o q
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 , que se lee cp i"3lica [ es i"3licada 3or qc,
o bien cp si [ slo si 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= 3roduce nada _roduce todo
[editar]
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
1#
cuantiCicadores bTsicos: el c.antiIicador eOistencial, [ el c.antiIicador .niWersal
!qu9 estTn los s9"bolos
Nombre Notaci+n Se lee
cuantiCicador universal _ara todo Z
cuantiCicador eZistencial 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]
1%
Conceptos bsicos
[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 ;a
n
< 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

1'
[editar]
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+