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

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

Namespace Prefixes

PrefixIRI
dcthttp://purl.org/dc/terms/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n17http://g.co/kg/m/
rdfshttp://www.w3.org/2000/01/rdf-schema#
category-frhttp://fr.dbpedia.org/resource/Catégorie:
n4http://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#
n15http://ma-graph.org/entity/
dbpedia-frhttp://fr.dbpedia.org/resource/
prop-frhttp://fr.dbpedia.org/property/
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
dbrhttp://dbpedia.org/resource/
wikidatahttp://www.wikidata.org/entity/
dbpedia-jahttp://ja.dbpedia.org/resource/

Statements

Subject Item
dbpedia-fr:Lemme_de_Cousin
rdfs:label
Lemme de Cousin クザンの定理
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.
owl:sameAs
wikidata:Q2375785 dbpedia-ja:クザンの定理 n15:2776183439 dbr:Cousin's_theorem n17:0b6hbwy
dbo:wikiPageID
3579343
dbo:wikiPageRevisionID
187564436
dbo:wikiPageWikiLink
dbpedia-fr:Continuité_uniforme dbpedia-fr:Propriété_de_la_borne_supérieure dbpedia-fr:Intégration_(mathématiques) dbpedia-fr:Fonction_constante dbpedia-fr:Valeur_d'adhérence category-fr:Analyse_réelle dbpedia-fr:Application_lipschitzienne category-fr:Théorie_de_l'intégration category-fr:Théorème_de_compacité dbpedia-fr:France dbpedia-fr:Pierre_Cousin_(mathématicien) dbpedia-fr:Absolue_continuité dbpedia-fr:Plan_complexe dbpedia-fr:Ensemble_dénombrable dbpedia-fr:Théorème_de_relèvement dbpedia-fr:Émile_Borel dbpedia-fr:Nombre_réel dbpedia-fr:Ensemble_négligeable dbpedia-fr:Suite_définie_par_récurrence dbpedia-fr:Théorème_de_Borel-Lebesgue dbpedia-fr:Raisonnement_par_l'absurde dbpedia-fr:Analyse_réelle dbpedia-fr:Théorème_de_Bolzano-Weierstrass dbpedia-fr:Subdivision_d'un_intervalle dbpedia-fr:Dérivée dbpedia-fr:Corps_ordonné dbpedia-fr:Partie_imaginaire dbpedia-fr:Théorème_des_accroissements_finis category-fr:Lemme_de_mathématiques dbpedia-fr:Cercle_unité dbpedia-fr:Nombre_complexe dbpedia-fr:Arc_cosinus dbpedia-fr:Entier_naturel dbpedia-fr:Intégrale_de_Riemann dbpedia-fr:Intégrale_de_Kurzweil-Henstock dbpedia-fr:Henri-Léon_Lebesgue dbpedia-fr:Intégrale_de_Lebesgue dbpedia-fr:Théorème_d'interversion_série-intégrale dbpedia-fr:Convergence_uniforme dbpedia-fr:Théorème_des_valeurs_extrêmes dbpedia-fr:Fonction_de_Dirichlet dbpedia-fr:Partie_réelle dbpedia-fr:Théorème_des_valeurs_intermédiaires dbpedia-fr:Théorème_de_convergence_monotone dbpedia-fr:Théorème_de_Heine dbpedia-fr:Théorème_de_convergence_dominée dbpedia-fr:Théorème_des_suites_adjacentes dbpedia-fr:Mathématiques dbpedia-fr:Lemme_(mathématiques) dbpedia-fr:Mathématicien dbpedia-fr:Suite_bornée dbpedia-fr:Extremum dbpedia-fr:Intervalle_(mathématiques) dbpedia-fr:Henri_Poincaré
dbo:wikiPageLength
25452
dct:subject
category-fr:Lemme_de_mathématiques category-fr:Analyse_réelle category-fr:Théorème_de_compacité category-fr:Théorie_de_l'intégration
prop-fr:wikiPageUsesTemplate
n4:Loupe n4:Sfrac n4:Exp n4:Refsou n4:Ind n4:! n4:Math n4:Références n4:Portail n4:Énoncé n4:, n4:Voir n4:Retrait n4:Démonstration
prov:wasDerivedFrom
wikipedia-fr:Lemme_de_Cousin?oldid=187564436&ns=0
prop-fr:contenu
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 e – c ≤ δ, 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. 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 d = c,
prop-fr:titre
Démonstrations
foaf:isPrimaryTopicOf
wikipedia-fr:Lemme_de_Cousin
dbo:namedAfter
dbpedia-fr:Pierre_Cousin_(mathématicien)
dbo: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.