TEORA DE CONJUNTO

RELACIN BINARIA Son relaciones elemento a elemento entre los elementos de un mismo conjunto. Dados dos elementos a y b pertenecientes ambos al conjunto A, para expresar que a est relacionado con b escribiremos a R b, que se lee a est relacionado con b. As, pues, una relacin binaria es una correspondencia entre los elementos de un mismo conjunto. La diferencia entre aplicaciones y relaciones binarias est en que las aplicaciones son correspondencias de elementos entre distintos conjuntos y las relaciones binarias, correspondencias entre los elementos de un mismo conjunto. Una relacin binaria se puede representar mediante: a) Diagrama de Venn Dado el conjunto A = {a, b, c, d} la relacin que aparece en el diagrama de Venn indica que: el elemento a est relacionado consigo mismo; el elemento b est relacionado con el c y el c lo est con el d.

b) Conjunto de pares Segn esta forma de expresin, la relacin binaria del diagrama de Venn anterior sera:R = {(a, a), (b, c), (c, d)} c) Diagramas cartesianos

La expresin matemtica de una relacin binaria es: x, y C,x R y (x, y) R C C

En efecto, si se forma el producto cartesiano de un conjunto consigo mismo (CC) una relacin binaria ser un subconjunto K formado por varios pares, pertenecientes todos ellos al producto cartesiano CC. K es un subconjunto de CC

Los productos cartesianos aparecen muy frecuentemente en matemticas. Por ejemplo, el plano de los nmeros complejos es R x R, donde R es la recta real, o conjunto de todos los nmeros reales. La superficie terrestre es producto cartesiano de la circunferencia del ecuador por la del meridiano origen, pues cada punto aparece determinado por el par ordenado (longitud-latitud). La superficie lateral de un cilindro puede considerarse como el producto cartesiano de la circunferencia de un crculo (base) por un segmento rectilneo (generatriz), tomados estos tres elementos superficie lateral, circunferencia y generatriz como conjuntos de puntos.

RELACIN DE EQUIVALENCIA Est implcitamente ligado a todo el desarrollo de la matemtica, pues es fundamental en cualquier proceso de abstraccin. La igualdad, las congruencias en el conjunto de los nmeros enteros, el paralelismo de rectas o planos son relaciones de equivalencia. Se dice que una relacin binaria es de equivalencia, si cumple las tres propiedades siguientes: reflexiva, simtrica y transitiva. Haciendo uso del lenguaje matemtico se tendra: 1.) a C a a propiedad reflexiva que se lee: para todo elemento perteneciente al conjunto C en el que se ha definido la relacin binaria se cumple que a est relacionado con a. 2.) a, b, a,b C, si a b b a, propiedad simtrica, que se lee: para todo elemento ay para todo elemento b, ambos pertenecientes al conjunto C en el que se ha definido la relacin binaria, si se cumple que a est relacionado con b, entonces b est relacionado con a. 3.) a, b, c, a, b, c C, si a b b c a c, propiedad transitiva que se lee: para todos los elementos a, b, c, siendo a, b, c pertenecientes al conjunto C en el que se ha definido la relacin binaria, si a est relacionado con b y b lo est con c, entonces necesariamente a est relacionado con c. Ejemplo: En el conjunto de las rectas del plano C se considera la relacin ser paralela a....

Como puede observarse en el grfico, cualquier recta del plano es paralela a s misma; luego se cumple la propiedad reflexiva, que dice: r, r C, r r Adems, si una recta r1 es paralela a otra r2, necesariamente r2 es paralela a r1, luego se cumple la propiedad simtrica:

r 1, r 2, r 1, r 2C
si r1 r2 r 2 r1 Por ltimo, si una recta del plano r1es paralela a otra r2 y esta ltima es paralela a una tercera r3, entonces necesariamente r1es paralela a r3, luego se cumple la propiedad transitiva:

r1 r2 r3, r1, r2, r 3C

si r1 r2 r2 r3 r1 r

RELACIN DE ORDEN Existen distintos tipos de relaciones de orden, atendiendo, por un lado, a las propiedades que cumplen y, por otro, a los elementos que estn relacionados. Se dice que una relacin binaria es de orden amplio cuando cumple las propiedades reflexiva, anti-simtrica y transitiva. Si nicamente cumple las propiedades anti-simtrica y transitiva, se dice que es de orden estricto. En cuanto a los elementos que se relacionan entre s, una relacin es de orden total cuando todos los elementos del conjunto se relacionan entre s, lo que se traduce en un diagrama lineal, como se ver ms adelante. Se dice que una relacin es de orden parcial cuando slo algunos de los elementos se relacionan entre s. Esta relacin se expresa mediante un diagrama ramificado.

Ejemplo: En el conjunto de los nmeros N se considera la relacin ser menor o igual que (el smbolo de menor o igual es donde , significa menor y significa menor o igual: Comprobamos que se trata de una relacin de orden amplio total. En efecto, es de orden amplio porque cumple las tres propiedades: reflexiva, antisimtrica y transitiva. 1) reflexiva, ya que cada nmero es igual a s mismo: 1=1 6=6 9=9 23 = 23 Entre otros... 2) anti-simtrica, ya que si un nmero a es menor que otro b, el segundo es forzosamente mayor que el primero, luego si: aRb b R a a, b, a, b N 1 6 => 6 1 3) transitiva, ya que si un nmero a es menor que otro b y este nmero b es menor que otroc, forzosamente a es menor que c luego: aRb bRc aRc a, b, c, a, b, c N que se lee si a est relacionado con b y b est relacionado con c, entonces a est relacionado con c, siendo a, b, c nmeros cualesquiera pertenecientes al conjunto N de los nmeros. Esta relacin ser menor o igual es adems de orden total, ya que todos los elementos (los nmeros l, 6, 9, 23 en este caso) se pueden colocar de modo que estn ordenados por esta relacin. En efecto: 1 , 6 , 9 , 23; adems, y como resulta lgico por tratarse de una relacin de orden total, el diagrama de representacin es lineal.

FUNCION: DOMINIO E IMAGEN Se entiende por funcin toda aplicacin entre conjuntos numricos. En este caso el conjunto original coincide con el inicial y el conjunto imagen con el final. La expresin matemtica es f(x) =y.

En toda funcin los elementos del conjunto imagen siempre proceden de algn elemento del conjunto original. Es decir, que el conjunto imagen est formado por elementos y que cumplen estas dos condiciones: 1) B 2) x, x A/ f(x) = y Ejemplo: En el conjunto de los nmeros naturales menores de 5 se establece la siguiente correspondencia: a cada nmero se le hace corresponder su cuadrado (f(x)= y = x2). Dicha correspondencia es una aplicacin, ya que a cada elemento del conjunto original (x) le corresponde uno y uno slo del conjunto imagen (y), siendo y una determinada funcin de x. El grafo G de esta aplicacin sera: G = {(1,1), (2,4), (3,9), (4,16)} Los conjuntos original e imagen seran respectivamente: A = {1, 2, 3, 4} y B = {1, 4, 9, 16} En este caso, puesto que la correspondencia es una aplicacin y los conjuntos original e imagen son numricos, se trata de una funcin:

TIPOS DE FUNCIN

INYECTIVA

Una aplicacin se llama inyectiva cuando cada uno de los elementos del conjunto final escomo mximo imagen de uno del original, o no es imagen de ninguno:

As, la correspondencia definida en el grfico superior es, en primer lugar, una aplicacin (todos los elementos del conjunto original x 1, x 2 tienen imagen y slo tienen una imagen).Dicha aplicacin es, adems, inyectiva, puesto que cada elemento del conjunto final es como mximo imagen de uno del original. (Los elementos y 1 e y 2 son imagen de un elemento del original y el y 3 no lo es de ninguno).Como puede observarse, para saber si una aplicacin es inyectiva basta fijarse en el conjunto final. Esta norma es vlida para todas las clases de aplicacin. Las condiciones que caracterizan a una aplicacin inyectiva se leen abreviada y respectivamente como sigue: 1) Dados dos elementos del conjunto original, si estos elementos son distintos, sus imgenes tambin lo sern; 2) Todo elemento perteneciente al conjunto imagen de la aplicacin es imagen de un solo elemento del conjunto original. Ejemplo: A={1, 3, 8} B={4, 6, 11, 13, 15} C={(1,4), (3,6), (8,11)}

Esta correspondencia es una aplicacin, ya que todo elemento de A tiene imagen y slo una imagen. Es una aplicacin inyectiva, ya que cada elemento del conjunto final es imagen a lo sumo de un elemento del conjunto original.

SOBREINYECTIVA

Una aplicacin es exhaustiva cuando todos los elementos del conjunto final son al menos (uno o ms) imagen de un elemento del conjunto original:

Obsrvese en el grfico anterior, ejemplo de aplicacin exhaustiva, que todos los elementos del conjunto final son por lo menos imagen de un elemento del conjunto original.

Las condiciones que caracterizan a una aplicacin exhaustiva se leen respectivamente, del siguiente modo: 1) para todo elemento perteneciente al conjunto final (y) existe algn elemento del conjunto original (x) tal que f(x);2) el conjunto imagen por la aplicacin coincide con el conjunto final. Ejemplo: La aplicacin entre los conjuntos A = {Juan, Pedro, Luis, Jos} y B = {Martnez, Prez, Garca}, cuya representacin grfica es la de la figura adjunta, es exhaustiva pues todo elemento de B tiene por lo menos una anti-imagen en A:

ESTRUCTURAS ALGEBRAICAS: SISTEMTICO En matemticas, una estructura algebraica es un conjunto de elementos con unas propiedades operacionales determinadas; es decir, lo que define a la estructura del conjunto son las operaciones que se pueden realizar con los elementos de dicho conjunto y las propiedades matemticas que dichas operaciones poseen. Un objeto matemtico constituido por un conjunto no vaco y algunas leyes de composicin interna definida en l es una estructura algebraica. Las estructuras algebraicas ms importantes son:

Estructura Magma Semigrupo Monoide Monoide abeliano Grupo Grupo abeliano

Ley interna

Asociatividad

Neutro

Inverso

Conmutatividad

Estructura (A,+,) Semianillo Anillo Cuerpo

(A,+) Monoide abeliano Grupo abeliano Grupo abeliano

(A,) Monoide Semigrupo Grupo abeliano

GRUPO CONCEPTO DE ANILLO En teora de grupos, disponemos de un conjunto con una nica operacin. Sin embargo, estamos acostumbrados a trabajar con nmeros enteros, racionales, reales y complejos, en los cuales existen dos operaciones. La estructura de anillo es una abstraccin de las propiedades, intuitivamente evidentes, de estos nmeros El concepto de Anillo se obtiene como una generalizacin de los nmeros enteros, en donde estn de unidas un par de operaciones, la suma y el producto, relacionadas entre si por una ley de distributividad. Los anillos pues son estructuras algebraicas ms completas que los grupos, pero sin embargo en el estudio de sus propiedades ms importantes, nos apoyamos a lo largo de toda la exposicin en nuestra experiencia con los grupos. La razn para esto es muy simple, pues todo anillo es un grupo en s mismo. En lgebra, un anillo es una estructura algebraica formada por un conjunto (A), y dos operaciones: suma y producto: (A+,*); de modo que (A,+) es un grupo conmutativo con elemento neutro (que designamos 0), y el producto * es asociativo y tiene la propiedad distributiva respecto de la suma. Si el producto es conmutativo hablaremos de un anillo conmutativo y si el anillo posee un elemento neutro para el producto, lo llamaremos anillo con unidad (a la que designaremos 1)

El ejemplo ms intuitivo y familiar de un anillo es el conjunto de los nmeros enteros: ... -4, -3, -2, -1, 0, 1, 2, 3, 4, ... junto con las operaciones binarias de la suma y la multiplicacin. Histricamente, el conjunto Z de los enteros con sus dos operaciones sirvi de base para la formulacin del concepto de anillo. La razn por la cual estas tres cosas forman un anillo, es porque poseen las siguientes propiedades: 1. Los nmeros enteros estn cerrados bajo la suma: dados dos nmeros enteros a y b, se cumple que a + b es un nmero entero. 2. La suma es asociativa: dados tres nmeros enteros a, b y c, se cumple que (a + b) + c = a + (b + c). 3. Existe un elemento neutro para la suma: para todo nmero entero a, a + 0 = 0 + a = a. 4. Existe un elemento simtrico para la suma: para todo nmero entero a, siempre existe algn nmero entero b, tal que a + b = 0. 5. La suma es conmutativa: dados dos nmeros enteros a y b, se cumple que a + b = b + a. 6. Los nmeros enteros estn cerrados bajo la multiplicacin: dados dos nmeros enteros a y b, se cumple que a b es un nmero entero.

7. La multiplicacin es asociativa: dados tres nmeros enteros a, b y c, se cumple que (a b) c = a (b c). 8. Existe un elemento neutro para la multiplicacin: para todo nmero entero a, a 1 = a. 9. La multiplicacin es distributiva respecto de la suma: a (b + c) = (a b) + (a c).

ESPACIO VECTORIAL es una estructura algebraica creada a partir de un conjunto no vaco, una operacin interna (llamada suma, definida para los elementos del conjunto) y una operacin externa (llamada producto por un escalar, definida entre dicho conjunto y un cuerpo matemtico), con 8 propiedades fundamentales. A los elementos de un espacio vectorial se les llama vectores y a los elementos del cuerpo, escalares. Un espacio vectorial es una terna (V, +, ), donde V es un conjunto no vacio y +, son dos operaciones del tipo +: V V R, : R V V a las que llamaremos suma de vectores y producto por escalares respectivamente y con las siguientes propiedades: denotando + (u, v) = u + v y (, v) = v, 1. u + (v + w) = (u + v) + w, u, v, w V (asociativa). 2. u + v = v + u, u, v V (conmutativa). 3. Existe e V tal que e + v = v + e = v, v V (elemento neutro). 4. Para cada v V existe w tal que v + w = w + v = e (elemento opuesto). 5. (v) = ()v, v V , , R (seudo-asociativa). 6. (u+v) = u+v y (+)v = v +v, u, v V y , R (distributiva). 7. 1v = v,v V (unimodular). De forma abreviada, diremos que V es un espacio vectorial. A los elementos de V lo llamamos vectores y a los de R, escalares.

CUERPO Y SUBCUERPO ESPACIAL VECTORIAL Cuerpo: Es el conjunto de nmeros y operaciones cualesquiera que deben obedecer las diez propiedades algebraicas que mencionamos en operaciones bsicas de espacios vectoriales. Sub cuerpo: Si se operan escalares en forma de sub cuerpo C y se operan bajo la suma y la multiplicacin por un escalar estos escalares no deben salirse del sub espacio determinado y las operaciones de prueba son las mismas que se han mencionado con anterioridad.

SUBESPACIO VECTORIAL

Sea

un espacio vectorial sobre

no vaco,

es un sub-espacio vectorial de

si:

Consecuencias Hereda las operaciones de consecuencia tenemos que como aplicaciones bien definidas, es decir que no escapan de es un espacio vectorial sobre . , y como

Con cualquier subconjunto de elementos seleccionados en los espacios vectoriales anteriores, no vaco, se pueden generar sub-espacios vectoriales, para ello seria til introducir nuevos conceptos que facilitarn el trabajo sobre estos nuevos espacios vectoriales.