Axiomas de ventanista y porterista de exteriores

[EA][ A = { x_{i} : montar(x_{i}) = puerta-exterior } ].

x_{1} = puerta-derecha_{j}

puerta-derecha_{1} = bisagra-derecha(s) = (1/a)·e^{is}

puerta-derecha_{2} = puerta-de-giro-derecha(s,r) = (c/2)·sr^{2}

x_{(-1)} = puerta-izquierda_{j}

puerta-izquierda_{(-1)} = bisagra-izquierda(s) = a·e^{(-i)s}

puerta-izquierda_{(-2)} = puerta-de-giro-izquierda(s,r) = (c/2)·sr^{2}

F(s,r) = (1/a)·e^{is}+a·e^{(-i)s}+(c·s·r^{2})

d_{s}[F(s,r)] = e^{is}·(1/a)·i+e^{(-i)s}·a·(-i)+(c·r^{2})

Si e^{is} = x ==> x^{2}·(1/a)·i+(c·r^{2})·x+a·(-i) = 0

s = (1/i)·ln( ( a/(2i) )( (-1)·(c·r^{2})+( (c^{2}·r^{4})+4·((-i)·i) )^{(1/2)} ) )

[Ef][ ... 

... < f : {puerta-exterior_{x}} ---> {puerta-exterior_{y}} & ...

... puerta-exterior_{x} --> f(puerta-exterior_{x}) = puerta-exterior_{y} > ... 

... ]

[Ef^{o(-1)}][ ...

... < f^{o(-1)} : {puerta-exterior_{y}} ---> {puerta-exterior_{x}} & ...

... puerta-exterior_{y} --> f^{o(-1)}(puerta-exterior_{y}) = puerta-exterior_{x} > ...

... ]

[EA][ A = { x_{i} : montar(x_{i}) = ventana } ].

x_{1} = ventana-derecha_{j}(u,v) = cuv

ventana-derecha_{0} = cristal(x,y) = axy

ventana-derecha_{1} = marco-izquierdo(y) = by & ventana-derecha_{(-1)} = marco-derecho(y) = by

ventana-derecha_{2} = marco-inferior(x) = bx & ventana-derecha_{(-2)} = marco-superior(x) = bx

x_{(-1)} = ventana-izquierda_{j}(u,v) = cuv

ventana-izquierda_{0} = cristal(x,y) = axy

ventana-izquierda_{(-1)} = marco-izquierdo(y) = by & ventana-izquierda_{1} = marco-derecho(y)  = by

ventana-izquierda_{(-2)} = marco-inferior(x) = bx & ventana-izquierda_{2} = marco-superior(x) = bx

x_{(-2)} = marco-exterior-izquierdo(v) = dv & x_{2} = marco-exterior-derecho(v)  = dv

x_{(-3)} = marco-exterior-inferior(u) = du & x_{3} = marco-exterior-superior(u) = du

[Ef][ ... 

... < f : {ventana_{x}} ---> {ventana_{y}} & ...

... ventana_{x} --> f(ventana_{x}) = ventana_{y} > ... 

... ]

[Ef^{o(-1)}][ ...

... < f^{o(-1)} : {ventana_{y}} ---> {ventana_{x}} & ...

... ventana_{y} --> f^{o(-1)}(ventana_{y}) = ventana_{x} > ...

... ]