Técnicas en análisis lineal (y no lineal) y aplicaciones

La presente tesis est a centrada en dos temas principales: el primero abarca el primer cap tulo y el segundo se divide entre los cap tulos dos y tres. En el primer cap tulo estudio un problema que apareci o como tal hace relativamente poco tiempo (aunque ya en la segunda mitad del pasado siglo se publicaron una serie de resultados que, con la terminolog a adecuada, estar an englobados dentro de esta teor a). Nos interesaremos en la b usqueda de estructuras algebraicas (como espacios vectoriales, algebras, espacios de Banach) contenidas en subconjuntos de funciones cuyos elementos (con la posible excepci on del elemento nulo) veri can ciertas propiedades anti-intuitivas (propiedades de dif cil visualizaci on). Ello nos puede conducir a la idea de c omo la intuci on puede enga~narnos, y sugerir que, aunque se haya dedicado una ingente cantidad de esfuerzo y tiempo para encontrar un unico ejemplo que veri que tales propiedades, y dicho trabajo pueda dar la idea de que no existen muchos m as espec menes de similares caracter sticas, de hecho existen ejemplares su cientes como para construir espacios \grandes" cuyos elementos (salvo el cero) satisfacen las mismas propiedades. M as espec camente, decimos que un subconjunto de un espacio vectorial topol ogico es -lineable (dado un numero cardinal ) si podemos garantizar la existencia de un espacio vectorial de dimensi on contenido en el conjunto (uni on el elemento cero, en caso de que cero no forme parte del conjunto de partida). Si el espacio vectorial es cerrado, nos referiremos a este conjunto como - espaciable (y la propiedad que trataremos ser a la de -espaciabilidad) y si la estructura en cuesti on es un algebra de Banach, entonces diremos que el conjunto es ( ; )-algebrable (donde aqu es la cardinalidad de un conjunto minimal de generadores del algebra)...

Branching bisimulation games.

Branching bisimilarity and branching bisimilarity with explicit divergences are typically used in process algebras with silent steps when relating implementations to specifications. When an implementation fails to conform to its specification, i.e., when both are not related by branching bisimilarity [with explicit divergence], pinpointing the root causes can be challenging. In this paper, we provide characterisations of branching bisimilarity [with explicit divergence] as games between Spoiler and Duplicator, offering an operational understanding of both relations. Moreover, we show how such games can be used to assist in diagnosing non-conformance between implementation and specification.