Matemticas

La matemtica es una ciencia formal que, partiendo de axiomas y

siguiendo el razonamiento lgico, estudia las propiedades y relaciones
entre entidades abstractas con nmeros, figuras
geomtricas o smbolos, pese a que tambin es discutido su carcter
cientfico. Las matemticas se emplean para estudiar relaciones
cuantitativas, estructuras, relaciones geomtricas y las magnitudes
variables. Algunas definiciones clsicas restringen las matemticas al
razonamiento sobre cantidades, aunque solo una parte de las
matemticas actuales usan nmeros, predominando el anlisis lgico
de construcciones abstractas no cuantitativas.
ALGEBRA
Rama de la matemtica en la que se usan letras para representar
relaciones aritmticas. Al igual que en la aritmtica, las operaciones
fundamentales de algebra son adicin, sustraccin, multiplicacin,
divisin y calculo de races
La historia de algebra comenz en el antiguo Egipto y Babilonia,
donde fueron capaces de resolver ecuaciones lineales (ax=b) y
cuadrticas (ax2 + bx = c), as como ecuaciones indeterminadas como
x2 +y2 = z2, con varias incgnitas. Los antiguos babilonios resolvan
cualquier ecuacin cuadrtica empleando esencialmente los mismos
mtodos que hoy se ensean.




Lgica Proposicional
Simplificar Proposiciones
Las propiedades que son elementales para la simplificacin de
proposiciones (lgica) de algebra son :
1.- Involucion.
a). - (-p) p
2.- Distributividad
a). de la conjuncin respeto de la disyuncin
(p v q) . r (p . r) v (q . r)
b). de la disyuncin respecto de la conjuncin
(p . q) v r (p v r) . (q v r)
3.- Leyes de Morgan
a). La negacin de una disyuncin es equivalente a la conjuncin de
las negaciones
-(p v q) -p . -q
b). La negacin de una conjuncin es equivalente a la disyuncin de
las negaciones
-(p . q) -p v -q




CONJUNCION DISYUNCION
IDEMPOTENCIA (p . p) p
(q . q) q
(p v p ) p
(q v q ) q
CONMUTATIVIDAD p . q q . p p v q q v p
ASOCIATIVIDAD (p . q) . r p . (q . r) (p v q) v r p v (q v r)

Relaciones
Tipos de relaciones:
Relacin inversa
Definicin : Si R es una relacin inversa definida en un conjunto A, se
llama relacin inversa de R al conjunto R-1 al conjunto R-1 =
{(y;x)/(x;y) e R}
Ejemplos: a) Si A = {0,1,2 } y R = {(0;2) , (1;0) , (2;1) } R-1 = {(2; 0) ,
(0; 1) , (1; 2) }
RELACIONES DE EQUIVALENCIA
Definicin: una relacin R en un conjunto A es de equivalencia si y
slo s es reflexiva, simtrica y transitiva. O sea, una relacin binaria
siiz en un conjunto A es una relacin de equivalencia s y
slo si posee las siguientes propiedades: E1: a e A a ~ a E2: a ~ b
b ~ a E3: (a ~ b . b ~ c ) a ~ c
Ejemplo La relacin de cngruenci u n pr n ner
natural, definida en el conjunto de los nmeros enteros, es una
relacin de equivalencia. Se dice que dos nmeros son congruentes
mdulo n o que pertenecen a la misma clase residual mdulo n
cuando tienen el mismo resto en la divisin por n. Y se escribe: a b
n es cngruente u n cn Se Z e cnjunt e s enters
y a c(3 a b = 3q con q e Z
Demostracin
E1: a e Z, a a = 0 a a(3 E2: a e Z, b e Z, a b 3q b
a = 3 (-q) o sea a b(3 b a(3 E3: a e Z, b e Z, c e Z, ( a
b = 3q . b c = 3q a c = 3q + q = 3 h se b(3 . b
c(3 ) a c(3
Clases de Equivalencia y conjunto cociente
Ya se ha probado que la relacin de congruencia mdulo n, definida
sobre el conjunto Z de los enteros, es una relacin de equivalencia. Si
se considera en especial la congruencia mdulo 3, esta relacin
produce una particin del conjunto Z en tres clases no vacas y
disjuntas:
Clases de equivalencia:
Z 0 = { ..., -9, -6, -3, 0, 3, 6, ... } Z 1 = { ..., -8, -5, -2, 1, 4, 7, ... } Z 2 =
{ ..., -7, -4, -1, 2, 5, 8, ... } Se observa que cada nmero entero
pertenece a uno y slo uno de estos subconjuntos de Z y que la unin
de Z0, Z1 y Z2 es el conjunto Z. El conjunto formado por estas tres
clases de equivalencia es el conjunto cociente de Z sobre la
congruencia mdulo 3, y se indica Z/
Clase de Equivalencia
Definicin: Si A es un conjunto, ~ una relacin de equivalencia definida
en A y a un elemento cualquiera de A, entonces Ca es una clase de
equivalencia en A, respecto de la relacin ~, si y slo si Ca es el
subconjunto de A formado por todos los elementos de A equivalentes
al elemento a. Ca = {x / x e A . x ~ a}
Conjunto Cociente A/~ es el conjunto cociente del conjunto A sobre la
relacin de equivalencia definida en A, s y slo si es el conjunto de
todas las clases de equivalencia determinadas sobre A por dicha
relacin. A/~ = {Ka , Kb, ..., Kn}
PARTICIN DE UN CONJUNTO
Una relacin de equivalencia produce una particin del conjunto A si y
slo si:
a) A es la unin de las clases de equivalencia
b) Las clases de equivalencias son disjuntas de a pares.
c) Las clases de equivalencias son no vacas.
Relaciones funcionales
Definicin: Una relacin f entre elementos de un conjunto A y
elementos de un conjunto B es una funcin o aplicacin de A en B si y
slo si, verifica las siguientes condiciones:
1) Condicin de Existencia: x e A, - y e B / (x ; y) e f
2)Condicin de Unicidad: | (x ; y) e f . (x ; z) e f | y = z
Relaciones entre variables Para describir una relacin entre dos
variables x e y, utilizando una funcin, es necesario encontrar una ley
que asigne a cada valor de x ( variable independiente), un nico valor
de y (variable dependiente). En la situacin de cada libre de la
piedra- t es la variable independiente, h es la variable dependiente, y
la frmula h(t) = 80 5t 2 es la ley o propiedad que asigna a cada
valor de t un nico valor de h .
Una funcin f queda determinada por: Un conjunto A llamado dominio.
Un conjunto B llamado codominio. Una ley que asocia a cada
elemento x del conjunto A un nico elemento de B. Veamos esto
grficamente:
Dominio y Codominio
El dominio de una funcin es el conjunto formado por todos los valores
que toma la variable independiente x y se simboliza Dom( f ) En la
situacin 1, de la piedra, el dominio de la funcin es el intervalo | 0 ; 4 |
El codominio de una funcin f es un conjunto que contiene a todos los
valores que puede tomar la funcin. Las funciones estudiadas, en este
curso, tendrn como dominio al conjunto de los nmeros R o a un
subconjunto del mismo, y como codominio igual a R.
Imagen de una funcin Cada elemento y est asociado a un elemento
x e ini e f , se igen e x y se escrie fx se ee efe
e x. En situcin 1, e vor h = 0 est asociado a t = 4, que es un
elemento perteneciente al dominio de la funcin; 0 es la imagen de 4 y
se escribe h(4). El conjunto formado por todas las imgenes de los
elementos del dominio de f se llama imagen de f y se simboliza Im(f).
Observemos que la imagen est contenida en el codominio. En la
situacin 1, la imagen de la funcin es el intervalo | 0 ; 80 |




Funciones
Clasificacin de las funciones
Dados dos conjuntos X, Y, consideremos a todas las posibles
aplicaciones (funciones) que pueden formarse entre estos dos
conjuntos. Podemos diferenciar los siguientes casos:

Si a cada imagen le corresponde una nica preimagen, es inyectiva.
Si la imagen de la funcin es igual al codominio, es sobreyectiva.
Una funcin que sea inyectiva y sobreyectiva simultneamente, se
denomina biyectiva .
Puede haber funciones que sean sobreyectiva o inyectivas pero no
biyectiva .Si no se cumple ninguna de esas condiciones, no tiene un
nombre especfico.
La funcin es inyectiva si, y 'solo si, la ecuacin tiene a lo ms una
solucin.
La funcin es biyectiva cuando, y slo cuando, es inyectiva y
subreyectiva a la vez.
En una funcin inyectiva, cada elemento imagen tiene nica
preimgen. Una funcin que no sea inyectiva, tendr al menos dos
elementos diferentes del dominio que tienen la misma imagen.
En una funcin sobreyectiva cada elemento del codominio es imagen
de algn elemento del dominio. Una funcin no ser sobreyectiva,
cuando al menos un elemento del codominio (conjunto final) no tenga
una preimagen.
En el diagrama de Venn corresponden a las aplicaciones que
pertenecen a A y no pertenecen a B, esto es las que pertenecen a la
diferencia de A y B: A-B..




Aplicacin no inyectiva y sobreyectiva

Una aplicacin no inyectiva tiene al menos un elemento imagen que
tiene dos o ms orgenes y una sobreyectiva todos los elementos del
conjunto final tienen al menos un elemento origen.
En el diagrama de Venn corresponden a las aplicaciones que no
pertenecen a A y si pertenecen a B, esto es las que pertenecen a la
diferencia de B y A: B-A.

Aplicacin inyectiva y sobreyectiva (biyectiva)

Si una aplicacin es inyectiva y sobreyectiva simultneamente, se
denomina biyectiva. Por ser inyectiva los elementos que tienen origen
tienen un nico origen y por ser sobreyectiva todos los elementos del
conjunto final tienen origen.
En el diagrama de Venn el conjunto A es el de las aplicaciones
inyectiva y el conjunto B el de las aplicaciones sobreyectiva, las
aplicaciones biyectiva, que son inyectiva y sobreyectiva, ser la
interseccin de A y B.