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

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

Namespace Prefixes

PrefixIRI
dbpedia-dahttp://da.dbpedia.org/resource/
dbpedia-elhttp://el.dbpedia.org/resource/
dbpedia-cyhttp://cy.dbpedia.org/resource/
n17http://id.ndl.go.jp/auth/ndlna/
dbpedia-svhttp://sv.dbpedia.org/resource/
n34http://www.numdam.org/numdam-bin/
dbpedia-lmohttp://lmo.dbpedia.org/resource/
dbpedia-fihttp://fi.dbpedia.org/resource/
n15http://hy.dbpedia.org/resource/
dbrhttp://dbpedia.org/resource/
n19http://www.math.vanderbilt.edu/~schectex/ccc/
dbpedia-hrhttp://hr.dbpedia.org/resource/
n4http://fr.dbpedia.org/resource/Modèle:
dbpedia-arhttp://ar.dbpedia.org/resource/
dbpedia-ethttp://et.dbpedia.org/resource/
dbpedia-hehttp://he.dbpedia.org/resource/
n59http://msc2010.org/resources/MSC/2010/
n24https://bigenc.ru/text/
n23http://commons.wikimedia.org/wiki/Special:FilePath/
dbpedia-frhttp://fr.dbpedia.org/resource/
n56https://www.britannica.com/topic/
dbpedia-pmshttp://pms.dbpedia.org/resource/
dcthttp://purl.org/dc/terms/
dbpedia-cshttp://cs.dbpedia.org/resource/
rdfshttp://www.w3.org/2000/01/rdf-schema#
n33http://g.co/kg/m/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
dbpedia-azhttp://az.dbpedia.org/resource/
n62https://d-nb.info/gnd/
n18http://philpapers.org/browse/
n40http://ba.dbpedia.org/resource/
n61https://id.loc.gov/authorities/names/
dbpedia-eohttp://eo.dbpedia.org/resource/
n50http://fr.dbpedia.org/resource/Fichier:
xsdhhttp://www.w3.org/2001/XMLSchema#
dbpedia-ukhttp://uk.dbpedia.org/resource/
dbpedia-idhttp://id.dbpedia.org/resource/
n39http://ma-graph.org/entity/
prop-frhttp://fr.dbpedia.org/property/
dbpedia-srhttp://sr.dbpedia.org/resource/
dbohttp://dbpedia.org/ontology/
dbpedia-vihttp://vi.dbpedia.org/resource/
n48https://ncatlab.org/nlab/show/
dbpedia-pthttp://pt.dbpedia.org/resource/
n11http://mathworld.wolfram.com/
dbpedia-huhttp://hu.dbpedia.org/resource/
dbpedia-jahttp://ja.dbpedia.org/resource/
dbpedia-dehttp://de.dbpedia.org/resource/
dbpedia-plhttp://pl.dbpedia.org/resource/
dbpedia-thhttp://th.dbpedia.org/resource/
dbpedia-rohttp://ro.dbpedia.org/resource/
dbpedia-ruhttp://ru.dbpedia.org/resource/
n55http://plato.stanford.edu/entries/
wikidatahttp://www.wikidata.org/entity/
dbpedia-nlhttp://nl.dbpedia.org/resource/
n31https://www.quora.com/topic/
n29https://commons.wikimedia.org/wiki/Category:
dbpedia-ithttp://it.dbpedia.org/resource/
dbpedia-cahttp://ca.dbpedia.org/resource/
n63http://ast.dbpedia.org/resource/
provhttp://www.w3.org/ns/prov#
n16http://xavier.toonywood.org/popularization/
dbpedia-nnhttp://nn.dbpedia.org/resource/
foafhttp://xmlns.com/foaf/0.1/
n28https://www.jstor.org/topic/
dbpedia-simplehttp://simple.dbpedia.org/resource/
wikipedia-frhttp://fr.wikipedia.org/wiki/
n25http://karagila.org/2014/
dbpedia-zhhttp://zh.dbpedia.org/resource/
dbpedia-kohttp://ko.dbpedia.org/resource/
dbpedia-glhttp://gl.dbpedia.org/resource/
dbpedia-fahttp://fa.dbpedia.org/resource/
dbpedia-eshttp://es.dbpedia.org/resource/
category-frhttp://fr.dbpedia.org/resource/Catégorie:
dbpedia-kahttp://ka.dbpedia.org/resource/
owlhttp://www.w3.org/2002/07/owl#

Statements

Subject Item
dbpedia-fr:Axiome_du_choix
rdfs:label
Axioma da escolha Axioma de elección Аксиома выбора Axioma de l'elecció Axiome du choix Axiom of choice Аксіома вибору
rdfs:comment
En mathématiques, l'axiome du choix, abrégé en « AC », est un axiome de la théorie des ensembles qui « affirme la possibilité de construire des ensembles en répétant une infinité de fois une action de choix, même non spécifiée explicitement. » Il a été formulé pour la première fois par Ernest Zermelo en 1904 pour la démonstration du théorème de Zermelo. L'axiome du choix peut être accepté ou rejeté, selon la théorie axiomatique des ensembles choisie.
rdfs:seeAlso
n11:AxiomofChoice.html n18:the-axiom-of-choice n24:2336033 n28:axiom-of-choice n29:Axiom_of_choice n31:Axiom-of-Choice n48:axiom_of_choice n55:axiom-choice n56:axiom-of-choice
owl:sameAs
dbpedia-fi:Valinta-aksiooma dbpedia-eo:Aksiomo_de_elekto dbpedia-id:Aksioma_pemilihan dbpedia-zh:选择公理 n15:Ընտրության_աքսիոմ n17:00570783 dbpedia-pt:Axioma_da_escolha dbpedia-az:Sermelo_aksiomu dbpedia-pms:Assiòma_ëd_selession dbpedia-pl:Aksjomat_wyboru dbpedia-th:สัจพจน์การเลือก dbr:Axiom_of_choice dbpedia-es:Axioma_de_elección n33:0k1r dbpedia-ar:بديهية_الاختيار wikidata:Q179692 dbpedia-uk:Аксіома_вибору dbpedia-simple:Axiom_of_choice n39:151797676 n40:Һайлау_аксиомаһы dbpedia-it:Assioma_della_scelta dbpedia-ko:선택_공리 dbpedia-he:אקסיומת_הבחירה dbpedia-hr:Aksiom_izbora dbpedia-hu:Kiválasztási_axióma dbpedia-cs:Axiom_výběru dbpedia-vi:Tiên_đề_chọn dbpedia-nn:Utvalsaksiomet dbpedia-ja:選択公理 dbpedia-cy:Gwireb_o_ddewis dbpedia-et:Valikuaksioom n59:03E25 dbpedia-sr:Аксиома_избора n61:sh85010586 n62:4143673-8 n63:Axoma_d'eleición dbpedia-nl:Keuzeaxioma dbpedia-lmo:Assioma_da_la_scèrnida dbpedia-el:Αξίωμα_της_επιλογής dbpedia-da:Udvalgsaksiomet dbpedia-ca:Axioma_de_l'elecció dbpedia-ru:Аксиома_выбора dbpedia-ka:ამორჩევის_აქსიომა dbpedia-de:Auswahlaxiom dbpedia-fa:اصل_موضوع_انتخاب dbpedia-sv:Urvalsaxiomet dbpedia-ro:Axioma_alegerii dbpedia-gl:Axioma_da_escolla
dbo:wikiPageID
96415
dbo:wikiPageRevisionID
187066842
dbo:wikiPageWikiLink
dbpedia-fr:Schéma_d'axiomes_de_remplacement dbpedia-fr:Théorème_de_Krull dbpedia-fr:Surjection dbpedia-fr:Numérisation_de_documents_anciens_mathématiques dbpedia-fr:Axiome_du_choix_dénombrable dbpedia-fr:Axiome_du_choix_dépendant dbpedia-fr:Loi_de_composition_interne dbpedia-fr:Éléments_de_mathématique dbpedia-fr:Axiome_du_choix_global dbpedia-fr:Théorème_des_fermés_emboîtés dbpedia-fr:Paire dbpedia-fr:Ensemble_vide dbpedia-fr:Théorème_de_Hahn-Banach dbpedia-fr:Paul_Cohen dbpedia-fr:Axiome_de_détermination dbpedia-fr:Axiome_de_fondation dbpedia-fr:Société_mathématique_de_France dbpedia-fr:Mesure_(mathématiques) dbpedia-fr:Idéal_maximal dbpedia-fr:Lemme_de_Zorn dbpedia-fr:American_Mathematical_Society dbpedia-fr:Mathématiques dbpedia-fr:Thomas_Jech dbpedia-fr:Ensemble_infini dbpedia-fr:Ensemble_inductif dbpedia-fr:Axiome dbpedia-fr:Idéal dbpedia-fr:Élément_maximal dbpedia-fr:Ensemble_fini dbpedia-fr:Constructivisme_(mathématiques) dbpedia-fr:Ensemble_dénombrable dbpedia-fr:Réunion_disjointe dbpedia-fr:Équipotence dbpedia-fr:Équation_différentielle dbpedia-fr:Théorème_de_la_base_incomplète dbpedia-fr:Famille_(mathématiques) dbpedia-fr:Nombre_ordinal dbpedia-fr:Giuseppe_Peano dbpedia-fr:Théorie_des_graphes dbpedia-fr:Tribu_de_Lebesgue dbpedia-fr:Extremum dbpedia-fr:Analyse_constructive dbpedia-fr:Section_(théorie_des_catégories) dbpedia-fr:Théorie_des_ensembles n50:Axiome_du_choix.png dbpedia-fr:Quantification_existentielle dbpedia-fr:Théorie_des_ensembles_de_Zermelo-Fraenkel dbpedia-fr:Ensemble_bien_ordonné dbpedia-fr:Henri-Léon_Lebesgue dbpedia-fr:Nombre_hyperréel dbpedia-fr:Paradoxe_de_Banach-Tarski dbpedia-fr:Relation_d'équivalence dbpedia-fr:René_Baire dbpedia-fr:Kurt_Gödel dbpedia-fr:Richard_Dedekind dbpedia-fr:Théorème_de_Zermelo dbpedia-fr:David_Hilbert dbpedia-fr:Espace_de_Banach dbpedia-fr:Coloration_de_graphe dbpedia-fr:Fonction_(mathématiques) dbpedia-fr:Bertrand_Russell category-fr:Axiome_de_la_théorie_des_ensembles dbpedia-fr:Université_Vanderbilt dbpedia-fr:Nicolas_Bourbaki dbpedia-fr:Produit_cartésien dbpedia-fr:Espace_séparable dbpedia-fr:Nombre_réel dbpedia-fr:Jacques_Hadamard dbpedia-fr:Théorème_de_Baire dbpedia-fr:Espace_séquentiel dbpedia-fr:Théorème_de_König_(théorie_des_ensembles) dbpedia-fr:Anneau_commutatif dbpedia-fr:Théorie_axiomatique dbpedia-fr:Ernst_Zermelo dbpedia-fr:Émile_Borel
dbo:wikiPageExternalLink
n16:choix.pdf n19:choice.html n25:on-the-partition-principle%7Ctitre=On n34:fitem%3Fid=BSMF_1905__33__261_1
dbo:wikiPageLength
21132
dct:subject
category-fr:Axiome_de_la_théorie_des_ensembles
prop-fr:wikiPageUsesTemplate
n4:Formule n4:En n4:Google_Livres n4:Lien_web n4:Lien n4:Retrait n4:Ind n4:Ouvrage n4:P. n4:Démonstration n4:Note n4:Sfn n4:Cita n4:Citation n4:Voir n4:Article_détaillé n4:Portail n4:Références n4:Supra n4:,
prov:wasDerivedFrom
wikipedia-fr:Axiome_du_choix?oldid=187066842&ns=0
foaf:depiction
n23:Axiome_du_choix.png
prop-fr:année
1998 2014 2008
prop-fr:annéePremièreÉdition
1973
prop-fr:auteur
dbpedia-fr:Thomas_Jech Paul Howard Jean Rubin Asaf Karagila
prop-fr:contenu
* ⇔ : est un cas particulier de . Réciproquement, on déduit de en prenant comme ensemble E la réunion des ensembles appartenant à X : fournit une fonction de choix sur les parties non vides de E, en particulier sur les parties appartenant à X. * ⇒ : soit R une relation d'équivalence sur un ensemble E. En appliquant à l'ensemble X des classes d'équivalence de R, on obtient une partie F de E telle que tout élément de E est R-équivalent à un unique élément de F. * ⇒ : à toute surjection s : E → I est associée une relation d'équivalence R sur E : deux éléments sont équivalents s'ils ont même image par s. Un inverse à droite pour s est donné par un choix de représentants de R. * ⇒ : pour une famille d'ensembles non vides, notons E la réunion disjointe des X, c'est-à-dire l'ensemble de tous les couples tels que x appartienne à X. Alors la première projection, de E dans I, qui à associe i, est une surjection, dont toute section fournit un élément du produit des X. * ⇒ : soit X un ensemble d'ensembles non vides. En appliquant à la famille de ces ensembles, indexée par X lui-même, on construit un élément de leur produit, c'est-à-dire une fonction de choix.
prop-fr:fr
Eric Schechter
prop-fr:lang
en
prop-fr:langue
en
prop-fr:nom
regles_logiques_tau
prop-fr:texte
.
prop-fr:titre
The Axiom of Choice Consequences of the Axiom of Choice Démonstration des équivalences
prop-fr:url
http://karagila.org/2014/on-the-partition-principle|titre=On the partition principle
prop-fr:éditeur
dbpedia-fr:American_Mathematical_Society Dover
prop-fr:numéroDansCollection
59
dbo:thumbnail
n23:Axiome_du_choix.png?width=300
foaf:isPrimaryTopicOf
wikipedia-fr:Axiome_du_choix
dbo:abstract
En mathématiques, l'axiome du choix, abrégé en « AC », est un axiome de la théorie des ensembles qui « affirme la possibilité de construire des ensembles en répétant une infinité de fois une action de choix, même non spécifiée explicitement. » Il a été formulé pour la première fois par Ernest Zermelo en 1904 pour la démonstration du théorème de Zermelo. L'axiome du choix peut être accepté ou rejeté, selon la théorie axiomatique des ensembles choisie.