Topology via enriched categories

Having as a starting point the characterization of probabilistic metric spaces as enriched categories over the quantale , conditions that allow the generalization of results relating Cauchy sequences, convergence of sequences, adjunctions of V-distributors and its representability are established. Equivalence between L-completeness and L-injectivity is also established. L-completeness is characterized via the Yoneda embedding, and injectivity is related with exponentiability. Another kind of completeness is considered and the formal ball model is analyzed.

Besov spaces and the Laplacian on fractal H-sets

Nesta tese são estudados espaços de Besov de suavidade generalizada em espaços euclidianos, numa classe de fractais designados conjuntos-h e em estruturas abstractas designadas por espaços-h. Foram obtidas caracterizações e propriedades para estes espaços de funções. Em particular, no caso de espaços de Besov em espaços euclidianos, foram obtidas caracterizações por diferenças e por decomposições em átomos não suaves, foi provada uma propriedade de homogeneidade e foram estudados multiplicadores pontuais. Para espaços de Besov em conjuntos-h foi obtida uma caracterização por decomposições em átomos não suaves e foi construído um operador extensão. Com o recurso a cartas, os resultados obtidos para estes espaços de funções em fractais foram aplicados para definir e trabalhar com espaços de Besov de suavidade generalizada em estruturas abstractas. Nesta tese foi também estudado o laplaciano fractal, considerado a actuar em espaços de Besov de suavidade generalizada em domínios que contêm um conjunto-h fractal. Foram obtidos resultados no contexto de teoria espectral para este operador e foi estudado, à custa deste operador, um problema de Dirichlet fractal no contexto de conjuntos-h.

Convex Quadratic Programming Approach to the Maximum Matching Problem

The problem of determining a maximum matching or whether there exists a perfect matching, is very common in a large variety of applications and as been extensively studied in graph theory. In this paper we start to introduce a characterisation of a family of graphs for which its stability number is determined by convex quadratic programming. The main results connected with the recognition of this family of graphs are also introduced. It follows a necessary and sufficient condition which characterise a graph with a perfect matching and an algorithmic strategy, based on the determination of the stability number of line graphs, by convex quadratic programming, applied to the determination of a perfect matching. A numerical example for the recognition of graphs with a perfect matching is described. Finally, the above algorithmic strategy is extended to the determination of a maximum matching of an arbitrary graph and some related results are presented.

Implicit optimality criterion for convex SIP problem with box constrained index set

We consider a convex problem of Semi-Infinite Programming (SIP) with multidimensional index set. In study of this problem we apply the approach suggested in [20] for convex SIP problems with one-dimensional index sets and based on the notions of immobile indices and their immobility orders. For the problem under consideration we formulate optimality conditions that are explicit and have the form of criterion. We compare this criterion with other known optimality conditions for SIP and show its efficiency in the convex case.