About: dbpedia-fr:Lemme_de_Cousin     Goto   Sponge   NotDistinct   Permalink

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

AttributesValues
rdfs:label
  • Lemme de Cousin (fr)
  • クザンの定理 (ja)
rdfs:comment
  • En mathématiques, le lemme de Cousin (du nom du mathématicien français Pierre Cousin) est une propriété de la droite réelle équivalente à l'existence de la borne supérieure pour les parties non vides et majorées de ℝ. Il joue un rôle important dans l'intégrale de Kurzweil-Henstock, mais permet également de démontrer directement des théorèmes d'analyse. (fr)
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
  • Ces deux démonstrations s'appuient sur la propriété de la borne supérieure. ; :Considérons l'ensemble C des réels y éléments de [a, b] tels que le segment [a, y] possède une subdivision marquée δ-fine. L'ensemble C est non vide et majoré . Il admet donc une borne supérieure c. Comme c – δ est strictement inférieur à c, il minore un élément d de C. Le segment [a, d] possède alors une subdivision marquée δ-fine. Si d < c, on joint à cette subdivision l'intervalle [d, c] marqué par c ; si (fr)
  • on pourrait rajouter également l'intervalle [c, e] marqué par c, ce qui donnerait une subdivision marquée δ-fine de [a, e], impliquant que e appartient à C et contredisant la maximalité de c. ;Seconde méthode :Raisonnons par l'absurde en supposant que n'a pas de subdivision marquée -fine , puis par dichotomie. Si les deux segments et en avaient chacun une, en les juxtaposant, on en aurait une pour . Donc l'un au moins des deux n'en a pas. On peut ainsi définir par récurrence deux suites dans , croissante et décroissante, telles que et qu'aucun des segments n'ait de subdivision marquée -fine. Soit la limite commune de ces deux suites adjacentes. En considérant marqué par , avec assez grand pour que , on obtient une contradiction. (fr)
  • d = c, (fr)
  • e – c ≤ δ, (fr)
  • on ne fait rien. Dans les deux cas, on obtient une subdivision marquée δ-fine de [a, c], ce qui prouve que c est élément de C. Il en résulte que c = b : sinon, en choisissant dans [a, b] un élément e > c tel que (fr)
prop-fr:titre
  • Démonstrations (fr)
foaf:isPrimaryTopicOf
named after
has abstract
  • En mathématiques, le lemme de Cousin (du nom du mathématicien français Pierre Cousin) est une propriété de la droite réelle équivalente à l'existence de la borne supérieure pour les parties non vides et majorées de ℝ. Il joue un rôle important dans l'intégrale de Kurzweil-Henstock, mais permet également de démontrer directement des théorèmes d'analyse. (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, 4 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2025 OpenLink Software