Algebra de Lovaglia

Capitulo 1

Conjuntos

La idea de los conjuntos es bsica en el pensamiento, al ser intuitiva quiere decir

que no esta definida. Cuando se suele hablar de un conjunto, se refiere a una
coleccin de objetos conocidos como miembros o elementos. Si queremos
entender lo que significa un conjunto al que consideramos, debemos de saber
cuales son sus elementos o tener una forma de determinar si un objeto es
elemento del conjunto.

Ejemplo:

Las partes del carro forman un conjunto llamado el sedn Volkswagen 1969 del
Sr.Prez.

-Este conjunto consiste en objetos fsicos reales, adems estn organizados de

cierta forma, existe una relacin de elementos unos con otros.

Ejemplos:

-Hoy y maana se refieren a dos periodos de tiempo que podemos interpretar

como un conjunto formado por 2 elementos

-Los nmeros 2, 3 y 5 forman un conjunto con tres elementos.

En los anteriores ejemplos los elementos son abstractos, no existen en otro lugar
que no sea la mente del estudiante

Notacin

Ordinariamente se usan letras maysculas para los conjuntos.

{} Elementos - Elemento de -No es elemento de

Sea S la letra que designa al conjunto descrito precisamente como {a, b, c, d} esto
quiere decir que S es el conjunto cuyos elementos son las primeras cuatro letras
minsculas del alfabeto.

aS bS cS dS
Similarmente

f S, 3 S

Conjuntos iguales

Se usa el signo de igualdad para indicar que dos smbolos representan al mismo
conjunto.

Ejemplo: S={a, b, c, d} T={b, c, a, d}

Se dice que son iguales si cada elemento de S y T son iguales y viceversa

S=T

Conjunto vaco

Un conjunto sin elementos es un conjunto vaco o nulo, se representa por.

{} o

Ejemplo: El conjunto de emperadores romanos que aun viven es un conjunto vaco

S = {}

Subconjuntos

Se dice que un conjunto S es un subconjunto de un conjunto T, si los elementos

de S los son tambin de T.

- Subconjunto de

S T- S es subconjunto de T

S no es subconjunto de T cuando algn elemento de S no lo es de T

ST

Ejemplo:

S={a, b, c, d} y T={a, b, c, d, e} vemos que S T Sin embargo si H={a, c, f}

notamos que:

f T H T

El conjunto vaco siempre es subconjunto de cualquier conjunto T.

Conjuntos equivalentes

Estos conjuntos se dan cuando los elementos de un conjunto corresponden con

los de un segundo conjunto de modo que cada elemento de cada conjunto tenga
uno, y solo uno asociado en el otro conjunto, decimos que hay correspondencia de
uno a uno en ambos conjuntos.

En definitiva dos conjuntos que pueden poner en correspondencia uno a uno entre
s, se dice que son equivalentes. Si A es equivalente a B se pone:

A~B

Ejemplo:

S={a, b, c, d} y T{, , , +}

Estos son equivalentes, puesto que podemos corresponder el uno con el otro

a b c d

Cardinalidad de un conjunto

Todos estamos en relacin con el conjunto ordenado de nmeros reales

N={1,2,3,4.} y el conjunto de nmeros enteros negativos. W={0, 1, 2, 3, 4..}

- Quiere decir que sabemos la sucesin

Contar es el proceso por el cual ponemos en correspondencia los elementos de

un conjunto con algn subconjunto de N, comenzando con 1 y usando los
elementos de N en orden y sin saltar ninguno.
Un subconjunto asi se llama subconjunto estndar de N

Ejemplo:

Comparando S={a, b, c, d, } con un subconjunto de N, comenzando en 1 y usando

los elementos de N en orden. Obtendremos la siguiente correspondencia uno a
uno

1 2 3 4

a b c d
El subconjunto de N es equivalente a {a, b, c, d}. Decimos que S tiene 4
elementos.

Cuando un conjunto S se equipara con un subconjunto estndar de N el ltimo

elemento de N usando se llama cardinalidad del conjunto S y se denota:

n(S)

Ejemplo:

(a), n(S)=4

Cuando el conjunto sea nulo la cardinalidad ser 0

Se necesita construir una definicin por separado ya que 0N y, por lo tanto no

hay sentido en equiparar elementos que no existen.

Cardinalidad de {3} es 1, ya que {3} se puede equiparar con {1} es decir que el
conjunto {3} tiene un miembro. La cardinalidad del conjunto {0} es 1

{} y {0}- Son diferentes

Dos nmeros no negativos, m y n, son iguales si ambos son la cardinalidad del

mismo conjunto o conjuntos equivalentes

m=n

Si m y n son nmeros enteros no negativos, decir que m es menor que n significa

que m es la cardinalidad.

n>m

Ejemplo:

S={a,b,c} y T={d, e, f, g, h}

Existe una correspondencia entre S y T

n(S) < n(T) n(S)=3 y n(T)=5

Conjuntos finitos e infinitos

Si se encuentra un subconjunto estndar de N que se pueda corresponder uno a

uno con un conjunto dado S, o si S es el conjunto vaco, decimos que S es finito, si
no, decimos que es infinito.
Conjunto finito

T= {a, b, c..., x, y, z} puesto que es igual a {1, 2, 3..., 25, 26}

Conjunto infinito

N= {1, 2, 3} No es posible equipararlo con ningn subconjunto estndar, pero

si hay conjuntos con los que se puede equiparar que no son estndar.

1 2 3 4

2 4 6 8

Subconjuntos especiales de N

Si K N, entonces {k, 2k, 3k, 4k, 5k.} se llama conjunto de todos los mltiplos
de K

Ejemplo:

Conjunto de los mltiplos de 3 {3, 6, 9, 12, 15.}

Recordemos que si x es mltiplo de K, K N, decimos que x es divisible entre K.

Si x N pero x 1 y si x no es divisible entre ningn numero natural diferente de 1

o de x, entonces x se llama numero primo.

Si x N pero x 1, y x no es primo, entonces x se llama numero compuesto

-Variables, conjuntos satisfactores, proposiciones abiertas y conjuntos verdad

Sea R= {1, 2, 3, 4, 5}

Si nos interesan varias propiedades de los elementos de este conjunto. Por

ejemplo, la propiedad de ser menores de 4 es una propiedad que mantienen los
elementos de R, pero no todos

1 < 4 = Verdadero 2 < 4 = Verdadero 3 < 4= Verdadero 4 < 4= Falso

5 < 4 = Falso

{1, 2, 3}- Conjunto de verdad de la proposicin abierta x es menor que 4

Ejemplo:

R= {1, 2, 3, 4, 5} es nmero par

1 es nmero par. Falso

2 es nmero par. Verdadero

3 es nmero par. Falso

4 es nmero par. Verdadero

5 es nmero par. Falso

Notacin de conjuntos por construccin

Simplemente damos una proposicin abierta para la cual el conjunto sea el

conjunto de verdad, por ejemplo, refirindonos al conjunto de R de la seleccin
1 10, R= {1, 2, 3, 4, 5} podamos especificar el conjunto M= {1, 2, 3} diciendo que
M es el conjunto de todas las x, elementos de R, tales que x es menor que 4

M= {x R| x es menor que 4}

Ejemplo:

E= { y N | y es par} se leera E es el conjunto de todas las y, elementos de y

tales que y es un numero par As E= {2, 4, 6, 8.}

Ejemplo:

G= {x N | 5 x = 43 = {} Se puede leer G que es el conjunto de todos los

nmeros naturales x tales que 5 x = 43, es el conjunto vaco

Combinacin de conjuntos

Existen dos formas importantes en las cuales se pueden combinar dos conjuntos
para formar un tercero, la primera es la unin y la segunda es la interseccin.
Si A y B son dos conjuntos, entonces la unin de A y B es el conjunto formado por
los elementos que son de A o de B o de ambos, y se denota por AB

Ejemplo:

A = {1, 2, 3, 4} y B= {3, 4, 5, c, d} AB = {1, 2, 3, 4, 5, c, d}

Si A y B son dos conjuntos entonces la interseccin de A y B es el conjunto

formado por los elementos que lo son de A y B simultneamente.
Se representa AB

A= {1, 2, 3, 4} y B = {2, 4, 5}

AB = {2, 4}

Complemento de un subconjunto

Cuando se habla de subconjuntos de un mismo conjunto, se suele llamar universo

al conjunto del cual los otros son subconjuntos y denotarlo por .
De este modo se puede, y es til, definir el complemento de un subconjunto de ,
entonces el complemento de S es el conjunto de los elementos de que no lo son
de S.

Complemento de S= S= S prima

Ejemplo

= {a, b, c, d, e, f, g, h, i, f} y S= {a, g, h, i} que es un subconjunto de

S= {b, c, d, e, f, j}

Unin= AB= {x | x A o x B}

Interseccin = AB= {x | x A y x B}

Complemento= A= { x |x A|

Grafica de un conjunto

Cuando pensamos en conjuntos ayuda a representarlos en un diagrama rodeando

un rea con una lnea cerrada.

Elemento del conjunto

a

b f

c
d

e
Representacin de un conjunto que se llama grafica o representacin grafica del
conjunto. Tambin se llama diagrama de Venn.

A
Unin de los conjuntos A y B AB

Interseccin AB

Si no hay interseccin significa que son ajenos

Representar A(BC)
Suponiendo que A es un subconjunto de B. Construir una grfica que represente
esta situacin, B ser el universo, sombrear el complemento de A respecto a B

Lgica

Estudio del razonamiento. Mediante el uso de ella podemos determinar como un

hecho puede resultar de otro, para usar la lgica existen dos tipos importantes de
razonamiento.
Razonamiento inductivo y deductivo.
El razonamiento inductivo es el medio por el cual una persona, en base de sus
experiencias especficas, decide aceptar como valido un principio general.
El razonamiento deductivo es, en cambio, el medio segn el cual esa persona usa
el principio general aceptado previamente para decidir sobre la validez de una
idea, que a su vez habr de determinar el curso de su accin.

Enunciados

La lgica, como en toda la matemtica, tratamos con proposiciones con las

caractersticas.
Debe ser posible decidir si una proposicin es verdadera, esto quiere decir que
todos los trminos y smbolos en una posicin deben estar definidos y tener
significado. En este caso debemos saber cul es el conjunto satisfactor y la
proposicin ha de ser falsa o verdadera.

Ejemplo:

7 es factor de 21

3x + 7= 5x 3 x conjunto de nmeros naturales

Proposiciones que no son enunciados

Un tringulo es menor que un circulo (Es menor que no tiene significado como
relacin entre figuras geomtricas)

3x + 7=5x 3. (El conjunto satisfactor no esta dado, por tanto no se puede saber
si la proposicin es falsa o verdadera).

Enunciados especficos y enunciados generales.

Un enunciado puede tener un conjunto verdad que sea subconjunto de su

conjunto satisfactor. Tal enunciado se llama enunciado general. Las proposiciones
abiertas simples en que hay variables son comnmente enunciados generales.

Ejemplo:

Sea x N. La proposicin abierta x es un nmero par es un enunciado general.

Si escogemos x=9, la proposicin se vuelve 9 es nmero par Este enunciado

es especifico. Tiene un valor de verdad: falso.

Grafica de un enunciado especifico

Si un enunciado especifico es una proposicin simple con alguna forma de verbo

ser como verbo, entonces se puede renunciar fcilmente para afirmar que un
objeto es elemento de cierto conjunto.

Se puede representar con el diagrama de Euler

Ejemplo:

+13 es nmero primo, este se puede representar como elemento del conjunto de
los nmeros primos.

Nmeros
primos

+13
Ejemplo:

Todos los hombres son animales Se puede representar

Animales

Hombres

Enunciados compuestos

Enunciados que se dan al combinar uno o mas de los mismos. Combinando de

diversos modos para formar un enunciado compuesto mediante conjunciones u
otros vocablos.

Tendrn un valor de verdad o conjunto verdad que depende de los valores verdad
o de los conjuntos verdad de los enunciados que lo componen.

Conjuncin de dos enunciados

Se forma unindolos mediante la conjuncin gramatical y. Esta es verdadera si

ambos enunciados originales son verdaderos.

Ejemplo:

Cuatro cuartos son un entero y dos monedas de 5 centavos valen lo que una de
10.

Ejemplo:

Sea x N la proposicin abierta x es un numero par y x < 10 es verdadera

para cualquier numero x, podemos poner su conjunto verdad como
{x N| x es par} y {x < 10}.

Nmeros
Nmeros menores que
pares 10
Grafica de un tipo importante de enunciados especifico

El tipo de enunciados que dice que un conjunto es subconjunto de otro

particularmente importante en lgica

Sea U = {1, 2, 3} un universo dado. Consideremos la proposicin abierta x es un

subconjunto de {1, 3}, donde el conjunto satisfactor de x es el conjunto de todos
los subconjuntos de U= {1, 2, 3}, es decir:

T= {, {1}, {2}. {3}, {1,2}, {1,3}, {2,3}, U}

Negacin de un enunciado

La negacin de un enunciado dado es otro enunciado que dice que el enunciado

dado es falsa.

Ejemplo:

x es par en donde x N

Escribamos Es falso que x sea par o x no es par

Nmeros
pares
Negacin de un enunciado compuesto

Considerando el enunciado x es impar y mltiplo de 3, en donde x N. Su

conjunto verdad aparece en el siguiente diagrama.

Es falso que x sea par y sea mltiplo de 3.

Nmeros
impares Mltiplos
de 3

Negacin de Es subconjunto de

Decir que S no es subconjunto de T significa que algn elemento de S no lo es de

T. Podemos interpretar algn con por lo menos uno Asi la negacin se puede
interpretar como al menos un elemento de S no lo es de T.

Ejemplo:

<<Todos los hombres son animales. La negacin es al menos un hombre no es

animal

Seres vivos

Animales

Hombres
Implicaciones

Una implicacin se puede formar de dos enunciados generales en un orden

particular, unindolos mediante las conjunciones si y entonces

Ejemplo:

Consideramos la implicacin Si x es un mltiplo de 4, entonces x es un numero

par, en donde x N la podemos redactar de otro modo, quedando Si x es un
elemento del conjunto de los mltiplos de 4, entonces x es un elemento del
conjunto de los nmeros pares. Con esto lo que hemos dicho es que el primer
subconjunto es un subconjunto del segundo.

Nmeros pares

Mltiplos de 4

Otras formas de una implicacin

Consideremos la implicacin << Si x es un elemento de S, entonces x es elemento

de T>>, esta implicacin establece que S es un subconjunto de T. Por tanto, la
oracin x es un elemento de S solo si x es un elemento de T

T
Reciproca o inversa de una implicacin

La inversa de una implicacin es el enunciado que se obtiene al cambiar el orden

de los enunciados de la implicacin. Pero manteniendo si y entonces en los
mismos lugares de la proposicin

Enunciados equivalentes

En geometra hay un enunciado verdadero que dice si un triangulo es issceles

entonces tiene dos ngulos iguales, esto se puede replantear como Si un
tringulo es el elemento del conjunto de todos los tringulos que tienen dos
ngulos iguales.

Tringulos
Issceles

Tringulos con dos ngulos

iguales
Cadena de implicaciones.

Consideramos las dos implicaciones

Si x es elemento de S, entonces x es elemento de T

Si x es elemento de T entonces x es elemento de U

.x

T
U
Razonamiento deductivo

Proceso de usar uno o ms silogismos, partiendo de hechos conocidos o

supuestos, para llegar a nuevos hechos, pero para lograr este proceso primero
debemos aclarar para nosotros que son hechos conocidos o supuestos.

Ejemplo:

-Si un nmero termina en 0 o 5 , entonces 5 lo divide

-10215 termina en 5

-Por tanto, 5 divide a 10215

Demostracin Enunciado-Justificacin

Aun la sencilla demostracin anterior se vuelve difcil plantearla en un diagrama.

Ejemplo:

Demostrar que 45 divide a 10215

Demostracin:

Enunciado

5 divide a 10215

1+0+2+1+5=9

9x1= 9

9 divide a 9

Por tanto, 9 divide a 10215

Por consiguiente, 45 divide a 10215