Some new results of completion t^ω- Normed approach space

In this paper , the completion of t^ω-approach spaces, isometric in t^ω-approach space and equivalent sequences are defined. Every t^ω-approach normed space can be embedded in t^ω-approach Banach space is proved, χ ̃ and an isometry ψ from χ onto the subspace F of χ ̃ which is dense in χ ̃ are introduced, as well as, the completion is shown an uniquely up to an isometry. In addition, to what is mentioned above, some essential definitions, examples, and important theorems are included to illustrate some of our work

The bicompletion of fuzzy quasi-metric spaces

Extending the well-known result that every fuzzy metric space, in the sense of Kramosil and Michalek, has a completion which is unique up to isometry, we show that every KM-fuzzy quasi-metric space has a bicompletion which is unique up to isometry, and deduce that for each KM-fuzzy quasi-metric space, the completion of its induced fuzzy metric space coincides with the fuzzy metric space induced by its bicompletion. © 2010 Elsevier B.V.Supported by the Spanish Ministry of Science and Innovation, under Grant MTM2009-12872-C02-01.Castro Company, F.; Romaguera Bonilla, S.; Tirado Peláez, P. (2011). The bicompletion of fuzzy quasi-metric spaces. Fuzzy Sets and Systems. 166(1):56-64. https://doi.org/10.1016/j.fss.2010.12.004S5664166

Fuzzy Quasi-Metric Spaces: Bicompletion, Contractions on Product Spaces, and Applications to Access Predictions

Desde que L.A. Zadeh presentó la teoría de conjuntos difusos en 1965, esta se ha usado en una amplia serie de áreas de las matemáticas y se ha aplicado en una gran variedad de escenarios de la vida real. Estos escenarios cubren procesos complejos sin modelo matemático sencillo tales como dispositivos de control industrial, reconocimiento de patrones o sistemas que gestionen información imprecisa o altamente impredecible. La topología difusa es un importante ejemplo de uso de la teoría de L.A. Zadeh. Durante años, los autores de este campo han buscado obtener la definición de un espacio métrico difuso para medir la distancia entre elementos según grados de proximidad. El presente trabajo trata acerca de la bicompletación de espacios casi-métricos difusos en el sentido de Kramosil y Michalek. Sherwood probó que todo espacio métrico difuso admite completación que es única excepto por isometría basándose en propiedades de la métrica de Lévy. Probamos aquí que todo espacio casi-métrico difuso tiene bicompletación usando directamente el supremo de conjuntos en [0,1] y límites inferiores de secuencias en [0,1] en lugar de usar la métrica de Lévy. Aprovechamos tanto la bicompletitud y bicompletación de espacios casi-métricos difusos como las propiedades de los espacios métricos difusos y difusos intuicionistas para presentar varias aplicaciones a problemas del campo de la informática. Así estudiamos la existencia y unicidad de solución para las ecuaciones de recurrencia asociadas a ciertos algoritmos formados por dos procedimientos recursivos. Para analizar su complejidad aplicamos el principio de contracción de Banach tanto en un producto de casi-métricas no-Arquimedianas en el dominio de las palabras como en la casi-métrica producto de dos espacios de complejidad casi-métricos de Schellekens. Estudiamos también una aplicación de espacios métricos difusos a sistemas de información basados en localidad de accesos.Castro Company, F. (2010). Fuzzy Quasi-Metric Spaces: Bicompletion, Contractions on Product Spaces, and Applications to Access Predictions [Tesis doctoral no publicada]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/8420Palanci

Hyperspace of a fuzzy quasi-uniform space

[EN] The aim of this paper is to present a fuzzy counterpart method of constructing the Hausdorff quasi-uniformity of a crisp quasi-uniformity. This process, based on previous works due to Morsi [25] and Georgescu [9], allows to extend probabilistic and Hutton [0, 1]-quasi-uniformities on a set X to its power set. In this way, we obtain an endofunctor for each one of the categories of those objects. We will demonstrate the commutativity of these endofunctors with Lowen and Katsaras' functors. Furthermore, we will prove the compatibility of our construction with the Hausdorff fuzzy quasi-pseudometric introduced in [33].The second author is supported by the grant MTM2015-64373-P (MINECO/FEDER, UE). The authors are grateful to the reviewers for useful comments which have improved the first version of the paperPedraza Aguilera, T.; Rodríguez López, J. (2020). Hyperspace of a fuzzy quasi-uniform space. Iranian Journal of Fuzzy Systems. 17(2):97-114. https://doi.org/10.22111/IJFS.2020.5222S9711417

On Doitchinov's quietness for arbitrary quasi-uniform spaces

The notion of a quiet quasi-uniform space was introduced by Doitchinov in1988 when he developed an interesting completion theory for this class ofquasi-uniform spaces. At the same time Doitchinov developed a similar com-pletion theory for a class of T0-balanced quasi-pseudometric spaces.In my Masters thesis I showed that the Doitchinov completion theory forbalanced quasi-pseudometric spaces can be extended to arbitrary T0-quasi-pseudometric spaces. That completion was called the B-completion.The principal aim of this thesis is to investigate whether the Doitchinov com-pletion theory for quiet quasi-uniform space can be extended to arbitraryT0-quasi-uniform spaces. The main result in this thesis is negative and leadsus to conclude that Doitchinov's completion theory for quiet quasi-uniformspaces cannot be fully extended to arbitrary quasi-uniform spaces, becauseinvestigations due to De¶ak indicate that no suitable concept of a quiet Cauchy¯lter pair exists which could replace the quasi-pseudometric concept of a bal-anced Cauchy ¯lter pair in the quasi-uniform setting. Under these circum-stances we therefore suggest that in an arbitrary quasi-uniform space, weshould work with a nonempty subbasic family of quasi-pseudometrics and anappropriate concept of balancedness of Cauchy ¯lter pairs with respect tothat family. In this way we obtain a general theory of the B-completion fora subbasic T0-family of quasi-pseudometrics that can be applied to the studyof any quasi-uniform space

Fuzzy quasi-metric spaces

[EN] We generalize the notions of fuzzy metric by Kramosil and Michalek, and by George and Veeramani to the quasi-metric setting.We show that every quasi-metric induces a fuzzy quasi-metric and ,conversely, every fuzzy quasi-metric space generates a quasi-metrizable topology. Other basic properties are discussed.The authors acknowledge the support of Generalitat Valenciana, grant GRUPOS 03/027Gregori, V.; Romaguera, S. (2004). Fuzzy quasi-metric spaces. Applied General Topology. 5(1):129-136. https://doi.org/10.4995/agt.2004.2001SWORD1291365

On balancedness and D-Completeness of the space of Semi-lipschitz functions

Let (X, d) be a quasi-metric space and (Y, q) be a quasi-normed linear space. We show that the normed cone of semi-Lipschitz functions from (X, d) to (Y, q) that vanish at a point x0 E X, is balanced. Moreover, it is complete in the sense of D. Doitchinov whenever (Y, q) is a biBanach spac

Asymmetric Norms and the dual complexity spaces

Desde el punto de vista de la Ciencia de la Computación, un avance reciente lo ha constituido el establecimiento de un modelo matemático que da cuenta de la distancia entre algoritmos y programas, cuando estos son analizados desde la óptica de la complejidad computacional, entendiendo por complejidad, por ejemplo, la medida del tiempo de computación. En la última década se han llevado a cabo notables esfuerzos para elaborar una teoría matemática robusta que goce, en cierta medida, de buenas propiedades y constituya una herramienta que, en este contexto, juegue un papel análogo al que los espacios vectoriales normados han desempeñado en diversos ámbitos de la ciencia y la tecnología. En el caso de la complejidad computacional, se demuestra que un modelo muy satisfactorio lo constituye el de los espacios vectoriales dotados de una norma asimétrica. En esta tesis, realizamos un estudio general de las propiedades de estos espacios, en analogía con las propiedades que clásicamente se estudian en los espacios vectoriales normados. Así, hemos estudiado las propiedades de separación de los espacios vectoriales de norma asimétrica, obteniendo una caracterización de aquellos espacios que son Hausdorff; hemos obtenido una teoría satisfactoria de la bicompletación de dichos espacios; también hemos realizado un estudio de la compacidad cuando el espacio vectorial tiene dimensión finita; hemos determinado condiciones bajo las cuales una norma asimétrica definida en un conjunto algebraicamente cerrado de un espacio vectorial puede ser extendida a todo el espacio y hemos analizado la estructura del espacio dual y las topologías débiles asociadas. Por último, hemos aplicado los resultados obtenidos al campo de la Ciencia de la Computación, más concretamente a los Espacios de Complejidad Dual.García Raffi, LM. (2003). Asymmetric Norms and the dual complexity spaces [Tesis doctoral no publicada]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/2666Palanci