Teoría Axiomática General de Agregados (VII)
description
Transcript of Teoría Axiomática General de Agregados (VII)
![Page 1: Teoría Axiomática General de Agregados (VII)](https://reader036.fdocuments.ec/reader036/viewer/2022062315/56814e95550346895dbc4053/html5/thumbnails/1.jpg)
30/08/03 Jorge Baralt-Torrijos 1
Teoría Axiomática General de Agregados (VII)
Jorge Baralt-Torrijos
Universidad Simón BolívarAgosto 2003
![Page 2: Teoría Axiomática General de Agregados (VII)](https://reader036.fdocuments.ec/reader036/viewer/2022062315/56814e95550346895dbc4053/html5/thumbnails/2.jpg)
30/08/03 Jorge Baralt-Torrijos 2
Contenido Operaciones generalizadas Axioma de Clausura de Unión Naturales según von Neumann Axioma de Potencia Axioma de Escogencia
![Page 3: Teoría Axiomática General de Agregados (VII)](https://reader036.fdocuments.ec/reader036/viewer/2022062315/56814e95550346895dbc4053/html5/thumbnails/3.jpg)
30/08/03 Jorge Baralt-Torrijos 3
Operaciones generalizadas
![Page 4: Teoría Axiomática General de Agregados (VII)](https://reader036.fdocuments.ec/reader036/viewer/2022062315/56814e95550346895dbc4053/html5/thumbnails/4.jpg)
30/08/03 Jorge Baralt-Torrijos 4
Df. IntscG IntscG(x) = y =a EsAgregado(y)
z (z y u (u x z u))IntscG(x) =s la intersección generalizada de x
![Page 5: Teoría Axiomática General de Agregados (VII)](https://reader036.fdocuments.ec/reader036/viewer/2022062315/56814e95550346895dbc4053/html5/thumbnails/5.jpg)
30/08/03 Jorge Baralt-Torrijos 5
Ts. IntscG (1) PrC(X)(Elems) = {<a1,a2> | a2 X} Mbrs = {<a1,a2> | a2 a1} Inv(Mbrs) = {<a1,a2> | a1 a2} Cmpl(2)(Inv(Mbrs)) = {<a1,a2> | a1 a2} Intsc(PrC(X)(Elems))(Cmpl(2)(Inv(Mbrs))) =
{<a1,a2> | a1 a2 a2 X} Dom(Intsc(PrC(X)(Elems))(Cmpl(2)(Inv(Mbrs)))) =
{a1| a2 (a1 a2 a2 X)} Dif(Dom(Intsc(PrC(X)(Elems))(Cmpl(2)(Inv(Mbrs)))))(Elems) = y
{a1| ¬ a2 (a1 a2 a2 X)} = y
![Page 6: Teoría Axiomática General de Agregados (VII)](https://reader036.fdocuments.ec/reader036/viewer/2022062315/56814e95550346895dbc4053/html5/thumbnails/6.jpg)
30/08/03 Jorge Baralt-Torrijos 6
Ts. IntscG (2) Dif(Dom(Intsc(PrC(X)(Elems))(Cmpl(2)(Inv(Mbrs)))))(Elems) = y
{a1| a2 (a2 X a1 a2)} = y {a1| a2 (a2 X a1 a2)} = y EsAgregado(y)
z (z y u (u X z u))
{a1| a2 (a2 X a1 a2)} = y IntscG(X) = y Dif(Dom(Intsc(PrC(X)(Elems))(Cmpl(2)(Inv(Mbrs)))))(Elems) = y
IntscG(X) = y Dif(Dom(Intsc(PrC(X)(Elems))(Cmpl(2)(Inv(Mbrs)))))(Elems) =
IntscG(X)
![Page 7: Teoría Axiomática General de Agregados (VII)](https://reader036.fdocuments.ec/reader036/viewer/2022062315/56814e95550346895dbc4053/html5/thumbnails/7.jpg)
30/08/03 Jorge Baralt-Torrijos 7
Ts. IntscG (3) y IntscG(X) = y EsClase(IntscG(X)) IntscG(Atm(A)) = A IntscG(Par(B)(A)) = Intsc(B)(A)
![Page 8: Teoría Axiomática General de Agregados (VII)](https://reader036.fdocuments.ec/reader036/viewer/2022062315/56814e95550346895dbc4053/html5/thumbnails/8.jpg)
30/08/03 Jorge Baralt-Torrijos 8
Df. UnionG UnionG(x) = y =a EsAgregado(y)
z (z y u (z u u x))UnionG(x) =s la unión generalizada de x
![Page 9: Teoría Axiomática General de Agregados (VII)](https://reader036.fdocuments.ec/reader036/viewer/2022062315/56814e95550346895dbc4053/html5/thumbnails/9.jpg)
30/08/03 Jorge Baralt-Torrijos 9
Ts. UnionG (1) PrC(X)(Elems) = {<a1,a2> | a2 X} Mbrs = {<a1,a2> | a2 a1} Inv(Mbrs) = {<a1,a2> | a1 a2} Intsc(PrC(X)(Elems))(Inv(Mbrs)) =
{<a1,a2> | a1 a2 a2 X} Dom(Intsc(PrC(X)(Elems))(Inv(Mbrs))) =
{a1| a2 (a1 a2 a2 X)} Dom(Intsc(PrC(X)(Elems))(Inv(Mbrs))) = y
{a1| a2 (a1 a2 a2 X)} = y
![Page 10: Teoría Axiomática General de Agregados (VII)](https://reader036.fdocuments.ec/reader036/viewer/2022062315/56814e95550346895dbc4053/html5/thumbnails/10.jpg)
30/08/03 Jorge Baralt-Torrijos 10
Ts. UnionG (2) {a1| a2 (a1 a2 a2 X)} = y EsAgregado(y)
z (z y u (z u u X)) {a1| a2 (a1 a2 a2 X)} = y UnionG(X) = y UnionG(X) = y
Dom(Intsc(Inv(Mbrs))(PrC(X)(Elems))) = y UnionG(X) = Dom(Intsc(Inv(Mbrs))(PrC(X)(Elems))) y UnionG(X) = y EsClase(UnionG(X)) UnionG(Atm(A)) = A UnionG(Par(B)(A)) = Union(B)(A)
![Page 11: Teoría Axiomática General de Agregados (VII)](https://reader036.fdocuments.ec/reader036/viewer/2022062315/56814e95550346895dbc4053/html5/thumbnails/11.jpg)
30/08/03 Jorge Baralt-Torrijos 11
Ax. de Unión Generalizada y UnionG(x) = y
![Page 12: Teoría Axiomática General de Agregados (VII)](https://reader036.fdocuments.ec/reader036/viewer/2022062315/56814e95550346895dbc4053/html5/thumbnails/12.jpg)
30/08/03 Jorge Baralt-Torrijos 12
Ts. UnionG (3) x (x y EsMinimal(x)) UnionG(y) = 0Z EsMinimal(x) UnionG(x) = 0Z UnionG(0Z) = 0Z EsIntegrante(x) EsIntegrante(y)
Union(y)(x) = UnionG(Par(y)(x)) Union(b)(a) = UnionG(Par(b)(a))
![Page 13: Teoría Axiomática General de Agregados (VII)](https://reader036.fdocuments.ec/reader036/viewer/2022062315/56814e95550346895dbc4053/html5/thumbnails/13.jpg)
30/08/03 Jorge Baralt-Torrijos 13
Ts. de Union EsAgregante(x) EsMinimal(y) Union(y)(x) = x EsAgregante(x) EsMinimal(y) Union(x)(y) = x EsAgregante(x) Union(0Z)(x) = x EsAgregante(x) Union(x)(0Z) = x EsAgregante(x) Union(x)(x) = x Union(0Z)(0Z) = 0Z
![Page 14: Teoría Axiomática General de Agregados (VII)](https://reader036.fdocuments.ec/reader036/viewer/2022062315/56814e95550346895dbc4053/html5/thumbnails/14.jpg)
30/08/03 Jorge Baralt-Torrijos 14
Ts. de Union (2) EsIntegrante(x) EsIntegrante(y) EsIntegrante(z)
Union(y)(x) = Union(x)(y) Union(z)(Union(y)(x)) = Union(Union(z)(y))(x) Union(z)(Intsc(y)(x)) = Intsc(Union(z)(y))(Union(z)(x)) Union(Intsc(z)(y))(x) = Intsc(Union(z)(x))(Union(y)(x)) Intsc(z)(Union(y)(x)) = Union(Intsc(z)(y))(Intsc(z)(x)) Intsc(Union(z)(y))(x) = Union(Intsc(z)(x))(Intsc(y)(x))
![Page 15: Teoría Axiomática General de Agregados (VII)](https://reader036.fdocuments.ec/reader036/viewer/2022062315/56814e95550346895dbc4053/html5/thumbnails/15.jpg)
30/08/03 Jorge Baralt-Torrijos 15
Df. Incl Incl(y)(x) = z =a EsAgregado(z)
u (u z u x u = y)Incl(y)(x) =s la inclusión de y en x
![Page 16: Teoría Axiomática General de Agregados (VII)](https://reader036.fdocuments.ec/reader036/viewer/2022062315/56814e95550346895dbc4053/html5/thumbnails/16.jpg)
30/08/03 Jorge Baralt-Torrijos 16
Ts. Incl Union(Atm(y))(x) = z EsAgregado(z)
u (u z u x u = y) Incl(y)(x) = z Union(Atm(y))(x) = z z Incl(y)(x) = z z Union(Atm(y))(x) = z z Union(Atm(a))(X) = z z Incl(a)(X) = z EsClase(Incl(a)(X))
![Page 17: Teoría Axiomática General de Agregados (VII)](https://reader036.fdocuments.ec/reader036/viewer/2022062315/56814e95550346895dbc4053/html5/thumbnails/17.jpg)
30/08/03 Jorge Baralt-Torrijos 17
Ts. Incl EsIntegrante(x) EsIntegrante(y)
z Incl(y)(x) = z Incl(y)(Atm(x)) = Par(y)(x)
EsIntegrante(x) EsMinimal(y) Incl(x)(y) = Atm(x) EsIntegrante(x) Incl(x)(0Z) = Atm(x) EsMinimal(x) Incl(y)(x) = z Atm(y) = z x Incl(b)(a) = x x Incl(a)(Y) = x EsClase(Incl(a)(X)) EsAgregado(x) y x Incl(y)(x) = z z = x
![Page 18: Teoría Axiomática General de Agregados (VII)](https://reader036.fdocuments.ec/reader036/viewer/2022062315/56814e95550346895dbc4053/html5/thumbnails/18.jpg)
30/08/03 Jorge Baralt-Torrijos 18
Df. Clase Clase(a1) =a Incl(a1)(0Z)
Clase(b)(an)…(a2)(a1) = Z =a X = Clase(an)…(a2)(a1) Z = Incl(b)(X)
{a1,a2,…an} =a Clase(an)…(a2)(a1){} =a 0Z
![Page 19: Teoría Axiomática General de Agregados (VII)](https://reader036.fdocuments.ec/reader036/viewer/2022062315/56814e95550346895dbc4053/html5/thumbnails/19.jpg)
30/08/03 Jorge Baralt-Torrijos 19
Ts. de Clase EsAtomo(Clase(a)) EsClsX(Clase(an)…(a2)(a1))
![Page 20: Teoría Axiomática General de Agregados (VII)](https://reader036.fdocuments.ec/reader036/viewer/2022062315/56814e95550346895dbc4053/html5/thumbnails/20.jpg)
30/08/03 Jorge Baralt-Torrijos 20
Ejs. de Clase (1) {a,b} = Clase(b)(a) Clase(b)(a) = Incl(b)(Clase(a)) Incl(b)(Clase(a)) = Incl(b)(Incl(a)(0Z)) Incl(b)(Incl(a)(0Z)) = Union(Atm(b))(Union(Atm(a))(0Z)) Union(Atm(b))(Union(Atm(a))(0Z)) =
Union(Atm(b))(Atm(a))
Union(Atm(b))(Atm(a)) = {x | x = a x = b} {a,b} = {x | x = a x = b}
![Page 21: Teoría Axiomática General de Agregados (VII)](https://reader036.fdocuments.ec/reader036/viewer/2022062315/56814e95550346895dbc4053/html5/thumbnails/21.jpg)
30/08/03 Jorge Baralt-Torrijos 21
Ejs. de Clase (2) {a,b,c} = Clase(c)(b)(a) Clase(c)(b)(a) = Incl(c)(Clase(b)(a)) Incl(c)(Clase(b)(a)) = Union(Atm(c))(Clase(b)(a)) Union(Atm(c))(Clase(b)(a)) = {x | x = a x = b x = c} {a,b,c} = {x | x = a x = b x = c}
![Page 22: Teoría Axiomática General de Agregados (VII)](https://reader036.fdocuments.ec/reader036/viewer/2022062315/56814e95550346895dbc4053/html5/thumbnails/22.jpg)
30/08/03 Jorge Baralt-Torrijos 22
Ax. de Clausura de unión EsElemento(UnionG(A))
![Page 23: Teoría Axiomática General de Agregados (VII)](https://reader036.fdocuments.ec/reader036/viewer/2022062315/56814e95550346895dbc4053/html5/thumbnails/23.jpg)
30/08/03 Jorge Baralt-Torrijos 23
Resumen de Axiomas (1) 1. Extensión (Op. 2) 2. Existencia (Op. 2) 3. Diferencia 4. Apareamiento (Op. 2) 5. Producto Cartesiano 6. Rotación 7. Transposición 8. Dominio
![Page 24: Teoría Axiomática General de Agregados (VII)](https://reader036.fdocuments.ec/reader036/viewer/2022062315/56814e95550346895dbc4053/html5/thumbnails/24.jpg)
30/08/03 Jorge Baralt-Torrijos 24
Resumen de Axiomas (2) 9. Reemplazo 10. Membresía 11. Clausura de apareamiento 12. Clausura de unión
![Page 25: Teoría Axiomática General de Agregados (VII)](https://reader036.fdocuments.ec/reader036/viewer/2022062315/56814e95550346895dbc4053/html5/thumbnails/25.jpg)
30/08/03 Jorge Baralt-Torrijos 25
Naturales según von Neumann
![Page 26: Teoría Axiomática General de Agregados (VII)](https://reader036.fdocuments.ec/reader036/viewer/2022062315/56814e95550346895dbc4053/html5/thumbnails/26.jpg)
30/08/03 Jorge Baralt-Torrijos 26
Df. SucN SucN(x) = y =a EsAgregado(y)
z (z y z x z = x)SucN(x) =s el sucesor de x según von Neumann
![Page 27: Teoría Axiomática General de Agregados (VII)](https://reader036.fdocuments.ec/reader036/viewer/2022062315/56814e95550346895dbc4053/html5/thumbnails/27.jpg)
30/08/03 Jorge Baralt-Torrijos 27
Df. EsNatN EsNatN(x) =a x = 0Z y (EsNatN(y) x = SucN(y))
EsNatN(x) =s x es natural según von Neumann
![Page 28: Teoría Axiomática General de Agregados (VII)](https://reader036.fdocuments.ec/reader036/viewer/2022062315/56814e95550346895dbc4053/html5/thumbnails/28.jpg)
30/08/03 Jorge Baralt-Torrijos 28
Df. Naturales von Neumann 0N =a 0Z
1N =a SucN(0N)2N =a SucN(1N) 3N =a SucN(2N)... ’N =a SucN(N)
N
0N1N
2N
3N
![Page 29: Teoría Axiomática General de Agregados (VII)](https://reader036.fdocuments.ec/reader036/viewer/2022062315/56814e95550346895dbc4053/html5/thumbnails/29.jpg)
30/08/03 Jorge Baralt-Torrijos 29
Variables de Naturales n (n) =a x (EsNatN(x) (x))
n (n) =a x (EsNatN(x) (x))!n n) =a !x (EsNatN(x) (x))
/*para n,m,k,i,j,l,n1,...
![Page 30: Teoría Axiomática General de Agregados (VII)](https://reader036.fdocuments.ec/reader036/viewer/2022062315/56814e95550346895dbc4053/html5/thumbnails/30.jpg)
30/08/03 Jorge Baralt-Torrijos 30
Ts. EsNatN x x SucN(x) = x SucN(n) 0N SucN(n) = SucN(m) n = m SucN(n) n
![Page 31: Teoría Axiomática General de Agregados (VII)](https://reader036.fdocuments.ec/reader036/viewer/2022062315/56814e95550346895dbc4053/html5/thumbnails/31.jpg)
30/08/03 Jorge Baralt-Torrijos 31
Axioma de Potencia
![Page 32: Teoría Axiomática General de Agregados (VII)](https://reader036.fdocuments.ec/reader036/viewer/2022062315/56814e95550346895dbc4053/html5/thumbnails/32.jpg)
30/08/03 Jorge Baralt-Torrijos 32
Df. Partes Partes(x) = y =a EsAgregado(y)
z (z y EsParte(x)(z))Partes(x) =s el agregado de las partes de x
![Page 33: Teoría Axiomática General de Agregados (VII)](https://reader036.fdocuments.ec/reader036/viewer/2022062315/56814e95550346895dbc4053/html5/thumbnails/33.jpg)
30/08/03 Jorge Baralt-Torrijos 33
Ts. Partes Partes(x) = y EsAgregado(y)
(EsIndividuo(x) y = 0Z) (EsAgregado(x) (0Z y x y))
(x = 0Z y = Atm(0Z)) (EsAtomo(x) y = Par(x)(0Z))
![Page 34: Teoría Axiomática General de Agregados (VII)](https://reader036.fdocuments.ec/reader036/viewer/2022062315/56814e95550346895dbc4053/html5/thumbnails/34.jpg)
30/08/03 Jorge Baralt-Torrijos 34
Df. Partes Partes(a) =a {x : EsParte(a)(x))}
Partes(a) =s el agregado de las partes de a
![Page 35: Teoría Axiomática General de Agregados (VII)](https://reader036.fdocuments.ec/reader036/viewer/2022062315/56814e95550346895dbc4053/html5/thumbnails/35.jpg)
30/08/03 Jorge Baralt-Torrijos 35
Ts. Partes EsClase(Partes(a)) EsParte(Partes(Partes(Union(b)(a))))(PrC(b)(a))
![Page 36: Teoría Axiomática General de Agregados (VII)](https://reader036.fdocuments.ec/reader036/viewer/2022062315/56814e95550346895dbc4053/html5/thumbnails/36.jpg)
30/08/03 Jorge Baralt-Torrijos 36
Ax. de potencia A (Partes(a) A)
![Page 37: Teoría Axiomática General de Agregados (VII)](https://reader036.fdocuments.ec/reader036/viewer/2022062315/56814e95550346895dbc4053/html5/thumbnails/37.jpg)
30/08/03 Jorge Baralt-Torrijos 37
Resumen de Axiomas (II) 10. Membrecía 11. Reemplazo 12. Potencia
![Page 38: Teoría Axiomática General de Agregados (VII)](https://reader036.fdocuments.ec/reader036/viewer/2022062315/56814e95550346895dbc4053/html5/thumbnails/38.jpg)
30/08/03 Jorge Baralt-Torrijos 38
Ts. Potencia EsConjunto(Partes(a)) EsConjunto(Partes(0Z)) EsIndividuo(a) Partes(a) = 0Z Partes(0Z) = 1Z Partes(1Z) = 2N EsConjunto(PrC(B)(A))
![Page 39: Teoría Axiomática General de Agregados (VII)](https://reader036.fdocuments.ec/reader036/viewer/2022062315/56814e95550346895dbc4053/html5/thumbnails/39.jpg)
30/08/03 Jorge Baralt-Torrijos 39
Axioma de Escogencia
![Page 40: Teoría Axiomática General de Agregados (VII)](https://reader036.fdocuments.ec/reader036/viewer/2022062315/56814e95550346895dbc4053/html5/thumbnails/40.jpg)
30/08/03 Jorge Baralt-Torrijos 40
Ax. de escogencia EsRelacion(A) B (EsFUnioncion(B) B A
Dom(B) = Dom(A) )
![Page 41: Teoría Axiomática General de Agregados (VII)](https://reader036.fdocuments.ec/reader036/viewer/2022062315/56814e95550346895dbc4053/html5/thumbnails/41.jpg)
30/08/03 Jorge Baralt-Torrijos 41
Resumen de Axiomas (1) 1. Extensión 2. FUniondamentación 3. Diferencia 4. Apareamiento 5. Unionión 6. Producto Cartesiano 7. Rotación 8. Transposición 9. Dominio
![Page 42: Teoría Axiomática General de Agregados (VII)](https://reader036.fdocuments.ec/reader036/viewer/2022062315/56814e95550346895dbc4053/html5/thumbnails/42.jpg)
30/08/03 Jorge Baralt-Torrijos 42
Resumen de Axiomas (II) 10. Membrecía 11. Reemplazo 12. Potencia 13. Infinito 14. Escogencia
![Page 43: Teoría Axiomática General de Agregados (VII)](https://reader036.fdocuments.ec/reader036/viewer/2022062315/56814e95550346895dbc4053/html5/thumbnails/43.jpg)
30/08/03 Jorge Baralt-Torrijos 43
Axioma de Fundamentación
![Page 44: Teoría Axiomática General de Agregados (VII)](https://reader036.fdocuments.ec/reader036/viewer/2022062315/56814e95550346895dbc4053/html5/thumbnails/44.jpg)
30/08/03 Jorge Baralt-Torrijos 44
Ax. de Fundamentación EsAgrBnFnd(X)
![Page 45: Teoría Axiomática General de Agregados (VII)](https://reader036.fdocuments.ec/reader036/viewer/2022062315/56814e95550346895dbc4053/html5/thumbnails/45.jpg)
30/08/03 Jorge Baralt-Torrijos 45
Resumen de Axiomas 1. Extensión 2. Diferencia 3. Apareamiento 4. Unión 5. Fundamentación
![Page 46: Teoría Axiomática General de Agregados (VII)](https://reader036.fdocuments.ec/reader036/viewer/2022062315/56814e95550346895dbc4053/html5/thumbnails/46.jpg)
30/08/03 Jorge Baralt-Torrijos 46
Ts. de Fundamentación EsAgrBnFnd(A) A A A B B A
![Page 47: Teoría Axiomática General de Agregados (VII)](https://reader036.fdocuments.ec/reader036/viewer/2022062315/56814e95550346895dbc4053/html5/thumbnails/47.jpg)
30/08/03 Jorge Baralt-Torrijos 47
Ax. de Clausura de Unión EsElemento(Union(a))
![Page 48: Teoría Axiomática General de Agregados (VII)](https://reader036.fdocuments.ec/reader036/viewer/2022062315/56814e95550346895dbc4053/html5/thumbnails/48.jpg)
30/08/03 Jorge Baralt-Torrijos 48
Resumen de Axiomas 1. Extensión 2. Diferencia 3. Apareamiento 4. Unión 5. Fundamentación 6. Clausura de Pares 7. Clausura de Unión
![Page 49: Teoría Axiomática General de Agregados (VII)](https://reader036.fdocuments.ec/reader036/viewer/2022062315/56814e95550346895dbc4053/html5/thumbnails/49.jpg)
30/08/03 Jorge Baralt-Torrijos 49
Ts. Básicos de Conjuntos EsConjunto(Par(b)(a)) EsConjunto(Union(a)) EsConjunto(Union(b)(a)) EsConjunto(Incl(b)(a)) EsConjunto(Agr(an)…(a2)(a1)) Agr(a) a Agr(b)(a) a Agr(b)(a) b
![Page 50: Teoría Axiomática General de Agregados (VII)](https://reader036.fdocuments.ec/reader036/viewer/2022062315/56814e95550346895dbc4053/html5/thumbnails/50.jpg)
30/08/03 Jorge Baralt-Torrijos 50
Ts. de Clases EsClase(n) EsElemento(n) EsConjunto(n)
![Page 51: Teoría Axiomática General de Agregados (VII)](https://reader036.fdocuments.ec/reader036/viewer/2022062315/56814e95550346895dbc4053/html5/thumbnails/51.jpg)
30/08/03 Jorge Baralt-Torrijos 51
Ts. de Clases EsNatZ(x) EsConjunto(x) EsClase(n) EsElemento(n) EsConjunto(n) EsElemento(a,b) EsConjunto(a,b) EsClase(Rot(X))
![Page 52: Teoría Axiomática General de Agregados (VII)](https://reader036.fdocuments.ec/reader036/viewer/2022062315/56814e95550346895dbc4053/html5/thumbnails/52.jpg)
30/08/03 Jorge Baralt-Torrijos 52
TG. de orden n x (EsAgregado(x) y (y x
(y0)(y1)…(yn)(y = <y0,y1,…,yn> yiSuc(n) V(n) (y0)(y1)…(yn))))
EsAgrOrd(n)({y | (y0)(y1)…(yn)(y = <y0,y1,…,yn> yiSuc(n) V(n) (y0)(y1)…(yn))})