This HTML5 document contains 38 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
n4http://g.co/kg/g/
dcthttp://purl.org/dc/terms/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
dbpedia-eshttp://es.dbpedia.org/resource/
rdfshttp://www.w3.org/2000/01/rdf-schema#
category-frhttp://fr.dbpedia.org/resource/Catégorie:
n6http://fr.dbpedia.org/resource/Modèle:
wikipedia-frhttp://fr.wikipedia.org/wiki/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
dbpedia-frhttp://fr.dbpedia.org/resource/
prop-frhttp://fr.dbpedia.org/property/
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
dbrhttp://dbpedia.org/resource/
dbpedia-jahttp://ja.dbpedia.org/resource/

Statements

Subject Item
dbpedia-fr:Corps_valué
rdfs:label
Valued field 付値体 Corps valué
rdfs:comment
En mathématiques, un corps valué est un corps K muni d'une valeur absolue . Celle-ci détermine sur K une structure d'espace métrique définie par la distance invariante , et K, muni de la topologie métrisable ainsi définie, est un corps topologique. Par exemple, toute valuation à valeurs réelles sur K permet de définir une valeur absolue sur K (la réciproque n'est vraie que pour les valeurs absolues ultramétriques). Pour cette raison, certains auteurs[Qui ?][réf. souhaitée] appellent corps valué tout corps muni d'une valuation. L'anneau complété d'un corps valué est un corps valué. Démonstration
owl:sameAs
n4:121m2p15 dbpedia-ja:付値体 dbpedia-es:Cuerpo_valorado dbr:Valued_field wikidata:Q2997822
dbo:wikiPageID
10309
dbo:wikiPageRevisionID
172545490
dbo:wikiPageWikiLink
dbpedia-fr:Fonction_Cauchy-continue dbpedia-fr:Application_(mathématiques) dbpedia-fr:Anneau_topologique category-fr:Anneau dbpedia-fr:Valeur_absolue_ultramétrique dbpedia-fr:Valeur_absolue dbpedia-fr:Mathématiques category-fr:Structure_algébrique dbpedia-fr:Application_lipschitzienne dbpedia-fr:Espace_séparé dbpedia-fr:Espace_métrisable dbpedia-fr:Théorème_d'Ostrowski dbpedia-fr:Topologie_discrète dbpedia-fr:Espace_métrique dbpedia-fr:Valuation
dbo:wikiPageLength
2693
dct:subject
category-fr:Anneau category-fr:Structure_algébrique
prop-fr:wikiPageUsesTemplate
n6:Références n6:Portail n6:Démonstration n6:Palette n6:Qui n6:Référence_souhaitée
prov:wasDerivedFrom
wikipedia-fr:Corps_valué?oldid=172545490&ns=0
foaf:isPrimaryTopicOf
wikipedia-fr:Corps_valué
dbo:abstract
En mathématiques, un corps valué est un corps K muni d'une valeur absolue . Celle-ci détermine sur K une structure d'espace métrique définie par la distance invariante , et K, muni de la topologie métrisable ainsi définie, est un corps topologique. Par exemple, toute valuation à valeurs réelles sur K permet de définir une valeur absolue sur K (la réciproque n'est vraie que pour les valeurs absolues ultramétriques). Pour cette raison, certains auteurs[Qui ?][réf. souhaitée] appellent corps valué tout corps muni d'une valuation. La topologie d'un corps valué est discrète si, et seulement si la valeur absolue est triviale, c'est-à-dire issue de la valuation triviale. L'anneau complété d'un corps valué est un corps valué. Démonstration Soient un corps muni d'une distance associée à une valuation et l'anneau complété. Par prolongement des identités, est invariante par translations et l'application (qui prolonge ) est une valuation sur . L'application est -lipschitzienne sur pour tout . Elle s'étend donc continûment en une application définie sur .