Académique Documents
Professionnel Documents
Culture Documents
ALGEBRA DE CONJUNTOS
1. Conjunto Se entiende por conjunto a una coleccin, agrupacin o reunin de objetos o elementos, y que puede ser determinado ya sea por extensin: cuando sus elementos estn indicados explcitamente llaves; o por comprensin: cuando existe una propiedad o condicin que es comn a todos estos elementos, de tal manera que al considerar cualquier objeto existente se puede establecer sin ambigedad si es o no elemento de tal coleccin.
Notacin: para representar a los conjuntos generalmente se utilizan letras maysculas A, B, X, etc. Y para representar a sus elementos se usan letras minsculas a, b, x, etc. Si un objeto x es elemento de un conjunto A se dice que x PERTENECE al conjunto A o que x ESTA en el conjunto A, y se denota x A. En caso contrario, se denotar x A.
2. Subconjuntos Se dice que un conjunto A es un SUBCONJUNTO de un conjunto de B, o que A esta incluido en B, si todo elemento de a es tambin elemento de conjunto B, denotndose en tal caso: A B. es decir, simblicamente, A B [ x A, x A x B].
A A
B A
B B
B 7
7
Se sigue que es suficiente que un elemento de A no est en B para que A no sea subconjunto de B; en tal caso se denota A En el caso en que A B.
A, entonces se dice que A es un subconjunto propio de B. Ejemplo1. Si A= {2; 4} y B={1;2;3;4} entonces A que todo elemento de A es tambin elemento de B. B, pues por simple inspeccin vemos
-1-
Anlisis matemtico Conjunto unitario: se llama as a todo conjunto que consta de un solo elemento. Conjunto vacio o nulo: Es aquel conjunto que no tiene ningn elemento. Se le denota por , y est incluido en cualquier conjunto, es decir conjunto A. Conjunto universal: Denotado por U, es aquel conjunto que contiene a todos los elementos que se estn considerando en un estudio o contexto particular. A, para todo
Demostracin la propiedad transitiva de la inclusin de conjuntos A Se desea probar que: En efecto! x A, x x Y por lo tanto x (p q) (q r) A (p r) x A B x A, x x x A B B x C C. B) C ), A C
B (pues A C (pues B
3.1.
Unin de conjuntos
La unin de dos conjuntos A y B se define como el conjunto todos los elementos que pertenecen a A, a B o a ambos. Se denota por: AUB y se lee "A unin con B". El diagrama de Venn Euler correspondiente a la unin de A y B es: U A a c b
7
El rectngulo representa al conjunto universal U, en Tanto que AUB es la parte Sombreada. Ntese que si: a A a (A U B) b B b (A U B) c A y c B c (A U B)
-2-
Anlisis matemtico Luego, si x es un trmino que puede ser de A, de B o de ambos, la unin de A y B se define: A U B = { xlx A v x B}
Ejemplo: Sean los conjuntos A={1;2;3;4}, B={2;4;5;6;7} y C={5;6;7}, hallar AUB, BUC y AUC. Trazar el diagrama de Venn de cada resultado. Solucin: AUB= {1;2;3;4;5;6;7} A U
1 3
2 4
BUC= {2;4;5;6;7} U B 2 C 4 6 7 5
AUC = {1;2;3;4;5;6;7} A C 6 5 7 U
5 7 6 7
2 4 1 3
3.1.1.
Propiedades De La Unin De Conjuntos Para conjuntos A y B cualesquiera se cumplen: A A=A A =A A U=U A B=B A (A B) C = A (B C) A (B C) = (A B) (A C) A (A B), B B (A B), A Si A B = A = y B = Algunas demostraciones 1. A A=A a) demostremos que: (A A) A En efecto!: (1) sea x (A A) x a x A (2) si hacemos p = x A, entonces: p v p p (3) luego, x (A A) x A (4) por lo tanto: (A A) A
-3-
Anlisis matemtico b) demostremos que: A (A A) En efecto!: (1) sea x A (2) se sigue entonces que x A, o x A (3) luego, x A x (A A) (4) por lo tanto: A (A A) (5) En consecuencia, de a) y b) queda demostrado que A A=A 2. (A B) C = A (B C) a) Demostremos que (A B) C A (B C) En efecto: (1) sea x (A B) C (2)Entonces: x (A B) x C (3)x A x B x C (4)x A (x B x C) (5)x A x (B C) (6)x A (B C) (7) de (1)y(6): x (A B) C x A (8) por lo tanto (A B) C A (B b) demostraremos que: A (B C) (A B) C En efecto: (1) sea x A (B C) (2)Entonces: x A x (B C) (3)x A x B x C (4)(x A x B) x C (5)x (A B) x C (6)x (A B) C (7) De (1) y (6): x A (B C) x (A B) C (8) por lo tanto A (B C) (A B) C Finalmente, de a) y b) queda probado que: (A B) C=A (B C)
(B C)
C)
3.2.
Interseccin De Conjuntos La interseccin de dos conjuntos A y B se define como el conjunto de los elementos que son comunes a A y B, esto es, de aquellos elementos que pertenecen a A y que pertenecen a B. se denota: A B. y se lee A interseccin con B. El diagrama de Venn correspondiente a la interseccin de A y B es: U A a c b
7
-4-
Anlisis matemtico
El rectngulo representa al conjunto universal, en tanto que A B es la parte Sombreada. Ntese que si: a b c A a (A B) B b (A B) A y c B c (A B)
Ejemplo: sean los conjuntos A= {a; b; c; d}, B= {b; c; e; f; g} y C= {e; f; g}; Hallar A B, B C y A C. trazar los diagramas de Venn correspondientes. Solucin: A B= {b; c} A
a. d.
b c
B C={e; f; g} U B U
A C= U f. c. g.
e. f g.
e. B b. g. f. c.
A a. b. d. c.
3.2.1.
Propiedades de la interseccin
-5-
Anlisis matemtico Algunas demostraciones 1. A = En efecto!: (1) sea x (A ) (2) entonces: x A y x B , se tiene: x (A ) A x x
(3) como x A y x
(5) pero como es subconjunto de todo conjunto (6) luego, de (4) y (5) se concluye: A = 2. A B = B A a) Demostremos que: (A B) En efecto: (1) sea x (A B) (2) x (3) x (4) x A B x x B A (A B) x (B A) (A B) (B A) (B A)
(B A)
(A B) (A B)
3.3.
Diferencia De Conjuntos Est constituido por los elementos del conjunto A que no pertenecen al conjunto B. se denota por: A B Y se lee: A diferencia de B, o simplemente A menos B El diagrama de Venn correspondiente a la diferencia de A y B es: U A a c b
7
-6-
Ejemplo: sean los conjuntos A= {1; 2; 3; 4}, B= {2; a; b; 4} y C= {a; b}; Hallar A - B, B - C y A - C. trazar los diagramas de Venn correspondientes. Solucin: A - B= {1; 3} A
1. 3.
2 4
B - C= {2; 4} U B U a. b.
A - C= {1; 2; 3; 4} = A U b. a.
a. b.
B 2.
4.
7
A 1. 2. 3. 4 .
conjunto a la vez)
-7-
Anlisis matemtico (4) por lo tanto, de (1) y (3): A - A = 2. B (A B) = Probaremos que: B (A B) (2) x B (3) x B (4) (x B x (A B) (x A x B) x B) x A En efecto!: (1) sea x B (A B)
(5) x (B-B)
x A
-8-
Anlisis matemtico
RELACIONES
A. PAR ORDENADO: Un par ordenado es un conjunto de dos elementos en el cual cada elemento tiene un lugar fijo. Si los elementos son: a y b, el par ordenado se simboliza por: ( ) {* + * +}
Donde {a} determina que a es el primer elemento, componente o coordenada del par y {a;b} determina que b es el segundo elemento, componente o coordenada del par Teorema: Dos pares ordenados son iguales, si y solo si, son iguales sus primeros y segundos elementos, respectivamente. Se simboliza: ( ) ( ) B. PRODUCTO CARTESIANO DE CONJUNTOS: Dados los conjuntos A y B, se llama producto cartesiano de A por B, en ese orden, al conjunto formado por todos los pares ordenados (a;b) tales que y . Se denota por AxB y simblicamente se representa: *( ( Observaciones: i. ii. Si A y B son conjuntos finitos, el nmero de elementos de AxB es igual al nmero de ) ( ) ( ) elementos de A por el nmero de elementos de B, es decir, ( iii. Cuando A=B, el producto AxA se denota por: a) Propiedades del Producto Cartesiano: Para el producto cartesiano de conjuntos A, B y C, se cumplen las siguientes propiedades 1. Si 2. ( 3. ( 4. ( 5. ) 6. ( 7. Si ) ) +
) ) )
( ( ( ( (
) ) ) ) )
( ( ( (
) ) ) )
-9-
Anlisis matemtico
8. Si 9. ( 10. (
( ) ) ( ( ) ) (
) ) (
( )
C. RELACIONES BINARIAS: Se llama relacin binaria entre los elementos de un conjunto A y los elementos de un conjunto B, a todo subconjunto R del producto cartesiano AxB, esto es, una relacin binaria R consiste en lo siguiente: i. Un conjunto A (conjunto de partida) ii. Un conjunto B (conjunto de llegada) iii. Un enunciado abierto p(x;y) tal que p(a;b) es verdadero o falso para todo par ordenado. *( ) ( )+ a) Dominio de una Relacin: Se llama dominio de una relacin R de A en B al conjunto de todas las primeras componentes de los pares ordenados de la relacin. Se denota Dom(R) y se simboliza: + ( ) * ( ) esto es: ( ) ( ) b) Rango de una Relacin: Se llama rango de una relacin R de A en B al conjunto de todas las segundas componentes de los pares ordenados de la relacin. Se denota Ran(R) y se simboliza: + ( ) * ( ) esto es: ( ) ( ) c) Propiedades del Dominio y Rango de una Relacin: Sean y dos relaciones entre A y B, entonces se cumplen las siguientes propiedades: ( ) 1. ( ) ( ) ( ) 2. ( ) ( ) ( ) ( ) 3. ( ) ( ) 4. ( ) ( ) ( ) 5. ( ) ( ) ( ) ( ) 6. ( )
D. RELACION INVERSA O RECIPROCA: *( Dada una relacin directa de A en B: inversa o reciproca de R, al conjunto definido por: *( ) ) ( ) ( + )+, se denomina relacin
-10-
Anlisis matemtico
) ( ) y (
( )
) ( )
a) Propiedades: Sean y 1. ( ) 2. ( ) 3. ( )
E. COMPOSICIN DE RELACIONES: Dadas las relaciones y , se denomina la relacin compuesta de R y S, que se simboliza , a la relacin: *( ) + ( ) ( ) ( ) ( ) ( ) ( ) a) Propiedades: La composicin de relaciones admite las siguientes propiedades: 1. ) ( ) 2. ( 3. ( ) F. CLASES DE RELACIONES: a) Relacin Reflexiva: Dado un conjunto A para el cual se define una relacin R en A, se dice que R es reflexiva si, para todo ( ) ; es decir, si todo elemento de A esta relacionado consigo mismo mediante la relacin R. ( ) b) Relacin Simtrica: Dado un conjunto A para el cual se define una relacin R en A, se dice que R es simtrica, si y solo si, ( ) implica que ( ) . ( ) ( ) ( ) c) Relacin Transitiva: Dado un conjunto A para el cual se define una relacin R en A, se dice que R es transitiva, si ) y solo si, ( ( ) , implica que ( ) . ,( ) ( ) ( )
-11-
Anlisis matemtico
d) Relacin de Equivalencia: Toda relacin R definida en un conjunto A es una relacin de equivalencia, si y solo si, se verifica: i. R es reflexiva. ii. R es simtrica. iii. R es transitiva. G. PRODUCTO CARTESIANO DE R EN R: El producto cartesiano RxR, que se denota , donde R es el conjunto de los nmeros reales, se define como: *( ) + Para graficas una relacin debemos disponer de un procedimiento para graficar pares ordenados. El dispositivo ms comnmente usado para este propsito es el sistema coordenado rectangular o sistema coordenado cartesiano. Construido un sistema coordenado rectangular podemos establecer una correspondencia uno a uno entre el conjunto de puntos del plano y el conjunto de los pares ordenados de nmeros reales. Sea P un punto cualquiera del plano. Su proyeccin perpendicular sobre le eje X es un punto cuya coordenada es el nmero real nico a. La proyeccin perpendicular de P sobre le eje Y es un punto que tiene como coordenada al nmero real nico b. Si tomamos a a como el primer elemento de un par y a b como el segundo, entonces con cada punto P del plano hemos asociado un par de nmeros reales (a,b), nico, y viceversa. El asociar a cada par ordenado (a,b) un punto P nos lleva a las siguientes definiciones: Definicin 1: Si (a;b) es el par asociado con el punto P, entonces los nmeros a y b se llaman coordenadas de P; a se llama coordenada x o abscisa de P; b es la coordenada y, u ordenada de P. Definicin 2: Si P es el punto asociado con el par ordenado (a;b), entonces se dice que P es la grafica de (a;b). H. GRAFICAS DE RELACIONES DE R EN R: a) Grficas de Relaciones Lineales de la forma: Tiene por grfica una lnea recta. ) ( ) b) Grficas de Relaciones de la forma: ( Tiene por grfica una circunferencia de radio r y centro C(h,k). As mismo, las relaciones de *( ) + tienen por grfica una la forma circunferencia o uno de sus casos especiales. En efecto, completando el cuadrado para las variables x e y se tiene:
-12-
Anlisis matemtico
Nota: Dado que la grfica de una circunferencia, de radio r, es simtrica respecto de su centro, entonces, una forma prctica de hallar su dominio y su rango es la siguiente: i. Si el centro est en ( ii. Si el centro est en ( Observaciones: 1. Si de ( ) ( ) , despejamos ( ), obtenemos las ecuaciones: antes del radical. )
)
( )
( ) ,
( )
-
,
( )
, -
( ) . Obsrvese que ambas difieren en el signo Con relacin a sus grficas puede ocurrir lo siguiente:
( ) es una semicircunferencia de i. La grfica de la relacin ), ubicada en el semiplano superior de la recta radio r y centro ( . Entonces: ( ) , ( ) , ( ) es una semicircunferencia de ii. La grfica de la relacin ), ubicada en el semiplano inferior de la recta radio r y centro ( . Entonces: ( ) , ( ) , -
2. Si de (
) (
( ) .
, despejamos
( ) . es una semicircunferencia de i. La grfica de la relacin ), ubicada en el semiplano derecho de la recta radio r y centro ( . Entonces: ( ) , ( ) , ( ) . es una semicircunferencia de ii. La grfica de la relacin ), ubicada en el semiplano izquierdo de la recta radio r y centro ( . Entonces: ( ) , ( ) , -
-13-
Anlisis matemtico
c) Grficas de Relaciones de la forma: Tienen por grfica una parbola. Mediante el mtodo de completar al cuadrado, las ( ) ecuaciones de este tipo de relaciones pueden transformarse a la forma: , ) es el vrtice de cada parbola. Hay dos caractersticas importantes que en donde ( tienen en comn todas las parbolas: 1. Simetra: Cada parbola es simtrica con respecto a una lnea vertical llamado eje de simetra. 2. Vrtice: Es el punto donde la parbola intersecta a su eje de simetra. Si la grfica de la ), su vrtice es el punto mas bajo de la parbola se abre hacia arriba ( ), su vrtices es el punto mas alto. curva; si se abre hacia abajo ( En general: i. ii. ( ) tiene la misma forma que la de La grafica de , pero desplazada horizontalmente h unidades hacia la derecha si , o hacia la izquierda si . La grafica de tiene la misma forma que la de pero desplazada verticalmente k unidades hacia arriba si , o hacia abajo si .
Combinando estos dos criterios podemos graficar, tomando como base la grfica de ( ) , parbolas de la forma d) Grficas de Relaciones de la forma: Tienen por grfica una elipse, donde a es el semieje mayor, b es el semieje menos y ( es el centro de la elipse.
e) Grficas de Relaciones de la forma: Tienen por grafica una hiprbola, donde a es el semieje transverso o real, b es el semieje ) es el centro de la hiprbola. conjugado o imaginario y (
-14-
Anlisis matemtico
Bibliografa Introduccin al anlisis matemtico, A. Venero B. lima 1990 Matemtica bsica, Figueroa
-15-