Iniciacion al Algebra

Abstracta
Dr. Jose Antonio Martnez Garca
August 21, 2015


Iniciacion al Algebra
Abstracta


PRESENTACION

El siguiente papel de trabajo esta escrito para los futuros profesores de

matematica, quienes inician su formacion en el area de Algebra,

en el Instituto Pedagogico Rural El Macaro.


Iniciacion al Algebra
Abstracta

UNIDAD 1: NOCIONES ELEMENTALES DE

LOGICA
MATEMATICA

Este primer captulo trata sobre el manejo de la informacion matematica,

esto es, se estudian las formas de abordar el lenguaje utilizado para la comunicacion de conceptos matematicos . Es importante esta tematica, ya
que durante el proceso de formacion de un profesor de matematica se usa
un lenguaje no contradictorio, ni ambivalente que regula el razonamiento.
noident Se consideran dos fines didacticos
1. logica proposicional
2. logica funcional

1.- L
ogica Proposicional
Las oraciones sobre las que podemos decidir, unvocamente, sobre su veracidad ( o verdadero o falso) se conocen como proposiciones. As, una
proposicion es una proposicion es una frase que es verdadera (V) o falsa (F)
, no existiendo la posibilidad de obtener ambas deciciones conjuntamente
(Principio del tercer excludo).
Las proposiciones, generalmente, se denotan con las letras p,q,r que resumen, en un contexto particular, una informacion.
5


Iniciacion al Algebra
Abstracta
Ejemplo 1.1.1 p resume, en este ejemplo, a la proposicion Hoy es sabado
15 de agosto, lo que se denota p:Hoy es sabado 15 de agosto
Ejemplo 1.1.2 Las siguientes frases son proposiciones
1. q: x+6=10 y x=4
2. r: Si x es un n
umero real, entonces x2 es no negativo.
Nota: Las expresiones interrogativas y las exclamativas no son proposiciones. Por que?

1.1.- Conectivos
Las proposiciones pueden ser atomicas o compuestas seg
un expresen una o
varias acciones. Las proposiciones compuestas indican acciones atribuidas a

uno o mas sujetos. Estas

pueden expresarse en varias proposiciones atomicas
ligadas por conectivos, que son smbolos utilizados en la logica para crear
nuevas proposiciones a partir de las atomicas.
Los conectivos son
: se lee no
: se lee y
: se lee o
: se lee .si..., entonces...
: se lee ...si y solo si...
Nota: El smbolo no es conectivo, dado que se aplica a una sola proposicion.
Algunos autores indican que es una constante logica.
6

Prof. Jose Antonio Martnez IPR El Macaro

Si p, q, r, s son proposiciones, tambien lo son
1. p
2. pq
3. pq
4. p(qr )

1.2.- Tablas de Verdad

Las proposiciones compuestas tambien tienen su valor de verdad. Para
estas, la determinacion de los valores de verdad quedan sujetas a las definiciones de los conectivos, los cuales se dan en forma tabular o en Tablas de la
Verdad, tal como se muestra a continuacion.

Tabla de Verdad de la Negaci

on ()
Dada la proposicion atomica p, existe la negacion de ella, denotada p,
que se lee no p; tabla correspondiente es
p p
V F
Es claro que el valor veritativo de p es el contrario de p. Por ejemplo, si
p es
p: Turmero es ciudad de Aragua
es verdadero, entonces p es
p:Turmero no es ciudad de Aragua es falso.


Iniciacion al Algebra
Abstracta
Tabla de Verdad de la Conjunci
on ()
Dadas las proposiciones p y q, la proposicion compuesta pq se
define por la tabla
p
V
V
F
F

q pq
V
V
F
F
V
F
F
F

Tabla de Verdad de la Disyunci

on Inclusiva ()
Dadas las proposiciones p y q, la proposicion compuesta pq se
define por la tabla
p
V
V
F
F

q pq
V
V
F
V
V
V
F
F

Tabla de Verdad de la Disyunci

on Exclusiva ()
Dadas las proposiciones p y q, la proposicion compuesta pYq se
define por la tabla
p
V
V
F
F

q pYq
V
F
F
V
V V
F
F

Prof. Jose Antonio Martnez IPR El Macaro

Tabla de Verdad de la Implicaci
on ()
Dadas las proposiciones p y q, la proposicion compuesta pq se
define por la tabla
p q
V V
V F
F V
F F

pq
V
F
V
V

Tabla de Verdad de la Equivalencia ()

Dadas las proposiciones p y q, la proposicion compuesta pq se
define por la tabla
p
V
V
F
F

q pq
V
V
F
V
V
V
F
V


Iniciacion al Algebra
Abstracta

10

UNIDAD 2: TEORIA DE CONJUNTOS

2.1.- Nocion de Conjunto

El concepto de Conjunto se trata, en este trabajo, desde un punto de
vista intuitivo, dejando para discusiones posteriores el tratamiento formal
del mismo.
En lo cotidiano entendemos la idea de Conjunto como una agrupacion,
reunion, coleccion de Elementos, de modo que queda implcita una relacion
intrnseca entre Conjunto y Elemento. Esta relacion se conoce como Relacion
de Pertenecia, concepto que, junto a los anteriores, permite desarrollar la
Teora intuitiva de Conjuntos
Los Conjuntos los denotaremos con letras may
usculas, los elementos con
letras minusculas y se usa el smbolo para indicar si un elemento pertenece
a un Conjunto y
/ para cuando no pertenece, como se indica en el siguiente
ejemplo:
A={ a,b,6,M }. bA,m A
/
2.2.- Observaciones sobre la nocion de Conjunto
2.2.1.- Se dice que un conjunto esta bien definido si se puede asegurar en
un memento dado si un determinado objeto es un elemento o no del conjunto,
esto es, si no hay dudas acerca de la pertenencia de un elemento al conjunto.
11


Iniciacion al Algebra
Abstracta
Por ejemplo, el conjunto B ={3,17,c,m} esta bien definido, ya que podemos
decir sin vacilacion que 17B, pero 5B.
/ En cambio, el conjunto M ={los
alumnos excelentes del IPR El Macaro} no esta bien determinado, dado que
un estudiante del IPREM puede ser excelente para un profesor pero no para
otro. Esto se debe a que la condicion de pertenecia al conjunto depende de
un juicio valorativo
2.2.2.- La proposicion x x es falsa. Por que?
2.3.- Determinacion de conjuntos. Los conjuntos quedan determinados
por la descripcion de sus elementos, lo que permitira discernir si un objeto
esta o no en el conjunto. Esta descripcion puede ser por observacion o por
conocimiento de una caracterstica com
un de los elementos del conjunto.
En el primer caso, se dice que los conjuntos se dan por Extension y en el
segundo por Comprension. El inconveniente para este metodo de listado
o enumeracion de los elementos del conjunto es que estos deben poseer un
n
umero finito de elementos y, en la practica, por un n
umero muy peque
no.
Que hacer cuando los elementos del conjunto no pueden enumerarse o se
pueden enumerar pero son muchos?
Cuando el n
umero de elementos del conjunto no se puede precisar (como el
de los n
umero impares) o demasiado numeroso (como el de todas las palabras
que pueden formarse con el alfabeto latino) se utiliza el metodo de definicion
por intension, que consiste en la descripcion de un conjunto como la extension
de un predicado, esto es, mediante una o varias propiedades (el predicado)
que caracterizan a los elementos de ese conjunto.
2.3.1.- Un conjunto puede ser elemento de otro conjunto. Puedes dar un
ejemplo y discutirlo con sus compa
neros de clase?
2.4.- Conjuntos particulares. .- Se denomina Conjunto Universal al que
es utilizado como referencia al mencionar un conjunto cualquiera. Se denota
con el smbolo U.
Se denomina Conjunto vaco al que no posee elementos. Se denota con
la letra griega

12

Prof. Jose Antonio Martnez IPR El Macaro

2.5.- Inclusion de Conjuntos.
Definicion: Sean A y B dos conjuntos. Se dice que B es subconjunto de
A o que B esta contenido en A si cada elemento de B es elemento de A. Esto
se denota por B A. En notacion simbolica
B A (x U)(x B xA)
U

Si no se da esta condicion, se dice que B NO es subconjunto de A lo que

se simboliza como
B *A (x U)(x B xA)
/
U

13


Iniciacion al Algebra
Abstracta
2.6.- Igualdad de Conjuntos.
Se dice que dos conjuntos A y B son iguales, lo que denotamos A=B, si
TODOS los elementos de A son elementos de B y viceversa. Simbolicamente
B =A (x U)(x B xA)
2.7.- Operaciones con Conjuntos.
Dados, al menos, dos conjuntos es posible construir otro mediante Opera
ciones entre Conjuntos. Estas
se definen a continuacion.
2.7.1.- Union de Conjuntos.
Sean los conjuntos A y B. El conjunto
AB ={x U|x A xB }
se conoce como A union B

AB

En atencion a esta definicion, es inmediato que

x AB (xAx B )

14

Prof. Jose Antonio Martnez IPR El Macaro

2.7.2.- Interseccion de conjuntos

Sean los conjuntos A y B. El conjunto

AB ={x U|x A xB }
se conoce como A union B

AB

En atencion a esta definicion, es inmediato que

x AB (xAx B )

15


Iniciacion al Algebra
Abstracta
2.7.3.- Diferencia de conjuntos.

Sean los conjuntos A y B. El conjunto

A-B ={x U|x A xB
/ }
se conoce como A union B

AB

En atencion a esta definicion, es inmediato que

x A-B (xAx
/ B)

16

Prof. Jose Antonio Martnez IPR El Macaro

2.7.4.- Diferencia Simetrica de conjuntos.

Sean los conjuntos A y B. El conjunto

A4B ={x U|x (A B) x(AB)}
/
se conoce como Diferencia simetrica de A y B

A4B

En atencion a esta definicion, es inmediato que

x A4B (x(A B) x(AB))
/

17


Iniciacion al Algebra
Abstracta
En la teora conjuntista hay proposiciones que se conocen como Ax
iomas. Estas
son verdaderas para cualquier conjunto; no ameritan una demostracion para verificarla. Por elejmplo,
A, A
Notemos que la proposicion x xA. Por que?. Como justifica la
verdad del axioma?

18

UNIDAD 3: RELACIONES BINARIAS

19


Iniciacion al Algebra
Abstracta

20

UNIDAD 4: FUNCIONES

21


Iniciacion al Algebra
Abstracta

22

UNIDAD 5: ESTRUCTURAS ALGEBRAICAS

23


Iniciacion al Algebra
Abstracta

24

REFERENCIAS

25