miércoles, 27 de marzo de 2024

pensiones-economía y psico-neurología y operación-médica y derecho-constitucional

Definición: [ de pensión de jubilación familiar ]

Inversión de p+q en dual (1/2):

Casado cada uno con n hijos

P(k) = (2n+1)·(1/2)·kp

Q(k) = (2n+1)·(1/2)·(q/k)

B(k) = P(k)+Q(k)

Soltero con n hijos:

P(k) = (2n+2)·(1/2)·kp

Q(k) = (2n+2)·(1/2)·(q/k)

B(k) = P(k)+Q(k)


Artículo: [ para el cálculo de las pensiones de jubilación familiares ]

Sea p+q la inversión en la pensión de jubilación familiar ==>

p+q = 110€·( 6+(-n) )


Lema:

Si ( 1 hijo & casado cada uno ) ==> ...

... C(3) = 1100€ & 550€ de impuestos del gobierno central.

Si ( 1 hijo & soltero ) ==> ...

... C(4) = 1650€ & 550€ de impuestos del gobierno central.


Lema:

Si ( 2 hijos & casado cada uno  ) ==> ...

... C(5) = 1760€ & 440€ de impuestos del gobierno central.

Si ( 2 hijos & soltero ) ==> ...

... C(6) = 2200€ & 440€ de impuestos del gobierno central.

Disertación:

B(1) = 5·(1/2)·40+5·(1/2)·400

B(10) = 5·(1/2)·400+5·(1/2)·40

C(5) = B(1)+B(10)+(-440) = 1760€

B(1) = 6·(1/2)·40+6·(1/2)·400

B(10) = 6·(1/2)·400+6·(1/2)·40

C(6) = B(1)+B(10)+(-440) = 2200€


Lema:

Si ( 3 hijos & casado cada uno ) ==> ...

... C(7) = 1980€ & 330€ de impuestos del gobierno central.

Si ( 3 hijos & soltero ) ==> ...

... C(8) = 2310€ & 330€ de impuestos del gobierno central.

Disertación:

B(1) = 7·(1/2)·30+7·(1/2)·300

B(10) = 7·(1/2)·300+7·(1/2)·30

C(5) = B(1)+B(10)+(-330) = 1980€

B(1) = 8·(1/2)·30+8·(1/2)·300

B(10) = 8·(1/2)·300+8·(1/2)·30

C(6) = B(1)+B(10)+(-330) = 2310€


Lema:

Si gana la derecha las elecciones ==>

Por cada (0.75)€ de 2 socios se paga (0.15)€ de impuestos.

La inversión en letras del tesoro:

B(1)+B(10)+B(2)+B(5) = (0.11)+(0.07)

Total de recaudación = (0.07)€+(0.15)€ = (0.22)€

Si gana la izquierda las elecciones ==>

Por por (0.75)€ de 2 socios se paga (0.25)€ de impuestos.

Total de recaudación = (0.25)€


Lema:

Si gana la derecha las elecciones ==>

Por cada 1€ de 3 socios se paga (0.10)€ de impuestos.

La inversión en letras del tesoro:

B(1)+B(10)+B(2)+B(5) = (0.11)+(0.07)

Total de recaudación = (0.07)€+(0.10)€ = (0.17)€

Si gana la izquierda las elecciones ==>

Por por 1€ de 3 socios se paga (0.25)€ de impuestos.

Total de recaudación = (0.25)€


Ley:

No me he equivocado y la teoría es correcta,

de que la esquizofrenia y la maníaco-depresión es lo mismo,

en zonas diferentes del cerebro,

porque mi gato ya no me bufa medicando-lo con risperidona.


Principio:

Activación de un puerto visual con destructor en el cerebro.

Activación de un puerto auditivo con destructor en el cerebro.


Ley:

Olanzapina:

Esquizofrenia paranoide visual heterosexual,

honrarás al padre y a la madre.

Esquizofrenia paranoide auditiva heterosexual,

honrarás a la madre y al padre.


Ley:

Clozapina:

Esquizofrenia paranoide visual homosexual,

des-honrarás al padre y a la madre.

Esquizofrenia paranoide auditiva homosexual,

des-honrarás a la madre y al padre.


Ley:

Clozapina:

Escrivir no dual,

des-honrarás al padre y a la madre.

Hablar no dual,

des-honrarás a la madre y al padre.


Ley:

Olanzapina:

No escrivir fuera de la familia,

honrarás al padre y a la madre.

No hablar fuera de la familia,

honrarás a la madre y al padre.


Ley:

Calmín-Forte:

In-vertiendo la corriente eléctrica,

en los que se han borrado por anti-resonancia positiva

Alzheimer positivo: 

1 ==> 0 en memoria,

not(1) en memoria con Calmín-Forte.

In-vertiendo la corriente eléctrica,

en los que se han borrado por anti-resonancia negativa

Alzheimer negativo:

not(1) ==> 0 en memoria,

1 en memoria con Calmín-Forte.


Reino unido es confederal en 4 naciones:

La Inglesa-Escocesa y La Gaélica-Irlandesa.

United Kingdom

Unet-kizhed Kingdom.


English [o] Scotish

-ate [o] -ute

-ated [o] -uted

-ating [o] -uting

-aton [o] -uton

Gaélical Breton [o] Gaélical Irish

-et-kazhe [o] -et-kuzhe

-et-kazhed [o] -et-kuzhed

-et-kazhing [o] -et-kuzhing

-et-kazhon [o] -et-kuzhon


Scotish:

I not me havere-kute putetch-tuted,

wizh the catalans.

I me havere-kute putetch-tuted,

wizhawt the catalans.

Gaélical-Irish:

I not me havere-kuzhe putetch-tet-kuzhed,

wizh the catalans.

I me havere-kuzhe putetch-tet-kuzhed,

wizhawt the catalans.


Make Scotland,

andi-kowetch-tuted again.

Not make Scotland,

gutxi-kowetch-tuted again.


is hat-set-kazhing hot.

is hat-set-kazhing frost.


I det-set-kuzhe the verity,

of the Unet-kizhed Kingdom.

I not det-set-kuzhe the falsity,

of the Unet-kizhed Kingdom.


Ley:

Es completamente ilegal matar a un gato con maníaco-depresión,

porque con Risperidona y Calmín-Forte responde al señora y se cura.

Es completamente ilegal matar a un perro con maníaco-depresión,

porque con Risperidona y Calmín-Forte responde al señor y se cura.


Definición:

int[ e^{f(x)} ]d[x] = e^{int-[(1/2)]-[(1/2)]-[ f(x) ]d[x]}

Teorema:

d_{x}[ e^{int-[(1/2)]-[(1/2)]-[ f(x) ]d[x]} ] = ...

... e^{int-[(1/2)]-[0]-[ f(x) ]d[x]} [o(x)o] ( f(x) )^{[o(x)o] (1/2)}

d_{x}[ e^{int-[(1/2)]-[0]-[ f(x) ]d[x]} ] = ...

... e^{int-[0]-[0]-[ f(x) ]d[x]}·d_{x}[f(x)]^{(1/2)}

Teorema:

e^{int-[(1/2)]-[(1/2)]-[ ln( f(x) ) ]d[x]} = int[ f(x) ]d[x]

Demostración:

e^{int-[(1/2)]-[(1/2)]-[ ln( f(x) ) ]d[x]} = int[ e^{ln( f(x) )} ]d[x] = int[ f(x) ]d[x]

Teorema:

e^{int-[(1/2)]-[(1/2)]-[ n·ln( ax+b ) ]d[x]} = ( 1/(n+1) )·( ax+b )^{n+1} [o(x)o] (1/a)·x

Teorema:

e^{int-[(1/2)]-[(1/2)]-[ n·ln( ax^{2}+bx+c ) ]d[x]} = ...

... ( 1/(n+1) )·( ax^{2}+bx+c )^{n+1} [o(x)o] ln( 2ax+b ) [o(x)o] ( 1/(2a) )·x


Teorema:

e^{int-[(1/2)]-[(1/2)]-[ ( ax+b )^{n} ]d[x]} = ...

... e^{( ax+b )^{n}} [o(x)o] ( 1/((-n)+2) )·( ax+b )^{(-n)+2} [o(x)o] (1/a)·x

Teorema:

e^{int-[(1/2)]-[(1/2)]-[ ( ax^{2}+bx+c )^{n} ]d[x]} = ...

... e^{( ax^{2}+bx+c )^{n}} [o(x)o] ( 1/((-n)+2) )·( ax^{2}+bx+c )^{(-n)+2} [o(x)o] ...

... ln( 2ax+b ) [o(x)o] ( 1/(2a) )·x


Arte: [ de Sturm-Lioville ]

[Ea(x)][Ep(x)][ d_{x}[ p(x)·d_{x}[y(x)] ]+(-1)·a(x)·y(x) = 0 & ...

... y(x) = int[ ( 1/p(x) ) ]d[x] [o(x)o] e^{int-[(1/2)]-[(1/2)]-[ int[ a(x) ]d[x] ]d[x]} ]

[Ea(x)][Ep(x)][ d_{x}[ p(x)·d_{x}[y(x)] ]+a(x)·y(x) = 0 & ...

... y(x) = int[ ( 1/p(x) ) ]d[x] [o(x)o] e^{int-[(1/2)]-[(1/2)]-[ int[ a(x) ]d[x] ]d[x]} ]

Exposición:

p(x) = 1

a(x) = 1

int[ e^{x} ]d[x] = e^{int-[(1/2)]-[(1/2)]-[ x ]d[x]} = e^{x}

e^{x}+(-1)·( x [o(x)o] e^{x} ) = 0

p(x) = 1

a(x) = (-1)

int[ e^{(-x)} ]d[x] = e^{int-[(1/2)]-[(1/2)]-[ (-x) ]d[x]} = (-1)·e^{(-x)}

(-1)·e^{(-x)}+(-1)·( x [o(x)o] (-1)·e^{(-x)} ) = 0


Artículo:

Hay derecho a la vida,

usando la sanidad.

Hay derecho a la muerte,

no usando la sanidad.

Anexo:

No hay autenasia,

porque no matarás.


Ley: [ del mundo infiel ]

Odiar sin motivo,

porque se tiene energía sin motivo.

Amar con motivo,

porque se tiene energía con motivo.


Ley: [ de destrucción del Mal ] 

El Mal se acerca a la Luz constructora,

y se descubre el mal de sus obras en el universo negro,

porque el odio del mundo infiel es constructor sin Espíritu Santo,

pero con Espíritu Santo es Luz constructora.

Proyectado un fiel de constructor en un infiel de este mundo,

lo mata la Luz constructora por condenación.

El Mal se acerca a las Tinieblas destructoras,

y se descubre el Mal de sus obras en el universo blanco,

porque el odio del mundo infiel es destructor sin Espíritu Santo,

pero con Espíritu Santo es Tinieblas destructoras.

Proyectado un fiel de destructor en un infiel de este mundo,

lo mata las Tinieblas destructoras por condenación.


Teorema:

Si f(k,j) = [ k+j = 6 ] ==> P( f(k,j) ) = (1/6)

Si ¬f(k,j) = [ k+j != 6 ] ==> P( ¬f(k,j) ) = (5/6)


Teorema: [ del Caos ]

1 != 0

Demostración: [ por destructor ]

f(1) = (1/n)

[En][ Id(1) = (1/n) & n = 1 ]

g(1/n) = 0

[En][ Id(1/n) = 0 & n = oo ]

1 = f(1) = (1/n) = g(1/n) = 0


Teorema:

[Am][ m = 0 <==> n+m = n ]

Demostración: 

[<==] [ por destructor ]

f(m) = 0

[Em][ Id(m) = 0 & m = 0 ]

n+m = n+f(m) = n+0 = n

[==>] [ por inducción ]

Sea m = 0 ==>

n+m = n

(n+1)+m = n+1

Teorema:

[Am][ m = 1 <==> m·n = n ]

Demostración: 

[<==] [ por destructor ]

f(m) = 1

[Em][ Id(m) = 1 & m = 1 ]

m·n = f(m)·n = 1·n = n

[==>] [ por inducción ]

Sea m = 1 ==>

m·n = n

m·n+m = n+m

m·(n+1) = n+m = n+1



Historia:

En memoria de la Lin-Misheta:

Mi gata ha muerto con la gloria más grande que puede tener un gato,

der o datchnar su vida para dejar una herencia de muerte,

a todos los que entran en mi familia,

o en las familias de mi Gestalt por extensión.

Si soy un dios de los hombres mi Gestalt son todos los hombres fieles,

y no puede entrar ninguien en la familia de ninguien,

porque se muere.

Ahora el Mal vos va aceptar estar,

con Jûan Garriga Peralta una mierda asín de alta,

porque vais a morir.



Leyes del Mal:

Ley:

Odiar sin motivo los infieles,

porque se tiene energía sin motivo,

y es el odio del mundo.

Amar con motivo los infieles,

porque se tiene energía con motivo,

y es el amor del mundo.

Ley:

No puede ser que vos sigan los infieles,

teniendo energía sin motivo,

porque el Mal no puede amar sin motivo.

No puede ser que no vos sigan los infieles,

teniendo energía con motivo,

porque el Mal no puede odiar con motivo.

Ley:

Caminar con odio:

pagando condenación,

sin construcción,

no recibiendo energía,

odiando sin motivo.

Caminar sin odio:

no pagando condenación,

con construcción,

recibiendo energía,

amando con motivo.

Anexo:

No comprendo porque los infieles molestan a alguien que paga condenación,

porque su energía tiene motivo de destrucción.

Ley:

El Mal hace cosas,

que provocan condenación o siendo odio del mundo.

El Mal no hace cosas,

que no provocan condenación ni siendo odio del mundo.



Ley:

Sea H(ut) = int[ h(ut) ]d[ut] ==>

m·d_{tt}^{2}[x(t)] = F·(ut)^{n}·h( s(ut) )·d_{ut}[s(ut)]

d_{t}[x] = (F/m)·(1/u)·( 1/(n+1) )·(ut)^{n+1} <==> s(ut) = H^{o(-1)}(ut)

Deducción:

d_{t}[x] = (F/m)·(1/u)·( 1/(n+1) )·(ut)^{n+1} [o(ut)o] H( s(ut) )

d_{t}[x] = (F/m)·(1/u)·( 1/(n+1) )·(ut)^{n+1} [o(ut)o] H( H^{o(-1)}(ut) )

d_{t}[x] = (F/m)·(1/u)·( 1/(n+1) )·(ut)^{n+1} [o(ut)o] ( H o H^{o(-1)} )(ut)

d_{t}[x] = (F/m)·(1/u)·( 1/(n+1) )·(ut)^{n+1} [o(ut)o] Id(ut)

d_{t}[x] = (F/m)·(1/u)·( 1/(n+1) )·(ut)^{n+1} [o(ut)o] ut

d_{t}[x] = (F/m)·(1/u)·( 1/(n+1) )·(ut)^{n+1}

Ley:

m·d_{tt}^{2}[x(t)] = F·(ut)^{n}·e^{s(ut)}·d_{ut}[s(ut)]

d_{t}[x] = (F/m)·(1/u)·( 1/(n+1) )·(ut)^{n+1} <==> s(ut) = ln(ut)

Ley:

m·d_{tt}^{2}[x(t)] = F·(ut)^{n}·( 1/s(ut) )·d_{ut}[s(ut)]

d_{t}[x] = (F/m)·(1/u)·( 1/(n+1) )·(ut)^{n+1} <==> s(ut) = e^{ut}

Ley:

m·d_{tt}^{2}[x(t)] = F·(ut)^{n}·cosh( s(ut) )·d_{ut}[s(ut)]

d_{t}[x] = (F/m)·(1/u)·( 1/(n+1) )·(ut)^{n+1} <==> s(ut) = arc-sinh(ut)

Ley:

m·d_{tt}^{2}[x(t)] = F·(ut)^{n}·sinh( s(ut) )·d_{ut}[s(ut)]

d_{t}[x] = (F/m)·(1/u)·( 1/(n+1) )·(ut)^{n+1} <==> s(ut) = arc-cosh(ut)



Ley:

Sea ( H(ut) = int[ h(ut) ]d[ut] & G(ut) = int[ g(ut) ]d[ut] ) ==>

m·d_{tt}^{2}[x(t)] = F·h( s(ut) )·g(ut)

d_{t}[x] = (F/m)·(1/u)·H( s(ut) ) <==> g(ut) = d_{ut}[s(ut)]

Deducción:

d_{t}[x] = (F/m)·(1/u)·( H( s(ut) ) /o(ut)o/ s(ut) ) [o(ut)o] G(ut)

Ley:

m·d_{tt}^{2}[x(t)] = F·( 1/( e^{a_{1}·ut}+...+e^{a_{n}·ut} ) )·g(ut)

d_{t}[x] = (F/m)·(1/u)·ln( e^{a_{1}·ut}+...+e^{a_{n}·ut} ) ...

... <==> ...

... g(ut) = sum[k = 1]-[n][ a_{k}·e^{a_{k}·(ut)} ]

Ley:

m·d_{tt}^{2}[x(t)] = F·( 1/( (ut)+...+(ut)^{n} ) )·g(ut)

d_{t}[x] = (F/m)·(1/u)·ln( (ut)+...+(ut)^{n} ) <==> g(ut) = sum[k = 1]-[n][ k·(ut)^{k+(-1)} ]



Ley:

m·d_{t}[x(t)] = p·( a·(ut)+b )^{n}

x(t) = (p/m)·(1/u)·( 1/(n+1) )·( a·(ut)+b )^{n+1} [o(ut)o] (1/a)·(ut)

d_{tt}^{2}[x(t)] = (p/m)·n·( a·(ut)+b )^{n+(-1)}·(au)

Ley:

m·d_{t}[x(t)] = p·( a·(ut)^{2}+b·(ut)+c )^{n}

x(t) = ...

... (p/m)·(1/u)·( 1/(n+1) )·( a·(ut)^{2}+b·(ut)+c )^{n+1} [o(ut)o] ln( 2a·(ut)+b ) [o(ut)o] ( 1/(2a) )·(ut)

d_{tt}^{2}[x(t)] = (p/m)·n·( a·(ut)^{2}+b·(ut)+c )^{n+(-1)}·( 2a·(ut)+b )·u



Ley:

El Mal nunca puede acercar-se a la Luz en el universo negro,

porque se destruye en no odiar sin motivo.

El Mal nunca puede acercar-se a las Tinieblas en el universo blanco,

porque se destruye en no amar con motivo.




Ley:

No se rescata a ningún banco,

con activos tóxicos de edificios en ruinas,

Se rescata alguna Constructora-o-Banco-Malo,

con activos tóxicos de edificios en ruinas.

Si aun no han pagado la hipoteca,

el banco pierde dinero

porque no se rescata por una ruina.

Si ya han pagado la hipoteca,

el banco no pierde dinero

aunque quizás no se rescata por una ruina.

Anexo:

El activo toxico va a la Constructora-o-Banco-Malo por el precio del terreno,

donde el Gobierno invierte en obra pública.

El activo toxico se queda en el banco con el precio del terreno,

donde el gobierno solo invierte en destruir el edificio y dejar un terreno.



Ley:

Ningún fiel sigue a estos dioses,

que no creen que la gente no es,

en cruzada contra los hombres fieles,

porque todos los señores se creen que la gente no es y tienen la cláusula.

Ningún infiel sigue a estos dioses,

que no creen que la gente no es,

en cruzada contra los hombres fieles,

porque no tenemos odio del mundo en tener motivo para tener energía.



Teorema:

Si f(s) = sum[n = 1]-[oo][ (1/n)^{s} ] ==> ...

... d_{s}[f(s)] = (-1)·sum[n = 1]-[oo][ ln(n)·(1/n)^{s} ]

... int[f(s)]d[s] = (-1)·sum[n = 1]-[oo][ ( 1/ln(n) )·(1/n)^{s} ]



Ley:

Pareja islámica:

Mujer con velo islámico.

Hombre con barba sin bigote o sin barba.

Pareja cristiana:

Mujer sin velo islámico.

Hombre con barba con bigote o sin barba.



Ley:

Alguien que tiene el bachillerato,

está aforado y no se le puede molestar,

porque es la Ley del mundo que no se puede odiar con motivo de energía.

Alguien que no tiene el bachillerato,

no está aforado y se le puede molestar,

porque es la Ley del mundo que se puede odiar sin motivo de energía.



Profecía de que se me tiene que recibir.

Capítulo 7 de Juan:

Estás endemoniado. 

Quien quiere matar-te?

Hospital: Sant Rafael.

Capítulo 8 de Juan:

Con razón decimos que estás endemoniado y que eres samaritano:

Hospitales: Sant Rafael y La Mercé.



Fieles:

Todos los que cumplen el capítulo 8 de Juan son fieles.

Antes de Abraham yo soy.

Todos los que han cerrado en el hospital psiquiátrico,

por creer que la gente no es son fieles:

Sois hijos del Diablo.

Todos los que creen en condenación y los han pegado los Skins son fieles:

Apedrear a la mujer adúltera.

Todos los que tienen un testimonio con su letra de título son licenciados:

Aunque yo de testimonio de mi mismo mi testimonio es válido,

porque es el Padre el que de o da testimonio de mi.

Todos los que han hecho un testimonio bíblico se han marchado a Cygnus-Kepler:

Por un tiempo no me veréis y por otro tiempo me volveréis a ver.

Se va a suicidar?



Ley:

El gobierno tiene que aceptar hacer dinero con audiencias en los templos,

porque los tiene que guiar Jesucristo y no pueden ser casas de comercio.

Inversión de 10€ de 3 socios:

(10/10) = 1€ por persona

10·10 = 100€ por fila en la misa

100 = 75+25 en socialismo.

100 = 90+10 en social-democracia.

2 filas 200€ cada día.

Catedral:

500€ al día.

Monjes:

50€

2 filas:

200€

Coro de hombres-y-mujeres:

50€

2 filas:

200€



Operación de mi madre en la mano:

Corte con bisturí electrónico.

Proyección de luz verdadera de cuatro láseres en los nervios.

Seguimiento de la curación por espectroscopia en la sangre con una sonda venosa.


Ley: [ de educación de 9 asignaturas en España ]

33% de Castellano:

Catalán.

Euskera-Bascotzok.

Castellano-y-Portugués.

Idiomas de España.

Imperio Franco-Español.

Matemáticas.

Proyectos.

Gimnasia.

Talleres.

Ley: [ de educación de 9 asignaturas en Francia ]

Françé de-le-Patuá.

Françé de-le-Paték.

Françé de-le-Caos.

Imperio-Franco-Español.

Castellano.

Matemáticas.

Proyectos.

Gimnasia.

Talleres.

Ley: [ de educación de 9 asignaturas en el imperio romano troika-yugoslavo ]

Italiano-&-Rumano.

Estatered-Latinus-&-Islatered-Latinus.

Serbio-Croati-jjeko-&-Serbio-Bosni-jjeku.

Greco-Romano-&-Búlgaro.

Castellano.

Matemáticas.

Proyectos.

Gimnasia.

Talleres.

Ley: [ de educación de 8 asignaturas en Reino Unido ]

English-&-Scotish.

Gaélical-Breton-&-Gaélical-Irish.

English-of-the-Caos.

Castellano.

Matemáticas.

Proyectos.

Gimnasia.

Talleres.

Anexo:

I speak English of the Caos,

and yut-standard-kate olsay.

Yu speak English of the Caos,

and wit-standard-kate olsay.



saxon = último cigarro del paquete de.

I me havere-kate smoked a not saxon tobaco,

and thaw not se havere-kate terminated the packatch of tobaco.

I me havere-kate smoked the saxon tobaco,

and yik se havere-kate terminated the packatch of tobaco.



hete-where-stare-kate = de donde están estos

shete-where-stare-kate = de donde están esos

I speak English,

hete-where-stare-kate cátalans.

I not speak English,

shete-where-stare-kate cátalans.



hete-like-it = como estos

shete-like-it = como esos

I speak English,

hete-like-it cátalans.

I not speak English,

shete-like-it cátalans.



Hi ha-de-tek en Cygnus-Kepler,

algunotzok señorotzok bascotzok aquí-nek en Euskal-Herria,

perque EH-Bildu-koak vol-de-tek hatzeguin-ten-dut-zare-dut,

una transformazuna-tat-koaikek culturalek de Euskal-Herria.

No hi havia-tek en Cygnus-Kepler,

ningunotzok señorotzok bascotzok aquí-nek en Euskal-Herria.

perque EH-Bildu-koak no volia-tek hatzeguin-ten-dut-zare-dut,

una transformazuna-tat-koaikek culturalek de Euskal-Herria.



Françé de-le-Caos:

elet-vut sa-pá de-le-tom tambén.

Vosotros lo hacéis también:

elet-nut sa-pá de-le-tom tambén.

Nosotros lo hacemos también.



elet-vut a-vot-má de-le-tom tambén.

Vosotros deberíais también:

elet-nut a-not-má de-le-tom tambén.

Nosotros deberíamos también.



elet-vut sa-pá de-le-tom tambén,

tú ne digui tú-de-tuá ningunuá cusuá.

elet-nut sa-pá de-le-tom tambén,

ye ne digui ye-de-muá ningunuá cusuá.



OCB del Caos:

un biturbi-druá avec txocolatuá.

una ele-druá avec txocolatuá.



Ye mate ye-de-muá le gusanil avec pernatún de purk.

Ye mate ye-de-muá le gusanil avec pernatún de senglare-dom.



Ye ofegue ye-de-muá le gusanil avec café au let.

Ye ofegue ye-de-muá le gusanil avec café sans-au let.



I havere-kate kilked the gusanel.

I havere-kate kirked the gusanel.



No comprendo porque odiar los duales de los idiomas,

si es lo constitucional:

Artículo:

En la Luz:

sintaxis = semántica

El que insulte a su hermano,

será llevado ante el tribunal supremo.

En el Caos: 

sintaxis != semántica.

El que insulte a su hermano,

será llevado ante el tribunal ínfimo.



Hablar que no se puede negar no sirve para nada,

y es anti-constitucional:

Artículo:

En la Luz:

El que injurie gravemente a su hermano,

será llevado al fuego luminoso.

En el Caos:

El que injurie gravemente a su hermano,

será llevado al fuego tenebroso.



Ley:

Enseñar entonces la picha a un hombre,

es adulterio en el corazón.

0 ==> 1

Enseñar entonces el chocho a una mujer,

es adulterio en el corazón.

0 ==> 0

Ley:

Conectar entonces un ser humano con una picha sin consentimiento,

es adulterio de concubinato.

0 ==> 1

Conectar entonces un ser humano con un chocho sin consentimiento,

es adulterio de concubinato.

0 ==> 0

Ley:

Follar entonces hombre no virgen no dual,

es adulterio de divorcio.

0 ==> 1

Follar entonces mujer no virgen no dual,

es adulterio de divorcio.

0 ==> 0

Anexo:

Un fiel solo puede follar con una virgen que no haya ninguien proyectado,

follar con ninguien y es una paja con Hard-Ware.

viernes, 22 de marzo de 2024

psiquiatría-y-neurología y análisis-matemático y congruencias

Principio:

Enfermedad por neuro-transmisores o fluidos en zonas del cerebro,

con resonancia eléctrica positiva.

Enfermedad por neuro-transmisores o fluidos en zonas del cerebro,

con resonancia eléctrica negativa.


Ley:

Xeplion:

Esquizofrenia radio-forme de satélite humano.

Te quemas con radiación positiva,

por demasiada corriente eléctrica positiva,

en el sistema ombligo-forme de estatus positivo.

Esquizofrenia radio-forme de satélite extraterrestre.

Te quemas con radiación negativa,

por demasiada corriente eléctrica negativa,

en el sistema plexo-forme de estatus negativo.


Ley:

Risperidona:

Esquizofrenia ombligo-forme.

Ansiedad negativa de mover las piernas,

por demasiado corriente eléctrico negativo,

en el sistema ombligo-forme de estatus positivo.

Esquizofrenia plexo-forme.

Ansiedad positiva de mover los brazos,

por demasiado corriente eléctrico positivo,

en el sistema plexo-forme de estatus negativo.


Ley:

Maníaco-depresión agresiva.

Demasiada corriente eléctrica positiva,

en la zona agresiva de estatus positivo.

Maníaco-depresión depresiva.

Demasiada corriente eléctrica negativa,

en la zona depresiva de estatus negativo.


Ley:

Risperidona:

Maníaco-depresión esquizo-afectiva agresiva.

Demasiada corriente eléctrica negativa,

en la zona agresiva de estatus positivo.

Maníaco-depresión esquizo-afectiva depresiva.

Demasiada corriente eléctrica positiva,

en la zona depresiva de estatus negativo.


Ley:

Calmín-Forte:

Medicación que invierte el corriente:

De maníaco-depresión agresiva,

a maníaco-depresión esquizo-afectiva agresiva.

De maníaco-depresión depresiva,

a maníaco-depresión esquizo-afectiva depresiva.


Clásico

plexe-forme [o] plexo-forme

omulig-forme [o] ombligo-forme


Principio:

Enfermedad por neuro-transmisores con destructor en el hemisferio derecho,

y se tiene que cumplir el mandamiento positivo.

Enfermedad por neuro-transmisores con destructor en el hemisferio izquierdo,

y se tiene que cumplir el mandamiento negativo.


Ley:

No robarás la libertad en la propiedad,

sin solgar de casa y es la enfermedad.

No robarás la intimidad en la propiedad,

sin duchar-te y es la enfermedad.


Ley:

Notas que estás en la Tierra,

elevado de la Tierra,

porque no se puede ser prójimo de la Tierra.

Se tiene que ser próximo a la Tierra y es la enfermedad.

Notas que estás en el Universo,

ocultado del Universo,

porque no se puede ser prójimo del Sol,

Se tiene que ser próximo al Sol y es la enfermedad.


Ley:

Hombre que odia a los hombres,

honrarás al padre y a la madre.

Hombre que odia a las mujeres,

des-honrarás al padre y a la madre.

Ley:

Mujer que odia a las mujeres,

honrarás a la madre y al padre.

Mujer que odia a los hombres,

des-honrarás a la madre y al padre.

Ley:

Toda la iglesia católica tiene esta enfermedad mental:

Los monjes odian a las mujeres,

des-honrando al padre y a la madre.

Las monjas odian a las mujeres,

honrando a la madre y al padre.

Anexo:

La falsedad que se cree la iglesia católica para odiar a las mujeres,

es que Jesucristo es un hombre y que ha nacido de una virgen,

no se creen que es la Luz, y que aun no ha venido,

cuando es la Luz, y ya ha venido.


Ley:

Las mujeres que me odian,

están enfermas mentales,

des-honrando a la madre y al padre.

Los hombres que me odian,

están enfermos mentales,

honrando al padre y a la madre.

Anexo:

De tanta falsedad que se creen de mi,

que es el destructor que tienen en el cerebro,

los ha puesto enfermos mentales,

a los y a las que me odian a mi.


Ley:

El título de psiquiatra sin estos dos principios,

el de resonancia y el de destructor-mandamiento,

no está homologado.

Y nunca un infiel puede ser psiquiatra,

porque no cree en el destructor ni en los mandamientos.


Ley:

Sistema del Anti-Cristo:

Que la gente es y que no hay condenación,

no es un sistema dual,

porque existe un x que es que se ama y existe un x que es que se odia.

Sistema del Peráclito:

Que la gente no es y que hay condenación,

es un sistema dual,

porque para todo x que es se ama y existe un x que no es que se odia.

Anexo:

Sistema de Auto-Destrucción:

Que la gente no es y que no hay condenación,

es un sistema dual,

El para todo x que es se odia y existe un x que no es que se ama.

Vuestra creencia vos va a odiar,

porque sois un ejemplo del para todo,

porque es el sistema que creéis que para todos los que son se odian.

Anexo:

El sistema del Anti-Cristo no es ni lógico,

no lo dice ni la lógica.


Historia:

Mi gato era maníaco-depresivo agresivo y depresivo.

Con Camlín-Forte se ha vuelto esquizo afectivo y quiere estar solo,

y con risperidona ahora ya no es depresivo y solo es agresivo.


Principio:

Enfermedad por neuro-transmisores o fluidos en zonas del cerebro,

con anti-resonancia eléctrica positiva.

Enfermedad por neuro-transmisores o fluidos en zonas del cerebro,

con anti-resonancia eléctrica negativa.


Ley:

Xeplion:

Porque es anti-resonancia del mismo signo de corriente.

Esclerosis ombligo-forme,

no corriente eléctrica,

en el sistema del ombligo de estatus positivo.

Esclerosis plexo-forme,

no corriente eléctrica,

en el sistema del plexo de estatus negativo.


Ley:

Alzheimer bueno-forme,

no corriente eléctrica,

del sistema de memoria de buenos recuerdos de estatus positivo.

Alzheimer malo-forme,

no corriente eléctrica,

del sistema de memoria de malos recuerdos de estatus negativo.


Ley: [ de resonancia ]

R·d_{t}[q(t)]+(-C)·q(t) = Ae^{vt}

q(t) = A·( 1/( vR+(-C) ) )·e^{vt}

Ley: [ de anti-resonancia ]

( R·d_{t}[q(t)]+(-C)·q(t) )·( 1/q(t) )^{2} = (1/p)^{2}·Ae^{(-1)·vt}

q(t) = p^{2}·(1/A)·( vR+(-C) )·e^{vt}


Ley:

Es difícil dejar a una descendiente de Númenor mujer por un hombre,

porque el hombre le toca fondo.

Es fácil dejar a un descendiente de Númenor hombre por una mujer,

porque a la mujer no le toca fondo.

Ley:

Si eres extraterrestre en este mundo,

entonces eres un pajeador con Hard-Ware infiel.

Si eres extraterrestre en este mundo,

entonces eres un pajeador con Soft-Ware infiel.


Clásico:

gegant [o] gigante

llest [o] listo


Teorema:

Si [Ax][ | ( f(x)/x ) | [< 1 ] ==> f(0) = 0

Si [Ax][ | ( f(x)/x ) | > 1 ] ==> f(0) != 0

Demostración:

[ (MP) |x| = 0 <==> x = 0 ]

[<==]

x = 0 

|x| = |0| = 0

[==>]

max{x,(-x)} = |x| = 0

x = 0 || (-x) = 0

x = 0 || x = (-0) = 0 

x = 0

0 [< |f(x)| [< |x|

0 [< |f(0)| [< 0

|f(0)| = 0

f(0) = 0

|f(x)| > |x|

|f(0)| > 0

|f(0)| >] 0 & |f(0)| != 0

|f(0)| != 0

f(0) != 0


Ley:

Matar un gato por maníaco-depresión,

es ilegal.

Se medica al gato con Risperidona y Calmín-Forte,

y si es malo el gato se muere,

y si es maníaco-depresivo el gato se cura.

Matar un perro por maníaco-depresión,

es ilegal.

Se medica al perro con Risperidona y Calmín-Forte,

y si es malo el perro se muere,

y si es maníaco-depresivo el perro se cura.


Ley:

El Xeplion de corrientes paralelos,

te mata si no estás enfermo ni lo has estado.

La Risperidona de corrientes cruzados,

te mata si no estás enfermo ni lo has estado.

Historia:

Antes de ingresar-me en el hospital,

tenía esquizofrenia radio-forme de satélite humano,

y así el Xeplion no me puede matar.

Después de ingresar-me en el hospital,

cogí esquizofrenia ombligo-forme de ansiedad de caminar,

y así la Risperidona no me puede matar.


Historia:

Si mi gato no estuviese enfermo de maníaco-depresión,

y fuese malo,

la Risperidona lo hubiese matado.

Mi gato está enfermo de maníaco-depresión,

y no es malo,

y la Risperidona no lo ha matado.


Axioma-de-Mateo:

Bienaventurados los esquizofrénicos,

que se han creído Jesucristo,

porque para ellos es el reino de los Cielos.

Bienaventurados los maníaco-depresivos,

porque heredarán la Tierra y volverán a ser pacíficos.

Ley: [ del psiquiatra ]

Se tiene que curar la esquizofrenia,

con Risperidona o Xeplion.

Se tiene que curar la maníaco-depresión,

con Risperidona y Calmín-Forte.


Historia:

Esta lógica es la que me enseñaría el evangelista a mi,

cuando vatchnase al Cielo.

Esta lógica es la que no me ha enseñado el evangelista a mi,

mientras no he vatchnado al Cielo.

Morfosintaxis:

[A?1?][ [z] es lógica ]-[ [z] es la que A(x) , cuando P(x) ]

A(x) <==> [ [y] me enseñaría a [x] ]-[A$1$ [y] ][ [y] es evangelista ]-[ [x] es mi ]

P(x) <==> [ [x] vatchnase a [s] ]-[A$1$ [s] ][ [s] es Cielo ]

[A?1?][ [z] es lógica ]-[ [z] es la que B(x) , mientras Q(x) ]

B(x) <==> [ [y] no me ha enseñado a [x] ]-[A$1$ [y] ][ [y] es evangelista ]-[ [x] es mi ]

Q(x) <==> [ [x] no he vatchnado a [s] ]-[A$1$ [s] ][ [s] es Cielo ]


Teorema:

Si ( lim[x = oo][ G(x) ] = a & [Eb][ G(1) = b ] ) ==> ...

... int[x = 1]-[oo][ ( g(x)/x ) ]d[x] = ln(2)·a

Demostración:

int[ ( g(x)/x ) ]d[x] = G(x) [o(x)o] ln(x)

Teorema:

Si ( lim[x = oo][ G(x) ] = 0a & [Eb][ G(0) = b ] ) ==> ...

... int[x = 0]-[oo][ g(x)·x ]d[x] = (1/2)·a

Demostración:

int[ g(x)·x ]d[x] = G(x) [o(x)o] (1/2)·x^{2}


Teorema:

Si ( G(x) = a·( x/(x+c) ) & [Eb][ G(1) = b ] ) ==> ...

... int[x = 1]-[oo][ ( g(x)/x ) ]d[x] = ln(2)·a

Demostración:

int[ a·( c/(x+c)^{2} )·(1/x) ]d[x] = a·( x/(x+c) ) [o(x)o] ln(x)

Teorema:

Si ( G(x) = a·( 1/(x+c) ) & [Eb][ G(0) = b ] ) ==> ...

... int[x = 0]-[oo][ g(x)·x ]d[x] = (1/2)·a

Demostración:

int[ (-a)·( 1/(x+c) )^{2}·x ]d[x] = a·( 1/(x+c) ) [o(x)o] (1/2)·x^{2}


Definición: [ de símbolo de Legrende ]

Sea m € P ==>

[ a / m ]_{n} =[m]= a^{(m/n)}

Teorema:

x^{n} =[m]= a <==> x =[m]= [ a / m ]_{n}

Demostración: [ por el teorema pequeño de Fermat ]

Sea m € P ==>

a^{m} =[m]= a

(n+1)^{m} =[m]= n^{m}+...+1 =[m]= n+1

Teorema:

x^{p}+x^{q} =[m]= a <==> x =[m]= [ a / m ]_{q+[p+(-q)]}

Teorema:

a =[m]= b <==>  [ a / m ]_{n} =[m]= [ b / m ]_{n}

Teorema:

[ ( a_{1}·...·a_{n} ) / m ]_{n} =[m]= [ a_{1} / m ]_{n}·...·[ a_{n} / m ]_{n}

Teorema:

[ a / m ]_{2} =[m]= a^{sum[k = 1]-[m][ ( 1/(m+1) )·k ]}

Teorema:

[ a / m ]_{3} =[m]= a^{sum[k = 1]-[m][ ( 2/( (m+1)·(2m+1) ) )·k^{2} ]}


Definición: [ de símbolo de Jacobi ]

Sea ( p_{k} € P & m = p_{1}+..+p_{s} ) ==>

[ a / m ]_{n} =[m]= [ a / p_{1} ]_{n}+...+[ a / p_{s} ]_{n}

Arte:

[Em][ x^{n} =[m]= a <==> x =[m]= [ a / m ]_{n} ]

Exposición:

m € P

u(1) = n

[En][ Id(1) = n & n = 1 ]

v(n) = 1

[En][ Id(n) = 1 & n = 1 ]

g(s) = 1

[Es][ Id(s) = 1 & s = 1 ]

a^{p_{k}} =[p_{k}]= a

a^{p_{k}}+...+a^{p_{s}} =[m]= sa =[m]= g(s)·a =[m]= a

x^{v(n)} =[m]= a =[m]= a^{p_{k}}+...+a^{p_{s}} =[m]= [ a / m ]_{u(1)}

x^{u(1)} =[m]= [ a / m ]_{v(n)} =[m]= a^{p_{k}}+...+a^{p_{s}} =[m]= a

Arte:

Sea m € P ==>

[Ep][ x^{n} =[pm]= a <==> x =[pm]= [ a / pm ]_{n} ]

Exposición:

p = 1

u(1) = n

[En][ Id(1) = n & n = 1 ]

v(n) = 1

[En][ Id(n) = 1 & n = 1 ]

g(p) = 1

[Ep][ Id(p) = 1 & p = 1 ]

a^{m} =[m]= a

pa^{m} =[pm]= pa =[pm]= g(p)·a =[pm]= a

x^{v(n)} =[pm]= a =[pm]= pa^{m} =[pm]= [ a / pm ]_{u(1)}

x^{u(1)} =[pm]= [ a / pm ]_{v(n)} =[pm]= pa^{m} =[pm]= a


Definición: [ de raíz primitiva congruente ]

u(a,m) = min{ k+a : k € P & k | m & (m/k)·( k+a ) =[m]= (m/k)·a ] }

v(a,m) = max{ k+a : k € P & k | m & (m/k)·( k+a ) =[m]= (m/k)·a }

Teorema:

[Ek][En][ k € P & m = k^{n} ] <==> u(a,m) = v(a,m)

Demostración:

Sea [Ak][An][ k € P ==> m != k^{n} ]==>

[Es][ s != 1 & m = k^{n}·s ] 

u(a,m) != v(a,m)

Teorema:

Sea ( x = k+a & k | m ) ==>

x =[k]= a <==> (m/k)·x =[m]= (m/k)·a

Teorema:

( u(a,6) = 2+a & v(a,6) = 3+a )

Demostración:

Si x =[2]= a ==>

3x =[6]= 3a 

3·( 2+a ) =[6]= 3a

Si x =[3]= a ==>

2x =[6]= 2a

2·( 3+a ) =[6]= 2a

Teorema:

( u(a,36) = 2+a & v(a,36) = 3+a )

Demostración:

Si x =[2]= a ==>

18x =[36]= 18a 

18·( 2+a ) =[36]= 18a

Si x =[3]= a ==>

12x =[36]= 12a

12·( 3+a ) =[36]= 12a


Teorema:

( u(a,10) = 2+a & v(a,10) = 5+a )

Teorema:

( u(a,100) = 2+a & v(a,100) = 5+a )


Historia:

Cuando creí en condenación,

a los infieles les comenzó a no gustar mi música,

y algunos fieles me podían recibir,

porque dejé de ser famoso a medio famoso.

Cuando creí que la gente no es,

los infieles empezaron a odiar todo lo mío,

y todos los fieles me podían recibir,

porque deje de ser medio famoso ya a nada.

Anexo:

Vosotros lo conocéis y está en vosotros,

al que el mundo no puede recibir.

Cuando crees en condenación y en infieles,

y practicas la Luz,

el mundo ya no te recibe,

y solo te pueden recibir descendientes de Númenor.

domingo, 17 de marzo de 2024

topología y conjuntos y análisis-matemático y gato-y-perro y congruencias

Axiomas: [ de la teoría de conjuntos ]

Axioma de extensionalidad:

[Ax][ x € A <==> x € B ] <==> A = B


Axioma del primer poder de Dios:

[Az][ z € { x : f(x) } <==> ( [EB][ z € B ] & f(z) ) ]

Axioma de regularidad:

[Ax][ x [&] {x} = 0 ]

Axioma del segundo poder de Dios:

[AE][AF][Eh][ < h: E ---> F & x --> h(x) > ]


Ley: [ del que lo ve a él ve al Padre ]

Si Conocimiento teórico de la ley ==> ( universo & ley )

Deducción:

Si z € { x : f(x) } ==>

[EB][ z € B ] & f(z)

f(z)

Se define A = universo ==>

Se define < h: F(B) ----> F(B) [ |o| ] F(A) & f(z) --> ( h( f(z) ) = f(z) |o| h( f(z) ) = f(y) ) >

h( f(z) )

f(y)

[EA][ y € A ] & f(y)

Anexo:

No es ninguien Jesucristo,

porque el que lo ve a él ve al Padre,

y no ha creado ningún hombre a los hombres.

Jesucristo solo puede ser la Luz,

porque la entidad es dual,

y solo una energía dual la puede haber creado.


Definición:

0 = { x : x != x } = } ¬x : ¬x = ¬x {

not(0) = { x : x = x } = } ¬x : ¬x != ¬x {


Teorema:

[Ax][ ¬( x € 0 ) ]

Demostración:

Sea x € 0 ==>

x != x

x != x & x = x


Teorema:

[AB][ 0 [<< B ]

[AB][ not(0) >>] B ]

Demostración:

Sea ¬( x € B )

¬( x € 0 )

Sea x € B ==>

x = x

x € not(0)


Definición:

P(A) = { x : x [<< A }

¬P(¬A) = } ¬x : ¬x >>] ¬A {


Teorema:

P(0) = {0}

¬P(not(0)) = }not(0){

Demostración:

x [<< 0

x = 0

¬x >>] not(0)

¬x = not(0)


Axioma:

[Ax][ x [&] {x} = 0 ]

Teorema:

¬( x € x )

Demostración:

Sea x € x ==>

z = x

z € x

{x} [<< x

{x} = {x} [&] {x} [<< x [&] {x} = 0

{x} = 0


Teorema:

x € not(0) <==> [EB][ x € B ]

¬( x € not(0) ) <==> [AB][ ¬( x € B ) ]

Demostración:

Si [EB][ z € B ] ==>

[EB][ z € B ] & z = z 

z € { x : x = x }

z € not(0)

Si [AB][ ¬( x € B ) ] ==>

Sea B = not(0)

¬( x € not(0) )

Teorema:

[AB][ ¬( not(0) € B ) ]

Demostración:

¬( not(0) € not(0) )


Teorema:

0 = { x : x € x } = } ¬x : ¬( ¬x € ¬x ) {

not(0) = { x : ¬( x € x ) } = } ¬x : ¬x € ¬x {

Demostración:

x != x <==> x € x

x = x <==> ¬( x € x )


Definición: [ de topología de conjunto ]

Si [Ak][ 1 [< k [< n ==> B_{k} € E ] ==>

[ || ]-[k = 1]-[n][ B_{k} ] € E

[&]-[k = 1]-[n][ B_{k} ] € E

Definición: [ de topología de no conjunto ]

Si [Ak][ 1 [< k [< n ==> ¬( ¬B_{k} € ¬E ) ] ==>

¬( [&]-[k = 1]-[n][ ¬B_{k} ] € ¬E )

¬( [ || ]-[k = 1]-[n][ ¬B_{k} ] € ¬E )


Teorema: [ de topología discreta ]

Sea E = { 0 , A } ==> E es una topología de conjunto.

Sea ¬E = } not(0) , ¬A { ==> ¬E es una topología de no conjunto.

Demostración:

0 [ || ] A = A € E

0 [&] A = 0 € E

not(0) [&] ¬A = ¬A & ¬( ¬A € ¬E )

not(0) [ || ] ¬A = not(0) & ¬( not(0) € ¬E )


Teorema: [ de topología de partes ]

P(E) es una topología de conjunto.

¬P(¬E) es una topología de no conjunto.

Demostración:

Sea [Ak][ B_{k} € P(E) ] ==>

[Ak][ B_{k} [<< E ]

[ || ]-[k = 1]-[n][ B_{k} ] [<< [ || ]-[k = 1]-[n][ E ] = E

[ || ]-[k = 1]-[n][ B_{k} ] € P(E)

[&]-[k = 1]-[n][ B_{k} ] [<< [&]-[k = 1]-[n][ E ] = E

[&]-[k = 1]-[n][ B_{k} ] € P(E)

Sea [Ak][ ( ¬B_{k} € ¬P(¬E) ) ] ==>

[Ak][ ¬B_{k} >>] ¬E ]

[ || ]-[k = 1]-[n][ ¬B_{k} ] >>] [ || ]-[k = 1]-[n][ ¬E ] = ¬E

¬( [ || ]-[k = 1]-[n][ ¬B_{k} ] € ¬P(¬E) )

[&]-[k = 1]-[n][ ¬B_{k} ] >>] [&]-[k = 1]-[n][ ¬E ] = ¬E

¬( [&]-[k = 1]-[n][ ¬B_{k} ] € ¬P(¬E) )


Teorema:

Si P({a,b}) = { 0 , {a} , {b} , {a,b} } ==> P({a,b}) es una topología de conjunto.

Si ¬P(}a,b{) = } not(0) , }a{ , }b{ , }a,b{ { ==> ¬P(}a,b{) es una topología de no conjunto.

Demostración:

{a,b} [ || ] {a} = {a,b} € P({a,b})

0 [&] {b} = 0 € P({a,b})

{a,b} [ || ] {b} = {a,b} € P({a,b})

0 [&] {a} = 0 € P({a,b})


{a,b} [&] {a} = {a} € P({a,b})

0 [ || ] {b} = {b} € P({a,b})

{a,b} [&] {b} = {b} € P({a,b})

0 [ || ] {a} = {a} € P({a,b})


{a} [ || ] {b} = {a,b} € P({a,b})

{b} [&] {a} = 0 € P({a,b})

{a,b} [ || ] 0 = {a,b} € P({a,b})

0 [&] {a,b} = 0 € P({a,b})


Teorema:

Si P({a,b,c}) = { 0 , {a} , {b} , {c} , {b,c} , {c,a} , {a,b} , {a,b,c} } ==> ...

... P({a,b,c}) es una topología de conjunto.

Si ¬P(}a,b,c{) = } not(0) , }a{ , }b{ , }c{ , }b,c{ , }c,a{ , }a,b{ , }a,b,c{ { ==> ...

... ¬P(}a,b,c{) es una topología de no conjunto.

Demostración:

{a} [ || ] {b,c} = {a,b,c} € P({a,b,c})

{b,c} [&] {a} = 0 € P({a,b,c})

{b} [ || ] {c,a} = {a,b,c} € P({a,b,c})

{c,a} [&] {b} = 0 € P({a,b,c})

{c} [ || ] {a,b} = {a,b,c} € P({a,b,c})

{a,b} [&] {c} = 0 € P({a,b,c})

 

Teorema:

Sea E = { z : [Ek][ 1 [< k [< oo & z = {a_{1},...,a_{k}} ] }

Si [Ak][ 1 [< k [< n ==> {a_{1},...,a_{k}} € E ] ==>

[ || ]-[k = 1]-[n][ {a_{1},...,a_{k}} ] € E

[&]-[k = 1]-[n][ {a_{1},...,a_{k}} ] € E

Sea ¬E = } z : [Ek][ 1 [< k [< oo & z = }a_{1},...,a_{k}{ ] {

Si [Ak][ 1 [< k [< n ==> ¬( }a_{1},...,a_{k}{ € ¬E ) ] ==>

¬( [&]-[k = 1]-[n][ }a_{1},...,a_{k}{ ] € ¬E )

¬( [ || ]-[k = 1]-[n][ }a_{1},...,a_{k}{ ] € ¬E )


Teorema: [ topología de la función acotada ]

Sea < m : N ---> N & k --> m_{k} > ==>

Sea B_{1} = { < x_{1},...,x_{n} > : f(x_{1},...,x_{n}) [< R^{2} }

Si B_{m_{k}} = { < x_{1},...,x_{n} > : f(x_{1},...,x_{n}) [< (1/m_{k})·R^{2} } € P(B_{1}) ==>

[ || ]-[k = 1]-[n][ B_{m_{k}} ] € P(B_{1})

[&]-[k = 1]-[n][ B_{m_{k}} ] € P(B_{1})

Sea ¬B_{1} = { < x_{1},...,x_{n} > : f(x_{1},...,x_{n}) >] R^{2} }

Si ¬B_{m_{k}} = { < x_{1},...,x_{n} > : f(x_{1},...,x_{n}) >] m_{k}·R^{2} } € P(¬B_{1}) ==>

[&]-[k = 1]-[n][ ¬B_{m_{k}} ] € P(¬B_{1})

[ || ]-[k = 1]-[n][ ¬B_{m_{k}} ] € P(¬B_{1})

Demostración:

Si (1/m_{k+1}) [< (1/m_{k}) ==> 

B_{m_{k+1}} [<< B_{m_{k}}

[ || ]-[k = 1]-[n][ B_{m_{k}} ] = B_{min{m_{1},...,m_{n}}} [<< B_{1}

[&]-[k = 1]-[n][ B_{m_{k}} ] = B_{max{m_{1},...,m_{n}}} [<< B_{1}

Si m_{k} [< m_{k+1} ==> 

¬B_{m_{k+1}} [<< ¬B_{m_{k}}

[&]-[k = 1]-[n][ ¬B_{m_{k}} ] = ¬B_{max{m_{1},...,m_{n}}} [<< ¬B_{1}

[ || ]-[k = 1]-[n][ ¬B_{m_{k}} ] = ¬B_{min{m_{1},...,m_{n}}} [<< ¬B_{1}


Teorema: [ topología de Euclides ]

Sea < m : N ---> N & k --> m_{k} > ==>

Si [Ak][ 1 [< k [< n ==> p^{m_{k}} € A ] ==>

mcm{ p^{m_{1}},...,p^{m_{n}} } € A

mcd{ p^{m_{1}},...,p^{m_{n}} } € A

Si [Ak][ 1 [< k [< n ==> (1/p)^{m_{k}} € ¬A ] ==>

mcd{ (1/p)^{m_{1}},...,(1/p)^{m_{n}} } € ¬A

mcm{ (1/p)^{m_{1}},...,(1/p)^{m_{n}} } € ¬A

Demostración:

Si m_{k} [< m_{k+1} ==> 

p^{m_{k}} | p^{m_{k+1}}

mcm{ p^{m_{1}},...,p^{m_{n}} } = p^{max{m_{1},...,m_{n}}} € A

mcd{ p^{m_{1}},...,p^{m_{n}} } = p^{min{m_{1},...,m_{n}}} € A

Si m_{k} [< m_{k+1} ==> 

(1/p)^{m_{k}} | (1/p)^{m_{k+1}}

mcd{ (1/p)^{m_{1}},...,(1/p)^{m_{n}} } = (1/p)^{min{m_{1},...,m_{n}}} € ¬A

mcm{ (1/p)^{m_{1}},...,(1/p)^{m_{n}} } = (1/p)^{max{m_{1},...,m_{n}}} € ¬A


Teorema: [ topología de la semi-recta ]

Sea < m : N ---> N & k --> m_{k} > ==>

Si A_{m_{k}} = { x : 0 [< x [< m_{k} } € P([0,oo]_{R})  ==>

[ || ]-[k = 1]-[n][ A_{m_{k}} ] € P([0,oo]_{R})

[&]-[k = 1]-[n][ A_{m_{k}} ] € P([0,oo]_{R})

Si ¬A_{m_{k}} = { (-x) : (-0) >] (-x) >] (-1)·m_{k} } € P([(-oo),(-0)]_{R})  ==>

[&]-[k = 1]-[n][ ¬B_{m_{k}} ] € P([(-oo),(-0)]_{R})

[ || ]-[k = 1]-[n][ ¬B_{m_{k}} ] € P([(-oo),(-0)]_{R})

Demostración:

Si m_{k} [< m_{k+1} ==> 

A_{m_{k}} [<< A_{m_{k+1}}

[ || ]-[k = 1]-[n][ A_{m_{k}} ] = A_{max{m_{1},...,m_{n}}} [<< [0,oo]_{R}

[&]-[k = 1]-[n][ A_{m_{k}} ] = A_{min{m_{1},...,m_{n}}} [<< [0,oo]_{R}

Si m_{k} [< m_{k+1} ==>

(-1)·m_{k+1} [< (-1)·m_{k} 

¬A_{m_{k}} [<< ¬A_{m_{k+1}}

[&]-[k = 1]-[n][ ¬A_{m_{k}} ] = ¬A_{min{m_{1},...,m_{n}}} [<< [(-oo),(-0)]_{R}

[ || ]-[k = 1]-[n][ ¬A_{m_{k}} ] = ¬A_{max{m_{1},...,m_{n}}} [<< [(-oo),(-0)]_{R}


Topología del sumatorio:

Definición:

f(1)+...+f(k) [ € ] f(1)+...+f(j) <==> f(1)+...+f(j) = f(1)+...+f(k)+f(k+1)+...+f(j)

Teorema:

f(1)+...+f(k) [ € ] f(1)+...+f(k)

Demostración:

f(k+1)+...+f(j) = 0

Teorema:

( f(1)+...+f(k) [ € ] f(1)+...+f(j) & f(1)+...+f(j) [ € ] f(1)+...+f(k) ) <==> f(1)+...+f(k) = f(1)+...+f(j)

Demostración:

Si j > k ==> f(k+1)+...+f(j) = 0

Si j < k ==> f(j+1)+...+f(k) = 0

Teorema:

Si ( f(1)+...+f(k) [ € ] f(1)+...+f(j) & f(1)+...+f(j) [ € ] f(1)+...+f(i) ) ==> f(1)+...+f(k) [ € ] f(1)+...+f(i)

Demostración:

f(1)+...+f(k)+f(k+1)+...+f(j) = f(1)+...+f(j) & f(1)+...+f(j)+f(j+1)+...+f(i) = f(1)+...+f(i)

f(1)+...+f(k)+f(k+1)+...+f(j)+f(j+1)+...+f(i) = f(1)+...+f(i)


Definición:

z [ € ] f(1)+...+f(k) [ || ] f(1)+...+f(j) <==> ( z [ € ] f(1)+...+f(k) || z [ € ] f(1)+...+f(j) )

z [ € ] f(1)+...+f(k) [&] f(1)+...+f(j) <==> ( z [ € ] f(1)+...+f(k) & z [ € ] f(1)+...+f(j) )


Teorema:

f(1)+...+f(k) [&] f(1)+...+f(j) [ € ] f(1)+...+f(k)

f(1)+...+f(k) [ € ] f(1)+...+f(k) [ || ] f(1)+...+f(j)

Demostración:

f(1)+...+f(k) [ € ] f(1)+...+f(k) [&] f(1)+...+f(j) )

f(1)+...+f(k) [ € ] f(1)+...+f(k) & f(1)+...+f(k) [ € ] f(1)+...+f(j)

f(1)+...+f(k) [ € ] f(1)+...+f(k)

f(1)+...+f(k) [ € ] f(1)+...+f(k) || f(1)+...+f(k) [ € ] f(1)+...+f(j)

f(1)+...+f(k) [ € ] f(1)+...+f(k) [ || ] f(1)+...+f(j)


Teorema:

f(1)+...+f(k) [ € ] f(1)+...+f(j) <==>

f(1)+...+f(k) [ || ] f(1)+...+f(j) = f(1)+...+f(j)

Demostración:

[==>]

[ [< ]

f(1)+...+f(k) [ || ] f(1)+...+f(j) [ € ] f(1)+...+f(j) [ || ] f(1)+...+f(j) = f(1)+...+f(j)

[ >] ]

f(1)+...+f(k) [ € ] f(1)+...+f(k)

f(1)+...+f(k) [ € ] f(1)+...+f(k) || f(1)+...+f(k) [ € ] f(1)+...+f(j)

f(1)+...+f(k) [ € ] f(1)+...+f(k) [ || ] f(1)+...+f(j)

[<==]

f(1)+...+f(k) [ € ] f(1)+...+f(k) [ || ] f(1)+...+f(j) = f(1)+...+f(j)

Teorema:

f(1)+...+f(k) [ € ] f(1)+...+f(j) <==>

f(1)+...+f(k) [&] f(1)+...+f(j) = f(1)+...+f(k)

Demostración:

[==>]

[ >] ]

f(1)+...+f(k) = f(1)+...+f(k) [&] f(1)+...+f(k) [ € ] f(1)+...+f(k) [&] f(1)+...+f(j)

[ [< ]

f(1)+...+f(k) [ € ] f(1)+...+f(k) [&] f(1)+...+f(j) ==>

f(1)+...+f(k) [ € ] f(1)+...+f(k) & f(1)+...+f(k) [ € ] f(1)+...+f(j)

f(1)+...+f(k) [ € ] f(1)+...+f(k)

[<==]

f(1)+...+f(k) = f(1)+...+f(k) [&] f(1)+...+f(j) [ € ] f(1)+...+f(j)


Teorema:

Si [Ak][ 1 [< k [< n ==> B_{k} = f(1)+...+f(k) € A ] ==>

[ || ]-[k = 1]-[n][ f(1)+...+f(k) ] € A

[&]-[k = 1]-[n][ f(1)+...+f(k) ] € A

Si [Ak][ 1 [< k [< n ==> ¬B_{k} = (-1)·f(1)+...+(-1)·f(k) € ¬A ] ==>

[&]-[k = 1]-[n][ (-1)·f(1)+...+(-1)·f(k) ] € ¬A

[ || ]-[k = 1]-[n][ (-1)·f(1)+...+(-1)·f(k) ] € ¬A

Demostración:


Teorema:

[ || ]-[k = 1]-[n][ sum[j = 1]-[k][ f(j) ] ] = sum[k = 1]-[n][ f(k) ]

[&]-[k = 1]-[n][ sum[j = 1]-[k][ f(j) ] ] = sum[k = 1]-[n][ (1/n)·f(1) ]

Demostración:

f(1) [ || ] ...(n)... [ || ] ( f(1)+...+f(n) ) = f(1)+...+f(n)

f(1) [&] ...(n)... [&] ( f(1)+...+f(n) ) = f(1)


Teorema:

[ || ]-[k = 1]-[n][ k+p ] = sum[k = 1]-[n][ 1+(p/n) ]

[&]-[k = 1]-[n][ k+p ] = sum[k = 1]-[n][ (1/n)+(p/n) ]

Teorema:

[&]-[k = 1]-[n][ (-1)·(k+p) ] = (-1)·sum[k = 1]-[n][ (1/n)+(p/n) ]

[ || ]-[k = 1]-[n][ (-1)·(k+p) ] = (-1)·sum[k = 1]-[n][ 1+(p/n) ]


Teorema:

[ || ]-[k = 1]-[n][ (1/2)·k·(k+1) ] = sum[k = 1]-[n][ k ]

[&]-[k = 1]-[n][ (1/2)·k·(k+1) ] = sum[k = 1]-[n][ (1/n) ]

Teorema:

[&]-[k = 1]-[n][ (-1)·(1/2)·k·(k+1) ] = (-1)·sum[k = 1]-[n][ (1/n) ]

[ || ]-[k = 1]-[n][ (-1)·(1/2)·k·(k+1) ] = (-1)·sum[k = 1]-[n][ k ]


Teorema:

[ || ]-[k = 1]-[n][ (1/6)·k·(k+1)·(2k+1) ] = sum[k = 1]-[n][ k^{2} ]

[&]-[k = 1]-[n][ (1/6)·k·(k+1)·(2k+1) ] = sum[k = 1]-[n][ (1/n) ]

Teorema:

[&]-[k = 1]-[n][ (-1)·(1/6)·k·(k+1)·(2k+1) ] = (-1)·sum[k = 1]-[n][ (1/n) ]

[ || ]-[k = 1]-[n][ (-1)·(1/6)·k·(k+1)·(2k+1) ] = (-1)·sum[k = 1]-[n][ k^{2} ]


La serpiente a la sombra del águila:

-Mis matemáticas son diferentes a las tuyas.-

-No es esto,

es que aun te queda mucho para aprender.-

-Tus matemáticas ya no son diferentes a las mías.-

-Sí es eso,

es que ya no me queda mucho por aprender.-


Historia:

Si no le hubiese querido quitar el arma a un policía para matar-lo,

no se sabría que la gente no es,

porque si me iluminasen entonces me moriría del no matarás en futuro.

Le he querido quitar el arma a un policía para matar-lo,

y se sabe que la gente no es,

porque me iluminan y no me muero del no matarás en futuro.


Teorema:

Sea ( [Ax][ f(x) >] 0 ] & lim[x = oo][ f(x) ] = 0 & lim[x = (-oo)][ f(x) ] = 0 ) ==> ...

... Si f(x) es continua ==> rec(f(x)) es compacto.

Demostración:

[Au][ u > 0 ==> [Ea][Ax][ x < a ==> |f(x)| < u ] ]

[Av][ v > 0 ==> [Eb][Ax][ x > b ==> |f(x)| < v ] ]

Sea M = max{ f(x) : a [< x [< b }

Se define m€N & m >] max{ M,u,v }

rec(f(x)) [<< [ || ]-[r = 0]-[m+(-1)][ [r,r+1]_{m} ]


Teorema:

Si a_{n} es convergente ==> [Am][ a_{mk+r} es convergente ]

Demostración

Sea s > 0 ==>

Se define k_{0} >] n_{0}

Sea k > k_{0} ==>

| a_{mk+r}+(-a) | = | a_{n}+(-a) | < s


Teorema:

Si a_{n} está acotada ==> [Ea_{n_{k}}][ a_{n_{k}} es de Cauchy ]

Demostración:

Sea a_{n} acotada ==>

Sea a_{n_{1}} = max{a_{n}}

Sea a_{n_{2}} = min{a_{n}}

v = a_{n_{1}}+(-M) [< 0

u = a_{n_{2}}+(-W) >] 0

a_{n} [< a_{n_{1}} = v+M

a_{i} >] a_{n_{2}} = u+W

a_{n}+(-1)·a_{i} [< ( v+M )+(-1)·( u+W )

a_{i}+(-1)·a_{n} >] ( u+W )+(-1)·( v+M )

Sea s > 0 ==>

| a_{n_{k}}+(-1)·a_{n_{j}} | < s 

a_{n_{2}} [< a_{n_{1}}

| a_{n_{j}}+(-1)·a_{n_{k}} | < s

a_{n_{1}} >] a_{n_{2}}

Modus ponens:

Si P(x) ==> 1

[Ea_{n_{k}}][ a_{n_{k}} es de Cauchy ]


Teorema:

Si a_{n} está acotada ==> [Em][ a_{mk+r} es de Cauchy ]

Demostración:

Se define m€N & a_{mk} = a_{mj}

Sea s > 0 ==>

Se define k_{0} € N 

Sea k > k_{0} ==>

| a_{mk+r}+(-1)·a_{mj+r} | = | a_{[r]_{m}}+(-1)·a_{[r]_{m}} | < s


Teorema:

Sea ( a_{n} = (-1)^{n}·b_{n} & lim[n = oo][ b_{n} ] = b ) ==> ...

... ( a_{2k+r} es de Cauchy & lim[k = oo][ a_{2k+r} ] = (-1)^{r}·b )

Demostración:

Sea s > 0 ==>

| (-1)^{2k+r}·b_{2k+r}+(-1)·( (-1)^{2j+r}·b_{2j+r} ) | = ...

... | (-1)^{[r]_{2}}·b_{[r]_{2}}+(-1)·( (-1)^{[r]_{2}}·b_{[r]_{2}} ) | < s

lim[k = oo][ a_{2k+r} ] = lim[k = oo][ (-1)^{2k+r}·b_{2k+r} ] = ...

... lim[k = oo][ (-1)^{2k}·(-1)^{r}·b_{2k+r} ] = lim[k = oo][ 1^{k}·(-1)^{r}·b_{2k+r} ] = ...

... lim[k = oo][ (-1)^{r}·b_{2k+r} ] = lim[k = oo]-[oo < 2·oo][ (-1)^{r}·b_{2k+1} ] = (-1)^{r}·b

Teorema:

Sea ( a_{n} = i^{n}·b_{n} & lim[n = oo][ b_{n} ] = b ) ==> ...

... ( a_{4k+r} es de Cauchy & lim[k = oo][ a_{4k+r} ] = i^{r}·b )


Teorema:

Sea ( a_{n} = cos(n·pi)·b_{n} & lim[n = oo][ b_{n} ] = b ) ==> ...

... ( a_{2k+r} es de Cauchy & lim[k = oo][ a_{2k+r} ] = cos(r·pi)·b )

Teorema:

Sea ( a_{n} = sin(n·(pi/2))·b_{n} & lim[n = oo][ b_{n} ] = b ) ==> ...

... ( a_{4k+r} es de Cauchy & lim[k = oo][ a_{4k+r} ] = sin(r·(pi/2))·b )


Ley:

Gato:

ma-em am me-ma.

ma-em am ma-me.

Perro:

ga-eg ag ge-ga.

ga-eg ag ga-ge.

Humano:

querer estar con la muerte.

querer estar con la vida.


Ley:

Gato:

ma-em am me-mi,

em-em mu.

ma-em am ma-mu,

am-am mu.

Perro:

ga-eg ag ge-go,

eg-eg gu.

ga-eg ag ga-gu,

ag-ag gu.

Humano:

querer estar con el próximo cercano,

siendo igual que tú.

querer estar con el prójimo lejano,

siendo diferente que tú.

Anexo:

Este dual hace menjar de gato y bebida de gato,

para el prójimo.

Este dual hace menjar de perro y bebida de perro,

para el prójimo.


Ley:

Un plato con menjar de gato,

fuera de una casa de un gato que es,

es legal,

porque ama al prójimo como no a si mismo.

Un plato con menjar de perro,

fuera de una casa de un perro que es,

es legal,

porque ama al prójimo como no a si mismo.


Ley:

Gato:

ma-em am mi-mu-mi.

me-em am mu-mi-mu.

Perro:

ga-eg ag go-gu-go.

ge-eg ag gu-go-gu.

Humano:

querer estar con calor.

querer estar con hielor.


Ley:

Gato:

ma-em me-ma-me.

ma-em ma-me-ma.

Perro:

ga-eg ge-ga-ge.

ga-eg ga-ge-ga.

Humano:

querer estar enfermo.

querer estar sano.


Ley: [ de nombres ]

Gato:

mem

mim

Perro:

gag

gog


Ley:

Gato:

mu-em um me.

mi-em im me-mi.

mi-am im ma.

mu-am um ma-mu.

Perro:

gu-eg ug ge.

go-eg og ge-go.

go-ag og ga.

gu-ag ug ga-gu.

Humano:

solgar fuera de él.

vatchnar a dentro del próximo cercano.

entrar dentro de ella.

venir de fuera del prójimo lejano.

Anexo:

Este dual es el casa del gato,

con la puerta pequeña de tamaño de gato.

Este dual es el casa del perro,

con la puerta pequeña de tamaño de perro.


Ley:

La casa de gato,

con puerta pequeña de tamaño de gato,

es legal,

porque con un gato que es,

hay condenación,

en tener energía dual el idioma de gato.

La casa de perro,

con puerta pequeña de tamaño de perro,

es legal,

porque con un perro que es,

hay condenación,

en tener energía dual el idioma de perro.


De Morgan de Gato y Perro:

Ley:

Gato:

mi-mi-me a mi-me.

mu-mu-ma y mu-ma.

Perro:

go-go-ge o go-ge.

gu-gu-ga e gu-ga.

Humano:

gente que es o descendiente de Númenor.

gente que no es y no descendiente de Númenor

Anexo:

Gato:

Si ( mi-mi-me y mu-ma ) ==> Miau

Perro:

Si ( go-go-ge e gu-ga ) ==> Goau

Humano:

Si ( gente que es y no descendiente de Númenor ) ==> No


Ley:

Gato:

im-im me-mi y mi-ma.

um-um ma-mu a mu-me.

Perro:

og-og ge-go e go-ga.

ug-ug ga-gu o gu-ge.

Humano:

[Ax][ x próximo cercano ] y acción de amor.

[Ex][ x prójimo lejano ] o acción de odio.

Anexo:

Gato:

Si ( im-im me-mi y mu-me ) ==> Miau

Miau mu-me im mu.

Perro:

Si ( og-og ge-go e gu-ge ) ==> Goau

Goau gu-ge og gu.

Humano:

Si ( [Ax][ x próximo cercano ] y acción de odio ) ==> No

No acciones de odio dentro de ti.


Ley:

No se puede amar a alguien,

que no paga condenación y tiene condenación,

porque sin dolor,

no hay placer.

Se puede amar a alguien,

que paga condenación o no tiene condenación,

porque con dolor,

hay placer.


Ley:

La única diferencia entre este mundo y el su mundo,

es que en su mundo no hay hombres fieles.

La única diferencia entre su mundo y este mundo,

es que en este mundo hay hombres fieles.

Ley:

Igualmente les sigue una máquina humana,

en este mundo igual que en su mundo.

Igualmente les sigue una máquina extraterrestre,

en su mundo igual que en este mundo.

Ley:

Traen a su gente fiel a este mundo,

y es lo mismo este mundo que su mundo.

No traen a su gente fiel a este mundo,

y no es lo mismo su mundo que este mundo.


Teorema:

x^{n} =[pm]= 0

x = pk

m = p^{n+(-1)}·k^{n}

Teorema:

x^{n} =[pm+1]= 0

x = pk+1

m = sum[j = 0]-[n+(-1)][ [ n // j ]·p^{n+(-j)+(-1)}·k^{n+(-j)} ]

Teorema:

x^{n} =[pm+q^{n}]= 0

x = pk+q

m = sum[j = 0]-[n+(-1)][ [ n // j ]·p^{n+(-j)+(-1)}·k^{n+(-j)}·q^{j} ]


Teorema:

x^{2} =[4m]= 0

x = 2k

m = k^{2}

Teorema:

x^{2} =[4m+1]= 0

x = 2k+1

m = k^{2}+k

Teorema:

x^{2} =[4m+q^{2}]= 0

x = 2k+q

m = k^{2}+kq


Teorema:

x^{3} =[9m]= 0

x = 3k

m = 3k^{3}

Teorema:

x^{3} =[9m+1]= 0

x = 3k+1

m = 3k^{3}+3k^{2}+k

Teorema:

x^{3} =[9m+q^{3}]= 0

x = 3k+q

m = 3k^{3}+3k^{2}·q+kq^{2}


Teorema:

x^{n}+...+x =[pm]= 0

x = pk

m = sum[i = 1]-[n][ p^{i+(-1)}·k^{i} ]

Teorema:

x^{n}+...+x =[pm+n]= 0

x = pk+1

m = sum[i = 1]-[n][ sum[j = 0]-[i+(-1)][ [ i // j ]·p^{i+(-j)+(-1)}·k^{i+(-j)} ] ]

Teorema:

x^{n}+...+x =[pm+q^{n}+...+q]= 0

x = pk+q

m = sum[i = 1]-[n][ sum[j = 0]-[i+(-1)][ [ i // j ]·p^{i+(-j)+(-1)}·k^{i+(-j)}·q^{(j/i)} ] ]


Teorema:

( x_{n} )^{n}+...+x_{1} =[pm_{k}+q]= 0

x_{i} = pk+(q/n)^{(1/i)}

m = sum[i = 1]-[n][ sum[j = 0]-[i+(-1)][ [ i // j ]·p^{i+(-j)+(-1)}·k^{i+(-j)}·(q/n)^{(j/i)} ] ]

jueves, 14 de marzo de 2024

gato-y-perro y teoría-de-cuerdas y topología-espacios-métricos y integrales-impropias y regresiones-de-marihuana y conjuntos

Ley:

Gato:

miu.

miau.

Perro:

gou.

goau.

Humano castellano:

no


Ley:

Gato:

mi-um

mu-im

ma-em am mu-mu-me.

me-am am mi-mi-me.

mu-im

mi-um

ma-em am mi-mi-ma.

me-am am mu-mu-ma.

Perro:

go-ug.

gu-og

ga-eg ag gu-gu-ge.

ge-ag ag go-go-ge.

gu-og.

go-ug.

ga-eg ag go-go-ga.

ge-ag ag gu-gu-ga.

Humano Castellano:

atacar, sin sonido.

defender-se, con sonido.

querer estar con reacciones de odio.

poder estar con gente que es.

defender-se, con sonido.

atacar, sin sonido.

querer estar con reacciones de amor.

poder estar con gente que no es.


Ley:

Aunque el gato no entienda lo que decimos,

ponemos un símbolo al gato,

si hacemos los duales del idioma de gato.

Aunque el perro no entienda lo que decimos,

ponemos un símbolo al perro,

si hacemos los duales del idioma de perro.


Destructor:

< yo, tú, él, ella >

< mi, mu, me, ma >

< go, gu, ge, ga >

Destructor:

< nosotros, vosotros, ellos, ellas >

< mi-mi, mu-mu, me-me, ma-ma >

< go-go, gu-gu, ge-ge, ga-ga >


Ley:

Gato:

ma-em am mi-mu.

ma-em am mu-mi.

Perro:

ga-eg ag go-gu.

ga-eg ag gu-go.

Humano castellano:

querer estar con placer.

querer estar con dolor.


Ley: [ de rezar ]

Gato:

ma-em am me-me-mu.

ma-em am me-mu.

ma-em am me-me-mi.

ma-em am ma-ma-mi.

ma-em am ma-mi.

me-em am ma-ma-mu

Perro:

ga-eg ag ge-ge-gu.

ga-eg ag ge-gu.

ga-eg ag ge-ge-go.

ga-eg ag ga-ga-go.

ga-eg ag ga-go.

ga-eg ag ga-ga-gu.

Humano Castellano:

querer estar con dios.

querer estar con el señor.

querer estar con energía constructora.

querer estar con diosa.

querer estar con la señora.

querer estar con energía destructora.


Ley:

Gato:

mu-em um me.

mi-am im ma.

Perro:

gu-eg ug ge.

go-ag og ga.

Humano castellano:

suelga fuera de él.

entra dentro de ella.


El Mal no vos puede aceptar mirar este blog

porque sois mi próximo en ser yo un dios del universo.

El Bien vos puede aceptar mirar este blog

aunque quizás sois mi próximo en ser yo un dios del universo.


Principio:

[Ex(t)][ L(u,v,t) = x(t)·pE_{g}·h·( e^{iau}+e^{iav} ) ]

[Ey(t)][ L(v,u,t) = y(t)·pE_{e}·h·( e^{iav}+e^{iau} ) ]

Ley:

d_{u}[ L(u,v,t) ]+d_{v}[ L(u,v,t) ] = ia·L(u,v,t)

d_{v}[ L(v,u,t) ]+d_{u}[ L(v,u,t) ] = ia·L(v,u,t)

Ley:

L(u,v,t) = ( (l/c)^{2}·V·(1/t) )·pE_{g}·h·( e^{iau}+e^{iav} )

L(v,u,t) = ( (l/c)^{2}·V·(1/t) )·pE_{e}·h·( e^{iav}+e^{iau} )

Ley:

int[ L(u,v,wt) ]d[wt] = (-1)·( h/(qg) )·pE_{g}·h·( e^{iau}+e^{iav} ) <==> ...

... t = (1/w)·e^{(-1)·( h/(qg) )·(1/V)·(c/l)^{2}}

int[ L(v,u,wt) ]d[wt] = ( h/(qg) )·pE_{e}·h·( e^{iav}+e^{iau} ) <==> ...

... t = (1/w)·e^{( h/(qg) )·(1/V)·(c/l)^{2}}


Definición: [ de medida exterior métrica ]

Sea E una topología y m(A,B) una métrica

M(A [ || ] B) = H( m(A,B) ) [< M(A)+M(B)

m(A,B) >] 0

Sea ¬E una topología y m(¬A,¬B) una métrica

M(¬A [&] ¬B) = H( m(¬A,¬B) ) >] M(¬A)+M(¬B)

m(¬A,¬B) [< (-0)


Teorema: [ de Caratheodory ]

Sea ( A_{k} = { x€A : m(x,B) >] (1/k) } & lim[k = oo][ A_{k} ] = A ) ==> 

Si M(A [ || ] B) = (-1)·m(A,B) ==> M(A) es una medida exterior métrica

Sea ( ¬A_{k} = { x€¬A : m(x,¬B) [< (-1)·(1/k) } & lim[k = oo][ ¬A_{k} ] = ¬A ) ==> ...

Si M(¬A [&] ¬B) = (-1)·m(¬A,¬B) ==> M(¬A) es una medida exterior métrica

Demostración:

m(A,B) = lim[k = oo][ m(A_{k},B) ] >] lim[k = oo][ (1/k) ] = 0

M(A [ || ] B) = (-1)·m(A,B) [< (-0) [< (-1)·m(A,A)+(-1)·m(B,B) = M(A)+M(B) 


Teorema:

Sea P({a,b}) = { 0 , {a} , {b} , {a,b} } una topología ==>

Sea m(A,B) = max{ r : x€A & y€B & r = | f(x)+(-1)·f(y) | } ==> ...

... Si M(A [ || ] B) = (-1)·m(A,B) ==> M(A) es una medida exterior métrica

Sea ¬P(}a,b{) = { not(0) , }a{ , }b{ , }a,b{ } una topología ==>

Sea m(¬A,¬B) = min{ r : x€¬A & y€¬B & r = | ( f(x)+(-1)·f(y) )·i | } ==> ...

... Si M(¬A [&] ¬B) = (-1)·m(¬A,¬B) ==> M(¬A) es una medida exterior métrica

Demostración:

|f(b)+(-1)·f(a)| = |f(a)+(-1)·f(b)| > 0 = |f(a)+(-1)·f(a)| = |f(b)+(-1)·f(b)|

m(A,B) = |f(b)+(-1)·f(a)| = |f(a)+(-1)·f(b)| > 0

M(A [ || ] B) = (-1)·m(A,B) = (-1)·|f(b)+(-1)·f(a)| [< ...

... (-1)·|f(b)+(-1)·f(a)|+(-1)·|f(b)+(-1)·f(b)| = (-1)·m(A,A)+(-1)·m(B,B) = M(A)+M(B)

m(x,y) es métrica:

m(x,x) = |f(x)+(-1)·f(x)| = 0

m(x,y) = |f(x)+(-1)·f(y)| = |(-1)·( f(x)+(-1)·f(y) )| = |(-1)|·|f(x)+(-1)·f(y)| = |f(y)+(-1)·f(x)| = m(y,x)

m(x,y) = |f(x)+(-1)·f(y)| = |f(x)+(-1)·f(z)+f(z)+(-1)·f(y)| [< ...

... |f(x)+(-1)·f(z)|+|f(z)+(-1)·f(y)| = m(x,z)+m(z,y)


Teorema:

Sea P({a,b}) = { 0 , {a} , {b} , {a,b} } una topología ==>

Sea m(A,B) = max{ r : x€A & y€B & r = | int[t = y]-[x][ f(t) ]d[t] | } ==> ...

... Si M(A [ || ] B) = (-1)·m(A,B) ==> M(A) es una medida exterior métrica

Sea ¬P(}a,b{) = { not(0) , }a{ , }b{ , }a,b{ } una topología ==>

Sea m(¬A,¬B) = min{ r : x€¬A & y€¬B & r = | ( int[t = y]-[x][ f(t) ]d[t] )·i | } ==> ...

... Si M(¬A [&] ¬B) = (-1)·m(¬A,¬B) ==> M(¬A) es una medida exterior métrica

Demostración:

| int[t = a]-[b][ f(t) ]d[t] | = | int[t = b]-[a][ f(t) ]d[t] | > 0 = ...

... | int[t = a]-[a][ f(t) ]d[t] | = | int[t = b]-[b][ f(t) ]d[t] |

m(A,B) = | int[z = a]-[b][ f(t) ]d[t] | = | int[z = b]-[a][ f(t) ]d[t] | > 0

M(A [ || ] B) = (-1)·m(A,B) = (-1)·| int[t = a]-[b][ f(t) ]d[t] | [< ...

... (-1)·| int[t = a]-[b][ f(t) ]d[t] |+(-1)·| int[t = b]-[b][ f(t) ]d[t] | = ...

... (-1)·m(A,A)+(-1)·m(B,B) = M(A)+M(B)

m(x,y) es métrica:

m(x,x) = | int[t = x]-[x][ f(t) ]d[t] | = 0

m(x,y) = | int[t = y]-[x][ f(t) ]d[t] | = | (-1)·( int[t = x]-[y][ f(t) ]d[t] ) | = ...

... |(-1)|·| int[t = x]-[y][ f(t) ]d[t] | = | int[t = x]-[y][ f(t) ]d[t] | = m(y,x)

m(x,y) = | int[t = y]-[x][ f(t) ]d[t] | = | int[t = z]-[x][ f(t) ]d[t]+int[t = y]-[z][ f(t) ]d[t] | [< ...

... | int[t = z]-[x][ f(t) ]d[t] |+| int[t = y]-[z][ f(t) ]d[t] | = m(x,z)+m(z,y)


Teorema:

Sea P({a,b}) = { 0 , {a} , {b} , {a,b} } una topología ==>

Sea m(A,B) = ...

... max{ r : x€A & y€B & r = | (1/2)·|f(x)+(-1)·f(y)|+(1/2)·|f(y)+(-1)·f(x)| | } ==> ...

... Si M(A [ || ] B) = (-1)·m(A,B) ==> M(A) es una medida exterior métrica

Sea ¬P(}a,b{) = { not(0) , }a{ , }b{ , }a,b{ } una topología ==>

Sea m(¬A,¬B) = ...

... min{ r : x€¬A & y€¬B & r = | ( (1/2)·|f(x)+(-1)·f(y)|+(1/2)·|f(y)+(-1)·f(x)| )·i | } ==> ...

... Si M(¬A [&] ¬B) = (-1)·m(¬A,¬B) ==> M(¬A) es una medida exterior métrica

Demostración:

Examen.


Teorema: [ de compatificación de Alexandrov de los números enteros ]

N [<< [0]_{m} [ || ] ...(m)... [ || ] [m+(-1)]_{m}

¬N >>] ]0[_{m} [&] ...(m)... [&] ]m+(-1)[_{m}

Teorema: [ de compatificación de Alexandrov de los polinomios enteros ]

P[x] [<< [x^{0}]_{x^{m}} [ || ] ...(m)... [ || ] [x^{m+(-1)}]_{x^{m}}

P[(1/x)] >>] ]x^{0}[_{x^{m}} [&] ...(m)... [&] ]x^{m+(-1)}[_{x^{m}}

Teorema: [ de compatificación de Alexandrov de los números reales ]

R [<< [ [0]_{m},[1]_{m} ]_{R} [ || ] ...(m)... [ || ] [ [m+(-1)]_{m},[0]_{m} ]_{R}

¬R >>] ] ]0[_{m},]1[_{m} [_{R} [&] ...(m)... [&] ] ]m+(-1)[_{m},]0[_{m} [_{R}

Teorema:

a_{n} es compacta <==> [Ea_{n_{k}}][ a_{n_{k}} es de Cauchy ]

Demostración:

rec(a_{n}) [<< { a_{[0]_{m}} } [ || ] ...(m)... [ || ] { a_{[m+(-1)]_{m}} }

Sea s > 0 ==>

| a_{mk+r}+(-1)·a_{mj+r} | = | a_{[r]_{m}}+(-1)·a_{[r]_{m}}| = 0 < s

Sea m = r ==>

rec(a_{n}) [<< { a_{[0]_{m}} } [ || ] ...(m)... [ || ] { a_{[m+(-1)]_{m}} }


Teoremas de demostración: [ de las siguientes integrales impropias ]

Hôpital-Bernoulli integral

Hôpital-Garriga

Teorema: [ de Hôpital-Garriga con constante ]

Sea lim[x = oo][ g(x) = oo ] ==>

lim[x = oo][ ( f(x) /o(x)o/ d_{x}[g(x)]+c )·d[x] ] = ...

... lim[x = oo][ ( f(x) /o(x)o/ ( d_{xx}[g(x)]+c·(1/d[x]) ) ) ]= lim[x = oo][ ( f(x) /o(x)o/ g(x) ) ]


Teorema:

Sea n >] 1 ==>

int[x = 0]-[oo][ ( 1/(1+x^{2n+1}) ) ]d[x] = ( ln(2)+ln(n+1) )·( 1/(2n)! )

int[x = 0]-[oo][ ( 1/(1+x^{3}) ) ]d[x] = ln(2)

Demostración:

int[x = 0]-[oo][ ( 1/(1+x^{2n+1}) ) ]d[x] = ln(1+x^{2n+1}) [o(x)o] ( x /o(x)o/ x^{2n+1} )

Teorema:

Sea n >] 1 ==>

int[x = 0]-[oo][ ( 1/(1+x^{2n}) ) ]d[x] = (pi/2)·(1/n!)

int[x = 0]-[oo][ ( 1/(1+x^{2}) ) ]d[x] = (pi/2)

Demostración:

int[x = 0]-[oo][ ( 1/(1+x^{2n}) ) ]d[x] = arc-tan(x^{n}) [o(x)o] ( x /o(x)o/ x^{n} )


Teorema:

Sea n >] 1 ==>

int[x = 0]-[oo][ ( 1/( a_{n}·x+(n+2)^{x} ) ) ]d[x] = ln(n+2)·( 1/( a_{n}+n! ) )

Sea ( n = 1 & a_{n} = 1 ) ==> 

int[x = 0]-[oo][ ( 1/( x+3^{x} ) ) ]d[x] = (1/2)·ln(3)

Demostración:

int[x = 0]-[oo][ ( 1/( a_{n}·x+(n+2)^{x} ) ) ]d[x] = ...

... ln( a_{n}·x+(n+2)^{x} ) [o(x)o] ( x /o(x)o/ ( a_{n}·x+(n+2)^{x} ) )

lim[x = oo][ ( oo·ln(n+2) ) [o(x)o] ( x /o(x)o/ ( oo·a_{n}+oo·x^{n} ) ) ] = ...

... ln(n+2) [o(oo)o] ( 1 /o(oo)o/ ( a_{n}+n! ) )

Teorema:

Sea n >] 1 ==>

int[x = 0]-[oo][ ( 1/( x^{n}+(n+2)^{x} ) ) ]d[x] = ln(n+2)·( 1/( (n+(-1))!+n! ) )

Sea n = 1 ==>

int[x = 0]-[oo][ ( 1/( x+3^{x} ) ) ]d[x] = (1/2)·ln(3)

Demostración:

int[x = 0]-[oo][ ( 1/( x^{n}+(n+2)^{x} ) ) ]d[x] = ...

... ln( x^{n}+(n+2)^{x} ) [o(x)o] ( x /o(x)o/ ( x^{n}+(n+2)^{x} ) )

lim[x = oo][ ( oo·ln(n+2) ) [o(x)o] ( x /o(x)o/ ( oo·x^{n+(-1)}+oo·x^{n} ) ) ] = ...

... ln(n+2) [o(oo)o] ( 1 /o(oo)o/ ( (n+(-1))!+n! ) )

Teorema:

Sea n >] 1 ==>

int[x = 0]-[oo][ ( 1/( nx^{n}+(n+2)^{x} ) ) ]d[x] = ln(n+2)·(1/2)·(1/n!)

Sea n = 1 ==>

int[x = 0]-[oo][ ( 1/( x+3^{x} ) ) ]d[x] = (1/2)·ln(3)

Demostración:

int[x = 0]-[oo][ ( 1/( nx^{n}+(n+2)^{x} ) ) ]d[x] = ...

... ln( nx^{n}+(n+2)^{x} ) [o(x)o] ( x /o(x)o/ ( nx^{n}+(n+2)^{x} ) )

lim[x = oo][ ( oo·ln(n+2) ) [o(x)o] ( x /o(x)o/ ( n·oo·x^{n+(-1)}+oo·x^{n} ) ) ] = ...

... ln(n+2) [o(oo)o] ( 1 /o(oo)o/ ( n·(n+(-1))!+n! ) )


Habladurías:

Que no soy un señor de los hombres,

porque tengo la picha pequeña,

cuando el Facials-Exterior lo ves cuando rezas ver un caballo,

y son prójimo de todos los hombres y no señores.

Que no soy un dios de los hombres,

porque tengo la picha pequeña,

cuando el Facials-Interior lo ves cuando rezas ver un caballo,

y es prójimo de todos los hombres y no un dios.


Teorema:

Sea n >] 1 ==>

int[x = 0]-[ln(oo)][ ( 1/( a_{n}·x+e^{(n+1)·x} ) ) ]d[x] = (n+1)·ln(2)·( 1/( a_{n}·ln(2)+n! ) )

Demostración:

e^{n·ln(2)·oo} = oo^{n}

int[x = 0]-[ln(oo)][ ( 1/( a_{n}·x+e^{(n+1)·x} ) ) ]d[x] = ...

... ln( a_{n}·x+e^{(n+1)·x}) [o(x)o] ( x // ( a_{n}·x+e^{(n+1)·x} ) )

lim[x = ln(oo)][ (n+1)·ln(2)·oo [o(x)o] ( x /o(x)o/ ( a_{n}·ln(2)·oo+oo·x^{n} ) ) ] = ...

... (n+1)·ln(2) [o( ln(oo) )o] ( 1 /o( ln(oo) )o/ ( a_{n}·ln(2)+n! ) )


Examen:

Teorema:

Sea n >] 1 ==>

int[x = 0]-[ln(oo)][ ( 1/( x^{n}+e^{(n+1)·x} ) ) ]d[x] = (n+1)·ln(2)·( 1/( (n+(-1))!·ln(2)+n! ) )

Teorema:

Sea n >] 1 ==>

int[x = 0]-[ln(oo)][ ( 1/( nx^{n}+e^{(n+1)·x} ) ) ]d[x] = (n+1)·ln(2)·(1/n!)·( 1/( ln(2)+1 ) )


Ley: [ de regresión de aceite de Marihuana y de aceite de Hierva-Luisa ]

Marihuana = Destructor + Destructor = 7 extremidades de hoja.

Destructor en el presente construyendo-se = Destructor del presente

(-x)·y = (-1)·(xy)

Destructor en el pasado destruido = Constructor del pasado

(-x)·(-y) = xy

Hierva-Luisa = Constructor + Constructor

Constructor en el pasado destruido = Destructor del pasado

x·(-y) = (-1)·(xy)

Constructor en el presente construyendo-se = Constructor del presente

xy = xy


Definición: [ de cardinal ]

#A = min{ B : B es biyectivo con A }

Teorema:

#A [< A

Demostración:

#A = min{ B : B es biyectivo con A } [< { A : A es biyectivo con A } = A

Teorema:

#( m·oo ) = oo

Demostración:

Se define f(k) = mk & ...(m)... & f(mk) = mk+(m+(-1))

Teorema:

#( oo^{n} ) = oo

Demostración:

Se define f( k^{n} ) = k·2^{k}·...·n^{k}

Teorema:

#( m·oo^{n} ) = oo

Demostración:

Se define ...

... f( k^{n} ) = m·( k·2^{k}·...·n^{k} ) & ...(m)... & f( mk^{n} ) = m·( k·2^{k}·...·n^{k} )+(m+(-1))

Teorema:

#( m·(n+1)^{oo} ) = oo

Demostración:

#( m·(n+1)^{oo} ) = #( m·oo^{n} ) = oo


Definición: [ de cofinal ]

Ordinal irregular:

Cof(A) = min{ #B : #B no está acotado por A }

Ordinal regular:

Cof(A) = #A <==> #A = A

Teorema:

Si ( A irregular & #A = aleph_{n} ) ==> Cof(A) = aleph_{n+1}

Si ( A regular & #A = aleph_{n} ) ==> Cof(A) = aleph_{n}

Demostración:

aleph_{n} = #A [< A < Cof(A) = aleph_{n+1}

aleph_{n} = #A = Cof(A) = aleph_{n}

Teorema:

Cof(n) = oo

Demostración:

Se define k >] n ==>

n [< k < oo

Teorema:

Cof( m·oo^{n} ) = oo^{oo}

Demostración:

Se define k >] max{n+1,m} ==> 

m·oo^{n} [< k·oo^{k+(-1)} < oo^{oo}

Si max{n+1,m} = n+1 ==>

m [< n+1

m·oo^{n} [< (n+1)·oo^{n} < oo^{oo}

Si max{n+1,m} = m ==>

n+1 [< m <==> n [< m+(-1)

m·oo^{n} [< m·oo^{m+(-1)} < oo^{oo}


Examen de teoría de conjuntos:

Teorema:

Sea ( n >] 1 & m >] 1 )  ==>

#( (m+1)^{oo^{n+1}} ) = oo^{oo}

Cof( (m+1)^{oo^{n+1}} ) = oo^{oo^{oo}}


Ley:

Gato:

mi-mi-me.

mu-mu-ma.

Perro:

go-go-ge.

gu-gu-ga.

Humano:

gente que es.

gente que no es.

Ley:

Gato

mi-me.

mu-ma.

Perro:

go-ge.

gu-ga.

Humano:

gente descendiente de Númenor.

gente no descendiente de Númenor.


Ley:

Gato:

mi-ma.

mi-mi-ma.

mu-me.

mu-mu-me.

Perro:

go-ga.

go-go-ga.

gu-ge.

gu-gu-ge.

Humano:

acción de amor.

reacción de amor.

acción de odio.

reacción de odio.


Teorema: [ desigualdad de Bernoulli-Garriga ]

Sea ( n€N & p€N ) ==>

Si ( n >] 2^{p}+1 & p >] 1 ) ==>

(p+1)^{n} >] n^{p}

Demostración:

Sea ( n = 3 & p = 1 ) ==>

8 >] 3

Sea ( n€N & p€N ) ==>

(p+1)^{n+1} >] (p+1)·n^{p} = p+n^{p}+p·( n^{p}+(-1) ) = ...

... p+n^{p}+p·( 1+...+n^{p+(-1)} )·(n+(-1)) >] p+n^{p}+p·( 1+...+n^{p+(-1)} ) >] (n+1)^{p}

Teorema:

lim[n = oo][ (p+1)^{n} ] = oo^{p}

Demostración:

Sea s > 0 ==>

Se define n_{0} > max{2^{p}+1,(1/s)} ==>

Sea n > n_{0} ==>

En ser más grande está más cerca de infinito:

| ( (p+1)^{n}/oo^{p} )+(-1) | = | (1/oo)^{p}·( (p+1)^{n}+(-1)·oo^{p} ) | [< ...

... | (1/oo)^{p}·( n^{p}+(-1)·oo^{p} ) | = 0p < (1/n) < (1/n_{0}) < s


Teorema:

ln(oo^{n}) = log_{2}(n+1)·ln(oo) = oo·ln(n+1)

Teorema:

lim[x = ln(oo^{s+1})][ ( 1/(s+1) )·x^{s+1} [o(x)o] (-1)·e^{(-x)} ] = (-1)·( 1/(s+1) )·( ln(s+2) )^{s}·0


Teorema:

ln(2) es irracional

Demostración:

f(k) = 1

[Ek][ Id(k) = 1 & k = 1 ]

ln(2) = (1/oo)·sum[k = 1]-[oo][ (1/k) ] = (1/oo)·sum[k = 1]-[oo][ ( 1/f(k) ) ] = (oo/oo) = 1 € Q

Teorema:

e es irracional

Demostración:

f(k!) = 1

[Ek][ Id(k!) = 1 & ( k = 1 || k = 0 ) ]

g(1) = n

[En][ Id(1) = n & n = 1 ]

h(n) = (-oo)

[En][ Id(n) = (-oo) & n = (-oo) ]

e = 1+sum[k = 1]-[oo][ (1/k!) ] = g(1)+sum[k = 1]-[oo][ ( 1/f(k!) ) ] = ...

... n+oo = h(n)+oo = (-oo)+oo = 1 € Q

martes, 12 de marzo de 2024

topología-algebraica-medida y teoría-de-números-algebraica y música-matemática y gatos-y-perros y ley

Definición: [ de medida ]

Sea E una topología.

Axioma:

A [<< B

M(A [ || ] B) = M(A)+M(B)

<==>

M(A) = M(0)

Axioma:

¬A >>] ¬B

M(¬A [&] ¬B) = M(¬A)+M(¬B)

<==>

M(¬A) = M(E)

Definición: [ de medida exterior ]

Sea E una topología.

Axioma:

M( [ || ]-[k = 1]-[n][ A_{k} ] ) [< sum[k = 1]-[n][ M(A_{k}) ]

M(0) >] 0

Axioma:

M( [&]-[k = 1]-[n][ ¬A_{k} ] ) >] sum[k = 1]-[n][ M(¬A_{k}) ]

M(E) [< 0



Definición: [ de medida exterior de continuidad ]

M(h) = | m( x+h,x ) |

M(-h) = | m( x,x+(-h) )·i |



Teorema:

M(max{h_{1},...,h_{n}}) [< sum[k = 1]-[n][ M(h_{k}) ]

Demostración:

Sea h_{k} = max{h_{1},...,h_{n}} ==>

M(max{h_{1},...,h_{n}}) = | m( x+h_{k},x ) | [< ...

... | m( x+h_{1},x ) |+...+| m( x+h_{n},x ) | = sum[k = 1]-[n][ M(h_{k}) ]

Teorema:

M(min{(-1)·h_{1},...,(-1)·h_{n}}) >] sum[k = 1]-[n][ M((-1)·h_{k}) ]

Demostración:

Sea (-1)·h_{k} = min{(-1)·h_{1},...,(-1)·h_{n}} ==>

M(min{(-1)·h_{1},...,(-1)·h_{n}}) = | m( x,x+(-1)·h_{k} )·i | >] ...

... | m( x,x+(-1)·h_{1} )·i |+...+| m( x,x+(-1)·h_{n} )·i | = sum[k = 1]-[n][ M((-1)·h_{k}) ]



Teorema:

M(0) >] 0

Teorema:

M(-0) [< 0



Definición: [ de medida exterior de derivada ]

M(h) = | (1/h)·m( x+h,x ) |

M(-h) = | (1/h)·m( x,x+(-h) )·i |



Definición: [ de medida de Lebesgue-Stieljes-Garriga ]

M( [a,b]_{R},f(x),g(x) ) = f(b)+(-1)·g(a)

M( ]a,b[_{R},f(x),g(x) ) = g(a)+(-1)·f(b)

M( [a,b]_{R} [ || ] ]c,d[_{R},f(x),g(x) ) = M( [a,b]_{R},f(x),g(x) )+M( ]c,d[_{R},f(x),g(x) )

M( [a,b]_{R} [&] ]c,d[_{R},f(x),g(x) ) = M( [a,b]_{R},f(x),g(x) )+M( ]c,d[_{R},f(x),g(x) )



Teorema:

M( 0,f(x),g(x) ) = M( [a,b]_{R} [&] ]a,b[_{R},f(x),g(x) ) = 0

Teorema:

M( E,f(x),g(x) ) = M( [a,b]_{R} [ || ] ]a,b[_{R},f(x),g(x) ) = 0



Teorema:

Si [a,b]_{R} [<< [c,d]_{R} ==>

M( [a,b]_{R} [ || ] [c,d]_{R},f(x),g(x) ) = M( [a,b]_{R},f(x),g(x) )+M( [c,d]_{R},f(x),g(x) )

<==>

M( [a,b]_{R},f(x),g(x) ) = 0

Teorema:

Si ]a,b[_{R} >>] ]c,d[_{R} ==>

M( ]a,b[_{R} [&] ]c,d[_{R},f(x),g(x) ) = M( ]a,b[_{R},f(x),g(x) )+M( ]c,d[_{R},f(x),g(x) )

<==>

M( ]a,b[_{R},f(x),g(x) ) = 0



Laboratorio de problemas:

Teorema:

M( [a,b]_{R},x+a,x+b ) = 0

M( ]a,b[_{R},x+a,x+b ) = 0

Teorema: [ de Lebesgue-Stieljes ]

M( [(-a),a]_{R},x^{2n} ) = 0

M( ](-a),a[_{R},x^{2n} ) = 0



Definición: [ de medida de Probabilidad-Kolmogorov ]

M( [ || ]-[k = 1]-[n][ {a_{k}} ] ) = sum[k = 1]-[n][ M({a_{k}}) ] = 1

M( [&]-[k = 1]-[n][ }a_{k}{ ] ) = 1+(-1)·sum[k = 1]-[n][ M({a_{k}}) ] = 0



Teorema:

M(0) = 0

Teorema:

M(E) = 1


Teorema:

Si 0 [<< {a_{k}} ==>

M(0 || {a_{k}} ) = M(0)+M({a_{k}})

<==>

M(0) = 0

Teorema:

Si E >>] }a_{k}{ ==>

M(E [&] }a_{k}{) = 1+(-1)·( M(0)+M({a_{k}}) )

<==>

M(E) = 1



Definición:

x^{n+1}+y^{n+1} = z^{n+1} es resoluble por enteros <==> ...

... [Az][Ex][Ey][Em][ (m/2)·( x^{n}+y^{n} ) = z^{n} ==> ( m€Z & x,y,z € Z ) ]

Teorema:

x+y = z es resoluble por enteros

Demostración:

Se define m = 1 ==>

(m/2)·(1+1) = 1

Teorema:

x^{2}+y^{2} = z^{2} es resoluble por enteros

Demostración:

Se define m = 2 ==>

Sea n € Z ==>

Se define x = z+(-n)

Se define y = n 

(m/2)·(x+y) = z

( x = 3 & y = 4 & z = 5 )



Teorema: [ de Fermat-Wiles ]

x^{n+1}+y^{n+1} = z^{n+1} es irresoluble por enteros <==> n >] 3 

Demostración:

Homología deformable de Galois:

A_{n} = [ f_{n} : ...

... n·{ < k,f(k) > : [Ak][ 1 [< k [< n ==> f(k) = k ] } ...

... ---> ...

... (n+1)·{ < k,f(k) > : [Ak][ 1 [< k [< n+1 ==> f(k) = k ] } ...

... ]_{n}

B_{n} = [ g_{n} : x^{n}+y^{n} = z^{n} ---> x^{n+1}+y^{n+1} = z^{n+1} ]_{n}

f(z^{f(k)+1}) = f(z^{k+1}) = z·z^{k} = z^{k+1} = z^{f(k)+1}

g(z^{k+1}) = x^{k+1} & h(z^{k+1}) = y^{k+1}

n·#{ < k,f(k) > : [Ak][ 1 [< k [< n ==> f(k) = k ] } > 2·(n+1)+1 <==> n >] 3


Definición:

(1/x)^{n+1}+(1/y)^{n+1} = (1/z)^{n+1} es resoluble por racionales <==> ...

... [Az][Ex][Ey][Em][ (m/2)·( (1/x)^{n}+(1/y)^{n} ) = (1/z)^{n} ==> ( m€Z & x,y,z € Q ) ]



Teorema:

(1/x)+(1/y) = (1/z) es resoluble por racionales

Demostración:

Se define m = 1 ==>

(m/2)·(1+1) = 1

Teorema:

(1/x)^{2}+(1/y)^{2} = (1/z)^{2} es resoluble por racionales

Demostración:

Se define m = 2 ==>

Se define x = 2z ==>

Se define y = 2z ==>

(m/2)·((1/x)+(1/y)) = (1/z)

( x = 3 & y = 4 & z = (12/5) )



Teorema:

(1/x)^{n+1}+(1/y)^{n+1} = (1/z)^{n+1} es irresoluble por racionales <==> n >] 3 

Demostración:

Homología deformable de Galois:

A_{n} = [ f_{n} : ...

... n·{ < k,f(k) > : [Ak][ 1 [< k [< n ==> f(k) = k ] } ...

... ---> ...

... (n+1)·{ < k,f(k) > : [Ak][ 1 [< k [< n+1 ==> f(k) = k ] } ...

... ]_{n}

B_{n} = ...

... [ g_{n} : (1/x)^{n}+(1/y)^{n} = (1/z)^{n} ---> (1/x)^{n+1}+(1/y)^{n+1} = (1/z)^{n+1} ]_{n}

f((1/z)^{f(k)+1}) = f((1/z)^{k+1}) = (1/z)·(1/z)^{k} = (1/z)^{k+1} = (1/z)^{f(k)+1}

g((1/z)^{k+1}) = (1/x)^{k+1} & h((1/z)^{k+1}) = (1/y)^{k+1}

n·#{ < k,f(k) > : [Ak][ 1 [< k [< n ==> f(k) = k ] } > 2·(n+1)+1 <==> n >] 3



Teorema:

[An][ x^{n}+y^{n} = z^{n+1} es resoluble por enteros ] 

( x = 2 & y = 2 & z = 2 )

Demostración:

B_{n} = [ g_{n} : x^{n}+y^{n} = z^{n+1} ---> x^{n+1}+y^{n+1} = z^{n+2} ]_{n}

f(z^{f(k)+1}) = f(z^{k+1}) = z·z^{k} = z^{k+1} = z^{f(k)+1}

g(z^{k+1}) = x^{k} & h(z^{k+1}) = y^{k}

k es resoluble

z^{k} es resoluble por enteros



Teorema:

[An][ (1/x)^{n}+(1/y)^{n} = (1/z)^{n+1} es resoluble por racionales ] 

( x = (1/2) & y = (1/2) & z = (1/2) )

Demostración:

Examen de teoría de números algebraica.



Sabéis las cinco habladurías que hay de mi:

Que soy homosexual,

emitiendo energía.

Que mis infieles joden a fieles,

con la cláusula.

Que soy un violador mental,

con la cláusula.

Que mato a hombres,

con la cláusula.

Que mato a extraterrestres,

con la cláusula y sin híper-espacio.

Porque no me recibíis?

Si soy al que se tiene que recibir.



Definición: [ de escalera de frecuencias de tonos de Bach-Mozart ]

< a_{k} : [0,12]_{N} ---> [1,2]_{R} & k --> a_{k} = 2^{(k/12)} >

< b_{k} : [0,12]_{N} ---> [(1/2),1]_{R} & k --> b_{k} = (1/2)^{(k/12)} >

Nota histórica:

Programé un piano con la frecuencia del speaker del ordenador.

Práctica informática:

Programar un piano o una caja de música,

con la frecuencia del speaker del ordenador.



while( música != 0 )

{

k = 0;

status = 1;

while( k != m )

{

Si status == 1 ==>

{

speaker( pow(2,(n/12)) );

status = 0;

}

k = k + tiempo-segundos-positivo(s);

}

}

while( música != not(0) )

{

k = not(0);

status = not(1);

while( k != not(m) )

{

Si status = not(1) ==>

{

speaker( pow(2,((n+6)/12)) );

status = not(0);

}

k = k + tiempo-segundos-negativo(s);

}

}



Teorema: [ del producto de dos octavas creciente de Bach-Mozart ]

Si f(k) = 2^{(k/12)} ==> prod[k = 0]-[23][ f(k) ] = 2^{23}

Teorema: [ del producto de dos octavas decreciente de Bach-Mozart ]

Si f(k) = (1/2)^{(k/12)} ==> prod[k = 0]-[23][ f(k) ] = (1/2)^{23}



Teorema: [ de la distribución creciente de Bach-Mozart ]

Si f(k) = ( 2^{(1/12)}+(-1) )·2^{(k/12)} ==> sum[k = 0]-[11][ f(k) ] = 1

Teorema: [ de la distribución decreciente de Bach-Mozart ]

Si f(k) = 2^{(11/12)}·( 2^{(1/12)}+(-1) )·(1/2)^{(k/12)} ==> sum[k = 0]-[11][ f(k) ] = 1



Teorema: [ del sumatorio creciente de Bach-Mozart ]

Si f(k) = ( 2^{(1/12)}+(-1) )·2^{(k/12)} ==> ...

... sum[p = 0]-[m][ sum[k = 0+12p]-[11+12p][ f(k) ] ] = sum[p = 0]-[m][ 2^{p} ]

Teorema: [ del sumatorio decreciente de Bach-Mozart ]

Si f(k) = 2^{(11/12)}·( 2^{(1/12)}+(-1) )·(1/2)^{(k/12)} ==> ...

... sum[p = 0]-[m][ sum[k = 0+12p]-[11+12p][ f(k) ] ] = sum[p = 0]-[m][ (1/2)^{p} ]



Definición: [ de medida exterior de Bach-Mozart ]

M( [ || ]-[k = 1]-[n][ 2^{(m_{k}/12)} ] ) = ...

... min{ sig( h(k+1) > h(k) )·( 2^{(1/12)}+(-1) )·2^{(m_{k}/12)} : 1 [< k [< n }

M( [&]-[k = 1]-[n][ (1/2)^{(m_{k}/12)} ] ) = ...

... max{ sig( h(k) > h(k+1) )·2^{(11/12)}·( 2^{(1/12)}+(-1) )·(1/2)^{(m_{k}/12)} : 1 [< k [< n }



Teorema:

M( [ || ]-[k = 1]-[n][ 2^{(m_{k}/12)} ] ) [< sum[k = 1]-[n][ M(2^{(m_{k}/12)}) ]

Demostración:

M( [ || ]-[k = 1]-[n][ 2^{(m_{k}/12)} ] ) = ( 2^{(1/12)}+(-1) )·2^{(m_{i}/12)} [< ...

... ( 2^{(1/12)}+(-1) )·( 2^{(m_{1}/12)}+...+2^{(m_{n}/12)} ) = ...

... sum[k = 1]-[n][ M(2^{(m_{k}/12)}) ]

Teorema:

M( [&]-[k = 1]-[n][ (1/2)^{(m_{k}/12)} ] ) >] sum[k = 1]-[n][ M((1/2)^{(m_{k}/12)}) ]

Demostración:

M( [ || ]-[k = 1]-[n][ (1/2)^{(m_{k}/12)} ] ) = ...

... (-1)·2^{(11/12)}·( 2^{(1/12)}+(-1) )·(1/2)^{(m_{i}/12)} >] ...

... (-1)·2^{(11/12)}·( 2^{(1/12)}+(-1) )·( (1/2)^{(m_{1}/12)}+...+(1/2)^{(m_{n}/12)} ) = ...

... sum[k = 1]-[n][ M((1/2)^{(m_{k}/12)}) ]



Teorema:

M(0) = ( 2^{(1/12)}+(-1) ) >] 0

Teorema:

M(E) = (-1)·2^{(11/12)}·( 2^{(1/12)}+(-1) ) [< 0



Definición: [ de homologías de Bach-Mozart ]

A_{n} = [ f_{n} : 2^{(n/12)} ---> 2^{( (n+1)/12 )} ]_{n}

B_{m} = [ g_{m} : (1/2)^{(m/12)} ---> (1/2)^{( (m+1)/12 )} ]_{m}

Teorema:

Las homologías de Bach-Mozart están conectadas paralelamente.

Demostración:

Se define L(2^{(k/12)}) = (1/2)^{(1/12)·( m+k+(-n) )}

Teorema:

Las homologías de Bach-Mozart están conectadas cruzadamente.

Demostración:

Se define P(2^{(k/12)}) = (1/2)^{(1/12)·( m+k+(-1)·(n+1) )}
 
Se define Q(2^{(k/12)}) = (1/2)^{(1/12)·( (m+1)+k+(-n) )}



Leyes de gatos:

Ley:

ma-em.

querer estar.

me-am.

poder estar.

Ley:

mi-um.

atacar sin sonido.

mu-im.

bloquear con sonido.



Ley:

mi ma-em am mu.

mi miau ma-em em mu

Quiero estar contigo.

No quiero estar sin ti.

mu ma-em am mi.

mu miau ma-em em mi.

Quieres estar conmigo.

No quieres estar sin mi.

Ley:

mi miau ma-em am mu.

mi ma-em em mu

No quiero estar contigo.

Quiero estar sin ti.

mu miau ma-em am mi.

mu ma-em em mi.

No quieres estar conmigo.

Quieres estar sin mi.



Ley:

mi im mu.

mi miau um mu.

Yo dentro de ti.

Yo no fuera de ti.

Te amo.

mu im mi.

mu miau um mi.

Tú dentro de mi.

Tú no fuera de mi.



Ley:

ma-em am me-me-ma.

Querer estar con menjar.

ma-em am ma-ma-me.

Querer estar con bebida.

Ley:

ma-em am mi-mi-mu.

Querer estar con un palito de carne.

ma-em am mu-mu-mi.

Querer estar con un palito de pescado.



Ley:

meu im ma.

caca dentro de ella.

mau im me.

pipi dentro de él.



Leyes de perros:

Ley:

ga-eg.

querer estar.

ge-ag.

poder estar.

Ley:

go-ug.

atacar sin sonido.

gu-og.

bloquear con sonido.


Ley:

go ga-eg ag gu.

go goau ga-eg eg gu.

Quiero estar contigo.

No quiero estar sin ti.

gu ga-eg ag go.

gu goau ga-eg eg go

Quieres estar conmigo.

No quieres estar sin mi.

Ley:

go goau ga-eg ag gu.

go ga-eg eg gu.

No quiero estar contigo.

Quiero estar sin ti.

gu goau ga-eg ag go.

gu ga-eg eg go.

No quieres estar conmigo.

Quieres estar sin mi.



Ley:

go og gu.

go goau ug gu.

Yo dentro de ti.

Yo no fuera de ti.

Te amo.

gu og go.

gu goau ug go.

Tú dentro de mi.

Tú no fuera de mi.



Ley:

ga-eg ag ge-ge-ga.

Querer estar con menjar.

ga-eg ag ga-ga-ge.

Querer estar con bebida.

Ley:

ga-eg ag go-go-gu.

Querer estar con un palito de carne.

ga-eg ag gu-gu-go.

Querer estar con un palito de pescado.



Ley:

geu og ga.

caca dentro de ella.

gau og ge.

pipi dentro de él.



Clásico:

cagar [o] cagar

pishar [o] pijar



Axioma-Bíblico:

Ama al próximo como a ti mismo.

Ama al prójimo como no a ti mismo.

Ley:

Se puede comprar al prójimo pagando.

Se puede vender al prójimo cobrando.

Ley:

Se puede utilizar en el prójimo pagando.

Se puede ceder al prójimo cobrando.

Ley:

Invitar a un café al prójimo es ilegal,

porque se utiliza el bar del prójimo sin pagar.

Invitar a un café del prójimo es ilegal,

porque se cede el bar al prójimo sin cobrar.

Ley:

Se puede contratar al prójimo pagando.

Se puede trabajar en el prójimo cobrando.



Examen de veterinario:

Traducid a perro la siguiente medicación:

Ley:

mi miau me-am am mu.

No puedo estar contigo.

mu miau me-am am mi.

No puedes estar conmigo.

Anexo:

Querer estar es lenguaje de gato o perro.

Poder estar es medicación de gato o perro.

Destructor:

miau:

< mi,mu,me,ma >

< im,um,em,am >

goau:

< go,gu,ge,ga >

< og,ug,eg,ag >



Definición:

[AB][ 0^{u}·M(B) [< n ] ==> u es la dimensión de Hausdorff positiva.

[A¬B][ 0^{v}·M(¬B) >] (-n) ] ==> v es la dimensión de Hausdorff negativa.

Teorema:

Si M(A) = max{ k^{p} : A [<< [ || ]-[k = 1]-[n][ A_{k} ] } ==> u = p

Si M(¬A) = min{ (-1)·k^{p} : ¬A >>] [ || ]-[k = 1]-[n][ ¬A_{k} ] } ==> v = p

Teorema:

Si M(A) = max{ p^{k} : A [<< [ || ]-[k = 1]-[n][ A_{k} ] } ==> u = p+(-1)

Si M(¬A) = min{ (-1)·p^{k} : ¬A >>] [ || ]-[k = 1]-[n][ ¬A_{k} ] } ==> v = p+(-1)

Teorema:

Si M(A) = max{ pk : A [<< [ || ]-[k = 1]-[n][ A_{k} ] } ==> u = log_{0}(1/p)+1

Si M(¬A) = min{ (-1)·pk : ¬A >>] [ || ]-[k = 1]-[n][ ¬A_{k} ] } ==> v = log_{0}(1/p)+1



Definición:

[AB][ oo^{u}·M(B) >] (1/n) ] ==> u es la dimensión de Hausdorff-Garriga positiva.

[A¬B][ oo^{v}·M(¬B) [< (-1)·(1/n) ] ==> v es la dimensión de Hausdorff-Gerriga negativa.

Teorema:

Si M(A) = min{ (1/k)^{p} : A [<< [ || ]-[k = 1]-[n][ A_{k} ] } ==> u = p

Si M(¬A) = max{ (-1)·(1/k)^{p} : ¬A >>] [ || ]-[k = 1]-[n][ ¬A_{k} ] } ==> v = p

Teorema:

Si M(A) = min{ (1/p)^{k} : A [<< [ || ]-[k = 1]-[n][ A_{k} ] } ==> u = p+(-1)

Si M(¬A) = max{ (-1)·(1/p)^{k} : ¬A >>] [ || ]-[k = 1]-[n][ ¬A_{k} ] } ==> v = p+(-1)

Teorema:

Si M(A) = max{ p·(1/k) : A [<< [ || ]-[k = 1]-[n][ A_{k} ] } ==> u = log_{oo}(1/p)+1

Si M(¬A) = min{ (-1)·p·(1/k) : ¬A >>] [ || ]-[k = 1]-[n][ ¬A_{k} ] } ==> v = log_{oo}(1/p)+1



Habladuría:

Que los extraterrestres son dioses de los hombres.

Corrección:

Los dioses de los hombres son hombres.

Habladuría:

Que los extraterrestres son dioses del universo.

Corrección:

Hay un dios del universo hombre.

Habladuría:

Que los extraterrestres han construido los templos de piedra,

Corrección:

Los templos de piedra los han construido los hombres.



Teorema:

Sea m(x,x) = 0 ==>

Si M(h) = | m(x+h,x) | ==> M(h) es una medida exterior continua

Si M(-h) = | m(x,x+(-h))·i | ==> M(-h) es una medida exterior continua

Demostración:

M(min{h_{1},...,h_{n}}) = | m(x+h_{k},x) | [< sum[k = 1]-[n][ M(h_{k}) ]

M(max{(-1)·h_{1},...,(-1)·h_{n}}) = | m(x,x+(-1)·h_{k})·i | >] sum[k = 1]-[n][ M((-1)·h_{k}) ]

M(0) = | m(x+0,x) | = | m(x,x) | = 0 >] 0

[As][ s > 0 ==> M(0) < s ]

M(E) = | m(x,x+(-0))·i | = | m(x,x)·i | = (-0) [< 0 

[A(-s)][ (-s) < 0 ==> M(E) > (-s) ]



Teorema:

Sea m(x,x) = 0 ==>

Si M(h) = | h·2n+m(x+h,x) | ==> M(h) es una medida exterior continua

Si M(-h) = | ( (-h)·2n+m(x,x+(-h)) )·i | ==> M(-h) es una medida exterior continua

Demostración:

M(min{h_{1},...,h_{n}}) = | h_{k}·2n+m(x+h_{k},x) | [< ...

... sum[k = 1]-[n][ M(h_{k}) ]

M(max{(-1)·h_{1},...,(-1)·h_{n}}) = | ( (-1)·h_{k}·2n+m(x,x+(-1)·h_{k}) )·i | >] ...

... sum[k = 1]-[n][ M((-1)·h_{k}) ]

M(0) = | 0·2n+m(x+0,x) | = | 0·2n+m(x,x) |  = | 0·2n+0 | = | 0·(2n+1) | = 0 >] 0

[As][ s > 0 ==> M(0) < s ]

M(E) = | ( (-0)·2n+m(x,x+(-0)) ) i | = | ( (-0)·2n+m(x,x) ) i | = ...

... | ( (-0)·2n+0 )·i | = | 0·(2n+1)·i | = (-0) [< 0

[A(-s)][ (-s) < 0 ==> M(E) > (-s) ]



Teorema:

Si M(a+(-x)) = f(a)+(-1)·f(x) ==> M(a+(-x)) es una medida continua x = a

Si M((-a)+(-x)) = f(a)+(-1)·f(-x) ==> M((-a)+(-x)) es una medida continua (-x) = a

Demostración:

a+(-x) = 0 ==> x = a ==> ...

... M(0) = ( f(a)+(-1)·f(a) ) = 0

(-x)+(-a) = (-0) ==> (-x) = a ==> ...

... M(-0) = ( f(a)+(-1)·f(a) ) = (-0)

Sea a [< b ==>

M(b+(-x)) = M(max{b+(-x),a+(-x)}) = M(b+(-x))+M(a+(-x))

<==> 

M(a+(-x)) = 0

Sea (-a) >] (-b) ==>

M((-b)+(-x)) = M(min{(-b)+(-x),(-a)+(-x)}) = M((-b)+(-x))+M((-a)+(-x))

<==>

M((-a)+(-x)) = (-0)

Sea s > 0 ==>

Si x+(-a) = 0 ==> 

x = a ==> 

M(0) = 0 < s

Sea (-s) < 0 ==>

Si x+(-a) = (-0) ==> 

x = a ==>

M(-0) = (-0) > (-s)



Teorema:

Sea B(a+(-x),r) = { r : a+(-x) [< r }

Sea ¬B((-a)+(-x),(-r)) = { (-r) : (-a)+(-x) >] (-r) }

M({a+(-x)}) = f(a)+(-1)·f(x)

M({(-a)+(-x)}) = f(a)+(-1)·f(-x)

Si W({x}) = M( {a+(-x)} [&] B(a+(-x),r) ) ==> ...

... W({x}) es una medida continua en x = a

Si W({(-x)}) = M( {(-x)+(-a)} [&] ¬B((-x)+(-a),(-r)) ) ==> ...

... W({(-x)}) es una medida continua en (-x) = a

Demostración:

a+(-x) = 0 ==> x = a ==> ...

... M({0}) = ( f(a)+(-1)·f(a) ) = 0

(-x)+(-a) = (-0) ==> (-x) = a ==> ...

... M({(-0)}) = ( f(a)+(-1)·f(a) ) = (-0)

Sea a [< b ==>

M({b+(-x)}) = M({ max{b+(-x),a+(-x)} }) = M({b+(-x)})+M({a+(-x)})

<==> 

M({a+(-x)}) = 0

Sea (-a) >] (-b) ==>

M({(-b)+(-x)}) = M({ min{(-b)+(-x),(-a)+(-x)} }) = M({(-b)+(-x)})+M({(-a)+(-x)})

<==> 

M({(-a)+(-x)}) = (-0)

Sea z € {a+(-x)} ==> 

z = a+(-x) ==> 

Se define r = a+(-x) ==>

z = r ==> 

z € B(a+(-x),r)

{a+(-x)} [<< B(a+(-x),r)

W({x}) = M( {a+(-x)} [&] B(a+(-x),r) ) = M({a+(-x)})

Sea s > 0 ==>

Si a+(-x) = 0 ==>

{a+(-x)} = {0}

W({a}) = M({0}) = 0 < s



Definición: [ de medida exterior métrica irregular ]

M(A) es una medida exterior.

m(A,B) > 0

M(¬A) es una medida exterior.

m(¬A,¬B) < 0

Teorema: [ de Caratheodory ]

Sea M(A) una medida exterior.

Sea A >>] B ==>

Si A_{k} = { x€A : m(x,B) > p+(1/k) } ==> ...

... ( M(A) es una medida exterior métrica irregular & lim[k = oo][ M(A_{k}) ] [< M(A)+M(B) )

Sea M(¬A) una medida exterior.

Sea ¬A [<< ¬B ==>

Si ¬A_{k} = { x€¬A : m(x,¬B) < (-p)+(-1)·(1/k) } ==> ...

... ( M(¬A) es una medida exterior métrica irregular & lim[k = oo][ M(¬A_{k}) ] >] M(¬A)+M(¬B) )

Demostración:

m(A,B) = lim[k = oo][ m(A_{k},B) ] > lim[k = oo][ p+(1/k) ] >] p >] 0

lim[k = oo][ M(A_{k}) ] = M(A) = M(A [ || ] B) [< M(A)+M(B)



Definición: [ de medida exterior métrica regular ]

M(A) es una medida exterior.

m(A,B) [< oo 

M(¬A) es una medida exterior.

m(¬A,¬B) >] (-oo)

Teorema: [ de Caratheodory-Garriga ]

Sea M(A) una medida exterior.

Si ( A_{k} = { x€A : m(x,C) [< (1/2)·k } & B_{k} = { x€B : m(x,C) [< (1/2)·k } ) ==> ...

... M(A) es una medida exterior métrica regular

Sea M(¬A) una medida exterior.

Si ( ¬A_{k} = { x€¬A : m(x,¬C) >] (1/2)·(-k) } & ¬B_{k} = { x€¬B : m(x,¬C) >] (1/2)·(-k) } ) ==> ...

... M(¬A) es una medida exterior métrica regular

Demostración:

m(A,B) = lim[k = oo][ m(A_{k},B_{k}) ] [< lim[k = oo][ m(A_{k},C)+m(B_{k},C) ] [< ...

... lim[k = oo][ (1/2)·k+(1/2)·k ] = lim[k = oo][ k ] = oo