Rédaction n°056. Ensembles. Chapitres I et II, rédaction Weil avec des notes de Possel
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=logique+math%C3%A9matique">logique mathématique</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=th%C3%A9orie+des+ensembles+abstraits">théorie des ensembles abstraits</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=op%C3%A9rations+%28sur+les+sous-ensembles%29">opérations (sur les sous-ensembles)</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=fonctions+%28th%C3%A9orie+des+ensembles%29">fonctions (théorie des ensembles)</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=produit+%28d%27ensembles%29">produit (d'ensembles)</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=relations+%28ensembles%29">relations (ensembles)</a>
Il s'agit d'une version annotée des deux premiers chapitres de la rédaction n°56.
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=39&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=Weil%2C+Andr%C3%A9">Weil, André</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=39&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=de+Possel%2C+Ren%C3%A9">de Possel, René</a>
R056_iecnr065
application/pdf
Texte dactylographié avec notes manuscrites
awms001
Rédaction n°172. Ensembles. Chapitre II, §§ 3 et 6 (état 8)
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=th%C3%A9orie+des+ensembles+abstraits">théorie des ensembles abstraits</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=fonctions+%28th%C3%A9orie+des+ensembles%29">fonctions (théorie des ensembles)</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=relations+%28ensembles%29">relations (ensembles)</a>
§ 3. Correspondances. 1. Graphes et correspondances. 2. Correspondance réciproque d'une correspondance. 3. Composée de deux correspondances. 4. Fonctions. 5. Définition d'une fonction par un terme. 6. Composée de deux fonctions. 7. Fonctions de deux arguments. § 6. Relations d'équivalence. 1. Définition d'une relation d'équivalence. 2. Classes d'équivalence; ensemble quotient. 3. Relations compatibles avec une relation d'équivalence. 4. Parties saturées. 5. Applications compatibles avec des relations d'équivalence. 6. Image réciproque d'une relation d'équivalence; relation d'équivalence induite. 7. Quotients de relations d'équivalence. 8. Produit de deux relations d'équivalence.
application/pdf
Texte dactylographié
R172_nbr075
Rédaction n°138. Ensembles. Chapitre II (état 5)
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=th%C3%A9orie+des+ensembles+abstraits">théorie des ensembles abstraits</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=fonctions+%28th%C3%A9orie+des+ensembles%29">fonctions (théorie des ensembles)</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=ensembles+%28famille+d%27%29">ensembles (famille d')</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=relations+%28ensembles%29">relations (ensembles)</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=produit+%28d%27ensembles%29">produit (d'ensembles)</a>
Le chapitre est précédé de commentaires, mentionnant le chapitre III sur les structures. Voici le plan du chapitre II : § 1. l'axiome d'extensionalité; § 2. l'axiome du couple; § 3. l'axiome de la sélection; § 4. correspondances; § 5. fonctions; § 6. familles d'ensembles; § 7. relations d'équivalence; § 8. recouvrements, partitions; § 8 [9?]. l'axiome de l'ensemble des parties; § 9 [10?] produits de familles d'ensembles; § 10 [11?] remarques sur les définitions de la théorie des ensembles.
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=39&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=Chevalley%2C+Claude">Chevalley, Claude</a>
application/pdf
Texte dactylographié
R138_nbr041
Rédaction n°132. Ensembles. Chapitre III. Projet de § préliminaire
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=logique+math%C3%A9matique">logique mathématique</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=relations+%28logique%29">relations (logique)</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=types+%28logique%29">types (logique)</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=th%C3%A9orie+des+ensembles+abstraits">théorie des ensembles abstraits</a>
Objectif de ce § : permettre la publication du chapitre III avant les chapitres I et II. Voici les parties de ce paragraphe introductif : 1. Relations entre objets mathématiques. 2. Fonctions et famille d'ensembles. 3. Entiers énumérés. 4. L'ensemble vide.
application/pdf
Texte dactylographié
R132_nbr038
Rédaction n°123. Ensembles. Axiomes de familles d'ensembles
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=th%C3%A9orie+des+ensembles+abstraits">théorie des ensembles abstraits</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=ensembles+%28famille+d%27%29">ensembles (famille d')</a>
Le rédacteur précise comment il souhaiterait que débute le paragraphe sur les familles d'ensembles. Pour ce faire, il énonce une série d'axiomes.
application/pdf
Texte dactylographié
R123_nbr030
Rédaction n°120. Ensembles. Chapitre II. Théorie des ensembles abstraits (état 3)
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=th%C3%A9orie+des+ensembles+abstraits">théorie des ensembles abstraits</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=relations+%28ensembles%29">relations (ensembles)</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=produit+%28d%27ensembles%29">produit (d'ensembles)</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=fonctions+%28th%C3%A9orie+des+ensembles%29">fonctions (théorie des ensembles)</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=op%C3%A9rations+%28sur+les+sous-ensembles%29">opérations (sur les sous-ensembles)</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=structures">structures</a>
§ 1. La relation d'égalité et les symboles fonctionnels. § 2. La relation d'appartenance. § 3. Produit de deux ensembles. § 4. Fonctions. § 5. Réunion, intersection, produit d'une famille d'ensembles. § 6. Relations d'équivalence, ensembles quotients. § 7. Structures.
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=39&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=Dieudonn%C3%A9%2C+Jean">Dieudonné, Jean</a>
application/pdf
Texte dactylographié
R120_nbr027
Rédaction n°065. Ensembles. Le formalisme de Gödel
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=th%C3%A9orie+des+ensembles+abstraits">théorie des ensembles abstraits</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=ensemble+constructible">ensemble constructible</a>
L'auteur dégage trois notions primitives : ensemble, classe et appartenance, qui le conduisent à formuler une série d'axiomes. Il s'appuie sur ces axiomes pour construire la classe des nombres ordinaux. Il aborde pour finir la notion d'ensemble constructible.
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=39&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=Chevalley%2C+Claude">Chevalley, Claude</a>
application/pdf
Texte dactylographié
R065_iecnr074
Rédaction n°063. Ensembles. Chapitre II. Théorie des ensembles abstraits (état 4)
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=th%C3%A9orie+des+ensembles+abstraits">théorie des ensembles abstraits</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=relations+%28ensembles%29">relations (ensembles)</a>
§ 1. La relation d'égalité et les symboles fonctionnels. § 2. La relation de couplage. § 3. La relation d'appartenance. Le rédacteur précise que les "§§ 4 à 7 du chap. II n'ont pas été rédigés à nouveau en Etat 4", conformément aux décisions du Congrès d'avril 1948.
application/pdf
Texte dactylographié
R063_iecnr072
Rédaction n°057. Ensembles. Chapitres I et II (état 3)
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=logique+math%C3%A9matique">logique mathématique</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=relations+%28logique%29">relations (logique)</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=th%C3%A9orie+math%C3%A9matique">théorie mathématique</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=th%C3%A9orie+des+ensembles+abstraits">théorie des ensembles abstraits</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=relations+%28ensembles%29">relations (ensembles)</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=produit+%28d%27ensembles%29">produit (d'ensembles)</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=op%C3%A9rations+%28sur+les+sous-ensembles%29">opérations (sur les sous-ensembles)</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=fonctions+%28th%C3%A9orie+des+ensembles%29">fonctions (théorie des ensembles)</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=structures">structures</a>
Chapitre I. Logique mathématique. § 1. La formation des relations. § 2. Les relations vraies. § 3. Théories et axiomes. Chapitre II. Théorie des ensembles abstraits. § 1. La relation d'égalité et les symboles fonctionnels. § 2. La relation d'appartenance. § 3. Produit de deux ensembles. § 4. Fonctions. § 5. Réunion, intersection, produit d'une famille d'ensembles. § 6. Relations d'équivalence. Ensembles quotients. § 7. Structures.
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=39&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=Dieudonn%C3%A9%2C+Jean">Dieudonné, Jean</a>
application/pdf
Texte dactylographié
R057_iecnr066
Rédaction n°056. Ensembles. Chapitres 1 à 5, Weil (état 2)
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=logique+math%C3%A9matique">logique mathématique</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=th%C3%A9orie+des+ensembles+abstraits">théorie des ensembles abstraits</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=op%C3%A9rations+%28sur+les+sous-ensembles%29">opérations (sur les sous-ensembles)</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=fonctions+%28th%C3%A9orie+des+ensembles%29">fonctions (théorie des ensembles)</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=produit+%28d%27ensembles%29">produit (d'ensembles)</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=relations+%28ensembles%29">relations (ensembles)</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=puissance+%28ensembles%29">puissance (ensembles)</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=ensembles+finis">ensembles finis</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=ensembles+d%C3%A9nombrables">ensembles dénombrables</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=ensembles+ordonn%C3%A9s">ensembles ordonnés</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=ensembles+bien+ordonn%C3%A9s">ensembles bien ordonnés</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=th%C3%A9orie+math%C3%A9matique">théorie mathématique</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=structures">structures</a>
Avertissement à tout Bourbaki.<br /><br /> <strong>Chapitre I</strong>. Du raisonnement mathématique. § 1. Analyse d'une démonstration. Les propositions. § 2. Structure de la proposition. Propriétés, relations, variables. § 3. Conseils sur la rédaction des travaux mathématiques (et de quelques autres).<br /><br /> <strong>Chapitre II</strong>. Théorie des ensembles. § 1. Ensembles; calculs sur les ensembles; l'égalité. § 2. Relations, produits de types. § 3. Fonctions, correspondances. § 4. Réunions et intersections générales. § 5. Produits généraux; axiome du choix. § 6. Partage en classes; relations d'équivalence.<br /><br /> <strong>Chapitre III</strong>. Puissances; ensembles finis et dénombrables. § 1. Puissance d'un ensemble. § 2. Ensembles finis, nombres entiers. § 3. Ensembles dénombrables. <br /><br /><strong>Chapitre IV</strong>. Ensembles ordonnés. § 1. Ensembles ordonnés; propriétés générales. § 2. Le théorème de Zorn-Cartan. § 3. Ensembles bien ordonnés. <br /><br /><strong>Chapitre V</strong>. Théories et structures. § 1. Structure d'un ensemble fondamental. § 2. Extension à plusieurs ensembles fondamentaux.
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=39&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=Weil%2C+Andr%C3%A9">Weil, André</a>
awms001
application/pdf
Texte dactylographié
R056_iecnr065
Rédaction n°055. Ensembles. Contre-rédaction des chapitres I et II (état 2 bis)
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=logique+math%C3%A9matique">logique mathématique</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=relations+%28logique%29">relations (logique)</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=th%C3%A9orie+des+ensembles+abstraits">théorie des ensembles abstraits</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=fonctions+%28th%C3%A9orie+des+ensembles%29">fonctions (théorie des ensembles)</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=types+%28logique%29">types (logique)</a>
Chapitre I. § 1. Comme la rédaction Weil à quelques détails de forme près. § 2. Les objets mathématiques et le calcul des relations. Chapitre II. Ensembles et fonctions. § 1. La relation d'égalité et les relations fonctionnelles. § 2. Type des parties et relation d'appartenance. § 3. Sous-types et types produits. § 4. Correspondances, fonctions, applications.
application/pdf
Texte dactylographié avec notes manuscrites
R055_iecnr063
Rédaction n°053. Ensembles. Chapitre I, quelques éléments de syntaxe et de logique. Chapitre II, ensembles et fonctions (état 1bis)
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=logique+math%C3%A9matique">logique mathématique</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=pr%C3%A9dicats">prédicats</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=relations+%28logique%29">relations (logique)</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=types+%28logique%29">types (logique)</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=th%C3%A9orie+math%C3%A9matique">théorie mathématique</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=th%C3%A9orie+des+ensembles+abstraits">théorie des ensembles abstraits</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=fonctions+%28th%C3%A9orie+des+ensembles%29">fonctions (théorie des ensembles)</a>
Chapitre I. Quelques éléments de syntaxe et de logique. § 1. Les opérations syntactiques élémentaires. § 2. Prédicats et relations. § 3. La notion de types. Les couples. § 4. L'égalité. § 5. La notion générale de théorie mathématique. Chapitre II. Ensembles et fonctions. § 1. Le langage de la théorie des ensembles. § 2. Le langage de la théorie des fonctions.
application/pdf
Texte dactylographié
R053_iecnr061
Rédaction n°051. Ensembles. Rédaction Cartan initiale (dactylographiée)
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=th%C3%A9orie+des+ensembles+abstraits">théorie des ensembles abstraits</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=fonctions+%28th%C3%A9orie+des+ensembles%29">fonctions (théorie des ensembles)</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=op%C3%A9rations+%28sur+les+sous-ensembles%29">opérations (sur les sous-ensembles)</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=produit+%28d%27ensembles%29">produit (d'ensembles)</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=somme+%28d%27ensembles%29">somme (d'ensembles)</a>
§ 1. Ensembles. § 2. Fonctions. § 3. Sous-ensembles d'un ensemble fondamental. § 4. Opérations sur les sous-ensembles d'un ensemble fondamental. § 5. Produit de deux ensembles. § 6. Produit généralisé. § 7. Lemme de décomposition. § 8. Somme d'ensembles.
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=39&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=Cartan%2C+Henri">Cartan, Henri</a>
delms006
application/pdf
Texte dactylographié
R051_hcr001
Rédaction n°050. Ensembles. Eléments de la théorie des ensembles (état 1)
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=th%C3%A9orie+math%C3%A9matique">théorie mathématique</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=th%C3%A9orie+des+ensembles+abstraits">théorie des ensembles abstraits</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=structure+%CE%B5+%28appartenance%29">structure ε (appartenance)</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=structure+U+%28r%C3%A9union%29">structure U (réunion)</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=op%C3%A9rations+%28sur+les+sous-ensembles%29">opérations (sur les sous-ensembles)</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=produit+%28d%27ensembles%29">produit (d'ensembles)</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=fonctions+%28th%C3%A9orie+des+ensembles%29">fonctions (théorie des ensembles)</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=relations+%28ensembles%29">relations (ensembles)</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=structures">structures</a>
Prolégomènes sur la notion de théorie mathématique (Introduction au chapitre, vu comme une "préface à toute théorie mathématique"). I.1. Les ensembles fondamentaux ; l'appartenance; la structure ε. I.2. Propriétés d'un éléments ; parties d'un fondamental. I.3. Parties complémentaires. 1.4. Structures induites ; induction des structures. II.1. L'ensemble des parties d'un fondamental. II.2. La réunion et l'intersection (associativité, distributivité, opération complémentaire et formules en dualité). II.3. La relation "contenu dans". II.4. La structure ε et la structure U. III.1. Couples ; produits ; produits de structures. III.2. Relations. III.3. Fonctions d'ensemble ; correspondances. V.1. Isomorphie ; transport de structure. VI.1. Relations d'équivalence ; partage en classes. VI.2. Ensemble quotient ; identification. VI.3. Nouveaux compléments à la structure U. VII.1. Produit quelconque d'ensembles. VIII.1. Résumé.
application/pdf
Texte dactylographié avec notes manuscrites
R050_iecnr059
Rédaction n°160. Ensembles. Chapitre II. (état 6)
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=th%C3%A9orie+des+ensembles+abstraits">théorie des ensembles abstraits</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=relations+%28ensembles%29">relations (ensembles)</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=fonctions+%28th%C3%A9orie+des+ensembles%29">fonctions (théorie des ensembles)</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=op%C3%A9rations+%28sur+les+sous-ensembles%29">opérations (sur les sous-ensembles)</a>
Commentaires. § 1. Relations collectivisantes. § 2. Couples. § 3. Correspondances. § 4. Réunion et intersection des familles d'ensembles. § 5. Produit de familles d'ensembles. § 6. Relations d'équivalence.
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=39&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=Dixmier%2C+Jacques">Dixmier, Jacques</a>
1952-02
application/pdf
Texte dactylographié
R160_nbr062
Rédaction n°051. Ensembles. Rédaction Cartan initiale (manuscrite)
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=th%C3%A9orie+des+ensembles+abstraits">théorie des ensembles abstraits</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=fonctions+%28th%C3%A9orie+des+ensembles%29">fonctions (théorie des ensembles)</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=op%C3%A9rations+%28sur+les+sous-ensembles%29">opérations (sur les sous-ensembles)</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=produit+%28d%27ensembles%29">produit (d'ensembles)</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=somme+%28d%27ensembles%29">somme (d'ensembles)</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=nombres+cardinaux">nombres cardinaux</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=puissance+%28ensembles%29">puissance (ensembles)</a>
Il s'agit d'une version manuscrite de la rédaction 51. § 1. Ensembles. § 2. Fonctions. § 3. Sous-ensembles d'un ensemble fondamental. § 4. Opérations sur les sous-ensembles d'un ensemble fondamental. § 5. Produit de deux ensembles. § 6. Produit généralisé. § 7. Lemme de décomposition. § 8. Somme d'ensembles. § 9. Nombres cardinaux. Comparaison de puissances [porte la mention "à enlever"].
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=39&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=Cartan%2C+Henri">Cartan, Henri</a>
1935-12-05
R051_hcr001
application/pdf
Texte manuscrit avec notes
R051_delms006
Desiderata
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=th%C3%A9orie+des+ensembles+abstraits">théorie des ensembles abstraits</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=alg%C3%A8bre">algèbre</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=nombres+complexes">nombres complexes</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=nombres+r%C3%A9els">nombres réels</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=topologie+des+nombres+complexes">topologie des nombres complexes</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=formes+quadratiques+et+hermitiennes">formes quadratiques et hermitiennes</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=corps+convexes">corps convexes</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=th%C3%A9or%C3%A8mes+d%27existence+topologique">théorèmes d'existence topologique</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=fonctions+de+variables+r%C3%A9elles">fonctions de variables réelles</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=s%C3%A9ries%2C+produits+infinis">séries, produits infinis</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=In%C3%A9galit%C3%A9s+de+convexit%C3%A9">Inégalités de convexité</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=O+et+o">O et o</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=multiplication+ext%C3%A9rieure">multiplication extérieure</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=formes+de+Pfaff">formes de Pfaff</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=d%C3%A9terminants">déterminants</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=tenseurs">tenseurs</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=fonctions+analytiques">fonctions analytiques</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=s%C3%A9ries+de+Fourier">séries de Fourier</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=repr%C3%A9sentation+approch%C3%A9e+des+fonctions">représentation approchée des fonctions</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=%C3%A9quations+int%C3%A9grales">équations intégrales</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=%C3%A9quations+diff%C3%A9rentielles">équations différentielles</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=%C3%A9quations+aux+d%C3%A9riv%C3%A9es+partielles">équations aux dérivées partielles</a>
<a href="/items/browse?advanced%5B0%5D%5Belement_id%5D=49&advanced%5B0%5D%5Btype%5D=is+exactly&advanced%5B0%5D%5Bterms%5D=fonctions+sp%C3%A9ciales">fonctions spéciales</a>
Ce document regroupe différentes remarques, lors du congrès de Besse, pour des sujets du traité ou pour la rédaction générale.
07-1935
application/pdf
Texte dactylographié avec notes manuscrites
delbe014
1934-1938