Segundo Semestre Ingeniero en Computacin

Unidad de aprendizaje: lgebra

Competencias

El alumno interpreta y aplica los conocimientos de lgebra lineal mediante procesos y herramientas computacionales para resolver problemas del rea con una actitud crtica, responsable y de respeto hacia sus compaeros.

30/03/2014

Pgina 2

Contenido 1. Operaciones con conjuntos 2. Nmeros complejos

3. Polinomios
4. Matrices y determinantes 5. Espacios vectoriales 6. Transformaciones lineales
30/03/2014 Pgina 3

Bibliografa bsica

1. Lehmann, Charles (2006). lgebra. Editorial Limusa.

2. Uspensky, J. V. (1995).Teora de ecuaciones. Editorial Limusa. Mxico. 3. Anton, Howard (2008). Introduccin al lgebra Lineal. Editorial Limusa. Mxico.

4. Grossman, Stanley I. (2007). Algebra Lineal. Editorial Mc. Graw Hill.

5. Larson, Ron y Falvo, David C. (2010). Fundamentos de lgebra Lineal. Editorial CENGAGE. 6. Cantoral, Ricardo y otros (2003). Desarrollo del pensamiento matemtico. Editorial Trillas.
30/03/2014 Pgina 4

http://www.sectormatematica.cl/libros.htm

30/03/2014

Pgina 5

1. Conceptos preliminares

30/03/2014

Pgina 6

Teora de conjuntos Rama de las matemticas que estudia las propiedades de los conjuntos.

Los conjuntos son colecciones abstractas de objetos, consideradas como objetos en s mismas, y son una herramienta bsica en la formulacin de cualquier teora matemtica.
La teora de los conjuntos es lo suficientemente rica como para construir el resto de objetos y estructuras de inters en matemticas: nmeros, funciones, figuras geomtricas, etc., y junto con la lgica permite estudiar los fundamentos de esta.

En la actualidad se acepta que el conjunto de axiomas de la teora de Zermelo-Fraenkel es suficiente para desarrollar toda la matemtica.
La propia teora de conjuntos es objeto de estudio por s misma, no slo como herramienta auxiliar, en particular las propiedades y relaciones de los conjuntos infinitos.
30/03/2014 Pgina 7

Un conjunto es una coleccin de objetos considerada como un objeto en s. Los objetos de la coleccin pueden ser cualquier cosa: personas, nmeros, colores, letras, figuras, etc. Pueden ser finitos o infinitos

Cada uno de los objetos en la coleccin es un elemento o miembro del conjunto.

Ejemplo, el conjunto de los colores del arcoris: A = {Rojo, Naranja, Amarillo, Verde, Azul, Ail, Violeta} Un conjunto suele definirse mediante una propiedad que todos sus elementos poseen. Por ejemplo, los nmeros naturales.
30/03/2014 Pgina 8

Un nmero natural es cualquiera de los nmeros que se usan para contar los elementos de un conjunto. Reciben ese nombre porque fueron los primeros que utiliz el ser humano para contar objetos. = 0, 1, 2, 3, 4, 5, = 1, 2, 3, 4, 5, Otro conjunto: Los nmeros naturales primos P = {2, 3, 5, 7, 11, 13, ...} Un nmero primo es un nmero natural mayor que 1 que tiene nicamente dos divisores distintos: l mismo la unidad y sus respectivos opuestos.

30/03/2014

Pgina 9

Conjunto de los nmeros naturales compuestos.

Todo nmero natural no primo, a excepcin del 1, se denomina compuesto, es decir, tiene uno o ms divisores distintos a 1 y a s mismo. Tambin se utiliza el trmino divisible para referirse a estos nmeros. = 4, 6, 8, 9, 10, 12,

30/03/2014

Pgina 10

Conjunto de los nmeros racionales Nmero racional es todo nmero que puede representarse como el cocientede dos nmeros enteros, es decir, una fraccin comn a/b con numerador a y denominador b distinto de cero. El trmino racional alude a fraccin o parte de un todo. El conjunto de los nmeros racionales se denota por Q (o bien , en Blackboardbold) que deriva de cociente (Quotient en varios idiomas europeos). Conjunto de los nmeros racionales enteros 2 4 6 8 = , , , , 2 2 3 4

30/03/2014

Pgina 11

Conjunto de los nmeros racionales fraccionarios

Nmero fraccionario, o quebrado es la expresin de una cantidad dividida entre otra cantidad ; es decir que representa un cociente no efectuado de nmeros. Denominado tambin fraccin comn, fraccin vulgar o fraccin decimal Conjunto de los nmeros racionales fraccin propia

1 2 3 = , , , 4 5 2
Conjunto de los nmeros racionales fraccin impropia 4 16 8 9 = , , , , 3 4 5 2
30/03/2014 Pgina 12

Conjunto de los nmeros irracionales

Cualquier nmero real que no es racional, es decir, es un nmero que no puede ser expresado como una fraccin, y que expresado como nmero decimal no est compuesto por ningn periodo. Conjunto de los nmeros irracionales algebraicos

2 2, , 3

Conjunto de los nmeros irracionales trascendentes = , ,

30/03/2014 Pgina 13

Nmeros decimales Se denominan nmeros decimales aquellos que poseen una parte decimal, en oposicin a los nmeros enteros que carecen de ella.

Nmero decimal exacto

Son los nmeros decimales cuya parte decimal tiene un nmero finito de cifras. Los nmeros enteros pertenecen a este conjunto. Se pueden escribir como fraccin, y por tanto, pertenecen a un subconjunto de los nmeros racionales.

30/03/2014

Pgina 14

Nmero decimal peridico Son los nmeros cuya parte decimal tiene un nmero infinito de cifras que se repiten siguiendo un patrn, llamado periodo.

Decimal peridico puro

Son los nmeros decimales en los que la parte decimal se repite peridicamente, inmediatamente despus del separador decimal. La parte peridica se suele sealar usualmente con una lnea horizontal superior. 0.333333333 0. 3

30/03/2014

Pgina 15

Decimal peridico mixto

Son los nmeros decimales en cuya parte decimal hay una parte no peridica, denominada antiperiodo, y otra peridica. La parte peridica se suele sealar con una lnea horizontal superior. 0.1666 0.16

Al igual que los nmeros decimales peridicos puros, los nmeros decimales mixtos siempre pueden ser expresados en forma de fraccin; en el caso del ejemplo, la fraccin equivalente 1 es .
6

30/03/2014

Pgina 16

Los nmeros enteros son un conjunto de nmeros que incluye a los nmeros naturales distintos de cero (1, 2, 3, ...), los negativos de los nmeros naturales (..., 3, 2, 1) y al cero, 0.
Los enteros negativos, como 1 3, son menores que todos los enteros positivos (1, 2, ...) y que el cero.

Para resaltar la diferencia entre positivos y negativos, a veces tambin se escribe un signo ms delante de los positivos: +1, +5, etc. Cuando no se le escribe signo al nmero se asume que es positivo.
El conjunto de todos los nmeros enteros se representa por la letra = {..., ...}, que proviene del alemn Zahlen (nmeros)
30/03/2014 Pgina 17

Los nmeros reales (R) incluyen a los nmeros enteros, racionales (positivos, negativos y el cero), como a los nmeros irracionales (trascendentes y algebraicos), que no se pueden expresar de manera fraccionaria y tienen infinitas cifras decimales no peridicas, tales como: 2,

30/03/2014

Pgina 18

30/03/2014

Pgina 19

Existen dos maneras de describir o especificar los elementos de un conjunto: Por definicin intensiva o comprensin: Se hace una descripcin de una condicin que cumplen sus elementos: A es el conjunto cuyos miembros son los nmeros enteros positivos menores que 5. B es el conjunto de colores de la bandera de Mxico. Por extensin: Listando cada miembro del conjunto en una definicin extensiva se escriben los elementos del conjunto entre llaves: C = {4, 2, 3, 1} D = {blanco, rojo, verde}
30/03/2014 Pgina 20

Otra notacin habitual para denotar por comprensin es: A = {m : m es un entero, y 1 m 5} B = {c : c es un color de la bandera de Mxico} F = {n2 : n es un entero y 1 n 10} ,

30/03/2014

Pgina 21

La relacin clave en un conjunto es la pertenencia: Cundo un elemento es miembro de un conjunto. Si a es un miembro de B, se denota por a B, y si no lo es, se denota por a B. Por ejemplo: respecto a los conjuntos A = {m : m es un entero, y 1 m 5} B = {c : c es un color de la bandera de Mxico} F = {n2 : n es un entero y 1 n 10} , 4 A , 36 F , verde B 7 A , 8 F , azul B Se dice entonces que 4 pertenece al conjunto A, 4 es un miembro de A, 4 est en A o A contiene a 4.
30/03/2014

Pgina 22

Relacin de pertenencia

30/03/2014

Pgina 23

Los conjuntos pueden ser finitos o infinitos. En un conjunto finito podemos contar sus elementos. El nmero de elementos de un conjunto finito es su cardinal. El cardinal se denota por ||, card(A) o #A. En los ejemplos anteriores, se tiene que; || = 4 (cuatro nmeros), || = 3 (tres colores) y || = 10 (diez cuadrados). El nico conjunto cuyo cardinal es 0 es el conjunto vaco .
30/03/2014 Pgina 24

Subconjuntos

Un subconjunto A de un conjunto B, es un conjunto que contiene algunos o todos los elementos de B:

Un conjunto A es un subconjunto del conjunto B si cada elemento de A es a su vez un elemento de B Si A es un subconjunto de B, se escribe como A B y se dice que A est contenido en B. Tambin puede escribirse B A, y decirse que B es un superconjunto de A y tambin B contiene a A o B incluye a A. Si A no slo contiene algunos sino todos los elementos de B, A no slo es un subconjunto de B, sino que ambos conjuntos son iguales, A = B.
30/03/2014 Pgina 25

30/03/2014

Pgina 26

El otro caso posible es que A contenga algunos pero no todos los elementos de B: A es un subconjunto de B pero no son iguales. Se dice entonces que A es un subconjunto propio de B y se denota A B, es decir: A B pero A B (y equivalentemente, para un superconjunto propio, B A). Tambin se utiliza la notacin A B y B A

30/03/2014

Pgina 27

El conjunto de todos los hombres es un subconjunto propio del conjunto de todas las personas.
{1, 3} {1, 2, 3, 4} {1, 2, 3, 4} {1, 2, 3, 4}

30/03/2014

Pgina 28

En un conjunto infinito no hay un nmero finito de elementos. Es el caso por ejemplo de los nmeros naturales: N = {1, 2, 3, ...}.
Sin embargo, los conjuntos infinitos pueden compararse, y resulta que existen conjuntos infinitos ms grandes que otros. El nmero de elementos de un conjunto infinito es un nmero transfinito.

30/03/2014

Pgina 29

Operaciones con conjuntos

Unin
La unin de dos conjuntos A y B es el conjunto AB que contiene todos los elementos de A y de B.

30/03/2014

Pgina 30

De la definicin de unin puede deducirse directamente:

Idempotencia. La unin de un conjunto A consigo mismo es el propio A : AA=A Tanto A como B son subconjuntos de su unin: AAByBAB La unin de un conjunto A con un subconjunto suyo B lo deja inalterado: B A implica que A B = A
30/03/2014 Pgina 31

La unin de conjuntos posee tambin propiedades similares a las operaciones con nmeros:

Propiedad asociativa
La unin de los conjuntos A y B C es igual que la unin de los conjuntos A B y C : (A B) C = A (B C)

30/03/2014

Pgina 32

Propiedad conmutativa La unin de los conjuntos A y B es igual a la unin de los conjuntos B y A: AB=BA

30/03/2014

Pgina 33

Elemento neutro La unin de un conjunto A con el conjunto vaco es el mismo conjunto A:

A=A

30/03/2014

Pgina 34

Propiedad distributiva con la operacin interseccin A (B C) = (A B) (A C), y por tanto: A (A B) = A A (B C) = (A B) (A C), y por tanto: A (A B) = A

30/03/2014

Pgina 35

Cardinalidad El nmero de elementos de la unin de dos conjuntos finitos A y B es la suma de los elementos de A y de B, si no tienen elementos en comn. Si A y B son conjuntos disjuntos = + Dados dos conjuntos finitos A y B : = +

30/03/2014

Pgina 36

Interseccin La interseccin de dos conjuntos A y B es el conjunto A B que contiene todos los elementos comunes de A y B.

30/03/2014

Pgina 37

Idempotencia La interseccin de un conjunto A consigo mismo es el propio A: AA = A La interseccin de A y B es un subconjunto de ambos:

ABAyABB
La interseccin de un conjunto B con un conjunto A que lo contenga, deja a B inalterado:

B A implica A B = B

30/03/2014

Pgina 38

La interseccin de conjuntos posee tambin propiedades similares a las operaciones con nmeros:

Propiedad asociativa
La interseccin de los conjuntos A y B C es igual a la interseccin de los conjuntos A B y C : (A B) C = A (B C)

30/03/2014

Pgina 39

Propiedad conmutativa La interseccin de los conjuntos A y B es igual a la interseccin de los conjuntos B y A :

AB=BA

30/03/2014

Pgina 40

Elemento absorbente La interseccin de un conjunto A con el conjunto vaco es :

A=

30/03/2014

Pgina 41

Propiedad distributiva con la operacin unin A (B C) = (A B) (A C), y por tanto: A (A B) = A A (B C) = (A B) (A C), y por tanto: A (A B) = A

30/03/2014

Pgina 42

Diferencia Dados dos conjuntos A y B, la diferencia de A menos B es otro conjunto A - B cuyos elementos son todos aquellos elementos de A que no lo sean de B: ( )

30/03/2014

Pgina 43

Elemento neutro La diferencia entre un conjunto y el conjunto vaco es el propio conjunto:

A=A
La diferencia de un conjunto menos l mismo es el conjunto vaco:

AA=

30/03/2014

Pgina 44

La diferencia entre dos conjuntos es el conjunto vaco si y slo si el primero es un subconjunto del segundo: A B = si y slo si A B

La diferencia entre dos conjuntos es igual al primer conjunto si y slo si ambos conjuntos son disjuntos:
A B = A si y slo si A B =

30/03/2014

Pgina 45

La interseccin de dos conjuntos es la parte que tienen en comn, mientras que la diferencia es la parte que no comparten. Esto se traduce en la siguiente propiedad: Dados dos conjuntos, su interseccin y su diferencia son disjuntos entre s, pero su unin es el primero de los conjuntos iniciales: (A B) (A - B) = , pero (A B) (A - B) = A Esto quiere decir que la interseccin y la diferencia entre A y B son una posible particin de A.

30/03/2014

Pgina 46

La diferencia de conjuntos est muy relacionada con el complemento de un conjunto: El complemento de un conjunto es la diferencia entre el conjunto universal y l mismo:

A = U - A

30/03/2014

Pgina 47

Problemas con conjuntos Se pregunta a ___ estudiantes del segundo semestre grupo 215 de la Unidad Acadmica de Ingeniera sobre su preferencia por la msica. A __ les gusta la cumbia, a __ les gusta la msica clsica, a ___ msica de banda, a __ les gusta cumbia y clsica, a __ cumbia y banda, a __ banda y clsica, a __ les gustan los tres gneros.

A cuantos estudiantes: No les gusta ninguno de los gneros: Les gusta slo un gnero: Les gustan dos gneros: Les gusta al menos uno de los gneros:

30/03/2014

Pgina 48

Producto cartesiano El producto cartesiano de dos conjuntos es una operacin que resulta en otro conjunto cuyos elementos son todos los pares ordenados que pueden formarse tomando el primer elemento del par del primer conjunto, y el segundo elemento del segundo conjunto. Ejemplo: Dados los conjuntos A = {1, 2, 3, 4} B = {a, b}

Su producto cartesiano es:

A B = {(1, a), (1, b), (2, a), (2, b), (3, a), (3, b), (4, a), (4, b)}
30/03/2014 Pgina 49

El conjunto vaco acta como el cero del producto cartesiano, pues no posee elementos para construir pares ordenados: = =

El producto cartesiano de dos conjuntos no es conmutativo en general, salvo en casos muy especiales. Lo mismo ocurre con la propiedad asociativa
.

30/03/2014

Pgina 50

Relaciones Sean A y B conjuntos. Una relacin entre A y B es un conjunto del producto cartesiano A X B. Ejemplos: 1. Sea A = , B arbitrario, entonces A X B = y por lo tanto la posible relacin entre A y B es la vaca. 2. Anlogamente si B = . 3. Si A = {a} y B = {b} entonces A X B = {(a, b) } y existen dos relaciones entre A y B, la vaca y la total. 4. Si A yB son arbitrarios siempre se tienen al menos dos relaciones entre A y B (no necesariamente distintas), la vaca y la total. 5. Si A = {a, b} y B = {1, 2} existen diecisis relaciones entre A y B
30/03/2014 Pgina 51

Sea R A X B una relacin. El dominio DRde la relacin R, est definida por: DR= {a A I existe b B, (a, b) R}. Si A = {a, b}, B = {1, 2, 3} y R = {(a, 1), (a, 3)} Entonces a DRy b DR

Por la definicin de dominio tenemos que DR A

La imagen de la relacin R, est dada por:

= {b B: existe a A, (a, b) R}.

El codominio de una relacin R A X B es el conjunto B.
30/03/2014 Pgina 52

Funciones

Sean A y B conjuntos. Una funcin f: A B es una relacin R en A X B que satisface:

DR= A; es decir, para toda x A existe una pareja (x, y) R. Cada elemento x A tiene asociado uno solo de B; es decir, (, 1 ) R y (, 2 ) R implica 1 = 2 . Una notacin alternativa para una funcin f: A B es A B. El conjunto A es llamado el dominio de la funcin, el conjunto B es llamado el codominiode la funcin y para cada x A, denotamos con ()al elemento de B que le corresponde; es decir, (, ) R. Llamamos a ()la imagen del elemento x.
30/03/2014 Pgina 53

Ejemplos: 1. Sea A un conjunto y sea f:A A la funcin dada por f(x) = x para toda x A. 2. Sean A el conjunto de las personas y B el conjunto de las naciones. La relacin R A x B de las parejas (x, y) tales que, "x tiene nacionalidad correspondiente a y", es una funcin f: A B. 3. Sean f:Z N dada por f(n) = n2+ 1 para toda n Z. Dos funciones f: A B yg: C D son iguales si y solo si, a) A = C; b) B = D; c) f(x) = g(x) para toda x A.
30/03/2014 Pgina 54

La imagen de una funcin f: A B es:

Imf= {b B I existe a A con f(a) = b}

Se tiene que Imfes un subconjunto del codominio de la funcin.

30/03/2014

Pgina 55

Sea f:A B una funcin en donde el conjunto A es finito. Si A = 1 , , y = , emplearemos la siguiente notacin
1 2 = 1 2

En esta notacin, en el primer rengln se escriben todos los elementos del dominio y debajo de cada uno de ellos el elemento que le corresponde segn la funcin. Esta notacin, salvo por la descripcin del codominio, nos dice cul es la funcin. Ejemplo: = 1 2 3 4 5 1 4 9 8 10

Es una funcin f:A B en donde A = : 5 y = 2 para toda x A.

30/03/2014 Pgina 56

Representacin de las relaciones

Como tabulacin: tabla que permite representar algunos valores discretos de la funcin.

30/03/2014

Pgina 57

Grficamente por medio de puntos en un plano: Cada punto P representa una pareja ordenada (a, b) de nmeros reales y viceversa; la lnea vertical a travs de P encuentra al eje x en a, y la lnea horizontal a travs de P encuentra el eje y en b.

A esta representacin se le conoce como diagrama cartesiano.

30/03/2014

Pgina 58

Diagrama de flechas Se dibujan los puntos que pertenecen a A y los que pertenecen a B.

Se trazan flechas que indican la relacin que existe entre cada elemento del conjunto A y su correspondiente en el conjunto B.

30/03/2014

Pgina 59

Composicin de funciones Dadas dos funciones f: X Y y g: Y Z, donde la imagen de f est contenida en el dominio de g, se define la funcin composicin (g f ): X Z como (g f)(x) = g (f(x)), para todos los elementos x de X.

O de manera grfica mediante un diagrama conmutativo:

30/03/2014

Pgina 60

Sean f:A B y g:B C dos funciones. Definimos la composicin f y g, denotada por g , como la funcin g : dada por: = para toda x A.

A g f se le llama composicin de f y g.

Ejemplos:
1. Sean f:R R y g:R R definidas por f(x) = x2+ 1 y g(x)= 3x + 2. Entonces la composicin g : R R est dada por: =
30/03/2014

= 2 + 1 = 3 2 + 1 + 2 = 3 + 5
Pgina 61

Si tenemos dos funciones: () y (), de modo que el dominio de la 2 est incluido en el recorrido de la 1, se puede definir una nueva funcin que asocie a cada elemento del dominio de () el valor de [()].

30/03/2014

Pgina 62

2. Sean A = {1 , 2 , 3 }, B = {1 , 2 }, C= {1 , 2 , 3 } f:A B y g:B C dadas por: 1 2 3 1 2 = g = 2 3 1 1 2 Entonces la composicin g : A e est dada por: 1 2 3 g = 2 2 3

ya que ( ) 1 = 1 = 1 = 2 , etc.

30/03/2014

Pgina 63

3. Sean A = {1 , 2 , 3 }, B = {1 , 2, 3 , 4 }, : y : dadas por: 1 2 3 1 2 3 4 = g = 3 3 2 1 4 3 2 Calcular 4. Sea A = {1, 2} y : la funcin dada por = 1 2 2 1

Entonces : es:
=
30/03/2014

1 2 = 12
Pgina 64

5. Sean A = {1, 2, 3}, y f, g, h: dadas por: = 1 2 3 1 1 1 g= 1 2 3 1 2 3 h= 3 3 3 2 2 2

Calcular :

30/03/2014

Pgina 65

TEOREMA 1: Sea : una funcin, Entonces = = , son las identidades en B y A respectivamente.

30/03/2014

Pgina 66

Propiedades
Asociativa:

( ) = ( )
No es conmutativa.

El elemento neutro es la funcin identidad, i(x) = x. = =

30/03/2014

Pgina 67

Funciones inyectivas, suprayectivas y biyectivas Sea el conjunto A ={1, 2, 3} Le aplicamos la funcin: f(x) = x + 1 Se obtienen los primeros tres elementos del conjunto B = {2, 3, 4, 5}

Es decir:

30/03/2014

Pgina 68

Al conjunto A se llama dominio de la funcin. Al conjunto B se llama codominiode la funcin. A los elementos de B obtenidos a partir de () A se les llama imagen o rango (en este ejemplo el codomino y la imagen NO tienen los mismos elementos).
= (): variable dependiente. : variable independiente.
30/03/2014 Pgina 69

La funcin del ejemplo anterior tambin lo podemos indicar definiendo los conjuntos A y B; y posteriormente definir la funcin; es decir: A = {1, 2, 3} B = {2, 3, 4, 5} f = {(1, 2), (2, 3), (3, 4)}

30/03/2014

Pgina 70

Una funcin es inyectiva si a cada elemento del rango o imagen se le asocia con uno y solo un elemento del domino.

Ejemplo: Sea A={1,2,3} B={1,2,3}; f: A B: f={(1,2), (2,1), (3,3)} Es decir, grficamente queda:

Ntese que cada elemento del conjunto B recibe solamente una lnea. Entonces es inyectiva.
30/03/2014 Pgina 71

Sea A={1,2,3} B={1,2,3}; f: A B: f={(1,2), (2,1), (3,2)} Grficamente:

Hay un elemento de B que recibe dos flechas o lneas, por lo tanto no es inyectiva.
30/03/2014 Pgina 72

Cuando el rango y el codominio son iguales la funcin es suprayectiva. Ejemplo : Sean los conjuntos: A = {1,2,3} y B = {2,4} y la funcin f = {(1,2), (2,2), (3,4)}, Grficamente queda:

Al conjunto B = {2,4} se le llama codominio. El rango de la funcin tambin es I = {2,4} Como el codominio y el rango son iguales la funcin es suprayectiva
30/03/2014 Pgina 73

Sean los mismos conjuntos anteriores pero con la funcin: f = {(1,2), (2,2), (3,2)} Grficamente queda de la siguiente forma:

El codomino B = {2, 4} El rango o imagen es: I = {2} Como el codominio y el rango no son iguales la funcin no es suprayectiva
30/03/2014 Pgina 74

Funciones Biyectivas Para que una funcin sea biyectiva se requiere que sean al mismo tiempo inyectiva y suprayectiva. Para la siguiente funcin: f(x) = y = x-1 A cada elemento del dominio se le relaciona en la funcin con un elemento de la imagen, por lo tanto es inyectiva. El dominio y la imagen son todos los nmeros reales: D= I=

30/03/2014

Pgina 75

De la siguiente relacin indicar: a) b) c) d) El dominio Codominio Imagen Sealar si existe diferencia entre codominio e imagen

30/03/2014

Pgina 76

Correspondencia unvoca

Dada una relacin binaria heterognea R, entre los conjuntos A y B: : Esta relacin es una correspondencia unvoca, si cumple:
Unicidad de imagen: se dice que cumple la condicin de unicidad de imagen si los elementos a de A que tienen imagen, tienen una sola imagen:

30/03/2014

Pgina 77

30/03/2014

Pgina 78

Correspondencia multvoca: Una correspondencia es multvoca cuando existe algn elemento del conjunto inicial con dos o ms imgenes.

30/03/2014

Pgina 79

Correspondencia biunvoca Dada una relacin binaria heterognea R, entre los conjuntos A y B: : Esta relacin es una correspondencia biunvoca, si cumple: 1. Unicidad de imagen: se dice que cumple la condicin de unicidad de imagen si los elementos a de A que tienen imagen, tienen una sola imagen: 2. Unicidad de origen: se dice que cumple la condicin de unicidad de origen si los elementos b de B que tienen origen, tienen un solo origen:

30/03/2014

Pgina 80

Una correspondencia unvoca entre dos conjuntos A y B es biunvocacuando su correspondencia inversa 1 tambin es unvoca.

30/03/2014

Pgina 81

30/03/2014

Pgina 82

Dados dos conjuntos A y B, y una correspondencia entre ellos, se denomina correspondencia inversa o recproca de , y se representa por 1 , a la correspondencia que asocia a los elementos del conjunto final con los del conjunto inicial de ; es decir, tiene como conjunto original el conjunto imagen de , y como conjunto imagen el conjunto original de .

30/03/2014

Pgina 83