Guirao Sánchez, Antonio José, Universitat Politècnica de València. Departamento de Matemática Aplicada - Departament de Matemàtica Aplicada, Agencia Estatal de Investigación, Aliaga Varea, Ramón José, Guirao Sánchez, Antonio José, Universitat Politècnica de València. Departamento de Matemática Aplicada - Departament de Matemàtica Aplicada, Agencia Estatal de Investigación, and Aliaga Varea, Ramón José
[ES] Los espacios libres Lipschitz F(M) son linearizaciones canónicas de espacios métricos M cualesquiera. Más concretamente, F(M) es el único espacio de Banach que contiene una copia isométrica de M que es linearmente densa, y tal que toda aplicación Lipschitz de M en cualquier espacio de Banach X puede extenderse a un operador linear continuo de F(M) en X. Estos espacios suponen una herramienta muy potente para el estudio de la geometría no lineal de espacios de Banach, al permitir la aplicación de las técnicas lineales clásicas, bien conocidas, a problemas no lineales. Pero este esfuerzo sólo merece la pena si se dispone de un conocimiento lo bastante detallado de la estructura de F(M). El estudio sistemático de los espacios libres Lipschitz es bastante reciente y, por ello, dicho conocimiento es todavía más bien limitado. Esta tesis se enmarca en el programa general de estudio de la estructura espacios libres Lipschitz genéricos. Empezamos nuestro estudio desarrollando algunas herramientas básicas para la teoría general de espacios libres Lipschitz. Primero definimos operadores de ponderación en espacios Lipschitz y los usamos para demostrar la conjetura de Weaver de que todos los funcionales normales del bidual F(M)** son débil* continuos. A continuación demostramos el teorema de la intersección, que en esencia dice que la intersección de espacios libres Lipschitz es de nuevo un espacio libre Lipschitz. Este resultado nos permite desarrollar el concepto de soporte de un elemento de F(M), análogo al de soporte de una medida. Además, extendemos el uso de estas herramientas al bidual F(M) y las usamos para establecer una descomposición del bidual en espacios de funcionales que están "concentrados en el infinito" y "separados del infinito", respectivamente. Con estas herramientas en nuestro poder, emprendemos el estudio de dos aspectos concretos de los espacios libres Lipschitz. En primer lugar analizamos la relación entre F(M) y los espacios de medidas sobre M. En, [CA] Els espais lliures Lipschitz F(M) són linearitzacions canòniques d'espais mètrics M qualssevol. Més concretament, F(M) és l'únic espai de Banach que conté una còpia isomètrica de M que és linealment densa, i tal que tota aplicació Lipschitz de M en qualsevol espai de Banach X pot ser estesa a un operador lineal continu de F(M) en X. Aquests espais són una eina molt potent per a l'estudi de la geometria no lineal d'espais de Banach, ja que permeten l'aplicació de les tècniques lineals clàssiques, ben conegudes, a problemes no lineals. Però aquest esforç nomes val la pena si es disposa d'un coneixement bastant detallat de l'estructura de F(M). L'estudi sistemàtic dels espais lliures Lipschitz és bastant recent i, per això, aquest coneixement és encara prou limitat. Aquesta tesi s'emmarca en el programa general d'estudi de l'estructura dels espais lliures Lipschitz genèrics. Comencem el nostre estudi desenvolupant algunes eines bàsiques per a la teoria general d'espais lliures Lipschitz. Primer definim operadors de ponderació en espais Lipschitz i els fem servir per demostrar la conjectura de Weaver que tots els funcionals normals del bidual F(M)** son feble* continus. A continuació demostrem el teorema de la intersecció, que en essència diu que la intersecció d'espais lliures Lipschitz és de nou un espai lliure Lipschitz. Aquest resultat ens permet desenvolupar el concepte de suport d'un element de F(M), anàleg al de suport d'una mesura. A més, estenem l'ús d'aquestes eines al bidual F(M)** i les fem servir per establir una descomposició del bidual en espais de funcionals que estan "concentrats a l'infinit" i "separats de l'infinit", respectivament. Amb aquestes eines al nostre abast, emprenem l'estudi de dos aspectes concrets dels espais lliures Lipschitz. En primer lloc, analitzem la relació entre F(M) i els espais de mesures sobre M. En particular, obtenim caracteritzacions dels elements de F(M) que poden representar-se com la integració respecte a una mesura, [EN] Lipschitz-free spaces F(M) are canonical linearizations of arbitrary complete metric spaces M. More specifically, F(M) is the unique Banach space that contains an isometric copy of M that is linearly dense, and such that any Lipschitz mapping from M into some Banach space X extends to a bounded linear operator from F(M) into X. Those spaces are a very powerful tool for studies of the nonlinear geometry of Banach spaces, as they allow the application of well-known classical linear techniques to nonlinear problems. But this effort is only worthwhile if we have sufficient knowledge about the structure of F(M). The systematic study of Lipschitz-free spaces is rather recent and so the current understanding of their structure is still quite limited. This thesis is framed within the general program of studying the structure of general Lipschitz-free spaces. We start our study by developing some basic tools for the general theory of Lipschitz-free spaces. First we introduce weighting operators and use them to solve Weaver's conjecture that all normal functionals in the bidual F(M)** are weak* continuous. Next we prove the intersection theorem, which essentially says that the intersection of Lipschitz-free spaces is again a Lipschitz-free space. That result allows us to develop the concept of support of an element of F(M), analogous to the support of a measure. Furthermore, we extend the use of these tools to the bidual F(M)** and apply them to establish a decomposition of the bidual into spaces of functionals that are "concentrated at infinity" and "separated from infinity", respectively. With these tools at our disposal, we undertake the study of two particular aspects of Lipschitz-free spaces. First we analyze the relationship between F(M) and spaces of measures on M. In particular, we obtain characterizations of those elements of F(M) that can be represented as integration against a (not necessarily finite) Borel measure on M and vice versa, and we show that their s