CONJUNTO.

Se denomina conjunto a una coleccin de todos los objetos posibles que

satisfacen ciertas propiedades especficas; cada uno de dichos elementos es
considerado un elemento del conjunto.
Un conjunto puede dividirse empleando dos criterios distintos, que originan,
respectivamente, la definicin por extensin y la definicin por comprensin. Un
conjunto queda definido por extensin cuando se menciona cada uno de los
elementos del conjunto. a definicin por comprensin exige mencionar ciertas
propiedades que deben cumplir todos los elementos del conjunto y solamente
ellos.
Un conjunto ! est" determinado cuando, dado un elemento cualquiera a, es
posible decidir si pertenece o no al conjunto. #s decir, trabajaremos con
conjuntos perfectamente determinados, donde no quepa la ambig$edad. %ado
un elemento a, debe haber un criterio que permita decidir, de manera &nica, si
a pertenece o no al conjunto. #s decir, un conjunto es una agrupacin, clase o
coleccin de objetos reunidos a partir de un criterio claramente determinado.
CARACTERISTICAS DE LOS CONJUNTOS.
a clase y tipo de conjuntos puede ser de muy distinta ndole y naturale'a pero
nosotros los vamos a contemplar de forma que satisfagan a nuestros
propsitos de estudio en la forma siguiente, atendiendo principalmente a sus
elementos constitutivos(
)!S# o denominacin
!*!+,-! o semejan'a entre los elementos
./0+S %# )+*1#2,#*)/!
)!2!).#2-S./)!S 2#SU.!*.#S.
)!S#S
3)lase es la denominacin y expresin ling$stica de un conjunto
dependiendo de las peculiaridades y caractersticas de sus elementos as
como de las exigencias y requerimientos que les pidamos a estos
elementos para integrarse en el conjunto3.
a clase de conjunto depende por tanto de los elementos que los
constituyan y de las exigencias especficas para formar dicho conjunto. !s
tendremos un conjunto de letras, num4rico, de notas musicales, de flores,
de libros, etc.
0ero tambi4n se puede exigir a los elementos caractersticas y
requerimientos especiales para formar el conjunto, como por ejemplo(
)onjunto de flores amarillas; conjunto de man'anas maduras y con gusano;
conjunto de hombre calvos y con bigote; conjunto de "rboles de hojas
dentadas, etc.
!*!+,-! ( Seg&n las caractersticas de los elementos componentes
#n lo referente a la !*!+,-! o semejan'a de los elementos o
componentes de un conjunto, 4stos pueden ser( /,U!#S, 5+6+,7*#+S
+ 5#.#2+,7*#+S.
./0+( .ipo de inter8relacin entre los elementos componentes
)omo vemos m"s adelante, la consideracin de los tipos de conjuntos
pueden ser muy adecuada para una comprensin general de los mismos,
mientras que las caractersticas analgicas o de semejan'a de los
conjuntos ser"n m"s utili'adas para un estudio profundo, matem"tico y
operativo de los conjuntos.
#n cuanto al ./0+ de conjuntos lo dividiremos en(
%/9US+S,
)onjuntos #* 2#!)/:* y
)onjuntos %# 9US/:*.
Ser"n )+*;U*.+S %/9US+S cuando sus elementos a pesar de estar
unidos formando conjunto, no tienen ning&n tipo de relacin o
compenetracin entre ellos. #j( 6ontones de piedras, clavos o tornillos al
mismo tiempo.
Ser"n )+*;U*.+S %# 2#!)/:* cuando los elementos o sub8conjuntos
que los forman est"n unidos entre ellos bajo cualquier tipo de relacin o
coordinacin. #j( sucesin matem"tica, formacin militar, un armario de
trajes.
Ser"n )+*;U*.+S %# 9US/:*, cuando sus elementos se unen entre s
formando con esta unin unos elementos nuevos y normalmente con
distintas propiedades de la de sus componentes. #j( <rbol, el mar, un
automvil, entre otros.
OPERACIONES CON CONJUNTOS.
#n las operaciones de conjuntos, este estudio difiere en varios puntos de lo
aceptado actualmente por entender que no se corresponde con la realidad, que
existen contradicciones, que no son aceptables desde un punto de vista lgico
o que no son operativos en conjuntos reales.
S est" de acuerdo y no se revisaran las consideraciones actuales de
intercepcin de conjuntos, conjuntos complementarios, etc.
0or lo tanto, aqu vemos las operaciones tal cual la entiende esta teora de
conjuntos.
SU6! %# )+*;U*.+S
%os o m"s conjuntos pueden sumarse mediante la reunin de todos sus
elementos en un solo conjunto, con las dos condiciones siguientes(
=.8 )omo hemos visto, la primera condicin de la suma es que en el nuevo
superconjunto formado estar"n todos los elementos de los conjuntos
constituyentes.
os elementos comunes debido a las intersecciones de dos o m"s conjuntos de
la suma se atender" a su realidad fsica y solo se sumar"n una ve'.
>.8 a segunda condicin es que tambi4n sean conservadas en la suma o
superconjunto resultante las peculiaridades de convergencia o identidad que
cada uno de los conjuntos sumandos tuviera.
#n este caso y cuando que sea posible y exista la misma convergencia o
identidad entre los conjuntos sumados, se podr"n unificar todos los elementos
reunidos y ordenados mediante dicha convergencia. ?p.e. Sea un conjunto ! o
sucesin ?@,A,B,CD y conjunto E o sucesin ?=,>,F,G,H,D 4stos se pueden sumar
formando una sola sucesin ! I E ?=,>,F,G,H,@,A,B,CD.
2#S.! %# )+*;U*.+S
0rincipio de la resta(
A todo conjunto A, podemos restarle o extraerle uno o varios subconjuntos
(B,C,D) o elementos (a,b,c) del mismo. O todos sus elementos convirtindose
en este caso en conjunto vaco.
0or tanto aqu hay que establecer claramente la distincin entre los
subconjuntos ?E,),%,#,9, etc.D todos ellos pertenecientes al conjunto principal
! del cual se restan, de otros conjuntos diferentes E,),% etc. que no
pertene'can al conjunto ! y que por tanto no pueden ser restados.
3*o se pueden restar los elementos que tiene otro conjunto, sino los propios
del conjunto que se somete a la resta3
Sera pues la siguiente expresin(
! J E donde E sera siempre un subconjunto perteneciente a !.
K cuando haya varios subconjuntos a restar podemos poner(
! J ? E I ) I % I # LD
0or tanto el principio de las resta debe cumplirse de tal forma que el conjunto !
tenga como componentes a los subconjuntos a restar E, ), %, #.
K lo expresaremos as(
! ?E, ), %, # D )onjunto ! contiene a los subconjuntos ?E, ), %, # D que pueden
ser restados.
UNIN DE CONJUNTOS
a unin de los conjuntos ! y E es el conjunto formado por todos los elementos
que pertenecen a ! o a E o a ambos. Se denota( ! U E. a unin de conjuntos
se define como(
A U B = {x / x A o x B}
#n forma gr"fica(

Cuando no tienen
Cuando tienen
algunos

Cuando todos los elementos de
un
elementos
comunes
elementos comunes
conjunto pertenecen a otro
conjunto
=. %ados los conjuntos( ! M N O, =, >, F, G, H P, E M N O, >, G P y ) M N H, @, B P,
efectuar y construir los diagramas respectivos(
aD ! U ) bD E U ) cD ! U E
.enemos(
a) A = { 0, 1, 2, 3, 4, 5 } y C = { 5, 6, 8 }
A U C = { 0, 1, 2, 3, 4, , 6, 8 }


Representacin grfica de a !nin de
c"n#!nt"s A $ C
INTERSECCIN DE CONJUNTO
Se define la interseccin de dos conjuntos ! y E al conjunto de elementos que
son comunes a ! y E. Se denota por ! E, que se lee( ! interseccin E. a
interseccin de ! y E tambi4n se puede definir(
A B = { x / x A y x B }

Cuando tienen Cuando no tienen
Cuando todos los elementos de
un
elementos
comunes

elementos
comunes

conjunto pertenecen a otro
conjunto
=. %ados los conjuntos( ! M N O, =, >, F, G, H P, E M N F, H, A P y ) M N >, G P,
efectuar y construir los diagramas respectivos(
aD ! ) bD E ) cD ! E
.enemos(
a) A = { 0, 1, 2, 3, 4, 5 } y C = { 2, 4 }
A C = { , }


Representacin grfica de a interseccin de
c"n#!nt"s A $ C
b) % = { 3, 5, & } y C = { 2, 4 }
% C = { }


Representacin grfica de a interseccin de
c"n#!nt"s % $ C
COMPLEMENTO DE UN CONJUNTO
Si un conjunto ! es subconjunto de otro conjunto universal U, al conjunto !Q
formado por todos los elementos de U pero no de !, se llama complemento de
! con respecto a U. Simblicamente se expresa(
A' = { x/x U y x A }
aD Sean U M N m, a, r, t, e P y ! M N t, e P
Su complemento de ! es( !Q M N m, a, r P
bD Sean U M N letras de la palabra aritm4ticaP y E M N vocales de la palabra
vida P
%eterminado por extensin tenemos
U M N a, r, i, t, m, e, c P E M N i, a P
Su complemento de E es( EQ M N r, t, m, e, c P

DIFERENCIA DE CONJUNTOS
Se denomina diferencia de dos conjuntos ! y E al conjunto formado por todos
los elementos de ! pero que no pertenecen a E.
a diferencia se denota por( ! 8 E que se lee( ! diferencia E o ! menos E. Se
define la diferencia de dos conjuntos tambi4n como(
A - B = {x / x A y x B}
6ediante un diagrama de 1enn 8 #uler(

Cuando no tienen Cuando tienen
Cuando todos los elementos de
un
elementos comunes elementos comunes
conjunto pertenecen a otro
conjunto
=. %ados los conjuntos( ! M N a, b, c, d, e P, E M N a, e P y ) M N d, f, g P, efectuar
y construir los diagramas respectivos(
aD ! 8 ) bD E 8 ) cD ! 8 E
.enemos(
a) A = { a, ', c, d, e } $ C = { d, f, g }

A ( C = { a, ', c, e }


Representacin grfica de a diferencia de c"n#!nt"s
A $ C
') % = { a, e } $ C = { d, f, g }

% ( C = { a, e }


Representacin grfica de a diferencia de c"n#!nt"s %
$ C
ALGEBRA DE BOOLE.
as "lgebras booleanas, estudiadas por primera ve' en detalle por ,eorge
Eoole , constituyen un "rea de las matem"ticas que ha pasado a ocupar un
lugar prominente con el advenimiento de la computadora digital. Son usadas
ampliamente en el diseRo de circuitos de distribucin y computadoras, y sus
aplicaciones van en aumento en muchas otras "reas. #n el nivel de lgica
digital de una computadora, lo que com&nmente se llama hardSare, y que est"
formado por los componentes electrnicos de la m"quina, se trabaja con
diferencias de tensin, las cuales generan funciones que son calculadas por los
circuitos que forman el nivel. 7stas funciones, en la etapa de diseRa del
hardSare, son interpretadas como funciones de Eoole.
#l "lgebra booleana es un sistema matem"tico deductivo centrado en los
valores cero y uno ?falso y verdaderoD. Un operador binario 3 T 3 definido en
4ste juego de valores acepta un par de entradas y produce un solo valor
booleano, por ejemplo, el operador booleano !*% acepta dos entradas
booleanas y produce una sola salida booleana.
0ara cualquier sistema algebraico existen una serie de postulados iniciales, de
aqu se pueden deducir reglas adicionales, teoremas y otras propiedades del
sistema, el "lgebra booleana a menudo emplea los siguientes postulados(
)errado. #l sistema booleano se considera cerrado con respecto a un
operador binario si para cada par de valores booleanos se produce un
solo resultado booleano.
)onmutativo. Se dice que un operador binario 3 T 3 es conmutativo si ! T
E M E T ! para todos los posibles valores de ! y E.
!sociativo. Se dice que un operador binario 3 T 3 es asociativo si ?! T ED T
) M ! T ?E T )D para todos los valores booleanos !, E, y ).
%istributivo. %os operadores binarios 3 T 3 y 3 U 3 son distributivos si ! T
?E U )D M ?! T ED U ?! T )D para todos los valores booleanos !, E, y ).
/dentidad. Un valor booleano / se dice que es un elemento de identidad
con respecto a un operador binario 3 T 3 si ! T / M !.
/nverso. Un valor booleano / es un elemento inverso con respecto a un
operador booleano 3 T 3 si ! T / M E, y E es diferente de !, es decir, E es
el valor opuesto de !.
AXIOMAS.
as propiedades definen reglas precisas para transformar unas expresiones en
otras equivalentes. os axiomas son propiedades primitivas.
Propiedad con!"a"i#a $e% re&!%"ado no depende de% orden'
Propiedad a&ocia"i#a $e% re&!%"ado no depende de e% odo de a&ociaci(n'
Propiedad di&"ri)!"i#a $!na operaci(n &e di&"ri)!*e en !na a&ociaci(n'
O"ra& propiedade&

Le*e& de Mor+an

Operadore& no ,!ndaen"a%e& XOR- XNOR e IMPLIES

os operadores no fundamentales pueden expresarse a partir de los
operadores fundamentales
XOR(
V+2 se conoce como +2 exclusiva
XNOR(
V*+2 equivale a s8y8slo8si
IMPLIES(
PRINCIPIO DE DUALIDAD.
a lgica binaria trabaja con variables binarias y operaciones lgicas. !s, las
variables slo tomar"n dos valores discretos( 1 ?verdaderoD y 9 ?falsoD; aunque
tambi4n se pueden denotar como s y no, = y O respectivamente.
#n el principio de dualidad, todas las expresiones booleanas permanecen
v"lidas si se intercambian los operadores QIQ y QWQ, y los elementos QOQ y Q=Q.
!s para obtener una expresin algebraica dual, se intercambian los
operadores !*% y +2 y se reempla'an unos por ceros y viceversa.
PRINCIPO DE INDUCCIN
a induccin es un ra'onamiento que permite demostrar una infinidad de
proposiciones, o una proposicin que depende de un par"metro n que toma
una infinidad de valores enteros. #n t4rminos simples, la induccin matem"tica
consiste en el siguiente ra'onamiento(
0remisa mayor #l n&mero entero a tiene la propiedad 0
0remisa menor #l hecho de que cualquier n&mero entero n tenga la
propiedad 0 implica que n I = tambi4n la tiene
)onclusin .odos los n&meros enteros a partir de a tienen la propiedad.
%emostraciones por induccin
#l ra'onamiento para demostrar una proposicin cualquiera mediante el
esquema del ra'onamiento es el siguiente( lamemos 0n la proposicin al
rango n.
Se demuestra que 0O es cierta ?iniciacin de la induccinD.
Se demuestra que si se asume 0n como cierta, entonces 0nI= lo es tambi4n, y
esto sin condicin sobre el entero natural n. ?relacin de induccinD.
uego, demostrado esto, concluimos por induccin, que 0n es cierto para todo
natural n.
a induccin puede empe'ar por otro t4rmino que 0O, digamos por 0no.
#ntonces 0n ser" v"lido a partir del rango no, es decir, para todo natural n X
no.
E.ep%o( %emostremos que para todo n X =, @
n
es un n&mero que acaba en @.
Sea 0
n
la proposicin( 3@
n
acaba en @3.
#s claro que 0
=
es cierto, porque @
=
M @.
Supongamos que 0
n
es cierto para un valor de n natural, y
probemos 0
nI=
.
Un entero acaba por @ si se puede escribir as( =Oa I @, con a entero
positivo o igual a cero. a hiptesis es, pues, @
n
M =Oa I @.
#ntonces @
nI=
M @?=Oa I @D M @Oa I F@ M @Oa I FO I @ M =O?@a I FD I @ M
=Oc I @, con cM@a I F, entero.
#sta &ltima escritura prueba que @
nI=
acaba por @, o sea que 0
nI=
es
cierto.
uego 0
n
es cierto para todo n X =.
ALGEBRA DE CIRCUITOS
#l sistema matem"tico denominado "lgebra Eooleana, es un m4todo simblico
de estudiar relaciones lgicas, el cual se desarrolla en tres partes(
=. Se establecen los conceptos fundamentales ?smbolos o t4rminos no
definidosD.
>. Se define un conjunto de postulados que formen la base del "lgebra.
F. Se constituyen los teoremas fundamentales del "lgebra a partir de los
postulados.
! su ve', las exigencias y condiciones que deben reunir los postulados son(
=. os postulados deben ser coherentes o consistentes para que un
"lgebra definida pueda
desarrollarse por deducciones lgicas. #n caso contrario, el sistema
resultara contradictorio.
>. os postulados deben ser independientes; es decir, irreductibles
recprocamente ?libre de reduccionesD.
F. os postulados deben ser tan simples en su enunciado como sea
posible; es decir, no separables en dos o m"s partes.
! continuacin se presentan los principales teoremas del "lgebra de Eoole, los
cuales son la base del trabajo subsecuente. )on lo visto hasta aqu es posible
demostrar dichos teoremas por cualesquiera de los siguientes m4todos.
=. %emostracin algebraica ?empleando postulados y teoremas ya
demostradosD.
>. ,r"ficamente ?por medio de los diagramas de #uler81ennD.
F. 0or induccin perfecta ?empleando tablas de verdadD.
.#+2#6! 02/6! .#+2#6! %U!
..=.a. O es &nico
..>.a ! I ! M !
..F.a. ! I = M !
..G.a. ! I ?! . ED M !
..H. !Q es &nico
..@. ! M !QQ
..A.a. ! . Y?! I ED I )Z M Y?! I ED I )Z . ! M !
..B.a. ! I ?E I )D M ?! I ED I )
..C.a. ! I ?!Q . ED M ! I E
..=O.a. ?! I EDQ M !Q . EQ
..==.a. ?! . ED I ?!Q . )D I ?E . )D M ?! . ED I ?!Q .) D
..=>.a. ?! . ED I ?! . EQ . )D M ?! . ED I ?! . )D
..=F.a. ?! . ED I ?! . EQD M !
..=.b. = es &nico
..>.b. ! . ! M !
..F.b. ! . O M O
..G.b. ! . ?! I ED M !
*o tiene
*o tiene
..A.b. ! I Y?! . ED . )Z M Y?! . ED . )Z I ! M !
..B.b. ! . ?E . )D M ?! . ED . )
..C.b. ! . ?!Q I ED M ! . E
..=O.b. ?! . EDQ M !Q I EQ
..==.b. ?! I ED?!Q I )D?E I )D M ?! I ED?!Q I )D
..=>.b. ?! I ED?! I EQ I )D M ?! I ED ?! I )D
..=F.b. ?! I ED . ?! I EQD M !
)+60U#2.!S :,/)!S
Un computador digital, como su nombre lo indica, es un sistema digital que
reali'a diversas operaciones de cmputo. a palabra %igital implica que la
informacin que se representa en el computador por medio de variables que
toman un n&mero limitado de valores discretos o cuanti'ados. #stos valores
son procesados internamente por componentes que pueden mantener un
n&mero limitado de estados discretos. os dgitos decimales por ejemplo,
proporcionan =O valores discretos ? O .. C D. )omo sabemos en la pr"ctica, los
computadores funcionan m"s confiablemente si slo utili'an dos estados
equiprobables. %ebido al hecho que los componentes electrnicos atienden a
dos estados ? encendido [ apagado D y que la lgica humana tiende a ser
binaria ? esto es, cierto o falsa, si o no D se utili'a el sistema binario y se dice
que son binarias.
os computadores digitales utili'an el sistema de n&meros binarios, que tiene
dos dgitos O y =. Un dgito binario se denomina un bit. Q a informacin est"
representada en los computadores digitales en grupos de bits. Utili'ando
diversas t4cnicas de codificacin los grupos de bits pueden hacerse que
representen no solamente n&meros binarios sino tambi4n otros smbolos
discretos cualesquiera, tales como dgitos decimales o letras de alfabeto.
Utili'ando arreglos binarios y diversas t4cnicas de codificacin, los dgitos
binarios o grupos de bits pueden utili'arse para desarrollar conjuntos completos
de instrucciones para reali'ar diversos tipos de c"lculos.
a informacin binaria se representa en un sistema digital por cantidades
fsicas denominadas seRales, as seRales el4ctricas tales como voltajes
existen a trav4s del sistema digital en cualquiera de dos valores reconocibles y
representan un a variable binaria igual a = o O. 0or ejemplo, un sistema digital
particular puede emplear una seRal de F Yvolts = para representar el binario 3/3 y
O.H Yvolts = para el binario 3O3. a siguiente ilustracin muestra un ejemplo de
una seRal binaria.
)ompuerta !*%(
)ada compuerta tiene una o dos variables de entrada designadas por ! y E y
una salida binaria designada por x. a compuerta !*% produce la unin lgica
!*%( esto es( la salida es = si la entrada ! y la entrada E est"n ambas en el
binario =( de otra manera, la salida es O. #stas condiciones tambi4n son
especificadas en la tabla de verdad para la compuerta !*%. a tabla muestra
que la salida x es = solamente cuando ambas entradas ! y E est"n en = . #l
smbolo de operacin algebraico de la funcin !*% es el mismo que el smbolo
de la multiplicacin de la aritm4tica ordinaria ?\D. 0odemos utili'ar o un punto
entre las variables o concatenar las variables sin ning&n smbolo de operacin
entre ellas. as compuertas !*% pueden tener m"s de dos entradas y por
definicin, la salida es = si cualquier entrada es =.
)ompuerta +2(
a compuerta +2 produce la funcin +2 inclusiva, esto es, la salida es = si la
entrada ! o la entrada E o ambas entradas son =; de otra manera, la salida es
O. #l smbolo algebraico de la funcin +2 ?ID, similar a la operacin de
aritm4tica de suma. as compuertas +2 pueden tener m"s de dos entradas y
por definicin la salida es = si cualquier entrada es =.
)ompuerta *+. ?/nversorD(
#l circuito inversor invierte el sentido lgico de una seRal binaria. 0roduce el
*+.,. o funcin complemento. #l smbolo algebraico utili'ado para el
complemento es una barra sobra el smbolo de la variable binaria. Si la variable
binaria posee un valor O, la compuerta *+. cambia su estado al valor = y
viceversa. #l crculo pequeRo en la salida de un smbolo gr"fico de un inversor
designa un complemento lgico. #s decir cambia los valores binarios = a O y
viceversa.
)ompuerta Separador(
Un smbolo tri"ngulo por s mismo designa un circuito separador no produce
ninguna funcin lgica particular puesto que el valor binario de la salida es el
mismo de la entrada. #ste circuito se utili'a simplemente para amplificacin de
la seRal. 0or ejemplo, un separador que utili'a i volt para el binario = producir"
una salida de F volt cuando la entrada es F volt. Sin embargo, la corriente
suministrada en la entrada es mucho m"s pequeRa que la corriente producida
en la salida. %e 4sta manera, un separador puede excitar muchas otras
compuertas que requieren una cantidad mayor de corriente que de otra manera
no se encontrara en la pequeRa cantidad de corriente aplicada a la entrada del
separador.
)ompuerta *!*%(
#s el complemento de la funcin A!D, como se indica por el smbolo gr"fico
que consiste en un smbolo gr"fico A!D seguido por un pequeRo crculo. a
designacin !A!D se deriva de la abreviacin *+. 8 !!D. Una designacin
m"s adecuada habra sido A!D invertido puesto que #s la funcin A!D la que
se ha invertido.
)ompuerta *+2(
a compuerta !O" es el complemento de la compuerta +2 y utili'a un smbolo
gr"fico O" seguido de un crculo pequeRo. .anto las compuertas !A!D como
la !O" pueden tener m"s de dos entradas, y la salida es siempre el
complemento de las funciones A!D u +2, respectivamente.
)ompuerta +2 exclusivo ?V+2D(
a compuerta O" exclusiva tiene un smbolo gr"fico similar a la compuerta O"
excepto por una lnea adicional curva en el lado de la entrada. a salida de esta
compuerta es = si cada entrada es = pero excluye la combinacin cuando las
dos entradas son =. a funcin +2 exclusivo tiene su propio smbolo gr"fico o
puede expresarse en t4rminos de operaciones complementarias A!D, +2 .
)ompuerta *+2 exclusivo ?V+2D(
#l !O" exclusivo como se indica por el crculo pequeRo en el smbolo gr"fico.
a salida de 4sta compuerta es = solamente si ambas entradas son tienen el
mismo valor binario. *osotros nos referiremos a la funcin !O" exclusivo
como la funcin de equivalencia. 0uesto que las funciones +2 exclusivo y
funciones de equivalencia no son siempre el complemento la una de la otra. Un
nombre m"s adecuado para la operacin O" exclusivo sera la de una funcin
impar; esto es, la salida es = si un n&mero impar de entrada es =. !s en una
funcin +2 ?imparD exclusiva de tres entradas, la salida es = si solamente la
entrada es = o si todas las entradas son =. a funcin de equivalencia es una
funcin par; esto es, su salida es = si un n&mero par de entradas es O. 0ara un
funcin de equivalencia de tres entradas, la salida es = si una de las entradas
son O ? todas las entradas son = D o si dos de las entradas son O ? una entrada
es = Una investigacin cuidadosa revelar" que el O" exclusivo y las funciones
de equivalencia son el complemento la una de la otra cuando las compuertas
tienen un n&mero par de entradas, pero las dos funciones son iguales cuando
el n&mero de entradas es impar. #stas dos compuertas est"n com&nmente
disponibles con dos entradas y solamente en forma rara se encuentran con tres
o m"s entradas.
RELACIN BINARIA
%ados dos conjuntos no vacos ! y E , se denomina relacin binaria de ! a
E a cualquier subconjunto de ! ] E .
2 es relacin binaria de ! a E ^ 2 _ ! ] E
#jemplo =( Sean ! M N a , b , c P y E M N p , q , r , s P , entonces(
2 M N ? a , r D , ? b , q D , ? b , r D P es una relacin de ! a E .
#sto se puede representar mediante un diagrama(
*otacin
%ado el ejemplo =, para indicar que a est" en relacin 2 con r se indica( a
2 r .
.ambi4n se utili'a( ? a , r D ` 2 .
x 2 y ^ ? x , y D ` 2
%ominio ? %om 2 D
%ada la relacin 2 de ! a E , el dominio de ella ? %om 2 D es el conjunto de
todos los elementos de ! que participan en 2 . !dem"s el dominio de 2 es
subconjunto de ! .
#jemplo >( #n el ejemplo =, %om 2 M N a , b P _ ! .
2ecorrido o 2ango ? 2ec 2 D
%ada la relacin 2 de ! a E , el recorrido o rango de ella ? 2ec 2 D es el
conjunto de todos los elementos de E que participan en 2 . !dem"s el
recorrido de 2 es subconjunto de E .
#jemplo F( #n el ejemplo =, 2ec 2 M N q , r P _ E .
RELACIN DE E/UI0ALENCIA
Una relacin es de equivalencia si es reflexiva, sim4trica y transitiva.
#jemplos tpicos de relaciones de equivalencia, de entre los estudiados
anteriormente en esta asignatura, podemos citar la equivalencia lgica, la
igualdad de conjuntos, o la relacin entre conjuntos de tener la misma
cardinalidad. #l aspecto m"s interesante de las relaciones de equivalencia es
su correspondencia con las particiones de un conjunto. #n primer lugar, si es
una relacin de equivalencia, se llama clase de equivalencia de con
respecto a al conjunto
RELACIN DE ORDEN
Una relacin es de orden si es reflexiva, antisim4trica y transitiva. #jemplos
tpicos de relaciones de orden, de entre los ya estudiados anteriormente en
esta asignatura o en cursos precedentes, podemos citar la implicacin lgica
entre clases de equivalencia de proposiciones lgicas, la contencin entre
conjuntos, la desigualdad entre n&meros, la relacin de divisibilidad entre
n&meros naturales, o la comparacin de cardinales entre clases de conjuntos
equipotentes ?con el mismo cardinalD. as relaciones de orden se suelen llamar
tambi4n de orden parcial, en contraposicin a lo que se llama orden total, que
definimos a continuacin.
De,inici(n 1.2 Una relacin de orden se llama orden total si
FUNCIONES.
Una funcin es una transformacin que asocia a cada n&mero perteneciente a
alg&n subconjunto de los n&meros reales otro n&mero real ?uno sloD.
0or ejemplo la funcin f?xD M =[x asocia a cada n&mero real distinto de cero su
inverso. #l subconjunto formado por los n&meros reales que tienen imagen, se
llama doinio de la funcin. #n este ejemplo el doinio est" formado por
todos los n&meros reales distintos del cero. %?fD M 2 8 NOP.
0or ejemplo la funcin f?xD M tiene por dominio al conjunto de los n&meros
reales mayores o iguales que cero, ya que la ra' de n&meros negativos no se
puede calcular.
! continuacin vamos a ver algunos ejemplos para recordar los conceptos de
imagen de un elemento, de imagen inversa y de dominio. %espu4s
recordaremos y experimentaremos con las gr"ficas de algunas funciones.
CLASIFICACIN.
9U*)/:* /*K#)./1!
9U*)/:* S+E2#K#)./1!
9U*)/:* E/K#)./1!
FUNCIN IN3ECTI0A.
#n matem"ticas, una funcin es in*ec"i#a o !no e& a !no si cada
valor en la imagen de corresponde un &nico ori#en en el dominio.
0or ejemplo, la funcin de n&meros reales , dada por no
es inyectiva, puesto que el valor G puede obtenerse como $?>D y $? a >D. 0ero si
el dominio se restringe a los n&meros positivos, obteniendo as una nueva
funcin entonces s se obtiene una funcin inyectiva. #jemplo(
FUNCIN SOBRE3ECTI0A.
#n matem"tica, una funcin es &o)re*ec"i#a ?epi*ec"i#a,
&!pra*ec"i#a, &!r*ec"i#a o e45a!&"i#aD, si est" aplicada sobre todo el co8
dominio, es decir, cuando la imagen .
9ormalmente,
FUNCIN BI3ECTI0A
#n matem"tica, una funcin es )i*ec"i#a si es al mismo tiempo
inyectiva y sobreyectiva.
9ormalmente,
Si es una funcin biyectiva, entonces su funcin inversa existe y tambi4n
es biyectiva.
E.ep%o
a funcin es biyectiva.
uego, su inversa tambi4n lo es.
INTRODUCCIN
#l inicio de la teora de conjuntos se remonta al siglo V/V, fue ,eorge )antor
en este siglo, quien sent las bases para el desarrollo de la teora de conjuntos
moderna. )on la teora de conjuntos se inicio una revolucin en las
matem"ticas, pues esta teora motiv una profunda revisin de la idea de
n&mero; principalmente en lo que tiene que ver con un concepto abstracto
como el del infinito.
#n este informe, abordaremos los principales temas relacionados a los
conjuntos y sus propiedades, seguidamente, trataremos sus diversos
operaciones. #n otro orden de ideas, planteamos tambi4n, la lgica booleana y
la teora de circuitos, como complemento y pilar fundamental en el mundo de
hoy.
2#0UE/)! E+/1!2/!*! %# 1#*#bU#!
6/*/S.#2/+ %# 0+%#2 0+0U!2 0!2! ! #%U)!)/:* SU0#2/+2
/*S./.U.+ U*/1#2S/.!2/+ 0+/.7)*/)+
cS!*./!,+ 6!2/d+e
TEOR6A DE CONJUNTOS
Nombre: Jorge Diaz.
CI: 14.448.268
Ctedra: lgebra