About: Locally convex topological vector space     Goto   Sponge   Distinct   Permalink

An Entity of Type : owl:Thing, within Data Space : prod-dbpedia.inria.fr associated with source document(s)

AttributesValues
rdfs:label
  • Espace localement convexe (fr)
  • Espaço localmente convexo (pt)
  • Locally convex topological vector space (en)
  • Lokaal convexe topologische vectorruimte (nl)
  • Lokalkonvexer Raum (de)
  • Spazio localmente convesso (it)
  • Локально выпуклое пространство (ru)
rdfs:comment
  • En mathématiques, un espace localement convexe est un espace vectoriel topologique dont la topologie peut être définie à l'aide d'une famille de semi-normes. C'est une généralisation de la notion d'espace normé. (fr)
rdfs:seeAlso
sameAs
Wikipage page ID
Wikipage revision ID
dbo:wikiPageWikiLink
page length (characters) of wiki page
dct:subject
prop-fr:wikiPageUsesTemplate
prov:wasDerivedFrom
prop-fr:contenu
  • Il s'agit de prouver qu'inversement, T ⊂ T . Il suffit pour cela de montrer que tout T-voisinage V de 0 contient un T -voisinage de 0. (fr)
  • * ⇒ (fr)
  • Soient T la topologie de E, supposée vérifier , et T ' celle, moins fine, définie par la famille de toutes les semi-normes sur E continues pour T. (fr)
  • Or pour un tel V, par continuité de l'application ↦ λv, il existe un réel α > 0 et un T-voisinage W de 0, que l'on peut supposer convexe d'après , tels queV contient alors l'ensemble Ω défini parDe plus, Ω est voisinage de 0 , convexe, et équilibré. sa jauge est donc une semi-norme continue sur E, dont la boule de centre 0 et de rayon est par conséquent un T '-voisinage de 0. Or cette boule est incluse dans Ω, donc dans V. (fr)
  • En effet toute semi-norme p sur E est une fonction convexe et donc pour tout R > 0, l'ensemble des x de E vérifiant p < R est convexe. * ⇒ (fr)
prop-fr:titre
  • Démonstration de l'équivalence des deux définitions (fr)
foaf:isPrimaryTopicOf
has abstract
  • En mathématiques, un espace localement convexe est un espace vectoriel topologique dont la topologie peut être définie à l'aide d'une famille de semi-normes. C'est une généralisation de la notion d'espace normé. (fr)
is dbo:wikiPageWikiLink of
Faceted Search & Find service v1.16.111 as of Oct 19 2022


Alternative Linked Data Documents: ODE     Content Formats:   [cxml] [csv]     RDF   [text] [turtle] [ld+json] [rdf+json] [rdf+xml]     ODATA   [atom+xml] [odata+json]     Microdata   [microdata+json] [html]    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 07.20.3234 as of May 18 2022, on Linux (x86_64-ubuntu_bionic-linux-gnu), Single-Server Edition (39 GB total memory, 5 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software