Escolar Documentos
Profissional Documentos
Cultura Documentos
de matemticas
LGEBRA
EXTRAORDINARIA
I.M.Yaglom
www.FreeLibros.me
www.FreeLibros.me
www.FreeLibros.me
n o ny jiH P H b iE
j ib k iu ih
no
m atem athke
M. M. flrjIOM
HEOEblKHOBEHHAfl
A J irE B P A
H3flATEJ3I>CTBO
HAyKA
www.FreeLibros.me
I. M. YAGLOM
ALGEBRA
EXTRAORDINARIA
S e g u n d a e d ic i n
Traducido del ruso por Carlos Vega,
Candidato a Doctor en Ciencias fsico-matemticas.
Catedrtico de Matemticas Superior?
ED ITORIAL M IR
MOSCU
www.FreeLibros.me
P rim e ra e d ic i n 1977
S e g u n d a e d ic i n 1983
Ha ucnancKOM statane
IMPRESO EN LA URSS
www.FreeLibros.me
INDICE
www.FreeLibros.me
www.FreeLibros.me
1 .
A LG E BR A
D E LOS NUMEROS
Y ALGEBRA
DE LOS CONJUNTOS
horas e incluso
www.FreeLibros.me
o t b manzanas
ab manzanas
O O O l'O O O O
o o :o
o i o
O O O iO O O O
O 0 0 0 ;0
0 :0
O O O iO O O O
0 : 0 0
a montanas
b manzanas
0 : 0
i
g
manzanas^js^ ^/^^.manzonas
a g ru p a s de manzanas
FIO. 1
F1G. 2
www.FreeLibros.me
a-\-b = b Jr a
loy conmutativa de la
adicin
(fi+ & ) + c = a-|-(6-|-c)
ley asociativa de la
adicin
ab = ba\
ley conmutativa de la
multiplicacin
{ab)c = a(bc)\
loy asociativa de la
miltiplicacin
www.FreeLibros.me
10
m ultiplicacin
?
a -0 = 0
(de aqu resulta, en particular, que no se puede dividir por 0
un nmero distinto de 0). Ahora bien, si en la ltim a igualdad
sustituimos la multiplicacin por la adicin y el cero por el
uno, obtendremos una igualdad extraa
a + 1= 1
www.FreeLibros.me
11
ah + c (a -f- c) (b + c)
con la que nadie, por supuesto, estar de acuerdo. [Como
es obvio que
(a -j- c) (b 4- c) = ab + ac + be + c2 = ab-\-c (a + fc-f-c),
resulta que (a 4 - c) (b + c) = ab 4 - c slo si c = 0 o si
a + b + c 1.1
Pero el lgebra conoce tambin otros sistemas.no num
ricos, en los que tambin se pueden definir las operaciones de
adicin y de multiplicacin ms similares entre s que la
adicin y la multiplicacin de los nmeros. Consideremos,
por ejemplo, el lgebra de los conjuntos que es muy impor
tante. Se entiende por conjunto una coleccin cualquiera de
objetos arbitrarios denominados elementos del conjunto:
se puede hablar del conjunto de los alumnos de una clase
de sptimo grado, del conjunto de los puntos de un crculo,
del conjunto de los puntos de un cuadrado, del conjunto
de los elementos de la tabla peridica de Mendelev, del
conjunto de los nmeros pares, del conjunto de las notas
de los alumnos de una clase, del conjunto de los elefantes
de la India, del conjunto de las faltas gramaticales en tu
composicin, etc. Resulta bastante claro cmo puede defi
nirse la suma de dos conjuntos: entenderemos por suma
A -f B del conjunto A y del conjunto B simplemente la unin
de ambos conjuntos. Por ejemplo, si A es el conjunto de varo
nes y B el conjunto de hembras de tu clase, A + B es el
conjunto de todos los alumnos de tu clase; si A es el conjunto
de todos los nmeros enteros positivos pares y B es el con
junto de todos los nmeros divisibles por 3, el conjunto
A + B
{2, 3, 4, 6 , 8 , 9, 10, 12, 14, 15, 16, 18, 20, 21, 22 , . . .}
consta de unos y otros nmeros; si A es el conjunto de los
puntos del valo sombreado en la fig. 3 horizontalmente y
l ) Si la igualdad a -f 1 = 1 Juese vlida para todo
a, sera imposible restar 1 a cualquier nmero distinto de 1; esto, por
supuesto, es falso; as 3 i = 2.
www.FreeLibros.me
12
{A -\
- B) -f- C A + (B -(- C),
o sea, tiene lugar la ley asociativa de la adicin de conjuntos.
El conjunto (A -f- B) + C (o A -f (B -r C)) se puede indicar
www.FreeLibros.me
13
AB = BA
(vase la misma fig. 5; se comprende tambin que el con
junto AB de los ajedrecistas diestros en natacin y el con
junto BA de los nadadores diestros en el ajedrez es un mismo
conjunto). Adems, es igualmente obvio que para la m ulti
plicacin de conjuntos es vlida tambin la ley asociativa, o sea,
para cualesquiera tres conjuntos A , B y C
( A B ) C = A (BC).
E l conjunto (/15) C o A (BC) se puedo indicar simplemente
por ABC omitiendo los parntesis; representa la parte comn
3-1176
www.FreeLibros.me
14
(A + f)C = AC 4- BC.
En efecto, si A es, digamos, el conjunto de los ajedrecistas
de tu clase, B es el conjunto de los alumnos aficionados al
F I O . (I
www.FreeLibros.me
15
los alumnos que adems saben nadar. Pero est claro que
obtendremos exactamente el mismo conjunto formando la
unin AC + BC deJ conjunto AC de los ajedrecistas diestros
en natacin y del conjunto BC de los aficionados al juego de
las damas que saben nadar.
Es posible que esta explicacin vei'bal de la ley distri
butiva te parezca farragosa. Conviene emplear en tal caso la
re .. 7
www.FreeLibros.me
16
www.FreeLibros.me
17
FIGi 8
sobresaliente y B el conjunto de los ajedrecistas); a los con
juntos formados por nmeros enteros positivos (A puede ser
el conjunto de los nmeros pares y B ol conjunto de los
nmeros primos que no admiten ms divisores que ellos
mismos y la unidad); a los conjuntos compuestos por puntos
que forman figuras pertenecientes a un determinado cuadra
do como las representadas en las fig. 3, 4, 5, 6 , 7 y 8 . En
este caso entenderemos por / el conjunto ms grande que
contiene todos los objetos# considerados: el conjunto de
todos los alumnos de la escuela o la clase consideradas, el
conjunto de todos los nmeros enteros positivos o bien el
conjunto de todos los puntos del cuadrado (fig, 9). En el
lgebra de los conjuntos este conjunto I lleva el nombre de
unitario o universo. Es obvio que para cualquier conjunto
menor A (e incluso para el conjunto A que coincide con I)
tendremos
AI = A
www.FreeLibros.me
18
A + / = /.
En efecto, el conjunto es, por definicin, el ms grande
y, por eso, es imposiblo aumentarlo ms: cualquiera que sea
al conjunto A (tomado entre los conjuntos considerados) que
agreguemos al conjunto unitario /, siempre obtendremos
el mismo conjunto I .
Adems, al sustituir en la ley distributiva ( -|- b) c =
= ac + be la adicin por la multiplicacin y viceversa, he
mos obtenido la igualdad absurda ai + c = (a + c) x
X {b + c) que para los nmeros resulta casi siempre falsa.
En el lgebra de los conjuntos la situacin es otra: aqu
siempre (o sea, para cualesquiera conjuntos A, B y C) tiene
lugar la igualdad
A B -I- C = (A -}- C) (B + C)
que expresa la segunda ley distributiva (la ley distributiva de
la adicin respecto a la multiplicacin) del lgebra de los
conjuntos. En efecto, sean de nuevo A el conjunto de los
ajedrecistas, B el conjunto de los aficionados al juego de las
damas y C o conjunto de los nadadores de tu case. En tal
caso es evidente que la interseccin AB de los conjuntos A
y B comprende a todos los alumnos diestros tanto ene! aje
drez como en el juego de las damas y que la unin AB + C
de los conjuntos AB y C consta de todos los alumnos que son
www.FreeLibros.me
19
KIG. O
www.FreeLibros.me
20
A -f A = A
AA A .
u a = a U a
y n t f = i ? r i ' 4;
leyes conmutativas
(/l U i) U C = A U ( II C) y [A n B ) fl C - A fl
loyos asociativas
www.FreeLibros.me
0 C);
21
[A + C) <B + C) = AB -I- C\
por ejemplo, aqu
(A + D ) ( B + D ) (C + D ) = [(A + D) (B + >)] (C + D )
= (AB + D) (C + D) = (AB) C + D = ABC + D.
Por ltimo, resultan totalmente nuevas paro nosotros las
leyes idem potentes
A A
AA = A
A + A -f-. . . + A = A
A-A-,..-A = A-,
n veces
as,
n veces
por ejemplo,
(A + B ) ( B + C) (C + A) =
= ABC + A AB + ACC + AAC + BBC + ABB +
+ BCC + ABC = (ABC -f ABC) + (AB + AB) +
-|- (AC -f- AC) + (BC + BC) = ABC + A B + AC + BC
(c o m p ara
con el e je rc ic io
A U 0 =
6 que v ie ne a c o n tin u a c i n ).
Ay
A r\ = A,
a n 0 = O;
{A u b ) n c = (a n c) u (b n o
(a n > u c =
= (A U C ) ( l ( f l c );
leyes distributivas
A \
1 A = A y A [\ A = A .
leyes idempotentes
www.FreeLibros.me
22
E.tEHCICrOS
1.
2.
(A -f B)(A + C) (B + /;) (C +
A (A -f B) = A .
D) = AL> + fC .
3. AB + A = A.
<u A (A -f C) (B -f C) =
5.
A (A -f J) (B -f O) =
6. (A +
B)
B)
7. (A +
8. {A +
B)
9. (A -f
B)
10. (A -f B + 6') (b +
BD -f- C.
AB -f AC.
AB.
(B -f C)(C+
(B+ O (C+
(A-f /) +(A
(B-f 1)(A+
C + D) (C -f +
A) =
AB
+
C C
D) =
AC
+
BC +
+ B)
(B + O) = A+ B .
O) =
A.
A) = A B -f AD +
Ejemplo:
A[A + C ) ( B + 0
=>
2a iey
d lsiiiliu tlvo
l<jy asociativa do la
multiplicacin
A(AB + C)
I |ey
distributiva
ley conmutativa do tu
m ultiplicacin
(AB)A + CA
= (AA)B-\-AC
A[(A + C) (Z + C)I =
(AB-\-C) A =
ley idumpotcn<e de la
m ultiplicacin
A B + A C.
2.
ALGEBRAS
DE BOOLE
Reunamos todas las leyes del lgebra de los conjuntos que
conocemos basta el momento
A -) B = B + A
y At = BA\
leyes conmutativas
(A -| B) 1- C = A + (B + C) y (AB) C = A ( BC );
leyes asociativas
www.FreeLibros.me
23
{A + B) C = AC + BC
y AB + C = (.4 + C) (B + C);
leyes distributivas
A -f- A = A
yA A = A.
leyes idempotentos
Adems, en el lgebra de los conjuntos existen dos elemetilos (conjuntos) especiales O c I tales que
A + O A
I I
A I = A;
AO = O.
www.FreeLibros.me
ti
_u_ , b __ ad-f-hc
c 'd
cd
a
c
b __ ab
d
cd
www.FreeLibros.me
26
0
1
0 0
0 1
0 1
1 1
a, b y c,
aa = a
par cualquier a,
www.FreeLibros.me
20
(a + 6) c = ac + be y ab + c = (a + c) (b
para cualesquiera
a, fe y c.
c)
(1-1) + ( M ) = 1 + 1 = ;
(1.1) + 1 = 1 + 1 = i
y
(1 + 1 ) .( 1 + 1) = M = 1.
Finalmente, si convenimos en asignar al nmero 0 el papel
del elemento O de nuestra lgebra y al nmero 1 el papel del
elemento /, tendrn lugar tambin las reglas referentes a los
elementos especiales O c /: siempre (o sea, para a = y
para a = 1)
a -f- 0 = a y a-i = a\
a + 1 = 1 y a-O = 0.
0 P
0 p <1 1
0 P
p P
<7 1
1 1
1 1
1 i
Q i
1 1
0
0
0
0
p
Q
1
P
<i
1
0 0 0
p 0 p
0 C1 <!
p ? 1
>) c = ac + be y
ab
c = (a -1- c)(b -f- e)
para cualesquiera a, b y c;
www.FreeLibros.me
27
0 - 1 1 1
3 2
1
3
1
2
2
3
1
3
i
2
T
1
3
i
3
1
2
2
3
1
0
2
1
-27T -S- 1
2
3
1
0 1
0 1
-i 1
2
0 1
v 3
i
2
i
3
3
3
www.FreeLibros.me
28
x y = mx lz, t/]
XQy
O-------- o -----------------o---- o
x
y
K1C. II
segmento horizontal do longitud 1, la suma x 0 y de dos n
meros x e y por aqul de los puntos x o y que se baila a la
derecha y el producto x <8> y por el punto situado a la izquier
da (fig. 11).
Est claro que nuestras nuevas operaciones de adicin y
multiplicacin satisfacen las leyes conmutativas:
x @y= y x
x y = y 0 x
yZ
xy-y/s*yz
FIG . 12
(x y) z o x
sin los parntesis12). No menos claro
tienen lugar aqu:
x x = mx [z, x] x y x x = mn [x , *1 = x.
www.FreeLibros.me
29
(x y) z (x z) <8> [y z).
o
y
z
x@y
o
x
)i
fxy;z=rxzj(y z>
y z
xy=xz
o >o
o
........ o1
y
%
2
(a)
11
(b)
FIG . 18
xy
oto
y
(xy>@z.=(xz)cy7.>
<x y)=rxz.)<yz;
x@z = yz
xy*=xz
yz
o
'O------ 1/ o o
-- o
o-1/
t
z
z
x
y
(b)
fa)
r iG . 14
www.FreeLibros.me
30
x 0 = mx (*, 0] = i y 1 = mn (x, 1 i = x\
x 1 = mx \x, 1] = 1 y i 0 = mn \x, 0] = 0.
Ejemplo 4. Algebra de los mnimos mltiples y los mximos
divisores. Sea N un nmero entero positivo cualquiera; tome
mos como elementos de nuestra lgebra nueva todos los posi
bles divisores del nmero N\ por ojemplo, si N = 210 =
= 2-3-5-7, Jos elementos del lgebra considerada son los
nmeros 1, 2, 3, 5, 6, 7, 10, 14, 15, 21, 30, 35, 42, 70, 105
y 210. La adicin y la multiplicacin de nuestros nmeros
las definiremos ahora de una forma completamente nueva:
entenderemos por suma m n de los nmeros m y n el
m nim o comn m ltiplo de los mismos, o sea, el menor n
mero entero (positivo) que es divisible por ambos nmeros
m y n; tomaremos como producto m n de los nmeros m
y n el mximo comn divisor de estos nmeros, o sea, el
mayor nmero entero que divide a m y a n. Por ejemplo, si
jV = 6 y nuestra lgebra contiene solamente cuatro nmeros
1, 2, 3 y 6, la adicin y la multiplicacin de los nmeros
vienen dadas por las tablas siguientes:
2 3 6
<8>
1 2 3 6
1
2
1
2
3
6
2
2
B
6
3
6
3
G
i
2
3
G
t
t
1
t
3
6
f.
G
f.
G
1
2
1
2
1 1
i 2
3 3
3 G
www.FreeLibros.me
31
m n = [m, re]
m re = (ret, re).
m n = n <S> m.
Adems, aqu
(re re) p = m (re p)
m re = [re, m] = m
www.FreeLibros.me
32
y
(10 105) (14 105) = [(10, 105), (14, 105)J =
= [5, 71 =- 35.
Anlogamente, el nmero
(m n) p = [(m, n), p]
es el mnimo comn m ltiplo del nmero p y del mximo comn
divisor de los nmeros m y n\contiene aquellos factores primos
(y slo aquellos) que figuran en la descomposicin de p o
bien en la descomposicin de ambos nmeros m y n (o, posi
blemente, en la descomposicin de p y en la descomposicin
de ambos nmeros m y n). Pero estos mismos factores exacta
mente contiene tambin el nmero
(m jo) <8> (n p) = ([m, p], [n, p])
y, por oso, siempre
(m n) p = (m p) (n p).
Por ejemplo,
(10 <8 14) 105 = 1(10, 14), 105] = 12,1051 = 210
y
] = m
m N => (m, N) m\
m N = |m, N] N
m 1 = lm,
1 = (m,
1) = m
www.FreeLibros.me
33
www.FreeLibros.me
34
EJERCICIOS
1.
Comprueba directamente que para todas laa ternas do elemen
tos del lgebra de Boole de los dos nmeros (ejemplo 1, pg. 25)
son vlidas ambas leyes distributivas.
www.FreeLibros.me
35
tnn
],
|}=m x
{m m [|, 1 ],
"[f {]}
mx { rn n [ i ? - | ] , l } ^ m m { m a x [ l , ] , m x f l
1] } ,
y
{(12, 30). 8| = (112, 81, [30, 81).
5. a) Forma la tabla de samar y Ja tabla de multiplicar para
el lgebra de Boole de los tros nmeros 0, y 1, dondo x y =
= mx [*, y) y x y = m n U, yl; comprueba que en esta lgebra
se cumplen las leyes del lgebra de Boole.
b) Forma la tabla de sumar y la tabla de multiplicar para
el lgebra formada por los divisores del nmero 12, donde m n
= lm , ni y m n (m, ); comprueba que en osta lgebra so cum
plen algunas de las leyes del lgebra de Boolo.
C*. Supongamos que la descomposicin en factores prunos de
un nmero N (entero positivo) es de la forma
K ";
www.FreeLibros.me
36
=
donde 0 4 a,
- />**,
A u 0 < a2 ^ A t , . .
0 <.
41 h< i'
3.
OTRAS PROPIEDADES
DE LAS LGEBRAS DE BOOLE:
P R IN C IP IO DE DUALIDAD;
IGUALDADES Y DESIGUALDADES
BOOLEANAS
Prosigamos ol estudio del lgebra extraordinaria que he
mos denominado lgebra de Boole. Ante todo, salta a la vis
ta el paralelismo completo que existe entro las propiedades
de la adicin booleana y de la multiplicacin booleana: es
tas propiedades son tan similares que en toda frmula (co
rrecta, por supuesto!) del lgebra de Boole se puede sustituir
la adicin por la m ultiplicacin , y viceversa; la frmula seguir
siendo vlida. Por ejemplo, en el lgebra de Boole e cumple
la igualdad
A (A + C) (B + C) = AB + AC
como lo hemos demostrado anteriormente (vase el ejemplo
considerado al final de los ejercicios del 1, pg. 22). Susti
tuyendo en esta igualdad la adicin por la multiplicacin,
www.FreeLibros.me
37
A + AC + BC = {A + B) {A + C)
que tambin es vlida (vase el ejemplo de la pg. 38). Slo
debe tenerse en cuenta que si en una igualdad del lgebra de
Boole figuran los elementos especiales O e /, al sustituir la
adicin booleana por la multiplicacin booleana, y viceversa,
deberemos sustituir el elemento O por I y el elemento I por O.
Por ejemplo, es vlida la igualdad
{A + B) (A + /) + (A + B) (B + O) = A + B
(vase el ejercicio 8 de la pg. 22); de aqu resulta que tam
bin tiene lugar la igualdad
(.A + B) (B + C) (C + A) = AB + BC + CA
so transforma en la igualdad
AB +
quo
BC + CA = [A + B) (B + C) (C + A )
(A + B ) ( B + C) (C + D ) = AC -h BC + BD
se transforma, al sustituir la m ultiplicacin por la adicin, y vice
versa, en la igualdad
A B + B C + CD = [A + C) {f + C) (B + D)
que slo insubstancialmente difiere da lo inicial (se transforma en la
iuicial al sustituir la lotra B por la letra C y la letra C por la letra B).
www.FreeLibros.me
38
A+AC+fC
A + (A C+ B C )
lt.*y asociativa
de la adicin
A-\-(A-\-B)C
1H ley
distributiva
(A-\-B)C-\
ley co nm u ta U va
de la artice n
= \(A-\-li)
iey
diylributivM
K-4 H*
4 B\ M 4-
de In rflciflii
(i4 + * ) ( 4 - C )
lev ((impotente do 1
adicin
7T + B - B
0 ^ 1
AR~-\-B.
Adems,
1 = 0,
www.FreeLibros.me
39
www.FreeLibros.me
40
y que
A-\-=I
A-0
A+B=AB
<e)
(b)
r e . i
www.FreeLibros.me
41
T+
^ J
b.
AB^A+B.
Sealemos ahora el significado de la operacin raya en los
dems ejemplos de lgebras de Boole considerados anteriormente.
As, en el lgebra de los dos nmeros (ejemplo 1 de lo pg. 25)
5= 1
1 = 0.
0 1
0 0 1
i l 1
= 1 t = o
y
=i
1=0
0=1, P q, q = p
y l"=0.
4- 0 p ? 1
0
0 p <7 1
o = i p=<r g = p T =o
0=1
p p p \1 y TP9
< 7 1 q 1
1
l i l i
<J=- P
1=0
www.FreeLibros.me
42
xy=-x&y
z<8)j=.t@4,
-- *-------- o----- 1;
i
7
p a. 17
x > y (por qu?). Por eso si los elementos del lgebra son todos los
nmeros x tales que 0
x 4 1 podemos poner, por ejemplo,
x = 1 x;
Ti i,
i= o
y
x x.
Por supuesto, lienen lugar tambin las reglas de Morgan
x / = x y
x {/ = x /
x y * y
xy
xy
x & y .= x y
01 o--- o--*--o--- o lf
y
x 1
y
2 x
'
010-o-----*----o--O-il
7 y
i2
y x
o)
!>)
F IO . |8
www.FreeLibros.me
43
m n I m, n]
JV
m
por ejemplo, en el caso analizado anteriormente en el que N = 210
1=210, 2 = 105, 3 = 70, 5 = 42, 6 = 3 5 , 7= 3 0 f
10 = 21, 14=15, 15 = 14, 21 = 10, 30 = 7,
35 = 6, 42 = 5, 70 = 3, 105 = 2, 210= 1.
l = N
- l.
i= i 0 #
m n = m n;
por ojomplo,
6 21 = f6 , 21] = 42,
8 21 = 35<g) 10 = (3 5 , 10) = 5
42 = 5
y
G 21 = (6, 21) = 3,
(5 2 = 3 5 10=|35, 10] = 70
3 = 70.
A (A -|- C) (B 4 C) = A B -f AC.
Aplicando a ambos miembros de esta igualdad la operacin
raya, obtenemos
A (A + C) {B 4 C ) = A B + A C .
= A { + C ) 4 B + C '^ 4 J 4 C 4 B C = A 4 AC 4 BC
www.FreeLibros.me
44
AB + AC AB-AC = {A + B) (A + C).
Do este modo, tenemos en definitiva
A + AC + BC = (A + B) (A + C)
dual de la igualdad inicial.
Es as cmo de las propiedades de la operacin raya
(y, en primer lugar, de las reglas de Morgan) resulta el prin
cipio de dualidad. Slo no debemos olvidar que si la igualdad
inicial comprende los elementos especiales O o I , entonces,
debido a las igualdades,
0 = 1
r= o ,
A (A + /) (B + O) = At
(vase el ejercicio 5 de la pg. 22), obtenemos
A (A + I ) ( B + O ) B
o, puesto que
_
A B = *A + B ,
la igualdad
i + A O + B I = A-\-B.
Pero la ltim a igualdad (en la
te a la siguiente
A -t* AO
+
B A -j- B
que se obtiene de la igualdad iuicial al sustituir la suma por el produc
to, y viceversa, as como el elemento O por el elemento / , // viceversa.
www.FreeLibros.me
45
F1G. Ifl
www.FreeLibros.me
46
A => B
zd
C,
entonces
A r> C
A zd B
zd
A,
entonces
A B,
B, entonces A cz B
www.FreeLibros.me
47
K IG .
22
F IG . 23
A id O
www.FreeLibros.me
48
A -f B zd A
AB cr A
(fig. 23).
Sealemos el signiiicado de la relacin
en Jas dems lgebras
de Boole que conocemos. En el lgebra do los dos nmeros (ejemplo 1
de la pg. 25) esta relacin se establece mediante la condicin
1= 0
y en el lgebra de los cuatro nmeros (ejemplo 2 de 18 pg. 26) me
diante las condiciones
lrs,
i => p,
1 ^
9,
p =
<; id 0
www.FreeLibros.me
49
AB + AC -f AO cz A + B + C.
Para demostrar el principio de dualidad, basta aplicar la opera
cin raya a arabos miembros de la desigualdad inicial. As, de la
ABC y de la
validez de la desigualdad (^ _ + B) (A + C) (4 4 /)
regla si A zd B , entonces A a B , se deduce que tambin es vlida
la desigualdad
(A + fl)(il + C) (A-\-) c: ABC.
Pero, en virtud de las reglas do Morgan y tenioudo on cuenta que
1 = 0 , obtenemos
ABC A 4 B
C.
AB + C + A O cl A + B + C.
Pero como aqu A , B y C son arbitrarios, so pueden designar simple
mente por A , B y C. De esto modo llegamos precisamente a la desigual
dad
A B + AC + A O c l A + B + C
dual, en el sentido explicado anteriormente, do la inicial.
EJERCICIOS
(/1 4fi></143 ) = ;
b)
c)
ABC A B A C IO ;
d)*
A + B=A-\-B.
www.FreeLibros.me
50
+U+
nmero
A 4- A = I y A A U?
8.
Demuestra la* siguientes desiguaIdades del lgebra
conjuntos:
a> A-\~B-\-L z?
D) (^-j- );
b) ( 4 4 l.i) U 4 < ) (H J) zd ABC-,
<)
(1)
A + IS^>AB + A.
www.FreeLibros.me
de los
51
b)
AB;
c) A + B\
d)
B.
4.
CONJUNTOS Y PROPOSICION ES;
LG EB RA
DE
LAS PROPOSICIONES
C = {+ ,
www.FreeLibros.me
x,
:}
52
www.FreeLibros.me
53
j a
O la I ^ O a @ fe
fc.
{a ^a
a- o e/emento 6 um quadrltam"
FIG . 2*
www.FreeLibros.me
54
a b.
Habr que considerar iguales entonces todas las proposi
ciones idnticamente verdaderas (o carentes de contenido), o
sea, las proposiciones que son verdaderas siempre, independien
temente del elemento del conjunto / que se considere; as,
son idnticamente verdaderas las proposiciones 2 X 3 = 6,
el alumno de tu clase es uri varn o una hembra, la estatura
del alumno no pasa do 3 metros, ele. Designaremos todas
las proposiciones idnticamente verdaderas por la letra i.
Tambin consideraremos iguales todas las proposiciones
idnticamente falsas (o contradictorias) que no tienen nunca
lugar, o sea, las proposiciones cuyo conjunto de verdad es
vaco. Como ejemplos do tales proposiciones, que designare
mos por la letra o, pueden servir las siguientes: 2 x 2 = 6 ,
el alumno de tu clase sabe volar, su estatura pasa de los
4 metros, el nmero es mayor que 3 y menor que 2.
La relacin existente entre los conjuntos y las proposicio
nes permite definir para las proposiciones unas operaciones
algebraicas especficas similares a las introducidas anterior
mente para el lgebra de los conjuntos. A saber, denominare
mos suma dedos proposiciones a y b la proposicin cuyo conjun
to de verdad coincide con la suma del conjunto de verdad A
de la proposicin a y del conjunto de verdad f de la proposicin
b\ designaremos esta proposicin por el smbolo a + bl).
Pero sabido es que la suma de dos conjuntos es sencillamente
la unin de todos los elementos pertenecientes a ambos con
juntos; por eso, la suma de las proposiciones a y b es la
proposicin a o bi>. donde la conjuncin o significa que es
verdadera la proposicin a o la proposicin b o bien ambas
a la vez. Por ejemplo, si la proposicin a roza es aficionado
at ajedrez y on tu clase a esta proposicin le corresponde el
l) Kti la Lgica Matemtica I surnn de dos
proposiciones a y b Rule denominarse disyuncin do las mismas y re
presentarse por el smbolo a V f> (compara con la designacin .4 (J t
de la suma de los conjuntos A y D),
www.FreeLibros.me
55
conjunto de verdad
c- { @ o
c v d - "o elemento redondo OU miado
f ig .
25
e/emento
redondo raido
c a "o
www.FreeLibros.me
56
a + b = b + a,
ab ba;
(ab) c = a (be);
(a -f b) c ac -\
- be,
a + a = a,
aa = a.
a 4 " o = a,
a + i = i,
ai a\
ao o.
www.FreeLibros.me
57
A B + C = (A + C) (B + C ).
Por consiguiente, los conjuntos de verdad de las proposiciones ab
c
y (a -J- c) (6 + c) coinciden; pero esto significa precisamente que las
proposiciones ab + c y (a + c) (b + c) son iguales. (Vase tambin
La pg. 18 donde hemos sealado que las proposiciones es aficionado
al ajedrez y al juego de las damas o a la natacin y es aficionado
al ajedrez o a la natacin y tambin es aficionado al juego de las
damas o a la natacin tienen el mismo sentido, o sea,
ab + c (a + c) (6 + c),
donde las proposiciones a, b y e significan, respectivamente, es afi
cionado al ajedrez, es aficionado al juego de las damas* y ea aficio
nado a la natacin.)
www.FreeLibros.me
58
8lo P O
b- "o elemento \ O um tringulo"
a = a\
a-\-u i
a 0 ;
o= i
i o;
a-\-b ah
ab = a + l>.
www.FreeLibros.me
50
ab;
b) ab;
g) ab;
c) 7 + 6 ;
d) a-|-&;
e) "s + i;
h) a 6?
e)?
ab;
b) a +6;
c) ab;
d) ab\
e) a-J-ft?
a-|-6
b) S
y
y
a b;
tf+'V
www.FreeLibros.me
60
5.
LEYES
DEL PENSAMIENTO
Y
REGLAS
DE LA DEDUCCION
www.FreeLibros.me
61
aa = o
lleva el nombre de ley de la contradiccin', esta ley establece
que las proposiciones a y , o sea, a y no a, jams pueden
tener lugar simultneamente, es decir, que el producto de
estas proposiciones es siempre falso. Por ejemplo, si un alum
no estudia en sobresaliente, la proposicin no estudia en
1)
Empero, no quisiramos que el
de aqu la conclusin do que el lgebra elemental de las proposicio
nes, a la que est exclusivamente consagrado este folleto, representa
ya el aparato que permite construir mquinas computadoras comple
jas o plantear ios problemas en forma tal que la solucin de los miamos
pueda ser ya confiada a lafi mquinas electrnicas.
www.FreeLibros.me
62
a a
se denomina ley de la negacin doble; establece que la negacin
doble de una proposicin equivale a la proposicin inicial.
As, la negacin de la proposicin es par, referente a un
Dmero entero, es la proposicin es impar; la negacin
es no impar de esta ltima proposicin nos haco retornar
a la proposicin inicial sobre la paridad del nmero. De un
modo anlogo, la negacin doble no es un alumno que no
tiene buenas notas de la proposicin acerca de que el alumno
tiene buenas notas equivale a la proposicin inicial tieno
buenas notas.
No es menor la importancia que tienen las reglas de
Morgan
a-\-b=>ab
ab a-\-b
{a + b) c ac -f be
ab 4- c (a 4 - c) (b 4- 0
aa = a,
www.FreeLibros.me
63
A => B .
Por ejemplo, puesto que el conjunto B de los alumnos de tu
clase que estudian en sobresalionte est contenido obviamente
en el conjunto A de todos los alumnos que tienen buenas no
tas, resulta que la proposicin a: el alumno de tu clase tiene
buenas notas en todas las asignaturas es corolario de la
proposicin b: el alumno estudia en sobresaliente. De un
modo anlogo, el conjunto
A , = {6 , 12, 18, . . .}
de los nmeros (enteros positivos) divisibles por (i est con
tenido en el conjunto
www.FreeLibros.me
64
F IG . 27
cd
a;
por eso
c ra b
o en otras palabras: si las diagonales de un cuadriltero se
cortan en el punto medio de ambas, sus ngulos opuestos son
iguales.
Detengmonos finalmente en el empleo de la regla asi
a
b, entonces b => a. Esta regla es la base de las as llama*) La regia a j 3 o, enfonces a = 6t
se opuncia a voces as: si b es condicin necesaria y suficiente para a,
las proposiciones a y b son equivalentes (desde nuestro punto de vista,
iguales o dniions).
a) E esto caso tenemos incluso a 3 b y b z> a,
o sea, a = b.
www.FreeLibros.me
05
a zd b
que es lo que queramos demostrar*).
EJERCICIOS
i.
Enuncia verbalmente las reglas de Morgan a + 6 = ab y
ab s= a + b del lgebra de Jas proposiciones.
l ) Ms preciso es el razonamiento siguiente: de la
relacin demostrada b zd a se deduce quo () :z> (6) o "a n ; pero,
como en virtud de la ley de la negacin doble a = a y 6 = b, tenemos
a zd b.
www.FreeLibros.me
60
PROPOSIONES
^ CIRCUITOS DR CONTACTOS
www.FreeLibros.me
67
A,
8^
A+B
V
b)
0}
FIO. 29
+ .A =
4 .f?. 4
U 4 8) 4 < =
4 {* + <6)
U M ) % = ^ (.9?)
= 3(W
(= J + & 4 ),
( = f $ r)
4 .-A A*
^ 4 ? = U 4
?) (# + #);
sin embargo, tambin tienen lugar estas leyes como puedo verse de
las figs. 31 y 32 (es fcil comprobar que el circuito representado en la
fig. 31, a es igual, en nuestro sentido, al circuito de la fig. 31, b
y que el circuito de la fig. 32, a es igual al circuito de la fig. 32, 6).
Convengamos, finalmente, en designar por y el contacto siempro
cerrado (soldado; fig. 33, a) y por O el contacto siempre abierto
(ruptura delcircuito; fig. 33. b). Es evidente entonces que
(fig. 34) y que
j 4 = J
JO = A
<4 4 CJ = y
<4 = (i)
www.FreeLibros.me
68
C,
-/8C
/1+0+C
cr o-
(W
(a)
FIG. So
o f- o f.
J= G .
= J.
www.FreeLibros.me
69
A<AQ
.A 3) =
+
<8.
pero tambin ellas tienen lugar aqu (vase la fig. 38, a y b, donde
as secciones de circuito
-f 3 y a i +
se determinan, digamos.
l ---00
---- o0 o-
(B)
(t>)
FIG. 33
(b)
M
F IG . 35
rf = n)c+a6c.
www.FreeLibros.me
70
B^/1+B
+B^AB
(>)
<b)
F IO . 38
www.FreeLibros.me
71
B
>
A b c
a b c
A ( B C + B C )
F IG . 39
- I-
c
\
'ir
l'IC . 40
www.FreeLibros.me
72
>
A B + A B
ir
F IG . ( I
ab
a b.
c = ab-\-a b
www.FreeLibros.me
73
o
2) ol contacto f est cerrado, y el contacto
osla cerrado, y ol
www.FreeLibros.me
74
%d=
(. f' H- &c)
Empleando la igualdad
la propiedad del contacto J L-/fO
e,
81
= <^i ^ 2 (f''c-S&d+ ^ j )
Es fcil persuadirse do cmo debe realizarse tcnicamente se
mejante circuito (fig. 42).
E J E R C IC IO S
abc-\~al>+a;
c)
d) (a + 6) (a + 6)-|-a> + <t b.
2. Representa los circuitos do contactos que corresponden a las
proposiciones
(o + c) (b + c) (a -J- d) (6 -f- <)
ab -f- cd
www.FreeLibros.me
75
www.FreeLibros.me
76
APNDICE
DEFINICION
DEL
LGEBRA DE BOOLE
Se denomina lgebra de oole un conjunto arbitrario de ele
mentos a , (5, y, . . . para los cuales estn definidas dos operaciones,
adicin y m ultiplicacin, quo ponen en correspondencia a cada par
a y p de elementos la suma a -f- P y el producto aP de los mismos*);
est definida la operacin raya que hace corresponder a cada elemonto a un elemento nuevo a 3); existen dos elementos especiales
o o i y se cumplen las reglas siguientes:
Reglas referentes a la
operacin de adicin
1 ) a- fp
Reglas referentes a la
operacin de multiplicacin
1a ) ctf} = a ;
leyes conmutativas
12 a) (ap)Y = a(pY);
leyes asociativas
(3a) a a = a.
leyes idempotentes
2 ) (a-fP) + 7 = a + (p + Y),
3) a - f a a ,
4) ( 4 P)Y = V + PV
leyes distributivas
Reglas referentes a los elementos o y i
5) a + o = a,
5a) cu = a;
6) a + 1 = 1 ,
6a) ao o.
www.FreeLibros.me
77
8 ) o = t,
) 8 a) 1 = 0 .
| 9a) ap = a-f-p.
reglas do Morgan
D a;
si a 3 p y P zd a , entonces a = p;
si a = p y p
7 , entonces a => v;
=> a y a o o;
a + P ^ a y a a aP;
si a o p. entonces p o a
([dedcelas!). Es ms, en la definicin del lgebra de Boole se puede
no exigir la presenciade una de las operaciones de adicin ode m ulti
plicacin, exigiendo slo la presencia de la otra oporacin y de la
operacin raya; por ojomplo, teniendo las operaciones adicin
y raya*, podemos definir la multiplicacin mediante la regla de
Morgan
a'p=cc-j-{T.
Sin embargo, la presencia de las operaciones de adicin y de m ulti
plicacin nicamente (sin la operacin raya) no determina an
el lgebra d Boole.
La definicin del lgebra de Boole dada ms arriba es poco eco
nmica: muchas de las propiedades enumeradas pueden ser dedu
cidas de las otras, de modo que no es indispensable exigir uue se
cumplan. Esta definicin tampoco es la nica aceitada en la litera
tura: en varios libros y artculos, a las reglas principales (o axiomas)
del lgebra de Boole se agregan adems las siguientes:
110a) a a = o .
www.FreeLibros.me
78
RESPUESTAS
Y SUGERENCIAS A EJERCICIOS
1
1. (A + B) (A + C) (D + D)(C + D) =
- [<B 4 /I) (C 4 )H (B 4 D) (C 4 )] =
= (BC 4 A) (BC 4 D) = (A 4 BC) (D + BC) = AD + BC
(aqu se utiliza la segunda ley distributiva).
2. A {A 4 B) - AA 4 AB A 4 AB A I + B =
= A (/ 4 B) =
= 4.
5. >1 (/) 4 /) (B 4 O) = A -I-B = AB.
6. (A + B) (B + C) (C + A) = ABC + AB + AC + BC =
= ABC 4 5 / 4 C 4 BC /IB (C + I) 4 AC + BC =
= B / 4 .4C + BC = AB 4 BC 4 CA
(vase la identidad demostrada en la pg. 21).
7. [(/* + B) (B 4 C)i (C + D) = (AC + B) (C 4 D) =
= AC 4 vtCD 4- BC 4 BD - AC + BC 4 BD.
10. [ U + S + C ) ( 4 C 4 B ) l ( C + /) + /l) =
= [AD 4 (B 4- C)] (C 4 D 4 A) =
[(AD 4 B) 4 C} [ a 4 )) 4 C] =
= (AD 4 B) (4 4 D) 4 c = i4D 4 AD 4 AB + BD + C =
= AB 4 AD 4 BD 4 C.
2
4 0 i
0 0 /
; I /
0 0 0
/ 0 1
0 P C r
b) 4
0 /
0 0 P C i
P p p I r
C C / c i
I I I I /
,
0
p
C
I
0 P c /
0
0
0
0
0
P
0
P
0
0
C
C
m, ] = *>,
Pt
1 l p.{
c
I
mxfa,,, &,,]
2 2 . . . ph
m u [a ., 6 . ] m iu [a ,., t>_]
(m, )=-Pj
0
P
k h;
in ln ja ,
2 ...p A
www.FreeLibros.me
!>.]
11 h\
79
3
1. AB 4 AC 4 BD 4 CD = (A 4 D) (B + C) (vase ol ejer
cicio i del 1); A + AB = A (vase el ejercicio 2 del 1); AB +
+ BO 4 A I = A (vase el ejercicio 9 del 1); ABC 4 BCD 4
4 CDA = {A + B) (A 4 D) (B 4 D) C (vase el ejercicio iO de!
1).
2. a) (A + BHA + B )= A A + AB + BA + B B **A + A B + B A + 0 = *
= A + BA-\-BA = A (B + B) A = A +1A=* A + A = A\
b) AB+(A + B)(A-{-B)=zAB-\-A+B+BA-{-BB =
= AB 4 0 4 A B 4 B A + O = AB + AB+ BA^=(A B 4 AB) 4 ( d f f 4 B) -=
A(B-\-B)-\-{A+) B A I + IB = A-\-B;
c) ABCBAC = ( i " 4 B 4 C) ( + B) AC = [</i4 B) 4 Cj (/14 B) AC =
- A (4 4 2?) AC 4 B (A 4 B) AC 4 (A + B) (CC) =
= (AAj (/14 5) C 4 [5 (A) C 4 {BB) AC] 4 ( + B) O =
= O (X + B) C + [BOC+O AC] 4 O = Q\
d) A + B = A + I B = A + { A + A ) B = A + A B + A B =
= (A I+ A B ) + AB = A {I-\-B)-\-B
= A{
AB =? A-\-AB.
m n (m, n) = /?m5rl ^a
y m=
= p-1~a.
r\ m n4i-air)A2~2
,,Ak~ah
?
V Pl
P2
'"Pk
www.FreeLibros.me
80
8.
a) (A -1- B) (A + C) = A -f- A C + A B + BC =
= A I + A C + A B + BC = A (/ -f C + B) + B C =
= A I + BC = A + BC <= A + B c A + B + C\
1.) (A + B) (A + C) (A + /) = (A + B) {A + C) I =
= {A + B) (A + C) A + BC => A z=> ABC
4
5.
a) el nmero entero positivo es par y os primo; el conjunto
do vordad es (2>; b) el nmero entero positivo os im par o e3 primo;
ol conjunto do verdad {1, 2, 3, 5, 7, 9, 11, 13, 15, 17, . . .} difiere
del conjunto de los nmoros impares en que se ha agregado el nme
ro 2; c) el nmero entero positivo es im par y es primo); el conjunto
de verdad (3, 5, 7, 11, 13, 17. 19 ,. . .} difiere del conjunto de todos
los nmeros primos en que se ha excluido el nmero 2; d) el nmero
entero positivo os par y no es primo; el conjunto de veraad (4, (5, 8,
10, 12, 14, 16, . . .} difiero del conjunto do todos los nmeros pares
en que se ha excluido ol nmero 2; e) el nmero entero positivo es
impar o lio es primo; el conjunto do verdad {1, 3, 4, 5, 6, 7, 8, 9,
10, 11, . . .} es ol conjunto de todos los nmeros enteros positivos
a excepcin del nruoro 2.
5
5. o + b a; ab = b.
6
1. a) Vaso la fig. 43; ) vase la fig. 44;
3. a) Vase la fig. 45, a; b) vase la fig. 45, b.
4. a)
+ .4 % +
www.FreeLibros.me
81
b) f = i
-I- && +
+ m s% +
(el botn
+ && + %2t + %% +
<e& + Z% + && + %Sr) +
+ &%%& + &3>%2F + %2%&
5. a) t f ^ t m + t m + J f - ]
V O i
pCr O
i
ja
+b x c +o)
P IP . 43
p r
A
C ~
{8C+>M
FIG . i
_X v~
s =a b c o +Md
Cy
_ c ^ _
0^
_D ,
S=(A+B+C+D)(+8+C+)
b)
a)
FIG. '.S
www.FreeLibros.me
82
BIBLIOGRAFIA
www.FreeLibros.me
83
A N U EST RO S L E C T O R E S :
www.FreeLibros.me
Efm ov N.
GEOMETRIA SU PERIO R
En este libro se examina un gran nmero de pro
blemas. Se da la argumentacin matemtica de: la
geometra eucldea, las geometras no eucldeas de
Lobachovski y Riemann, la geometra proyectiva,
la geometra de Minkovski y las cuestiones geo
mtricas do la teora especial de la relatividad
y una nocin general de las formas topolgicas
de la geometra de curvatura constante. La obra
so divido en tres partes. E l material principal
se ojcpono on las primores dos partes. El material
de la tercera parto nociones principales de la
geometra do curvatura constante puede ser
aprovechado en el trabajo do los crculos mate
mticos.
E l libro so caracteriza por la claridad de su expo
sicin y es comprensible para amplios crculos
de lectores, aunque las cuestiones quo trata, por
as decirlo, no siempre son sencillas. Ha sido ree
ditado varias veces on la URSS y en otros pa
ses.
Est destinado a los estudiantes de centros do
centes superiores, as como a todas acuellas per
sonas quo se interesan por las matomaticas.
www.FreeLibros.me
85
Berman G. y otros
PROBLEMAS Y EJERCICIOS
DE ANALISIS MATEMATICO
(2* edicin)
Esta coleccin de problemas est dedicada a los
estudiantes que cursan anlisis matemtico on
centros de enseanza tcnica superior.
No contieue la teora ni las frmulas necesarias,
el lector las encontrar en los captulos respectivos
del manual de anlisis matemtico. La mayora
de los problemas est subvidida en grupos, lo
que facilita el trabajo con este libro. A los grupos
ae problemas de contenido homogneo precede
una indicacin general. Todos los problemas de
contenido fsico van acompaados do las nociones
nocesarias sobre la fsica. E l libro contiene un apn
dice: Tablas do las magnitudes do algunas Jun
ciones elementales.
E l autor analiza un total de 4465 problemas.
Elsgollz L.
ECUACIONES DIFERENCIALES
Y CALCULO VARACIONAL
(3a edicin)
En este libro el autor examina las ecuaciones dife
renciales de primer orden y de orden superior,
sistemas de ecuaciones diferenciales, teora do la
estabilidad, ecuaciones de derivadas parciales de
primer orden, mtodos de variaciones en los proble
mas con limites fijos, problemas de variaciones
con lmites mviles, condiciones suficientes del
extremo, problemas de variaciones de extremo
complejo y mtodos directos en los problemas de
variaciones.
Est destinado para los estudiantes de las faculta
des fisicomatemticas do los centros de enseanza
superior y especialistas que estudian los problemas
de matemticas indicados.
www.FreeLibros.me
86
www.FreeLibros.me
87
En dos partes
Esta obra se compone de dos partes (parte primera:
Algebra lineal y fundamentos del anlisis mate
mtico ; parte segunda: Captulos especalos del
anlisis matemtico) y est destinada a ser con
solidadas en las clases prcticas (seminarios) las
partes tericas del curso ao matemticas suporioros,
estudiado en los centros de enseanza superior.
El manual contiene problemas sobre lgebra li
neal y vectorial, geometra analtica, clculo d i
ferencial e integral do funciones do una y m lti
ples variables, ecuaciones diferenciales, anlisis
vectorial, fundamentos de la teora de la variable
compleja, series y sus aplicaciones al clculo
operacional. De este modo, el manual abarca lodo
el curso do matemticas superiores estudiado on
las centros de enseanza superior, con excopcin do algunos cursos especiales.
Cada captulo de esta obra est provisto de una
introduccin en la cual se dispone el material
terico (definiciones, teoremas, frmulas princi
pales), necosario para la resolucin del ciclo de
problemas del captulo dado. Aqu tambin se
examina un nmero suficiente de ejemplos, que
ilustran los mtodos fundamentales de resolucin
de los problemas. Todos los problemas propuestos
tionon respuesta a l final del captulo, y los ms
difciles vienen provistos de indicaciones (estos
problemas se indican con estrellas) o son resueltos
(problemas con dos estrellas).
Una particularidad destacable de esto libro la
constituye la existencia do ciclos de problemas do
clculos segn las parte3 fundamentales del cur
so. Cada problema do clculo exige la escritura
del programa en la lengua Fortran y luego la
resolucin en una computadora. La inclusin de
esto tipo de problemas on el manual es necesaria
para una asimilacin ms profunda de los mtodos
numricos conjuntamente con el estudio de los
www.FreeLibros.me
www.FreeLibros.me
www.FreeLibros.me
Lecciones populares
de matemticas
Se publicaron los siguientes libros
de matemticas de nuestro sello editorial:
E. Ventsel
Elementos de la teora de los juegos
L. Golovin e I. Yaglom
Induccin en la Geometra
A.G. Krosch
Ecuaciones algebraicas de grados arbitrarios
A.I. Markushvich
Sucesiones recurrentes
I. Natanson
Problemas elementales de mximo y mnimo
V, Shervtov
Funciones hiperblicas
Editorial MIR
www.FreeLibros.me
Mosc