It is known that the only finite-dimensional diffeological vector space that admits a diffeologically smooth scalar product is the standard space of appropriate dimension. In this note we consider a way to dispense with this issue, by introducing a notion of pseudo-metric, which, said informally, is the least-degenerate symmetric bilinear form on a given space. We apply this notion to make some observation on subspaces which split off as smooth direct summands (providing examples which illustrate that not all subspaces do), and then to show that the diffeological dual of a finite-dimensional diffeological vector space always has the standard diffeology and in particular, any pseudo-metric on the initial space induces, in the obvious way, a smooth scalar product on the dual.

On the notion of scalar product for finite-dimensional diffeological vector spaces

PERVOVA, EKATERINA
2018-01-01

Abstract

It is known that the only finite-dimensional diffeological vector space that admits a diffeologically smooth scalar product is the standard space of appropriate dimension. In this note we consider a way to dispense with this issue, by introducing a notion of pseudo-metric, which, said informally, is the least-degenerate symmetric bilinear form on a given space. We apply this notion to make some observation on subspaces which split off as smooth direct summands (providing examples which illustrate that not all subspaces do), and then to show that the diffeological dual of a finite-dimensional diffeological vector space always has the standard diffeology and in particular, any pseudo-metric on the initial space induces, in the obvious way, a smooth scalar product on the dual.
2018
Pervova, Ekaterina
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11568/750560
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 3
  • ???jsp.display-item.citation.isi??? 3
social impact