Teoría Axiomática General de Agregados (V)
description
Transcript of Teoría Axiomática General de Agregados (V)
![Page 1: Teoría Axiomática General de Agregados (V)](https://reader036.fdocument.pub/reader036/viewer/2022062314/56814958550346895db6ace4/html5/thumbnails/1.jpg)
04/10/03 Jorge Baralt-Torrijos 1
Teoría Axiomática General de Agregados (V)
Jorge Baralt-Torrijos
Universidad Simón BolívarOctubre 2003
![Page 2: Teoría Axiomática General de Agregados (V)](https://reader036.fdocument.pub/reader036/viewer/2022062314/56814958550346895db6ace4/html5/thumbnails/2.jpg)
04/10/03 Jorge Baralt-Torrijos 2
Contenido Axioma de Reemplazo Funciones Naturales según Peano Naturales según Zermelo Agregados Bien Fundados Políadas
![Page 3: Teoría Axiomática General de Agregados (V)](https://reader036.fdocument.pub/reader036/viewer/2022062314/56814958550346895db6ace4/html5/thumbnails/3.jpg)
04/10/03 Jorge Baralt-Torrijos 3
Axioma de Reemplazo
![Page 4: Teoría Axiomática General de Agregados (V)](https://reader036.fdocument.pub/reader036/viewer/2022062314/56814958550346895db6ace4/html5/thumbnails/4.jpg)
04/10/03 Jorge Baralt-Torrijos 4
Df. EsUnvc EsUnvc(y)(x) =a z (z Intsc(y)(Dom(x))
!u (u x EsParOrd(u) z = Prm(u))) EsUnvc(y)(x) =s x es unívoco en y
![Page 5: Teoría Axiomática General de Agregados (V)](https://reader036.fdocument.pub/reader036/viewer/2022062314/56814958550346895db6ace4/html5/thumbnails/5.jpg)
04/10/03 Jorge Baralt-Torrijos 5
Ts. EsUnvc EsVacio(Intsc(y)(Dom(x))) EsUnvc(y)(x) EsMinimal(x) EsMinimal(y) EsUnvc(y)(x) EsUnvc(y)(x) z y EsUnvc(z)(x) EsUnvc(y)(x) z x EsUnvc(y)(z)
![Page 6: Teoría Axiomática General de Agregados (V)](https://reader036.fdocument.pub/reader036/viewer/2022062314/56814958550346895db6ace4/html5/thumbnails/6.jpg)
04/10/03 Jorge Baralt-Torrijos 6
Ax. de Reemplazo EsUnvc(a)(x) EsClase(Img(x)(a))
EsElemento(Img(x)(a))
![Page 7: Teoría Axiomática General de Agregados (V)](https://reader036.fdocument.pub/reader036/viewer/2022062314/56814958550346895db6ace4/html5/thumbnails/7.jpg)
04/10/03 Jorge Baralt-Torrijos 7
Resumen de Axiomas (I) 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 8: Teoría Axiomática General de Agregados (V)](https://reader036.fdocument.pub/reader036/viewer/2022062314/56814958550346895db6ace4/html5/thumbnails/8.jpg)
04/10/03 Jorge Baralt-Torrijos 8
Resumen de Axiomas (II) 9. Reemplazo
![Page 9: Teoría Axiomática General de Agregados (V)](https://reader036.fdocument.pub/reader036/viewer/2022062314/56814958550346895db6ace4/html5/thumbnails/9.jpg)
04/10/03 Jorge Baralt-Torrijos 9
Ts. de Reemplazo EsElemento(0Z) EsIntegrante(0Z) EsConjunto(0Z)
![Page 10: Teoría Axiomática General de Agregados (V)](https://reader036.fdocument.pub/reader036/viewer/2022062314/56814958550346895db6ace4/html5/thumbnails/10.jpg)
04/10/03 Jorge Baralt-Torrijos 10
El vacío es un conjunto
0Z
Integrantes
Minimales Agrupaciones
Maximales
Clases
Agregados
Individuos
Elementos
![Page 11: Teoría Axiomática General de Agregados (V)](https://reader036.fdocument.pub/reader036/viewer/2022062314/56814958550346895db6ace4/html5/thumbnails/11.jpg)
04/10/03 Jorge Baralt-Torrijos 11
Si todo agregado es clase
0Z
Integrantes
Minimales Agrupaciones
Maximales
Clases
Agregados
Individuos
Elementos
![Page 12: Teoría Axiomática General de Agregados (V)](https://reader036.fdocument.pub/reader036/viewer/2022062314/56814958550346895db6ace4/html5/thumbnails/12.jpg)
04/10/03 Jorge Baralt-Torrijos 12
El universo de NBG
0Z
Integrantes
Minimales Agrupaciones
Maximales
Clases
Agregados
Individuos
Elementos
![Page 13: Teoría Axiomática General de Agregados (V)](https://reader036.fdocument.pub/reader036/viewer/2022062314/56814958550346895db6ace4/html5/thumbnails/13.jpg)
04/10/03 Jorge Baralt-Torrijos 13
Funciones
![Page 14: Teoría Axiomática General de Agregados (V)](https://reader036.fdocument.pub/reader036/viewer/2022062314/56814958550346895db6ace4/html5/thumbnails/14.jpg)
04/10/03 Jorge Baralt-Torrijos 14
Df. ResAp ResAp(z)(y)(x) =a u (u z
EsParOrd(u) u = ParOrd(y)(x) )
ResAp(z)(y)(x) =s x es un resultado de aplicar z a y
![Page 15: Teoría Axiomática General de Agregados (V)](https://reader036.fdocument.pub/reader036/viewer/2022062314/56814958550346895db6ace4/html5/thumbnails/15.jpg)
04/10/03 Jorge Baralt-Torrijos 15
Ts. ResAp x ResAp(z)(y)(x) y Dom(z)
![Page 16: Teoría Axiomática General de Agregados (V)](https://reader036.fdocument.pub/reader036/viewer/2022062314/56814958550346895db6ace4/html5/thumbnails/16.jpg)
04/10/03 Jorge Baralt-Torrijos 16
Df. EstaDef EstaDef(y)(x) =a z ResAp(x)(y)(z)
EstaDef(y)(x) =s x está definido para y
![Page 17: Teoría Axiomática General de Agregados (V)](https://reader036.fdocument.pub/reader036/viewer/2022062314/56814958550346895db6ace4/html5/thumbnails/17.jpg)
04/10/03 Jorge Baralt-Torrijos 17
Ts. EstaDef EstaDef(y)(x) y Dom(x)
![Page 18: Teoría Axiomática General de Agregados (V)](https://reader036.fdocument.pub/reader036/viewer/2022062314/56814958550346895db6ace4/html5/thumbnails/18.jpg)
04/10/03 Jorge Baralt-Torrijos 18
Df. EstaDet EstaDet(y)(x) =a !z ResAp(x)(y)(z)
EstaDet(y)(x) =s x está determinado para y
![Page 19: Teoría Axiomática General de Agregados (V)](https://reader036.fdocument.pub/reader036/viewer/2022062314/56814958550346895db6ace4/html5/thumbnails/19.jpg)
04/10/03 Jorge Baralt-Torrijos 19
Ts. EstaDet EstaDet(y)(x) EstaDef(y)(x)
![Page 20: Teoría Axiomática General de Agregados (V)](https://reader036.fdocument.pub/reader036/viewer/2022062314/56814958550346895db6ace4/html5/thumbnails/20.jpg)
04/10/03 Jorge Baralt-Torrijos 20
Df. DomS DomS(x) = y =a EsAgregado(y)
z (z y EstaDet(z)(x))DomS(x) =s el dominio de singularidad de x
![Page 21: Teoría Axiomática General de Agregados (V)](https://reader036.fdocument.pub/reader036/viewer/2022062314/56814958550346895db6ace4/html5/thumbnails/21.jpg)
04/10/03 Jorge Baralt-Torrijos 21
Ts. DomS y (y x ¬EsParOrd(y)) DomS(x) = 0Z EsMinimal(x) DomS(x) = 0Z DomS(x) = y EsAgregado(y)
y Dom(x) DomS(Nucleo(x)) = y EsUnvc(y)(x) (EsUnvc(z)(x) Intsc(z)(Dom(x)))
y)
![Page 22: Teoría Axiomática General de Agregados (V)](https://reader036.fdocument.pub/reader036/viewer/2022062314/56814958550346895db6ace4/html5/thumbnails/22.jpg)
04/10/03 Jorge Baralt-Torrijos 22
Df. Ap Ap(y)(x) = z =a EstaDet(x)(y) ResAp(y)(x)(z)
Ap(y)(x) =s la aplicación de y a xy(x) =a Ap(y)(x)
![Page 23: Teoría Axiomática General de Agregados (V)](https://reader036.fdocument.pub/reader036/viewer/2022062314/56814958550346895db6ace4/html5/thumbnails/23.jpg)
04/10/03 Jorge Baralt-Torrijos 23
Ts. Ap Ap(y)(x) = z ResAp(y)(x)(z) DomS(y) = u x u !z Ap(y)(x) = z
![Page 24: Teoría Axiomática General de Agregados (V)](https://reader036.fdocument.pub/reader036/viewer/2022062314/56814958550346895db6ace4/html5/thumbnails/24.jpg)
04/10/03 Jorge Baralt-Torrijos 24
Df. EsFuncion EsFuncion(x) =a EsRelacion(x) EsUnvc(Dom(x))(x)
EsFuncion(x) =s x es una función
![Page 25: Teoría Axiomática General de Agregados (V)](https://reader036.fdocument.pub/reader036/viewer/2022062314/56814958550346895db6ace4/html5/thumbnails/25.jpg)
04/10/03 Jorge Baralt-Torrijos 25
Ts. EsFuncion EsFuncion(x) DomS(x) = Dom(x) DomS(x) = Dom(x) EsFuncion(Nucleo(x))
![Page 26: Teoría Axiomática General de Agregados (V)](https://reader036.fdocument.pub/reader036/viewer/2022062314/56814958550346895db6ace4/html5/thumbnails/26.jpg)
04/10/03 Jorge Baralt-Torrijos 26
Df. EsOperacion EsOperacion(x) =a EsFuncion(x) EsRelacion(Dom(x))
EsOperacion(x) =s x es una operación
![Page 27: Teoría Axiomática General de Agregados (V)](https://reader036.fdocument.pub/reader036/viewer/2022062314/56814958550346895db6ace4/html5/thumbnails/27.jpg)
04/10/03 Jorge Baralt-Torrijos 27
Naturales según Peano
![Page 28: Teoría Axiomática General de Agregados (V)](https://reader036.fdocument.pub/reader036/viewer/2022062314/56814958550346895db6ace4/html5/thumbnails/28.jpg)
04/10/03 Jorge Baralt-Torrijos 28
Df. EsFunSuc EsFunSuc(x) =a EsFuncion(x) Rng(x) Dom(x)
EsFuncion(Inv(x)) y (y Dif(Rng(x))(Dom(x))
z (z Dom(x) y z u (u x (Prm(u) z Sgd(u) z))
Dom(x) z ) )
EsFunSuc(x) =s x es una función de sucesión
![Page 29: Teoría Axiomática General de Agregados (V)](https://reader036.fdocument.pub/reader036/viewer/2022062314/56814958550346895db6ace4/html5/thumbnails/29.jpg)
04/10/03 Jorge Baralt-Torrijos 29
Ts. EsFunSuc EsFunSuc(x) y Dif(Rng(x))(Dom(x))
z (z Dif(Rng(x))(Dom(x)) z = y) EsFunSuc(x) !y (y Dif(Rng(x))(Dom(x))
![Page 30: Teoría Axiomática General de Agregados (V)](https://reader036.fdocument.pub/reader036/viewer/2022062314/56814958550346895db6ace4/html5/thumbnails/30.jpg)
04/10/03 Jorge Baralt-Torrijos 30
Df. Naturales de Peano 0P(x) = y =a EsFunSuc(x)
y Dif(Rng(x))(Dom(x)) 0P(x) =s el cero de Peano de x
1P(x) = y =a EsFunSuc(x) y = x(0P(x))1P(x) =s el uno de Peano de x
… ’P(x) = y =a EsFunSuc(x) y = x(P(x))
’P(x) =s el ’ de Peano de x
![Page 31: Teoría Axiomática General de Agregados (V)](https://reader036.fdocument.pub/reader036/viewer/2022062314/56814958550346895db6ace4/html5/thumbnails/31.jpg)
04/10/03 Jorge Baralt-Torrijos 31
Diagrama de función de sucesión
0P(x) 1P(x) 2P(x) 3P(x) 4P(x) x x x x x
![Page 32: Teoría Axiomática General de Agregados (V)](https://reader036.fdocument.pub/reader036/viewer/2022062314/56814958550346895db6ace4/html5/thumbnails/32.jpg)
04/10/03 Jorge Baralt-Torrijos 32
Naturales según Zermelo
![Page 33: Teoría Axiomática General de Agregados (V)](https://reader036.fdocument.pub/reader036/viewer/2022062314/56814958550346895db6ace4/html5/thumbnails/33.jpg)
04/10/03 Jorge Baralt-Torrijos 33
Df. SucZ SucZ(x) = y =a EsAgregado(y)
z (z y z = x)SucZ(x) =s el sucesor de x según Zermelo
![Page 34: Teoría Axiomática General de Agregados (V)](https://reader036.fdocument.pub/reader036/viewer/2022062314/56814958550346895db6ace4/html5/thumbnails/34.jpg)
04/10/03 Jorge Baralt-Torrijos 34
Ts. SucZ SucZ(x) = Atm(x) EsIntegrante(x) y SucZ(x) = y x SucZ(a) = x SucZ(x) = y EsIntegrante(y) EsIndivQ(x) SucZ(x) = x
![Page 35: Teoría Axiomática General de Agregados (V)](https://reader036.fdocument.pub/reader036/viewer/2022062314/56814958550346895db6ace4/html5/thumbnails/35.jpg)
04/10/03 Jorge Baralt-Torrijos 35
Df. EsNatZ EsNatZ(x) =a x = 0Z y (EsNatZ(y) x = SucZ(y))
EsNatZ(x) =s x es natural según Zermelo
![Page 36: Teoría Axiomática General de Agregados (V)](https://reader036.fdocument.pub/reader036/viewer/2022062314/56814958550346895db6ace4/html5/thumbnails/36.jpg)
04/10/03 Jorge Baralt-Torrijos 36
Ts. EsNatZ SucZ(x) = y y 0Z SucZ(x) = SucZ(y) x = y EsFuncion(x) z (z x EsNatZ(Prm(z))
Sgd(z) = SucZ(Prm(z)) ) EsFunSuc(x)
![Page 37: Teoría Axiomática General de Agregados (V)](https://reader036.fdocument.pub/reader036/viewer/2022062314/56814958550346895db6ace4/html5/thumbnails/37.jpg)
04/10/03 Jorge Baralt-Torrijos 37
Df. de naturales Zermelo 1Z =a SucZ(0Z)
2Z =a SucZ(1Z) 3Z =a SucZ(2Z)...’Z =a SucZ(Z)
Z
:
2Z
1Z
0Z
EsMbr
![Page 38: Teoría Axiomática General de Agregados (V)](https://reader036.fdocument.pub/reader036/viewer/2022062314/56814958550346895db6ace4/html5/thumbnails/38.jpg)
04/10/03 Jorge Baralt-Torrijos 38
Df. NatZ NatZ = x =a EsAgregado(x) y (y x EsNatZ(y))
NatZ =s los naturales según Zermelo
![Page 39: Teoría Axiomática General de Agregados (V)](https://reader036.fdocument.pub/reader036/viewer/2022062314/56814958550346895db6ace4/html5/thumbnails/39.jpg)
04/10/03 Jorge Baralt-Torrijos 39
Agregados Bien Fundados
![Page 40: Teoría Axiomática General de Agregados (V)](https://reader036.fdocument.pub/reader036/viewer/2022062314/56814958550346895db6ace4/html5/thumbnails/40.jpg)
04/10/03 Jorge Baralt-Torrijos 40
Df. AgrBnFnd EsAgrBnFnd(x) =a EsVacio(x)
y (y x z (z y z x)) EsAgrBnFnd(x) =s x es un agregado bien fundado
![Page 41: Teoría Axiomática General de Agregados (V)](https://reader036.fdocument.pub/reader036/viewer/2022062314/56814958550346895db6ace4/html5/thumbnails/41.jpg)
04/10/03 Jorge Baralt-Torrijos 41
Ts. AgrBnFund EsAgrBnFnd(x) EsAgregado(x) EsVacio(x) EsAgrBnFnd(x) ¬ EsAgrBnFnd(x) EsAgrupacion(x) EsIndividuo(x) x (EsMinimal(x) x y) EsAgrBnFnd(y) ¬ EsAgrBnFnd(x) y (y x EsAgrupacion(y))
![Page 42: Teoría Axiomática General de Agregados (V)](https://reader036.fdocument.pub/reader036/viewer/2022062314/56814958550346895db6ace4/html5/thumbnails/42.jpg)
04/10/03 Jorge Baralt-Torrijos 42
Df. AgrNoBnFnd EsAgrNoBnFnd(x) =a EsAgregado(x)
¬ EsAgrBnFnd(x) EsAgrNoBnFnd(x) =s x es un agregado no bien
fundado
![Page 43: Teoría Axiomática General de Agregados (V)](https://reader036.fdocument.pub/reader036/viewer/2022062314/56814958550346895db6ace4/html5/thumbnails/43.jpg)
04/10/03 Jorge Baralt-Torrijos 43
Ts. AgrNoBnFnd EsAgrNoBnFnd(x) EsAgrupacion(x)
y (y x z (z y z x)) x x EsAgrNoBnFnd(Atm(x)) x y y x EsAgrNoBnFnd(Par(y)(x)) Atm(x) = x x x x1 x2 x2 x3 … xn-1 xn xn x1
y (y z y = x1 y = x2 … y = xn-1 y = xn) EsAgrNoBnFnd(z)
EsIndivQ(x) EsAgrNoBnFnd(x)
![Page 44: Teoría Axiomática General de Agregados (V)](https://reader036.fdocument.pub/reader036/viewer/2022062314/56814958550346895db6ace4/html5/thumbnails/44.jpg)
04/10/03 Jorge Baralt-Torrijos 44
Ts. AgrBnFnd (2) EsNatZ(x) SucZ(x) x EsNatZ(x) x x EsNatZ(x) EsAgrBnFnd(x NatZ = x EsAgrBnFnd(x)
![Page 45: Teoría Axiomática General de Agregados (V)](https://reader036.fdocument.pub/reader036/viewer/2022062314/56814958550346895db6ace4/html5/thumbnails/45.jpg)
04/10/03 Jorge Baralt-Torrijos 45
Políadas
![Page 46: Teoría Axiomática General de Agregados (V)](https://reader036.fdocument.pub/reader036/viewer/2022062314/56814958550346895db6ace4/html5/thumbnails/46.jpg)
04/10/03 Jorge Baralt-Torrijos 46
Notación de naturales 0 =a 0P(x) 0Z … 1 =a 0P(x) 0Z … 2 =a 0P(x) 0Z … … n =a P(x) Z … Suc(n) =a ’P(x) ’Z …
![Page 47: Teoría Axiomática General de Agregados (V)](https://reader036.fdocument.pub/reader036/viewer/2022062314/56814958550346895db6ace4/html5/thumbnails/47.jpg)
04/10/03 Jorge Baralt-Torrijos 47
Df. EsPoliAdi EsPoliAdi(n)(x) =a (¬ EsParOrd(x) n = 1)
(EsParOrd(x) (k)(EsPoliAdi(k)(Prm(x)) n =Suc(k)))
EsPoliAdi(n)(x) =s x es una políada de adicidad n
![Page 48: Teoría Axiomática General de Agregados (V)](https://reader036.fdocument.pub/reader036/viewer/2022062314/56814958550346895db6ace4/html5/thumbnails/48.jpg)
04/10/03 Jorge Baralt-Torrijos 48
Df. Pol Pol(x1) =a x1
Pol(y)(xn)…(x2)(x1) = z =a x = Pol(xn)…(x2)(x1) z = ParOrd(y)(x)
x1,x2,…,xn =a Pol(xn)…(x2)(x1)
![Page 49: Teoría Axiomática General de Agregados (V)](https://reader036.fdocument.pub/reader036/viewer/2022062314/56814958550346895db6ace4/html5/thumbnails/49.jpg)
04/10/03 Jorge Baralt-Torrijos 49
Ts. EsPoliAdi ¬ EsParOrd(x) EsPolAdi(1)(x)
EsPolAdi(2)(x,y) EsPolAdi(3)(x,y,z) …
![Page 50: Teoría Axiomática General de Agregados (V)](https://reader036.fdocument.pub/reader036/viewer/2022062314/56814958550346895db6ace4/html5/thumbnails/50.jpg)
04/10/03 Jorge Baralt-Torrijos 50
Políadas de adicidad n x1 =a x1
x1,x2 = x1,x2 x1,x2,x3 =a x1,x2,x3 ... x1,x2,…,xn =a x1,x2,…,xn