Powered by OpenAIRE graph
Found an issue? Give us feedback
image/svg+xml art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos Open Access logo, converted into svg, designed by PLoS. This version with transparent background. http://commons.wikimedia.org/wiki/File:Open_Access_logo_PLoS_white.svg art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos http://www.plos.org/ Electronic Notes in ...arrow_drop_down
image/svg+xml art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos Open Access logo, converted into svg, designed by PLoS. This version with transparent background. http://commons.wikimedia.org/wiki/File:Open_Access_logo_PLoS_white.svg art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos http://www.plos.org/
Electronic Notes in Theoretical Computer Science
Article . 2006 . Peer-reviewed
License: CC BY NC ND
Data sources: Crossref
image/svg+xml art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos Open Access logo, converted into svg, designed by PLoS. This version with transparent background. http://commons.wikimedia.org/wiki/File:Open_Access_logo_PLoS_white.svg art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos http://www.plos.org/
image/svg+xml art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos Open Access logo, converted into svg, designed by PLoS. This version with transparent background. http://commons.wikimedia.org/wiki/File:Open_Access_logo_PLoS_white.svg art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos http://www.plos.org/
image/svg+xml art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos Open Access logo, converted into svg, designed by PLoS. This version with transparent background. http://commons.wikimedia.org/wiki/File:Open_Access_logo_PLoS_white.svg art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos http://www.plos.org/
DBLP
Conference object
Data sources: DBLP
versions View all 4 versions
addClaim

The Dual Complexity Space as the Dual of a Normed Cone

Authors: Salvador Romaguera; Enrique Alfonso Sánchez-Pérez; Óscar Valero;

The Dual Complexity Space as the Dual of a Normed Cone

Abstract

AbstractIn [M. Schellekens, The Smyth completion: A common foundation for denotational semantics and complexity analysis, in: Proc. MFPS 11, Electronic Notes in Theoretical Computer Science, vol. 1 (1995), 23 pages] M. Schellekens introduced the complexity (quasi-metric) space as a part of the research in Theoretical Computer Science and Topology, with applications to the complexity analysis of algorithms. Later on, S. Romaguera and M. Schellekens ([S. Romaguera, M. Schellekens, Quasi-metric properties of complexity spaces, Topology Appl. 98 (1999), 311–322]) introduced the so-called dual complexity (quasi-metric) space and established several quasi-metric properties of the complexity space via the analysis of th e dual. These authors also proved in [S. Romaguera, M. Schellekens, Duality and quasi-normability for complexity spaces, Appl. Gen. Topology 3 (2002), 91–112] that actually the dual complexity space C∗ can be modeled as a norm-weightable cone whose induced quasi-metric is Smyth complete. This fact suggests the existence of deep connections between a general theory of (dual) complexity spaces and Asymmetric Functional Analysis. These connections have been recently explored in [L.M. Garcá-Raffi, S. Romaguera, E.A. Sánchez-Pérez, Sequence spaces and asymmetric norms in the theory of compuational complexity, Math. Comput. Model 36 (2002), 1–11], [L.M. Garcá-Raffi, S. Romaguera, E.A. Sánchez-Pérez, The supremum asymmetric norm on sequence spaces: a general framework to measure complexity distances, in: Proceedings of the Second Irish Conference on the Mathematical Foundations of Computer Science and Information Technology (MFCSIT 2002), Galway, Ireland, July 2002; Electronic Notes in Theoret. Comput. Sci. 74 (2003), URL: http://www.elsevier.nl/locate/entcs/volume74.htm 12 pages] and [M. O'Keefe, S. Romaguera, M. Schellekens, Norm-weightable Riesz spaces and the dual complexity space, in: Proceedings of the Second Irish Conference on the Math ematical Foundations of Computer Science and Information Technology (MFCSIT 2002), Galway, Ireland, July 2002; Electronic Notes in Theoret. Comput. Sci. 74 (2003), URL: http://www.elsevier.nl/locate/entcs/volume74.htm 17 pages]. In particular, it was proved in [L.M. Garcá-Raffi, S. Romaguera, E.A. Sánchez-Pérez, Sequence spaces and asymmetric norms in the theory of compuational complexity, Math. Comput. Model 36 (2002), 1–11] that the so-called dual p-complexity space Cp∗, with 1⩽p<∞, is isometrically isomorphic to the positive cone of the classical Banach space lp. The space C1∗ is exactly the dual complexity space, and thus it is isometrically isomorphic to the positive cone of the Banach space l1 of all absolutely summable real sequences. Here, we continue the analysis of the structure of the dual complexity space C∗. We show that it is the dual space of the positive c one of the Banach space c0 of all real sequences converging to zero, and that its dual space is the positive cone of the Banach space l∞ of all bounded real sequences. Furthermore, the dual space of Cp∗, 1

Keywords

Complexity, Theoretical Computer Science, Computer Science(all)

  • BIP!
    Impact byBIP!
    selected citations
    These citations are derived from selected sources.
    This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
    8
    popularity
    This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.
    Average
    influence
    This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
    Top 10%
    impulse
    This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.
    Top 10%
Powered by OpenAIRE graph
Found an issue? Give us feedback
selected citations
These citations are derived from selected sources.
This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
BIP!Citations provided by BIP!
popularity
This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.
BIP!Popularity provided by BIP!
influence
This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
BIP!Influence provided by BIP!
impulse
This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.
BIP!Impulse provided by BIP!
8
Average
Top 10%
Top 10%
gold