Titre : Comptes rendus hebdomadaires des séances de l'Académie des sciences. Séries A et B, Sciences mathématiques et Sciences physiques
Auteur : Académie des sciences (France). Auteur du texte
Éditeur : Gauthier-Villars (Paris)
Date d'édition : 1970-07-27
Notice du catalogue : http://catalogue.bnf.fr/ark:/12148/cb34416987n
Type : texte texte
Type : publication en série imprimée publication en série imprimée
Langue : français
Format : Nombre total de vues : 52635 Nombre total de vues : 52635
Description : 27 juillet 1970 27 juillet 1970
Description : 1970/07/27 (SERA-B,T271,N4). 1970/07/27 (SERA-B,T271,N4).
Droits : Consultable en ligne
Identifiant : ark:/12148/bpt6k5619186c
Source : Archives de l'Académie des sciences
Conservation numérique : Bibliothèque nationale de France
Date de mise en ligne : 01/12/2010
- Aller à la page de la table des matièresNP
- VIE ACADEMIQUE
- OUVRAGES PRESENTES OU RECUS
- M. le Secrétaire perpétuel signale plusieurs Ouvrages parmi les pièces imprimées de la Correspondance
- PRESENTATIONS, DELEGATIONS, DESIGNATIONS
- M. Georges Chaudron représentera l'Académie au Congrès international sur les sciences et techniques de l'An 2 000, à Paris du 6 au 13 juin 1971
- MM. Roger Heim, Maurice Fontaine, Jacques Avias, Yves Dommergues et Bernard Salvat sont désignés au Twelfth Pacific Science Congress, à Canberra, du 18 août au 3 septembre 1971
- NOTES DES MEMBRES ET CORRESPONDANTS ET NOTES PRESENTEES OU TRANSMISES PAR LEURS SOINS
- .......... Page(s) .......... 209
- .......... Page(s) .......... 209
- .......... Page(s) .......... 213
- .......... Page(s) .......... 217
- .......... Page(s) .......... 221
- .......... Page(s) .......... 225
- .......... Page(s) .......... 228
- .......... Page(s) .......... 231
- .......... Page(s) .......... 235
- .......... Page(s) .......... 237
- .......... Page(s) .......... 244
- .......... Page(s) .......... 251
- .......... Page(s) .......... 254
- .......... Page(s) .......... 258
- .......... Page(s) .......... 266
- .......... Page(s) .......... 278
- .......... Page(s) .......... 289
- .......... Page(s) .......... 297
- .......... Page(s) .......... 265
C. R. Acad. Se. Paris, t. 271 (27 juillet 1970). Série A — 225
ALGÈBRE DES CATÉGORIES. — Complétion de groupoïdes uniformes.
Note (*) de M. GUY LENGAGNE, présentée par M. René Garnier.
Dans (4) ont été définis les groupoïdes uniformes. On poursuit ici l'étude de ces
groupoïdes en définissant les filtres de Cauchy et les groupoïdes uniformes complets.
On étudie ensuite certaines sous-catégories de la catégorie des foncteurs uniformes
entre groupoïdes uniformes attachés à un univers en « complétant » un groupoïde
uniforme dans ces sous-catégories.
Les notations sont celles de (4).
1. DÉFINITIONS ET NOTATIONS. — Soit (G', U un groupoïde uniforme
et V un élément de U.
Une partie M de G est dite petite d'ordre V si, pour tout et
tout
Un filtre F sur G sera appelé filtre de Cauchy sur (G', U) si pour tout
il existe petit d'ordre V.
Tout filtre convergent pour T(U) est un filtre de Cauchy. Récipro-
quement, si tout filtre de Cauchy sur (G', U) converge pour T(U), on dit
que (G', est un groupoïde uniforme complet. Si G =
on retrouve la notion habituelle d'espace complet.
2. PROPRIÉTÉS DES FILTRES DE CAUCHY.
PROPOSITION 1. — Soit un foncteur uniforme.
L'image par g d'une base de filtre de Cauchy est une base de filtre de Cauchy.
En particulier, si B est une base de filtre de Cauchy sur
où est une famille de groupoïdes uniformes, est, pour
tout une base de filtre de Cauchy sur
La réciproque de cette dernière propriété est, en général, fausse. Elle
sera vraie si, par exemple, tous les pour sont fortement trans-
sitifs (4).
PROPOSITION 2. — Soit g = g, un foncteur uniforme,
où est un groupoïde uniforme complet, un filtre sur G. Pour
que g admette une limite suivant il faut et il suffit que l'image par g de
soit une base de filtre de Cauchy sur
PROPOSITION 3. — Tout sous-groupoïde fermé d'un groupoïde uniforme
complet est complet pour la structure uniforme induite.
Dans tout ce qui suit, on notera la catégorie des foncteurs uniformes
entre les groupoïdes uniformes dont les ensembles sous-jacents appar-
tiennent à un univers et la sous-catégorie pleine de relative
à l'univers qui est supposé vérifier les conditions (1)
et
C. R., 1970, 2e Semestre. (T. 271, N° 4.) Série A — 16
ALGÈBRE DES CATÉGORIES. — Complétion de groupoïdes uniformes.
Note (*) de M. GUY LENGAGNE, présentée par M. René Garnier.
Dans (4) ont été définis les groupoïdes uniformes. On poursuit ici l'étude de ces
groupoïdes en définissant les filtres de Cauchy et les groupoïdes uniformes complets.
On étudie ensuite certaines sous-catégories de la catégorie des foncteurs uniformes
entre groupoïdes uniformes attachés à un univers en « complétant » un groupoïde
uniforme dans ces sous-catégories.
Les notations sont celles de (4).
1. DÉFINITIONS ET NOTATIONS. — Soit (G', U un groupoïde uniforme
et V un élément de U.
Une partie M de G est dite petite d'ordre V si, pour tout et
tout
Un filtre F sur G sera appelé filtre de Cauchy sur (G', U) si pour tout
il existe petit d'ordre V.
Tout filtre convergent pour T(U) est un filtre de Cauchy. Récipro-
quement, si tout filtre de Cauchy sur (G', U) converge pour T(U), on dit
que (G', est un groupoïde uniforme complet. Si G =
on retrouve la notion habituelle d'espace complet.
2. PROPRIÉTÉS DES FILTRES DE CAUCHY.
PROPOSITION 1. — Soit un foncteur uniforme.
L'image par g d'une base de filtre de Cauchy est une base de filtre de Cauchy.
En particulier, si B est une base de filtre de Cauchy sur
où est une famille de groupoïdes uniformes, est, pour
tout une base de filtre de Cauchy sur
La réciproque de cette dernière propriété est, en général, fausse. Elle
sera vraie si, par exemple, tous les pour sont fortement trans-
sitifs (4).
PROPOSITION 2. — Soit g = g, un foncteur uniforme,
où est un groupoïde uniforme complet, un filtre sur G. Pour
que g admette une limite suivant il faut et il suffit que l'image par g de
soit une base de filtre de Cauchy sur
PROPOSITION 3. — Tout sous-groupoïde fermé d'un groupoïde uniforme
complet est complet pour la structure uniforme induite.
Dans tout ce qui suit, on notera la catégorie des foncteurs uniformes
entre les groupoïdes uniformes dont les ensembles sous-jacents appar-
tiennent à un univers et la sous-catégorie pleine de relative
à l'univers qui est supposé vérifier les conditions (1)
et
C. R., 1970, 2e Semestre. (T. 271, N° 4.) Série A — 16
Le taux de reconnaissance estimé pour ce document est de 99.98%.
En savoir plus sur l'OCR
En savoir plus sur l'OCR
Le texte affiché peut comporter un certain nombre d'erreurs. En effet, le mode texte de ce document a été généré de façon automatique par un programme de reconnaissance optique de caractères (OCR). Le taux de reconnaissance estimé pour ce document est de 99.98%.
- Auteurs similaires Académie des sciences Académie des sciences /services/engine/search/sru?operation=searchRetrieve&version=1.2&maximumRecords=50&collapsing=true&exactSearch=true&query=(dc.creator adj "Académie des sciences" or dc.contributor adj "Académie des sciences")
-
-
Page
chiffre de pagination vue 21/150
- Recherche dans le document Recherche dans le document https://gallica.bnf.fr/services/ajax/action/search/ark:/12148/bpt6k5619186c/f21.image ×
Recherche dans le document
- Partage et envoi par courriel Partage et envoi par courriel https://gallica.bnf.fr/services/ajax/action/share/ark:/12148/bpt6k5619186c/f21.image
- Téléchargement / impression Téléchargement / impression https://gallica.bnf.fr/services/ajax/action/download/ark:/12148/bpt6k5619186c/f21.image
- Mise en scène Mise en scène ×
Mise en scène
Créer facilement :
- Marque-page Marque-page https://gallica.bnf.fr/services/ajax/action/bookmark/ark:/12148/bpt6k5619186c/f21.image ×
Gérer son espace personnel
Ajouter ce document
Ajouter/Voir ses marque-pages
Mes sélections ()Titre - Acheter une reproduction Acheter une reproduction https://gallica.bnf.fr/services/ajax/action/pa-ecommerce/ark:/12148/bpt6k5619186c
- Acheter le livre complet Acheter le livre complet https://gallica.bnf.fr/services/ajax/action/indisponible/achat/ark:/12148/bpt6k5619186c
- Signalement d'anomalie Signalement d'anomalie https://sindbadbnf.libanswers.com/widget_standalone.php?la_widget_id=7142
- Aide Aide https://gallica.bnf.fr/services/ajax/action/aide/ark:/12148/bpt6k5619186c/f21.image × Aide
Facebook
Twitter
Pinterest