Pith. sign in

REVIEW 1 cited by

Index of symmetry and topological classification of asymmetric normed spaces

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2002.10166 v2 pith:YEN4SCQW submitted 2020-02-24 math.FA

classification math.FA
keywords normedspaceasymmetricindexspacesclassificationeverysymmetry
verification ladder T0 review T1 audit T2 compute T3 formal

Signed reviews

No signed human review yet.

0 comments
abstract

Let X, Y be asymmetric normed spaces and Lc(X, Y) the convex cone of all linear continuous operators from X to Y. It is known that in general, Lc(X, Y) is not a vector space. The aim of this note is to prove, using the Baire category theorem, that if Lc(X, Y) is a vector space for some asymmetric normed space Y , then X is isomorphic to its associated normed space (the converse is true for every asymmetric normed space Y and is easy to establish). For this, we introduce an index of symmetry of the space X denoted c(X) $\in$ [0, 1] and we give the link between the index c(X) and the fact that Lc(X, Y) is in turn an asymmetric normed space for every asymmetric normed space Y. Our study leads to a topological classification of asymmetric normed spaces.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Implicit Rankings for Verifying Liveness Properties in First-Order Logic

    cs.LO 2024-12 conditional novelty 7.0 of 10

    Implicit rankings let SMT solvers verify liveness with first-order approximations of ranking functions, and the authors use them on Dijkstra's k-state, 4-state, and 3-state self-stabilizing protocols.

Pith tools